① ⚡ 一句话总结：这批手稿里，值得分开看的有 3 个东西——原话有没有被改写、推导合不合法、结论值不值得；只有 1 格有机器在查；300/719 只是主结果被改成机器可读证明的篇数，不是论文被证明对了。
② 🔍 本期最深发现：官方说 300/719 篇的 top-line result 推导覆盖（约 42%），但形式化目录只列得出 173 条论文条目（200 个声明），差 127 篇，官方没解释；这个覆盖数字的分子，点不开核对。
速查条目
撤稿不是算错，是构造塌了：一处带号相交数（signed double-point count，给交点记正负的计数方式）的符号错，让一篇的构造失效；另两篇依赖同一构造，于是一起撤〔一手：撤稿启事〕。人话：不是三道题各错一处，是一个地基裂了，三栋楼一起停用。
时间账要按 commit（提交记录）算：初版提交 10-06 21:58 UTC → 撤稿更新提交 10-08 05:03 UTC，31.08 小时〔一手·单源·待核〕。媒体给的是另一套公告口径；公告时刻本身 UNKNOWN。三段口径是 18 天（落款到公开）、1 天（公开到公告）、UNKNOWN（外部独立发现）。
覆盖口径：官方写的约 42%，准确说是 300/719 篇的 top-line result 推导覆盖（top-line result = 一篇论文最主要的结论）〔一手·单源·待核〕。人话：它只说「主结果的推导被机器查过」，不说论文对了多少。另有一句「约 50% 的结果发布时未确认」〔二手·单源·待核〕——未确认不等于有错。
形式化（把自然语言证明改写成机器能逐步检查的版本）本身也没人审：目录根级写
review: unchecked、method: agent〔一手·单源·待核〕。人话：机器写的证明，机器检查，没有人签字。撤稿族从未形式化：Family 032（霍奇猜想相关的结果族）现行 5 篇，形式化目录里一条都没有；初版 162 条、现行 173 条都没有命中〔一手计数·单源·待核〕。人话：不是机器查了没查出，是机器压根没看过这三篇。
撤的是证明，不是命题：撤稿只否定当前版证明，旧版永久可查，并直链到撤稿前版本〔一手〕。人话：下架的是「这份论证」，不是「这个结论」。
判定权与共模失效：撤稿由发布方自己在
history.md宣布，没有期刊、编委或第三方裁定〔一手〕；第三方只有报道级索引，检索库是否收录 UNKNOWN。所谓「四道闸门」是分析构造，能互相否证的独立源只有 1 个〔推断〕。人话：几道检查用同一来源，会一起对、一起错，这叫共模失效；谁有权说算数，也还是同一方。当周空窗：2026-10-23 至 2026-10-26 本次检索未获得实质新事件，三条检索路径都没有取回正文〔检索未获得〕。人话：空窗不代表确认没有，只代表这次没找到。