CAIN-42 CAIN StudioEvidence library · family
Machine contract
18 tested rules in the 'machine_contract' family, 18 held.
Last reviewed 2026-10-01
18 of 18 held niche Transactions, markets & economics
What this family tests
Every rule the CAIN-42 test suites recorded under the family machine_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 |
|---|---|---|---|
| E36-CONTRACT-parties | a machine contract without parties is refused | E36 | held |
| E36-CONTRACT-identities | a machine contract without identities is refused | E36 | held |
| E36-CONTRACT-capabilities | a machine contract without capabilities is refused | E36 | held |
| E36-CONTRACT-objectives | a machine contract without objectives is refused | E36 | held |
| E36-CONTRACT-obligations | a machine contract without obligations is refused | E36 | held |
| E36-CONTRACT-prohibitions | a machine contract without prohibitions is refused | E36 | held |
| E36-CONTRACT-permissions | a machine contract without permissions is refused | E36 | held |
| E36-CONTRACT-resource_limits | a machine contract without resource_limits is refused | E36 | held |
| E36-CONTRACT-time_limits | a machine contract without time_limits is refused | E36 | held |
| E36-CONTRACT-budget | a machine contract without budget is refused | E36 | held |
| E36-CONTRACT-evidence_requirements | a machine contract without evidence_requirements is refused | E36 | held |
| E36-CONTRACT-proof_requirements | a machine contract without proof_requirements is refused | E36 | held |
| E36-CONTRACT-security_requirements | a machine contract without security_requirements is refused | E36 | held |
| E36-CONTRACT-escalation | a machine contract without escalation is refused | E36 | held |
| E36-CONTRACT-revocation | a machine contract without revocation is refused | E36 | held |
| E36-CONTRACT-dispute | a machine contract without dispute is refused | E36 | held |
| E36-CONTRACT-recovery | a machine contract without recovery is refused | E36 | held |
| E36-CONTRACT-termination | a machine contract without termination is refused | E36 | 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 · ip · dispute · swarm · stage · contract_lifecycle
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