全部覆盖分块的全量复核，未发现脱靶叶节点。】
【此前的hoLd状态，正式撤销。】
【基于上述独立复核，我支持将S(5)=47，176，870与Σ(5)=4，098作为已经完成证明的精确值向全球公开。】
邮件发送。
北京的会议室里，共享审查页迎来了新一轮的自动刷新。
那个在第一份pASS旁边像钉子一样扎了两天两夜，让所有人坐立不安的红色方框，在众人的注视下，悄然翻转，变成了一抹代表通行与认可的翠绿色。
悬在项目组心头的最后一座大山，终于被移平。
……
星期日，晚上八点。
清华会议室。
乔闻铎将论文最终定稿的pdF版本，发送到了每一位核心成员的面前的终端屏幕上。
论文的标题已经不再带有任何试验性的后缀。
《五状态繁忙海狸精确值的确定》
英文标题下方，是一长列按照学术惯例排列的作者姓名。
排在最前面的第一作者栏里，端端正正地印着两个简单的拼音单词。
Jiang Lin。
周述滑动鼠标，看了一眼屏幕上的江临名字，又低头去逐字逐句核对论文末尾自己那部分负责工程优化的贡献说明。
叶宁正在一字不漏地检查Rust和oca两套不同实现组的署名情况，确保没有任何跨组的交叉错误。
而第三方负责人则坚持将他们团队负责的独立攻击性验证工作，与主体的数学证明构造完全分开陈述，以避免任何人借红队监督者的身份，去分享他们并未承担的数学理论发现责任。
江临坐在老位置上，目光沉静，从论文的第一行引言一直看到了最后一行参考文献。
“Rust和oca两个工程组的名字要在致谢和作者列表里明确分列。”
江临抬起头，看向乔闻铎。
“这两边从最初的规范设计，一直到后期的代码实现，都保持着物理级别的隔离，贡献说明里也必须保留这种绝对的独立性，不能混为一谈。另外，覆盖见证这部分，是我们为了响应外部审查而后补的公开验证接口，它在版本控制上要单独列出一个子版本。至于外部参与复现的节点，只写他们实际完成的复现工作。他们是否愿意进入最终的联合验证联盟署名名单，必须发邮件由本人亲自确认，不可代签。”
乔闻铎点了点头，随后看似随意地问了一句：“那这第一作者的顺序呢，有没有异议？”
江临的目光重新落回标题页上那个属于自己的名字。
“保持不变。”
“你要想清楚其中的分量。”乔闻铎放下手里的资料，目光深邃地看着眼前这个大一新生，“这个位置不仅仅是荣誉。它意味着，在论文公布后的十年、二十年，以后学术界的任何人——只要他们想要攻击我们设计的共享可信核架构、攻击你推导的宏状态不变量、或者是挑刺我们今天刚补上的那套覆盖接口，第一封措辞严厉的质询邮件，甚至是在国际会议上的公开刁难，都会直接指向你。”
“那是应该的。”江临合上电脑屏幕，语气没有一丝波澜，“核心证明是我写的，架构是我定的。出了问题，不找我找谁？”
乔闻铎不再多言。他握着那支陪伴了自己多年的老派钢笔，在作者顺序确认单最下方的负责人位置，重重地签下了自己的名字。
会议室的另一侧，学校科研宣传部门的几位工作人员正将准备好的对外公开新闻稿投射到大屏幕上。
这篇新闻的标题历经了三轮激烈的修改讨论，但当前版本仍有一处关键措辞需要核心团队的最后确认。
屏幕上亮起一行大字——
【清华大一新生攻克繁忙海狸世界级难题】
江临皱了皱眉，站起身，走到控制台前拿起电子笔，毫不犹豫地在屏幕上划掉了标题前半句那种带有浓烈个人英雄主义和炒作嫌疑的描述，随后又在繁忙海狸四个字前，严谨地补上了五状态三个字作为定语。
于是，一篇原本极具新闻爆点的新闻标题，被修改成了略显枯燥但绝对严谨的学术公告。
【联合研究团队解决五状态繁忙海狸问题】
宣传部的工作人员看着被改得平淡无奇的标题，有些无奈地叹了口气：“江同学，标题您改了我们尊重。但是正文里，我们可以明确地写出这是计算机科学历史近半个世纪来，第一个被确定的新繁忙海狸精确值吗？这对学校的科研宣传非常重要。”
“这句是事实，可以。”乔闻铎替江临回答了。
“那我为了让大众读者能看懂，能不能用一句稍微通俗一点的话来解释这个成果？”工作人员翻开笔记本，念出准备好的比喻，“比如：任何一台符合定义的五状态、二符号图灵机，只要它是从一张全白纸带启动的，如果它运行超过了 47，176，870 步仍然没有停机报错，那么我们可以向全宇宙保证，它以后永远也不会停了？”
江临听完，点了点头：“这个描述在逻辑上等价，可以使用。”
“但是有一点必须注意。”江临指着新闻稿的结构，“关于一般形式的图灵机一般停机问题不可判定，繁忙海狸函数不可计算这个计算理论的绝对基石，必须在新闻稿的第二段着重强调，要用加粗字体。这是为了避免那些只看标题的非专业读者产生误解，以为我们推翻了图灵的结论，把所有状态规模的机器问题都解决了。公开稿的任务是只讲结论，关于具体的宏状态和不变量，用外链指向完整的证明包即可。至于个人信息，全部往后放，放在贡献说明之后。”
宣传人员一边快速在键盘上敲击记录，一边点头，随后操作鼠标，将新闻稿头图位置原本预留的一张江临的高清单人科研照撤下，替换成了一张只有十个简单转移位置的黑白表格截图。
就是那台传说中的五状态冠军机的底层逻辑表。
五种内部状态，两种纸带符号。
一条压得整个计算机科学界喘不过气，延续了近四十年的未决记录。
如今，这三行字被平静地安放在了那张简陋的表格下方。
发布口径，正式冻结。
完整学术论文，冻结。
全链条覆盖见证与底层验证器源码，冻结。
向全球公开的倒计时时间，最终被定格在九月十九日，北京时间下午四点整。
……
九月十九日，下午三点五十九分。
清华大学数学科学中心二楼的一间严密布控的机房内。
江临研究支持单元的技术联络员屏气凝神，将六个网页操作后台并排铺开在超宽的带鱼屏上。
首发论文预印本平台。
完整的树形规范化枚举目录。
停机机器的有限轨迹索引。
八千八百多万台种子库机器对应的非停机见证索引。
Rust与oca双路核验器源码。
以及，包含了马丁在内的全球多家权威机构的独立复现与攻击记录。
由于预估到发布瞬间可能带来的流量，每个核心页面和数据包都已经在全球范围内部署完成了cdN镜像分发。
联络员确信，哪怕清华的主站服务器在发布后被瞬间涌入的巨大访问流量直接压瘫，身处世界任何角落的研究者，依然可以从就近的镜像节点，顺畅地拉取到同一份毫无阉割的证明材料。
技术联络员的手心里全是汗。
他做完最后一遍各节点的哈希摘要自动比对，深吸一口气，把鼠标的光标稳稳地悬停在那个代表着最终确认的绿色发布按钮上。
乔闻铎背着手，站在联络员的身后。
叶宁与周述各自占据了一台监控电脑，眼睛紧紧盯着后台的流量异常监测窗口。
第三方红队负责人则死死盯着权限变更日志表，做着最后的确认，确保那些用于内部压力测试的恶毒攻击样例和人员私密身份记录，没有因为打包脚本的失误而被误打进对外公开的压缩包里。
江临安静地坐在离门最近的一个位置上，面前只有一份带着油墨香气的论文打印稿。
技术联络员看着秒针越过最后十格。
四点整。
鼠标按下。
咔哒。
全网代码仓库的访问权限，在系统底层瞬间发生跳转，从刺眼的红色“pRIVAtE（私有）”切换为象征开放的蓝色“pUbLIc（公开）”。
项目对外展示的静态首页在一秒钟后重新载入刷新。
四个被加粗的巨大标识符，赫然出现在全球视野的最中心：
【S(5) = 47，176，870】
【Σ(5) = 4，098】
【ENURAtIoN coVERAGE / VERIFIEd（枚举覆盖/已验证）】
【UNRESoLVEd / 0（未决机器/零）】
在这些耀眼的战果下方，公开说明的第一行是——
【本项目不要求、也不建议任何研究者盲目信任我们提供的预编译可执行程序。所有的上述结论，均可由我们完全公开的底层源码与不变量证书序列重新编译取得；我们随时欢迎全球范围内的任何人，向我们提交能击穿当前体系的最小逻辑反例。】
仅仅十七秒后。
后台日志的地理位置追踪模块闪烁了一下，欧洲法兰克福的骨干镜像节点出现了第一次完整的数据总包拉取记录。
数据流速瞬间飙升至峰值。
四十一秒后。
位于北美的多个超算中心节点Ip开始活跃，日志显示，对方不仅下载了源码，并且已经开始自
【此前的hoLd状态，正式撤销。】
【基于上述独立复核，我支持将S(5)=47，176，870与Σ(5)=4，098作为已经完成证明的精确值向全球公开。】
邮件发送。
北京的会议室里，共享审查页迎来了新一轮的自动刷新。
那个在第一份pASS旁边像钉子一样扎了两天两夜，让所有人坐立不安的红色方框，在众人的注视下，悄然翻转，变成了一抹代表通行与认可的翠绿色。
悬在项目组心头的最后一座大山，终于被移平。
……
星期日，晚上八点。
清华会议室。
乔闻铎将论文最终定稿的pdF版本，发送到了每一位核心成员的面前的终端屏幕上。
论文的标题已经不再带有任何试验性的后缀。
《五状态繁忙海狸精确值的确定》
英文标题下方，是一长列按照学术惯例排列的作者姓名。
排在最前面的第一作者栏里，端端正正地印着两个简单的拼音单词。
Jiang Lin。
周述滑动鼠标，看了一眼屏幕上的江临名字，又低头去逐字逐句核对论文末尾自己那部分负责工程优化的贡献说明。
叶宁正在一字不漏地检查Rust和oca两套不同实现组的署名情况，确保没有任何跨组的交叉错误。
而第三方负责人则坚持将他们团队负责的独立攻击性验证工作，与主体的数学证明构造完全分开陈述，以避免任何人借红队监督者的身份，去分享他们并未承担的数学理论发现责任。
江临坐在老位置上，目光沉静，从论文的第一行引言一直看到了最后一行参考文献。
“Rust和oca两个工程组的名字要在致谢和作者列表里明确分列。”
江临抬起头，看向乔闻铎。
“这两边从最初的规范设计，一直到后期的代码实现，都保持着物理级别的隔离，贡献说明里也必须保留这种绝对的独立性，不能混为一谈。另外，覆盖见证这部分，是我们为了响应外部审查而后补的公开验证接口，它在版本控制上要单独列出一个子版本。至于外部参与复现的节点，只写他们实际完成的复现工作。他们是否愿意进入最终的联合验证联盟署名名单，必须发邮件由本人亲自确认，不可代签。”
乔闻铎点了点头，随后看似随意地问了一句：“那这第一作者的顺序呢，有没有异议？”
江临的目光重新落回标题页上那个属于自己的名字。
“保持不变。”
“你要想清楚其中的分量。”乔闻铎放下手里的资料，目光深邃地看着眼前这个大一新生，“这个位置不仅仅是荣誉。它意味着，在论文公布后的十年、二十年，以后学术界的任何人——只要他们想要攻击我们设计的共享可信核架构、攻击你推导的宏状态不变量、或者是挑刺我们今天刚补上的那套覆盖接口，第一封措辞严厉的质询邮件，甚至是在国际会议上的公开刁难，都会直接指向你。”
“那是应该的。”江临合上电脑屏幕，语气没有一丝波澜，“核心证明是我写的，架构是我定的。出了问题，不找我找谁？”
乔闻铎不再多言。他握着那支陪伴了自己多年的老派钢笔，在作者顺序确认单最下方的负责人位置，重重地签下了自己的名字。
会议室的另一侧，学校科研宣传部门的几位工作人员正将准备好的对外公开新闻稿投射到大屏幕上。
这篇新闻的标题历经了三轮激烈的修改讨论，但当前版本仍有一处关键措辞需要核心团队的最后确认。
屏幕上亮起一行大字——
【清华大一新生攻克繁忙海狸世界级难题】
江临皱了皱眉，站起身，走到控制台前拿起电子笔，毫不犹豫地在屏幕上划掉了标题前半句那种带有浓烈个人英雄主义和炒作嫌疑的描述，随后又在繁忙海狸四个字前，严谨地补上了五状态三个字作为定语。
于是，一篇原本极具新闻爆点的新闻标题，被修改成了略显枯燥但绝对严谨的学术公告。
【联合研究团队解决五状态繁忙海狸问题】
宣传部的工作人员看着被改得平淡无奇的标题，有些无奈地叹了口气：“江同学，标题您改了我们尊重。但是正文里，我们可以明确地写出这是计算机科学历史近半个世纪来，第一个被确定的新繁忙海狸精确值吗？这对学校的科研宣传非常重要。”
“这句是事实，可以。”乔闻铎替江临回答了。
“那我为了让大众读者能看懂，能不能用一句稍微通俗一点的话来解释这个成果？”工作人员翻开笔记本，念出准备好的比喻，“比如：任何一台符合定义的五状态、二符号图灵机，只要它是从一张全白纸带启动的，如果它运行超过了 47，176，870 步仍然没有停机报错，那么我们可以向全宇宙保证，它以后永远也不会停了？”
江临听完，点了点头：“这个描述在逻辑上等价，可以使用。”
“但是有一点必须注意。”江临指着新闻稿的结构，“关于一般形式的图灵机一般停机问题不可判定，繁忙海狸函数不可计算这个计算理论的绝对基石，必须在新闻稿的第二段着重强调，要用加粗字体。这是为了避免那些只看标题的非专业读者产生误解，以为我们推翻了图灵的结论，把所有状态规模的机器问题都解决了。公开稿的任务是只讲结论，关于具体的宏状态和不变量，用外链指向完整的证明包即可。至于个人信息，全部往后放，放在贡献说明之后。”
宣传人员一边快速在键盘上敲击记录，一边点头，随后操作鼠标，将新闻稿头图位置原本预留的一张江临的高清单人科研照撤下，替换成了一张只有十个简单转移位置的黑白表格截图。
就是那台传说中的五状态冠军机的底层逻辑表。
五种内部状态，两种纸带符号。
一条压得整个计算机科学界喘不过气，延续了近四十年的未决记录。
如今，这三行字被平静地安放在了那张简陋的表格下方。
发布口径，正式冻结。
完整学术论文，冻结。
全链条覆盖见证与底层验证器源码，冻结。
向全球公开的倒计时时间，最终被定格在九月十九日，北京时间下午四点整。
……
九月十九日，下午三点五十九分。
清华大学数学科学中心二楼的一间严密布控的机房内。
江临研究支持单元的技术联络员屏气凝神，将六个网页操作后台并排铺开在超宽的带鱼屏上。
首发论文预印本平台。
完整的树形规范化枚举目录。
停机机器的有限轨迹索引。
八千八百多万台种子库机器对应的非停机见证索引。
Rust与oca双路核验器源码。
以及，包含了马丁在内的全球多家权威机构的独立复现与攻击记录。
由于预估到发布瞬间可能带来的流量，每个核心页面和数据包都已经在全球范围内部署完成了cdN镜像分发。
联络员确信，哪怕清华的主站服务器在发布后被瞬间涌入的巨大访问流量直接压瘫，身处世界任何角落的研究者，依然可以从就近的镜像节点，顺畅地拉取到同一份毫无阉割的证明材料。
技术联络员的手心里全是汗。
他做完最后一遍各节点的哈希摘要自动比对，深吸一口气，把鼠标的光标稳稳地悬停在那个代表着最终确认的绿色发布按钮上。
乔闻铎背着手，站在联络员的身后。
叶宁与周述各自占据了一台监控电脑，眼睛紧紧盯着后台的流量异常监测窗口。
第三方红队负责人则死死盯着权限变更日志表，做着最后的确认，确保那些用于内部压力测试的恶毒攻击样例和人员私密身份记录，没有因为打包脚本的失误而被误打进对外公开的压缩包里。
江临安静地坐在离门最近的一个位置上，面前只有一份带着油墨香气的论文打印稿。
技术联络员看着秒针越过最后十格。
四点整。
鼠标按下。
咔哒。
全网代码仓库的访问权限，在系统底层瞬间发生跳转，从刺眼的红色“pRIVAtE（私有）”切换为象征开放的蓝色“pUbLIc（公开）”。
项目对外展示的静态首页在一秒钟后重新载入刷新。
四个被加粗的巨大标识符，赫然出现在全球视野的最中心：
【S(5) = 47，176，870】
【Σ(5) = 4，098】
【ENURAtIoN coVERAGE / VERIFIEd（枚举覆盖/已验证）】
【UNRESoLVEd / 0（未决机器/零）】
在这些耀眼的战果下方，公开说明的第一行是——
【本项目不要求、也不建议任何研究者盲目信任我们提供的预编译可执行程序。所有的上述结论，均可由我们完全公开的底层源码与不变量证书序列重新编译取得；我们随时欢迎全球范围内的任何人，向我们提交能击穿当前体系的最小逻辑反例。】
仅仅十七秒后。
后台日志的地理位置追踪模块闪烁了一下，欧洲法兰克福的骨干镜像节点出现了第一次完整的数据总包拉取记录。
数据流速瞬间飙升至峰值。
四十一秒后。
位于北美的多个超算中心节点Ip开始活跃，日志显示，对方不仅下载了源码，并且已经开始自