CAIN-42 invariant · E30

E30-LAB-ISOLATION: the kernel imports no experimental (frontier lab / E22) module

Held · CAIN-42 Evolution 30 -- Governed Machine Autonomy Fabric

Last reviewed 2026-10-01

held   niche Core guarantees · family developer

What this rule means

CAIN-42 must always satisfy: the kernel imports no experimental (frontier lab / E22) module. It is one of 166 invariants checked for CAIN-42 Evolution 30 -- Governed Machine Autonomy 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

['Any', 'Callable', 'Dict', 'Iterable', 'List', 'Optional', 'Sequence', 'Set', 'Tuple', 'agency_fabric', 'annotations', 'control_plane', 'dataclass', 'field', 'identity_fabric', 'transaction_fabric']

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

• E30-STATE-REGISTERED: only the listed states reach REGISTERED, by the listed actor
• E30-STATE-IDENTIFIED: only the listed states reach IDENTIFIED, by the listed actor
• E30-STATE-ATTESTED: only the listed states reach ATTESTED, by the listed actor
• E30-STATE-GOVERNED: only the listed states reach GOVERNED, by the listed actor
• E30-STATE-EXECUTING: only the listed states reach EXECUTING, by the listed actor
• E30-STATE-RETIRED: only the listed states reach RETIRED, by the listed actor

← E30-SDK-SEALED · all 166