自由度机械足的保护层，已经被许曼沿着胶层边界按拆解流程剥离下来，露出里面重新更换过一次的高灵敏度传感器阵列。
几根彩色排线像暴露的神经一样悬挂在外面。
许曼戴着护目镜，手里拿着一把扭力扳手，正在给左前足更换新的足端缓冲模块。
陈砚抱着一台加固型工业平板，蹲在旁边，眼睛紧盯屏幕上跳动的数据流，在电子表格里记录工程日志。
“江总，左前足的径向跳动数据还是有点飘。”
陈砚头也没抬地汇报道。
“昨天在封闭巷道第二轮低速段，被一块湿煤渣卡了一次。减速器可能受了冲击。我们要不要把响应阈值调高一点？”
江临站在一旁，看着那台伤痕累累的机器，摇了摇头。
“不要。”
“我们做离散自动机的目的，就是为了让机器在物理损伤发生时，能够感知到不对劲，而不是靠提高容忍度去假装没受伤。”
“真实偏差留下来。”
“后续模型如果要处理，就处理真实世界的损伤，不处理被人为抹平的数据。”
陈砚点头，在日志里敲下一行备注。
【左前足径向跳动异常，不调高阈值，保留真实偏差。】
就在这时，江临放在旁边工具台上的手机震动了一下。
屏幕亮起。
新邮件。
发件人后缀是：
hvoss@th.ethz.ch
江临走过去，拿起手机。
heinrich Voss。
他点开邮件。
车间里的电机声、风扇声、扭力扳手轻微的咔哒声，仿佛在这一刻被某种无形力量推远了。
当他读到第三段，看见F?1?、K=8、third-layer residual-spectruabsorption这几个短语时，目光在屏幕上停了一秒。
不是因为被抓到漏洞的慌乱。
也不是因为计算错误的懊恼。
而是因为，Voss指出的这个极端边界情形，他见过。
不是在现实世界的图书馆里。
也不是在江城大学的自习室里。
而是在第九次废土中期。
那时候，他曾经用混着铁锈和红色黏土的自制颜料，在石屋北墙上写下过一套比v0.95流通版庞大、复杂得多的第三层参数化方案。
那条路线后来被他临时命名为三重对合路线。
在那个方案里，第三层谱簇映射不是像现在这样由前两层双重对合自然诱导产生，而是被他极其强硬地单独引入一次第三层谱簇再定标。
那条路线很重。
重到如果直接塞进正文，整篇论文会立刻多出至少二十页晦涩难懂的技术推导。
重到会让本就已经极其高密度的pFR/rton证明，进一步变成一块几乎没有多少人能凭直觉阅读的实心钢块。
每一次变量代换都像戴着镣铐跳舞。
每一个引理都需要繁琐的条件前置。
所以在整理v0.95流通版时，江临没有把那条路线放进主文本。
他把它压进了旧分支、技术备忘和自用索引。
正文仍然保留轻量化的双重对合封装器。
在主证明的全局结构里，这样做没有问题。
但Voss提醒了他另一件事。
现在这份证明不再只是他自己的证明。
它正在被韩砚山、丁剑、陶哲轩、Voss这些人共同审查。
它必须允许别人进入。
而对于别人来说，有些沉重的东西不能永远藏在作者自己的旧分支里。
江临轻轻吐出一口气。
“陈砚，许曼。”
两个人同时抬头。
“今天工坊这边我先离开。恒泰灰度测试的安全边界已经锁定，剩下的回场复盘按原计划走。”
江临的语气很平静。
“如果状态机同步上遇到卡壳，先发微信留言给我，我晚点看。”
陈砚敲键盘的手停在半空中。
许曼也摘下手套，小心翼翼地问：“江总，是不是恒泰那边又改口了？”
“不是。”
江临拿起自己的黑色双肩包。
“数学那边有人做了一个很好的边界测试，把我之前压进旧分支的一条重路线逼了出来。”
许曼听得云里雾里。
陈砚更是完全不懂。
江临走到车间门口时，脚步停了一下，回头叮嘱。
“陈砚，今天的失败日志记细一点。”
“尤其是离散自动机在切换步态那零点几秒里的延迟数据，不要只写平均值。”
“p95和p99单独拉曲线。”
“我们要看的是边缘，不是被平均值粉饰过的平稳状态。”
陈砚立刻站直。
“明白。”
江临点头，转身离开。
回到家里后，他按下电脑主机电源键。
系统启动。
他打开一个隐藏文件夹。
路径名：pFR_rton / old_branches / Layer3_heavyRoute
文件夹里，静静躺着三个文件。
triple_involution_sketch.tex
sig_layer3_paraterization_notes.
Node38_heavy_route_discarded.lean
江临看着最后一个文件名，沉默了片刻。
然后，他将文件名改掉。
Node38_heavy_route_boundary_witness.lean
它曾经被搁置在公开阅读路径之外。
但现在，它要回来了。
江临打开邮箱，点击Voss邮件的回复按钮。
……
亲爱的heinrich：
感谢你的note。
我已经检查了你的边界测试。在以下意义上，你的诊断是正确的：v0.95流通版中的双重对合路线，确实没有把那一处第三层边界吸收过程展示到足以供外部审查的程度。
但这对完整证明树来说，并不是新的问题。
我这里有一条更重的路线，使用三重对合以及一个特定的σ_layer-3参数化。我之所以没有把它放进v0.95，是因为它会显着加重文本表达。你的note让我确信，它应当作为边界见证路线，被恢复到形式化部分和附录中。
Lean检查通过后，我会把分支发给你。
……
点击发送。
让他意想不到的是，仅仅六分钟后，Voss的回复就来了。
……
林——
这比我原本期待的回应要强得多。
如果三重路线已经存在，请发给我。
h.
……
江临没有再回复，对话适合到此为止。
接下来，是代码和逻辑的战场。
8月12日，下午四点。
苏黎世时间上午十点。
Voss将那篇十一页的note上传到arxiv。
《A high-dinsional boundary test for Jiangs Entropic Involution》
摘要里，他特意保留了一句限定。
【this note does not claia counterexale to Jiangs theore It identifies a boundary visibility issue in the circulated v0.95 route.（本文并不声称给出了江氏定理的反例。它指出的是v0.95流通版路线中的一个边界可见性问题。）】
这句话足够清楚。
但公开世界从来不会完整保留限定条件。
由于存在时差，国内数学圈直到傍晚时分，才通过自动抓取脚本和学术群转发注意到了这篇文章。
最先嗅到火药味的，是一个在国内颇有影响力的数学科普公众号。
推文在晚上七点发出，标题还算克制，却已经带着明显的刺激性。
《Eth资深教授发文测试江临pFR手稿：v0.95高维边界路径可见性不足》
这篇文章像一根细小的导火索，迅速点燃了国内本就绷紧的舆论场。
晚上九点，几家科技自媒体跟进转发。
热搜榜尾部出现了一个词条。
#江临pFR手稿被边界测试#
阅读量在短时间内冲上千万，评论区迅速撕裂成两个阵营。
一部分被情绪裹挟的网友，立刻把矛头对准了远在瑞士的Voss。
“这不就是鸡蛋里挑骨头吗？”
“江临才十八岁，刚拿奖，就有人坐不住了？”
“老外又开始搞学术霸权那一套了吧？”
……
另一批人早就看年少成名的江临不顺眼了，马上反向嘲讽。
“早说了，数学不是爽文，哪有那么容易跨界秒杀。”
“预印本就是预印本，同行评审都没过就别吹
几根彩色排线像暴露的神经一样悬挂在外面。
许曼戴着护目镜，手里拿着一把扭力扳手，正在给左前足更换新的足端缓冲模块。
陈砚抱着一台加固型工业平板，蹲在旁边，眼睛紧盯屏幕上跳动的数据流，在电子表格里记录工程日志。
“江总，左前足的径向跳动数据还是有点飘。”
陈砚头也没抬地汇报道。
“昨天在封闭巷道第二轮低速段，被一块湿煤渣卡了一次。减速器可能受了冲击。我们要不要把响应阈值调高一点？”
江临站在一旁，看着那台伤痕累累的机器，摇了摇头。
“不要。”
“我们做离散自动机的目的，就是为了让机器在物理损伤发生时，能够感知到不对劲，而不是靠提高容忍度去假装没受伤。”
“真实偏差留下来。”
“后续模型如果要处理，就处理真实世界的损伤，不处理被人为抹平的数据。”
陈砚点头，在日志里敲下一行备注。
【左前足径向跳动异常，不调高阈值，保留真实偏差。】
就在这时，江临放在旁边工具台上的手机震动了一下。
屏幕亮起。
新邮件。
发件人后缀是：
hvoss@th.ethz.ch
江临走过去，拿起手机。
heinrich Voss。
他点开邮件。
车间里的电机声、风扇声、扭力扳手轻微的咔哒声，仿佛在这一刻被某种无形力量推远了。
当他读到第三段，看见F?1?、K=8、third-layer residual-spectruabsorption这几个短语时，目光在屏幕上停了一秒。
不是因为被抓到漏洞的慌乱。
也不是因为计算错误的懊恼。
而是因为，Voss指出的这个极端边界情形，他见过。
不是在现实世界的图书馆里。
也不是在江城大学的自习室里。
而是在第九次废土中期。
那时候，他曾经用混着铁锈和红色黏土的自制颜料，在石屋北墙上写下过一套比v0.95流通版庞大、复杂得多的第三层参数化方案。
那条路线后来被他临时命名为三重对合路线。
在那个方案里，第三层谱簇映射不是像现在这样由前两层双重对合自然诱导产生，而是被他极其强硬地单独引入一次第三层谱簇再定标。
那条路线很重。
重到如果直接塞进正文，整篇论文会立刻多出至少二十页晦涩难懂的技术推导。
重到会让本就已经极其高密度的pFR/rton证明，进一步变成一块几乎没有多少人能凭直觉阅读的实心钢块。
每一次变量代换都像戴着镣铐跳舞。
每一个引理都需要繁琐的条件前置。
所以在整理v0.95流通版时，江临没有把那条路线放进主文本。
他把它压进了旧分支、技术备忘和自用索引。
正文仍然保留轻量化的双重对合封装器。
在主证明的全局结构里，这样做没有问题。
但Voss提醒了他另一件事。
现在这份证明不再只是他自己的证明。
它正在被韩砚山、丁剑、陶哲轩、Voss这些人共同审查。
它必须允许别人进入。
而对于别人来说，有些沉重的东西不能永远藏在作者自己的旧分支里。
江临轻轻吐出一口气。
“陈砚，许曼。”
两个人同时抬头。
“今天工坊这边我先离开。恒泰灰度测试的安全边界已经锁定，剩下的回场复盘按原计划走。”
江临的语气很平静。
“如果状态机同步上遇到卡壳，先发微信留言给我，我晚点看。”
陈砚敲键盘的手停在半空中。
许曼也摘下手套，小心翼翼地问：“江总，是不是恒泰那边又改口了？”
“不是。”
江临拿起自己的黑色双肩包。
“数学那边有人做了一个很好的边界测试，把我之前压进旧分支的一条重路线逼了出来。”
许曼听得云里雾里。
陈砚更是完全不懂。
江临走到车间门口时，脚步停了一下，回头叮嘱。
“陈砚，今天的失败日志记细一点。”
“尤其是离散自动机在切换步态那零点几秒里的延迟数据，不要只写平均值。”
“p95和p99单独拉曲线。”
“我们要看的是边缘，不是被平均值粉饰过的平稳状态。”
陈砚立刻站直。
“明白。”
江临点头，转身离开。
回到家里后，他按下电脑主机电源键。
系统启动。
他打开一个隐藏文件夹。
路径名：pFR_rton / old_branches / Layer3_heavyRoute
文件夹里，静静躺着三个文件。
triple_involution_sketch.tex
sig_layer3_paraterization_notes.
Node38_heavy_route_discarded.lean
江临看着最后一个文件名，沉默了片刻。
然后，他将文件名改掉。
Node38_heavy_route_boundary_witness.lean
它曾经被搁置在公开阅读路径之外。
但现在，它要回来了。
江临打开邮箱，点击Voss邮件的回复按钮。
……
亲爱的heinrich：
感谢你的note。
我已经检查了你的边界测试。在以下意义上，你的诊断是正确的：v0.95流通版中的双重对合路线，确实没有把那一处第三层边界吸收过程展示到足以供外部审查的程度。
但这对完整证明树来说，并不是新的问题。
我这里有一条更重的路线，使用三重对合以及一个特定的σ_layer-3参数化。我之所以没有把它放进v0.95，是因为它会显着加重文本表达。你的note让我确信，它应当作为边界见证路线，被恢复到形式化部分和附录中。
Lean检查通过后，我会把分支发给你。
……
点击发送。
让他意想不到的是，仅仅六分钟后，Voss的回复就来了。
……
林——
这比我原本期待的回应要强得多。
如果三重路线已经存在，请发给我。
h.
……
江临没有再回复，对话适合到此为止。
接下来，是代码和逻辑的战场。
8月12日，下午四点。
苏黎世时间上午十点。
Voss将那篇十一页的note上传到arxiv。
《A high-dinsional boundary test for Jiangs Entropic Involution》
摘要里，他特意保留了一句限定。
【this note does not claia counterexale to Jiangs theore It identifies a boundary visibility issue in the circulated v0.95 route.（本文并不声称给出了江氏定理的反例。它指出的是v0.95流通版路线中的一个边界可见性问题。）】
这句话足够清楚。
但公开世界从来不会完整保留限定条件。
由于存在时差，国内数学圈直到傍晚时分，才通过自动抓取脚本和学术群转发注意到了这篇文章。
最先嗅到火药味的，是一个在国内颇有影响力的数学科普公众号。
推文在晚上七点发出，标题还算克制，却已经带着明显的刺激性。
《Eth资深教授发文测试江临pFR手稿：v0.95高维边界路径可见性不足》
这篇文章像一根细小的导火索，迅速点燃了国内本就绷紧的舆论场。
晚上九点，几家科技自媒体跟进转发。
热搜榜尾部出现了一个词条。
#江临pFR手稿被边界测试#
阅读量在短时间内冲上千万，评论区迅速撕裂成两个阵营。
一部分被情绪裹挟的网友，立刻把矛头对准了远在瑞士的Voss。
“这不就是鸡蛋里挑骨头吗？”
“江临才十八岁，刚拿奖，就有人坐不住了？”
“老外又开始搞学术霸权那一套了吧？”
……
另一批人早就看年少成名的江临不顺眼了，马上反向嘲讽。
“早说了，数学不是爽文，哪有那么容易跨界秒杀。”
“预印本就是预印本，同行评审都没过就别吹