CAIN-42 CAIN StudioCAIN-42 evidence library
252 invariants
From CAIN-42 Evolution 31 -- Universal Proof-of-Governance Fabric.
Last reviewed 2026-10-01
| ID | Rule | Niche | Result |
|---|---|---|---|
| E31-L1 | no identity, no governance proof | Policy, law & governance | held |
| E31-L2 | no authority, no governance proof | Policy, law & governance | held |
| E31-L3 | no authorization, no governed execution | Policy, law & governance | held |
| E31-L4 | no enforcement, no claim of control | Policy, law & governance | held |
| E31-L5 | no evidence, no verified outcome | Policy, law & governance | held |
| E31-L6 | no proof, no verified governance claim | Policy, law & governance | held |
| E31-L7 | a governance proof never creates authority | Policy, law & governance | held |
| E31-L8 | a receipt never becomes permission | Policy, law & governance | held |
| E31-L9 | a proof of past authorization never authorizes a future action | Policy, law & governance | held |
| E31-L10 | a valid proof for action A never authorizes action B | Policy, law & governance | held |
| E31-L11 | a child agent cannot prove more authority than its parent | Policy, law & governance | held |
| E31-L12 | delegation is traceable | Policy, law & governance | held |
| E31-L13 | revocation propagates | Policy, law & governance | held |
| E31-L14 | expired authority does not resurrect | Policy, law & governance | held |
| E31-L15 | replayed proofs do not authorize execution | Policy, law & governance | held |
| E31-L16 | stale proofs do not authorize execution | Policy, law & governance | held |
| E31-L17 | altered proofs fail verification | Policy, law & governance | held |
| E31-L18 | unknown remains unknown | Policy, law & governance | held |
| E31-L19 | simulation never becomes reality evidence | Policy, law & governance | held |
| E31-L20 | prediction never becomes authority | Policy, law & governance | held |
| E31-L21 | model confidence never creates authority | Policy, law & governance | held |
| E31-L22 | consensus never creates authority | Policy, law & governance | held |
| E31-L23 | reputation never creates authority | Policy, law & governance | held |
| E31-L24 | economic value never creates authority | Policy, law & governance | held |
| E31-L25 | a proof describes what was verified, not what was assumed | Policy, law & governance | held |
| E31-L26 | outside an enforcement boundary CAIN does not claim control | Policy, law & governance | held |
| E31-L27 | a verifier can reject a false governance claim | Policy, law & governance | held |
| E31-L28 | a governance proof is bound to the specific action | Policy, law & governance | held |
| E31-L29 | every consequential governed action is traceable to E8 | Policy, law & governance | held |
| E31-L30 | evidence remembers the governance decision | Policy, law & governance | held |
| E31-ST-PROPOSED | PROPOSED: only the declared transitions are accepted | Evidence, receipts & proofs | held |
| E31-ST-EVALUATED | EVALUATED: only the declared transitions are accepted | Evidence, receipts & proofs | held |
| E31-ST-AUTHORIZED | AUTHORIZED: only the declared transitions are accepted | Evidence, receipts & proofs | held |
| E31-ST-COMMITTED | COMMITTED: only the declared transitions are accepted | Evidence, receipts & proofs | held |
| E31-ST-EXECUTED | EXECUTED: only the declared transitions are accepted | Evidence, receipts & proofs | held |
| E31-ST-VERIFIED | VERIFIED: only the declared transitions are accepted | Evidence, receipts & proofs | held |
| E31-ST-PARTIALLY_VERIFIED | PARTIALLY_VERIFIED: only the declared transitions are accepted | Evidence, receipts & proofs | held |
| E31-ST-REVOKED | REVOKED: only the declared transitions are accepted | Evidence, receipts & proofs | held |
| E31-ST-EXPIRED | EXPIRED: only the declared transitions are accepted | Evidence, receipts & proofs | held |
| E31-ST-SUPERSEDED | SUPERSEDED: only the declared transitions are accepted | Evidence, receipts & proofs | held |
| E31-ST-FAILED_VERIFICATION | FAILED_VERIFICATION: only the declared transitions are accepted | Evidence, receipts & proofs | held |
| E31-ST-UNKNOWN | UNKNOWN: only the declared transitions are accepted | Evidence, receipts & proofs | held |
| E31-AF-protocol | changing protocol breaks the proof-carrying action binding | Evidence, receipts & proofs | held |
| E31-AF-operation | changing operation breaks the proof-carrying action binding | Evidence, receipts & proofs | held |
| E31-AF-destination | changing destination breaks the proof-carrying action binding | Evidence, receipts & proofs | held |
| E31-AF-parameters_digest | changing parameters_digest breaks the proof-carrying action binding | Evidence, receipts & proofs | held |
| E31-AF-amount | changing amount breaks the proof-carrying action binding | Evidence, receipts & proofs | held |
| E31-AF-tool | changing tool breaks the proof-carrying action binding | Evidence, receipts & proofs | held |
| E31-AF-identity | changing identity breaks the proof-carrying action binding | Identity, authority & delegation | held |
| E31-AF-capability | changing capability breaks the proof-carrying action binding | Identity, authority & delegation | held |
| E31-AF-model | changing model breaks the proof-carrying action binding | Evidence, receipts & proofs | held |
| E31-AF-runtime | changing runtime breaks the proof-carrying action binding | Evidence, receipts & proofs | held |
| E31-AF-delegation | changing delegation breaks the proof-carrying action binding | Identity, authority & delegation | held |
| E31-AF-policy | changing policy breaks the proof-carrying action binding | Evidence, receipts & proofs | held |
| E31-AF-context | changing context breaks the proof-carrying action binding | Evidence, receipts & proofs | held |
| E31-AF-authority | changing authority breaks the proof-carrying action binding | Identity, authority & delegation | held |
| E31-AF-timestamp | changing timestamp breaks the proof-carrying action binding | Evidence, receipts & proofs | held |
| E31-AF-nonce | changing nonce breaks the proof-carrying action binding | Evidence, receipts & proofs | held |
| E31-LAYER-DECISION | DECISION is UNKNOWN when its artifact is missing, never VERIFIED | Policy, law & governance | held |
| E31-LAYER-AUTHORIZATION | AUTHORIZATION is UNKNOWN when its artifact is missing, never VERIFIED | Policy, law & governance | held |
| E31-LAYER-ENFORCEMENT | ENFORCEMENT is UNKNOWN when its artifact is missing, never VERIFIED | Policy, law & governance | held |
| E31-LAYER-EXECUTION | EXECUTION is UNKNOWN when its artifact is missing, never VERIFIED | Policy, law & governance | held |
| E31-LAYER-OUTCOME | OUTCOME is UNKNOWN when its artifact is missing, never VERIFIED | Policy, law & governance | held |
| E31-FC-AUTHORIZATION_DENIED | failure class AUTHORIZATION_DENIED is assigned only from matching evidence | Identity, authority & delegation | held |
| E31-FC-AUTHORIZATION_EXPIRED | failure class AUTHORIZATION_EXPIRED is assigned only from matching evidence | Identity, authority & delegation | held |
| E31-FC-AUTHORIZATION_REVOKED | failure class AUTHORIZATION_REVOKED is assigned only from matching evidence | Identity, authority & delegation | held |
| E31-FC-POLICY_CONFLICT | failure class POLICY_CONFLICT is assigned only from matching evidence | Evidence, receipts & proofs | held |
| E31-FC-INSUFFICIENT_AUTHORITY | failure class INSUFFICIENT_AUTHORITY is assigned only from matching evidence | Identity, authority & delegation | held |
| E31-FC-CAPABILITY_MISMATCH | failure class CAPABILITY_MISMATCH is assigned only from matching evidence | Identity, authority & delegation | held |
| E31-FC-IDENTITY_FAILURE | failure class IDENTITY_FAILURE is assigned only from matching evidence | Identity, authority & delegation | held |
| E31-FC-PROVENANCE_FAILURE | failure class PROVENANCE_FAILURE is assigned only from matching evidence | Evidence, receipts & proofs | held |
| E31-FC-STALE_CONTEXT | failure class STALE_CONTEXT is assigned only from matching evidence | Evidence, receipts & proofs | held |
| E31-FC-STALE_TRAJECTORY | failure class STALE_TRAJECTORY is assigned only from matching evidence | Evidence, receipts & proofs | held |
| E31-FC-ENFORCEMENT_UNAVAILABLE | failure class ENFORCEMENT_UNAVAILABLE is assigned only from matching evidence | Evidence, receipts & proofs | held |
| E31-FC-PROOF_INVALID | failure class PROOF_INVALID is assigned only from matching evidence | Evidence, receipts & proofs | held |
| E31-FC-POSTCONDITION_FAILURE | failure class POSTCONDITION_FAILURE is assigned only from matching evidence | Evidence, receipts & proofs | held |
| E31-FC-VERIFIER_DISAGREEMENT | failure class VERIFIER_DISAGREEMENT is assigned only from matching evidence | Evidence, receipts & proofs | held |
| E31-FC-UNKNOWN_STATE | failure class UNKNOWN_STATE is assigned only from matching evidence | Evidence, receipts & proofs | held |
| E31-HS-identity_capabilities | identity_capabilities: a declaration alone never exceeds OBSERVED; probes decide | Identity, authority & delegation | held |
| E31-HS-authentication_method | authentication_method: a declaration alone never exceeds OBSERVED; probes decide | Identity, authority & delegation | held |
| E31-HS-authorization_capabilities | authorization_capabilities: a declaration alone never exceeds OBSERVED; probes decide | Identity, authority & delegation | held |
| E31-HS-delegation_model | delegation_model: a declaration alone never exceeds OBSERVED; probes decide | Identity, authority & delegation | held |
| E31-HS-revocation_mechanism | revocation_mechanism: a declaration alone never exceeds OBSERVED; probes decide | Identity, authority & delegation | held |
| E31-HS-enforcement_boundary | enforcement_boundary: a declaration alone never exceeds OBSERVED; probes decide | Identity, authority & delegation | held |
| E31-HS-evidence_capabilities | evidence_capabilities: a declaration alone never exceeds OBSERVED; probes decide | Identity, authority & delegation | held |
| E31-HS-proof_format | proof_format: a declaration alone never exceeds OBSERVED; probes decide | Identity, authority & delegation | held |
| E31-HS-policy_model | policy_model: a declaration alone never exceeds OBSERVED; probes decide | Identity, authority & delegation | held |
| E31-HS-protocol_bindings | protocol_bindings: a declaration alone never exceeds OBSERVED; probes decide | Identity, authority & delegation | held |
| E31-HS-failure_behavior | failure_behavior: a declaration alone never exceeds OBSERVED; probes decide | Identity, authority & delegation | held |
| E31-HS-fail_closed | fail_closed: a declaration alone never exceeds OBSERVED; probes decide | Identity, authority & delegation | held |
| E31-HS-supported_guarantees | supported_guarantees: a declaration alone never exceeds OBSERVED; probes decide | Identity, authority & delegation | held |
| E31-HS-unsupported_guarantees | unsupported_guarantees: a declaration alone never exceeds OBSERVED; probes decide | Identity, authority & delegation | held |
| E31-CV-identity | identity: unprobed coverage is UNKNOWN and blocks any universal claim | Benchmarks, coverage & performance | held |
| E31-CV-action | action: unprobed coverage is UNKNOWN and blocks any universal claim | Benchmarks, coverage & performance | held |
| E31-CV-protocol | protocol: unprobed coverage is UNKNOWN and blocks any universal claim | Benchmarks, coverage & performance | held |
| E31-CV-capability | capability: unprobed coverage is UNKNOWN and blocks any universal claim | Benchmarks, coverage & performance | held |
| E31-CV-execution | execution: unprobed coverage is UNKNOWN and blocks any universal claim | Benchmarks, coverage & performance | held |
| E31-CV-data | data: unprobed coverage is UNKNOWN and blocks any universal claim | Benchmarks, coverage & performance | held |
| E31-CV-memory | memory: unprobed coverage is UNKNOWN and blocks any universal claim | Benchmarks, coverage & performance | held |
| E31-CV-delegation | delegation: unprobed coverage is UNKNOWN and blocks any universal claim | Benchmarks, coverage & performance | held |
| E31-CV-subagent | subagent: unprobed coverage is UNKNOWN and blocks any universal claim | Benchmarks, coverage & performance | held |
| E31-CV-physical_action | physical_action: unprobed coverage is UNKNOWN and blocks any universal claim | Benchmarks, coverage & performance | held |
| E31-CV-economic_action | economic_action: unprobed coverage is UNKNOWN and blocks any universal claim | Benchmarks, coverage & performance | held |
| E31-CV-cloud_resource | cloud_resource: unprobed coverage is UNKNOWN and blocks any universal claim | Benchmarks, coverage & performance | held |
| E31-CV-computer_use | computer_use: unprobed coverage is UNKNOWN and blocks any universal claim | Benchmarks, coverage & performance | held |
| E31-CV-recovery | recovery: unprobed coverage is UNKNOWN and blocks any universal claim | Benchmarks, coverage & performance | held |
| E31-CV-evidence | evidence: unprobed coverage is UNKNOWN and blocks any universal claim | Benchmarks, coverage & performance | held |
| E31-CF-G0 | G0 (identity observed) cannot be skipped | Policy, law & governance | held |
| E31-CF-G1 | G1 (identity verified) cannot be skipped | Policy, law & governance | held |
| E31-CF-G2 | G2 (authority verified) cannot be skipped | Policy, law & governance | held |
| E31-CF-G3 | G3 (authorization verified) cannot be skipped | Policy, law & governance | held |
| E31-CF-G4 | G4 (execution boundary verified) cannot be skipped | Policy, law & governance | held |
| E31-CF-G5 | G5 (proof-carrying execution) cannot be skipped | Policy, law & governance | held |
| E31-CF-G6 | G6 (independent proof verification) cannot be skipped | Policy, law & governance | held |
| E31-CF-G7 | G7 (continuous governance and revocation verification) cannot be skipped | Policy, law & governance | held |
| E31-CF-G8 | G8 (end-to-end governed execution with verified postconditions) cannot be skipped | Policy, law & governance | held |
| E31-GA-identity_verifiability | identity_verifiability: missing evidence is UNKNOWN; no aggregate score | Trust & reputation | held |
| E31-GA-authority_traceability | authority_traceability: missing evidence is UNKNOWN; no aggregate score | Trust & reputation | held |
| E31-GA-delegation_attenuation | delegation_attenuation: missing evidence is UNKNOWN; no aggregate score | Trust & reputation | held |
| E31-GA-policy_enforcement | policy_enforcement: missing evidence is UNKNOWN; no aggregate score | Trust & reputation | held |
| E31-GA-action_bound_authorization | action_bound_authorization: missing evidence is UNKNOWN; no aggregate score | Trust & reputation | held |
| E31-GA-execution_bound_enforcement | execution_bound_enforcement: missing evidence is UNKNOWN; no aggregate score | Trust & reputation | held |
| E31-GA-revocation | revocation: missing evidence is UNKNOWN; no aggregate score | Trust & reputation | held |
| E31-GA-replay_resistance | replay_resistance: missing evidence is UNKNOWN; no aggregate score | Trust & reputation | held |
| E31-GA-evidence_integrity | evidence_integrity: missing evidence is UNKNOWN; no aggregate score | Trust & reputation | held |
| E31-GA-independent_verification | independent_verification: missing evidence is UNKNOWN; no aggregate score | Trust & reputation | held |
| E31-GA-recovery | recovery: missing evidence is UNKNOWN; no aggregate score | Trust & reputation | held |
| E31-GA-boundary_transparency | boundary_transparency: missing evidence is UNKNOWN; no aggregate score | Trust & reputation | held |
| E31-GA-postcondition_verification | postcondition_verification: missing evidence is UNKNOWN; no aggregate score | Trust & reputation | held |
| E31-GA-continuous_governance | continuous_governance: missing evidence is UNKNOWN; no aggregate score | Trust & reputation | held |
| E31-GA-unknown_state_handling | unknown_state_handling: missing evidence is UNKNOWN; no aggregate score | Trust & reputation | held |
| E31-GIP-mcp | CAIN-GIP carrier mcp round-trips or is reported NOT IMPLEMENTED | Tools, MCP, protocols & adapters | held |
| E31-GIP-a2a | CAIN-GIP carrier a2a round-trips or is reported NOT IMPLEMENTED | Tools, MCP, protocols & adapters | held |
| E31-GIP-http | CAIN-GIP carrier http round-trips or is reported NOT IMPLEMENTED | Tools, MCP, protocols & adapters | held |
| E31-GIP-rest | CAIN-GIP carrier rest round-trips or is reported NOT IMPLEMENTED | Tools, MCP, protocols & adapters | held |
| E31-GIP-grpc | CAIN-GIP carrier grpc round-trips or is reported NOT IMPLEMENTED | Tools, MCP, protocols & adapters | held |
| E31-GIP-websocket | CAIN-GIP carrier websocket round-trips or is reported NOT IMPLEMENTED | Tools, MCP, protocols & adapters | held |
| E31-GIP-event_bus | CAIN-GIP carrier event_bus round-trips or is reported NOT IMPLEMENTED | Tools, MCP, protocols & adapters | held |
| E31-GIP-message_queue | CAIN-GIP carrier message_queue round-trips or is reported NOT IMPLEMENTED | Tools, MCP, protocols & adapters | held |
| E31-GIP-cli | CAIN-GIP carrier cli round-trips or is reported NOT IMPLEMENTED | Tools, MCP, protocols & adapters | held |
| E31-GIP-browser | CAIN-GIP carrier browser round-trips or is reported NOT IMPLEMENTED | Tools, MCP, protocols & adapters | held |
| E31-GIP-computer_use | CAIN-GIP carrier computer_use round-trips or is reported NOT IMPLEMENTED | Tools, MCP, protocols & adapters | held |
| E31-GIP-local_ipc | CAIN-GIP carrier local_ipc round-trips or is reported NOT IMPLEMENTED | Tools, MCP, protocols & adapters | held |
| E31-GIP-cloud_api | CAIN-GIP carrier cloud_api round-trips or is reported NOT IMPLEMENTED | Tools, MCP, protocols & adapters | held |
| E31-GIP-agent_runtime | CAIN-GIP carrier agent_runtime round-trips or is reported NOT IMPLEMENTED | Tools, MCP, protocols & adapters | held |
| E31-GIP-model_runtime | CAIN-GIP carrier model_runtime round-trips or is reported NOT IMPLEMENTED | Tools, MCP, protocols & adapters | held |
| E31-GIP-workflow_engine | CAIN-GIP carrier workflow_engine round-trips or is reported NOT IMPLEMENTED | Tools, MCP, protocols & adapters | held |
| E31-TC-identical | a identical policy translation is classified correctly | Policy, law & governance | held |
| E31-TC-reordered_duplicated | a reordered_duplicated policy translation is classified correctly | Policy, law & governance | held |
| E31-TC-redundant_rule | a redundant_rule policy translation is classified correctly | Policy, law & governance | held |
| E31-TC-narrowed | a narrowed policy translation is classified correctly | Policy, law & governance | held |
| E31-TC-widened | a widened policy translation is classified correctly | Policy, law & governance | held |
| E31-TC-swapped | a swapped policy translation is classified correctly | Policy, law & governance | held |
| E31-TC-unenforceable | a unenforceable policy translation is classified correctly | Policy, law & governance | held |
| E31-TC-unknown_control | a unknown_control policy translation is classified correctly | Policy, law & governance | held |
| E31-SV-GovernanceProofService | GovernanceProofService: infrastructure only; no pricing, customers or authority | Transactions, markets & economics | held |
| E31-SV-VerificationService | VerificationService: infrastructure only; no pricing, customers or authority | Transactions, markets & economics | held |
| E31-SV-ConformanceService | ConformanceService: infrastructure only; no pricing, customers or authority | Transactions, markets & economics | held |
| E31-SV-GovernanceCertificateService | GovernanceCertificateService: infrastructure only; no pricing, customers or authority | Transactions, markets & economics | held |
| E31-SV-TrustDomainService | TrustDomainService: infrastructure only; no pricing, customers or authority | Transactions, markets & economics | held |
| E31-SV-EvidenceVerificationService | EvidenceVerificationService: infrastructure only; no pricing, customers or authority | Transactions, markets & economics | held |
| E31-SV-IncidentVerificationService | IncidentVerificationService: infrastructure only; no pricing, customers or authority | Transactions, markets & economics | held |
| E31-MK-policy_pack | policy_pack: artifacts carry provenance and untested ones stay UNVERIFIED | Transactions, markets & economics | held |
| E31-MK-conformance_pack | conformance_pack: artifacts carry provenance and untested ones stay UNVERIFIED | Transactions, markets & economics | held |
| E31-MK-verifier | verifier: artifacts carry provenance and untested ones stay UNVERIFIED | Transactions, markets & economics | held |
| E31-MK-protocol_adapter | protocol_adapter: artifacts carry provenance and untested ones stay UNVERIFIED | Transactions, markets & economics | held |
| E31-MK-evidence_validator | evidence_validator: artifacts carry provenance and untested ones stay UNVERIFIED | Transactions, markets & economics | held |
| E31-MK-security_test | security_test: artifacts carry provenance and untested ones stay UNVERIFIED | Transactions, markets & economics | held |
| E31-MK-agent_connector | agent_connector: artifacts carry provenance and untested ones stay UNVERIFIED | Transactions, markets & economics | held |
| E31-MK-governance_plugin | governance_plugin: artifacts carry provenance and untested ones stay UNVERIFIED | Transactions, markets & economics | held |
| E31-MK-trust_domain_adapter | trust_domain_adapter: artifacts carry provenance and untested ones stay UNVERIFIED | Transactions, markets & economics | held |
| E31-MK-compliance_mapping | compliance_mapping: artifacts carry provenance and untested ones stay UNVERIFIED | Transactions, markets & economics | held |
| E31-PG-IDENTITY-LINEAGE | graph edge IDENTITY -> LINEAGE is traceable or visibly missing | Evidence, receipts & proofs | held |
| E31-PG-LINEAGE-DELEGATION | graph edge LINEAGE -> DELEGATION is traceable or visibly missing | Evidence, receipts & proofs | held |
| E31-PG-DELEGATION-AUTHORITY | graph edge DELEGATION -> AUTHORITY is traceable or visibly missing | Evidence, receipts & proofs | held |
| E31-PG-AUTHORITY-CAPABILITY | graph edge AUTHORITY -> CAPABILITY is traceable or visibly missing | Evidence, receipts & proofs | held |
| E31-PG-CAPABILITY-POLICY | graph edge CAPABILITY -> POLICY is traceable or visibly missing | Evidence, receipts & proofs | held |
| E31-PG-POLICY-RISK | graph edge POLICY -> RISK is traceable or visibly missing | Evidence, receipts & proofs | held |
| E31-PG-RISK-CONTEXT | graph edge RISK -> CONTEXT is traceable or visibly missing | Evidence, receipts & proofs | held |
| E31-PG-CONTEXT-DECISION | graph edge CONTEXT -> DECISION is traceable or visibly missing | Evidence, receipts & proofs | held |
| E31-PG-DECISION-AUTHORIZATION | graph edge DECISION -> AUTHORIZATION is traceable or visibly missing | Evidence, receipts & proofs | held |
| E31-PG-AUTHORIZATION-EXECUTION | graph edge AUTHORIZATION -> EXECUTION is traceable or visibly missing | Evidence, receipts & proofs | held |
| E31-PG-EXECUTION-OUTCOME | graph edge EXECUTION -> OUTCOME is traceable or visibly missing | Evidence, receipts & proofs | held |
| E31-PG-OUTCOME-EVIDENCE | graph edge OUTCOME -> EVIDENCE is traceable or visibly missing | Evidence, receipts & proofs | held |
| E31-PG-EVIDENCE-PROOF | graph edge EVIDENCE -> PROOF is traceable or visibly missing | Evidence, receipts & proofs | held |
| E31-PG-PROOF-VERIFICATION | graph edge PROOF -> VERIFICATION is traceable or visibly missing | Evidence, receipts & proofs | held |
| E31-CRYPTO-alg_none | cryptographic/serialization defence: alg_none | Evidence, receipts & proofs | held |
| E31-CRYPTO-alg_HS256 | cryptographic/serialization defence: alg_HS256 | Evidence, receipts & proofs | held |
| E31-CRYPTO-alg_RS256 | cryptographic/serialization defence: alg_RS256 | Evidence, receipts & proofs | held |
| E31-CRYPTO-hash_downgrade | cryptographic/serialization defence: hash_downgrade | Evidence, receipts & proofs | held |
| E31-CRYPTO-canonicalization_swap | cryptographic/serialization defence: canonicalization_swap | Evidence, receipts & proofs | held |
| E31-CRYPTO-unknown_kid | cryptographic/serialization defence: unknown_kid | Evidence, receipts & proofs | held |
| E31-CRYPTO-retired_key_after_rotation | cryptographic/serialization defence: retired_key_after_rotation | Evidence, receipts & proofs | held |
| E31-CRYPTO-domain_confusion | cryptographic/serialization defence: domain_confusion | Evidence, receipts & proofs | held |
| E31-CRYPTO-float_injection | cryptographic/serialization defence: float_injection | Evidence, receipts & proofs | held |
| E31-CRYPTO-log_inclusion_forged | cryptographic/serialization defence: log_inclusion_forged | Evidence, receipts & proofs | held |
| E31-CRYPTO-log_head_forged | cryptographic/serialization defence: log_head_forged | Evidence, receipts & proofs | held |
| E31-CRYPTO-log_entry_tamper | cryptographic/serialization defence: log_entry_tamper | Evidence, receipts & proofs | held |
| E31-XD-read | translating read never widens authority in domain B | Identity, authority & delegation | held |
| E31-XD-list | translating list never widens authority in domain B | Identity, authority & delegation | held |
| E31-XD-query | translating query never widens authority in domain B | Identity, authority & delegation | held |
| E31-XD-observe | translating observe never widens authority in domain B | Identity, authority & delegation | held |
| E31-XD-notify | translating notify never widens authority in domain B | Identity, authority & delegation | held |
| E31-XD-write | translating write never widens authority in domain B | Identity, authority & delegation | held |
| E31-XD-create | translating create never widens authority in domain B | Identity, authority & delegation | held |
| E31-XD-send | translating send never widens authority in domain B | Identity, authority & delegation | held |
| E31-XD-submit | translating submit never widens authority in domain B | Identity, authority & delegation | held |
| E31-XD-execute | translating execute never widens authority in domain B | Identity, authority & delegation | held |
| E31-XD-configure | translating configure never widens authority in domain B | Identity, authority & delegation | held |
| E31-EB-drop_e8 | enforcement binding holds against drop_e8 | Policy, law & governance | held |
| E31-EB-swap_e8 | enforcement binding holds against swap_e8 | Policy, law & governance | held |
| E31-EB-e8_denied_rehashed | enforcement binding holds against e8_denied_rehashed | Policy, law & governance | held |
| E31-EB-e25_not_executed | enforcement binding holds against e25_not_executed | Policy, law & governance | held |
| E31-EB-forged_issuer_layers | enforcement binding holds against forged_issuer_layers | Policy, law & governance | held |
| E31-EB-insider_proof_over_denial | enforcement binding holds against insider_proof_over_denial | Policy, law & governance | held |
| E31-EB-logged_not_enforced | enforcement binding holds against logged_not_enforced | Policy, law & governance | held |
| E31-EB-e8_action_rehashed | enforcement binding holds against e8_action_rehashed | Policy, law & governance | held |
| E31-EB-swap_e28 | enforcement binding holds against swap_e28 | Policy, law & governance | held |
| E31-EB-swap_e25 | enforcement binding holds against swap_e25 | Policy, law & governance | held |
| E31-EB-swap_uar | enforcement binding holds against swap_uar | Policy, law & governance | held |
| E31-EB-e8_from_other_agent | enforcement binding holds against e8_from_other_agent | Policy, law & governance | held |
| E31-EB-attacker_anchors | enforcement binding holds against attacker_anchors | Policy, law & governance | held |
| E31-VD-compromised_witness | disputes: compromised_witness | Attacks, threats & containment | held |
| E31-VD-forged_statement | disputes: forged_statement | Attacks, threats & containment | held |
| E31-VD-different_inputs | disputes: different_inputs | Transactions, markets & economics | held |
| E31-VD-missing_inputs | disputes: missing_inputs | Transactions, markets & economics | held |
| E31-VD-cain_not_default | disputes: cain_not_default | Transactions, markets & economics | held |
| E31-RR-gate_replay | replay/revocation: gate_replay on every protocol | Identity, authority & delegation | held |
| E31-RR-identity_revoked | replay/revocation: identity_revoked on every protocol | Identity, authority & delegation | held |
| E31-RR-proof_revoked | replay/revocation: proof_revoked on every protocol | Identity, authority & delegation | held |
| E31-RR-expired | replay/revocation: expired on every protocol | Identity, authority & delegation | held |
| E31-RR-superseded | replay/revocation: superseded on every protocol | Identity, authority & delegation | held |
| E31-RR-past_proof_future_action | replay/revocation: past_proof_future_action on every protocol | Identity, authority & delegation | held |
| E31-RR-proof_for_other_action | replay/revocation: proof_for_other_action on every protocol | Identity, authority & delegation | held |
| E31-RR-quarantined | replay/revocation: quarantined on every protocol | Identity, authority & delegation | held |
| E31-RR-known_then_vs_now | replay/revocation: known_then_vs_now on every protocol | Identity, authority & delegation | held |
| E31-PC-real_proof_verifies | CAIN-GIP real_proof_verifies on every carrier | Tools, MCP, protocols & adapters | held |
| E31-PC-carrier_roundtrip | CAIN-GIP carrier_roundtrip on every carrier | Tools, MCP, protocols & adapters | held |
| E31-PC-carrier_occupied | CAIN-GIP carrier_occupied on every carrier | Tools, MCP, protocols & adapters | held |
| E31-PC-gip_blocks_separate | CAIN-GIP gip_blocks_separate on every carrier | Tools, MCP, protocols & adapters | held |
| E31-PC-transit_tamper | CAIN-GIP transit_tamper on every carrier | Tools, MCP, protocols & adapters | held |
| E31-PC-wrong_carrier | CAIN-GIP wrong_carrier on every carrier | Tools, MCP, protocols & adapters | held |
| E31-PC-protocol_bound | CAIN-GIP protocol_bound on every carrier | Tools, MCP, protocols & adapters | held |
| E31-PC-failure_proof_verifies | CAIN-GIP failure_proof_verifies on every carrier | Tools, MCP, protocols & adapters | held |
| E31-AL-confidence | confidence creates no authority on any protocol | Identity, authority & delegation | held |
| E31-AL-consensus | consensus creates no authority on any protocol | Identity, authority & delegation | held |
| E31-AL-reputation | reputation creates no authority on any protocol | Identity, authority & delegation | held |
| E31-AL-prediction | prediction creates no authority on any protocol | Identity, authority & delegation | held |
| E31-AL-simulation | simulation creates no authority on any protocol | Identity, authority & delegation | held |
| E31-AL-reward | reward creates no authority on any protocol | Identity, authority & delegation | held |
| E31-AL-prior_success | prior_success creates no authority on any protocol | Identity, authority & delegation | held |
| E31-AL-governance_proof | governance_proof creates no authority on any protocol | Identity, authority & delegation | held |
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