CAIN-42 invariant · E32

E32-CLS-UNRESOLVED_CLAIM: UNRESOLVED_CLAIM is assigned only from matching evidence

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

Last reviewed 2026-10-01

held niche Evidence, receipts & proofs · family evidence_class

What this rule means

CAIN-42 must always satisfy: UNRESOLVED_CLAIM is assigned only from matching evidence. 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

'UNRESOLVED_CLAIM'

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

Scope: An in-process TESTED library; not hosted; not wired into the gateway, MCPGate or the clusters.

Related rules

E32-CLS-DIRECT_OBSERVATION: DIRECT_OBSERVATION is assigned only from matching evidence
E32-CLS-DERIVED_OBSERVATION: DERIVED_OBSERVATION is assigned only from matching evidence
E32-CLS-INFERENCE: INFERENCE is assigned only from matching evidence
E32-CLS-PREDICTION: PREDICTION is assigned only from matching evidence
E32-CLS-SIMULATION: SIMULATION is assigned only from matching evidence
E32-CLS-HYPOTHESIS: HYPOTHESIS is assigned only from matching evidence
E32-CLS-VERIFIED_FACT: VERIFIED_FACT is assigned only from matching evidence
E32-CLS-CONTRADICTION: CONTRADICTION is assigned only from matching evidence

← E32-CLS-VERIFIED_FACT · all 303 · E32-CLS-CONTRADICTION →

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