右侧的终端突然卡顿了一下，随后弹出鲜红的提示。

【hALt】

赵承宇把正准备夹起最后一块小酥肉的筷子硬生生地停在打包盒上方，眼神在左右两个窗口间来回切换。

“等等，左边刚才不是说那份证明有效，这机器不会停吗，右边这怎么直接停机了？”

“因为这份证书遗漏了一个致命的前置条件。”江临的声音没有丝毫起伏，像是在宣读一份物理实验的观测数据，“它只向核验器展示了读写头附近那段平移得很工整的图案，却无法用逻辑证明，那些被它抛弃在窗口外面的旧痕迹，以后永远不会重新挡住它的路。”

顾明澈放下手机，看着并排停住，结论却截然相反的两个终端界面，若有所思：“你的意思是，这台机器后来走回头路了？”

“准确地说，是在第193步。”江临调出那一瞬间的纸带快照，“它越过了证书里信誓旦旦声称绝对不会回访的物理边界，碰到了早期运行时刻意留在外面的一颗地雷——一个孤立的数字1，整个平移结构瞬间崩溃。”

“那是原来的那个判定程序写错了？”顾明澈追问。

“原始专用decider会重放有限运行段，并重新检查最大回退范围。”

江临指尖在键盘上划过，把去掉来源信息的两个运行结果和纸带快照并排放大。

“缺少这个安全条件的，是后来有人试图强行揉捏出来的一份统一证书草案。

这台机器本该被拒绝，但新草案为了兼容性开了后门，被我构造的数据骗过了。

原有的那些数学分类证明，暂时不受这个反例的影响。”

林一舟没有参与讨论，他的视线正定在屏幕角落里的版本演进摘要上。

【Initial_case：5 States／halt at 6841（初始案例：5状态 / 6841步停机）】

【pressed_case：4 States／halt at 193（压缩案例：4状态 / 193步停机）】

“你最初找到的那个漏洞模型，要一直跑到六千八百四十一步才暴露出错误？”林一舟突然开口，声音有些低沉。

“对。”

“然后你把这个反例压缩到了只要193步就能暴露？”

“只有把状态压减到四状态，两张A4纸就能列出完整转移表、关键纸带快照和错误接受路径。”江临看了一眼桌面上那两页纸，“排除了所有干扰项，别人在做人工复核时才不会被多余的逻辑分支转移注意力。”

林一舟看了一眼桌边打印出来的四状态转移表。

在信息学竞赛里，找到一组让程序答错的数据并不算结束。

真正能够直接刺穿底层逻辑的反例，应当删除所有无关结构，让错误只指向一个明确的边界条件。

而眼前这台被江临亲手捏造出来的机器，还要满足远比竞赛苛刻得多的理论要求。

它必须在极小的状态空间内，表现出完美的局部图案平移，必须能让机器哈希和运行段校验顺利通过核验器的审查，最后，还要极其精确地沿着那条被核验器遗漏的路径，在第193步重新碰到窗口外的旧符号，并沿新触发的转移进入停机状态。

在这个逼仄的四状态空间里，江临哪怕多删一条转移规则，反例就会灰飞烟灭。

少删一条，人工复核的代码量就会成倍增加。

要在图灵机的确定性运行轨迹上，精准地找出这条狭窄到令人窒息的缝隙，并且始终维持着局部平移的伪装……

这不仅需要深厚的数学功底，更需要不带任何情绪的工程直觉。

林一舟没有再多问任何关于translated cycler细节的问题。

因为他知道，眼前这台冰冷的四状态机器本身，就是最高效也最具压迫感的回答。

顾明澈看了看江临的背影，问：“所以，你这几天都在做这个？”

江临点点头：“第一种循环已经复现完成，第二种的统一证书层被这个反例卡住了流程，至于第三种反向推理，环境还没搭建好，还没开始。”

顾明澈能够听懂的技术细节有限，却听懂了三个状态之间的重量。

一个已经完成独立复现，一个被江临用反例卡住，剩下一个仍在等待处理。

对他们而言，繁忙海狸还是计算理论中一个遥远而着名的难题；到了江临手里，它已经被拆成能够编号、复现、否决和继续推进的具体工作项。
本章未完，请翻下一页继续阅读.........