Cautilus Contracts

Read this when you need to build, review, or change the implementation behind the user workflow. These pages connect Cautilus behavior claims and cross-cutting rules to command contracts, packet shapes, adapter boundaries, fixtures, evidence routes, and known evidence gaps.

User workflow: Cautilus User Workflow View. Spec entry: Cautilus. Cross-cutting rules: Cross-Cutting Rules. Evidence state: Evidence State.

Each contract page names the aligned claims or rules, the implementation promise, concrete subclaims, current evidence, and remaining evidence gaps.

Contract Evidence Routes

Which promise each contract implements, and which rules each promise carries, is the Promise Ledger map generated from the implemented-by:: / governed-by:: trace edges.