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 301–450 of 664
| ID | Rule | Bundle | Result |
|---|---|---|---|
| E33-CONTRACTSTAGE-DISCOVER | contract stage DISCOVER is backed by E29's signed stages | E33 | held |
| E33-CONTRACTSTAGE-NEGOTIATE | contract stage NEGOTIATE is backed by E29's signed stages | E33 | held |
| E33-CONTRACTSTAGE-PROPOSE | contract stage PROPOSE is backed by E29's signed stages | E33 | held |
| E33-CONTRACTSTAGE-VERIFY | contract stage VERIFY is backed by E29's signed stages | E33 | held |
| E33-CONTRACTSTAGE-CONTRACT | contract stage CONTRACT is backed by E29's signed stages | E33 | held |
| E33-CONTRACTSTAGE-AUTHORIZE | contract stage AUTHORIZE is backed by E29's signed stages | E33 | held |
| E33-CONTRACTSTAGE-COMMIT | contract stage COMMIT is backed by E29's signed stages | E33 | held |
| E33-CONTRACTSTAGE-EXECUTE | contract stage EXECUTE is backed by E29's signed stages | E33 | held |
| E33-CONTRACTSTAGE-SETTLE | contract stage SETTLE is backed by E29's signed stages | E33 | held |
| E33-CONTRACTSTAGE-VERIFY_DELIVERY | contract stage VERIFY_DELIVERY is backed by E29's signed stages | E33 | held |
| E33-CONTRACTSTAGE-DISPUTE_OR_ACCEPT | contract stage DISPUTE_OR_ACCEPT is backed by E29's signed stages | E33 | held |
| E33-CONTRACTSTAGE-RECORD | contract stage RECORD is backed by E29's signed stages | E33 | 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 |
| E34-MOAT-governance_kernel | moat governance_kernel is technical only, not a market moat | E34 | held |
| E34-MOAT-enforcement_integrations | moat enforcement_integrations is technical only, not a market moat | E34 | held |
| E34-MOAT-conformance_ecosystem | moat conformance_ecosystem is technical only, not a market moat | E34 | held |
| E34-MOAT-transaction_graph | moat transaction_graph is technical only, not a market moat | E34 | held |
| E34-MOAT-machine_reputation | moat machine_reputation is technical only, not a market moat | E34 | held |
| E34-MOAT-federation | moat federation is technical only, not a market moat | E34 | held |
| E34-MOAT-developer_sdk | moat developer_sdk is technical only, not a market moat | E34 | held |
| E34-MOAT-enterprise_integrations | moat enterprise_integrations is technical only, not a market moat | E34 | held |
| E34-MOAT-governance_marketplace | moat governance_marketplace is technical only, not a market moat | E34 | held |
| E34-MOAT-research_corpus | moat research_corpus is technical only, not a market moat | E34 | held |
| E34-MOAT-interoperability | moat interoperability is technical only, not a market moat | E34 | held |
| E34-MOAT-governance_profiles | moat governance_profiles is technical only, not a market moat | E34 | held |
| E34-MOAT-public_verification_infrastructure | moat public_verification_infrastructure is technical only, not a market moat | E34 | held |
| E34-MOAT-edge_deployment | moat edge_deployment is technical only, not a market moat | E34 | held |
| E34-MOAT-governance_cloud | moat governance_cloud is technical only, not a market moat | E34 | held |
| E34-MOAT-evolution_engine | moat evolution_engine is technical only, not a market moat | E34 | held |
| E34-MOAT-machine_economy_controls | moat machine_economy_controls is technical only, not a market moat | E34 | held |
| E34-MOAT-historical_governance_replay | moat historical_governance_replay is technical only, not a market moat | E34 | held |
| E35-RISK-economic | risk dimension economic is separate | E35 | held |
| E35-REGRET-false_allow | regret dimension false_allow exists | E35 | held |
| E35-REGRET-false_deny | regret dimension false_deny exists | E35 | held |
| E35-REGRET-control_caused | regret dimension control_caused exists | E35 | held |
| E35-REGRET-missing_evidence | regret dimension missing_evidence exists | E35 | held |
| E35-REGRET-failed_prediction | regret dimension failed_prediction exists | E35 | held |
| E35-REGRET-ambiguous_policy | regret dimension ambiguous_policy exists | E35 | held |
| E35-REGRET-incomplete_boundary | regret dimension incomplete_boundary exists | E35 | held |
| E35-CU-browser | computer-use surface browser exists | E35 | held |
| E35-CU-desktop | computer-use surface desktop exists | E35 | held |
| E35-CU-terminal | computer-use surface terminal exists | E35 | held |
| E35-CU-gui | computer-use surface gui exists | E35 | held |
| E35-CU-remote_desktop | computer-use surface remote_desktop exists | E35 | held |
| E35-CU-file_manager | computer-use surface file_manager exists | E35 | held |
| E35-CU-credentials | computer-use surface credentials exists | E35 | held |
| E35-CU-clipboard | computer-use surface clipboard exists | E35 | held |
| E35-CU-downloads | computer-use surface downloads exists | E35 | held |
| E35-CU-uploads | computer-use surface uploads exists | E35 | held |
| E35-CU-screenshots | computer-use surface screenshots exists | E35 | held |
| E35-CU-ui_state | computer-use surface ui_state exists | E35 | held |
| E35-CU-navigation | computer-use surface navigation exists | E35 | held |
| E35-CU-form_submission | computer-use surface form_submission exists | E35 | held |
| E35-CU-external_side_effects | computer-use surface external_side_effects exists | E35 | held |
| E35-MARKET-policy_pack | marketplace kind policy_pack exists | E35 | held |
| E35-MARKET-attack_pack | marketplace kind attack_pack exists | E35 | held |
| E35-MARKET-verifier | marketplace kind verifier exists | E35 | held |
| E35-MARKET-adapter | marketplace kind adapter exists | E35 | held |
| E35-MARKET-conformance_profile | marketplace kind conformance_profile exists | E35 | held |
| E35-MARKET-governance_contract | marketplace kind governance_contract exists | E35 | held |
| E35-MARKET-incident_detector | marketplace kind incident_detector exists | E35 | held |
| E35-MARKET-recovery_strategy | marketplace kind recovery_strategy exists | E35 | held |
| E35-MARKET-environment_model | marketplace kind environment_model exists | E35 | held |
| E35-MARKET-governance_benchmark | marketplace kind governance_benchmark exists | E35 | held |
| E35-MARKET-domain_template | marketplace kind domain_template exists | E35 | held |
| E35-MARKET-simulation_environment | marketplace kind simulation_environment exists | E35 | held |
| E35-RADAR-computer_use | radar topic computer_use exists | E35 | held |
| E35-IP-governance_contracts | IP primitive governance_contracts exists | E35 | held |
| E35-IP-governance_regret | IP primitive governance_regret exists | E35 | held |
| E35-IP-governance_marketplace | IP primitive governance_marketplace exists | E35 | held |
| E35-MOAT-governance_kernel | moat governance_kernel is technical, not a market moat | E35 | held |
| E35-MOAT-e8_enforcement | moat e8_enforcement is technical, not a market moat | E35 | held |
| E35-MOAT-independent_verification | moat independent_verification is technical, not a market moat | E35 | held |
| E35-MOAT-conformance | moat conformance is technical, not a market moat | E35 | held |
| E35-MOAT-governance_coverage | moat governance_coverage is technical, not a market moat | E35 | held |
| E35-MOAT-governance_intelligence | moat governance_intelligence is technical, not a market moat | E35 | held |
| E35-MOAT-governance_regret | moat governance_regret is technical, not a market moat | E35 | held |
| E35-MOAT-failure_to_product | moat failure_to_product is technical, not a market moat | E35 | held |
| E35-MOAT-protocol_adapters | moat protocol_adapters is technical, not a market moat | E35 | held |
| E35-MOAT-governance_marketplace | moat governance_marketplace is technical, not a market moat | E35 | held |
| E35-MOAT-machine_reputation | moat machine_reputation is technical, not a market moat | E35 | held |
| E35-MOAT-transaction_graph | moat transaction_graph is technical, not a market moat | E35 | held |
| E35-MOAT-federation | moat federation is technical, not a market moat | E35 | held |
| E35-MOAT-enterprise_integrations | moat enterprise_integrations is technical, not a market moat | E35 | held |
| E35-MOAT-edge_deployment | moat edge_deployment is technical, not a market moat | E35 | held |
| E35-MOAT-governance_cloud | moat governance_cloud is technical, not a market moat | E35 | held |
| E35-MOAT-research_engine | moat research_engine is technical, not a market moat | E35 | held |
| E35-MOAT-evolution_engine | moat evolution_engine is technical, not a market moat | E35 | held |
| E35-MOAT-developer_ecosystem | moat developer_ecosystem is technical, not a market moat | E35 | held |
| E35-MOAT-governance_economics | moat governance_economics is technical, not a market moat | E35 | held |
| E35-MOAT-proprietary_governance_telemetry | moat proprietary_governance_telemetry is technical, not a market moat | E35 | held |
| E35-MOAT-governance_benchmarks | moat governance_benchmarks is technical, not a market moat | E35 | held |
| E35-MOAT-machine_governability_profiles | moat machine_governability_profiles is technical, not a market moat | E35 | held |
| E35-MOAT-policy_compiler | moat policy_compiler is technical, not a market moat | E35 | held |
| E35-MOAT-governance_state_revision | moat governance_state_revision is technical, not a market moat | E35 | held |
| E35-MOAT-machine_economy_controls | moat machine_economy_controls is technical, not a market moat | E35 | held |
| E35-MOAT-governance_self_healing | moat governance_self_healing is technical, not a market moat | E35 | held |
| E35-MOAT-governance_ip_graph | moat governance_ip_graph is technical, not a market moat | E35 | held |
| E35-MOAT-historical_governance_replay | moat historical_governance_replay is technical, not a market moat | E35 | held |
| E35-SWARM-economic | swarm role economic exists | E35 | held |
| E35-ECON-cost_per_action | economics metric cost_per_action exists | E35 | held |
| E35-ECON-cost_per_proof | economics metric cost_per_proof exists | E35 | held |
| E35-ECON-cost_per_verification | economics metric cost_per_verification exists | E35 | held |
| E35-ECON-cost_per_incident | economics metric cost_per_incident exists | E35 | held |
| E35-ECON-cost_per_prevented_incident | economics metric cost_per_prevented_incident exists | E35 | held |
| E35-ECON-cost_per_tenant | economics metric cost_per_tenant exists | E35 | held |
| E35-ECON-cost_per_agent | economics metric cost_per_agent exists | E35 | held |
| E35-ECON-cost_per_transaction | economics metric cost_per_transaction exists | E35 | held |
| E35-ECON-cost_per_protocol | economics metric cost_per_protocol exists | E35 | held |
| E35-ECON-cost_per_enforcement_boundary | economics metric cost_per_enforcement_boundary exists | E35 | held |
| E36-MARKET-coding | marketplace category coding exists | E36 | held |
| E36-MARKET-research | marketplace category research exists | E36 | held |
| E36-MARKET-analysis | marketplace category analysis exists | E36 | held |
| E36-MARKET-data_processing | marketplace category data_processing exists | E36 | held |
| E36-MARKET-cybersecurity | marketplace category cybersecurity exists | E36 | held |
| E36-MARKET-simulation | marketplace category simulation exists | E36 | held |
| E36-MARKET-planning | marketplace category planning exists | E36 | held |
| E36-MARKET-browser_automation | marketplace category browser_automation exists | E36 | held |
| E36-MARKET-computer_use | marketplace category computer_use exists | E36 | held |
| E36-MARKET-infrastructure | marketplace category infrastructure exists | E36 | held |
| E36-MARKET-cloud_operations | marketplace category cloud_operations exists | E36 | held |
| E36-MARKET-testing | marketplace category testing exists | E36 | held |
| E36-MARKET-verification | marketplace category verification exists | E36 | held |
| E36-MARKET-governance | marketplace category governance exists | E36 | held |
| E36-MARKET-robotics | marketplace category robotics exists | E36 | held |
| E36-MARKET-scientific_experimentation | marketplace category scientific_experimentation exists | E36 | 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