Skip to content

chore(tooling): a spec-alignment claim is judged by the symbols it cites, not by incidental ties (#4607) - #4609

Merged
yinlianghui merged 1 commit into
mainfrom
claude/issue-4607-citation-aware-tie
Aug 13, 2026
Merged

chore(tooling): a spec-alignment claim is judged by the symbols it cites, not by incidental ties (#4607)#4609
yinlianghui merged 1 commit into
mainfrom
claude/issue-4607-citation-aware-tie

Commits

Commits on Aug 13, 2026