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 901–928 of 928
| ID | Rule | Bundle | Result |
|---|---|---|---|
| E42-EVIDCLASS-CLAIM | evidence class CLAIM is never merged | E42 | held |
| E42-PROOFKIND-identity | proof kind identity exists | E42 | held |
| E42-PROOFKIND-authorization | proof kind authorization exists | E42 | held |
| E42-PROOFKIND-policy | proof kind policy exists | E42 | held |
| E42-PROOFKIND-capability | proof kind capability exists | E42 | held |
| E42-PROOFKIND-execution | proof kind execution exists | E42 | held |
| E42-PROOFKIND-outcome | proof kind outcome exists | E42 | held |
| E42-PROOFKIND-provenance | proof kind provenance exists | E42 | held |
| E42-PROOFKIND-conformance | proof kind conformance exists | E42 | held |
| E42-PROOFKIND-revocation | proof kind revocation exists | E42 | held |
| E42-PROOFKIND-coverage | proof kind coverage exists | E42 | held |
| E42-PROOFKIND-evidence_integrity | proof kind evidence_integrity exists | E42 | held |
| E42-PROOFKIND-recovery | proof kind recovery exists | E42 | held |
| E42-PROOFKIND-evolution | proof kind evolution exists | E42 | held |
| E42-GRAPH-evidence | unified graph node kind evidence exists | E42 | held |
| E42-GRAPH-supply_chain | unified graph node kind supply_chain exists | E42 | held |
| E42-RECEIPTFIELD-who | a canonical receipt requires who | E42 | held |
| E42-RECEIPTFIELD-what | a canonical receipt requires what | E42 | held |
| E42-RECEIPTFIELD-why | a canonical receipt requires why | E42 | held |
| E42-RECEIPTFIELD-policy | a canonical receipt requires policy | E42 | held |
| E42-RECEIPTFIELD-authority | a canonical receipt requires authority | E42 | held |
| E42-RECEIPTFIELD-capability | a canonical receipt requires capability | E42 | held |
| E42-RECEIPTFIELD-environment | a canonical receipt requires environment | E42 | held |
| E42-RECEIPTFIELD-at | a canonical receipt requires at | E42 | held |
| E42-RECEIPTFIELD-version | a canonical receipt requires version | E42 | held |
| E42-RECEIPTFIELD-risk | a canonical receipt requires risk | E42 | held |
| E42-RECEIPTFIELD-evidence | a canonical receipt requires evidence | E42 | held |
| E42-RECEIPTFIELD-result | a canonical receipt requires result | 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