辑。现有的停机与非停机核验层保持冻结，本轮不动。”江临语气平稳，“我们单独在外面建立一个覆盖核即可。”
说着，他在A4纸上快速画出四个层级分明的节点图示。
【Root：根节点】
【ExpANdEd：展开节点】
【pRUNEd：剪枝节点】
【LEAF：叶节点】
“根节点必须严格对应一张全空的转移表，每一个展开节点，必须向核验器提供其下所有合法的子分支变体。每一个剪枝节点，无论是因为状态等价还是因为无意义的镜像，都必须提交局部的判定理由以及精确的等价映射函数。最后，每一个叶节点，必须能够回指到我们公布的完整枚举索引库，并无缝连接后端的停机或非停机裁决证书。”
“我明白了！”
叶宁作为系统架构的老手，大脑飞速运转，立刻跟上了他那跳跃性的工程思路。
“这样一来，这个新加的覆盖核，根本不需要懂任何复杂的停机判定逻辑，它不需要知道什么是繁忙海狸。它唯一的工作，就是像一个严格的账房先生一样，顺着树根往上爬，检查整棵树在生长的过程中，有没有莫名其妙地少长了一根枝干。”
“还要检查每一个被折叠的分支，能不能根据映射规则，回到唯一的规范代表。”江临继续说道，“所以，交给外部节点的不能只有最终的几组哈希。父节点指针、状态重命名置换、子分支清单，以及每一次剪枝的见证，都要导出来。”
周述快速估算了一遍数据规模，咽了口唾沫，道：“这样生成的覆盖见证，可能比现有证书库还要大几十倍。”
“按搜索树深度分块。”江临说，“父指针、子分支清单和剪枝见证交给覆盖核，用来检查整棵树有没有断口；每个文件块另外计算rkle根，只负责锁定内容和版本。总清单记录分块范围、排列顺序和各自的根哈希。”
叶宁问：“外部节点可以只做抽样？”
“可以抽样检查数据有没有被替换，不能靠抽样证明搜索空间没有遗漏。”江临说，“想在覆盖性结论后面签字，就必须把全部分块交给覆盖核重放一遍。”
说着，他在纸上分别圈出两个位置。
“rkle根负责证明他们拿到的是同一份数据，覆盖核负责证明这份数据没有少掉一根枝条。”
一直沉默倾听的乔闻铎，终于忍不住问道：“完成这套接口，需要多久？”
江临看了一眼屏幕上两套枚举器目前已有的、堆积如山的中间态文件缓存。
“幸运的是，核心的搜索树数据都在硬盘里，我们没有清空缓存。现在缺的，只是一套可供全球公开审阅的证明格式，以及一个轻量级的小核验器程序。今晚十二点前，我来冻结格式规范。明天全天，两套实现组负责将中间数据按照格式导出。后天，把这套覆盖体系交给红队去疯狂攻击。”
江临看向第三方负责人。
“原定的论文发布会和新闻通稿，全部继续延期。”乔闻铎没有任何犹豫，当即拍板决断，“只要欧洲那个代表hoLd的红框不清零，我们就绝不启动任何实质性的公开动作。”
偌大的会议室里，没有任何人提出异议。
……
九月十六日，晚上九点。
经过三个小时的高强度讨论和反复推敲，覆盖见证的格式规范被江临正式敲定并冻结。
九月十七日，凌晨两点十二分。
Rust侧的枚举导出器在一阵疯狂的磁盘读写后，终于吐出了第一批庞大的搜索树分块文件。
然而，新编写的覆盖核在验证到第七层深度时，屏幕上弹出了刺眼的红色警告。
拒绝接收。
错误并非出在枚举结果的正确性上。
监控日志显示，在第七层的一个被系统标记为状态重命名的剪枝节点里，导出程序只懒惰地保存了目标规范代表的编号，却遗漏了从原始状态名称到规范状态名称的完整置换映射矩阵。
对于人类的直觉来说，根据前后文的逻辑连贯性，很容易就能脑补出那缺失的几步映射。
但江临编写的小核验器没有任何人类的温情与妥协。
它拒绝进行任何形式的猜测。
缺乏显式证明，就是非法。
导出格式被无情退回。负责Rust接口的研究员狠狠地搓了搓脸，重新扎进代码堆里修改导出逻辑。
凌晨四点五十六分，置换映射字段被老老实实地补齐，之前生成的几十个G的分块文件全部作废，重新开始导出。
上午十一点，在经历了无数次微小的格式摩擦后，oca侧的覆盖核终于完成了全库的第一次独立重放校验。
四条绿色的通行证依次亮起。
【Root_REAchAbILItY/pASS（根节点可达性通过）】
【bRANch_pLEtENESS/pASS（分支完备性通过）】
【pRUNING_wItNESS/pASS（剪枝见证合法性通过）】
【LEAF_INdEx_LINK/pASS（叶节点索引链接通过）】
下午三点，真正的考验降临。
第三方红队接手了系统。
这群由国内顶尖安全专家和形式化验证领域的找茬高手组成的队伍，将四百组精心构造、极度恶毒的破坏性覆盖见证，悄无声息地混入了几百万个正常的分块隐藏集中。
他们手段百出。
在某个千万级的分支深处，悄悄删掉一个不起眼的合法子分支。
在一张复杂的转移表里，恶意交换两个状态的名称，却故意不去修改对应的置换矩阵。
通过修改指针，让一个本该指向父节点的剪枝节点，诡异地形成死循环，指向了它自己。
甚至，用一个表面上完全正确的叶子编号，去狸猫换太子般替换掉其上方错误的父节点哈希。
这是一场在海量数据中寻找一根毒针的残酷测试。
然而，到了夜里十点，两套独立运行的覆盖核，将这四百组精心伪装的变异见证全部拦截、报警并拒绝。无一漏网。
确认系统坚不可摧后，最终的覆盖见证总包被打包加密，顺着跨国网络光缆，安静地送入了面向外部的只读仓库。
远在欧洲的马丁没有回复任何邮件，他只在那个所有受邀节点都能看到的全球共享审查页上，将hoLd标记后面的最后更新时间，默默地改成了欧洲中部时间下午四点零三分。
九月十八日，星期日。
整个白天，第二复现节点始终保持着令人窒息的安静。
没有任何消息传来，没有提问，也没有报错。
慕尼黑的地下书房里，马丁放弃了项目组好心给出的那条顺藤摸瓜的叶子索引顺序。
他像一个多疑的老侦探，选择了最笨也最难作弊的验证方式。
从自己昨夜生成的那些海量的、带有个人标记的原始机器数据中，随机抽取状态置换与镜像变体。
然后将这些变体输入到清华公开的映射规则引擎中，强行要求引擎进行逆向运算，去茫茫数据海中寻找清华团队声称存在的那个规范代表。
随后，他又从清华提供的庞大叶子索引库进行反向展开验证。
沿着那几千万条父指针，一条一条地向上爬溯，死板地检查每一条孤立的指针，是否最终都能殊途同归，毫无矛盾地回到那个空无一物的Root根节点。
第一百万条校验，成立。
第一千万条校验，成立。
第三千万条，第四千万条……
直到第四千六百万条，依然牢不可破。
清华会议室的共享页面被设定为每隔一个小时自动刷新一次。
整个周末，RUNNING状态后面的处理进度计数就像心跳一样持续增长，但那个刺眼的红色hoLd标记，始终固执地驻留在那里。
北京时间下午六点三十一分，马丁那台已经连续满负荷运算了不知道多少个小时的核验程序，终于艰难地爬到了最后一个数据分块的尽头。
终端屏幕微微闪烁了一下，首先给出了两行毫无规律的哈希字符串。
第一行，是清华团队公布的覆盖见证默克尔总根。
第二行，是马丁的本地计算机，经历了几十个小时独立重跑、重建后，计算得出的本地总根。
马丁凑近屏幕。
两行如同乱码般的字符，上下排列着。
从第一个字母，到最后一位数字，严丝合缝，逐位相同。
没有哪怕一个比特的偏差。
随后，伴随着几声清脆的系统提示音，四项最终验证结果在屏幕中央依次弹出，闪烁着代表通过的绿光。
【FULL SEARch tREE / coVEREd（全搜索树覆盖确认）】
【NoRL FoRoRbItS / ppEd（规范型轨道映射确认）】
【hALtING INdEx / LINKEd（停机索引链接确认）】
【NoNhALtING INdEx / LINKEd（非停机索引链接确认）】
看着四项绿色结果全部亮起，马丁将本地编译环境、覆盖核版本、四项裁决摘要和默克尔总根写入审查记录，又从最后一批数据中抽出三个分块，重新反向核对。
结果没有变化。
这一次，他打开了那封在草稿箱里搁置两天的审查回执。
指尖飞舞。
【覆盖链已闭合，逻辑未见断裂。】
【我已用独立枚举逻辑重建规范代表目录，并完成
说着，他在A4纸上快速画出四个层级分明的节点图示。
【Root：根节点】
【ExpANdEd：展开节点】
【pRUNEd：剪枝节点】
【LEAF：叶节点】
“根节点必须严格对应一张全空的转移表，每一个展开节点，必须向核验器提供其下所有合法的子分支变体。每一个剪枝节点，无论是因为状态等价还是因为无意义的镜像，都必须提交局部的判定理由以及精确的等价映射函数。最后，每一个叶节点，必须能够回指到我们公布的完整枚举索引库，并无缝连接后端的停机或非停机裁决证书。”
“我明白了！”
叶宁作为系统架构的老手，大脑飞速运转，立刻跟上了他那跳跃性的工程思路。
“这样一来，这个新加的覆盖核，根本不需要懂任何复杂的停机判定逻辑，它不需要知道什么是繁忙海狸。它唯一的工作，就是像一个严格的账房先生一样，顺着树根往上爬，检查整棵树在生长的过程中，有没有莫名其妙地少长了一根枝干。”
“还要检查每一个被折叠的分支，能不能根据映射规则，回到唯一的规范代表。”江临继续说道，“所以，交给外部节点的不能只有最终的几组哈希。父节点指针、状态重命名置换、子分支清单，以及每一次剪枝的见证，都要导出来。”
周述快速估算了一遍数据规模，咽了口唾沫，道：“这样生成的覆盖见证，可能比现有证书库还要大几十倍。”
“按搜索树深度分块。”江临说，“父指针、子分支清单和剪枝见证交给覆盖核，用来检查整棵树有没有断口；每个文件块另外计算rkle根，只负责锁定内容和版本。总清单记录分块范围、排列顺序和各自的根哈希。”
叶宁问：“外部节点可以只做抽样？”
“可以抽样检查数据有没有被替换，不能靠抽样证明搜索空间没有遗漏。”江临说，“想在覆盖性结论后面签字，就必须把全部分块交给覆盖核重放一遍。”
说着，他在纸上分别圈出两个位置。
“rkle根负责证明他们拿到的是同一份数据，覆盖核负责证明这份数据没有少掉一根枝条。”
一直沉默倾听的乔闻铎，终于忍不住问道：“完成这套接口，需要多久？”
江临看了一眼屏幕上两套枚举器目前已有的、堆积如山的中间态文件缓存。
“幸运的是，核心的搜索树数据都在硬盘里，我们没有清空缓存。现在缺的，只是一套可供全球公开审阅的证明格式，以及一个轻量级的小核验器程序。今晚十二点前，我来冻结格式规范。明天全天，两套实现组负责将中间数据按照格式导出。后天，把这套覆盖体系交给红队去疯狂攻击。”
江临看向第三方负责人。
“原定的论文发布会和新闻通稿，全部继续延期。”乔闻铎没有任何犹豫，当即拍板决断，“只要欧洲那个代表hoLd的红框不清零，我们就绝不启动任何实质性的公开动作。”
偌大的会议室里，没有任何人提出异议。
……
九月十六日，晚上九点。
经过三个小时的高强度讨论和反复推敲，覆盖见证的格式规范被江临正式敲定并冻结。
九月十七日，凌晨两点十二分。
Rust侧的枚举导出器在一阵疯狂的磁盘读写后，终于吐出了第一批庞大的搜索树分块文件。
然而，新编写的覆盖核在验证到第七层深度时，屏幕上弹出了刺眼的红色警告。
拒绝接收。
错误并非出在枚举结果的正确性上。
监控日志显示，在第七层的一个被系统标记为状态重命名的剪枝节点里，导出程序只懒惰地保存了目标规范代表的编号，却遗漏了从原始状态名称到规范状态名称的完整置换映射矩阵。
对于人类的直觉来说，根据前后文的逻辑连贯性，很容易就能脑补出那缺失的几步映射。
但江临编写的小核验器没有任何人类的温情与妥协。
它拒绝进行任何形式的猜测。
缺乏显式证明，就是非法。
导出格式被无情退回。负责Rust接口的研究员狠狠地搓了搓脸，重新扎进代码堆里修改导出逻辑。
凌晨四点五十六分，置换映射字段被老老实实地补齐，之前生成的几十个G的分块文件全部作废，重新开始导出。
上午十一点，在经历了无数次微小的格式摩擦后，oca侧的覆盖核终于完成了全库的第一次独立重放校验。
四条绿色的通行证依次亮起。
【Root_REAchAbILItY/pASS（根节点可达性通过）】
【bRANch_pLEtENESS/pASS（分支完备性通过）】
【pRUNING_wItNESS/pASS（剪枝见证合法性通过）】
【LEAF_INdEx_LINK/pASS（叶节点索引链接通过）】
下午三点，真正的考验降临。
第三方红队接手了系统。
这群由国内顶尖安全专家和形式化验证领域的找茬高手组成的队伍，将四百组精心构造、极度恶毒的破坏性覆盖见证，悄无声息地混入了几百万个正常的分块隐藏集中。
他们手段百出。
在某个千万级的分支深处，悄悄删掉一个不起眼的合法子分支。
在一张复杂的转移表里，恶意交换两个状态的名称，却故意不去修改对应的置换矩阵。
通过修改指针，让一个本该指向父节点的剪枝节点，诡异地形成死循环，指向了它自己。
甚至，用一个表面上完全正确的叶子编号，去狸猫换太子般替换掉其上方错误的父节点哈希。
这是一场在海量数据中寻找一根毒针的残酷测试。
然而，到了夜里十点，两套独立运行的覆盖核，将这四百组精心伪装的变异见证全部拦截、报警并拒绝。无一漏网。
确认系统坚不可摧后，最终的覆盖见证总包被打包加密，顺着跨国网络光缆，安静地送入了面向外部的只读仓库。
远在欧洲的马丁没有回复任何邮件，他只在那个所有受邀节点都能看到的全球共享审查页上，将hoLd标记后面的最后更新时间，默默地改成了欧洲中部时间下午四点零三分。
九月十八日，星期日。
整个白天，第二复现节点始终保持着令人窒息的安静。
没有任何消息传来，没有提问，也没有报错。
慕尼黑的地下书房里，马丁放弃了项目组好心给出的那条顺藤摸瓜的叶子索引顺序。
他像一个多疑的老侦探，选择了最笨也最难作弊的验证方式。
从自己昨夜生成的那些海量的、带有个人标记的原始机器数据中，随机抽取状态置换与镜像变体。
然后将这些变体输入到清华公开的映射规则引擎中，强行要求引擎进行逆向运算，去茫茫数据海中寻找清华团队声称存在的那个规范代表。
随后，他又从清华提供的庞大叶子索引库进行反向展开验证。
沿着那几千万条父指针，一条一条地向上爬溯，死板地检查每一条孤立的指针，是否最终都能殊途同归，毫无矛盾地回到那个空无一物的Root根节点。
第一百万条校验，成立。
第一千万条校验，成立。
第三千万条，第四千万条……
直到第四千六百万条，依然牢不可破。
清华会议室的共享页面被设定为每隔一个小时自动刷新一次。
整个周末，RUNNING状态后面的处理进度计数就像心跳一样持续增长，但那个刺眼的红色hoLd标记，始终固执地驻留在那里。
北京时间下午六点三十一分，马丁那台已经连续满负荷运算了不知道多少个小时的核验程序，终于艰难地爬到了最后一个数据分块的尽头。
终端屏幕微微闪烁了一下，首先给出了两行毫无规律的哈希字符串。
第一行，是清华团队公布的覆盖见证默克尔总根。
第二行，是马丁的本地计算机，经历了几十个小时独立重跑、重建后，计算得出的本地总根。
马丁凑近屏幕。
两行如同乱码般的字符，上下排列着。
从第一个字母，到最后一位数字，严丝合缝，逐位相同。
没有哪怕一个比特的偏差。
随后，伴随着几声清脆的系统提示音，四项最终验证结果在屏幕中央依次弹出，闪烁着代表通过的绿光。
【FULL SEARch tREE / coVEREd（全搜索树覆盖确认）】
【NoRL FoRoRbItS / ppEd（规范型轨道映射确认）】
【hALtING INdEx / LINKEd（停机索引链接确认）】
【NoNhALtING INdEx / LINKEd（非停机索引链接确认）】
看着四项绿色结果全部亮起，马丁将本地编译环境、覆盖核版本、四项裁决摘要和默克尔总根写入审查记录，又从最后一批数据中抽出三个分块，重新反向核对。
结果没有变化。
这一次，他打开了那封在草稿箱里搁置两天的审查回执。
指尖飞舞。
【覆盖链已闭合，逻辑未见断裂。】
【我已用独立枚举逻辑重建规范代表目录，并完成