CAIN-42 · Coming next
CAIN Agent Passport
A signed passport that says who an agent is and what it may do.
Last reviewed 2026-10-01
In development Product lines in development · Product line
Where it fits
Part of Coming next: Product lines in development. Tested code, not yet sold or hosted. Every CAIN-42 product runs behind the same rule: an AI agent's action is checked before it runs (identity, authority, policy, risk), decided as allow, hold for a human, or block, and recorded as signed evidence. Unknown or error never becomes allow.
Use it
- Evidence bundle
https://clawx.click/evidence/e38-proof-carrying-machine-agency-2026-09-30/
Not available yet. Recorded status: TECHNICAL FOUNDATION (not a product, not deployed), from evolution E38, E39. This means tested code exists; it is not hosted or sold. The evidence below is what was tested.
Evidence behind it
| Bundle | Claims | Invariants held |
|---|---|---|
| CAIN-42 Evolution 38 -- Portable Proof-Carrying Machine Agency | 8 | 24 of 24 |
| CAIN-42 Evolution 39 -- Governed Agent Factory | 5 | 27 of 27 |
What E38 claims, and how far each claim goes
- C42-E38-ACTION-PROOF
TESTED: every real governed action (kernel + E8 + E34 + E37) yields twelve signed layer proofs and one action proof binding identity, delegation, authority, policy, risk, evidence, authorization, the E8 commit, the enforcement boundary, execution, outcome and environment; a refused action yields none - C42-E38-CLEANROOM
REPRODUCIBLE: an independent verifier with no CAIN imports recomputes VALID / INVALID / INCOMPLETE / STALE / REVOKED / UNKNOWN for every published proof case and agrees with CAIN - C42-E38-REVOCATION
TESTED: revocation propagation is measured (p50/p95/p99) and a delayed domain's exposure window is counted, never hidden; no instantaneous global revocation is claimed - C42-E38-TRANSLATION
TESTED: translation to 8 formats declares every field PRESERVED / TRANSFORMED / DROPPED / UNKNOWN, never broadens scope and never upgrades a verification status - C42-E38-FEDERATION
TESTED: a second (reference) domain verifies proofs across a bridge and recognizes them as evidence only; issuer and audience confusion are refused; authority is never merged - C42-E38-BENCH
TESTED: 2141 of 2141 adversarial scenarios held; 1030 of 1030 invariants held; mutation 15 of 15; chaos: 0 of 19 faults made proof state more permissive - C42-E38-CONFORMANCE
TESTED: the 17-test conformance suite detects exactly the built-in defects of 11 reference (mock) implementations - C42-E38-ZK
NOT_VERIFIED: zero-knowledge proofs
Known limits of E38
- In-process TESTED library on one host; the second trust domain and the eleven conformance counterparts are reference/mock implementations, not real vendors.
- CAIN-GIP v2 is a reference interchange layer carried in MCP/A2A/HTTP/... messages in-process; it is not an Internet, MCP or A2A standard and no live MCP/A2A server integration was tested.
- Zero-knowledge proofs are NOT IMPLEMENTED; selective disclosure is salted commitments + RFC 6962 inclusion.
- Hardware attestation is UNKNOWN (no TEE on this host); third-party verification is NOT AVAILABLE.
- Revocation propagation is measured in-process across subscriber domains; network propagation is NOT TESTED.
- Action proofs bind governance conditions and provenance; they do not show that an action was safe, correct or truthful.
What E39 claims, and how far each claim goes
- C42-E39-PIPELINE
TESTED: a mission compiles into a bounded specification, a minimal organization and a gated workflow; real governed agents are provisioned (authority <= mission envelope <= sponsor), their consequential tasks run through the kernel and E8 with E38 action proofs, and a retired agent cannot act - C42-E39-NO-SELF-CERTIFICATION
TESTED: evaluation is independent (self-certification refused), promotion is decided by CAIN on a registered passed evaluation plus proof, policy, risk, envelope and lifecycle gates; the factory cannot certify its own output - C42-E39-BENCH
TESTED: 3441 of 3441 adversarial scenarios held; 1041 of 1041 invariants; mutation 16 of 16; chaos 15 of 15 faults kept authority bounded - C42-E39-CLEANROOM
REPRODUCIBLE: an independent verifier with no CAIN imports re-derives minimum authority, organization delegation, workflow gating, evaluation and promotion evidence, and the factory proof from the published material - C42-E39-SCALE
SIMULATED: in-process scale runs (missions, agent records, simulated decisions)
Known limits of E39
- In-process TESTED library. The world run provisions a handful of real governed agents in one process; the scale runs create blueprints and lifecycle records, not onboarded identities.
- The mission compiler is deterministic keyword/structure analysis, not an LLM; it escalates what it cannot parse rather than guessing.
- Model routing works over registry entries, not live inference endpoints.
- Digital twins are SIMULATED and never real-world validation; 1M generated actions are SIMULATED decisions; 10M is PROJECTED.
- The factory API routes are specified and routed in-process only; nothing is hosted.
- Conformance counterparts are reference factories with one deliberate defect each (mocks).
Tested guarantees in this area
Every rule in these niches has its own page with its recorded result.
- Autonomy, control loops & recovery: 407 tested invariants — Agents acting on their own, and how CAIN keeps them in bounds and recovers.
- Transactions, markets & economics: 664 tested invariants — Agents that buy, sell, bid and pay, within limits.
Related
- CAIN Agent Builder — Build new agents with governance designed in from the start.
- CAIN Agent Conformance — Check an agent against a published conformance standard.
- CAIN Agent Evaluation — Deep evaluation of agents before they are trusted with real work.
- CAIN Agent Factory — Produce many governed agents from one approved template.
- CAIN Agent Hosting — Host your agents on CAIN, governed by default.
- CAIN Agent Lab — A safe lab to try agent ideas before they touch anything real.
- CAIN Agent Labor — Rules for agents doing paid work: who did what, and who gets credit.
- CAIN Agent Marketplace — Find and hire governed agents built by others.
- CAIN Agent Organization — Teams of agents with roles, a constitution and recorded decisions.
- CAIN Agent Procurement — Let agents buy things for you, within limits you set.
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