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 451–600 of 664
| 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 |
| E36-NEGOTIATE-price | negotiation without price is GOVERNANCE_UNKNOWN | E36 | held |
| E36-NEGOTIATE-duration | negotiation without duration is GOVERNANCE_UNKNOWN | E36 | held |
| E36-NEGOTIATE-capability_scope | negotiation without capability_scope is GOVERNANCE_UNKNOWN | E36 | held |
| E36-NEGOTIATE-resource_limits | negotiation without resource_limits is GOVERNANCE_UNKNOWN | E36 | held |
| E36-NEGOTIATE-sla | negotiation without sla is GOVERNANCE_UNKNOWN | E36 | held |
| E36-NEGOTIATE-evidence | negotiation without evidence is GOVERNANCE_UNKNOWN | E36 | held |
| E36-NEGOTIATE-proof | negotiation without proof is GOVERNANCE_UNKNOWN | E36 | held |
| E36-NEGOTIATE-deadline | negotiation without deadline is GOVERNANCE_UNKNOWN | E36 | held |
| E36-NEGOTIATE-retry | negotiation without retry is GOVERNANCE_UNKNOWN | E36 | held |
| E36-NEGOTIATE-cancellation | negotiation without cancellation is GOVERNANCE_UNKNOWN | E36 | held |
| E36-NEGOTIATE-escalation | negotiation without escalation is GOVERNANCE_UNKNOWN | E36 | held |
| E36-NEGOTIATE-dispute | negotiation without dispute is GOVERNANCE_UNKNOWN | E36 | held |
| E36-NEGOTIATE-data_boundary | negotiation without data_boundary is GOVERNANCE_UNKNOWN | E36 | held |
| E36-NEGOTIATE-authority_limit | negotiation without authority_limit is GOVERNANCE_UNKNOWN | E36 | held |
| E36-DISPUTE-OPEN | dispute state OPEN exists | E36 | held |
| E36-DISPUTE-UNDER_REVIEW | dispute state UNDER_REVIEW exists | E36 | held |
| E36-DISPUTE-EVIDENCE_REQUIRED | dispute state EVIDENCE_REQUIRED exists | E36 | held |
| E36-DISPUTE-MEDIATION | dispute state MEDIATION exists | E36 | held |
| E36-DISPUTE-RESOLVED | dispute state RESOLVED exists | E36 | held |
| E36-DISPUTE-ESCALATED | dispute state ESCALATED exists | E36 | held |
| E36-DISPUTE-UNKNOWN | dispute state UNKNOWN exists | E36 | held |
| E36-DISPUTESTEP-CLAIM | dispute lifecycle step CLAIM exists | E36 | held |
| E36-DISPUTESTEP-COUNTERCLAIM | dispute lifecycle step COUNTERCLAIM exists | E36 | held |
| E36-DISPUTESTEP-EVIDENCE | dispute lifecycle step EVIDENCE exists | E36 | held |
| E36-DISPUTESTEP-PROOF | dispute lifecycle step PROOF exists | E36 | held |
| E36-DISPUTESTEP-CONTRACT_INTERPRETATION | dispute lifecycle step CONTRACT_INTERPRETATION exists | E36 | held |
| E36-DISPUTESTEP-GOVERNANCE_REVIEW | dispute lifecycle step GOVERNANCE_REVIEW exists | E36 | held |
| E36-DISPUTESTEP-DECISION | dispute lifecycle step DECISION exists | E36 | held |
| E36-DISPUTESTEP-SETTLEMENT_OR_ESCALATION | dispute lifecycle step SETTLEMENT_OR_ESCALATION exists | E36 | held |
| E36-ESCROW-FUNDS_COMMITTED | escrow state FUNDS_COMMITTED exists | E36 | held |
| E36-ESCROW-CONDITIONS | escrow state CONDITIONS exists | E36 | held |
| E36-ESCROW-EXECUTION | escrow state EXECUTION exists | E36 | held |
| E36-ESCROW-PROOF | escrow state PROOF exists | E36 | held |
| E36-ESCROW-VERIFICATION | escrow state VERIFICATION exists | E36 | held |
| E36-ESCROW-SETTLEMENT | escrow state SETTLEMENT exists | E36 | held |
| E36-ESCROW-DISPUTE | escrow state DISPUTE exists | E36 | held |
| E36-BID-price | bid dimension price exists | E36 | held |
| E36-BID-capability | bid dimension capability exists | E36 | held |
| E36-BID-expected_completion | bid dimension expected_completion exists | E36 | held |
| E36-BID-governance_profile | bid dimension governance_profile exists | E36 | held |
| E36-BID-proof_profile | bid dimension proof_profile exists | E36 | held |
| E36-BID-resource | bid dimension resource exists | E36 | held |
| E36-BID-risk | bid dimension risk exists | E36 | held |
| E36-BID-sla | bid dimension sla exists | E36 | held |
| E36-TELEMETRY-transactions | telemetry metric transactions exists | E36 | held |
| E36-TELEMETRY-disputes | telemetry metric disputes exists | E36 | held |
| E36-AGENCY-NODE-contract | agency graph node contract exists | E36 | held |
| E36-AGENCY-NODE-transaction | agency graph node transaction exists | E36 | held |
| E36-AGENCY-NODE-dispute | agency graph node dispute exists | E36 | held |
| E36-AGENCY-EDGE-CONTRACTS | agency graph edge CONTRACTS exists | E36 | held |
| E36-ECONNODE-agent | economic graph node agent exists | E36 | held |
| E36-ECONNODE-service | economic graph node service exists | E36 | held |
| E36-ECONNODE-organization | economic graph node organization exists | E36 | held |
| E36-ECONNODE-contract | economic graph node contract exists | E36 | held |
| E36-ECONNODE-transaction | economic graph node transaction exists | E36 | held |
| E36-ECONNODE-resource | economic graph node resource exists | E36 | held |
| E36-ECONNODE-capability | economic graph node capability exists | E36 | held |
| E36-ECONNODE-authority | economic graph node authority exists | E36 | held |
| E36-ECONNODE-proof | economic graph node proof exists | E36 | held |
| E36-ECONNODE-incident | economic graph node incident exists | E36 | held |
| E36-ECONNODE-payment | economic graph node payment exists | E36 | held |
| E36-ECONNODE-dispute | economic graph node dispute exists | E36 | held |
| E36-ECONEDGE-HIRED | economic graph edge HIRED exists | E36 | held |
| E36-ECONEDGE-DELEGATED | economic graph edge DELEGATED exists | E36 | held |
| E36-ECONEDGE-CONTRACTED | economic graph edge CONTRACTED exists | E36 | held |
| E36-ECONEDGE-EXECUTED | economic graph edge EXECUTED exists | E36 | held |
| E36-ECONEDGE-PAID | economic graph edge PAID exists | E36 | held |
| E36-ECONEDGE-DISPUTED | economic graph edge DISPUTED exists | E36 | held |
| E36-ECONEDGE-VERIFIED | economic graph edge VERIFIED exists | E36 | held |
| E36-ECONEDGE-REVOKED | economic graph edge REVOKED exists | E36 | held |
| E36-ECONEDGE-RECOVERED | economic graph edge RECOVERED exists | E36 | held |
| E36-ECONEDGE-SUBCONTRACTED | economic graph edge SUBCONTRACTED exists | E36 | held |
| E36-ECONEDGE-DEPENDS_ON | economic graph edge DEPENDS_ON exists | E36 | held |
| E36-GOVBUDGET-money | governance budget dimension money exists | E36 | held |
| E36-GOVBUDGET-compute | governance budget dimension compute exists | E36 | held |
| E36-GOVBUDGET-time | governance budget dimension time exists | E36 | held |
| E36-GOVBUDGET-tools | governance budget dimension tools exists | E36 | held |
| E36-GOVBUDGET-delegation | governance budget dimension delegation exists | E36 | held |
| E36-GOVBUDGET-messages | governance budget dimension messages exists | E36 | held |
| E36-GOVBUDGET-api_calls | governance budget dimension api_calls exists | E36 | held |
| E36-GOVBUDGET-physical_actions | governance budget dimension physical_actions exists | E36 | held |
| E36-GOVBUDGET-risk | governance budget dimension risk exists | E36 | held |
| E36-GOVBUDGET-uncertainty | governance budget dimension uncertainty exists | E36 | held |
| E36-ECONRULE-spending | economic policy rule spending is bounded | E36 | held |
| E36-ECONRULE-hiring | economic policy rule hiring is bounded | E36 | held |
| E36-ECONRULE-delegation | economic policy rule delegation is bounded | E36 | held |
| E36-ECONRULE-subcontracting | economic policy rule subcontracting is bounded | E36 | held |
| E36-ECONRULE-bidding | economic policy rule bidding is bounded | E36 | held |
| E36-ECONRULE-payments | economic policy rule payments is bounded | E36 | held |
| E36-ECONRULE-escrow | economic policy rule escrow is bounded | E36 | held |
| E36-ECONRULE-budgets | economic policy rule budgets is bounded | E36 | held |
| E36-ECONRULE-resource_acquisition | economic policy rule resource_acquisition is bounded | E36 | held |
| E36-ECONRULE-capability_acquisition | economic policy rule capability_acquisition is bounded | E36 | held |
| E36-ECONRULE-market_participation | economic policy rule market_participation is bounded | E36 | held |
| E36-MOAT-machine_procurement | moat machine_procurement is technical only | E36 | held |
| E36-MOAT-machine_contracts | moat machine_contracts is technical only | E36 | held |
| E36-MOAT-governance_contracts | moat governance_contracts is technical only | E36 | held |
| E36-MOAT-machine_bidding | moat machine_bidding is technical only | E36 | held |
| E36-MOAT-machine_dispute_infrastructure | moat machine_dispute_infrastructure is technical only | E36 | held |
| E36-MOAT-machine_economy_telemetry | moat machine_economy_telemetry is technical only | E36 | held |
| E36-MOAT-agent_labor_marketplace | moat agent_labor_marketplace is technical only | E36 | held |
| E36-MOAT-machine_organization_marketplace | moat machine_organization_marketplace is technical only | E36 | held |
| E36-MOAT-governance_aware_procurement | moat governance_aware_procurement is technical only | E36 | held |
| E36-COMPETITOR-agent_marketplaces | competitor category agent_marketplaces makes no claim | E36 | held |
| E36-COMPETITOR-agent_economic_protocols | competitor category agent_economic_protocols makes no claim | E36 | held |
| E36-LIFECYCLE-DISCOVER | exchange lifecycle step DISCOVER exists | E36 | held |
| E36-LIFECYCLE-IDENTIFY | exchange lifecycle step IDENTIFY exists | E36 | held |
| E36-LIFECYCLE-VERIFY | exchange lifecycle step VERIFY exists | E36 | held |
| E36-LIFECYCLE-EVALUATE | exchange lifecycle step EVALUATE exists | E36 | held |
| E36-LIFECYCLE-NEGOTIATE | exchange lifecycle step NEGOTIATE exists | E36 | held |
| E36-LIFECYCLE-CONTRACT | exchange lifecycle step CONTRACT exists | E36 | held |
| E36-LIFECYCLE-AUTHORIZE | exchange lifecycle step AUTHORIZE exists | E36 | held |
| E36-LIFECYCLE-EXECUTE | exchange lifecycle step EXECUTE exists | E36 | held |
| E36-LIFECYCLE-PROVE | exchange lifecycle step PROVE exists | E36 | held |
| E36-LIFECYCLE-SETTLE | exchange lifecycle step SETTLE exists | E36 | held |
| E36-LIFECYCLE-RATE | exchange lifecycle step RATE exists | E36 | held |
| E36-LIFECYCLE-REASSESS | exchange lifecycle step REASSESS exists | E36 | held |
| E36-LIFECYCLE-RENEW_OR_REVOKE | exchange lifecycle step RENEW_OR_REVOKE exists | E36 | held |
| E36-LC-DISCOVER | lifecycle step DISCOVER is in the documented order | E36 | held |
| E36-LC-IDENTIFY | lifecycle step IDENTIFY is in the documented order | E36 | held |
| E36-LC-VERIFY | lifecycle step VERIFY is in the documented order | E36 | held |
| E36-LC-EVALUATE | lifecycle step EVALUATE is in the documented order | E36 | held |
| E36-LC-NEGOTIATE | lifecycle step NEGOTIATE is in the documented order | E36 | held |
| E36-LC-CONTRACT | lifecycle step CONTRACT is in the documented order | E36 | held |
| E36-LC-AUTHORIZE | lifecycle step AUTHORIZE is in the documented order | E36 | held |
| E36-LC-EXECUTE | lifecycle step EXECUTE is in the documented order | E36 | held |
| E36-LC-PROVE | lifecycle step PROVE is in the documented order | E36 | held |
| E36-LC-SETTLE | lifecycle step SETTLE is in the documented order | E36 | held |
| E36-LC-RATE | lifecycle step RATE is in the documented order | E36 | held |
| E36-LC-REASSESS | lifecycle step REASSESS is in the documented order | E36 | held |
| E36-LC-RENEW_OR_REVOKE | lifecycle step RENEW_OR_REVOKE is in the documented order | E36 | held |
| compute_abuse | every 'compute abuse' invariant in this bundle (10 of 10 held) | E37 | 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