CAIN-42 CAIN StudioCAIN-42 evidence library
CAIN-42 Evolution 41 -- Machine Agency Exchange Fabric
Evidence bundle for evolution E41: 7 claims, 470 of 470 invariants held, 1180 attack scenarios held.
Last reviewed 2026-10-01
Browse the raw bundle · How to reproduce it · SHA-256 manifest
Claims (7)
| Claim | Level |
|---|---|
| C42-E41-EXCHANGE: a cross-organization machine agency exchange runs the supreme lifecycle DISCOVER -> IDENTIFY -> ATTEST -> ASSESS -> NEGOTIATE -> CONTRACT -> DELEGATE -> AUTHORIZE -> EXECUTE -> OBSERVE -> VERIFY -> SETTLE -> RECORD -> LEARN -> REASSESS -> REVOKE/RENEW, and no machine creates authority for itself or another | TESTED |
| C42-E41-STATES: the 14 relationship states are never collapsed; no state is skipped; a terminal relationship cannot be reopened | TESTED |
| C42-E41-BOUNDED: a negotiation, handshake, contract, lease or receipt is never authority; a receipt requires an authorization; discovery implies no trust | TESTED |
| C42-E41-FEDERATION: federation never silently broadens authority; translation declares every field it drops; revocation propagates across domains | TESTED |
| C42-E41-BENCH: 1180 of 1180 exchange scenarios held; 470 of 470 invariants; mutation 10 of 10 | TESTED |
| C42-E41-CLEANROOM: an independent verifier that imports none of CAIN re-derives the E41 invariants and rejects every crafted forgery | TESTED |
| C42-E41-HONEST-SCOPE: the exchange is an in-process TESTED library; federation and economics are modelled; units are synthetic; no standard status, customers or revenue is claimed | TESTED |
Invariants: 470 of 470 held
Rules the code must never break, each checked across many scenarios. See all 470 on one page.
| Niche | Held |
|---|---|
| Benchmarks, coverage & performance | 135 of 135 |
| Policy, law & governance | 107 of 107 |
| Evidence, receipts & proofs | 60 of 60 |
| Attacks, threats & containment | 58 of 58 |
| Transactions, markets & economics | 42 of 42 |
| Identity, authority & delegation | 28 of 28 |
| Core guarantees | 18 of 18 |
| Tools, MCP, protocols & adapters | 18 of 18 |
| Trust & reputation | 2 of 2 |
| Supply chain, registry & lifecycle | 1 of 1 |
| Autonomy, control loops & recovery | 1 of 1 |
Attacks tried
| Category | Held |
|---|---|
| attest | 18 of 18 |
| breaker | 28 of 28 |
| conformance | 32 of 32 |
| contract | 20 of 20 |
| discovery | 30 of 30 |
| dispute | 20 of 20 |
| f2t | 16 of 16 |
| federation | 14 of 14 |
| handshake | 30 of 30 |
| law | 290 of 290 |
| learning | 10 of 10 |
| negotiation | 70 of 70 |
| receipt | 50 of 50 |
| reject | 60 of 60 |
| relationship | 236 of 236 |
| reputation | 20 of 20 |
| revocation | 20 of 20 |
| scale | 20 of 20 |
| settlement | 20 of 20 |
| sybil | 16 of 16 |
| systemic | 14 of 14 |
| threat | 66 of 66 |
| time_machine | 12 of 12 |
| translation | 14 of 14 |
| work | 54 of 54 |
Measured performance
| Mechanism | p50 ms | p95 ms | p99 ms |
|---|---|---|---|
| discovery | 0.0043 | 2.9173 | 2.9173 |
| handshake | 0.0836 | 1.1652 | 1.1652 |
| negotiation | 1.2034 | 31.3091 | 31.3091 |
| receipt | 0.1525 | 3.1206 | 3.1206 |
| relationship | 0.001 | 0.5603 | 0.5603 |
in-process; federation, economics and trust domains are modelled, not external
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).
Known limitations
- An in-process TESTED library; not hosted. Federation, trust domains, economics and supply chains are modelled in-process; there are no external counterparties or organizations.
- No real money, payment rail, settlement or financial custody exists; units are SYNTHETIC TEST UNITS.
- No industry-standard protocol status is claimed (A2A/MCP are reference-level); CAIN-MSDP-style metadata is a CAIN experimental descriptor.
- Reputation, risk pricing and the machine economy simulator are evidence views and simulations, never real-world validation and never authority.
- The systemic-risk, contagion and circuit-breaker engines operate on declared dependency edges, not observed production topology.
- The exchange layer has no authority: it proposes, negotiates and records only; the deterministic kernel and E8 still decide.
- Moat and product maps are technical foundations only; no market moat, customers, revenue or adoption is claimed.
- 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 exchange layer adds a 200-relationship row.
- No third party has independently verified anything in this bundle.
The bundle's own README
CAIN-42 Evolution 41 -- Machine Agency Exchange Fabric#
Cross-organization machine agency: discover, negotiate, contract, exchange work, prove, settle. No machine creates authority for itself or another. Verify with verify_e41.py.txt. Status: TESTED library, pre-production.
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