type-synthesizer

Convert domain concepts into algebraic data types. Second skill in specification pipeline. Use after domain-extractor to transform entities and value objects into products, coproducts, and recursive types. Input is domain-concepts.yaml, output is requirements.adt. Produces type algebra that downstream skills use for morphism signatures and categorical structure.