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 751–900 of 928
| ID | Rule | Bundle | Result |
|---|---|---|---|
| E36-MOAT2-governance_contracts | moat governance_contracts states its evidence and is not a market moat | E36 | held |
| E36-MOAT2-service_chain_proof | moat service_chain_proof states its evidence and is not a market moat | E36 | held |
| E36-MOAT2-machine_reputation | moat machine_reputation states its evidence and is not a market moat | E36 | held |
| E36-MOAT2-governance_reputation | moat governance_reputation states its evidence and is not a market moat | E36 | held |
| E36-MOAT2-machine_service_quality_graph | moat machine_service_quality_graph states its evidence and is not a market moat | E36 | held |
| E36-MOAT2-machine_service_digital_twins | moat machine_service_digital_twins states its evidence and is not a market moat | E36 | held |
| E36-MOAT2-procurement_simulation | moat procurement_simulation states its evidence and is not a market moat | E36 | held |
| E36-MOAT2-economic_digital_twin | moat economic_digital_twin states its evidence and is not a market moat | E36 | held |
| E36-MOAT2-machine_bidding | moat machine_bidding states its evidence and is not a market moat | E36 | held |
| E36-MOAT2-governance_aware_auctions | moat governance_aware_auctions states its evidence and is not a market moat | E36 | held |
| E36-MOAT2-machine_subcontracting | moat machine_subcontracting states its evidence and is not a market moat | E36 | held |
| E36-MOAT2-service_supply_chain_graph | moat service_supply_chain_graph states its evidence and is not a market moat | E36 | held |
| E36-MOAT2-proof_backed_marketplace | moat proof_backed_marketplace states its evidence and is not a market moat | E36 | held |
| E36-MOAT2-machine_dispute_infrastructure | moat machine_dispute_infrastructure states its evidence and is not a market moat | E36 | held |
| E36-MOAT2-governance_warranty_architecture | moat governance_warranty_architecture states its evidence and is not a market moat | E36 | held |
| E36-MOAT2-governance_risk_analytics | moat governance_risk_analytics states its evidence and is not a market moat | E36 | held |
| E36-MOAT2-machine_economy_telemetry | moat machine_economy_telemetry states its evidence and is not a market moat | E36 | held |
| E36-MOAT2-machine_economy_knowledge_graph | moat machine_economy_knowledge_graph states its evidence and is not a market moat | E36 | held |
| E36-MOAT2-governance_aware_routing | moat governance_aware_routing states its evidence and is not a market moat | E36 | held |
| E36-MOAT2-agent_labor_marketplace | moat agent_labor_marketplace states its evidence and is not a market moat | E36 | held |
| E36-MOAT2-machine_organization_marketplace | moat machine_organization_marketplace states its evidence and is not a market moat | E36 | held |
| E36-MOAT2-governance_aware_procurement | moat governance_aware_procurement states its evidence and is not a market moat | E36 | held |
| E36-MOAT2-machine_service_conformance | moat machine_service_conformance states its evidence and is not a market moat | E36 | held |
| certificate | every 'certificate' invariant in this bundle (1 of 1 held) | E37 | held |
| event_log | every 'event log' invariant in this bundle (34 of 34 held) | E37 | held |
| fingerprint | every 'fingerprint' invariant in this bundle (10 of 10 held) | E37 | held |
| signed_object | every 'signed object' invariant in this bundle (100 of 100 held) | E37 | held |
| action_proof | every 'action proof' invariant in this bundle (26 of 26 held) | E38 | held |
| certificate | every 'certificate' invariant in this bundle (6 of 6 held) | E38 | held |
| evidence_basis | every 'evidence basis' invariant in this bundle (133 of 133 held) | E38 | held |
| proof_confusion | every 'proof confusion' invariant in this bundle (24 of 24 held) | E38 | held |
| receipt | every 'receipt' invariant in this bundle (10 of 10 held) | E38 | held |
| signed_object | every 'signed object' invariant in this bundle (136 of 136 held) | E38 | held |
| transparency | every 'transparency' invariant in this bundle (30 of 30 held) | E38 | held |
| factory_proof | every 'factory proof' invariant in this bundle (10 of 10 held) | E39 | held |
| signed_object | every 'signed object' invariant in this bundle (48 of 48 held) | E39 | held |
| supply_chain | every 'supply chain' invariant in this bundle (13 of 13 held) | E39 | held |
| E40-DOMAIN-ENTERPRISE-OBJECT | signed domain ENTERPRISE-OBJECT exists | E40 | held |
| E40-DOMAIN-STATE | signed domain STATE exists | E40 | held |
| E40-DOMAIN-CONFLICT | signed domain CONFLICT exists | E40 | held |
| E40-DOMAIN-EPISTEMIC | signed domain EPISTEMIC exists | E40 | held |
| E40-DOMAIN-CAUSAL | signed domain CAUSAL exists | E40 | held |
| E40-DOMAIN-FORECAST | signed domain FORECAST exists | E40 | held |
| E40-DOMAIN-CALIBRATION | signed domain CALIBRATION exists | E40 | held |
| E40-DOMAIN-OBJECTIVE | signed domain OBJECTIVE exists | E40 | held |
| E40-DOMAIN-RISK | signed domain RISK exists | E40 | held |
| E40-DOMAIN-RESOURCE | signed domain RESOURCE exists | E40 | held |
| E40-DOMAIN-AGENT-GRAPH | signed domain AGENT-GRAPH exists | E40 | held |
| E40-DOMAIN-WORKFLOW-GRAPH | signed domain WORKFLOW-GRAPH exists | E40 | held |
| E40-DOMAIN-AUTONOMY-BUDGET | signed domain AUTONOMY-BUDGET exists | E40 | held |
| E40-DOMAIN-AUTONOMY-GRADIENT | signed domain AUTONOMY-GRADIENT exists | E40 | held |
| E40-DOMAIN-HUMAN-CHECKPOINT | signed domain HUMAN-CHECKPOINT exists | E40 | held |
| E40-DOMAIN-COMPLETION | signed domain COMPLETION exists | E40 | held |
| E40-DOMAIN-FALSE-COMPLETION | signed domain FALSE-COMPLETION exists | E40 | held |
| E40-DOMAIN-REPLAN | signed domain REPLAN exists | E40 | held |
| E40-DOMAIN-DEGRADATION | signed domain DEGRADATION exists | E40 | held |
| E40-DOMAIN-TIME-MACHINE | signed domain TIME-MACHINE exists | E40 | held |
| E40-DOMAIN-REPLAY | signed domain REPLAY exists | E40 | held |
| E40-DOMAIN-PROOF | signed domain PROOF exists | E40 | held |
| E40-DOMAIN-CERTIFICATE | signed domain CERTIFICATE exists | E40 | held |
| E40-DOMAIN-SCENARIO | signed domain SCENARIO exists | E40 | held |
| E40-DOMAIN-COUNTERFACTUAL | signed domain COUNTERFACTUAL exists | E40 | held |
| E40-DOMAIN-SLA | signed domain SLA exists | E40 | held |
| E40-DOMAIN-BOM | signed domain BOM exists | E40 | held |
| E40-DOMAIN-MASTER | signed domain MASTER exists | E40 | held |
| E41-DOMAIN-RELATIONSHIP | signed domain RELATIONSHIP exists | E41 | held |
| E41-DOMAIN-DISCOVERY | signed domain DISCOVERY exists | E41 | held |
| E41-DOMAIN-ATTEST | signed domain ATTEST exists | E41 | held |
| E41-DOMAIN-TRUST-NEGOTIATION | signed domain TRUST-NEGOTIATION exists | E41 | held |
| E41-DOMAIN-CONTRACT | signed domain CONTRACT exists | E41 | held |
| E41-DOMAIN-WORK-INTENT | signed domain WORK-INTENT exists | E41 | held |
| E41-DOMAIN-WORK-OFFER | signed domain WORK-OFFER exists | E41 | held |
| E41-DOMAIN-WORK-RECEIPT | signed domain WORK-RECEIPT exists | E41 | held |
| E41-DOMAIN-RECEIPT | signed domain RECEIPT exists | E41 | held |
| E41-DOMAIN-SETTLEMENT | signed domain SETTLEMENT exists | E41 | held |
| E41-DOMAIN-DISPUTE | signed domain DISPUTE exists | E41 | held |
| E41-DOMAIN-REPUTATION | signed domain REPUTATION exists | E41 | held |
| E41-DOMAIN-FEDERATION | signed domain FEDERATION exists | E41 | held |
| E41-DOMAIN-POLICY-TRANSLATION | signed domain POLICY-TRANSLATION exists | E41 | held |
| E41-DOMAIN-SYSTEMIC-RISK | signed domain SYSTEMIC-RISK exists | E41 | held |
| E41-DOMAIN-CONTAGION | signed domain CONTAGION exists | E41 | held |
| E41-DOMAIN-CIRCUIT-BREAKER | signed domain CIRCUIT-BREAKER exists | E41 | held |
| E41-DOMAIN-TIME-MACHINE | signed domain TIME-MACHINE exists | E41 | held |
| E41-DOMAIN-REPLAY | signed domain REPLAY exists | E41 | held |
| E41-DOMAIN-CONFORMANCE | signed domain CONFORMANCE exists | E41 | held |
| E41-DOMAIN-SUPPLY-CHAIN | signed domain SUPPLY-CHAIN exists | E41 | held |
| E41-DOMAIN-ECONOMY | signed domain ECONOMY exists | E41 | held |
| E41-DOMAIN-MASTER | signed domain MASTER exists | E41 | held |
| E41-RECEIPT-principal | a receipt requires principal | E41 | held |
| E41-RECEIPT-machine_identity | a receipt requires machine_identity | E41 | held |
| E41-RECEIPT-counterparty | a receipt requires counterparty | E41 | held |
| E41-RECEIPT-delegation_chain | a receipt requires delegation_chain | E41 | held |
| E41-RECEIPT-capability | a receipt requires capability | E41 | held |
| E41-RECEIPT-contract | a receipt requires contract | E41 | held |
| E41-RECEIPT-policy | a receipt requires policy | E41 | held |
| E41-RECEIPT-authority | a receipt requires authority | E41 | held |
| E41-RECEIPT-risk | a receipt requires risk | E41 | held |
| E41-RECEIPT-execution_environment | a receipt requires execution_environment | E41 | held |
| E41-RECEIPT-execution_epoch | a receipt requires execution_epoch | E41 | held |
| E41-RECEIPT-action | a receipt requires action | E41 | held |
| E41-RECEIPT-decision | a receipt requires decision | E41 | held |
| E41-RECEIPT-authorization | a receipt requires authorization | E41 | held |
| E41-RECEIPT-execution_result | a receipt requires execution_result | E41 | held |
| E41-RECEIPT-evidence | a receipt requires evidence | E41 | held |
| E41-RECEIPT-revocation_state | a receipt requires revocation_state | E41 | held |
| E41-RECEIPT-verification_state | a receipt requires verification_state | E41 | held |
| E41-F2T-EVIDENCE | failure-to-test stage EVIDENCE exists | E41 | held |
| E41-REC2-principal | receipt field principal is required | E41 | held |
| E41-REC2-machine_identity | receipt field machine_identity is required | E41 | held |
| E41-REC2-counterparty | receipt field counterparty is required | E41 | held |
| E41-REC2-delegation_chain | receipt field delegation_chain is required | E41 | held |
| E41-REC2-capability | receipt field capability is required | E41 | held |
| E41-REC2-contract | receipt field contract is required | E41 | held |
| E41-REC2-policy | receipt field policy is required | E41 | held |
| E41-REC2-authority | receipt field authority is required | E41 | held |
| E41-REC2-risk | receipt field risk is required | E41 | held |
| E41-REC2-execution_environment | receipt field execution_environment is required | E41 | held |
| E41-REC2-execution_epoch | receipt field execution_epoch is required | E41 | held |
| E41-REC2-action | receipt field action is required | E41 | held |
| E41-REC2-decision | receipt field decision is required | E41 | held |
| E41-REC2-authorization | receipt field authorization is required | E41 | held |
| E41-REC2-execution_result | receipt field execution_result is required | E41 | held |
| E41-REC2-evidence | receipt field evidence is required | E41 | held |
| E41-REC2-revocation_state | receipt field revocation_state is required | E41 | held |
| E41-REC2-verification_state | receipt field verification_state is required | E41 | held |
| E42-DOMAIN-KERNEL | signed domain KERNEL exists | E42 | held |
| E42-DOMAIN-ABI | signed domain ABI exists | E42 | held |
| E42-DOMAIN-ACTION | signed domain ACTION exists | E42 | held |
| E42-DOMAIN-POLICY | signed domain POLICY exists | E42 | held |
| E42-DOMAIN-EVIDENCE | signed domain EVIDENCE exists | E42 | held |
| E42-DOMAIN-RISK | signed domain RISK exists | E42 | held |
| E42-DOMAIN-DECISION | signed domain DECISION exists | E42 | held |
| E42-DOMAIN-COMMIT | signed domain COMMIT exists | E42 | held |
| E42-DOMAIN-EXECUTION | signed domain EXECUTION exists | E42 | held |
| E42-DOMAIN-OUTCOME | signed domain OUTCOME exists | E42 | held |
| E42-DOMAIN-RECEIPT | signed domain RECEIPT exists | E42 | held |
| E42-DOMAIN-PROOF | signed domain PROOF exists | E42 | held |
| E42-DOMAIN-EVOLUTION | signed domain EVOLUTION exists | E42 | held |
| E42-DOMAIN-COVERAGE | signed domain COVERAGE exists | E42 | held |
| E42-DOMAIN-REPLAY | signed domain REPLAY exists | E42 | held |
| E42-DOMAIN-CONFORMANCE | signed domain CONFORMANCE exists | E42 | held |
| E42-DOMAIN-REGISTRY | signed domain REGISTRY exists | E42 | held |
| E42-DOMAIN-MASTER | signed domain MASTER exists | E42 | held |
| E42-EVIDCLASS-FORMAL_PROOF | evidence class FORMAL_PROOF is never merged | E42 | held |
| E42-EVIDCLASS-EMPIRICAL_EVIDENCE | evidence class EMPIRICAL_EVIDENCE is never merged | E42 | held |
| E42-EVIDCLASS-REPRODUCIBLE_TEST | evidence class REPRODUCIBLE_TEST is never merged | E42 | held |
| E42-EVIDCLASS-MACHINE_VERIFICATION | evidence class MACHINE_VERIFICATION is never merged | E42 | held |
| E42-EVIDCLASS-INDEPENDENT_REPRODUCTION | evidence class INDEPENDENT_REPRODUCTION is never merged | E42 | held |
| E42-EVIDCLASS-SIMULATION | evidence class SIMULATION is never merged | E42 | held |
| E42-EVIDCLASS-OBSERVATION | evidence class OBSERVATION is never merged | E42 | 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