fix(gatedrive): stale predecessor receipt must not rotate or free a live worktree slot (change 0453) - #333

Merged

danielhanold merged 7 commits into

mainfrom

fix/two-successors-sharing-one-stale-predecessor-receipt-can-sti

Sep 25, 2026

Commits on Sep 25, 2026

docs(plan): implementation plan for change 0453 stale-receipt rotation guard
danielhanold
committed
020c60f
fix(gatedrive): refuse a stale predecessor receipt before rotating an executing slot (change 0453)
danielhanold
committed
ef72476
test(gatedrive): pin fail-closed scope read at the pre-rotation staleness guard (change 0453)
danielhanold
committed
ad3f6dd
fix(gatedrive): keep a sibling-adopted reservation when a successor loses to a stale receipt (change 0453)
danielhanold
committed
2c3c282
fix(gatedrive): apply reserveScopeDrive's whole ordered predicate at the pre-rotation guard (change 0453)
danielhanold
committed
6d39ed6
docs(results): change 0453 results
danielhanold
committed
ea79c08
docs(results): stamp change 0453 results backlink
danielhanold
committed
ade8b51