CAIN-42 CAIN Studio

CAIN-42 evidence library

CAIN-42 Evolution 36 -- Machine Agency Exchange Fabric

Evidence bundle for evolution E36: 8 claims, 842 of 842 invariants held, 3340 attack scenarios held.

Last reviewed 2026-10-01

Browse the raw bundle · How to reproduce it · SHA-256 manifest

Product lines built here

Claims (8)

ClaimLevel
C42-E36-EXCHANGE: a governed machine agency exchange implements the lifecycle DISCOVER -> IDENTIFY -> VERIFY -> EVALUATE -> NEGOTIATE -> CONTRACT -> AUTHORIZE -> EXECUTE -> PROVE -> SETTLE -> RATE -> REASSESS -> RENEW_OR_REVOKE over services, contracts, bids and transactionsTESTED
C42-E36-NOT-AUTHORITY: no economic object (identity, passport, contract, bid, reputation, payment, price, receipt) is authority; CONTRACT != AUTHORITY and the deterministic kernel and E8 still decideTESTED
C42-E36-DISCOVERY: governability-aware discovery never upgrades UNKNOWN to MATCH; the marketplace filters on hard requirements and reports UNKNOWN explicitlyTESTED
C42-E36-CHAINS: a service chain produces identity/authority/contract/capability/execution/proof/settlement proof chains; a subcontractor's authority cannot exceed its parent'sTESTED
C42-E36-NOT-BANK: CAIN is not a bank, custodian or regulator; escrow governs conditions only, units are SYNTHETIC, and no insurance or underwriting existsTESTED
C42-E36-BENCH: 3340 of 3340 economic/governance scenarios across 64 categories held; 842 of 842 invariants; mutation 15 of 15TESTED
C42-E36-CLEANROOM: an independent verifier that imports none of CAIN re-derives the E36 invariants and rejects every crafted forgeryTESTED
C42-E36-HONEST-SCOPE: the exchange is an in-process TESTED library, not a deployed network; CAIN-MSDP is experimental; no customers, market data, revenue or market moat is claimedTESTED

Invariants: 842 of 842 held

Rules the code must never break, each checked across many scenarios. See all 842 on one page.

NicheHeld
Benchmarks, coverage & performance307 of 307
Transactions, markets & economics165 of 165
Evidence, receipts & proofs157 of 157
Policy, law & governance66 of 66
Identity, authority & delegation49 of 49
Attacks, threats & containment36 of 36
Core guarantees20 of 20
Tools, MCP, protocols & adapters16 of 16
Trust & reputation12 of 12
Prediction, world models & simulation6 of 6
Autonomy, control loops & recovery6 of 6
Supply chain, registry & lifecycle2 of 2

Attacks tried

CategoryHeld
a2a24 of 24
agency_graph64 of 64
arbitration12 of 12
auction16 of 16
bid24 of 24
collective16 of 16
competition12 of 12
competitive_gap18 of 18
composition14 of 14
continuity12 of 12
contract60 of 60
contract_compile32 of 32
corpus150 of 150
descriptor26 of 26
directory12 of 12
discovery48 of 48
dispute31 of 31
econ_attack219 of 219
econ_graph46 of 46
econ_knowledge14 of 14
econ_policy22 of 22
econ_twin26 of 26
escrow12 of 12
exchange28 of 28
firebreak14 of 14
gov_budget200 of 200
identity48 of 48
internal24 of 24
labor_contract34 of 34
law390 of 390
marketplace40 of 40
match292 of 292
moat60 of 60
msdp10 of 10
negotiation44 of 44
org_market36 of 36
passport66 of 66
payment36 of 36
performance162 of 162
procurement16 of 16
procurement_agent22 of 22
procurement_sim12 of 12
proof_market12 of 12
quality_graph12 of 12
receipt24 of 24
recovery20 of 20
reputation204 of 204
revocation168 of 168
risk_pool12 of 12
router12 of 12
safe_mode32 of 32
service_cert30 of 30
service_chain_proof16 of 16
service_evolution12 of 12
service_search24 of 24
service_twin22 of 22
sla24 of 24
subcontract18 of 18
substitution24 of 24
supply_chain24 of 24
telemetry150 of 150
threat_intel24 of 24
trust_negotiation20 of 20
warranty12 of 12

Measured performance

Mechanismp50 msp95 msp99 ms
contract_build0.170723.654123.6541
contract_verify0.44848.36098.3609
discovery_search0.00584.81354.8135
payment_authorize0.244153.917253.9172
receipt_emit0.24626.94226.942
reputation_record0.00122.268122.2681

in-process; settlement units are SYNTHETIC; no live market or customer traffic

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

The bundle's own README

CAIN-42 Evolution 36 -- Machine Agency Exchange Fabric#

A governed machine agency exchange: services are discovered, verified, negotiated with, contracted, hired and transacted with, and every consequential step still passes the deterministic kernel and E8. No economic object is authority. CAIN is not a bank, custodian or regulator; settlement units are SYNTHETIC. Verify with verify_e36.py.txt (see REPRODUCTION.md). 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