v0.11 item 3: retention, and the lock the prune did not have - #203

Merged

rohanrkamath merged 8 commits into

mainfrom

v0.11/3-retention

Sep 14, 2026

Commits on Sep 14, 2026

Retention: a prune that leaves the chain verifiable across the gap
arpanghoshal
committed
e923382
G29, G30 and G32
arpanghoshal
committed
5a16132
The prune holds the receipt-write lock for real, which a probe showed it did not
arpanghoshal
committed
cbbb4fc
SPEC-v0.11 §9's frozen rows for item 3, its CHANGELOG, and the CLI surface
arpanghoshal
committed
4dd6cf8
The scenarios prune with a zero window, which is what they grade
arpanghoshal
committed
a3d2e77
The scenarios take a prune's now from the store, not from this process
arpanghoshal
committed
6c1601e
G29, G30 and G32 move every hardcoded guarantee count, including CI's
arpanghoshal
committed
bcb1f0e
T549 asserted one serialization, not the invariant
arpanghoshal
committed
c795bed