Skip to content

Decision order: guard the position a checkpoint decides in - #471

Merged
m2ux merged 4 commits into
mainfrom
fix/469-step-order
Aug 18, 2026
Merged

Decision order: guard the position a checkpoint decides in#471
m2ux merged 4 commits into
mainfrom
fix/469-step-order

Record which gates a walk had nothing to read

2e50251
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Typecheck, tests, and the full guard sweep
succeeded Aug 18, 2026 in 4m 12s