CAIN-42 invariant · E29

E29-P40: organization budgets are booked on every layer of the path

Held · CAIN-42 Evolution 29 -- Governed Agentic Internet Transaction Fabric

Last reviewed 2026-10-01

held   niche Benchmarks, coverage & performance · family property

What this rule means

CAIN-42 must always satisfy: organization budgets are booked on every layer of the path. It is one of 106 invariants checked for CAIN-42 Evolution 29 -- Governed Agentic Internet Transaction 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

{'acme-holding': {'parent': '', 'ceiling': 50000, 'spent': 600, 'kind': 'institution'}, 'acme': {'parent': 'acme-holding', 'ceiling': 20000, 'spent': 600, 'kind': 'organization'}, 'acme-procurement': {'parent': 'acme', 'ceiling': 5000, 'spe

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

• E29-P01: the end-to-end procurement transaction completes every acceptance step
• E29-P02: every ledger TRANSFER is backed by an ALLOW receipt that reached E8 for the same transaction
• E29-P03: the ledger is hash-chained, signed and conserves value
• E29-P04: the stage records of the transaction verify as a signed hash chain
• E29-P05: the transaction envelope is issued at AUTHORIZE and re-issued at RECORD with the evidence root
• E29-P06: discovery never reports trust
• E29-P07: counterparty risk has thirteen dimensions and no score
• E29-P08: reputation has thirteen dimensions and no aggregate

← E29-P39 · all 106 · E29-P41 →