第170章 把零交给全世界（1 / 2）

九月十六日，北京时间上午九点十七分。

欧洲中部夏令时间，凌晨三点十七分。

第二復现节点的负责人马丁维尔纳，在自己的工作记录里写下一个刺眼的红色单词。

【hold】

他面前开著四个高解析度显示窗口，冷色的萤光映照著他那张布满疲態却异常严肃的脸。

左上角，是清华项目组向受邀復现节点的临时只读仓库，里面躺著刚刚传来的最后一批见证文件。

右上角，是他从2006年便开始一点一滴建立並维护的五状態图灵机镜像库。

下方的两块终端，分別运行著项目组提供的rt版本证书检查器，以及他自己耗费数年心血编写的规范化枚举程序。

六小时前，第一份来自其他外部復现节点的结果就已经传到了他的邮箱。

宏状態证书成立。

两套互相物理隔离的核验器，在截然不同的编译工具链下，给出了逐位一致的逻辑裁决摘要。

最后一台holdout的宏状態不变量证书，已经通过独立核验。

第一份外部復现宣告胜利，但马丁並未在那份pass后面签下自己的名字。

他追踪五状態机器整整十六年，见证过太多次黎明前的虚假曙光，见过太多漂亮的局部结论。

某台机器被参数化重写规则证明永不停机，某类具有分形特徵的轨跡被自动机理论吞噬，某个精巧的判定器在短短一小时內清空几百万条疑似记录。

每一次的进展都无比真实，每一次的欢呼也都有著坚实的理由。

可是，五状態繁忙海狸那座庞大的冰山，始终在水面下留著最后一道缝隙。

因为，证明一台机器不会停机，与证明所有符合条件的竞爭者都已经毫无遗漏地被列入审查，这中间隔著一整片浩瀚无垠且危机四伏的搜索空间。

就像在一片原始黑森林里寻找最高的那棵树，你测量了眼前所有树的高度，但你如何向世界证明，森林的某个被遗忘的暗角里，没有藏著另一棵参天巨木

马丁关掉已经绿灯常亮的宏状態核验窗口，直接在命令行里拆掉项目组附带的那套规范化工具。

他要亲自重走一遍这片黑森林。

他从最基础的空转移表开始，捨弃了清华团队提供的搜索树路径，用自己定义的状態命名顺序重新展开庞大的搜索空间。

第一轮，他只在搜索树前九层关闭左右镜像约化，逐项核对被摺叠的分支。

第二轮，他改用另一套新状態首现顺序，重新生成完整的规范代表目录。

第三轮，他从被剪枝分支中抽取原始转移表，不接受项目组给出的代表编號，独立计算每台机器对应的规范映射。

工作站机箱里的处理器风扇发出悽厉的轰鸣，连续高负载运转了整整五个小时。

咖啡壶底部剩下的一层黑色液体早就冷透了，凝结出一圈苦涩的深色水垢。

当天光从百叶窗的缝隙里一点点挤进来，照亮满桌的草稿纸时，两套规范代表目录的最终计数弹了出来。

完全对齐。

马丁紧盯那个相同的数字，眉头反而压得更低了，眼角的纹路深刻得像是刀刻。

数量相同，只能说明双方在黑暗中摸索，最终走到了同样大小的终点。

但这远远不够。

如果同一条枚举规范在最底层的概念设计上，就不慎漏掉了一类极为罕见的机器变体呢

那么两套遵循同一规格的程序，完全可能毫无察觉地在同一个地方漏掉同一批数据。

他深吸了一口气，打开清华团队发来的论文草稿。

在枚举完备性这一节里，用红色的电子笔连续標出七处批註。

隨后打开邮件客户端。

邮件只有四行。

【你们已经证明，目录中的每台机器都有归宿。】

【但我仍无法確认，目录之外是否还站著一台机器。】

【两套枚举器输出一致，不能替代对整个搜索空间的可机械核验的覆盖证明。】

【在覆盖链可独立核验之前，我无法为最终结论签字。】

邮件发出后，他切回共享审查页，將第二復现节点的状態从代表运行的绿色runng，改成了红色的hold。

一个刺眼的红色方框出现在外部復现共享页的顶端。

在第一份狂欢般的pass旁边，多了一枚没有倒计时的钉子。

……

北京，下午五点四十三分。

乔闻鐸將那封带有红色hold標记的邮件投射到会议室大屏幕上时，值守组刚刚完成白班与夜班的交接。

昨夜装满浓缩咖啡的纸杯已经被保洁阿姨收走，白板上江临写下的那些宏状態推导公式，也已经由专人完成了高精度拍照、编號和绝密封存，白板被擦得乾乾净净。

新来的值守人员精神尚可，坐在靠墙位置休息的几个核心成员却连眼睛都睁不开，脸色呈现出透支过度的灰白。

周述原本把外套捲成一团垫在颈后准备补个觉，听到乔闻鐸念出覆盖证明四个字，又猛地睁开眼，直愣愣地坐直了身体。

“他避开了skelet#17的最后防线，直接去挖我们整个资料库的根基了。”

叶寧看完大屏幕上的邮件，揉著乾涩的双眼，声音沙哑。

“挖得对。”坐在角落的第三方红队负责人冷不丁地开口，语气不仅没有被刁难的愤怒，反而透著激赏。

会议室里几道疲惫的目光同时转向他。

第三方负责人站起身，走到控制台前，把项目总架构图调出来，用雷射笔指向最左侧的庞大枚举入口。

“我们这几个月，一直沿著同一份树形规范做双路生成。大家想想，实现了物理隔离，使用了不同语言，但这叫什么这叫规格同源。两个结果完全一致，只能帮我们排除绝大部分工程层面、代码层面的低级错误。它排除不了规格设计层面的共同盲区。如果那张网本身就破了一个洞，两张一模一样的网重叠在一起，那个洞依然存在。”

周述伸手翻开桌面上列印好的论文草稿，直接翻到关於枚举的第三章节。

那一节洋洋洒洒写了完整转移空间的理论规模，详细阐述了树形规范化的裁剪逻辑，写了状態重命名、镜像等价映射与状態重命名置换表，也给出了rt和ocal两套独立生成结果的哈希比对。

对於项目內部从头跟到尾的人来说，这条逻辑链条清清楚楚，一眼就能看明白。

但远在欧洲的马丁不肯接受一眼能看明白。

数学不相信直觉。

他要求清华团队必须留下每一根被剪掉的树枝的断口痕跡。

要求任何人，哪怕是一个普通的大二学生，只要从根节点出发，仅凭公开的剪枝规则，就能严丝合缝地重新走到全部规范叶节点，中间不能有任何需要信任的跳跃。

“那在草稿里补一节数学证明”周述皱著眉头问。

“他要的是可运行、可检验的代码级见证，一节文字可说服不了他。”乔闻鐸转头看向会议室紧闭的大门，“江临几点到”

叶寧看了一眼时间：“他的固定技术窗口是下午六点。”

六点零八分，会议室的门被推开。

江临背著那个似乎永远装不满的双肩包走进来，手里还拿著一本刚刚从李文正图书馆借出的砖头书——《自动机理论、语言和计算导论》。

会议室里的气氛压抑得仿佛暴雨前夕，但他脸上的神情依然平静如水。

他在周述旁边的空位坐下，没有先问发生了什么，而是按照自己的节奏，先扫了一眼外部节点提交的原始运行日誌，接著仔细读完马丁那封言辞犀利的邮件。

等最后调出两套枚举器目前被冻结的规格文档，他说：“把他们生成阶段遇到过、但由於被剪枝而无法直接映射到最终索引的原始转移表给我。”

“对方没有提交具体的反例数据。”叶寧把进度条拉到底部，“他不是找到了漏洞，而是在质疑我们的体系。他认为我们没有给出机器层级可检验的覆盖链条。”

江临听完，將手边的论文草稿向后翻了两页，目光在空白的边距上停留了片刻。

“质疑成立。”

他给出了简短有力的四个字。

周述手里正在转动的碳素笔啪的一声掉在桌子上。

“我们的枚举真的有遗漏”

“现有数据是对的，从结论来看，也看不出遗漏。”

江临拿过一张崭新的a4纸，用笔在纸上將全库的处理流程从中间划开，分成左右两半。

“但公开证明的体系的確缺了一个关键接口。你们看，现在的核验器，只是在尽职尽责地回答这片叶子为什么停机或者那片叶子为什么陷入死循环。可是搜索树究竟从哪里开始生根”

江临的笔尖重重地点在左半边代表搜索树的空白区域。

“在几百亿次展开中，哪些分支被允许继续生长哪些分支因为何种规则被无情剪掉留下来的叶子又是如何精確对应到完整枚举目录里的这些海量的信息，目前全部被封装、遗留在我们的枚举器內部。外部復现者如果想要確认，只能选择重新相信我们的枚举器代码是没有逻辑漏洞的。”

江临抬起头，环视眾人：“在形式化验证里，凡是没有显式写入证明链的假设，都属於可信基。”

第三方负责人双手交叉抱在胸前，眼神锐利地盯著江临：“目前的共享可信核已经作为基石被彻底冻结，绝不能再改动一行代码。你准备怎么做，在底层之上再强行加一个可信层”

“不需要触碰现有的任何停机判定逻辑。现有的停机与非停机核验层保持冻结，本轮不动。”江临语气平稳，“我们单独在外面建立一个覆盖核即可。”

说著，他在a4纸上快速画出四个层级分明的节点图示。

【root：根节点】

【expanded：展开节点】

【pruned：剪枝节点】

【leaf：叶节点】

“根节点必须严格对应一张全空的转移表，每一个展开节点，必须向核验器提供其下所有合法的子分支变体。每一个剪枝节点，无论是因为状態等价还是因为无意义的镜像，都必须提交局部的判定理由以及精確的等价映射函数。最后，每一个叶节点，必须能够回指到我们公布的完整枚举索引库，並无缝连接后端的停机或非停机裁决证书。”

“我明白了！”

叶寧作为系统架构的老手，大脑飞速运转，立刻跟上了他那跳跃性的工程思路。

“这样一来，这个新加的覆盖核，根本不需要懂任何复杂的停机判定逻辑，它不需要知道什么是繁忙海狸。它唯一的工作，就是像一个严格的帐房先生一样，顺著树根往上爬，检查整棵树在生长的过程中，有没有莫名其妙地少长了一根枝干。”

“还要检查每一个被摺叠的分支，能不能根据映射规则，回到唯一的规范代表。”江临继续说道，“所以，交给外部节点的不能只有最终的几组哈希。父节点指针、状態重命名置换、子分支清单，以及每一次剪枝的见证，都要导出来。”

周述快速估算了一遍数据规模，咽了口唾沫，道：“这样生成的覆盖见证，可能比现有证书库还要大几十倍。”

“按搜索树深度分块。”江临说，“父指针、子分支清单和剪枝见证交给覆盖核，用来检查整棵树有没有断口；每个文件块另外计算rkle根，只负责锁定內容和版本。总清单记录分块范围、排列顺序和各自的根哈希。”

叶寧问：“外部节点可以只做抽样”

“可以抽样检查数据有没有被替换，不能靠抽样证明搜索空间没有遗漏。”江临说，“想在覆盖性结论后面签字，就必须把全部分块交给覆盖核重放一遍。”

说著，他在纸上分別圈出两个位置。

“rkle根负责证明他们拿到的是同一份数据，覆盖核负责证明这份数据没有少掉一根枝条。”

一直沉默倾听的乔闻鐸，终於忍不住问道：“完成这套接口，需要多久”

江临看了一眼屏幕上两套枚举器目前已有的、堆积如山的中间態文件缓存。

“幸运的是，核心的搜索树数据都在硬碟里，我们没有清空缓存。现在缺的，只是一套可供全球公开审阅的证明格式，以及一个轻量级的小核验器程序。今晚十二点前，我来冻结格式规范。明天全天，两套实现组负责將中间数据按照格式导出。后天，把这套覆盖体系交给红队去疯狂攻击。”

江临看向第三方负责人。

“原定的论文发布会和新闻通稿，全部继续延期。”乔闻鐸没有任何犹豫，当即拍板决断，“只要欧洲那个代表hold的红框不清零，我们就绝不启动任何实质性的公开动作。”

偌大的会议室里，没有任何人提出异议。

……

九月十六日，晚上九点。

经过三个小时的高强度討论和反覆推敲，覆盖见证的格式规范被江临正式敲定並冻结。

九月十七日，凌晨两点十二分。

rt侧的枚举导出器在一阵疯狂的磁碟读写后，终於吐出了第一批庞大的搜索树分块文件。

然而，新编写的覆盖核在验证到第七层深度时，屏幕上弹出了刺眼的红色警告。

拒绝接收。

错误並非出在枚举结果的正確性上。

监控日誌显示，在第七层的一个被系统標记为状態重命名的剪枝节点里，导出程序只懒惰地保存了目標规范代表的编號，却遗漏了从原始状態名称到规范状態名称的完整置换映射矩阵。

对於人类的直觉来说，根据前后文的逻辑连贯性，很容易就能脑补出那缺失的几步映射。

但江临编写的小核验器没有任何人类的温情与妥协。

它拒绝进行任何形式的猜测。

缺乏显式证明，就是非法。

导出格式被无情退回。负责rt接口的研究员狠狠地搓了搓脸，重新扎进代码堆里修改导出逻辑。

凌晨四点五十六分，置换映射栏位被老老实实地补齐，之前生成的几十个g的分块文件全部作废，重新开始导出。

上午十一点，在经歷了无数次微小的格式摩擦后，ocal侧的覆盖核终於完成了全库的第一次独立重放校验。

四条绿色的通行证依次亮起。

【root_reachability/pass（根节点可达性通过）】

【branch_pleteness/pass（分支完备性通过）】

【prung_witness/pass（剪枝见证合法性通过）】

【leaf_dex_lk/pass（叶节点索引连结通过）】

下午三点，真正的考验降临。

第三方红队接手了系统。

这群由国內顶尖安全专家和形式化验证领域的找茬高手组成的队伍，將四百组精心构造、极度恶毒的破坏性覆盖见证，悄无声息地混入了几百万个正常的分块隱藏集中。

他们手段百出。

在某个千万级的分支深处，悄悄刪掉一个不起眼的合法子分支。

在一张复杂的转移表里，恶意交换两个状態的名称，却故意不去修改对应的置换矩阵。

通过修改指针，让一个本该指向父节点的剪枝节点，诡异地形成死循环，指向了它自己。

甚至，用一个表面上完全正確的叶子编號，去狸猫换太子般替换掉其上方错误的父节点哈希。

这是一场在海量数据中寻找一根毒针的残酷测试。

然而，到了夜里十点，两套独立运行的覆盖核，將这四百组精心偽装的变异见证全部拦截、报警並拒绝。无一漏网。

確认系统坚不可摧后，最终的覆盖见证总包被打包加密，顺著跨国网络光缆，安静地送入了面向外部的只读仓库。

远在欧洲的马丁没有回覆任何邮件，他只在那个所有受邀节点都能看到的全球共享审查页上，將hold標记后面的最后更新时间，默默地改成了欧洲中部时间下午四点零三分。

九月十八日，星期日。

整个白天，第二復现节点始终保持著令人窒息的安静。

没有任何消息传来，没有提问，也没有报错。

慕尼黑的地下书房里，马丁放弃了项目组好心给出的那条顺藤摸瓜的叶子索引顺序。

他像一个多疑的老侦探，选择了最笨也最难作弊的验证方式。

从自己昨夜生成的那些海量的、带有个人標记的原始机器数据中，隨机抽取状態置换与镜像变体。

然后將这些变体输入到清华公开的映射规则引擎中，强行要求引擎进行逆向运算，去茫茫数据海中寻找清华团队声称存在的那个规范代表。

隨后，他又从清华提供的庞大叶子索引库进行反向展开验证。

沿著那几千万条父指针，一条一条地向上爬溯，死板地检查每一条孤立的指针，是否最终都能殊途同归，毫无矛盾地回到那个空无一物的root根节点。

第一百万条校验，成立。

第一千万条校验，成立。

第三千万条，第四千万条……

直到第四千六百万条，依然牢不可破。

清华会议室的共享页面被设定为每隔一个小时自动刷新一次。

整个周末，runng状態后面的处理进度计数就像心跳一样持续增长，但那个刺眼的红色hold標记，始终固执地驻留在那里。

北京时间下午六点三十一分，马丁那台已经连续满负荷运算了不知道多少个小时的核验程序，终於艰难地爬到了最后一个数据分块的尽头。

终端屏幕微微闪烁了一下，首先给出了两行毫无规律的哈希字符串。

第一行，是清华团队公布的覆盖见证默克尔总根。

第二行，是马丁的本地计算机，经歷了几十个小时独立重跑、重建后，计算得出的本地总根。

马丁凑近屏幕。

两行如同乱码般的字符，上下排列著。

从第一个字母，到最后一位数字，严丝合缝，逐位相同。

没有哪怕一个比特的偏差。

隨后，伴隨著几声清脆的系统提示音，四项最终验证结果在屏幕中央依次弹出，闪烁著代表通过的绿光。

【fullsearchtree/vered（全搜索树覆盖確认）】

【haltgdex/lked（停机索引连结確认）】

【nonhaltgdex/lked（非停机索引连结確认）】

看著四项绿色结果全部亮起，马丁將本地编译环境、覆盖核版本、四项裁决摘要和默克尔总根写入审查记录，又从最后一批数据中抽出三个分块，重新反向核对。

结果没有变化。

这一次，他打开了那封在草稿箱里搁置两天的审查回执。

指尖飞舞。

【覆盖链已闭合，逻辑未见断裂。】

【我已用独立枚举逻辑重建规范代表目录，並完成全部覆盖分块的全量覆核，未发现脱靶叶节点。】

【此前的hold状態，正式撤销。】

【基於上述独立覆核，我支持將s=47，176，870与Σ=4，098作为已经完成证明的精確值向全球公开。】

邮件发送。

北京的会议室里，共享审查页迎来了新一轮的自动刷新。

那个在第一份pass旁边像钉子一样扎了两天两夜，让所有人坐立不安的红色方框，在眾人的注视下，悄然翻转，变成了一抹代表通行与认可的翠绿色。

悬在项目组心头的最后一座大山，终於被移平。

……

星期日，晚上八点。

清华会议室。

乔闻鐸將论文最终定稿的pdf版本，发送到了每一位核心成员的面前的终端屏幕上。

论文的標题已经不再带有任何试验性的后缀。

《五状態繁忙海狸精確值的確定》

英文標题下方，是一长列按照学术惯例排列的作者姓名。

排在最前面的第一作者栏里，端端正正地印著两个简单的拼音单词。

jiangl。

周述滑动滑鼠，看了一眼屏幕上的江临名字，又低头去逐字逐句核对论文末尾自己那部分负责工程优化的贡献说明。

叶寧正在一字不漏地检查rt和ocal两套不同实现组的署名情况，確保没有任何跨组的交叉错误。

而第三方负责人则坚持將他们团队负责的独立攻击性验证工作，与主体的数学证明构造完全分开陈述，以避免任何人借红队监督者的身份，去分享他们並未承担的数学理论发现责任。

江临坐在老位置上，目光沉静，从论文的第一行引言一直看到了最后一行参考文献。

“rt和ocal两个工程组的名字要在致谢和作者列表里明確分列。”

江临抬起头，看向乔闻鐸。

“这两边从最初的规范设计，一直到后期的代码实现，都保持著物理级別的隔离，贡献说明里也必须保留这种绝对的独立性，不能混为一谈。另外，覆盖见证这部分，是我们为了响应外部审查而后补的公开验证接口，它在版本控制上要单独列出一个子版本。至於外部参与復现的节点，只写他们实际完成的復现工作。他们是否愿意进入最终的联合验证联盟署名名单，必须发邮件由本人亲自確认，不可代签。”

乔闻鐸点了点头，隨后看似隨意地问了一句：“那这第一作者的顺序呢，有没有异议”

江临的目光重新落回標题页上那个属於自己的名字。

“保持不变。”

“你要想清楚其中的分量。”乔闻鐸放下手里的资料，目光深邃地看著眼前这个大一新生，“这个位置不仅仅是荣誉。它意味著，在论文公布后的十年、二十年，以后学术界的任何人——只要他们想要攻击我们设计的共享可信核架构、攻击你推导的宏状態不变量、或者是挑刺我们今天刚补上的那套覆盖接口，第一封措辞严厉的质询邮件，甚至是在国际会议上的公开刁难，都会直接指向你。”

“那是应该的。”江临合上电脑屏幕，语气没有一丝波澜，“核心证明是我写的，架构是我定的。出了问题，不找我找谁”

乔闻鐸不再多言。他握著那支陪伴了自己多年的老派钢笔，在作者顺序確认单最下方的负责人位置，重重地签下了自己的名字。

会议室的另一侧，学校科研宣传部门的几位工作人员正將准备好的对外公开新闻稿投射到大屏幕上。

这篇新闻的標题歷经了三轮激烈的修改討论，但当前版本仍有一处关键措辞需要核心团队的最后確认。

屏幕上亮起一行大字——

【清华大一新生攻克繁忙海狸世界级难题】

江临皱了皱眉，站起身，走到控制台前拿起电子笔，毫不犹豫地在屏幕上划掉了標题前半句那种带有浓烈个人英雄主义和炒作嫌疑的描述，隨后又在繁忙海狸四个字前，严谨地补上了五状態三个字作为定语。

於是，一篇原本极具新闻爆点的新闻標题，被修改成了略显枯燥但绝对严谨的学术公告。

【联合研究团队解决五状態繁忙海狸问题】

宣传部的工作人员看著被改得平淡无奇的標题，有些无奈地嘆了口气：“江同学，標题您改了我们尊重。但是正文里，我们可以明確地写出这是计算机科学歷史近半个世纪来，第一个被確定的新繁忙海狸精確值吗这对学校的科研宣传非常重要。”

“这句是事实，可以。”乔闻鐸替江临回答了。

“那我为了让大眾读者能看懂，能不能用一句稍微通俗一点的话来解释这个成果”工作人员翻开笔记本，念出准备好的比喻，“比如：任何一台符合定义的五状態、二符號图灵机，只要它是从一张全白纸带启动的，如果它运行超过了47，176，870步仍然没有停机报错，那么我们可以向全宇宙保证，它以后永远也不会停了”

江临听完，点了点头：“这个描述在逻辑上等价，可以使用。”

“但是有一点必须注意。”江临指著新闻稿的结构，“关於一般形式的图灵机一般停机问题不可判定，繁忙海狸函数不可计算这个计算理论的绝对基石，必须在新闻稿的第二段著重强调，要用加粗字体。这是为了避免那些只看標题的非专业读者產生误解，以为我们推翻了图灵的结论，把所有状態规模的机器问题都解决了。公开稿的任务是只讲结论，关於具体的宏状態和不变量，用外链指向完整的证明包即可。至於个人信息，全部往后放，放在贡献说明之后。”

宣传人员一边快速在键盘上敲击记录，一边点头，隨后操作滑鼠，將新闻稿头图位置原本预留的一张江临的高清单人科研照撤下，替换成了一张只有十个简单转移位置的黑白表格截图。

就是那台传说中的五状態冠军机的底层逻辑表。

五种內部状態，两种纸带符號。

一条压得整个计算机科学界喘不过气，延续了近四十年的未决记录。

如今，这三行字被平静地安放在了那张简陋的表格下方。

发布口径，正式冻结。

完整学术论文，冻结。

全链条覆盖见证与底层验证器源码，冻结。

向全球公开的倒计时时间，最终被定格在九月十九日，北京时间下午四点整。

……

九月十九日，下午三点五十九分。

清华大学数学科学中心二楼的一间严密布控的机房內。

江临研究支持单元的技术联络员屏气凝神，將六个网页操作后台並排铺开在超宽的带鱼屏上。

首发论文预印本平台。

完整的树形规范化枚举目录。

停机机器的有限轨跡索引。

八千八百多万台种子库机器对应的非停机见证索引。

rt与ocal双路核验器源码。

以及，包含了马丁在內的全球多家权威机构的独立復现与攻击记录。

由於预估到发布瞬间可能带来的流量，每个核心页面和数据包都已经在全球范围內部署完成了镜像分发。

联络员確信，哪怕清华的主站伺服器在发布后被瞬间涌入的巨大访问流量直接压瘫，身处世界任何角落的研究者，依然可以从就近的镜像节点，顺畅地拉取到同一份毫无阉割的证明材料。

技术联络员的手心里全是汗。

他做完最后一遍各节点的哈希摘要自动比对，深吸一口气，把滑鼠的光標稳稳地悬停在那个代表著最终確认的绿色发布按钮上。

乔闻鐸背著手，站在联络员的身后。

叶寧与周述各自占据了一台监控电脑，眼睛紧紧盯著后台的流量异常监测窗口。

第三方红队负责人则死死盯著权限变更日誌表，做著最后的確认，確保那些用於內部压力测试的恶毒攻击样例和人员私密身份记录，没有因为打包脚本的失误而被误打进对外公开的压缩包里。

江临安静地坐在离门最近的一个位置上，面前只有一份带著油墨香气的论文列印稿。

技术联络员看著秒针越过最后十格。

四点整。

滑鼠按下。

咔噠。

全网代码仓库的访问权限，在系统底层瞬间发生跳转，从刺眼的红色“private（私有）”切换为象徵开放的蓝色“public（公开）”。

项目对外展示的静態首页在一秒钟后重新载入刷新。

四个被加粗的巨大標识符，赫然出现在全球视野的最中心：

【s=47，176，870】

【Σ=4，098】

【enurationverage/verified（枚举覆盖/已验证）】

【unresolved/0（未决机器/零）】

在这些耀眼的战果下方，公开说明的第一行是——

【本项目不要求、也不建议任何研究者盲目信任我们提供的预编译可执行程序。所有的上述结论，均可由我们完全公开的底层源码与不变量证书序列重新编译取得；我们隨时欢迎全球范围內的任何人，向我们提交能击穿当前体系的最小逻辑反例。】

仅仅十七秒后。

后台日誌的地理位置追踪模块闪烁了一下，欧洲法兰克福的骨干镜像节点出现了第一次完整的数据总包拉取记录。