# contract

> "CONTRACT:" "input:" <contract_input> "transform:" <directive>+ <optional_preserves> <optional_constraints> "output:" <contract_output> <optional_freshness> <optional_handoff_summary>

Record: `pag:production-contract`
Kind: production
Canonical: https://banes-lab.com/ontology/grammar#pag-production-contract

Listed in [Grammar records](https://banes-lab.com/api/records/pag.md), after [node_meta_tag](https://banes-lab.com/records/pag/production-node-meta-tag.md) and before [preserves_clause](https://banes-lab.com/records/pag/production-preserves-clause.md).

## Grounds

- [loop:derivation-loop](https://banes-lab.com/records/reasoning/loop-derivation-loop.md)