CAIN-42 invariant · E31

E31-PC-protocol_bound: CAIN-GIP protocol_bound on every carrier

Held · CAIN-42 Evolution 31 -- Universal Proof-of-Governance Fabric

Last reviewed 2026-10-01

held   niche Tools, MCP, protocols & adapters · family protocol_conformance

What this rule means

CAIN-42 must always satisfy: CAIN-GIP protocol_bound on every carrier. It is one of 252 invariants checked for CAIN-42 Evolution 31 -- Universal Proof-of-Governance Fabric. 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

{'scenarios': 13, 'not_held': []}

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

Related rules

• E31-GIP-mcp: CAIN-GIP carrier mcp round-trips or is reported NOT IMPLEMENTED
• E31-GIP-a2a: CAIN-GIP carrier a2a round-trips or is reported NOT IMPLEMENTED
• E31-GIP-http: CAIN-GIP carrier http round-trips or is reported NOT IMPLEMENTED
• E31-GIP-rest: CAIN-GIP carrier rest round-trips or is reported NOT IMPLEMENTED
• E31-GIP-grpc: CAIN-GIP carrier grpc round-trips or is reported NOT IMPLEMENTED
• E31-GIP-websocket: CAIN-GIP carrier websocket round-trips or is reported NOT IMPLEMENTED
• E31-GIP-event_bus: CAIN-GIP carrier event_bus round-trips or is reported NOT IMPLEMENTED
• E31-GIP-message_queue: CAIN-GIP carrier message_queue round-trips or is reported NOT IMPLEMENTED

← E31-PC-wrong_carrier · all 252 · E31-PC-failure_proof_verifies →