v0.11 item 2: the anchor, and the truncation it makes detectable - #202

Merged

rohanrkamath merged 10 commits into

mainfrom

v0.11/2-the-anchor

Sep 14, 2026

Commits on Sep 14, 2026

The anchor: the chain's head, recorded outside the store
arpanghoshal
committed
d51ecf3
Control(anchor=), and ctrlrun anchor
arpanghoshal
committed
e14d6aa
Acceptance tests T530-T538 for the anchor
arpanghoshal
committed
f1e460e
G28: a truncation past an anchor fails
arpanghoshal
committed
380d0bd
T530b and T535e, and make_anchor(at=) which a mutation showed was missing
arpanghoshal
committed
63a29a7
SPEC-v0.11 §9's frozen rows for item 2, and its CHANGELOG lines
arpanghoshal
committed
43e4a87
A shipped example that exercises an anchor, and states what it does not prove
arpanghoshal
committed
d26c91b
G28 moves every hardcoded guarantee count, including CI's
arpanghoshal
committed
69f4a8f
ctrlrun anchor joins the frozen CLI surface
arpanghoshal
committed
ba7bf9a
Three tests item 2 makes stale: the frozen command list, HEAD, and G28's row
arpanghoshal
committed
3f4d367