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

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