8月12日，凌晨两点四十分。
瑞士，苏黎世联邦理工学院，数学系G楼五层。
整层楼的感应灯早已熄灭。
唯独走廊尽头，heinrich Voss教授办公室的门缝还透着光。
Voss今年六十一岁。
他穿着一件洗得有些发白的深灰色羊毛衫，鼻梁上架着老花镜，银白色的头发在台灯的逆光下显得有些稀疏。
如果只看外表，他就像苏黎世街头随处可见的退休老祖父，安静，严谨，甚至有些刻板。
但在这间堆满手稿和预印本的办公室里，他是加性组合学中熵方法方向的一位老派人物。
三十年来，他始终只做一件事。
在多变量概率分布的齿轮之间，寻找对称性、熵耗散和结构压缩的边界。
他不是那种喜欢在公共论坛上发表意见的学者。
没有twitter账号。
不参与学术圈的热点争论。
事实上，在一周前，他甚至没有注册过Lean Zulip账号。
他习惯让数学停留在纸面、黑板、手稿边缘那些密密麻麻的铅笔批注里。
他对Lin Jiang这个名字的最初印象，来自八月四日那天nners打来的一通电话。
那时，Voss正在阿尔卑斯山下的采尔马特度假。
说是度假，其实也只是换了一个地方工作。
他坐在木屋露台上，膝盖上摊着一本托马斯·曼的德文小说，桌边放着一杯黑咖啡。
远处，马特洪峰山脊上的雪线在午后阳光里泛着刺眼的白光。
他的妻子端着一盘烤松饼走过来，看见他盯着雪线发呆，只是无奈地摇了摇头。
她太熟悉这种状态了。
一个数学家所谓的休假，往往只是从办公室里的黑板，换到山脚下的餐桌。
他的身体在山里。
灵魂仍被囚禁在那些抽象符号之中。
就是在那个下午，nners的电话打了进来。
电话接通后，连一句常规寒暄都没有。
nners的声音透着一种异乎寻常的急促。
“heinrich，你必须看一下这个，马上看。”
Voss点开了nners发来的文件包。
第一份，是江临刚刚对专业审查圈开放的pFR/rton v0.95流通版手稿。
第二份，是一份形式化依赖图说明，列出了第31号到第47号节点的Lean4编码进度。
第三份，是第38号节点双重对合封装器的自然语言蓝图。
nners在邮件里只标出了一句话。
【从第38号节点开始看。】
于是Voss没有从第一页开始慢慢读。
他径直切入了第4.2节。
第三层损失回收。
残余谱账目。
熵对合引理。
K大于等于8情形下的高维边界。
那是他这三十年里最熟悉的一片泥沼。
他坐在露台那把藤椅上，用了整整三天时间，只读了这一处。
反复读。
反复算。
反复把江临的自然语言证明、Lean形式化蓝图和依赖图节点摊在同一张桌面上，对照着推回去。
山里的风吹过他的羊毛衫，但他仿佛失去了温度感知。
到第三天傍晚，他合上电脑，长久地看着马特洪峰的雪线。
随后，他做了一件自己三十年学术生涯里极少做的事情。
他提前结束假期，驱车三个小时赶回苏黎世的办公室，开始写一份边界测试note。
不是反驳论文。
也不是宣布漏洞。
更不是出于老一辈学者对年轻人的嫉妒。
Voss没有这种兴趣。
他那双在熵方法里浸泡了三十年的眼睛，只是看见了一处高维边界的可见性风险。
在v0.95流通版手稿里，为了处理复杂的四变量后验测度，江临在第三层损失回收部分采用了一条相当轻的双重对合封装路线。
那条路线非常漂亮。
像一把薄而锋利的手术刀，把第38号节点极其繁琐的对称结构，硬生生压进一个相对短小的形式化接口里。
如果只从主证明的全局逻辑看，它不是错的。
Voss也没有看到可以推翻主定理的反例。
但他太熟悉熵方法了。
他深知，在数学的深水区，过于漂亮简短的东西，往往会把某些边界层代价藏得太深。
不是藏没了。
而是藏到外部审查者看不见它究竟在哪里被支付。
复杂性不会凭空消失。
它在这里被压扁，就必须在某个地方被清楚地吸收。
如果作者不把那一处吸收过程显式亮出来，后来的读者就可能在高维高K情形下卡住。
不是因为桥塌了。
而是因为桥的某一处承重结构被包进了混凝土里。
作者知道它在那里。
外部审查者却看不见。
Voss把自己关在办公室里，花了五天时间，在白板上反复演算，把脑海中那个模糊的直觉，一点点压缩成了一个足够尖锐的测试。
在F?1?这样已经足以显露谱簇回流的有限维模型中，取一个特定的K=8边界构型。
如果沿着v0.95流通版的双重对合封装路线推进，前两轮迭代一切正常。
但到了第三轮迭代时，残余谱损失项会出现一次极不显眼的边界层回流。
这个回流不会导致主定理崩塌。
也不足以说明江临的主证明失败。
但它足以说明一个问题。
v0.95流通版给出的轻量路径，对这一处边界吸收的展示不够充分。
换句话说，它能让作者自己走过去，却未必能让外部审查者放心地跟过去。
这对一篇普通论文而言，或许只是注释不够详细。
但对一篇声称要打穿有限域pFR/rton核心难点、并且正在被形式化蓝图接管的手稿而言，这就是必须被严肃处理的审查问题。
Voss把这五天的演算写成了一份十一页英文note。
标题被他斟酌了很久，最终定得非常谨慎。
《A high-dinsional boundary test for Jiangs Entropic Involution》
江氏熵对合的一个高维边界测试。
他没有使用Jiangs proof is wrong这种哗众取宠的标题。
也没有在摘要里写fatal gap。
但他在正文推导中写得非常清楚：
在这个特定的高维边界测试下，v0.95流通版的轻量化双重对合路径，尚未显式展示第三层残余谱损失如何完成吸收。
这不是结论否定。
这是审查压力。
8月12日，凌晨两点四十七分。
Voss坐在办公桌前，揉了揉干涩的双眼。
他没有立刻把note挂出去。
他先打开邮箱。
Voss是个老派人。
如果你要在公开场合指出一个年轻作者手稿中的高维边界风险，你至少应该先让那个年轻作者知道，自己真正指出的到底是什么。
不偷袭。
不搞舆论施压。
不把学术测试包装成流量武器。
他开始在键盘上敲击。
……
亲爱的林：
我准备了一篇简短的note，讨论你v0.95手稿中双重对合路线的一个高维边界测试。
请允许我说得精确一些：我并不是声称主定理是假的。
问题的范围更窄，但我认为它很严肃。在高维、高K区域，尤其是F?1?且K=8附近，目前流通版中的双重对合路线，并没有把第三层残余谱吸收过程展示到足以供外部审查的程度。我已经将相关计算放在附录中。
我的判断是，这个问题应该通过显式写出更重的第三层参数化来处理，至少应当在形式化部分或附录中呈现，而不是对当前封装器做一次表面性的重写。
在更大范围流通这篇note之前，我先写信告知你。
致以敬意
heinrich
……
写完之后，他盯着屏幕读了一遍。
鼠标光标在屏幕上移动，他改了两处可能引起歧义的措辞，删掉了一个语气略重的副词。
确定这段文字既表达了学术上的严肃压力，又没有失去长者的礼貌后，他按下发送键。
邮件发出的那一刻，他看了一眼屏幕右下角的时间。
苏黎世时间，凌晨两点四十七分。
换算成中国时间，此刻正是上午八点四十七分。
江临正在低熵工坊的硬件组装车间里。
恒泰无人封闭巷道第一轮灰度测试结束后，G-01c二号机被连夜运回了工坊。
他们正在做回场复盘。
车间中央的升降台上，那台内部代号为G-01c的六足工程样机静静地趴在那里。
深灰色碳纤维外壳上，布满了碎石坡盲测和封闭巷道低速段留下的擦痕。
六根多
瑞士，苏黎世联邦理工学院，数学系G楼五层。
整层楼的感应灯早已熄灭。
唯独走廊尽头，heinrich Voss教授办公室的门缝还透着光。
Voss今年六十一岁。
他穿着一件洗得有些发白的深灰色羊毛衫，鼻梁上架着老花镜，银白色的头发在台灯的逆光下显得有些稀疏。
如果只看外表，他就像苏黎世街头随处可见的退休老祖父，安静，严谨，甚至有些刻板。
但在这间堆满手稿和预印本的办公室里，他是加性组合学中熵方法方向的一位老派人物。
三十年来，他始终只做一件事。
在多变量概率分布的齿轮之间，寻找对称性、熵耗散和结构压缩的边界。
他不是那种喜欢在公共论坛上发表意见的学者。
没有twitter账号。
不参与学术圈的热点争论。
事实上，在一周前，他甚至没有注册过Lean Zulip账号。
他习惯让数学停留在纸面、黑板、手稿边缘那些密密麻麻的铅笔批注里。
他对Lin Jiang这个名字的最初印象，来自八月四日那天nners打来的一通电话。
那时，Voss正在阿尔卑斯山下的采尔马特度假。
说是度假，其实也只是换了一个地方工作。
他坐在木屋露台上，膝盖上摊着一本托马斯·曼的德文小说，桌边放着一杯黑咖啡。
远处，马特洪峰山脊上的雪线在午后阳光里泛着刺眼的白光。
他的妻子端着一盘烤松饼走过来，看见他盯着雪线发呆，只是无奈地摇了摇头。
她太熟悉这种状态了。
一个数学家所谓的休假，往往只是从办公室里的黑板，换到山脚下的餐桌。
他的身体在山里。
灵魂仍被囚禁在那些抽象符号之中。
就是在那个下午，nners的电话打了进来。
电话接通后，连一句常规寒暄都没有。
nners的声音透着一种异乎寻常的急促。
“heinrich，你必须看一下这个，马上看。”
Voss点开了nners发来的文件包。
第一份，是江临刚刚对专业审查圈开放的pFR/rton v0.95流通版手稿。
第二份，是一份形式化依赖图说明，列出了第31号到第47号节点的Lean4编码进度。
第三份，是第38号节点双重对合封装器的自然语言蓝图。
nners在邮件里只标出了一句话。
【从第38号节点开始看。】
于是Voss没有从第一页开始慢慢读。
他径直切入了第4.2节。
第三层损失回收。
残余谱账目。
熵对合引理。
K大于等于8情形下的高维边界。
那是他这三十年里最熟悉的一片泥沼。
他坐在露台那把藤椅上，用了整整三天时间，只读了这一处。
反复读。
反复算。
反复把江临的自然语言证明、Lean形式化蓝图和依赖图节点摊在同一张桌面上，对照着推回去。
山里的风吹过他的羊毛衫，但他仿佛失去了温度感知。
到第三天傍晚，他合上电脑，长久地看着马特洪峰的雪线。
随后，他做了一件自己三十年学术生涯里极少做的事情。
他提前结束假期，驱车三个小时赶回苏黎世的办公室，开始写一份边界测试note。
不是反驳论文。
也不是宣布漏洞。
更不是出于老一辈学者对年轻人的嫉妒。
Voss没有这种兴趣。
他那双在熵方法里浸泡了三十年的眼睛，只是看见了一处高维边界的可见性风险。
在v0.95流通版手稿里，为了处理复杂的四变量后验测度，江临在第三层损失回收部分采用了一条相当轻的双重对合封装路线。
那条路线非常漂亮。
像一把薄而锋利的手术刀，把第38号节点极其繁琐的对称结构，硬生生压进一个相对短小的形式化接口里。
如果只从主证明的全局逻辑看，它不是错的。
Voss也没有看到可以推翻主定理的反例。
但他太熟悉熵方法了。
他深知，在数学的深水区，过于漂亮简短的东西，往往会把某些边界层代价藏得太深。
不是藏没了。
而是藏到外部审查者看不见它究竟在哪里被支付。
复杂性不会凭空消失。
它在这里被压扁，就必须在某个地方被清楚地吸收。
如果作者不把那一处吸收过程显式亮出来，后来的读者就可能在高维高K情形下卡住。
不是因为桥塌了。
而是因为桥的某一处承重结构被包进了混凝土里。
作者知道它在那里。
外部审查者却看不见。
Voss把自己关在办公室里，花了五天时间，在白板上反复演算，把脑海中那个模糊的直觉，一点点压缩成了一个足够尖锐的测试。
在F?1?这样已经足以显露谱簇回流的有限维模型中，取一个特定的K=8边界构型。
如果沿着v0.95流通版的双重对合封装路线推进，前两轮迭代一切正常。
但到了第三轮迭代时，残余谱损失项会出现一次极不显眼的边界层回流。
这个回流不会导致主定理崩塌。
也不足以说明江临的主证明失败。
但它足以说明一个问题。
v0.95流通版给出的轻量路径，对这一处边界吸收的展示不够充分。
换句话说，它能让作者自己走过去，却未必能让外部审查者放心地跟过去。
这对一篇普通论文而言，或许只是注释不够详细。
但对一篇声称要打穿有限域pFR/rton核心难点、并且正在被形式化蓝图接管的手稿而言，这就是必须被严肃处理的审查问题。
Voss把这五天的演算写成了一份十一页英文note。
标题被他斟酌了很久，最终定得非常谨慎。
《A high-dinsional boundary test for Jiangs Entropic Involution》
江氏熵对合的一个高维边界测试。
他没有使用Jiangs proof is wrong这种哗众取宠的标题。
也没有在摘要里写fatal gap。
但他在正文推导中写得非常清楚：
在这个特定的高维边界测试下，v0.95流通版的轻量化双重对合路径，尚未显式展示第三层残余谱损失如何完成吸收。
这不是结论否定。
这是审查压力。
8月12日，凌晨两点四十七分。
Voss坐在办公桌前，揉了揉干涩的双眼。
他没有立刻把note挂出去。
他先打开邮箱。
Voss是个老派人。
如果你要在公开场合指出一个年轻作者手稿中的高维边界风险，你至少应该先让那个年轻作者知道，自己真正指出的到底是什么。
不偷袭。
不搞舆论施压。
不把学术测试包装成流量武器。
他开始在键盘上敲击。
……
亲爱的林：
我准备了一篇简短的note，讨论你v0.95手稿中双重对合路线的一个高维边界测试。
请允许我说得精确一些：我并不是声称主定理是假的。
问题的范围更窄，但我认为它很严肃。在高维、高K区域，尤其是F?1?且K=8附近，目前流通版中的双重对合路线，并没有把第三层残余谱吸收过程展示到足以供外部审查的程度。我已经将相关计算放在附录中。
我的判断是，这个问题应该通过显式写出更重的第三层参数化来处理，至少应当在形式化部分或附录中呈现，而不是对当前封装器做一次表面性的重写。
在更大范围流通这篇note之前，我先写信告知你。
致以敬意
heinrich
……
写完之后，他盯着屏幕读了一遍。
鼠标光标在屏幕上移动，他改了两处可能引起歧义的措辞，删掉了一个语气略重的副词。
确定这段文字既表达了学术上的严肃压力，又没有失去长者的礼貌后，他按下发送键。
邮件发出的那一刻，他看了一眼屏幕右下角的时间。
苏黎世时间，凌晨两点四十七分。
换算成中国时间，此刻正是上午八点四十七分。
江临正在低熵工坊的硬件组装车间里。
恒泰无人封闭巷道第一轮灰度测试结束后，G-01c二号机被连夜运回了工坊。
他们正在做回场复盘。
车间中央的升降台上，那台内部代号为G-01c的六足工程样机静静地趴在那里。
深灰色碳纤维外壳上，布满了碎石坡盲测和封闭巷道低速段留下的擦痕。
六根多