feat(spec): check (c) proves a guidance-route retirement on a reachable def (#18301) - #18529

Merged

os-litant merged 8 commits into

mainfrom

claude/issue-18301-check-c-fourth-proof

Sep 17, 2026

Commits on Sep 16, 2026

feat(spec): check (c) proves a guidance-route retirement on a reachable def
claude
committed
f210de9
test(spec): pin check (c) proof 4 in both directions, on a real retirement
claude
committed
204bf5e
fix(spec): proof 4 requires the baseline entry to be un-marked, so proof 1 keeps its clock
claude
committed
121465b

Commits on Sep 17, 2026