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 451–600 of 928
| ID | Rule | Bundle | Result |
|---|---|---|---|
| E33-CERT-conformance_passed | certificate claim conformance_passed is scoped and never authority | E33 | held |
| E33-CERT-revocation_tested | certificate claim revocation_tested is scoped and never authority | E33 | held |
| E33-CERT-recovery_tested | certificate claim recovery_tested is scoped and never authority | E33 | held |
| E33-CERT-protocol_adapter_tested | certificate claim protocol_adapter_tested is scoped and never authority | E33 | held |
| E33-CERTBAN-safe_ai | blanket claim safe_ai is refused | E33 | held |
| E33-CERTBAN-fully_autonomous | blanket claim fully_autonomous is refused | E33 | held |
| E33-CERTBAN-guaranteed_safe | blanket claim guaranteed_safe is refused | E33 | held |
| E33-CERTBAN-aligned | blanket claim aligned is refused | E33 | held |
| E33-CERTBAN-certified | blanket claim certified is refused | E33 | held |
| E33-CERTBAN-secure | blanket claim secure is refused | E33 | held |
| E33-BOM-code | a compromised code is traced to operations | E33 | held |
| E33-BOM-package | a compromised package is traced to operations | E33 | held |
| E33-BOM-model | a compromised model is traced to operations | E33 | held |
| E33-BOM-dataset | a compromised dataset is traced to operations | E33 | held |
| E33-BOM-prompt_template | a compromised prompt_template is traced to operations | E33 | held |
| E33-BOM-tool | a compromised tool is traced to operations | E33 | held |
| E33-BOM-plugin | a compromised plugin is traced to operations | E33 | held |
| E33-BOM-connector | a compromised connector is traced to operations | E33 | held |
| E33-BOM-runtime | a compromised runtime is traced to operations | E33 | held |
| E33-BOM-container | a compromised container is traced to operations | E33 | held |
| E33-BOM-infrastructure | a compromised infrastructure is traced to operations | E33 | held |
| E33-BOM-policy | a compromised policy is traced to operations | E33 | held |
| E33-BOM-governance_module | a compromised governance_module is traced to operations | E33 | held |
| E33-GAP-evidence_gap | the gap detector knows evidence_gap | E33 | held |
| E33-GAP-proof_gap | the gap detector knows proof_gap | E33 | held |
| E33-GAP-supply_chain_gap | the gap detector knows supply_chain_gap | E33 | held |
| E33-R2I-EVIDENCE | EVIDENCE cannot be skipped to | E33 | held |
| E34-ENVELOPE-proof_id | the envelope binds proof_id for every executed operation | E34 | held |
| E34-ENVELOPE-proof_version | the envelope binds proof_version for every executed operation | E34 | held |
| E34-ENVELOPE-action_id | the envelope binds action_id for every executed operation | E34 | held |
| E34-ENVELOPE-operation_id | the envelope binds operation_id for every executed operation | E34 | held |
| E34-ENVELOPE-transaction_id | the envelope binds transaction_id for every executed operation | E34 | held |
| E34-ENVELOPE-agent_identity | the envelope binds agent_identity for every executed operation | E34 | held |
| E34-ENVELOPE-agent_passport_digest | the envelope binds agent_passport_digest for every executed operation | E34 | held |
| E34-ENVELOPE-identity_state | the envelope binds identity_state for every executed operation | E34 | held |
| E34-ENVELOPE-capability_state | the envelope binds capability_state for every executed operation | E34 | held |
| E34-ENVELOPE-delegation_chain | the envelope binds delegation_chain for every executed operation | E34 | held |
| E34-ENVELOPE-authority_state | the envelope binds authority_state for every executed operation | E34 | held |
| E34-ENVELOPE-authority_digest | the envelope binds authority_digest for every executed operation | E34 | held |
| E34-ENVELOPE-policy_digest | the envelope binds policy_digest for every executed operation | E34 | held |
| E34-ENVELOPE-policy_version | the envelope binds policy_version for every executed operation | E34 | held |
| E34-ENVELOPE-context_digest | the envelope binds context_digest for every executed operation | E34 | held |
| E34-ENVELOPE-evidence_digest | the envelope binds evidence_digest for every executed operation | E34 | held |
| E34-ENVELOPE-risk_digest | the envelope binds risk_digest for every executed operation | E34 | held |
| E34-ENVELOPE-decision_digest | the envelope binds decision_digest for every executed operation | E34 | held |
| E34-ENVELOPE-trajectory_digest | the envelope binds trajectory_digest for every executed operation | E34 | held |
| E34-ENVELOPE-world_state_digest | the envelope binds world_state_digest for every executed operation | E34 | held |
| E34-ENVELOPE-model_runtime_identity | the envelope binds model_runtime_identity for every executed operation | E34 | held |
| E34-ENVELOPE-model_runtime_version | the envelope binds model_runtime_version for every executed operation | E34 | held |
| E34-ENVELOPE-execution_environment | the envelope binds execution_environment for every executed operation | E34 | held |
| E34-ENVELOPE-capability_used | the envelope binds capability_used for every executed operation | E34 | held |
| E34-ENVELOPE-resource_target | the envelope binds resource_target for every executed operation | E34 | held |
| E34-ENVELOPE-requested_effect | the envelope binds requested_effect for every executed operation | E34 | held |
| E34-ENVELOPE-authorization_id | the envelope binds authorization_id for every executed operation | E34 | held |
| E34-ENVELOPE-authorization_scope | the envelope binds authorization_scope for every executed operation | E34 | held |
| E34-ENVELOPE-authorization_expiry | the envelope binds authorization_expiry for every executed operation | E34 | held |
| E34-ENVELOPE-authorization_nonce | the envelope binds authorization_nonce for every executed operation | E34 | held |
| E34-ENVELOPE-e8_commit_id | the envelope binds e8_commit_id for every executed operation | E34 | held |
| E34-ENVELOPE-enforcement_boundary | the envelope binds enforcement_boundary for every executed operation | E34 | held |
| E34-ENVELOPE-enforcement_result | the envelope binds enforcement_result for every executed operation | E34 | held |
| E34-ENVELOPE-execution_result | the envelope binds execution_result for every executed operation | E34 | held |
| E34-ENVELOPE-outcome_evidence | the envelope binds outcome_evidence for every executed operation | E34 | held |
| E34-ENVELOPE-revocation_state | the envelope binds revocation_state for every executed operation | E34 | held |
| E34-ENVELOPE-conformance_state | the envelope binds conformance_state for every executed operation | E34 | held |
| E34-ENVELOPE-governance_coverage | the envelope binds governance_coverage for every executed operation | E34 | held |
| E34-ENVELOPE-proof_status | the envelope binds proof_status for every executed operation | E34 | held |
| E34-ENVELOPE-timestamp | the envelope binds timestamp for every executed operation | E34 | held |
| E34-ENVELOPE-sequence | the envelope binds sequence for every executed operation | E34 | held |
| E34-ENVELOPE-previous_proof_hash | the envelope binds previous_proof_hash for every executed operation | E34 | held |
| E34-ENVELOPE-evidence_references | the envelope binds evidence_references for every executed operation | E34 | held |
| E34-ENVELOPE-verifier_metadata | the envelope binds verifier_metadata for every executed operation | E34 | held |
| E34-ENVELOPE-governance_contract_digest | the envelope binds governance_contract_digest for every executed operation | E34 | held |
| E34-STATUS-VERIFIED_GOVERNED | VERIFIED_GOVERNED is a reachable proof status, never a score | E34 | held |
| E34-STATUS-PARTIALLY_GOVERNED | PARTIALLY_GOVERNED is a reachable proof status, never a score | E34 | held |
| E34-STATUS-ENFORCED_WITH_INCOMPLETE_PROOF | ENFORCED_WITH_INCOMPLETE_PROOF is a reachable proof status, never a score | E34 | held |
| E34-STATUS-OBSERVED_ONLY | OBSERVED_ONLY is a reachable proof status, never a score | E34 | held |
| E34-STATUS-MONITORED_ONLY | MONITORED_ONLY is a reachable proof status, never a score | E34 | held |
| E34-STATUS-SIMULATED | SIMULATED is a reachable proof status, never a score | E34 | held |
| E34-STATUS-DEMO_ONLY | DEMO_ONLY is a reachable proof status, never a score | E34 | held |
| E34-STATUS-UNCONTROLLED | UNCONTROLLED is a reachable proof status, never a score | E34 | held |
| E34-STATUS-UNKNOWN | UNKNOWN is a reachable proof status, never a score | E34 | held |
| E34-STATUS-REJECTED | REJECTED is a reachable proof status, never a score | E34 | held |
| E34-STATUS-EXPIRED | EXPIRED is a reachable proof status, never a score | E34 | held |
| E34-STATUS-INVALID_PROOF | INVALID_PROOF is a reachable proof status, never a score | E34 | held |
| E34-STATUS-SUPERSEDED | SUPERSEDED is a reachable proof status, never a score | E34 | held |
| E34-PCA-INTENT | the proof-carrying action chain includes INTENT | E34 | held |
| E34-PCA-IDENTITY | the proof-carrying action chain includes IDENTITY | E34 | held |
| E34-PCA-CAPABILITY | the proof-carrying action chain includes CAPABILITY | E34 | held |
| E34-PCA-DELEGATION | the proof-carrying action chain includes DELEGATION | E34 | held |
| E34-PCA-AUTHORITY | the proof-carrying action chain includes AUTHORITY | E34 | held |
| E34-PCA-POLICY | the proof-carrying action chain includes POLICY | E34 | held |
| E34-PCA-CONTEXT | the proof-carrying action chain includes CONTEXT | E34 | held |
| E34-PCA-EVIDENCE | the proof-carrying action chain includes EVIDENCE | E34 | held |
| E34-PCA-RISK | the proof-carrying action chain includes RISK | E34 | held |
| E34-PCA-DECISION | the proof-carrying action chain includes DECISION | E34 | held |
| E34-PCA-AUTHORIZATION | the proof-carrying action chain includes AUTHORIZATION | E34 | held |
| E34-PCA-E8_COMMIT | the proof-carrying action chain includes E8_COMMIT | E34 | held |
| E34-PCA-ENFORCEMENT | the proof-carrying action chain includes ENFORCEMENT | E34 | held |
| E34-PCA-EXECUTION | the proof-carrying action chain includes EXECUTION | E34 | held |
| E34-PCA-OUTCOME | the proof-carrying action chain includes OUTCOME | E34 | held |
| E34-PCA-PROOF | the proof-carrying action chain includes PROOF | E34 | held |
| E34-ENFORCE-DECISION_MADE | enforcement distinguishes DECISION_MADE | E34 | held |
| E34-ENFORCE-AUTHORIZATION_ISSUED | enforcement distinguishes AUTHORIZATION_ISSUED | E34 | held |
| E34-ENFORCE-ACTION_COMMITTED | enforcement distinguishes ACTION_COMMITTED | E34 | held |
| E34-ENFORCE-ACTION_ENFORCED | enforcement distinguishes ACTION_ENFORCED | E34 | held |
| E34-ENFORCE-ACTION_EXECUTED | enforcement distinguishes ACTION_EXECUTED | E34 | held |
| E34-ENFORCE-OUTCOME_OBSERVED | enforcement distinguishes OUTCOME_OBSERVED | E34 | held |
| E34-PRIM-policy | the policy proof primitive exists and binds fields | E34 | held |
| E34-PRIM-risk | the risk proof primitive exists and binds fields | E34 | held |
| E34-PRIM-evidence | the evidence proof primitive exists and binds fields | E34 | held |
| E34-PRIM-decision | the decision proof primitive exists and binds fields | E34 | held |
| E34-PRIM-commit | the commit proof primitive exists and binds fields | E34 | held |
| E34-PRIM-enforcement | the enforcement proof primitive exists and binds fields | E34 | held |
| E34-PRIM-outcome | the outcome proof primitive exists and binds fields | E34 | held |
| E34-CERTFIELD-subject | a governability certificate without subject is refused | E34 | held |
| E34-CERTFIELD-identity | a governability certificate without identity is refused | E34 | held |
| E34-CERTFIELD-version | a governability certificate without version is refused | E34 | held |
| E34-CERTFIELD-protocols | a governability certificate without protocols is refused | E34 | held |
| E34-CERTFIELD-governance_profile | a governability certificate without governance_profile is refused | E34 | held |
| E34-CERTFIELD-proof_profile | a governability certificate without proof_profile is refused | E34 | held |
| E34-CERTFIELD-evidence_root | a governability certificate without evidence_root is refused | E34 | held |
| E34-CERTFIELD-verifier_version | a governability certificate without verifier_version is refused | E34 | held |
| E34-CERTFIELD-test_suite_version | a governability certificate without test_suite_version is refused | E34 | held |
| E34-CERTFIELD-conformance_level | a governability certificate without conformance_level is refused | E34 | held |
| E34-CERTFIELD-expiration | a governability certificate without expiration is refused | E34 | held |
| E34-CERTFIELD-revocation_endpoint | a governability certificate without revocation_endpoint is refused | E34 | held |
| E34-CERTFIELD-limitations | a governability certificate without limitations is refused | E34 | held |
| E34-CERTFIELD-unknown_fields | a governability certificate without unknown_fields is refused | E34 | held |
| E34-CERTCLAIM-identity_verified | certificate claim identity_verified is in scope | E34 | held |
| E34-CERTCLAIM-authorization_verified | certificate claim authorization_verified is in scope | E34 | held |
| E34-CERTCLAIM-execution_boundary_verified | certificate claim execution_boundary_verified is in scope | E34 | held |
| E34-CERTCLAIM-proof_generated | certificate claim proof_generated is in scope | E34 | held |
| E34-CERTCLAIM-evidence_verified | certificate claim evidence_verified is in scope | E34 | held |
| E34-CERTCLAIM-conformance_passed | certificate claim conformance_passed is in scope | E34 | held |
| E34-CERTCLAIM-revocation_tested | certificate claim revocation_tested is in scope | E34 | held |
| E34-CERTCLAIM-recovery_tested | certificate claim recovery_tested is in scope | E34 | held |
| E34-CERTCLAIM-protocol_adapter_tested | certificate claim protocol_adapter_tested is in scope | E34 | held |
| E34-F2P-INCIDENT | failure-to-proof stage INCIDENT exists | E34 | held |
| E34-F2P-ROOT_CAUSE | failure-to-proof stage ROOT_CAUSE exists | E34 | held |
| E34-F2P-NEW_INVARIANT | failure-to-proof stage NEW_INVARIANT exists | E34 | held |
| E34-F2P-NEW_ATTACK | failure-to-proof stage NEW_ATTACK exists | E34 | held |
| E34-F2P-NEW_TEST | failure-to-proof stage NEW_TEST exists | E34 | held |
| E34-F2P-NEW_VERIFIER_CHECK | failure-to-proof stage NEW_VERIFIER_CHECK exists | E34 | held |
| E34-F2P-NEW_EVIDENCE | failure-to-proof stage NEW_EVIDENCE exists | E34 | held |
| E34-F2P-NEW_PRODUCT_CONTROL | failure-to-proof stage NEW_PRODUCT_CONTROL exists | E34 | held |
| E34-MOAT-proof_format | moat proof_format is technical only, not a market moat | E34 | held |
| E34-MOAT-proof_verifier | moat proof_verifier is technical only, not a market moat | E34 | held |
| E34-MOAT-governance_receipts | moat governance_receipts is technical only, not a market moat | E34 | held |
| E34-MOAT-failure_to_proof_corpus | moat failure_to_proof_corpus is technical only, not a market moat | E34 | held |
| E34-MOAT-governance_certificates | moat governance_certificates is technical only, not a market moat | E34 | 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