CAIN-42 invariant · E34
E34-PROTOCOL-rest: protocol rest is classified SUPPORTED with a basis
Held · CAIN-42 Evolution 34 -- Proof-Carrying Machine Agency
Last reviewed 2026-10-01
held niche Tools, MCP, protocols & adapters · family interchange
What this rule means
CAIN-42 must always satisfy: protocol rest is classified SUPPORTED with a basis. It is one of 627 invariants checked for CAIN-42 Evolution 34 -- Proof-Carrying Machine Agency. An invariant is a rule the system may never break, whatever an agent or attacker does; the test suite tries to break it across many scenarios and records the result.
Recorded detail
'SUPPORTED'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).
Check it yourself
Browse the raw bundle · How to reproduce it · SHA-256 manifest
Scope: 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.
Related rules
- E34-PROTOCOL-mcp: protocol mcp is classified SUPPORTED with a basis
- E34-PROTOCOL-a2a: protocol a2a is classified SUPPORTED with a basis
- E34-PROTOCOL-http: protocol http is classified SUPPORTED with a basis
- E34-PROTOCOL-grpc: protocol grpc is classified SUPPORTED with a basis
- E34-PROTOCOL-websocket: protocol websocket is classified SUPPORTED with a basis
- E34-PROTOCOL-event_bus: protocol event_bus is classified SUPPORTED with a basis
- E34-PROTOCOL-cli: protocol cli is classified SUPPORTED with a basis
- E34-PROTOCOL-local_ipc: protocol local_ipc is classified PARTIALLY_SUPPORTED with a basis
← E34-PROTOCOL-http · all 627 · E34-PROTOCOL-grpc →
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