CAIN-42 CAIN StudioEvidence library · family
Governance contract
11 tested rules in the 'governance_contract' family, 11 held.
Last reviewed 2026-10-01
11 of 11 held niche Transactions, markets & economics
What this family tests
Every rule the CAIN-42 test suites recorded under the family governance_contract, across 1 evidence bundle. Each rule links to its own page with the recorded result and an in-browser check of the file it came from.
| ID | Rule | Bundle | Result |
|---|---|---|---|
| E33-CONTRACT-governs | a contract without governs is refused | E33 | held |
| E33-CONTRACT-observes | a contract without observes is refused | E33 | held |
| E33-CONTRACT-enforces | a contract without enforces is refused | E33 | held |
| E33-CONTRACT-verifies | a contract without verifies is refused | E33 | held |
| E33-CONTRACT-does_not_control | a contract without does_not_control is refused | E33 | held |
| E33-CONTRACT-on_failure | a contract without on_failure is refused | E33 | held |
| E33-CONTRACT-on_partition | a contract without on_partition is refused | E33 | held |
| E33-CONTRACT-on_degraded | a contract without on_degraded is refused | E33 | held |
| E33-CONTRACT-revocation | a contract without revocation is refused | E33 | held |
| E33-CONTRACT-evidence | a contract without evidence is refused | E33 | held |
| E33-CONTRACT-proofs | a contract without proofs is refused | E33 | held |
Other families in this niche
domain · moat · transaction_binding · contract · negotiation · marketplace · action · state_machine · autonomy_budget · agency_graph · relationship · exchange_lifecycle · computer_use · telemetry · econ_graph · operation_kind · graph · radar · risk · machine_contract · ip · dispute · swarm · stage
Try CAIN-42 on your own agents
Create a free account and every new account starts with a 7-day trial of the full platform. Or try the sandbox first, with no account at all.
Create a free account → · Try the sandbox · See the whole ecosystem