都可以被精确地列举出来。
每一项微小的熵损失，都必须被计算到小数点后若干位。
每一个试图萌芽的残余项，都无处遁形，必须清清楚楚地交代自己的归属账目。
丁剑拿起黑色马克笔，在白板的左上角，精准地画出那八个点的拓扑位置。
接着，他换上黑笔，在其中的几个点上点出标记，代表原始变量 x的概率支撑集。
随后换上红笔，标出变量Y的支撑集。
最后，他拔开蓝笔的笔帽，在空间的一侧画出一个椭圆形的区域。
那正是韩砚山之前提到过的，二次型零点集附近的异常集中区域，也是传统递推中最容易失控的位置。
韩砚山走到丁剑旁边。
第一步，丁剑在左侧列出x和Y极其不均匀的原始分布律。
第二步，韩砚山在右侧补上复制后的x_1，x_2，Y_1，Y_2四组庞大的联合分布张量。
第三步，丁剑开始穷举宏观变量S=x_1+Y_1的所有可能取值及其先验概率。
第四步，同样穷举t=x_2+Y_2。
第五步，韩砚山用红笔圈出了一个让系统最痛苦的常量c，强行施加条件：固定S+t=c。
第六步，在这张被严重挤压的概率网中，他们开始重新逐个计算条件分布下的x_1与Y_2联合矩阵。
白板上，开始缓慢浮现出一张八乘八的条件分布矩阵。
每一个矩阵的格子里，都写着简短但决定命运的数字标记。
有代表不可能的0。
有代表确定性的1。
有代表均匀分布的1/2和1/4。
还有几个位置，被丁剑记成了带有代数粘性的小概率权重a，b，c。
一分钟过去了。
五分钟过去了。
十分钟过去了。
十五分钟过去了。
江临没有上前插话，没有试图去引导他们的计算方向。
他只是站在离白板三步远的位置，看着韩砚山和丁剑沿着自己给出的变量路线继续往下验算。
第十八分钟。
丁剑的手突然停在半空。
“等等。”
他说，然后迅速用蓝笔在巨大矩阵的右下角，圈出一个格子。
那个格子里包含了一个由代数粘性引起的交叉项。
“这里出现了一个在条件化之后，无法被直接平均吸收的残余项。”
他转头看向韩砚山和江临。
“如果按你刚才说的逻辑，依靠互信息强制显形，这一项必须从误差堆里拿出来，进入结构性子空间贡献。”
韩砚山立刻接上了丁剑的思路。
“但如果它因为某个代数阻塞，无法顺利进入子空间贡献账本，那它最终还是会重新回到覆盖递推。”
江临却摇了摇头。
“韩教授，丁教授，它不会回去的，它永远进不了下一层的覆盖递推。”
江临拿起一支黑笔，在那一格残余项旁边补上一条指向左上方的箭头。
“理由在你们刚才施加的条件里。”
“固定S加t等于c之后，系统的自由度已经减少。这一项不再对应底层空间里的新自由方向。”
“它现在只能改变条件分布内部的权重分配。”
“而权重改变带来的熵损失，已经在这里扣掉了。”
江临用笔指向了丁剑在五分钟前写下的那一项巨大的条件互信息项。
“如果你们现在，因为看着它眼熟，就让它重新进入下一轮的覆盖递推计算，那就等同于在一个财务系统里，让同一笔坏账，被支付了两次。”
韩砚山的眼神一凝。
同一笔损失，支付两次。
这句话正中他过去十二年在这条路线上的失败经验。
过去那么多天才提出的旧路线，为什么总是会在推导到一半时莫名其妙地炸裂？
为什么覆盖数总是会像脱缰的野马一样失控？
不是因为他们在某一步犯了愚蠢的计算错误。
恰恰相反，是因为他们在每一步都太过谨慎。
每当系统边缘出现一个看似不可忽略的坏项，证明者就会本能地为它重新支付一次覆盖代价。
在这局部的切片里，每一次支付看起来都是那么的合理。
可当整条证明链走完，误差已经被重复支付到无法承受的程度，最终覆盖数重新回到指数级。
江临这里真正改写的，根本不是某个孤立的局部常数估计。
他是在更高维度上，直接重写了这套数学体系的支付规则。
韩砚山没有再反驳半个字。
而是低下头，顺着江临指出的那条约束，重新验算那一格的真实权重。
丁剑也顺着江临画出的箭头，将那一项从可能引发覆盖增长的矩阵里划掉，移入条件互信息账本。
又过了五分钟。
最后一步的合并同类项开始。
矩阵中的数字开始大面积地抵消湮灭。
最后一项固执的条件熵，在四变量的对消机制下，被迫化为数字洪流，压进了上一层早已预留好的能量缺口之中。
“抵消了！”
丁剑轻叹，但在落针可闻的会议室里，这三个字却像雷鸣一般震耳欲聋。
他后退半步，怔怔地看着白板上那个经过无数次碾压、剥离、对合后，最终呈现出的估算值。
缓缓转过头，看向站在身旁的韩砚山。
“老韩。”丁剑深吸了一口气，“算平了。”
韩砚山没有立刻回应这句判断。
他近乎偏执地把最后那一行结论，在白板的最下方重新写了一遍。
原本最容易导致覆盖数失控的残余项，在江临的框架下，被完美地拆成了两部分。
一部分，化作条件熵的实质性下降。
另一部分，化作结构信息，进入了能量缺口的摊还。
没有任何一丝一毫的残渣能够逃脱这层罗网，重新进入下一层的覆盖递推。
这在数学上意味着：那项在过去三十年里最容易导致指数级膨胀的梦魇，确实没有在江临的熵系统里重新获得自由度。
韩砚山紧紧注视着自己刚刚写下的那行最终估计式。
一秒。
两秒。
三秒。
然后，他松开了手，任由那支水性笔掉落在桌面上。
“不是指数级膨胀。”
他的声音低得近乎自言自语，带着大梦初醒般的恍惚。
丁剑下意识在一旁接上韩砚山的话。
“这个模型虽然只有八个点，但它容纳了我们能在有限域里构造的最坏退化情形。条件独立在这里没断，高维推广的障碍就已经扫除了最底层的那一块。”
“无论底层的代数结构发生多么不可理喻的畸变，只要系统的熵在跌落，系统就必须向一个近似线性结构集中。”
“所有误差，都被限制在K^11范围内。”
韩砚山盯着K^11看了很久。
这个指数并不追求最优。
但它足够明确。
只要每一层损失都按江临这套账本归类，覆盖数就不会再回到拟多项式，更不会掉回指数级。
“这个指数还能压吗？”丁剑问。
“能。”江临说，“但不是这一稿的任务。”
他看了一眼白板上的边界框。
“这一稿先做一件事，把递推从会失控，变成不会失控。只要这一步成立，后面的常数压缩就是技术问题，不是路线问题。”
在场的人都明白这句话的分量。
这意味着，长久以来横亘在加性组合学和信息论之间那条不可逾越的鸿沟，pFR和rton形式这组长期被数学界认定为必须分开独立处理的世纪难题，在这间303会议室里，第一次被压进了一套统一的熵账本之中。
虽然，这篇手稿还没有被整个国际数学界公开确认。
虽然，即便在此时此刻，这也还只是十几个小时的闭门会议中的一段局部推导。
但至少在这一处关键断裂点上，江临给出了可验算、可复核、能通过退化模型测试的构造。
也就在这时，江临从脚边的双肩包里拿出一块移动硬盘，放到桌面中央。
“还有这个。”
韩砚山疑惑抬头。
丁剑看向那块硬盘。
硬盘外壳上贴着一张白色标签，标签上是江临手写的几行字。
pFR_rton_F_2_v7.0_readonly
forl blueprint/dependency graph
47 core nodes
41 dependency-checked
17 Lean-verified utility leas
韩砚山的目光停住。
丁剑直接把硬盘拿起来。
“你做了形式化？”
“不是完整形式化证明。”江临先把边界说清楚，“完整证明已经在正文里闭合。”
他指了指硬盘。
“这里面是形式化蓝图、引理依赖图和一部分可机检的工具引理。”
“我把四十七个核心节点拆了出来，其中四十一个节点已经完成依赖标注。十七个比较基础的熵恒等式、条件分布变换和有限域线性代数工具，已经用Lean跑过。”
每一项微小的熵损失，都必须被计算到小数点后若干位。
每一个试图萌芽的残余项，都无处遁形，必须清清楚楚地交代自己的归属账目。
丁剑拿起黑色马克笔，在白板的左上角，精准地画出那八个点的拓扑位置。
接着，他换上黑笔，在其中的几个点上点出标记，代表原始变量 x的概率支撑集。
随后换上红笔，标出变量Y的支撑集。
最后，他拔开蓝笔的笔帽，在空间的一侧画出一个椭圆形的区域。
那正是韩砚山之前提到过的，二次型零点集附近的异常集中区域，也是传统递推中最容易失控的位置。
韩砚山走到丁剑旁边。
第一步，丁剑在左侧列出x和Y极其不均匀的原始分布律。
第二步，韩砚山在右侧补上复制后的x_1，x_2，Y_1，Y_2四组庞大的联合分布张量。
第三步，丁剑开始穷举宏观变量S=x_1+Y_1的所有可能取值及其先验概率。
第四步，同样穷举t=x_2+Y_2。
第五步，韩砚山用红笔圈出了一个让系统最痛苦的常量c，强行施加条件：固定S+t=c。
第六步，在这张被严重挤压的概率网中，他们开始重新逐个计算条件分布下的x_1与Y_2联合矩阵。
白板上，开始缓慢浮现出一张八乘八的条件分布矩阵。
每一个矩阵的格子里，都写着简短但决定命运的数字标记。
有代表不可能的0。
有代表确定性的1。
有代表均匀分布的1/2和1/4。
还有几个位置，被丁剑记成了带有代数粘性的小概率权重a，b，c。
一分钟过去了。
五分钟过去了。
十分钟过去了。
十五分钟过去了。
江临没有上前插话，没有试图去引导他们的计算方向。
他只是站在离白板三步远的位置，看着韩砚山和丁剑沿着自己给出的变量路线继续往下验算。
第十八分钟。
丁剑的手突然停在半空。
“等等。”
他说，然后迅速用蓝笔在巨大矩阵的右下角，圈出一个格子。
那个格子里包含了一个由代数粘性引起的交叉项。
“这里出现了一个在条件化之后，无法被直接平均吸收的残余项。”
他转头看向韩砚山和江临。
“如果按你刚才说的逻辑，依靠互信息强制显形，这一项必须从误差堆里拿出来，进入结构性子空间贡献。”
韩砚山立刻接上了丁剑的思路。
“但如果它因为某个代数阻塞，无法顺利进入子空间贡献账本，那它最终还是会重新回到覆盖递推。”
江临却摇了摇头。
“韩教授，丁教授，它不会回去的，它永远进不了下一层的覆盖递推。”
江临拿起一支黑笔，在那一格残余项旁边补上一条指向左上方的箭头。
“理由在你们刚才施加的条件里。”
“固定S加t等于c之后，系统的自由度已经减少。这一项不再对应底层空间里的新自由方向。”
“它现在只能改变条件分布内部的权重分配。”
“而权重改变带来的熵损失，已经在这里扣掉了。”
江临用笔指向了丁剑在五分钟前写下的那一项巨大的条件互信息项。
“如果你们现在，因为看着它眼熟，就让它重新进入下一轮的覆盖递推计算，那就等同于在一个财务系统里，让同一笔坏账，被支付了两次。”
韩砚山的眼神一凝。
同一笔损失，支付两次。
这句话正中他过去十二年在这条路线上的失败经验。
过去那么多天才提出的旧路线，为什么总是会在推导到一半时莫名其妙地炸裂？
为什么覆盖数总是会像脱缰的野马一样失控？
不是因为他们在某一步犯了愚蠢的计算错误。
恰恰相反，是因为他们在每一步都太过谨慎。
每当系统边缘出现一个看似不可忽略的坏项，证明者就会本能地为它重新支付一次覆盖代价。
在这局部的切片里，每一次支付看起来都是那么的合理。
可当整条证明链走完，误差已经被重复支付到无法承受的程度，最终覆盖数重新回到指数级。
江临这里真正改写的，根本不是某个孤立的局部常数估计。
他是在更高维度上，直接重写了这套数学体系的支付规则。
韩砚山没有再反驳半个字。
而是低下头，顺着江临指出的那条约束，重新验算那一格的真实权重。
丁剑也顺着江临画出的箭头，将那一项从可能引发覆盖增长的矩阵里划掉，移入条件互信息账本。
又过了五分钟。
最后一步的合并同类项开始。
矩阵中的数字开始大面积地抵消湮灭。
最后一项固执的条件熵，在四变量的对消机制下，被迫化为数字洪流，压进了上一层早已预留好的能量缺口之中。
“抵消了！”
丁剑轻叹，但在落针可闻的会议室里，这三个字却像雷鸣一般震耳欲聋。
他后退半步，怔怔地看着白板上那个经过无数次碾压、剥离、对合后，最终呈现出的估算值。
缓缓转过头，看向站在身旁的韩砚山。
“老韩。”丁剑深吸了一口气，“算平了。”
韩砚山没有立刻回应这句判断。
他近乎偏执地把最后那一行结论，在白板的最下方重新写了一遍。
原本最容易导致覆盖数失控的残余项，在江临的框架下，被完美地拆成了两部分。
一部分，化作条件熵的实质性下降。
另一部分，化作结构信息，进入了能量缺口的摊还。
没有任何一丝一毫的残渣能够逃脱这层罗网，重新进入下一层的覆盖递推。
这在数学上意味着：那项在过去三十年里最容易导致指数级膨胀的梦魇，确实没有在江临的熵系统里重新获得自由度。
韩砚山紧紧注视着自己刚刚写下的那行最终估计式。
一秒。
两秒。
三秒。
然后，他松开了手，任由那支水性笔掉落在桌面上。
“不是指数级膨胀。”
他的声音低得近乎自言自语，带着大梦初醒般的恍惚。
丁剑下意识在一旁接上韩砚山的话。
“这个模型虽然只有八个点，但它容纳了我们能在有限域里构造的最坏退化情形。条件独立在这里没断，高维推广的障碍就已经扫除了最底层的那一块。”
“无论底层的代数结构发生多么不可理喻的畸变，只要系统的熵在跌落，系统就必须向一个近似线性结构集中。”
“所有误差，都被限制在K^11范围内。”
韩砚山盯着K^11看了很久。
这个指数并不追求最优。
但它足够明确。
只要每一层损失都按江临这套账本归类，覆盖数就不会再回到拟多项式，更不会掉回指数级。
“这个指数还能压吗？”丁剑问。
“能。”江临说，“但不是这一稿的任务。”
他看了一眼白板上的边界框。
“这一稿先做一件事，把递推从会失控，变成不会失控。只要这一步成立，后面的常数压缩就是技术问题，不是路线问题。”
在场的人都明白这句话的分量。
这意味着，长久以来横亘在加性组合学和信息论之间那条不可逾越的鸿沟，pFR和rton形式这组长期被数学界认定为必须分开独立处理的世纪难题，在这间303会议室里，第一次被压进了一套统一的熵账本之中。
虽然，这篇手稿还没有被整个国际数学界公开确认。
虽然，即便在此时此刻，这也还只是十几个小时的闭门会议中的一段局部推导。
但至少在这一处关键断裂点上，江临给出了可验算、可复核、能通过退化模型测试的构造。
也就在这时，江临从脚边的双肩包里拿出一块移动硬盘，放到桌面中央。
“还有这个。”
韩砚山疑惑抬头。
丁剑看向那块硬盘。
硬盘外壳上贴着一张白色标签，标签上是江临手写的几行字。
pFR_rton_F_2_v7.0_readonly
forl blueprint/dependency graph
47 core nodes
41 dependency-checked
17 Lean-verified utility leas
韩砚山的目光停住。
丁剑直接把硬盘拿起来。
“你做了形式化？”
“不是完整形式化证明。”江临先把边界说清楚，“完整证明已经在正文里闭合。”
他指了指硬盘。
“这里面是形式化蓝图、引理依赖图和一部分可机检的工具引理。”
“我把四十七个核心节点拆了出来，其中四十一个节点已经完成依赖标注。十七个比较基础的熵恒等式、条件分布变换和有限域线性代数工具，已经用Lean跑过。”