CAIN-42 CAIN Studio
Sign inGet started
Menu

CAIN-42 claim

C42-E34-PROOF-CARRYING-AGENCY

Evolution 34 (proof-carrying machine agency) is a TESTED library: every governed operation yields one signed, chained GovernanceProofEnvelope binding identity, capability, delegation, authority, policy, evidence, risk, decision, the E8 commit, the enforcement boundary, execution and outcome, and stating what remains UNKNOWN or outside the boundary; fourteen statuses, per-layer proof primitives, an enforcement proof that separates decision from authorization, commit, enforcement, execution and outcome, attenuation-checked delegation proofs, RFC 6962 selective disclosure, denials and incident proofs; a proof is never permission. 629/629 invariants hold; 2664/2664 scenarios held; mutation 12/12; 22 forged objects rejected; 13 tests pass; the clean-room verifier returns INTACT (3286/3286 checks, no CAIN imports).

Last reviewed 2026-10-01

SIMULATED

The claim

Evolution 34 (proof-carrying machine agency) is a TESTED library: every governed operation yields one signed, chained GovernanceProofEnvelope binding identity, capability, delegation, authority, policy, evidence, risk, decision, the E8 commit, the enforcement boundary, execution and outcome, and stating what remains UNKNOWN or outside the boundary; fourteen statuses, per-layer proof primitives, an enforcement proof that separates decision from authorization, commit, enforcement, execution and outcome, attenuation-checked delegation proofs, RFC 6962 selective disclosure, denials and incident proofs; a proof is never permission. 629/629 invariants hold; 2664/2664 scenarios held; mutation 12/12; 22 forged objects rejected; 13 tests pass; the clean-room verifier returns INTACT (3286/3286 checks, no CAIN imports).

Level SIMULATED 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.

categoryARCHITECTURE
statusTESTED
evidence level meaningadversarial verification
limitsin-process library, not hosted; zero-knowledge proofs NOT implemented (salted commitments + Merkle only); interchange protocols are reference adapters; physical/vehicle/robot boundaries refused not governed; Proof Exchange, federation and marketplace are library surfaces only; PRE-PRODUCTION
verification methodpython3 verify_e34.py <bundle dir> (see e34-proof-carrying-machine-agency-2026-09-30/REPRODUCTION.md)
revalidate by2026-12-30T03:20:13Z
claim version1

Evidence files

Verify this signed claim in your browser

Checks the whole registry's Ed25519 signature against the published evidence-root key, then re-hashes this claim's artifact files. Same algorithm as the standalone verify_claims.py.

From CAIN-42 signed public claims registry.

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