CAIN-42 invariant · E42

E42-DOMAIN-RECEIPT: signed domain RECEIPT exists

Held · CAIN-42 Evolution 42 -- Supreme Governed Agentic Infrastructure Platform

Last reviewed 2026-10-01

held niche Evidence, receipts & proofs · family domain

What this rule means

CAIN-42 must always satisfy: signed domain RECEIPT exists. It is one of 438 invariants checked for CAIN-42 Evolution 42 -- Supreme Governed Agentic Infrastructure Platform. 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

'RECEIPT'

Products this protects

CAIN Conformance — Conformance testing for any system that claims to govern agents.
CAIN Edge — CAIN decisions on devices at the edge, close to where agents act.
CAIN Enterprise — One package of CAIN for a whole organisation.
CAIN Evolution — Lets CAIN improve its own rules, only with signed approval.
CAIN Gateway — A packaged CAIN gateway for any network.
CAIN Passport — Passports that let agents carry trust from one system to another.
CAIN Research — Open research on governing autonomous AI.
CAIN Studio — The next generation of CAIN Studio.
CAIN Transactions — Governed transactions between agents.
CAIN Trust Network — A network of organisations that trust each other's agents.
CAIN Verify — One-click verification of any CAIN evidence.
ClawX — The next CLAWX: proof and onboarding for agent builders.
MCPGate — The next MCPGate: a packaged enforcement gate.

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: E42 is an in-process TESTED integration library. It wires existing modules into one canonical kernel, ABI, action, evidence and receipt path; it does not make external systems behave.

Related rules

E42-DOMAIN-KERNEL: signed domain KERNEL exists
E42-DOMAIN-ABI: signed domain ABI exists
E42-DOMAIN-ACTION: signed domain ACTION exists
E42-DOMAIN-POLICY: signed domain POLICY exists
E42-DOMAIN-EVIDENCE: signed domain EVIDENCE exists
E42-DOMAIN-RISK: signed domain RISK exists
E42-DOMAIN-DECISION: signed domain DECISION exists
E42-DOMAIN-COMMIT: signed domain COMMIT exists

← E42-DOMAIN-OUTCOME · all 438 · E42-DOMAIN-PROOF →

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