ocaml通过。

两份裁决摘要的哈希值在校验器中逐位比对，绿色的mAtch亮起，宣告一致。

九月十一日，安全教育与学籍补项按校历有条不紊地推进。

与此同时，全库复验也在同一天轰然启动。

八千八百六十六万四千零六十四台种子库机器，连同项目组这几个月来日夜不休生成的非停机见证，被像倾倒进巨型熔炉的矿石一样，分批送进两套互不通信的核验器中。

精确循环机制启动。

平移循环机制启动。

反向不可达判定树展开。

成百万、上千万台机器在经过严苛的审查后，从待判队列里消失，化为数据库中一行行确定的绿色记录。

旧证书里的格式错误、机器哈希错配、甚至是多年前留下的坐标约定污染，被核验器无情地逐一退回，强制重新生成。

每一台被标记为非停机的机器，都必须给出一份无可辩驳的证据。

一条能够从机器底层语义层面重新走通的证明路径，绝不允许任何概率性猜测。

到九月十二日下午，现有证书全部复验完成。

八千八百多万台机器构成的浩瀚星海中，只剩下最后一台。

最后一台的状态栏里没有REJEct，只有UNKNowN。

项目组至今拿不出任何可核验见证。

乔闻铎关掉布雷迪那句沉重的预测，拿起遥控笔，将最后一台机器的转移表放大，直到它占据了整个屏幕的中心。

【Skelet #17】

只有五行，两列。

十个转移位置。

表格小得一张便签纸就能抄下。

“这台机器来自格奥尔基·Skelet·格奥尔基耶夫在2003年公布的四十三台holdouts，因此被称为Skelet #17。”

乔闻铎站在屏幕左侧，声音在空旷的会议室里显得格外低沉。

“我们尝试了所有常规武器，精确循环无效，平移循环无效，反向不可达集合我们强行展开到了第九层，但状态数量在那之后开始呈现出恐怖的指数级膨胀，内存直接溢出。”

乔闻铎的语气中透出深深的疲惫。

“现有最长轨迹，已经超过了两百亿步。

仍然没有停机。

更可怕的是，它也没有进入任何能被现有规则捕捉的重复结构。”

周述在一旁接手操作。

他深吸了一口气，将一张庞大的空间—时间图调了出来。

黑白相间的纸带轨迹瞬间占满了整面墙的屏幕，仿佛某种远古生物的复杂基因图谱，又像是高空俯瞰下的异星城市遗迹。

“这就是它两百亿步的生命历程。”周述指着屏幕上那些密密麻麻的纹理说，“读写头在越来越宽的区间里来回扫动，像一个不知疲倦的织布工。

它写入，擦除，再折返。

图像的外沿在不断扩张，纸带越来越长。”

周述说着，放大了其中一个区域。

“但是内部却找不到两个完全相同的截面，继续模拟下去没有任何意义。”
本章未完，请翻下一页继续阅读.........