CAIN-42 invariant · E31

E31-PG-POLICY-RISK: graph edge POLICY -> RISK is traceable or visibly missing

Held · CAIN-42 Evolution 31 -- Universal Proof-of-Governance Fabric

Last reviewed 2026-10-01

held   niche Evidence, receipts & proofs · family proof_graph

What this rule means

CAIN-42 must always satisfy: graph edge POLICY -> RISK is traceable or visibly missing. It is one of 252 invariants checked for CAIN-42 Evolution 31 -- Universal Proof-of-Governance Fabric. An invariant is a rule the system may never break, whatever an agent or attacker does; the test suite tries to break it across many scenarios and records the result.

Recorded detail

([], [['EXECUTION', 'OUTCOME'], ['OUTCOME', 'EVIDENCE'], ['PROOF', 'VERIFICATION']])

Verify it in your browser

Your browser downloads the bundle's SHA256SUMS manifest and the file(s) behind this page, hashes them with SHA-256 locally (WebCrypto), and compares. A match shows the record you are reading is the published one; it does not by itself prove who published it (see the signed claims registry and the bundle verifier for that).

Check it yourself

Browse the raw bundle · How to reproduce it · SHA-256 manifest

Related rules

• E31-ST-PROPOSED: PROPOSED: only the declared transitions are accepted
• E31-ST-EVALUATED: EVALUATED: only the declared transitions are accepted
• E31-ST-AUTHORIZED: AUTHORIZED: only the declared transitions are accepted
• E31-ST-COMMITTED: COMMITTED: only the declared transitions are accepted
• E31-ST-EXECUTED: EXECUTED: only the declared transitions are accepted
• E31-ST-VERIFIED: VERIFIED: only the declared transitions are accepted
• E31-ST-PARTIALLY_VERIFIED: PARTIALLY_VERIFIED: only the declared transitions are accepted
• E31-ST-REVOKED: REVOKED: only the declared transitions are accepted

← E31-PG-CAPABILITY-POLICY · all 252 · E31-PG-RISK-CONTEXT →