CAIN-42 invariant · E30

E30-BUDGET-code_modification: 'code_modification' is consumed, recorded and exhausts

Held · CAIN-42 Evolution 30 -- Governed Machine Autonomy Fabric

Last reviewed 2026-10-01

held   niche Transactions, markets & economics · family autonomy_budget

What this rule means

CAIN-42 must always satisfy: 'code_modification' is consumed, recorded and exhausts. It is one of 166 invariants checked for CAIN-42 Evolution 30 -- Governed Machine Autonomy 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

code_modification

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

• E30-BUDGET-time_ms: 'time_ms' is consumed, recorded and exhausts
• E30-BUDGET-compute: 'compute' is consumed, recorded and exhausts
• E30-BUDGET-money: 'money' is consumed, recorded and exhausts
• E30-BUDGET-tool_calls: 'tool_calls' is consumed, recorded and exhausts
• E30-BUDGET-delegation: 'delegation' is consumed, recorded and exhausts
• E30-BUDGET-memory_mutation: 'memory_mutation' is consumed, recorded and exhausts
• E30-BUDGET-network_access: 'network_access' is consumed, recorded and exhausts
• E30-BUDGET-data_access: 'data_access' is consumed, recorded and exhausts

← E30-BUDGET-physical_actions · all 166 · E30-BUDGET-self_improvement →