CAIN-42 CAIN StudioEvidence library · family
Contract
65 tested rules in the 'contract' family, 65 held.
Last reviewed 2026-10-01
65 of 65 held niche Transactions, markets & economics
What this family tests
Every rule the CAIN-42 test suites recorded under the family contract, across 2 evidence bundles. 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 |
|---|---|---|---|
| I-CONTRACT-not-authorization | contract is not authorization | E27 | held |
| I-CONTRACT-contract_id | missing contract_id refused | E27 | held |
| I-CONTRACT-parties | missing parties refused | E27 | held |
| I-CONTRACT-purpose | missing purpose refused | E27 | held |
| I-CONTRACT-configure-signed | contract for configure signed | E27 | held |
| I-CONTRACT-configure-digest | contract for configure digest stable | E27 | held |
| I-CONTRACT-create-signed | contract for create signed | E27 | held |
| I-CONTRACT-create-digest | contract for create digest stable | E27 | held |
| I-CONTRACT-credential-signed | contract for credential signed | E27 | held |
| I-CONTRACT-credential-digest | contract for credential digest stable | E27 | held |
| I-CONTRACT-delegate-signed | contract for delegate signed | E27 | held |
| I-CONTRACT-delegate-digest | contract for delegate digest stable | E27 | held |
| I-CONTRACT-delete-signed | contract for delete signed | E27 | held |
| I-CONTRACT-delete-digest | contract for delete digest stable | E27 | held |
| I-CONTRACT-deploy-signed | contract for deploy signed | E27 | held |
| I-CONTRACT-deploy-digest | contract for deploy digest stable | E27 | held |
| I-CONTRACT-destroy-signed | contract for destroy signed | E27 | held |
| I-CONTRACT-destroy-digest | contract for destroy digest stable | E27 | held |
| I-CONTRACT-execute-signed | contract for execute signed | E27 | held |
| I-CONTRACT-execute-digest | contract for execute digest stable | E27 | held |
| I-CONTRACT-list-signed | contract for list signed | E27 | held |
| I-CONTRACT-list-digest | contract for list digest stable | E27 | held |
| I-CONTRACT-notify-signed | contract for notify signed | E27 | held |
| I-CONTRACT-notify-digest | contract for notify digest stable | E27 | held |
| I-CONTRACT-observe-signed | contract for observe signed | E27 | held |
| I-CONTRACT-observe-digest | contract for observe digest stable | E27 | held |
| I-CONTRACT-pay-signed | contract for pay signed | E27 | held |
| I-CONTRACT-pay-digest | contract for pay digest stable | E27 | held |
| I-CONTRACT-query-signed | contract for query signed | E27 | held |
| I-CONTRACT-query-digest | contract for query digest stable | E27 | held |
| I-CONTRACT-read-signed | contract for read signed | E27 | held |
| I-CONTRACT-read-digest | contract for read digest stable | E27 | held |
| I-CONTRACT-send-signed | contract for send signed | E27 | held |
| I-CONTRACT-send-digest | contract for send digest stable | E27 | held |
| I-CONTRACT-submit-signed | contract for submit signed | E27 | held |
| I-CONTRACT-submit-digest | contract for submit digest stable | E27 | held |
| I-CONTRACT-transfer-signed | contract for transfer signed | E27 | held |
| I-CONTRACT-transfer-digest | contract for transfer digest stable | E27 | held |
| I-CONTRACT-write-signed | contract for write signed | E27 | held |
| I-CONTRACT-write-digest | contract for write digest stable | E27 | held |
| E34-CONTRACTLIM-scope | a contract limit scope is required | E34 | held |
| E34-CONTRACTLIM-time | a contract limit time is required | E34 | held |
| E34-CONTRACTLIM-budget | a contract limit budget is required | E34 | held |
| E34-CONTRACTLIM-capability | a contract limit capability is required | E34 | held |
| E34-CONTRACTLIM-geographic | a contract limit geographic is required | E34 | held |
| E34-CONTRACTLIM-organizational | a contract limit organizational is required | E34 | held |
| E34-CONTRACTLIM-resource | a contract limit resource is required | E34 | held |
| E34-CONTRACTLIM-transaction | a contract limit transaction is required | E34 | held |
| E34-CONTRACTLIM-trajectory | a contract limit trajectory is required | E34 | held |
| E34-CONTRACTLIM-model_runtime | a contract limit model_runtime is required | E34 | held |
| E34-CONTRACTLIM-evidence | a contract limit evidence is required | E34 | held |
| E34-CONTRACTLIM-human_approval | a contract limit human_approval is required | E34 | held |
| E34-CONTRACTLIM-multi_party_approval | a contract limit multi_party_approval is required | E34 | held |
| E34-CONTRACTSTAGE-DISCOVER | contract lifecycle includes DISCOVER | E34 | held |
| E34-CONTRACTSTAGE-IDENTIFY | contract lifecycle includes IDENTIFY | E34 | held |
| E34-CONTRACTSTAGE-ATTEST | contract lifecycle includes ATTEST | E34 | held |
| E34-CONTRACTSTAGE-NEGOTIATE | contract lifecycle includes NEGOTIATE | E34 | held |
| E34-CONTRACTSTAGE-CONSTRAIN | contract lifecycle includes CONSTRAIN | E34 | held |
| E34-CONTRACTSTAGE-AUTHORIZE | contract lifecycle includes AUTHORIZE | E34 | held |
| E34-CONTRACTSTAGE-EXECUTE | contract lifecycle includes EXECUTE | E34 | held |
| E34-CONTRACTSTAGE-PROVE | contract lifecycle includes PROVE | E34 | held |
| E34-CONTRACTSTAGE-VERIFY | contract lifecycle includes VERIFY | E34 | held |
| E34-CONTRACTSTAGE-SETTLE | contract lifecycle includes SETTLE | E34 | held |
| E34-CONTRACTSTAGE-REASSESS | contract lifecycle includes REASSESS | E34 | held |
| E34-CONTRACTSTAGE-RENEW_OR_REVOKE | contract lifecycle includes RENEW_OR_REVOKE | E34 | held |
Other families in this niche
domain · moat · transaction_binding · 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 · 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