feat(st): prove ST-7 checkpoint replacement is strictly forward - #60

Merged

adust09 merged 2 commits into

mainfrom

feat/st7-checkpoint-forward

Jul 20, 2026

Commits on Jul 20, 2026

feat(val): re-align VAL-2 checked insertion with merged leanSpec#1185
adust09
committed
2b41b03
feat(st): prove ST-7 checkpoint replacement is strictly forward
adust09
committed
d4652a8