Spark DSL extension defining the TLX surface — entities, sections, transformers, and verifiers that compile a defspec block into the internal IR.