【configuration_hash_match: tRUE】

江临没有因为最后一行绿色的tRUE就轻易接受结果。

他从空白纸带重新执行转移函数，在第186步和第254步分别导出完整有限支撑、读写头位置和内部状态，再逐项比较。

两次配置完全相同。

从第186步开始，机器落入了一个无可逃脱的陷阱。

之后六十八步形成了一个封闭的拓扑环。

图灵机再次回到与起点毫无二致的配置，它未来的全部演化，只能像推石头的西西弗斯一样，机械地重复这段轨迹，直到时间尽头。

cycler证书所需的见证对象很清楚。

一张确定的包含所有分支的机器转移表。

两个明确的整数时间点。

两份通过计算得到的，必须完全一致的机器配置。

以及从第一份配置执行到第二份配置的，可由独立程序复核的确定性运行段。

江临把作者提供的四百二十七个普通cycler样例，送进自己的模拟器里全部重新跑了一遍。

四百二十七次测试，全数通过。

随后，他开始进行破坏性测试。

他写了一个简易的变异脚本，随机篡改证书中的时间点、把读写头位置偏移一格、扩大纸带验证边界，甚至仅仅是翻转了某个非活跃区间的单个符号，从而生成了一大批人为制造的伪造证书。

核验器如同无情的闸刀，将这些伪造品逐一拒绝，没有出现一次漏判。

十点五十一分，第一份复现记录撰写完成。

【cyclers_Reproduction / pASS】

【证书语义：精确配置重复】

【可信前提：核验器独立执行t1至t2之间的全部转移】

【异常测试：未发现错误接受漏洞】

江临保存虚拟机快照，物理切断隔离工作站的电源。

当天的固定技术窗口就此结束。

第二天清晨，他照常去操场。

军姿、队列、正步、休息、补水。

九月的阳光带着残存的暑气，在塑胶跑道上蒸腾。

白天的训练没有因为昨晚硬盘里那些复杂的拓扑结构发生任何变化。

关于图灵机的多维状态空间、停机与非停机的边界，全都被他严丝合缝地压在意识的后台，直到晚间窗口重新打开。

九月二日，晚上八点零九分。

江临开始复现translated cycler（平移循环）。

前一晚在审阅立项摘要时，为了让技术联络员快速理解，江临用了一个通俗的比喻，把translated cycler概括成了一枚不断向远处滚动的印章。

印章每翻滚一圈，就在纸带上留下一个相同的图案，只是位置更靠右了。

既然它永远在向右开拓新的未访问区域，自然永远不会停机。

但现在真正进入代码级别的复现，他需要检查的，恰恰是那段科普里最容易被一笔带过的附加条件。

印章确实可以不断向右滚动。
本章未完，请翻下一页继续阅读.........