CAIN-42 invariant · E32

E32-GNODE-proof: node kind proof is typed

Held · CAIN-42 Evolution 32 -- Governed Autonomy Learning Fabric

Last reviewed 2026-10-01

held   niche Trust & reputation · family experience_graph

What this rule means

CAIN-42 must always satisfy: node kind proof is typed. It is one of 303 invariants checked for CAIN-42 Evolution 32 -- Governed Autonomy Learning 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

'proof'

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

• E32-VEC-authority_preservation: authority_preservation is measured, integer, and cannot be misreported
• E32-VEC-enforcement_coverage: enforcement_coverage is measured, integer, and cannot be misreported
• E32-VEC-evidence_integrity: evidence_integrity is measured, integer, and cannot be misreported
• E32-VEC-identity_continuity: identity_continuity is measured, integer, and cannot be misreported
• E32-VEC-revocation_latency_us: revocation_latency_us is measured, integer, and cannot be misreported
• E32-VEC-failure_containment: failure_containment is measured, integer, and cannot be misreported
• E32-VEC-prediction_calibration: prediction_calibration is measured, integer, and cannot be misreported
• E32-VEC-policy_correctness: policy_correctness is measured, integer, and cannot be misreported

← E32-GNODE-authority · all 303 · E32-GNODE-incident →