，也不是在限制某一个多面体的几何边界形状。
它限制的是扩张的成本。
一个集合如果在加法操作下，其体积没有按照组合规律膨胀到应有的庞大规模，那么在它杂乱无章的表象之下，必然有某种高度有序的隐藏代数结构，在替它默默支付着本该爆发的复杂度。
这句话依然不能直接当作定理去发表。
但它给了江临长达十几年迷茫期后，真正破局的钥匙。
第二十六年的冬天，江临终于在数学推导上，将异常块剥离和能量增量接驳在一起。
他放弃了毕其功于一役，试图一次性压出全局结构的傲慢想法。
而是采用多尺度的剥离策略。
就像剥开一颗洋葱，他在每一个数学尺度上，只用外科手术般的精度，剥掉那一点点真正制造加法扩张的坏块。
然后利用能量增量策略，立刻进入下一个尺度。
这一次，他给每一层剥离都配了一本账。
坏块不能随便扔。
每剥掉一层制造扩张噪声的异常结构，就必须从同一尺度的能量增量里扣除代价。
每推进一层压缩，势函数都必须单调上升，却又被全局信息量死死压住上界。
于是，过去那个吞噬所有常数的黑洞，第一次变成了可以结账的迭代过程。
剩下的核心集合，在有限域模型下，由于排除了扩张噪声，开始逐步贴近那个理论上的低复杂度代数结构。
这一步推导的成功，让整个证明过程终于拥有了一副逻辑骨架。
但江临没有把这里当成终点。
有限域模型只是最干净的主战场，不是猜想最终停靠的港口。
在那片代数结构最清澈的世界里，他终于看清了弱倍增被压住时，结构到底是怎样一层一层从混乱中被挤出来的。
真正困难的，是把这套机制从干净的有限域宇宙，带回更粗糙、更不规则的一般集合世界。
第三十一年，rton猜想的方向也被他顺理成章地接到了这副骨架上。
在江临的眼中，熵形式不再是一套让人头疼的另一门外语。
它变成了同一张宏大结构压缩图上，从信息论视角投射下的一道清晰影子。
小和集条件在组合数学的语言里，表现为体积的弱倍增。
而在熵的语言里，它表现为，在施加加法噪声后，集合的信息增量受到极度限制。
两边如同镜子的内外，最终同时指向了江临在第二十二年悟出的那个真理。
当扩张被死死压住时，隐藏的结构必须站出来承担解释这种低复杂度的成本。
也是从这一年开始，江临不再把pFR和rton当成两座彼此遥望的孤峰。
它们只是同一座山的两个入口。
一个从组合语言进入。
一个从熵语言进入。
山体深处，通向的是同一套多尺度压缩结构。
第三十四年，江临开始处理最难看的部分。
模型转移。
有限域模型给出了最锋利的刀，但完整猜想不能永远留在有限域里。
一般阿贝尔群里的挠结构，整数集合里的嵌入损失，Frein模型转换时的维数膨胀，熵形式回到组合语言时的量化损耗，每一项都像旧账一样压在证明链上。
这里没有有限域里的干净傅里叶谱。
没有天然漂亮的子空间结构。
也没有能让所有坏块自动归位的代数秩。
江临必须把前面二十多年建立的多尺度账本，一层一层搬进更肮脏的世界里。
他把证明拆成三道门。
第一道门，有限域模型。
在那里，弱倍增被压缩成清晰的低秩结构。
第二道门，熵形式。
在那里，组合损失被重新写成可累加、可对账的信息增量。
第三道门，模型转移。
在那里，干净世界里的结构定理，被一点点搬回一般弱倍增命题之中。
第三十六年冬天，这三道门第一次在同一张证明链上合拢。
那一天，江临没有欢呼。
他只是站在北墙前，看着自己写下的最后一条箭头，很久没有动。
从弱倍增，到能量增量。
从能量增量，到多尺度压缩。
从多尺度压缩，到近似代数结构。
从近似代数结构，再经由熵形式和模型转移，回到完整的pFR/rton主命题。
这条链终于闭上了。
废土第三十八年，江临放下了笔，完成了第一版长篇手稿。
英文暂定标题——
【Froweak doubling to ltiscale Rigidity】
中文手稿的标题则去掉了所有的修饰。
【从弱倍增到多尺度刚性】
江临心里很清楚，这还远远不是一份能直接投递给《数学年刊》的成品论文。
手稿中有些过渡引理写得过于冗长繁琐。
有些多项式常数的依赖关系还没有经过最极致的优化整理。
有限域部分锋利到近乎冷酷，但模型转移部分仍有大量符号、边界和传统表述需要清理。
有些极度个人化的推导语言，也必须被翻译成当代学界更习惯、更容易审查的标准化形式。
但这些都只是粗活了。
最核心的事情已经完成。
pFR猜想和rton猜想之间那道看似隔着语言、模型和技术传统的墙，已经被他从底部打穿。
它们不再只是那天韩砚山在专题报告里，作为遥远灯塔抛出的两个孤立疑问。
在江临这四十年的死磕下，它们被暴力又优雅地压进了一张统一的多尺度刚性结构图中。
剩下的两年，江临没有再追求新的主定理。
他开始做最枯燥，也最必要的清理。
重排引理顺序。
压缩符号系统。
清点每一个常数依赖。
给每一处模型转移写出单独的边界说明。
把那些只有他自己能看懂的推导，改写成韩砚山这种领域内专家也能逐行审查的标准语言。
最后，第三张图的最终标题是——
Froweak doubling to ltiscale Rigidity: A Unified proof of the pFR–rton conjectures.
【从弱倍增到多尺度刚性：pFR/rton猜想的统一结构证明】
江临将这张凝结了小半个世纪心血的图表，在石屋斑驳的北墙上画了出来。
图表的左端入口，是看似柔弱无力的弱倍增条件。
图表的右端出口，是清晰可见的近似代数结构。
而在连接两端的中间地带，是一层层如同地质剖面般，被精确剥离、极限压缩，然后重新组合的结构块流转图。
图表的下方，还有三道被他用黑线重重框出的门。
有限域模型。
熵形式。
模型转移。
三道门之后，那条原本断裂在不同数学语言之间的路，第一次被完整地连了起来。
这张图没有G-01六足机器人的图纸那样直观且充满钢铁的张力。
也没有S-Kernel的基准测试曲线那样能让人一眼看到商业和工业的价值。
可江临知道，这张纸最重。
江氏砖解决的是一个耀眼的存在性难题。
它像一块奇异的陨石，砸进数学史。
而pFR/rton不一样。
它并非孤立的奇石，而是现代加性组合内部的一根承重梁。
如果这份手稿最终成立，就意味着江临不再只是一个在离散几何中完成奇迹的外来者。
而是第一次用自己的方法，打穿了现代组合数学最深处的结构问题。
它限制的是扩张的成本。
一个集合如果在加法操作下，其体积没有按照组合规律膨胀到应有的庞大规模，那么在它杂乱无章的表象之下，必然有某种高度有序的隐藏代数结构，在替它默默支付着本该爆发的复杂度。
这句话依然不能直接当作定理去发表。
但它给了江临长达十几年迷茫期后，真正破局的钥匙。
第二十六年的冬天，江临终于在数学推导上，将异常块剥离和能量增量接驳在一起。
他放弃了毕其功于一役，试图一次性压出全局结构的傲慢想法。
而是采用多尺度的剥离策略。
就像剥开一颗洋葱，他在每一个数学尺度上，只用外科手术般的精度，剥掉那一点点真正制造加法扩张的坏块。
然后利用能量增量策略，立刻进入下一个尺度。
这一次，他给每一层剥离都配了一本账。
坏块不能随便扔。
每剥掉一层制造扩张噪声的异常结构，就必须从同一尺度的能量增量里扣除代价。
每推进一层压缩，势函数都必须单调上升，却又被全局信息量死死压住上界。
于是，过去那个吞噬所有常数的黑洞，第一次变成了可以结账的迭代过程。
剩下的核心集合，在有限域模型下，由于排除了扩张噪声，开始逐步贴近那个理论上的低复杂度代数结构。
这一步推导的成功，让整个证明过程终于拥有了一副逻辑骨架。
但江临没有把这里当成终点。
有限域模型只是最干净的主战场，不是猜想最终停靠的港口。
在那片代数结构最清澈的世界里，他终于看清了弱倍增被压住时，结构到底是怎样一层一层从混乱中被挤出来的。
真正困难的，是把这套机制从干净的有限域宇宙，带回更粗糙、更不规则的一般集合世界。
第三十一年，rton猜想的方向也被他顺理成章地接到了这副骨架上。
在江临的眼中，熵形式不再是一套让人头疼的另一门外语。
它变成了同一张宏大结构压缩图上，从信息论视角投射下的一道清晰影子。
小和集条件在组合数学的语言里，表现为体积的弱倍增。
而在熵的语言里，它表现为，在施加加法噪声后，集合的信息增量受到极度限制。
两边如同镜子的内外，最终同时指向了江临在第二十二年悟出的那个真理。
当扩张被死死压住时，隐藏的结构必须站出来承担解释这种低复杂度的成本。
也是从这一年开始，江临不再把pFR和rton当成两座彼此遥望的孤峰。
它们只是同一座山的两个入口。
一个从组合语言进入。
一个从熵语言进入。
山体深处，通向的是同一套多尺度压缩结构。
第三十四年，江临开始处理最难看的部分。
模型转移。
有限域模型给出了最锋利的刀，但完整猜想不能永远留在有限域里。
一般阿贝尔群里的挠结构，整数集合里的嵌入损失，Frein模型转换时的维数膨胀，熵形式回到组合语言时的量化损耗，每一项都像旧账一样压在证明链上。
这里没有有限域里的干净傅里叶谱。
没有天然漂亮的子空间结构。
也没有能让所有坏块自动归位的代数秩。
江临必须把前面二十多年建立的多尺度账本，一层一层搬进更肮脏的世界里。
他把证明拆成三道门。
第一道门，有限域模型。
在那里，弱倍增被压缩成清晰的低秩结构。
第二道门，熵形式。
在那里，组合损失被重新写成可累加、可对账的信息增量。
第三道门，模型转移。
在那里，干净世界里的结构定理，被一点点搬回一般弱倍增命题之中。
第三十六年冬天，这三道门第一次在同一张证明链上合拢。
那一天，江临没有欢呼。
他只是站在北墙前，看着自己写下的最后一条箭头，很久没有动。
从弱倍增，到能量增量。
从能量增量，到多尺度压缩。
从多尺度压缩，到近似代数结构。
从近似代数结构，再经由熵形式和模型转移，回到完整的pFR/rton主命题。
这条链终于闭上了。
废土第三十八年，江临放下了笔，完成了第一版长篇手稿。
英文暂定标题——
【Froweak doubling to ltiscale Rigidity】
中文手稿的标题则去掉了所有的修饰。
【从弱倍增到多尺度刚性】
江临心里很清楚，这还远远不是一份能直接投递给《数学年刊》的成品论文。
手稿中有些过渡引理写得过于冗长繁琐。
有些多项式常数的依赖关系还没有经过最极致的优化整理。
有限域部分锋利到近乎冷酷，但模型转移部分仍有大量符号、边界和传统表述需要清理。
有些极度个人化的推导语言，也必须被翻译成当代学界更习惯、更容易审查的标准化形式。
但这些都只是粗活了。
最核心的事情已经完成。
pFR猜想和rton猜想之间那道看似隔着语言、模型和技术传统的墙，已经被他从底部打穿。
它们不再只是那天韩砚山在专题报告里，作为遥远灯塔抛出的两个孤立疑问。
在江临这四十年的死磕下，它们被暴力又优雅地压进了一张统一的多尺度刚性结构图中。
剩下的两年，江临没有再追求新的主定理。
他开始做最枯燥，也最必要的清理。
重排引理顺序。
压缩符号系统。
清点每一个常数依赖。
给每一处模型转移写出单独的边界说明。
把那些只有他自己能看懂的推导，改写成韩砚山这种领域内专家也能逐行审查的标准语言。
最后，第三张图的最终标题是——
Froweak doubling to ltiscale Rigidity: A Unified proof of the pFR–rton conjectures.
【从弱倍增到多尺度刚性：pFR/rton猜想的统一结构证明】
江临将这张凝结了小半个世纪心血的图表，在石屋斑驳的北墙上画了出来。
图表的左端入口，是看似柔弱无力的弱倍增条件。
图表的右端出口，是清晰可见的近似代数结构。
而在连接两端的中间地带，是一层层如同地质剖面般，被精确剥离、极限压缩，然后重新组合的结构块流转图。
图表的下方，还有三道被他用黑线重重框出的门。
有限域模型。
熵形式。
模型转移。
三道门之后，那条原本断裂在不同数学语言之间的路，第一次被完整地连了起来。
这张图没有G-01六足机器人的图纸那样直观且充满钢铁的张力。
也没有S-Kernel的基准测试曲线那样能让人一眼看到商业和工业的价值。
可江临知道，这张纸最重。
江氏砖解决的是一个耀眼的存在性难题。
它像一块奇异的陨石，砸进数学史。
而pFR/rton不一样。
它并非孤立的奇石，而是现代加性组合内部的一根承重梁。
如果这份手稿最终成立，就意味着江临不再只是一个在离散几何中完成奇迹的外来者。
而是第一次用自己的方法，打穿了现代组合数学最深处的结构问题。