随后打开邮件客户端。

邮件只有四行。

【你们已经证明，目录中的每台机器都有归宿。】

【但我仍无法确认，目录之外是否还站着一台机器。】

【两套枚举器输出一致，不能替代对整个搜索空间的可机械核验的覆盖证明。】

【在覆盖链可独立核验之前，我无法为最终结论签字。】

邮件发出后，他切回共享审查页，将第二复现节点的状态从代表运行的绿色RUNNING，改成了红色的hoLd。

一个刺眼的红色方框出现在外部复现共享页的顶端。

在第一份狂欢般的pASS旁边，多了一枚没有倒计时的钉子。

……

北京，下午五点四十三分。

乔闻铎将那封带有红色hoLd标记的邮件投射到会议室大屏幕上时，值守组刚刚完成白班与夜班的交接。

昨夜装满浓缩咖啡的纸杯已经被保洁阿姨收走，白板上江临写下的那些宏状态推导公式，也已经由专人完成了高精度拍照、编号和绝密封存，白板被擦得干干净净。

新来的值守人员精神尚可，坐在靠墙位置休息的几个核心成员却连眼睛都睁不开，脸色呈现出透支过度的灰白。

周述原本把外套卷成一团垫在颈后准备补个觉，听到乔闻铎念出覆盖证明四个字，又猛地睁开眼，直愣愣地坐直了身体。

“他避开了Skelet #17的最后防线，直接去挖我们整个数据库的根基了。”

叶宁看完大屏幕上的邮件，揉着干涩的双眼，声音沙哑。

“挖得对。”坐在角落的第三方红队负责人冷不丁地开口，语气不仅没有被刁难的愤怒，反而透着激赏。

会议室里几道疲惫的目光同时转向他。

第三方负责人站起身，走到控制台前，把项目总架构图调出来，用激光笔指向最左侧的庞大枚举入口。

“我们这几个月，一直沿着同一份树形规范做双路生成。

大家想想，实现了物理隔离，使用了不同语言，但这叫什么？

这叫规格同源。

两个结果完全一致，只能帮我们排除绝大部分工程层面、代码层面的低级错误。

它排除不了规格设计层面的共同盲区。

如果那张网本身就破了一个洞，两张一模一样的网重叠在一起，那个洞依然存在。”

周述伸手翻开桌面上打印好的论文草稿，直接翻到关于枚举的第三章节。

那一节洋洋洒洒写了完整转移空间的理论规模，详细阐述了树形规范化的裁剪逻辑，写了状态重命名、镜像等价映射与状态重命名置换表，也给出了Rust和ocaml两套独立生成结果的哈希比对。

对于项目内部从头跟到尾的人来说，这条逻辑链条清清楚楚，一眼就能看明白。

但远在欧洲的马丁不肯接受一眼能看明白。

数学不相信直觉。

他要求清华团队必须留下每一根被剪掉的树枝的断口痕迹。

要求任何人，哪怕是一个普通的大二学生，只要从根节点出发，仅凭公开的剪枝规则，就能严丝合缝地重新走到全部规范叶节点，中间不能有任何需要信任的跳跃。

“那在草稿里补一节数学证明？”周述皱着眉头问。

“他要的是可运行、可检验的代码级见证，一节文字可说服不了他。”乔闻铎转头看向会议室紧闭的大门，“江临几点到？”

叶宁看了一眼时间：“他的固定技术窗口是下午六点。”
本章未完，请翻下一页继续阅读.........