第167章 第193步的崩塌（6 / 13）
江临移动滑鼠，把任务看板上的状態从【漏洞確认】改成了【反例压缩】。
十一点，固定窗口关闭。
江临保存所有进度，安静地合上电脑。
第三天晚上，江临依然没有去碰第三个项目 backward reasoning（反向推理）。
他调出了昨晚那台错误接受的测试对象，开始进行枯燥却需要逻辑直觉的剪枝工作。
他要在不破坏底层漏洞逻辑的前提下，逐项刪除机器多余的状態节点和转移路径。
首先，他尝试將五个状態节点压缩成四个。
刪去一个辅助跳转状態，重新路由相关的转移指令。
重新运行统一核验器，依然被欺骗接受。
运行模擬器，机器依然在数千步后停机。
错误路径存活。
接著，他盯上了转移表里一条只有在机器刚启动，向左游荡那几十步里才会被触发的冗余支路。
手起刀落，將分支抹平。
重新测试，错误仍然存在。
隨后，他开始挑战物理空间的极限。
那台机器把炸弹符號扔在了距离主体图案三十七格远的地方。
这太远了。
江临调整了写入逻辑，让机器刚走出去九格，就把那个1留在原地，然后立刻掉头开始构筑偽造的平移结构。
统一核验器依然对九格之外的隱患视而不见，盲目接受。
而原本要熬到第6841步才会暴露的衝突，因为物理距离的缩短，被极大地提前到了第193步。
江临看著转移表，试图进行最后一次极限压缩。
他试图再刪掉一个状態节点，让机器变成三状態。
但这一次，数学的刚性显现了。
在当前构造中，再刪一个状態便无法同时保留局部平移和延迟回访。
江临毫不犹豫地撤销更改，退回到上一个四状態版本。
压缩后的样例只保留四个状態、七条有效转移、一个位於窗口外九格的符號，以及两次相隔26步的偽平移配置。
统一核验器在不到一秒內接受了证书。完整模擬运行到第193步时，读写头重新碰到窗口外的符號，机器隨即停机。
而將其放入底层模擬器，仅仅在运行到第193步时，读写头便撞上了那个遗留的符號，机器宣告停机。
【tc_false_accept_case_01 / compressed】
【verifier_result: accept】 ↑返回顶部↑
十一点，固定窗口关闭。
江临保存所有进度，安静地合上电脑。
第三天晚上，江临依然没有去碰第三个项目 backward reasoning（反向推理）。
他调出了昨晚那台错误接受的测试对象，开始进行枯燥却需要逻辑直觉的剪枝工作。
他要在不破坏底层漏洞逻辑的前提下，逐项刪除机器多余的状態节点和转移路径。
首先，他尝试將五个状態节点压缩成四个。
刪去一个辅助跳转状態，重新路由相关的转移指令。
重新运行统一核验器，依然被欺骗接受。
运行模擬器，机器依然在数千步后停机。
错误路径存活。
接著，他盯上了转移表里一条只有在机器刚启动，向左游荡那几十步里才会被触发的冗余支路。
手起刀落，將分支抹平。
重新测试，错误仍然存在。
隨后，他开始挑战物理空间的极限。
那台机器把炸弹符號扔在了距离主体图案三十七格远的地方。
这太远了。
江临调整了写入逻辑，让机器刚走出去九格，就把那个1留在原地，然后立刻掉头开始构筑偽造的平移结构。
统一核验器依然对九格之外的隱患视而不见，盲目接受。
而原本要熬到第6841步才会暴露的衝突，因为物理距离的缩短，被极大地提前到了第193步。
江临看著转移表，试图进行最后一次极限压缩。
他试图再刪掉一个状態节点，让机器变成三状態。
但这一次，数学的刚性显现了。
在当前构造中，再刪一个状態便无法同时保留局部平移和延迟回访。
江临毫不犹豫地撤销更改，退回到上一个四状態版本。
压缩后的样例只保留四个状態、七条有效转移、一个位於窗口外九格的符號，以及两次相隔26步的偽平移配置。
统一核验器在不到一秒內接受了证书。完整模擬运行到第193步时，读写头重新碰到窗口外的符號，机器隨即停机。
而將其放入底层模擬器，仅仅在运行到第193步时，读写头便撞上了那个遗留的符號，机器宣告停机。
【tc_false_accept_case_01 / compressed】
【verifier_result: accept】 ↑返回顶部↑