江临并没有在这一串令人心安的绿色结果前停下脚步。

对于一个旨在无懈可击的安全架构来说，能验证正确的结果只是及格，能防住精心构造的恶意欺骗才是核心。

他复制了刚才那份有效的见证文件，打开了十六进制编辑器，开始手动捏造三份用于攻击的恶意样例。

第一份攻击样例：他在地图中间，人为地删掉了一个合法前驱节点。

这相当于在原本封闭的城墙上，硬生生砸出了一个缺口，抹去了一条确实存在的进路，试图欺骗核验器这张地图已经封闭。

运行核验器。

【REJEct／mISSING_pREdEcESSoR】

红灯亮起。

核验器在倒推时，发现了一个算出来的前驱不在名单上，当场拒收。

第二份攻击样例：他不动地图结构，而是悄悄挪动了局部窗口的坐标原点参数，试图将全白纸带上的起始状态，通过坐标系的偏移伪装成另一个不相关的边缘位置，借此绕过起点检查。

运行核验器。

【REJEct／bLANK_StARt_hIddEN_bY_tRANSLAtIoN】

红灯再次亮起。

严格的坐标对齐逻辑识破了伪装。

第三份攻击样例：他保留了全部真实的节点，却把几处明明尚未收拢、还可以继续往外推导的边缘节点，强行打上了已封闭的标签。

运行核验器。

核验器没有理会标签，它根据转移表现场倒推，准确地找到了证书里没有列出来的合法的上一步。

【REJEct／FALSE_cLoSURE】

三盏红灯依次在屏幕上亮起，仿佛三道坚不可摧的铁闸。

每一盏都精准地停在了伪造发生的第一现场。

在整个驳回过程中，核验器没有调用一次原始的backward Reasoning decider，也没有相信证书里那句虚假的已检查声明。

江临将一份有效见证、三份伪造见证、独立核验器的源码，以及一页极为简练的人话说明文档，封装进同一个压缩目录。

【backward_Unreachability_witness_v0.

1】

【backward_Rule_checker_v0.

1】

【Adversarial_cases／3】

随后，他把今晚会议中各方同意保留下来的共同部分，如同拼接精密仪器的底座一般接了上去。

机器描述哈希值。

空白纸带初始条件定义。

单步转移语义引擎。

证书类型路由标签。

失败位置的追踪器。

公共层的职责，到此戛然而止。

在路由标签下方，三条核验路径开始各走各的路，互不干扰。

前两条路径沿用已经确认无误的专用证明义务。
本章未完，请翻下一页继续阅读.........