Skip to content

feat(spec): liveness citations can anchor the consuming symbol — path#symbol survives in-range line drift - #13004

Merged
os-trump merged 2 commits into
mainfrom
claude/issue-12516-liveness-in-range-drift
Aug 28, 2026
Merged

feat(spec): liveness citations can anchor the consuming symbol — path#symbol survives in-range line drift#13004
os-trump merged 2 commits into
mainfrom
claude/issue-12516-liveness-in-range-drift

Merge remote-tracking branch 'origin/main' into claude/issue-12516-li…

385b24e
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar