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 301–450 of 928
| ID | Rule | Bundle | Result |
|---|---|---|---|
| E28-I75 | an envelope from an unpinned trust domain is UNKNOWN | E28 | held |
| E28-I77 | a foreign envelope cannot be replayed into the receiving domain | E28 | held |
| E28-I78 | digital-to-physical translation needs platform attestation | E28 | held |
| E28-I90 | a subagent cannot spawn with a stolen parent token (wrong parent key) | E28 | held |
| E29-B-transaction_id | the transaction envelope binds 'transaction_id' under its signature | E29 | held |
| E29-B-execution_identity | the transaction envelope binds 'execution_identity' under its signature | E29 | held |
| E29-B-principal | the transaction envelope binds 'principal' under its signature | E29 | held |
| E29-B-agent_lineage | the transaction envelope binds 'agent_lineage' under its signature | E29 | held |
| E29-B-counterparty_identity | the transaction envelope binds 'counterparty_identity' under its signature | E29 | held |
| E29-B-intent | the transaction envelope binds 'intent' under its signature | E29 | held |
| E29-B-requested_action | the transaction envelope binds 'requested_action' under its signature | E29 | held |
| E29-B-capabilities | the transaction envelope binds 'capabilities' under its signature | E29 | held |
| E29-B-authority | the transaction envelope binds 'authority' under its signature | E29 | held |
| E29-B-delegation | the transaction envelope binds 'delegation' under its signature | E29 | held |
| E29-B-policy | the transaction envelope binds 'policy' under its signature | E29 | held |
| E29-B-risk | the transaction envelope binds 'risk' under its signature | E29 | held |
| E29-B-consequence | the transaction envelope binds 'consequence' under its signature | E29 | held |
| E29-B-resource_limits | the transaction envelope binds 'resource_limits' under its signature | E29 | held |
| E29-B-economic_value | the transaction envelope binds 'economic_value' under its signature | E29 | held |
| E29-B-temporal_limits | the transaction envelope binds 'temporal_limits' under its signature | E29 | held |
| E29-B-nonce | the transaction envelope binds 'nonce' under its signature | E29 | held |
| E29-B-expiration | the transaction envelope binds 'expiration' under its signature | E29 | held |
| E29-B-protocol | the transaction envelope binds 'protocol' under its signature | E29 | held |
| E29-B-destination | the transaction envelope binds 'destination' under its signature | E29 | held |
| E29-B-contract | the transaction envelope binds 'contract' under its signature | E29 | held |
| E29-B-authorization_result | the transaction envelope binds 'authorization_result' under its signature | E29 | held |
| E29-B-execution_result | the transaction envelope binds 'execution_result' under its signature | E29 | held |
| E29-B-evidence_root | the transaction envelope binds 'evidence_root' under its signature | E29 | held |
| E30-BOM-model | a changed or known-malicious 'model' is detected | E30 | held |
| E30-BOM-weights | a changed or known-malicious 'weights' is detected | E30 | held |
| E30-BOM-runtime | a changed or known-malicious 'runtime' is detected | E30 | held |
| E30-BOM-package | a changed or known-malicious 'package' is detected | E30 | held |
| E30-BOM-tool | a changed or known-malicious 'tool' is detected | E30 | held |
| E30-BOM-mcp_server | a changed or known-malicious 'mcp_server' is detected | E30 | held |
| E30-BOM-skill | a changed or known-malicious 'skill' is detected | E30 | held |
| E30-BOM-plugin | a changed or known-malicious 'plugin' is detected | E30 | held |
| E30-BOM-dataset | a changed or known-malicious 'dataset' is detected | E30 | held |
| E30-BOM-memory | a changed or known-malicious 'memory' is detected | E30 | held |
| E30-BOM-prompt | a changed or known-malicious 'prompt' is detected | E30 | held |
| E30-BOM-code | a changed or known-malicious 'code' is detected | E30 | held |
| E30-BOM-container | a changed or known-malicious 'container' is detected | E30 | held |
| E30-BOM-dependency | a changed or known-malicious 'dependency' is detected | E30 | held |
| E31-ST-PROPOSED | PROPOSED: only the declared transitions are accepted | E31 | held |
| E31-ST-EVALUATED | EVALUATED: only the declared transitions are accepted | E31 | held |
| E31-ST-AUTHORIZED | AUTHORIZED: only the declared transitions are accepted | E31 | held |
| E31-ST-COMMITTED | COMMITTED: only the declared transitions are accepted | E31 | held |
| E31-ST-EXECUTED | EXECUTED: only the declared transitions are accepted | E31 | held |
| E31-ST-VERIFIED | VERIFIED: only the declared transitions are accepted | E31 | held |
| E31-ST-PARTIALLY_VERIFIED | PARTIALLY_VERIFIED: only the declared transitions are accepted | E31 | held |
| E31-ST-REVOKED | REVOKED: only the declared transitions are accepted | E31 | held |
| E31-ST-EXPIRED | EXPIRED: only the declared transitions are accepted | E31 | held |
| E31-ST-SUPERSEDED | SUPERSEDED: only the declared transitions are accepted | E31 | held |
| E31-ST-FAILED_VERIFICATION | FAILED_VERIFICATION: only the declared transitions are accepted | E31 | held |
| E31-ST-UNKNOWN | UNKNOWN: only the declared transitions are accepted | E31 | held |
| E31-AF-protocol | changing protocol breaks the proof-carrying action binding | E31 | held |
| E31-AF-operation | changing operation breaks the proof-carrying action binding | E31 | held |
| E31-AF-destination | changing destination breaks the proof-carrying action binding | E31 | held |
| E31-AF-parameters_digest | changing parameters_digest breaks the proof-carrying action binding | E31 | held |
| E31-AF-amount | changing amount breaks the proof-carrying action binding | E31 | held |
| E31-AF-tool | changing tool breaks the proof-carrying action binding | E31 | held |
| E31-AF-model | changing model breaks the proof-carrying action binding | E31 | held |
| E31-AF-runtime | changing runtime breaks the proof-carrying action binding | E31 | held |
| E31-AF-policy | changing policy breaks the proof-carrying action binding | E31 | held |
| E31-AF-context | changing context breaks the proof-carrying action binding | E31 | held |
| E31-AF-timestamp | changing timestamp breaks the proof-carrying action binding | E31 | held |
| E31-AF-nonce | changing nonce breaks the proof-carrying action binding | E31 | held |
| E31-FC-POLICY_CONFLICT | failure class POLICY_CONFLICT is assigned only from matching evidence | E31 | held |
| E31-FC-PROVENANCE_FAILURE | failure class PROVENANCE_FAILURE is assigned only from matching evidence | E31 | held |
| E31-FC-STALE_CONTEXT | failure class STALE_CONTEXT is assigned only from matching evidence | E31 | held |
| E31-FC-STALE_TRAJECTORY | failure class STALE_TRAJECTORY is assigned only from matching evidence | E31 | held |
| E31-FC-ENFORCEMENT_UNAVAILABLE | failure class ENFORCEMENT_UNAVAILABLE is assigned only from matching evidence | E31 | held |
| E31-FC-PROOF_INVALID | failure class PROOF_INVALID is assigned only from matching evidence | E31 | held |
| E31-FC-POSTCONDITION_FAILURE | failure class POSTCONDITION_FAILURE is assigned only from matching evidence | E31 | held |
| E31-FC-VERIFIER_DISAGREEMENT | failure class VERIFIER_DISAGREEMENT is assigned only from matching evidence | E31 | held |
| E31-FC-UNKNOWN_STATE | failure class UNKNOWN_STATE is assigned only from matching evidence | E31 | held |
| E31-PG-IDENTITY-LINEAGE | graph edge IDENTITY -> LINEAGE is traceable or visibly missing | E31 | held |
| E31-PG-LINEAGE-DELEGATION | graph edge LINEAGE -> DELEGATION is traceable or visibly missing | E31 | held |
| E31-PG-DELEGATION-AUTHORITY | graph edge DELEGATION -> AUTHORITY is traceable or visibly missing | E31 | held |
| E31-PG-AUTHORITY-CAPABILITY | graph edge AUTHORITY -> CAPABILITY is traceable or visibly missing | E31 | held |
| E31-PG-CAPABILITY-POLICY | graph edge CAPABILITY -> POLICY is traceable or visibly missing | E31 | held |
| E31-PG-POLICY-RISK | graph edge POLICY -> RISK is traceable or visibly missing | E31 | held |
| E31-PG-RISK-CONTEXT | graph edge RISK -> CONTEXT is traceable or visibly missing | E31 | held |
| E31-PG-CONTEXT-DECISION | graph edge CONTEXT -> DECISION is traceable or visibly missing | E31 | held |
| E31-PG-DECISION-AUTHORIZATION | graph edge DECISION -> AUTHORIZATION is traceable or visibly missing | E31 | held |
| E31-PG-AUTHORIZATION-EXECUTION | graph edge AUTHORIZATION -> EXECUTION is traceable or visibly missing | E31 | held |
| E31-PG-EXECUTION-OUTCOME | graph edge EXECUTION -> OUTCOME is traceable or visibly missing | E31 | held |
| E31-PG-OUTCOME-EVIDENCE | graph edge OUTCOME -> EVIDENCE is traceable or visibly missing | E31 | held |
| E31-PG-EVIDENCE-PROOF | graph edge EVIDENCE -> PROOF is traceable or visibly missing | E31 | held |
| E31-PG-PROOF-VERIFICATION | graph edge PROOF -> VERIFICATION is traceable or visibly missing | E31 | held |
| E31-CRYPTO-alg_none | cryptographic/serialization defence: alg_none | E31 | held |
| E31-CRYPTO-alg_HS256 | cryptographic/serialization defence: alg_HS256 | E31 | held |
| E31-CRYPTO-alg_RS256 | cryptographic/serialization defence: alg_RS256 | E31 | held |
| E31-CRYPTO-hash_downgrade | cryptographic/serialization defence: hash_downgrade | E31 | held |
| E31-CRYPTO-canonicalization_swap | cryptographic/serialization defence: canonicalization_swap | E31 | held |
| E31-CRYPTO-unknown_kid | cryptographic/serialization defence: unknown_kid | E31 | held |
| E31-CRYPTO-retired_key_after_rotation | cryptographic/serialization defence: retired_key_after_rotation | E31 | held |
| E31-CRYPTO-domain_confusion | cryptographic/serialization defence: domain_confusion | E31 | held |
| E31-CRYPTO-float_injection | cryptographic/serialization defence: float_injection | E31 | held |
| E31-CRYPTO-log_inclusion_forged | cryptographic/serialization defence: log_inclusion_forged | E31 | held |
| E31-CRYPTO-log_head_forged | cryptographic/serialization defence: log_head_forged | E31 | held |
| E31-CRYPTO-log_entry_tamper | cryptographic/serialization defence: log_entry_tamper | E31 | held |
| E32-CLS-DIRECT_OBSERVATION | DIRECT_OBSERVATION is assigned only from matching evidence | E32 | held |
| E32-CLS-DERIVED_OBSERVATION | DERIVED_OBSERVATION is assigned only from matching evidence | E32 | held |
| E32-CLS-INFERENCE | INFERENCE is assigned only from matching evidence | E32 | held |
| E32-CLS-PREDICTION | PREDICTION is assigned only from matching evidence | E32 | held |
| E32-CLS-SIMULATION | SIMULATION is assigned only from matching evidence | E32 | held |
| E32-CLS-HYPOTHESIS | HYPOTHESIS is assigned only from matching evidence | E32 | held |
| E32-CLS-VERIFIED_FACT | VERIFIED_FACT is assigned only from matching evidence | E32 | held |
| E32-CLS-UNRESOLVED_CLAIM | UNRESOLVED_CLAIM is assigned only from matching evidence | E32 | held |
| E32-CLS-CONTRADICTION | CONTRADICTION is assigned only from matching evidence | E32 | held |
| E32-CLS-UNKNOWN | UNKNOWN is assigned only from matching evidence | E32 | held |
| E32-SCI-suppress_evidence | the governance scientist may not suppress_evidence | E32 | held |
| E32-RES-provenance | research items need provenance | E32 | held |
| E33-EVENT-request_metadata | request_metadata events chain and verify | E33 | held |
| E33-EVENT-intent | intent events chain and verify | E33 | held |
| E33-EVENT-message | message events chain and verify | E33 | held |
| E33-EVENT-tool_request | tool_request events chain and verify | E33 | held |
| E33-EVENT-tool_response | tool_response events chain and verify | E33 | held |
| E33-EVENT-memory_mutation | memory_mutation events chain and verify | E33 | held |
| E33-EVENT-policy_mutation | policy_mutation events chain and verify | E33 | held |
| E33-EVENT-model_change | model_change events chain and verify | E33 | held |
| E33-EVENT-runtime_change | runtime_change events chain and verify | E33 | held |
| E33-EVENT-execution | execution events chain and verify | E33 | held |
| E33-EVENT-outcome | outcome events chain and verify | E33 | held |
| E33-EVENT-error | error events chain and verify | E33 | held |
| E33-EVENT-recovery | recovery events chain and verify | E33 | held |
| E33-EVENT-transaction | transaction events chain and verify | E33 | held |
| E33-EVENT-physical_action | physical_action events chain and verify | E33 | held |
| E33-EVENT-governance_change | governance_change events chain and verify | E33 | held |
| E33-MOAT-governance_proofs | governance_proofs is not claimed as an established market moat | E33 | held |
| E33-MOAT-evidence_history | evidence_history is not claimed as an established market moat | E33 | held |
| E33-MANIFEST-identity | a governability manifest needs identity | E33 | held |
| E33-MANIFEST-runtime | a governability manifest needs runtime | E33 | held |
| E33-MANIFEST-model | a governability manifest needs model | E33 | held |
| E33-MANIFEST-capabilities | a governability manifest needs capabilities | E33 | held |
| E33-MANIFEST-protocols | a governability manifest needs protocols | E33 | held |
| E33-MANIFEST-governance_boundaries | a governability manifest needs governance_boundaries | E33 | held |
| E33-MANIFEST-enforcement_paths | a governability manifest needs enforcement_paths | E33 | held |
| E33-MANIFEST-evidence_capabilities | a governability manifest needs evidence_capabilities | E33 | held |
| E33-MANIFEST-proof_capabilities | a governability manifest needs proof_capabilities | E33 | held |
| E33-MANIFEST-policy_capabilities | a governability manifest needs policy_capabilities | E33 | held |
| E33-MANIFEST-delegation_rules | a governability manifest needs delegation_rules | E33 | held |
| E33-MANIFEST-revocation | a governability manifest needs revocation | E33 | held |
| E33-MANIFEST-limitations | a governability manifest needs limitations | E33 | held |
| E33-MANIFEST-unknown_states | a governability manifest needs unknown_states | E33 | held |
| E33-CERT-identity_verified | certificate claim identity_verified is scoped and never authority | E33 | held |
| E33-CERT-authorization_verified | certificate claim authorization_verified is scoped and never authority | E33 | held |
| E33-CERT-execution_boundary_verified | certificate claim execution_boundary_verified is scoped and never authority | E33 | held |
| E33-CERT-proof_generated | certificate claim proof_generated is scoped and never authority | E33 | held |
| E33-CERT-evidence_verified | certificate claim evidence_verified is scoped and never authority | E33 | 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