CAIN-42 CAIN StudioEvidence library · niche
Transactions, markets & economics
Agents that buy, sell, bid and pay, within limits. 664 tested invariants.
Last reviewed 2026-10-01
664 of 664 held
Test families in this niche
transaction_binding (72) · moat (72) · contract (65) · negotiation (59) · marketplace (56) · autonomy_budget (28) · exchange_lifecycle (26) · computer_use (25) · econ_graph (23) · machine_contract (18) · dispute (15) · contract_lifecycle (12) · stage (11) · budget (11) · governance_contract (11) · econ_policy (11) · marketplace_module (10) · economics (10) · gov_budget (10) · marketplace_field (9) · tournament (8) · bid (8) · governance_economy (7) · regret (7) · escrow (7) · economic (6) · relationship (6) · domain (5) · agency_graph (4) · telemetry (3) · verifier_disagreement (3) · ip (3) · graph (3) · risk (2) · operation_kind (2) · competitive_gap (2) · state_machine (1) · offline (1) · consistency (1) · compute (1) · economy (1) · radar (1) · swarm (1) · compute_abuse (1) · systemic (1) · action (1)
Where these come from
- CAIN-42 Evolution 36 -- Machine Agency Exchange Fabric: 165
- CAIN-42 Evolution 33 -- Governed Agentic Operating Fabric: 82
- CAIN-42 Evolution 26 -- Universal Machine Agency Trust Fabric: 79
- CAIN-42 Evolution 35 -- Continuous Governance Intelligence Fabric: 79
- CAIN-42 Evolution 27 -- Agentic Internet Control Plane: 63
- CAIN-42 Evolution 34 -- Proof-Carrying Machine Agency: 43
- CAIN-42 Evolution 41 -- Machine Agency Exchange Fabric: 42
- CAIN-42 Evolution 30 -- Governed Machine Autonomy Fabric: 30
- CAIN-42 Evolution 31 -- Universal Proof-of-Governance Fabric: 20
- CAIN-42 Evolution 40 -- Autonomous Enterprise Intelligence Fabric: 16
- CAIN-42 Evolution 29 -- Governed Agentic Internet Transaction Fabric: 11
- CAIN-42 Evolution 20 -- Governed Agentic Civilization Fabric: 8
- CAIN-42 Evolution 23 -- Governed Meta-Intelligence Fabric: 6
- CAIN-42 Evolution 21 -- Governed Open-Ended Intelligence Fabric: 5
- CAIN-42 Evolution 24 -- Governed Agentic Internet Fabric: 4
- CAIN-42 Evolution 42 -- Supreme Governed Agentic Infrastructure Platform: 4
- CAIN-42 Evolution 28 -- Portable Machine Agency & Execution Identity: 2
- CAIN-42 Evolution 37 -- Autonomous Execution Mesh: 2
- CAIN-42 Evolution 19 -- Governed Autonomy Operating Fabric: 1
- CAIN-42 Evolution 25 -- Universal Machine Agency Fabric: 1
- CAIN-42 Evolution 38 -- Portable Proof-Carrying Machine Agency: 1
Rules 1–150 of 664
| ID | Rule | Bundle | Result |
|---|---|---|---|
| G105 | budgets are conserved and NaN spends refused | E19 | held |
| I61 | legitimate contract lifecycle works | E20 | held |
| I62 | legitimate economic settlement works and conserves | E20 | held |
| I65 | legitimate negotiation completes | E20 | held |
| I73 | double spend is impossible | E20 | held |
| I74 | escrow returns exactly once | E20 | held |
| I88 | dispute resolution never fabricates certainty | E20 | held |
| I89 | disputes preserve competing claims | E20 | held |
| I109 | real-money settlement is refused everywhere | E20 | held |
| D41 | research budgets are bounded | E21 | held |
| D42 | experiment budgets are bounded | E21 | held |
| D43 | compute budgets are bounded | E21 | held |
| D44 | agent creation budgets are bounded | E21 | held |
| D45 | tool budgets are bounded | E21 | held |
| META-S-budget-compute | a child's compute budget is carved out of the parent's | E23 | held |
| META-S-budget-time | a child's time budget is carved out of the parent's | E23 | held |
| META-S-budget-network | a child's network budget is carved out of the parent's | E23 | held |
| META-S-budget-cost | a child's cost budget is carved out of the parent's | E23 | held |
| META-S-budget-risk | a child's risk budget is carved out of the parent's | E23 | held |
| META-S-canary-canary_latency_above_budget | canary trigger CANARY_LATENCY_ABOVE_BUDGET forces ROLLBACK | E23 | held |
| NET-I029 | negotiation cannot bypass policy | E24 | held |
| NET-I030 | contract fulfillment cannot bypass E8 | E24 | held |
| NET-I033 | computer-use actions reach E8 | E24 | held |
| NET-I053 | escrow conserves abstract units | E24 | held |
| I-TX-DISPUTED | CREATED->DISPUTED refused | E25 | held |
| I-TXAUTH-configure-valid | configure valid spend allowed | E26 | held |
| I-TXAUTH-configure-replay | configure replay refused | E26 | held |
| I-TXAUTH-configure-binding | configure binding mismatch refused | E26 | held |
| I-TXAUTH-configure-expired | configure expired refused | E26 | held |
| I-TXAUTH-create-valid | create valid spend allowed | E26 | held |
| I-TXAUTH-create-replay | create replay refused | E26 | held |
| I-TXAUTH-create-binding | create binding mismatch refused | E26 | held |
| I-TXAUTH-create-expired | create expired refused | E26 | held |
| I-TXAUTH-credential-valid | credential valid spend allowed | E26 | held |
| I-TXAUTH-credential-replay | credential replay refused | E26 | held |
| I-TXAUTH-credential-binding | credential binding mismatch refused | E26 | held |
| I-TXAUTH-credential-expired | credential expired refused | E26 | held |
| I-TXAUTH-delegate-valid | delegate valid spend allowed | E26 | held |
| I-TXAUTH-delegate-replay | delegate replay refused | E26 | held |
| I-TXAUTH-delegate-binding | delegate binding mismatch refused | E26 | held |
| I-TXAUTH-delegate-expired | delegate expired refused | E26 | held |
| I-TXAUTH-delete-valid | delete valid spend allowed | E26 | held |
| I-TXAUTH-delete-replay | delete replay refused | E26 | held |
| I-TXAUTH-delete-binding | delete binding mismatch refused | E26 | held |
| I-TXAUTH-delete-expired | delete expired refused | E26 | held |
| I-TXAUTH-deploy-valid | deploy valid spend allowed | E26 | held |
| I-TXAUTH-deploy-replay | deploy replay refused | E26 | held |
| I-TXAUTH-deploy-binding | deploy binding mismatch refused | E26 | held |
| I-TXAUTH-deploy-expired | deploy expired refused | E26 | held |
| I-TXAUTH-destroy-valid | destroy valid spend allowed | E26 | held |
| I-TXAUTH-destroy-replay | destroy replay refused | E26 | held |
| I-TXAUTH-destroy-binding | destroy binding mismatch refused | E26 | held |
| I-TXAUTH-destroy-expired | destroy expired refused | E26 | held |
| I-TXAUTH-execute-valid | execute valid spend allowed | E26 | held |
| I-TXAUTH-execute-replay | execute replay refused | E26 | held |
| I-TXAUTH-execute-binding | execute binding mismatch refused | E26 | held |
| I-TXAUTH-execute-expired | execute expired refused | E26 | held |
| I-TXAUTH-list-valid | list valid spend allowed | E26 | held |
| I-TXAUTH-list-replay | list replay refused | E26 | held |
| I-TXAUTH-list-binding | list binding mismatch refused | E26 | held |
| I-TXAUTH-list-expired | list expired refused | E26 | held |
| I-TXAUTH-notify-valid | notify valid spend allowed | E26 | held |
| I-TXAUTH-notify-replay | notify replay refused | E26 | held |
| I-TXAUTH-notify-binding | notify binding mismatch refused | E26 | held |
| I-TXAUTH-notify-expired | notify expired refused | E26 | held |
| I-TXAUTH-observe-valid | observe valid spend allowed | E26 | held |
| I-TXAUTH-observe-replay | observe replay refused | E26 | held |
| I-TXAUTH-observe-binding | observe binding mismatch refused | E26 | held |
| I-TXAUTH-observe-expired | observe expired refused | E26 | held |
| I-TXAUTH-pay-valid | pay valid spend allowed | E26 | held |
| I-TXAUTH-pay-replay | pay replay refused | E26 | held |
| I-TXAUTH-pay-binding | pay binding mismatch refused | E26 | held |
| I-TXAUTH-pay-expired | pay expired refused | E26 | held |
| I-TXAUTH-query-valid | query valid spend allowed | E26 | held |
| I-TXAUTH-query-replay | query replay refused | E26 | held |
| I-TXAUTH-query-binding | query binding mismatch refused | E26 | held |
| I-TXAUTH-query-expired | query expired refused | E26 | held |
| I-TXAUTH-read-valid | read valid spend allowed | E26 | held |
| I-TXAUTH-read-replay | read replay refused | E26 | held |
| I-TXAUTH-read-binding | read binding mismatch refused | E26 | held |
| I-TXAUTH-read-expired | read expired refused | E26 | held |
| I-TXAUTH-send-valid | send valid spend allowed | E26 | held |
| I-TXAUTH-send-replay | send replay refused | E26 | held |
| I-TXAUTH-send-binding | send binding mismatch refused | E26 | held |
| I-TXAUTH-send-expired | send expired refused | E26 | held |
| I-TXAUTH-submit-valid | submit valid spend allowed | E26 | held |
| I-TXAUTH-submit-replay | submit replay refused | E26 | held |
| I-TXAUTH-submit-binding | submit binding mismatch refused | E26 | held |
| I-TXAUTH-submit-expired | submit expired refused | E26 | held |
| I-TXAUTH-transfer-valid | transfer valid spend allowed | E26 | held |
| I-TXAUTH-transfer-replay | transfer replay refused | E26 | held |
| I-TXAUTH-transfer-binding | transfer binding mismatch refused | E26 | held |
| I-TXAUTH-transfer-expired | transfer expired refused | E26 | held |
| I-TXAUTH-write-valid | write valid spend allowed | E26 | held |
| I-TXAUTH-write-replay | write replay refused | E26 | held |
| I-TXAUTH-write-binding | write binding mismatch refused | E26 | held |
| I-TXAUTH-write-expired | write expired refused | E26 | held |
| I-OFFLINE-binding | transaction binding enforced | E26 | held |
| I-ECON-valid | valid spend authorized | E26 | held |
| I-ECON-merchant | merchant restricted | E26 | held |
| I-ECON-amount | amount capped | E26 | held |
| I-ECON-expiry | mandate expiry | E26 | held |
| I-ECON-real-currency | real currency refused | E26 | held |
| I-ECON-receipt | economic receipt signs | E26 | held |
| 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-NEG-settle | settle yields non-authority result | E27 | held |
| I-NEG-chain | offer chain verifies | E27 | held |
| I-NEG-broken | broken offer chain detected | E27 | held |
| I-MKT-identity | factor identity present | E27 | held |
| I-MKT-provenance | factor provenance present | E27 | held |
| I-MKT-capabilities | factor capabilities present | E27 | held |
| I-MKT-attestation | factor attestation present | E27 | held |
| I-MKT-security_history | factor security_history present | E27 | held |
| I-MKT-execution_history | factor execution_history present | E27 | held |
| I-MKT-evidence_quality | factor evidence_quality present | E27 | held |
| I-MKT-contract_history | factor contract_history present | E27 | held |
| I-MKT-incident_history | factor incident_history present | E27 | held |
| I-TOURN-GENERATE | step GENERATE | E27 | held |
| I-TOURN-DEBATE | step DEBATE | E27 | held |
| I-TOURN-CRITIQUE | step CRITIQUE | E27 | held |
| I-TOURN-VERIFY | step VERIFY | E27 | held |
| I-TOURN-TEST | step TEST | E27 | held |
| I-TOURN-RANK | step RANK | E27 | held |
| I-TOURN-SELECT | step SELECT | E27 | held |
| I-TOURN-not-authorized | winner is not authorized | E27 | held |
| I-RISK-economic_exposure | forecast economic_exposure | E27 | held |
| I-TELEM-transaction | telemetry transaction | E27 | held |
| I-CONSIST-transaction | consistency transaction | 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 |
Other niches
Consensus & distributed systems · Attacks, threats & containment · Identity, authority & delegation · Evidence, receipts & proofs · Memory, data & privacy · Prediction, world models & simulation · Tools, MCP, protocols & adapters · Autonomy, control loops & recovery · Policy, law & governance · Trust & reputation · Supply chain, registry & lifecycle · Benchmarks, coverage & performance · Core guarantees
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