v0.9 Envelope: consumption and holds, the operator surfaces, and the 0.9.0 release - #164

Merged

arpanghoshal merged 21 commits into

mainfrom

item5/consumption-and-holds

Sep 13, 2026

Commits on Sep 13, 2026

Consumption, and the one rule that covers all nineteen dispositions
arpanghoshal
committed
d11a47c
G22, and the release path that bypassed every transition
arpanghoshal
committed
b14429e
Answer the mutation table: two guards nothing exercised
arpanghoshal
committed
2498b7c
test: pin §4.2's untested dispositions and §2.2's two-budget shape
arpanghoshal
committed
272bd51
test: complete §4.2's table, and name the atomicity the in-memory store relies on
arpanghoshal
committed
effa2fb
fix: §2.3 and §2.4.1 refusals leave a record, and run before the approval gate
arpanghoshal
committed
09e01fb
fix: a resumed leg reports its own attempt's charges, read from the ledger
arpanghoshal
committed
19ff6ef
feat: §4.2.1's observe-mode budget report, and an honest §4.2.1a
arpanghoshal
committed
a02f056
fix: a budget must not make ctrlrun verify report an internal error
arpanghoshal
committed
5527ec0
style: name the exceptions three holds tests were asserting blindly
arpanghoshal
committed
d89978f
The operator surfaces: consumed, held, and why it is held
arpanghoshal
committed
8f96631
spec: record item 5's and item 6's two additions in §3.3.3 and §10.1
arpanghoshal
committed
2db0a11
spec: write §13, what building v0.9 settled
arpanghoshal
committed
6c0dd4c
docs: two changelog claims went stale as later items landed
arpanghoshal
committed
298d0b7
test: D27, every field the v6 schema froze is written by something
arpanghoshal
committed
7e653f4
release: 0.9.0 Envelope, undated until the tag
arpanghoshal
committed
27ade9d
release: the changelog states what a budget is not, and the README says how much
arpanghoshal
committed
364cf31
fix: the two protocol boundaries dropped or mislabelled §2.3's refusal
arpanghoshal
committed
714589c
fix: verify sized its vector against the wrong grant, and still exited 3
arpanghoshal
committed
29ad4df
fix: the observed resumed receipt, and a budget that made verify accuse the kernel
arpanghoshal
committed
9ef0b57
fix: the third ordering drift, which a review suspected and did not demonstrate
arpanghoshal
committed
9655833

Navigation Menu

v0.9 Envelope: consumption and holds, the operator surfaces, and the 0.9.0 release - #164

v0.9 Envelope: consumption and holds, the operator surfaces, and the 0.9.0 release#164
arpanghoshal merged 21 commits into
mainfrom
item5/consumption-and-holds

Commits on Sep 13, 2026

Consumption, and the one rule that covers all nineteen dispositions

G22, and the release path that bypassed every transition

Answer the mutation table: two guards nothing exercised

test: pin §4.2's untested dispositions and §2.2's two-budget shape

test: complete §4.2's table, and name the atomicity the in-memory store relies on

fix: §2.3 and §2.4.1 refusals leave a record, and run before the approval gate

fix: a resumed leg reports its own attempt's charges, read from the ledger

feat: §4.2.1's observe-mode budget report, and an honest §4.2.1a

fix: a budget must not make ctrlrun verify report an internal error

style: name the exceptions three holds tests were asserting blindly

The operator surfaces: consumed, held, and why it is held

spec: record item 5's and item 6's two additions in §3.3.3 and §10.1

spec: write §13, what building v0.9 settled

docs: two changelog claims went stale as later items landed

test: D27, every field the v6 schema froze is written by something

release: 0.9.0 Envelope, undated until the tag

release: the changelog states what a budget is not, and the README says how much

fix: the two protocol boundaries dropped or mislabelled §2.3's refusal

fix: verify sized its vector against the wrong grant, and still exited 3

fix: the observed resumed receipt, and a budget that made verify accuse the kernel

fix: the third ordering drift, which a review suspected and did not demonstrate