An approval carries the world it was granted against, and the recheck narrows the window - #143

Merged

arpanghoshal merged 5 commits into

mainfrom

v0.7/5-preconditions

Sep 11, 2026

Commits on Sep 11, 2026

Item 5: precondition fingerprints, rechecked before the reservation
arpanghoshal
committed
efb3b42
Answer the item 5 review: one blocking, nine smaller
arpanghoshal
committed
ca903ee
Bring main into item 5's branch: clock skew (G13), and #142
arpanghoshal
committed
1327fbc
Answer round two of the item 5 review: seven follow-ups
arpanghoshal
committed
26d5297
Bring main into item 5's branch again: the attempt integrity and the token
arpanghoshal
committed
bbf1934