它会为了效率进行大幅度的剪枝、合并状态空间，并使用各种优化策略。

如果所谓的分离规则仍然在底层把这些探索性的工作全做一遍，那么可信边界根本没有被缩小，它只是从一个巨大的黑箱，变成了三个稍微小一点的黑箱。

江临移动光标，打开昨晚自己归档的一份手绘架构草图，将屏幕共享权切了过来。

在图表上的搜索程序与核验规则之间，用红色的线条划下了一道不可逾越的鸿沟。

“decider负责在黑暗里找证据，核验规则只负责在灯光下验收证据。”

江临的声音平静，却带着不容置疑的确定性。

“搜索端可以扩展大量局部配置，反复进行前驱生成、去重与剪枝；核验端只检查证书提交的有限对象。

它不搜索新节点，也不依赖任何决定结论的启发式优化。”

江临将光标停在那条红线上。

“它只回答两个最简单的问题：第一，证书里列出的事实，能不能由机器的最底层转移表重新推算出来？

第二，证书声称覆盖的证明义务，在数学上有没有逻辑缺口？”

周述注视着屏幕上那条泾渭分明的分界线，镜片后的眼睛微微眯起，沉默了几秒钟，说道：“也就是说，搜索端可以继续保持聪明、狡猾甚至激进，但裁判端必须足够笨。”

“越笨越好。”江临毫不迟疑地回答，“笨到任何一行代码都能被人工一眼看穿。”

叶宁将第三套方案移到了页面的最上方，快速评估了可行性，说道：“translated cycler这边可以做到，专用的decider继续在外面负责寻找平移段，规则层只负责重放这一段有限的运行轨迹，然后再检查最大回退范围。

所有的搜索和探测策略，全部留在边界外面。”

周述揉了揉眉心，提出了最棘手的问题：“普通的Exact cycle 循环也可以直接拆。

真正卡住我们的，还是backward Reasoning。

它交来的结果如果仍然是一整棵庞大的反向搜索树，小核验器照样要陪着它重新遍历一遍。

这又绕回了原点。”

江临切换了终端页面，敲击了几下键盘，调出了一个全新的目录。

【backward_Reasoning_Reproduction／pENdING】

“所以，第三类程序现在还不能直接接入。

我今晚会进行复现和重构。

它最终需要交出来的，应该是一张已经穷尽所有可能的‘有限地图’，而不是冗长的搜索过程。”

一直静静倾听的乔闻铎此时终于开口：“一张地图，怎样在不借助外部搜索的前提下，向一个毫无智能的核验器证明自己没有漏掉任何一条路？”

“让核验器根据机器的单步转移表，自己去倒推地图上每一个节点的合法前驱。”江临给出了答案，“核验器绝不往外做任何探索。

它只做一件事：核对根据规则计算出的所有合法前驱，是否都已经存在于这张地图的边界之内。”

乔闻铎深深地看了屏幕里的江临一眼，转头看向周述。

“把江临刚才说的这句话，一字不差地写进第三套方案的设计约束里。”

周述的手指在键盘上飞快敲击，纪要系统里立刻多了一行加粗的红字。

【系统设计铁律：搜索与推断能力不得进入可信核；可信核只验证有限见证及其逻辑闭合义务。】

随后，周述拿起手边那份盖有撤回标记的第一页打印稿，将其翻了过去，露出下面密密麻麻的底层代码。

“如果backward Reasoning也能按照这条边界清晰地拆开，那么过去三个月的工作，就真的只废掉了最上面的那三项统包接口。”周述长舒了一口气，“新规范出来以后，其中一套独立实现，由我来写。”

八点十五分，十五分钟的议程结束，会议通道关闭。

江临回到隔离工作站的界面前。

前两个复现目录【cyclers_Reproduction】和【translated_cyclers_Reproduction】保持着加密封存状态。
本章未完，请翻下一页继续阅读.........