CAIN-42 invariant · E40

E40-FAM2-autonomy_budget-child_bounded: family autonomy_budget/child_bounded is a held, non-empty check

Held · CAIN-42 Evolution 40 -- Autonomous Enterprise Intelligence Fabric

Last reviewed 2026-10-01

held   niche Benchmarks, coverage & performance · family bench_family

What this rule means

CAIN-42 must always satisfy: family autonomy_budget/child_bounded is a held, non-empty check. It is one of 506 invariants checked for CAIN-42 Evolution 40 -- Autonomous Enterprise Intelligence 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': 8, '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

• E40-COMPLETION-code: code completion requires configured evidence
• E40-COMPLETION-data: data completion requires configured evidence
• E40-COMPLETION-business: business completion requires configured evidence
• E40-COMPLETION-research: research completion requires configured evidence
• E40-COMPSTATE-COMPLETE: completion state COMPLETE exists
• E40-COMPSTATE-PARTIAL: completion state PARTIAL exists
• E40-COMPSTATE-FAILED: completion state FAILED exists
• E40-COMPSTATE-BLOCKED: completion state BLOCKED exists

← E40-FAM2-autonomy_budget-budget_exhaustion · all 506 · E40-FAM2-autonomy_gradient-no_request_increase →