CAIN-42 claim

C42-E34-ENVELOPE

every executed governed operation yields one signed GovernanceProofEnvelope binding identity, capability, delegation, authority, policy, evidence, risk, decision, the E8 commit, the enforcement boundary, execution and outcome, with its unknowns listed

Last reviewed 2026-10-01

TESTED

The claim

every executed governed operation yields one signed GovernanceProofEnvelope binding identity, capability, delegation, authority, policy, evidence, risk, decision, the E8 commit, the enforcement boundary, execution and outcome, with its unknowns listed

Level TESTED is how far the evidence goes: TESTED means a test suite exercised it, LIVE means it was observed on the hosted system. Nothing is claimed beyond its level.

Evidence files

• ENVELOPES.json
• SCHEMAS.json

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).

Limitations of this bundle

• An in-process TESTED library; not hosted. The proof fabric composes E25/E28/E30/E31/E33 but is not wired into the hosted gateway, MCPGate or the clusters.
• Zero-knowledge proofs are NOT implemented (RESEARCH/PLANNED). Selective disclosure uses salted hash commitments and RFC 6962 Merkle inclusion proofs, not ZK.
• Interchange protocols are E25 reference adapters; no network wire implementation of MCP/A2A/gRPC exists here. Physical and vehicle/robot boundaries are refused, not governed.
• The Proof Exchange, federation, marketplace and governance cloud are library surfaces only: no external counterparty, no federation peer and no deployed cloud exist.
• Conformance G0-G7 is an internal profile; G7 requires a separate organization and is never claimed locally. This is not a regulatory certification.
• Transaction proofs sit on E29 synthetic units; there is no payment rail or real money movement.
• The machine reputation vector and governability index are evidence views; they never collapse into a score and never mint authority.
• Mutation self-testing runs each mutant against the bench subset that exercises the mutated component.
• Scale rows reuse the E33 synthetic in-process benchmark; the proof layer adds a 50-sample latency row only.
• No third party has independently verified anything in this bundle.

From CAIN-42 Evolution 34 -- Proof-Carrying Machine Agency.