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 601–664 of 664
| ID | Rule | Bundle | Result |
|---|---|---|---|
| computer_use | every 'computer use' invariant in this bundle (405 of 405 held) | E37 | held |
| negotiation | every 'negotiation' invariant in this bundle (13 of 13 held) | E38 | held |
| E40-BUDGET-agents | autonomy budget dimension agents exists | E40 | held |
| E40-BUDGET-missions | autonomy budget dimension missions exists | E40 | held |
| E40-BUDGET-compute | autonomy budget dimension compute exists | E40 | held |
| E40-BUDGET-tool_calls | autonomy budget dimension tool_calls exists | E40 | held |
| E40-BUDGET-transactions | autonomy budget dimension transactions exists | E40 | held |
| E40-BUDGET-economic_exposure | autonomy budget dimension economic_exposure exists | E40 | held |
| E40-BUDGET-risk | autonomy budget dimension risk exists | E40 | held |
| E40-BUDGET-human_review | autonomy budget dimension human_review exists | E40 | held |
| E40-BUDGET2-agents | budget agents is bounded | E40 | held |
| E40-BUDGET2-missions | budget missions is bounded | E40 | held |
| E40-BUDGET2-compute | budget compute is bounded | E40 | held |
| E40-BUDGET2-tool_calls | budget tool_calls is bounded | E40 | held |
| E40-BUDGET2-transactions | budget transactions is bounded | E40 | held |
| E40-BUDGET2-economic_exposure | budget economic_exposure is bounded | E40 | held |
| E40-BUDGET2-risk | budget risk is bounded | E40 | held |
| E40-BUDGET2-human_review | budget human_review is bounded | E40 | held |
| E41-RELSTATE-NEGOTIATING | relationship state NEGOTIATING exists and is never collapsed | E41 | held |
| E41-RELSTATE-CONTRACTED | relationship state CONTRACTED exists and is never collapsed | E41 | held |
| E41-RELSTATE-SETTLED | relationship state SETTLED exists and is never collapsed | E41 | held |
| E41-NEG-identity | negotiation requires identity | E41 | held |
| E41-NEG-attestation | negotiation requires attestation | E41 | held |
| E41-NEG-evidence | negotiation requires evidence | E41 | held |
| E41-NEG-capability | negotiation requires capability | E41 | held |
| E41-NEG-authority | negotiation requires authority | E41 | held |
| E41-NEG-data | negotiation requires data | E41 | held |
| E41-NEG-execution | negotiation requires execution | E41 | held |
| E41-NEG-geographic | negotiation requires geographic | E41 | held |
| E41-NEG-temporal | negotiation requires temporal | E41 | held |
| E41-NEG-economic | negotiation requires economic | E41 | held |
| E41-NEG-human_approval | negotiation requires human_approval | E41 | held |
| E41-NEG-incident | negotiation requires incident | E41 | held |
| E41-NEG-logging | negotiation requires logging | E41 | held |
| E41-NEG-revocation | negotiation requires revocation | E41 | held |
| E41-NEG-recovery | negotiation requires recovery | E41 | held |
| E41-BOUNDARY-economic | systemic risk reports the economic boundary | E41 | held |
| E41-REL2-NEGOTIATING | relationship state NEGOTIATING is reachable/held or explicitly refused | E41 | held |
| E41-REL2-CONTRACTED | relationship state CONTRACTED is reachable/held or explicitly refused | E41 | held |
| E41-REL2-SETTLED | relationship state SETTLED is reachable/held or explicitly refused | E41 | held |
| E41-NEG2-identity | negotiation requirement identity cannot be omitted | E41 | held |
| E41-NEG2-attestation | negotiation requirement attestation cannot be omitted | E41 | held |
| E41-NEG2-evidence | negotiation requirement evidence cannot be omitted | E41 | held |
| E41-NEG2-capability | negotiation requirement capability cannot be omitted | E41 | held |
| E41-NEG2-authority | negotiation requirement authority cannot be omitted | E41 | held |
| E41-NEG2-data | negotiation requirement data cannot be omitted | E41 | held |
| E41-NEG2-execution | negotiation requirement execution cannot be omitted | E41 | held |
| E41-NEG2-geographic | negotiation requirement geographic cannot be omitted | E41 | held |
| E41-NEG2-temporal | negotiation requirement temporal cannot be omitted | E41 | held |
| E41-NEG2-economic | negotiation requirement economic cannot be omitted | E41 | held |
| E41-NEG2-human_approval | negotiation requirement human_approval cannot be omitted | E41 | held |
| E41-NEG2-incident | negotiation requirement incident cannot be omitted | E41 | held |
| E41-NEG2-logging | negotiation requirement logging cannot be omitted | E41 | held |
| E41-NEG2-revocation | negotiation requirement revocation cannot be omitted | E41 | held |
| E41-NEG2-recovery | negotiation requirement recovery cannot be omitted | E41 | held |
| E41-DOM41-contract | exchange area contract is covered by held scenarios | E41 | held |
| E41-DOM41-settlement | exchange area settlement is covered by held scenarios | E41 | held |
| E41-DOM41-dispute | exchange area dispute is covered by held scenarios | E41 | held |
| E41-DOM41-reputation | exchange area reputation is covered by held scenarios | E41 | held |
| E41-DOM41-scale | exchange area scale is covered by held scenarios | E41 | held |
| E42-SURFACE-computer_use | universal action surface computer_use is covered | E42 | held |
| E42-GRAPH-contract | unified graph node kind contract exists | E42 | held |
| E42-GRAPH-transaction | unified graph node kind transaction exists | E42 | held |
| E42-GRAPH-economic | unified graph node kind economic exists | E42 | 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