江临毫不犹豫地撤销更改，退回到上一个四状态版本。

压缩后的样例只保留四个状态、七条有效转移、一个位于窗口外九格的符号，以及两次相隔26步的伪平移配置。

统一核验器在不到一秒内接受了证书。

完整模拟运行到第193步时，读写头重新碰到窗口外的符号，机器随即停机。

而将其放入底层模拟器，仅仅在运行到第193步时，读写头便撞上了那个遗留的符号，机器宣告停机。

【tc_False_Aept_case_01 / pRESSEd】

【Verifier_Result: AEpt】

【Ground_truth: hALt_At_193】

【Root_cause: Unverified_Isolation_claim(未核验的隔离声明)】

江临连接了宿舍里的小型打印机，伴随着轻微的机械运作声，把这份浓缩了整个验证漏洞的完整反例打印到了两张A4纸上。

第一张，是清清爽爽的四状态转移表，以及前两百步纸带演化的关键帧图解。

第二张，是统一核验器从读取恶意证书、跳过边界检查，一路狂奔到返回接受结果的底层系统调用路径。

这晚，江临并没有急于把这份足以推翻现有草案的反例发出去。

他需要确保沟通的绝对清晰。

于是把转移表、错误接受路径和基于底层逻辑的根因说明，用精炼的语言压成了一页只有核心事实的复核摘要。

九月四日，晚上七点四十六分。

门外传来一阵随意的敲门声。

江临看了一眼时间，按下快捷键，内部证书草案、复现报告和带有项目标识的目录同时锁定。

隔离工作站上只留下公开decider代码、他自己构造的四状态测试机，以及一组去掉了所有来源环境信息，纯粹展现底层推演的运行结果。

确认屏幕上不再有任何敏感信息后，江临起身打开了门。

赵承宇站在最前面，手里拎着烤冷面和小酥肉

顾明澈稍微靠后，手里提着一袋水珠未干的紫黑葡萄。

林一舟则抱着一盒切好的冰镇西瓜。

赵承宇往上抬了抬手里的塑料袋：“刚才在紫荆园碰上了，寻思着顺路过来看看你在不在。”

这是开学以来，三个人第一次真正踏进402室。

江临没有多说什么，转身从鞋柜里取出三双尚未拆封的塑料拖鞋撕开包装，又弯腰把折叠凳和床铺边缘的软垫拉出来，腾出足够坐下的空间。

赵承宇很快占住床沿。

顾明澈坐到相对板正的折叠凳上，把葡萄放到桌子中间。

林一舟拖过另一把靠背椅，坐下时，位置不由自主地离江临那台散发着微光的工作站稍近了一些。

烤冷面浓郁的酱汁味、小酥肉的油炸香气，很快和西瓜清冷的甜味混杂在一起，充满了市井烟火气。

最初的十几分钟，几个人边吃边谈，话题自然而然地围绕着白天枯燥的军训打转。

哪个教官计时格外严格，哪支连队休息时多唱了两首歌，明天会不会下雨，紫荆园三楼的牛肉面究竟值不值得排队。

江临坐回工作台前，一边听他们说话，一边重新运行四状态测试机。

带有内部标识的材料仍处于锁定状态，屏幕上展示的只有公开原理和不对应任何真实未决机器的人造反例。

七点五十九分，林一舟先注意到终端里的三个目录。

【cyclers_Reproduction】
本章未完，请翻下一页继续阅读.........