contract
Kind: production
Record: pag:production-contract
Canonical: Grammar
"CONTRACT:" "input:" <contract_input> "transform:" <directive>+ <optional_preserves> <optional_constraints> "output:" <contract_output> <optional_freshness> <optional_handoff_summary>
Listed in Grammar records, after node_meta_tag and before preserves_clause.