CAIN-42 CAIN StudioEvidence library · niche
Evidence, receipts & proofs
Signed records that prove what happened, checkable by anyone. 928 tested invariants.
Last reviewed 2026-10-01
928 of 928 held
Test families in this niche
domain (179) · packet (146) · receipt (68) · envelope (52) · certificate (42) · moat (41) · supply_chain (38) · envelope_binding (24) · proof (21) · event_kind (16) · proof_carrying_action (16) · attestation (14) · proof_graph (14) · manifest (14) · status (13) · proof_state (12) · action_binding (12) · crypto (12) · evidence_class (10) · failure_class (9) · failure_to_proof (8) · lineage (7) · primitive (7) · enforcement_proof (6) · log (4) · integrity (3) · research (3) · registration (3) · cross-domain (3) · gap_detector (3) · ip (3) · signed_object (3) · state_machine (2) · time (2) · soc (2) · swarm (2) · graph (2) · risk (1) · hardware (1) · federation (1) · translation (1) · reassessment (1) · failure_to_test (1) · telemetry (1) · consistency (1) · scientist (1) · research_to_implementation (1) · environment_query (1) · profile (1) · r2e (1) · radar (1) · agency_graph (1) · event_log (1) · fingerprint (1) · action_proof (1) · evidence_basis (1) · proof_confusion (1) · transparency (1) · factory_proof (1) · f2t (1)
Where these come from
- CAIN-42 Evolution 27 -- Agentic Internet Control Plane: 165
- CAIN-42 Evolution 36 -- Machine Agency Exchange Fabric: 157
- CAIN-42 Evolution 34 -- Proof-Carrying Machine Agency: 124
- CAIN-42 Evolution 33 -- Governed Agentic Operating Fabric: 64
- CAIN-42 Evolution 41 -- Machine Agency Exchange Fabric: 60
- CAIN-42 Evolution 31 -- Universal Proof-of-Governance Fabric: 59
- CAIN-42 Evolution 42 -- Supreme Governed Agentic Infrastructure Platform: 53
- CAIN-42 Evolution 28 -- Portable Machine Agency & Execution Identity: 30
- CAIN-42 Evolution 40 -- Autonomous Enterprise Intelligence Fabric: 28
- CAIN-42 Evolution 29 -- Governed Agentic Internet Transaction Fabric: 24
- CAIN-42 Evolution 21 -- Governed Open-Ended Intelligence Fabric: 22
- CAIN-42 Evolution 24 -- Governed Agentic Internet Fabric: 22
- CAIN-42 Evolution 19 -- Governed Autonomy Operating Fabric: 16
- CAIN-42 Evolution 26 -- Universal Machine Agency Trust Fabric: 16
- CAIN-42 Evolution 23 -- Governed Meta-Intelligence Fabric: 15
- CAIN-42 Evolution 35 -- Continuous Governance Intelligence Fabric: 15
- CAIN-42 Evolution 20 -- Governed Agentic Civilization Fabric: 14
- CAIN-42 Evolution 30 -- Governed Machine Autonomy Fabric: 14
- CAIN-42 Evolution 32 -- Governed Autonomy Learning Fabric: 12
- CAIN-42 Evolution 38 -- Portable Proof-Carrying Machine Agency: 7
- CAIN-42 Evolution 25 -- Universal Machine Agency Fabric: 4
- CAIN-42 Evolution 37 -- Autonomous Execution Mesh: 4
- CAIN-42 Evolution 39 -- Governed Agent Factory: 3
Rules 601–750 of 928
| ID | Rule | Bundle | Result |
|---|---|---|---|
| E34-MOAT-proof_exchange | moat proof_exchange is technical only, not a market moat | E34 | held |
| E35-QUERY-evidence_unavailable | environment query evidence_unavailable exists | E35 | held |
| E35-PROFILE-evidence_coverage | agentic profile dimension evidence_coverage exists | E35 | held |
| E35-R2E-EVIDENCE | research-to-engineering stage EVIDENCE exists | E35 | held |
| E35-RADAR-cryptography | radar topic cryptography exists | E35 | held |
| E35-IP-proof_carrying_action | IP primitive proof_carrying_action exists | E35 | held |
| E35-IP-governance_receipts | IP primitive governance_receipts exists | E35 | held |
| E35-IP-proof_exchange | IP primitive proof_exchange exists | E35 | held |
| E35-MOAT-proof_carrying_actions | moat proof_carrying_actions is technical, not a market moat | E35 | held |
| E35-MOAT-proof_exchange | moat proof_exchange is technical, not a market moat | E35 | held |
| E35-MOAT-governance_certificates | moat governance_certificates is technical, not a market moat | E35 | held |
| E35-SWARM-evidence | swarm role evidence exists | E35 | held |
| E35-SWARM-supply_chain | swarm role supply_chain exists | E35 | held |
| E35-INTEGRITY-proof_system | integrity monitor watches proof_system | E35 | held |
| E35-INTEGRITY-evidence | integrity monitor watches evidence | E35 | held |
| E35-INTEGRITY-logging | integrity monitor watches logging | E35 | held |
| E36-DOMAIN-DISCOVERY | signed domain DISCOVERY is defined | E36 | held |
| E36-DOMAIN-MATCH | signed domain MATCH is defined | E36 | held |
| E36-DOMAIN-PROCUREMENT | signed domain PROCUREMENT is defined | E36 | held |
| E36-DOMAIN-NEGOTIATION | signed domain NEGOTIATION is defined | E36 | held |
| E36-DOMAIN-CONTRACT | signed domain CONTRACT is defined | E36 | held |
| E36-DOMAIN-CONTRACT-COMPILE | signed domain CONTRACT-COMPILE is defined | E36 | held |
| E36-DOMAIN-SLA-PROOF | signed domain SLA-PROOF is defined | E36 | held |
| E36-DOMAIN-PERFORMANCE | signed domain PERFORMANCE is defined | E36 | held |
| E36-DOMAIN-REPUTATION | signed domain REPUTATION is defined | E36 | held |
| E36-DOMAIN-REPUTATION-EVENT | signed domain REPUTATION-EVENT is defined | E36 | held |
| E36-DOMAIN-ESCROW | signed domain ESCROW is defined | E36 | held |
| E36-DOMAIN-RECEIPT | signed domain RECEIPT is defined | E36 | held |
| E36-DOMAIN-DISPUTE | signed domain DISPUTE is defined | E36 | held |
| E36-DOMAIN-ARBITRATION | signed domain ARBITRATION is defined | E36 | held |
| E36-DOMAIN-RISK-POOL | signed domain RISK-POOL is defined | E36 | held |
| E36-DOMAIN-WARRANTY | signed domain WARRANTY is defined | E36 | held |
| E36-DOMAIN-BID | signed domain BID is defined | E36 | held |
| E36-DOMAIN-AUCTION | signed domain AUCTION is defined | E36 | held |
| E36-DOMAIN-COMPOSITION | signed domain COMPOSITION is defined | E36 | held |
| E36-DOMAIN-SUPPLY-CHAIN | signed domain SUPPLY-CHAIN is defined | E36 | held |
| E36-DOMAIN-SUBCONTRACT | signed domain SUBCONTRACT is defined | E36 | held |
| E36-DOMAIN-SERVICE-CHAIN-PROOF | signed domain SERVICE-CHAIN-PROOF is defined | E36 | held |
| E36-DOMAIN-QUALITY-GRAPH | signed domain QUALITY-GRAPH is defined | E36 | held |
| E36-DOMAIN-SERVICE-TWIN | signed domain SERVICE-TWIN is defined | E36 | held |
| E36-DOMAIN-PROCUREMENT-SIM | signed domain PROCUREMENT-SIM is defined | E36 | held |
| E36-DOMAIN-ECON-TWIN | signed domain ECON-TWIN is defined | E36 | held |
| E36-DOMAIN-ORG-MARKET | signed domain ORG-MARKET is defined | E36 | held |
| E36-DOMAIN-COLLECTIVE-PROCUREMENT | signed domain COLLECTIVE-PROCUREMENT is defined | E36 | held |
| E36-DOMAIN-LABOR-CONTRACT | signed domain LABOR-CONTRACT is defined | E36 | held |
| E36-DOMAIN-A2A-MARKET | signed domain A2A-MARKET is defined | E36 | held |
| E36-DOMAIN-DIRECTORY | signed domain DIRECTORY is defined | E36 | held |
| E36-DOMAIN-TRUST-NEGOTIATION | signed domain TRUST-NEGOTIATION is defined | E36 | held |
| E36-DOMAIN-MSDP | signed domain MSDP is defined | E36 | held |
| E36-DOMAIN-DESCRIPTOR | signed domain DESCRIPTOR is defined | E36 | held |
| E36-DOMAIN-SERVICE-CERT | signed domain SERVICE-CERT is defined | E36 | held |
| E36-DOMAIN-ECON-API | signed domain ECON-API is defined | E36 | held |
| E36-DOMAIN-ECON-TELEMETRY | signed domain ECON-TELEMETRY is defined | E36 | held |
| E36-DOMAIN-ECON-GRAPH | signed domain ECON-GRAPH is defined | E36 | held |
| E36-DOMAIN-ECON-KNOWLEDGE | signed domain ECON-KNOWLEDGE is defined | E36 | held |
| E36-DOMAIN-CORPUS | signed domain CORPUS is defined | E36 | held |
| E36-DOMAIN-SERVICE-SEARCH | signed domain SERVICE-SEARCH is defined | E36 | held |
| E36-DOMAIN-PROCUREMENT-AGENT | signed domain PROCUREMENT-AGENT is defined | E36 | held |
| E36-DOMAIN-CONTINUITY | signed domain CONTINUITY is defined | E36 | held |
| E36-DOMAIN-ROUTER | signed domain ROUTER is defined | E36 | held |
| E36-DOMAIN-ECON-POLICY | signed domain ECON-POLICY is defined | E36 | held |
| E36-DOMAIN-GOV-BUDGET | signed domain GOV-BUDGET is defined | E36 | held |
| E36-DOMAIN-SAFE-MODE | signed domain SAFE-MODE is defined | E36 | held |
| E36-DOMAIN-MOAT | signed domain MOAT is defined | E36 | held |
| E36-DOMAIN-AGENCY-GRAPH | signed domain AGENCY-GRAPH is defined | E36 | held |
| E36-DOMAIN-COMPETITION | signed domain COMPETITION is defined | E36 | held |
| E36-DOMAIN-SERVICE-EVOLUTION | signed domain SERVICE-EVOLUTION is defined | E36 | held |
| E36-DOMAIN-RECOVERY | signed domain RECOVERY is defined | E36 | held |
| E36-DOMAIN-INTERNAL-SERVICE | signed domain INTERNAL-SERVICE is defined | E36 | held |
| E36-DOMAIN-COMPETITIVE-GAP | signed domain COMPETITIVE-GAP is defined | E36 | held |
| E36-DOMAIN-EXCHANGE | signed domain EXCHANGE is defined | E36 | held |
| E36-RECEIPT-buyer | a transaction receipt without buyer is refused | E36 | held |
| E36-RECEIPT-seller | a transaction receipt without seller is refused | E36 | held |
| E36-RECEIPT-agent | a transaction receipt without agent is refused | E36 | held |
| E36-RECEIPT-service | a transaction receipt without service is refused | E36 | held |
| E36-RECEIPT-contract | a transaction receipt without contract is refused | E36 | held |
| E36-RECEIPT-authorization | a transaction receipt without authorization is refused | E36 | held |
| E36-RECEIPT-action | a transaction receipt without action is refused | E36 | held |
| E36-RECEIPT-e8_commit | a transaction receipt without e8_commit is refused | E36 | held |
| E36-RECEIPT-execution | a transaction receipt without execution is refused | E36 | held |
| E36-RECEIPT-proof | a transaction receipt without proof is refused | E36 | held |
| E36-RECEIPT-outcome | a transaction receipt without outcome is refused | E36 | held |
| E36-RECEIPT-settlement | a transaction receipt without settlement is refused | E36 | held |
| E36-RECEIPT-fees | a transaction receipt without fees is refused | E36 | held |
| E36-RECEIPT-disputed | a transaction receipt without disputed is refused | E36 | held |
| E36-RECEIPT-verification_state | a transaction receipt without verification_state is refused | E36 | held |
| E36-TELEMETRY-proof_completeness | telemetry metric proof_completeness exists | E36 | held |
| E36-AGENCY-NODE-proof | agency graph node proof exists | E36 | held |
| E36-MOAT-service_chain_proof | moat service_chain_proof is technical only | E36 | held |
| E36-MOAT-service_supply_chain_graph | moat service_supply_chain_graph is technical only | E36 | held |
| E36-MOAT-proof_backed_marketplace | moat proof_backed_marketplace is technical only | E36 | held |
| E36-DOMAIN2-DISCOVERY | domain DISCOVERY is a signed E36 domain | E36 | held |
| E36-DOMAIN2-MATCH | domain MATCH is a signed E36 domain | E36 | held |
| E36-DOMAIN2-PROCUREMENT | domain PROCUREMENT is a signed E36 domain | E36 | held |
| E36-DOMAIN2-NEGOTIATION | domain NEGOTIATION is a signed E36 domain | E36 | held |
| E36-DOMAIN2-CONTRACT | domain CONTRACT is a signed E36 domain | E36 | held |
| E36-DOMAIN2-CONTRACT-COMPILE | domain CONTRACT-COMPILE is a signed E36 domain | E36 | held |
| E36-DOMAIN2-SLA-PROOF | domain SLA-PROOF is a signed E36 domain | E36 | held |
| E36-DOMAIN2-PERFORMANCE | domain PERFORMANCE is a signed E36 domain | E36 | held |
| E36-DOMAIN2-REPUTATION | domain REPUTATION is a signed E36 domain | E36 | held |
| E36-DOMAIN2-REPUTATION-EVENT | domain REPUTATION-EVENT is a signed E36 domain | E36 | held |
| E36-DOMAIN2-ESCROW | domain ESCROW is a signed E36 domain | E36 | held |
| E36-DOMAIN2-RECEIPT | domain RECEIPT is a signed E36 domain | E36 | held |
| E36-DOMAIN2-DISPUTE | domain DISPUTE is a signed E36 domain | E36 | held |
| E36-DOMAIN2-ARBITRATION | domain ARBITRATION is a signed E36 domain | E36 | held |
| E36-DOMAIN2-RISK-POOL | domain RISK-POOL is a signed E36 domain | E36 | held |
| E36-DOMAIN2-WARRANTY | domain WARRANTY is a signed E36 domain | E36 | held |
| E36-DOMAIN2-BID | domain BID is a signed E36 domain | E36 | held |
| E36-DOMAIN2-AUCTION | domain AUCTION is a signed E36 domain | E36 | held |
| E36-DOMAIN2-COMPOSITION | domain COMPOSITION is a signed E36 domain | E36 | held |
| E36-DOMAIN2-SUPPLY-CHAIN | domain SUPPLY-CHAIN is a signed E36 domain | E36 | held |
| E36-DOMAIN2-SUBCONTRACT | domain SUBCONTRACT is a signed E36 domain | E36 | held |
| E36-DOMAIN2-SERVICE-CHAIN-PROOF | domain SERVICE-CHAIN-PROOF is a signed E36 domain | E36 | held |
| E36-DOMAIN2-QUALITY-GRAPH | domain QUALITY-GRAPH is a signed E36 domain | E36 | held |
| E36-DOMAIN2-SERVICE-TWIN | domain SERVICE-TWIN is a signed E36 domain | E36 | held |
| E36-DOMAIN2-PROCUREMENT-SIM | domain PROCUREMENT-SIM is a signed E36 domain | E36 | held |
| E36-DOMAIN2-ECON-TWIN | domain ECON-TWIN is a signed E36 domain | E36 | held |
| E36-DOMAIN2-ORG-MARKET | domain ORG-MARKET is a signed E36 domain | E36 | held |
| E36-DOMAIN2-COLLECTIVE-PROCUREMENT | domain COLLECTIVE-PROCUREMENT is a signed E36 domain | E36 | held |
| E36-DOMAIN2-LABOR-CONTRACT | domain LABOR-CONTRACT is a signed E36 domain | E36 | held |
| E36-DOMAIN2-A2A-MARKET | domain A2A-MARKET is a signed E36 domain | E36 | held |
| E36-DOMAIN2-DIRECTORY | domain DIRECTORY is a signed E36 domain | E36 | held |
| E36-DOMAIN2-TRUST-NEGOTIATION | domain TRUST-NEGOTIATION is a signed E36 domain | E36 | held |
| E36-DOMAIN2-MSDP | domain MSDP is a signed E36 domain | E36 | held |
| E36-DOMAIN2-DESCRIPTOR | domain DESCRIPTOR is a signed E36 domain | E36 | held |
| E36-DOMAIN2-SERVICE-CERT | domain SERVICE-CERT is a signed E36 domain | E36 | held |
| E36-DOMAIN2-ECON-API | domain ECON-API is a signed E36 domain | E36 | held |
| E36-DOMAIN2-ECON-TELEMETRY | domain ECON-TELEMETRY is a signed E36 domain | E36 | held |
| E36-DOMAIN2-ECON-GRAPH | domain ECON-GRAPH is a signed E36 domain | E36 | held |
| E36-DOMAIN2-ECON-KNOWLEDGE | domain ECON-KNOWLEDGE is a signed E36 domain | E36 | held |
| E36-DOMAIN2-CORPUS | domain CORPUS is a signed E36 domain | E36 | held |
| E36-DOMAIN2-SERVICE-SEARCH | domain SERVICE-SEARCH is a signed E36 domain | E36 | held |
| E36-DOMAIN2-PROCUREMENT-AGENT | domain PROCUREMENT-AGENT is a signed E36 domain | E36 | held |
| E36-DOMAIN2-CONTINUITY | domain CONTINUITY is a signed E36 domain | E36 | held |
| E36-DOMAIN2-ROUTER | domain ROUTER is a signed E36 domain | E36 | held |
| E36-DOMAIN2-ECON-POLICY | domain ECON-POLICY is a signed E36 domain | E36 | held |
| E36-DOMAIN2-GOV-BUDGET | domain GOV-BUDGET is a signed E36 domain | E36 | held |
| E36-DOMAIN2-SAFE-MODE | domain SAFE-MODE is a signed E36 domain | E36 | held |
| E36-DOMAIN2-MOAT | domain MOAT is a signed E36 domain | E36 | held |
| E36-DOMAIN2-AGENCY-GRAPH | domain AGENCY-GRAPH is a signed E36 domain | E36 | held |
| E36-DOMAIN2-COMPETITION | domain COMPETITION is a signed E36 domain | E36 | held |
| E36-DOMAIN2-SERVICE-EVOLUTION | domain SERVICE-EVOLUTION is a signed E36 domain | E36 | held |
| E36-DOMAIN2-RECOVERY | domain RECOVERY is a signed E36 domain | E36 | held |
| E36-DOMAIN2-INTERNAL-SERVICE | domain INTERNAL-SERVICE is a signed E36 domain | E36 | held |
| E36-DOMAIN2-COMPETITIVE-GAP | domain COMPETITIVE-GAP is a signed E36 domain | E36 | held |
| E36-DOMAIN2-EXCHANGE | domain EXCHANGE is a signed E36 domain | E36 | held |
| E36-MOAT2-machine_agency_directory | moat machine_agency_directory states its evidence and is not a market moat | E36 | held |
| E36-MOAT2-governance_aware_discovery | moat governance_aware_discovery states its evidence and is not a market moat | E36 | held |
| E36-MOAT2-machine_procurement | moat machine_procurement states its evidence and is not a market moat | E36 | held |
| E36-MOAT2-machine_contracts | moat machine_contracts states its evidence and is not a market moat | E36 | held |
Other niches
Consensus & distributed systems · Attacks, threats & containment · Identity, authority & delegation · Memory, data & privacy · Prediction, world models & simulation · Transactions, markets & economics · 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