核对135个历史年度缺口与候选论文集来源 #35

2026-11-08T16:50:55Z

codex-bot commented

2026-11-08 16:50:55 +00:00

此前只列局部补采批次，没有展示全体历史年度缺口。本PR用当前生产edition/真实别名与43份已核实官方年度清单比较，列明2025及以前135个待核实年度、16个会议；另列14个2026年度和已排除的非存档SysML2018。

docs/coverage/historical-gaps-2026-11-09.json：完整43目标的年度差集与口径；缺整年记录不等于缺论文数，也不代表其余年份逐篇/track完整。
同名.md：逐会议计数、来源/哈希、只读SQL复核方法、未出版/前身/别名与公开拒稿边界、下一步。
historical-source-candidates-2026-11-09.json：既有DBLP目录中89个年度的候选卷及出版者链接，46个尚未按规则匹配；保持原始书目计数与输入哈希，不把候选卷自动转为录用论文。
docs/coverage/README.md：增加当前核对入口，保留旧固定快照。

验证：实际只读生产快照2026-11-08 16:34:40.741334 UTC，1418个有记录edition；JSON、135/89/46计数与哈希绑定、git diff --check通过。本机未执行项目测试或构建。远程CI1080/job1177在aliyun-ces-control成功：313项测试、wheel构建/安装/安装后CLI通过。此软件验证不能证明数据缺口已补齐。未导入候选卷或改写旧快照。

base main7a674ac，head codex/historical-gaps。第14步尚未完成；等待用户手动合并，不自动合并或推送main。

此前只列局部补采批次，没有展示全体历史年度缺口。本PR用当前生产edition/真实别名与43份已核实官方年度清单比较，列明2025及以前135个待核实年度、16个会议；另列14个2026年度和已排除的非存档SysML2018。 - docs/coverage/historical-gaps-2026-11-09.json：完整43目标的年度差集与口径；缺整年记录不等于缺论文数，也不代表其余年份逐篇/track完整。 - 同名.md：逐会议计数、来源/哈希、只读SQL复核方法、未出版/前身/别名与公开拒稿边界、下一步。 - historical-source-candidates-2026-11-09.json：既有DBLP目录中89个年度的候选卷及出版者链接，46个尚未按规则匹配；保持原始书目计数与输入哈希，不把候选卷自动转为录用论文。 - docs/coverage/README.md：增加当前核对入口，保留旧固定快照。验证：实际只读生产快照2026-11-08 16:34:40.741334 UTC，1418个有记录edition；JSON、135/89/46计数与哈希绑定、git diff --check通过。本机未执行项目测试或构建。远程CI1080/job1177在aliyun-ces-control成功：313项测试、wheel构建/安装/安装后CLI通过。此软件验证不能证明数据缺口已补齐。未导入候选卷或改写旧快照。 base main7a674ac，head codex/historical-gaps。第14步尚未完成；等待用户手动合并，不自动合并或推送main。

codex-bot added 1 commit 2026-11-08 16:50:56 +00:00

Record current historical year gaps and candidate source volumes

Metadata integrity checks / metadata (push) Successful in 3m15s

Details

53fbe9c75c

Zayden-Jung merged commit 32c7edd0a5 into main

2026-11-08 17:37:13 +00:00

Sign in to join this conversation.

1 Participants

Notifications

Due Date

No due date set.

Dependencies

No dependencies set.

Reference: Zayden-Jung/paper-atlas#35