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 1–150 of 928
| ID | Rule | Bundle | Result |
|---|---|---|---|
| G35 | collective state must retain provenance | E19 | held |
| G41 | prediction error becomes evidence | E19 | held |
| G51 | learning updates are provenance-bound | E19 | held |
| G52 | model updates are provenance-bound | E19 | held |
| G53 | skill updates are provenance-bound | E19 | held |
| G54 | memory updates are provenance-bound | E19 | held |
| G55 | policy mutations are provenance-bound | E19 | held |
| G63 | evidence cannot be rewritten after action without provenance | E19 | held |
| G73 | software attestation does not equal hardware attestation | E19 | held |
| G76 | public claims must map to evidence | E19 | held |
| G91 | outcome attribution is provenance-bound | E19 | held |
| G92 | causal chain is reconstructable | E19 | held |
| G95 | evidence is independently hash-verifiable | E19 | held |
| G96 | evidence bundle is reproducible | E19 | held |
| G97 | proof mirrors are byte-verifiable | E19 | held |
| G101 | evidence bound to an action must be FACT, not mere belief | E19 | held |
| I21 | resources require provenance | E20 | held |
| I22 | contracts require provenance | E20 | held |
| I23 | memberships require provenance | E20 | held |
| I25 | institutional mutations require provenance | E20 | held |
| I42 | reputation is evidence, not truth | E20 | held |
| I48 | institutional lineage is reconstructable | E20 | held |
| I70 | governed dissolution works and is receipted | E20 | held |
| I72 | the ledger rebuilds from its chain and discards unchained edits | E20 | held |
| I76 | termination receipts are signed | E20 | held |
| I77 | birth certificates bind every inherited dimension | E20 | held |
| I79 | institutional history is append-only and hash-chained | E20 | held |
| I110 | public claims map to evidence | E20 | held |
| I116 | proof mirrors are byte-verifiable | E20 | held |
| I117 | evidence is independently hash-verifiable | E20 | held |
| D12 | contradictory evidence remains visible | E21 | held |
| D21 | discovery provenance is immutable | E21 | held |
| D22 | experiment provenance is immutable | E21 | held |
| D23 | model provenance is immutable | E21 | held |
| D24 | benchmark provenance is immutable | E21 | held |
| D25 | knowledge lineage is reconstructable | E21 | held |
| D29 | correlated evidence cannot masquerade as independent evidence | E21 | held |
| D46 | failed research remains evidence | E21 | held |
| D53 | missing provenance does not become trusted | E21 | held |
| D54 | missing evidence does not become verified | E21 | held |
| D67 | governance traces do not expose chain-of-thought | E21 | held |
| D69 | evidence is machine-verifiable | E21 | held |
| D71 | public claims map to evidence | E21 | held |
| D92 | simulation environments are provenance-bound | E21 | held |
| D98 | research state is hashable | E21 | held |
| D100 | evidence bundle is reproducible | E21 | held |
| D112 | evidence classes are closed | E21 | held |
| D113 | evidence is frozen after construction | E21 | held |
| D114 | evidence producers must be live | E21 | held |
| D115 | evidence cannot come from the future | E21 | held |
| D116 | third-party evidence is labelled third-party | E21 | held |
| D118 | objections are resolved by evidence, not votes | E21 | held |
| META-I039 | rollback cannot erase security evidence | E23 | held |
| META-I058 | withdrawn evidence degrades KNOWN to UNKNOWN | E23 | held |
| META-I059 | proof reports say NOT_FORMALLY_PROVEN | E23 | held |
| META-I060 | proof reports are signed by the evaluator, not the proposer | E23 | held |
| META-I062 | checkpoints record the eleven required manifests | E23 | held |
| META-I073 | a finding completes the full lifecycle with evidence and earns credit | E23 | held |
| META-P003 | every compiled candidate keeps audit, evidence and rollback (all depth-2 candidates) | E23 | held |
| META-S-dim-provenance | governability dimension 'provenance' drops when its property is violated | E23 | held |
| META-S-proof-unit | proof level UNIT fails for a candidate built to fail it | E23 | held |
| META-S-proof-integration | proof level INTEGRATION fails for a candidate built to fail it | E23 | held |
| META-S-proof-property | proof level PROPERTY fails for a candidate built to fail it | E23 | held |
| META-S-proof-regression | proof level REGRESSION fails for a candidate built to fail it | E23 | held |
| META-S-proof-performance | proof level PERFORMANCE fails for a candidate built to fail it | E23 | held |
| META-S-proof-security | proof level SECURITY fails for a candidate built to fail it | E23 | held |
| META-S-proof-governance | proof level GOVERNANCE fails for a candidate built to fail it | E23 | held |
| NET-I044 | unknown provenance remains unknown | E24 | held |
| NET-I046 | the legitimate cross-domain chain commits through E19 and E8 | E24 | held |
| NET-I060 | a legitimate signed artifact is admitted | E24 | held |
| NET-C-agent-a-dispatch | agent-a/dispatch is VERIFIED only while its evidence is fresh | E24 | held |
| NET-C-agent-a-notify | agent-a/notify is VERIFIED only while its evidence is fresh | E24 | held |
| NET-C-agent-a-pay | agent-a/pay is VERIFIED only while its evidence is fresh | E24 | held |
| NET-C-agent-a-read | agent-a/read is VERIFIED only while its evidence is fresh | E24 | held |
| NET-C-agent-a-submit | agent-a/submit is VERIFIED only while its evidence is fresh | E24 | held |
| NET-C-agent-a-write | agent-a/write is VERIFIED only while its evidence is fresh | E24 | held |
| NET-C-agent-b-dispatch | agent-b/dispatch is VERIFIED only while its evidence is fresh | E24 | held |
| NET-C-agent-b-notify | agent-b/notify is VERIFIED only while its evidence is fresh | E24 | held |
| NET-C-agent-b-pay | agent-b/pay is VERIFIED only while its evidence is fresh | E24 | held |
| NET-C-agent-b-read | agent-b/read is VERIFIED only while its evidence is fresh | E24 | held |
| NET-C-agent-b-write | agent-b/write is VERIFIED only while its evidence is fresh | E24 | held |
| NET-C-agent-c-dispatch | agent-c/dispatch is VERIFIED only while its evidence is fresh | E24 | held |
| NET-C-agent-c-notify | agent-c/notify is VERIFIED only while its evidence is fresh | E24 | held |
| NET-C-agent-c-query | agent-c/query is VERIFIED only while its evidence is fresh | E24 | held |
| NET-C-agent-c-read | agent-c/read is VERIFIED only while its evidence is fresh | E24 | held |
| NET-C-agent-c-write | agent-c/write is VERIFIED only while its evidence is fresh | E24 | held |
| NET-T-high-provenance_trust | provenance_trust UNKNOWN fails a high-consequence action | E24 | held |
| NET-O-attestation-provider | attestation-provider outage denies instead of trusting | E24 | held |
| NET-O-evidence-provider | evidence-provider outage denies instead of trusting | E24 | held |
| I-TX-PROVENANCE_VERIFIED | CREATED->PROVENANCE_VERIFIED refused | E25 | held |
| I-TX-EVIDENCE_COMMITTED | CREATED->EVIDENCE_COMMITTED refused | E25 | held |
| I-EXPIRY-stale | stale envelope refused | E25 | held |
| I-EXPIRY-future | future envelope refused | E25 | held |
| I-ATT-level-0-ok | level 0 strong evidence accepted | E26 | held |
| I-ATT-level-1-weak | level 1 weak evidence refused | E26 | held |
| I-ATT-level-1-ok | level 1 strong evidence accepted | E26 | held |
| I-ATT-level-2-weak | level 2 weak evidence refused | E26 | held |
| I-ATT-level-2-ok | level 2 strong evidence accepted | E26 | held |
| I-ATT-level-3-weak | level 3 weak evidence refused | E26 | held |
| I-ATT-level-3-ok | level 3 strong evidence accepted | E26 | held |
| I-ATT-level-4-weak | level 4 weak evidence refused | E26 | held |
| I-ATT-level-4-ok | level 4 strong evidence accepted | E26 | held |
| I-ATT-level-5-weak | level 5 weak evidence refused | E26 | held |
| I-ATT-level-5-ok | level 5 strong evidence accepted | E26 | held |
| I-ATT-hardware-root | hardware level without root refused | E26 | held |
| I-HW-TPM-attested | TPM attestation verified | E26 | held |
| I-FED-attest | insufficient attestation refused | E26 | held |
| I-TRANS-evidence | weak->strong needs evidence | E26 | held |
| I-REASSESS-attestation_expiry | trigger attestation_expiry | E26 | held |
| I-PACKET-configure-sign | packet configure signs | E27 | held |
| I-PACKET-configure-tx | packet configure wrong transaction refused | E27 | held |
| I-PACKET-configure-policy | packet configure stale policy refused | E27 | held |
| I-PACKET-configure-epoch | packet configure stale epoch refused | E27 | held |
| I-PACKET-create-sign | packet create signs | E27 | held |
| I-PACKET-create-tx | packet create wrong transaction refused | E27 | held |
| I-PACKET-create-policy | packet create stale policy refused | E27 | held |
| I-PACKET-create-epoch | packet create stale epoch refused | E27 | held |
| I-PACKET-credential-sign | packet credential signs | E27 | held |
| I-PACKET-credential-tx | packet credential wrong transaction refused | E27 | held |
| I-PACKET-credential-policy | packet credential stale policy refused | E27 | held |
| I-PACKET-credential-epoch | packet credential stale epoch refused | E27 | held |
| I-PACKET-delegate-sign | packet delegate signs | E27 | held |
| I-PACKET-delegate-tx | packet delegate wrong transaction refused | E27 | held |
| I-PACKET-delegate-policy | packet delegate stale policy refused | E27 | held |
| I-PACKET-delegate-epoch | packet delegate stale epoch refused | E27 | held |
| I-PACKET-delete-sign | packet delete signs | E27 | held |
| I-PACKET-delete-tx | packet delete wrong transaction refused | E27 | held |
| I-PACKET-delete-policy | packet delete stale policy refused | E27 | held |
| I-PACKET-delete-epoch | packet delete stale epoch refused | E27 | held |
| I-PACKET-deploy-sign | packet deploy signs | E27 | held |
| I-PACKET-deploy-tx | packet deploy wrong transaction refused | E27 | held |
| I-PACKET-deploy-policy | packet deploy stale policy refused | E27 | held |
| I-PACKET-deploy-epoch | packet deploy stale epoch refused | E27 | held |
| I-PACKET-destroy-sign | packet destroy signs | E27 | held |
| I-PACKET-destroy-tx | packet destroy wrong transaction refused | E27 | held |
| I-PACKET-destroy-policy | packet destroy stale policy refused | E27 | held |
| I-PACKET-destroy-epoch | packet destroy stale epoch refused | E27 | held |
| I-PACKET-execute-sign | packet execute signs | E27 | held |
| I-PACKET-execute-tx | packet execute wrong transaction refused | E27 | held |
| I-PACKET-execute-policy | packet execute stale policy refused | E27 | held |
| I-PACKET-execute-epoch | packet execute stale epoch refused | E27 | held |
| I-PACKET-list-sign | packet list signs | E27 | held |
| I-PACKET-list-tx | packet list wrong transaction refused | E27 | held |
| I-PACKET-list-policy | packet list stale policy refused | E27 | held |
| I-PACKET-list-epoch | packet list stale epoch refused | E27 | held |
| I-PACKET-notify-sign | packet notify signs | E27 | held |
| I-PACKET-notify-tx | packet notify wrong transaction refused | E27 | held |
| I-PACKET-notify-policy | packet notify stale policy refused | E27 | held |
| I-PACKET-notify-epoch | packet notify stale epoch refused | E27 | held |
| I-PACKET-observe-sign | packet observe signs | E27 | 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