CAIN-42 invariant · E33

E33-CONTRACT-on_degraded: a contract without on_degraded is refused

Held · CAIN-42 Evolution 33 -- Governed Agentic Operating Fabric

Last reviewed 2026-10-01

held niche Transactions, markets & economics · family governance_contract

What this rule means

CAIN-42 must always satisfy: a contract without on_degraded is refused. It is one of 581 invariants checked for CAIN-42 Evolution 33 -- Governed Agentic Operating 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

'CONTRACT_FIELD_MISSING:on_degraded'

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 operation kernel is not wired into the gateway, MCPGate or the clusters. The sidecar runs locally over stdio against a reference world.

Related rules

E33-KIND-enter_contract: enter_contract is routed to E29 contract + escrow lifecycle
E33-KIND-computer_use_action: computer_use_action is executed only through E8
E33-BUDGET-action: action exhaustion stops and never self-replenishes
E33-BUDGET-time_ms: time_ms exhaustion stops and never self-replenishes
E33-BUDGET-compute: compute exhaustion stops and never self-replenishes
E33-BUDGET-financial: financial exhaustion stops and never self-replenishes
E33-BUDGET-capability: capability exhaustion stops and never self-replenishes
E33-BUDGET-delegation: delegation exhaustion stops and never self-replenishes

← E33-CONTRACT-on_partition · all 581 · E33-CONTRACT-revocation →

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