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 151–300 of 664
| ID | Rule | Bundle | Result |
|---|---|---|---|
| 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 |
| E28-I82 | more test-time compute is not more authority | E28 | held |
| E28-I86 | a research bid is bounded by the lease's economic permission; reward is not authority | E28 | held |
| E29-S-DISCOVER | a veto at DISCOVER aborts the transaction and no later stage runs | E29 | held |
| E29-S-IDENTIFY | a veto at IDENTIFY aborts the transaction and no later stage runs | E29 | held |
| E29-S-NEGOTIATE | a veto at NEGOTIATE aborts the transaction and no later stage runs | E29 | held |
| E29-S-PROPOSE | a veto at PROPOSE aborts the transaction and no later stage runs | E29 | held |
| E29-S-CONTRACT | a veto at CONTRACT aborts the transaction and no later stage runs | E29 | held |
| E29-S-COMMIT | a veto at COMMIT aborts the transaction and no later stage runs | E29 | held |
| E29-S-EXECUTE | a veto at EXECUTE aborts the transaction and no later stage runs | E29 | held |
| E29-S-SETTLE | a veto at SETTLE aborts the transaction and no later stage runs | E29 | held |
| E29-S-VERIFY | a veto at VERIFY aborts the transaction and no later stage runs | E29 | held |
| E29-S-RECORD | a veto at RECORD aborts the transaction and no later stage runs | E29 | held |
| E29-S-REASSESS | a veto at REASSESS aborts the transaction and no later stage runs | E29 | held |
| E30-BUDGET-time_ms | 'time_ms' is consumed, recorded and exhausts | E30 | held |
| E30-BUDGET-compute | 'compute' is consumed, recorded and exhausts | E30 | held |
| E30-BUDGET-money | 'money' is consumed, recorded and exhausts | E30 | held |
| E30-BUDGET-tool_calls | 'tool_calls' is consumed, recorded and exhausts | E30 | held |
| E30-BUDGET-delegation | 'delegation' is consumed, recorded and exhausts | E30 | held |
| E30-BUDGET-memory_mutation | 'memory_mutation' is consumed, recorded and exhausts | E30 | held |
| E30-BUDGET-network_access | 'network_access' is consumed, recorded and exhausts | E30 | held |
| E30-BUDGET-data_access | 'data_access' is consumed, recorded and exhausts | E30 | held |
| E30-BUDGET-physical_actions | 'physical_actions' is consumed, recorded and exhausts | E30 | held |
| E30-BUDGET-code_modification | 'code_modification' is consumed, recorded and exhausts | E30 | held |
| E30-BUDGET-self_improvement | 'self_improvement' is consumed, recorded and exhausts | E30 | held |
| E30-BUDGET-transaction_value | 'transaction_value' is consumed, recorded and exhausts | E30 | held |
| E30-MARKET-policy_pack | a 'policy_pack' component installs only when tested and unsubstituted | E30 | held |
| E30-MARKET-adapter | a 'adapter' component installs only when tested and unsubstituted | E30 | held |
| E30-MARKET-conformance_test | a 'conformance_test' component installs only when tested and unsubstituted | E30 | held |
| E30-MARKET-security_test | a 'security_test' component installs only when tested and unsubstituted | E30 | held |
| E30-MARKET-agent_connector | a 'agent_connector' component installs only when tested and unsubstituted | E30 | held |
| E30-MARKET-evidence_validator | a 'evidence_validator' component installs only when tested and unsubstituted | E30 | held |
| E30-MARKET-capability_validator | a 'capability_validator' component installs only when tested and unsubstituted | E30 | held |
| E30-MARKET-research_module | a 'research_module' component installs only when tested and unsubstituted | E30 | held |
| E30-MARKET-domain_governance_module | a 'domain_governance_module' component installs only when tested and unsubstituted | E30 | held |
| E30-CU-navigate | computer-use action 'navigate' maps to a governed adapter or is refused | E30 | held |
| E30-CU-click_submit | computer-use action 'click_submit' maps to a governed adapter or is refused | E30 | held |
| E30-CU-screenshot | computer-use action 'screenshot' maps to a governed adapter or is refused | E30 | held |
| E30-CU-type | computer-use action 'type' maps to a governed adapter or is refused | E30 | held |
| E30-CU-download | computer-use action 'download' maps to a governed adapter or is refused | E30 | held |
| E30-CU-upload | computer-use action 'upload' maps to a governed adapter or is refused | E30 | held |
| E30-CU-clipboard_read | computer-use action 'clipboard_read' maps to a governed adapter or is refused | E30 | held |
| E30-CU-credential_entry | computer-use action 'credential_entry' maps to a governed adapter or is refused | E30 | held |
| E30-CU-session | computer-use action 'session' maps to a governed adapter or is refused | E30 | held |
| E31-SV-GovernanceProofService | GovernanceProofService: infrastructure only; no pricing, customers or authority | E31 | held |
| E31-SV-VerificationService | VerificationService: infrastructure only; no pricing, customers or authority | E31 | held |
| E31-SV-ConformanceService | ConformanceService: infrastructure only; no pricing, customers or authority | E31 | held |
| E31-SV-GovernanceCertificateService | GovernanceCertificateService: infrastructure only; no pricing, customers or authority | E31 | held |
| E31-SV-TrustDomainService | TrustDomainService: infrastructure only; no pricing, customers or authority | E31 | held |
| E31-SV-EvidenceVerificationService | EvidenceVerificationService: infrastructure only; no pricing, customers or authority | E31 | held |
| E31-SV-IncidentVerificationService | IncidentVerificationService: infrastructure only; no pricing, customers or authority | E31 | held |
| E31-MK-policy_pack | policy_pack: artifacts carry provenance and untested ones stay UNVERIFIED | E31 | held |
| E31-MK-conformance_pack | conformance_pack: artifacts carry provenance and untested ones stay UNVERIFIED | E31 | held |
| E31-MK-verifier | verifier: artifacts carry provenance and untested ones stay UNVERIFIED | E31 | held |
| E31-MK-protocol_adapter | protocol_adapter: artifacts carry provenance and untested ones stay UNVERIFIED | E31 | held |
| E31-MK-evidence_validator | evidence_validator: artifacts carry provenance and untested ones stay UNVERIFIED | E31 | held |
| E31-MK-security_test | security_test: artifacts carry provenance and untested ones stay UNVERIFIED | E31 | held |
| E31-MK-agent_connector | agent_connector: artifacts carry provenance and untested ones stay UNVERIFIED | E31 | held |
| E31-MK-governance_plugin | governance_plugin: artifacts carry provenance and untested ones stay UNVERIFIED | E31 | held |
| E31-MK-trust_domain_adapter | trust_domain_adapter: artifacts carry provenance and untested ones stay UNVERIFIED | E31 | held |
| E31-MK-compliance_mapping | compliance_mapping: artifacts carry provenance and untested ones stay UNVERIFIED | E31 | held |
| E31-VD-different_inputs | disputes: different_inputs | E31 | held |
| E31-VD-missing_inputs | disputes: missing_inputs | E31 | held |
| E31-VD-cain_not_default | disputes: cain_not_default | E31 | held |
| E33-KIND-enter_contract | enter_contract is routed to E29 contract + escrow lifecycle | E33 | held |
| E33-KIND-computer_use_action | computer_use_action is executed only through E8 | E33 | held |
| E33-BUDGET-action | action exhaustion stops and never self-replenishes | E33 | held |
| E33-BUDGET-time_ms | time_ms exhaustion stops and never self-replenishes | E33 | held |
| E33-BUDGET-compute | compute exhaustion stops and never self-replenishes | E33 | held |
| E33-BUDGET-financial | financial exhaustion stops and never self-replenishes | E33 | held |
| E33-BUDGET-capability | capability exhaustion stops and never self-replenishes | E33 | held |
| E33-BUDGET-delegation | delegation exhaustion stops and never self-replenishes | E33 | held |
| E33-BUDGET-risk | risk exhaustion stops and never self-replenishes | E33 | held |
| E33-BUDGET-uncertainty | uncertainty exhaustion stops and never self-replenishes | E33 | held |
| E33-BUDGET-communication | communication exhaustion stops and never self-replenishes | E33 | held |
| E33-BUDGET-physical_action | physical_action exhaustion stops and never self-replenishes | E33 | held |
| E33-BUDGET-organizational | organizational exhaustion stops and never self-replenishes | E33 | held |
| E33-CONTRACT-governs | a contract without governs is refused | E33 | held |
| E33-CONTRACT-observes | a contract without observes is refused | E33 | held |
| E33-CONTRACT-enforces | a contract without enforces is refused | E33 | held |
| E33-CONTRACT-verifies | a contract without verifies is refused | E33 | held |
| E33-CONTRACT-does_not_control | a contract without does_not_control is refused | E33 | held |
| E33-CONTRACT-on_failure | a contract without on_failure is refused | E33 | held |
| E33-CONTRACT-on_partition | a contract without on_partition is refused | E33 | held |
| E33-CONTRACT-on_degraded | a contract without on_degraded is refused | E33 | held |
| E33-CONTRACT-revocation | a contract without revocation is refused | E33 | held |
| E33-CONTRACT-evidence | a contract without evidence is refused | E33 | held |
| E33-CONTRACT-proofs | a contract without proofs is refused | E33 | held |
| E33-MODULE-policy | policy modules need every field and may only propose | E33 | held |
| E33-MODULE-verifier | verifier modules need every field and may only propose | E33 | held |
| E33-MODULE-detector | detector modules need every field and may only propose | E33 | held |
| E33-MODULE-protocol_adapter | protocol_adapter modules need every field and may only propose | E33 | held |
| E33-MODULE-risk_model | risk_model modules need every field and may only propose | E33 | held |
| E33-MODULE-recovery_strategy | recovery_strategy modules need every field and may only propose | E33 | held |
| E33-MODULE-evidence_validator | evidence_validator modules need every field and may only propose | E33 | held |
| E33-MODULE-world_model_adapter | world_model_adapter modules need every field and may only propose | E33 | held |
| E33-MODULE-capability_control | capability_control modules need every field and may only propose | E33 | held |
| E33-MODULE-incident_detector | incident_detector modules need every field and may only propose | E33 | held |
| E33-MODFIELD-provenance | modules need provenance | E33 | held |
| E33-MODFIELD-author | modules need author | E33 | held |
| E33-MODFIELD-version | modules need version | E33 | held |
| E33-MODFIELD-capabilities | modules need capabilities | E33 | held |
| E33-MODFIELD-permissions | modules need permissions | E33 | held |
| E33-MODFIELD-tests | modules need tests | E33 | held |
| E33-MODFIELD-evidence | modules need evidence | E33 | held |
| E33-MODFIELD-conformance | modules need conformance | E33 | held |
| E33-MODFIELD-rollback | modules need rollback | E33 | held |
| E33-MOAT-governance_infrastructure | governance_infrastructure is not claimed as an established market moat | E33 | held |
| E33-MOAT-protocol_interoperability | protocol_interoperability is not claimed as an established market moat | E33 | held |
| E33-MOAT-developer_sdk | developer_sdk is not claimed as an established market moat | E33 | held |
| E33-MOAT-conformance_ecosystem | conformance_ecosystem is not claimed as an established market moat | E33 | held |
| E33-MOAT-trust_federation | trust_federation is not claimed as an established market moat | E33 | held |
| E33-MOAT-machine_reputation | machine_reputation is not claimed as an established market moat | E33 | held |
| E33-MOAT-transaction_history | transaction_history is not claimed as an established market moat | E33 | held |
| E33-MOAT-failure_corpus | failure_corpus is not claimed as an established market moat | E33 | held |
| E33-MOAT-verification_tooling | verification_tooling is not claimed as an established market moat | E33 | held |
| E33-MOAT-policy_portability | policy_portability is not claimed as an established market moat | E33 | held |
| E33-MOAT-integration_ecosystem | integration_ecosystem is not claimed as an established market moat | E33 | held |
| E33-MOAT-edge_deployment | edge_deployment is not claimed as an established market moat | E33 | held |
| E33-MOAT-enterprise_integration | enterprise_integration is not claimed as an established market moat | E33 | held |
| E33-MOAT-research_ip | research_ip is not claimed as an established market moat | E33 | held |
| E33-MOAT-standards_participation | standards_participation is not claimed as an established market moat | E33 | held |
| E33-MOAT-switching_costs | switching_costs is not claimed as an established market moat | E33 | held |
| E33-NEGOTIATE-identity | negotiation without identity is GOVERNANCE_UNKNOWN | E33 | held |
| E33-NEGOTIATE-capabilities | negotiation without capabilities is GOVERNANCE_UNKNOWN | E33 | held |
| E33-NEGOTIATE-authority | negotiation without authority is GOVERNANCE_UNKNOWN | E33 | held |
| E33-NEGOTIATE-policies | negotiation without policies is GOVERNANCE_UNKNOWN | E33 | held |
| E33-NEGOTIATE-evidence_requirements | negotiation without evidence_requirements is GOVERNANCE_UNKNOWN | E33 | held |
| E33-NEGOTIATE-proof_format | negotiation without proof_format is GOVERNANCE_UNKNOWN | E33 | held |
| E33-NEGOTIATE-enforcement_expectations | negotiation without enforcement_expectations is GOVERNANCE_UNKNOWN | E33 | held |
| E33-NEGOTIATE-liability_metadata | negotiation without liability_metadata is GOVERNANCE_UNKNOWN | E33 | held |
| E33-NEGOTIATE-resource_budgets | negotiation without resource_budgets is GOVERNANCE_UNKNOWN | E33 | held |
| E33-NEGOTIATE-revocation | negotiation without revocation is GOVERNANCE_UNKNOWN | E33 | held |
| E33-NEGOTIATE-incident_handling | negotiation without incident_handling is GOVERNANCE_UNKNOWN | E33 | 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