CAIN-42 invariant · E34
E34-PROTOCOL2-computer_use: protocol computer_use never carries authority across a domain
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 computer_use never carries authority across a domain. 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
'PARTIALLY_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-rest: protocol rest 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-PROTOCOL2-browser · all 627 · E34-PROTOCOL2-physical →
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