feat(ci): differential gate for newly added cross-file line citations, and retire two stored line-number ledgers (objectui#8875) - #8974

feat(ci): differential gate for newly added cross-file line citations, and retire two stored line-number ledgers (objectui#8875)#8974

baozhoutao merged 2 commits into

mainobjectstack-ai/objectui:mainfrom

claude/issue-8875-differential-citation-gateobjectstack-ai/objectui:claude/issue-8875-differential-citation-gateCopy head branch name to clipboard