【Marton Bridge: entropy paynt under probability-space switch】
“不要把它看成翻译器。”江临在两个嵌套空间之间画出连接，“它是支付系统。局部自由度在进入全局装配时失去原始坐标，这个代价，必须被支付。”
丁剑抬起头。
上午在江临的办公室里，他听过这句试讲，但此刻放在完整的链路里，分量截然不同。
它不再是一个孤立的概率技术解释，而是通向全局闭合的必经之桥。
下午三点二十二分，江临走到第三块白板前，写下最后一行标题。
江临画出一个巨大的全局帐目矩阵。
残馀谱、见证路线、密度增量、熵控制储备……
所有变量被塞进同一张表里。
“如果有一项找不到支付来源，证明就不会闭合。如果一项被重复支付，证明也不闭合。如果局部自由度丢失坐标而未被支付，证明依旧不会闭合。”
他在最底下写下一个词。
【closed】
报告厅里没有人说话。
伴随着清脆的落笔声，他换回红笔，在矩阵下方签发了最终结论。
【finite-field PFR follows frothe closed loss ledger】
（有限域PFR，由闭合损失帐目推出）
两行字写完，主梁全部铺陈完毕，整座报告厅却象被按住了。
江临转过身，面向台下。
“基准框架就是这些，现在可以提问了。”
话音落下，报告厅里一片静默。
这不是冷场，也不是没人有问题。
恰恰相反，是问题太多。
只不过台下众人的大脑还在追赶白板上的风暴。
十几秒后，远程窗口里的Voss举起了手。
“第38号节点，你把第三层见证定义为可审查路径，而不是新的压缩步骤，这点我同意。”
他的声音带着一点德国口音，语速不快。
“但在K等于8的边界模型下，如果第三层残馀谱反复逼近阈值，你如何保证这个见证不会在全局帐目里，重新消耗第二层的熵储备？”
许多人下意识低头看手里的摘要。
这不仅是质询，更是将刚才那条主链路直接推向高压测试。
防不住，帐目体系瞬间崩塌。
江临握在手里的红笔在指尖转了一圈，没有片刻迟疑，转身在白板空白处画下一道清淅的竖线，将储备层与见证层生生劈开。
“见证不等于支付。”他的声音毫无起伏，却掷地有声，“第三层路线只提供审查可见性，没有支付权。如果它去调用第二层，那是递归收费。在全局矩阵里，它的状态只是checked（已检查），绝不能是spent（已消耗）。”
粗糙的比喻，却干脆利落地堵住了所有可能的帐目歧义。
报告厅里有人低低笑了一下。
Voss盯着屏幕，手指在桌面上慢慢敲了几下。
十几秒后，他抬起头，微微颔首。
“不错，这条可见性路径，经得起审查。”
前排几位老教授不约而同地松了松肩膀。
最险的第一道关卡，守住了。
……
梁辰的直播间里直接炸开了锅。
“我靠，Voss说不错？”
“这可是去年抛反例干废三篇顶刊的那个Voss吗，就这么给过了？”
“我还以为要掰扯半小时，结果一句话就堵死了！”
……
然而交锋不留喘息。
陶哲轩随即问起，形式化蓝图里这条wrapper该挂在主依赖链上还是节点外侧。
清华一位青年教师问，添加wrapper和边界审查结构后，形式化蓝图里的47个宏节点是否还保持原来的主依赖拓扑。
北大的李教授盯着帐目矩阵，问边界塌缩时频域索引会不会和组合域阈值错位。
接下来的半小时，江临一个接一个地接住。
语速不快，却几乎没有迟疑。
白板被擦了又写，写了又擦。
他始终在重复同一件事。
把看起来笨重的结构，一项项摊开给审查者看。。”回答李教授时他说，“单索引更漂亮，但单索引会撒谎。”
有人低低咳了一声。
前排几位教授同时点了头。
只有丁剑那一问，江临答得格外慢。
“你说熵储备在局部被支付，进了全局帐目就标成spent。”丁剑