Skip to content

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
Merged

feat(spec): check (c) proves a guidance-route retirement on a reachable def (#18301)#18529
os-litant merged 8 commits into
mainfrom
claude/issue-18301-check-c-fourth-proof

fix(spec): the unmet-prescription verdict states what was measured, n…

9e0324f
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar