constraint-specifier

Capture business rules as formal propositions and constraints. Use after type-synthesizer to formalize invariants, pre-conditions, post-conditions from domain-concepts.yaml and requirements.adt. Outputs constraints.yaml with propositions that become proof obligations in types.curry-howard.