CAIN-42 invariant · E33

E33-COVERAGE-VERIFIED: coverage class VERIFIED is reachable only from its evidence

Held · CAIN-42 Evolution 33 -- Governed Agentic Operating Fabric

Last reviewed 2026-10-01

held niche Benchmarks, coverage & performance · family coverage

What this rule means

CAIN-42 must always satisfy: coverage class VERIFIED is reachable only from its evidence. It is one of 581 invariants checked for CAIN-42 Evolution 33 -- Governed Agentic Operating 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

'VERIFIED'

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; the operation kernel is not wired into the gateway, MCPGate or the clusters. The sidecar runs locally over stdio against a reference world.

Related rules

E33-COVERAGE-ENFORCED: coverage class ENFORCED is reachable only from its evidence
E33-COVERAGE-MONITORED: coverage class MONITORED is reachable only from its evidence
E33-COVERAGE-OBSERVED: coverage class OBSERVED is reachable only from its evidence
E33-COVERAGE-BYPASSABLE: coverage class BYPASSABLE is reachable only from its evidence
E33-COVERAGE-UNKNOWN: coverage class UNKNOWN is reachable only from its evidence
E33-REGRESSION-authority_expansion: authority_expansion blocks a change
E33-REGRESSION-enforcement_loss: enforcement_loss blocks a change
E33-REGRESSION-evidence_loss: evidence_loss blocks a change

← E33-COVERAGE-ENFORCED · all 581 · E33-COVERAGE-MONITORED →

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