8月3日，凌晨零点四十分，深夜的紫金山庄很安静。
303闭门会议室的门，从内侧打开。
韩砚山第一个走出来。
他肩膀微微塌着，原本挺括的衬衫后背已经压出了好几道深深的褶皱。
袖口卷到手肘上方，小臂边缘沾着两道已经干透的蓝色马克笔痕迹。
他整个人虽然带着高强度脑力透支后的疲惫，但精神状态上也有某种沉重的东西终于落地的释然。
丁剑跟在后面。
那本厚厚的手稿被他夹在腋下，封面已经因为反复翻动而微微卷起。
接着是江临。
他背着双肩包，精神不能说饱满，却并没有太多倦态。
林照野最后一个出门。
在带上房门之前，他回身看了一眼会议室。
三块移动白板呈品字形错落摆放，板面上层峦叠嶂的公式已经被擦掉。
林照野抬手关灯，门带上。
门锁咔哒一声合上。
这个清脆的机械咬合声，像是一个标点符号，把刚才那十五个小时四十分钟，堪称绞肉机般的推导暂时封存进了黑暗的房间里。
“今晚就到这儿了。”
韩砚山开口，声音是他人生里最哑的一次。
“江临，明天，不，今天，上午九点之前，我不会再发任何新的技术问题给你。这条审查链先按到这里，我们需要让脑子冷却一下。”
站在一旁丁剑补了一句：“任何关于今天闭门内容的对外询问，统一回复例行学术讨论。”
江临点头表示明白。
交代完，韩砚山想起什么事，说：“这件事，别忘了同步丘先生。”
丁剑低声道：“他请我进这条审查链，现在第一处核心障碍算平了，应该告诉他。”
韩砚山用力揉了揉紧绷得发疼的眉心，叹道：“而且，只靠我们两个人，不够。”
林照野明白韩砚山的意思了。
在当今的数学界，韩砚山是国内能审pFR有限域主线的大脑之一。
丁剑在rton熵形式和概率结构上的造诣，放眼全球也位列第一梯队。
但江临拿出来的这份手稿不是一篇单向度的传统论文。
它同时踩在加性组合、熵方法、有限域结构和形式化证明工程四条线上。
像是一座地质结构复杂的庞大工程。
需要多支顶尖的施工队，带着不同的重型装备，从不同的方向同时掘进。
韩砚山能照亮东边的一段，丁剑能探明西边的岩层。每一个人都能在自己最擅长的领域里验证结构的强度。
但没有任何一个人，可以凭借一己之力，独自照完整条深不见底的隧道，并保证所有接口严丝合缝。
林照野沉吟片刻，问道：“你想让丘先生邀请下一位审查人？”
“不是下一位。”韩砚山看了一眼江临背上的双肩包，“是下一扇门。”
丁剑素来不喜欢绕弯子，他直接点破了那个名字：“pFR这条线，terry必须看。”
terry，陶哲轩。
如果一份关于有限域F?模型下pFR/rton的手稿，已经切实地走到了熵对合引理、走到了K的十一次幂覆盖界、甚至连Lean 4形式化蓝图都已经搭建到这一步，那么陶哲轩对于这份手稿来说，就不只是一个可以邀请来锦上添花的权威。
在加性组合与调和分析的交叉地带，他是这条审查链上绕不开的那座最高的山峰。
林照野在心里快速盘算了一下时差，说：“我先打给丘先生。”
“技术细节不用在电话里说太多，说多了反而失焦，三件事就够。”
韩砚山解释道。
“第一，有限域pFR主线，经过我们的初步强压测试，暂时没有发现结构性断裂。”
“第二，丁剑刚才亲自上手验了第4.2节，那个最危险的熵对合引理，通过了最小退化模型测试，K^11的界限稳住了。”
“第三，江临已经准备好了Lean的形式化蓝图，足够支持外部审查者沿着依赖链，一行一行地进入代码深处。”
这并不是依赖成熟 thlib4 生态的完成品。
2022年的Lean 4公共库还远远不够厚，江临真正搭起来的，是一套 project-local library。
公共库只承担最基础的类型、有限域结构和通用引理接口。
F??上的谱簇索引、条件互信息账本、覆盖递推节点和双重对合封装，全都被他封存在本地库里。
所以它不是最终形式化证明，而是 forlization blueprint。
一条能让外部审查者沿着依赖图进入证明内部的机器化施工路线。
林照野拿出手机，转身走到走廊的尽头，避开了通风口的噪音。
几人站在原地，默默地等待。谁也没有说话，走廊里只有林照野低沉模糊的交谈声断断续续地传来。
大约两分钟后，林照野转回身，快步走来。
“丘先生还没睡，他想和你通个电话。”
林照野把手机递给江临。
江临接过手机。
“江临。”
“丘教授，您好。”
“我没有看到手稿，无法判断这份证明究竟对不对。但既然砚山和丁剑都认为，第4.2节已经通过了他们能构造出的最小退化模型测试，那terry，的确是最好的人选。”
江临在脑海中快速评估着目前的进度，然后开口问：“现在就联系？”
丘成桐的回答毫无迟疑：“我先给terry写一封私人的介绍邮件。在信里，我只介绍背景和你们今晚的进度，我不会越俎代庖替你判断结论。等他回复，表达出愿意阅读的意向之后，你再把仓库的邀请发过去。”
江临明白这种学术社交中的微妙尺度，点头应道。
“好，我会全部开放主论文、两份技术备忘录、独立核验指南、Lean蓝图、依赖图和白板扫描。但第七版文本作为审查基线不动，主分支需要锁住。所有批注、形式化建议、Lean编码修改，都走issue、branch和pull request。”
一份横跨加性组合、熵方法和形式化验证的巨型手稿，一旦允许多人同时进入协作，最可怕的麻烦往往不是对数学直觉的争论，甚至不是署名的混乱，而是版本控制的灾难。
一个微小的损失项，如果在昨天从第38号节点被悄悄移到了第39号节点；一个条件互信息，如果在今早被改写成了某种等价形式；一个局部引理，如果在深夜被顺手合并进了上层的推论里……
在如此庞大复杂的逻辑链条中，如果没有一条清晰到近乎死板的版本追踪链，那么仅仅三天之后，连作者自己都可能对着屏幕茫然失措，忘记某个精细的估计式到底是在什么时候，因为什么见鬼的理由被改得面目全非的。
丘成桐在电话那头听懂了江临的潜台词，语气中透着赞许之意。
“行，那你回去之后，先把仓库的权限和结构准备好。”
……
四个人在三楼电梯前分开。
江临回到房间里，洗漱的时候，镜面里映出他的脸。
十八岁。
眼下没有黑眼圈，皮肤紧致，头发因为坐了一天有些塌。
那张脸上甚至没有太明显的疲态。
十几个小时的高强度推导，对一个普通十八岁少年来说，足以让大脑像被反复碾压过一样发木。
但江临没有。
废土里连续四十八小时不睡的沙尘暴夜，前哨站低温故障时被迫守着冷却泵到天亮，pU-17第一次应急唤醒窗口里整整三十六小时不敢离开诊断台……
那些更极端更漫长，更缺乏外部支撑的夜晚，早就把他的精神耐受阈值推到了一个常人难以理解的位置。
所以此刻这场白板会议带来的疲惫，在他身体里被自动归类成了轻微。
……
洗漱好出来，喝了一杯温开水，江临坐下来，打开电脑。
他把本地的Git仓库，推送到Github的私有库。
他用的是一个从第八次废土回归后就开始使用的账户。
l-jiang-2004
里面只有S-Kernel架构早期的几段粗糙实验代码。
几个关于江氏砖边界态辅助计算的helper脚本。
以及几份自用的、用python写的符号计算小工具。
主页上没有个人简介，没有学校名称，没有照片头像，只有系统默认生成的一片毫无意义的纯灰色像素块。
江临先新建了一个 private repository。
仓库名他早就想好了：pfr-f2-forlization-blueprint
可见性设置为private。
初始化选项全部留空。
随后，他回到终端，敲入指令。
git rete add origin git@github.:l-jiang-2004/pfr-f2-forlization-blueprint.git
git push -u origin in
回车。
进度条开始往前走。
主论文、Lean 文件、REAd、依赖图进入 Git 主仓库。白板高清扫描图和手稿pdF则被单独放进Git LFS，并在REAd中留下对应
303闭门会议室的门，从内侧打开。
韩砚山第一个走出来。
他肩膀微微塌着，原本挺括的衬衫后背已经压出了好几道深深的褶皱。
袖口卷到手肘上方，小臂边缘沾着两道已经干透的蓝色马克笔痕迹。
他整个人虽然带着高强度脑力透支后的疲惫，但精神状态上也有某种沉重的东西终于落地的释然。
丁剑跟在后面。
那本厚厚的手稿被他夹在腋下，封面已经因为反复翻动而微微卷起。
接着是江临。
他背着双肩包，精神不能说饱满，却并没有太多倦态。
林照野最后一个出门。
在带上房门之前，他回身看了一眼会议室。
三块移动白板呈品字形错落摆放，板面上层峦叠嶂的公式已经被擦掉。
林照野抬手关灯，门带上。
门锁咔哒一声合上。
这个清脆的机械咬合声，像是一个标点符号，把刚才那十五个小时四十分钟，堪称绞肉机般的推导暂时封存进了黑暗的房间里。
“今晚就到这儿了。”
韩砚山开口，声音是他人生里最哑的一次。
“江临，明天，不，今天，上午九点之前，我不会再发任何新的技术问题给你。这条审查链先按到这里，我们需要让脑子冷却一下。”
站在一旁丁剑补了一句：“任何关于今天闭门内容的对外询问，统一回复例行学术讨论。”
江临点头表示明白。
交代完，韩砚山想起什么事，说：“这件事，别忘了同步丘先生。”
丁剑低声道：“他请我进这条审查链，现在第一处核心障碍算平了，应该告诉他。”
韩砚山用力揉了揉紧绷得发疼的眉心，叹道：“而且，只靠我们两个人，不够。”
林照野明白韩砚山的意思了。
在当今的数学界，韩砚山是国内能审pFR有限域主线的大脑之一。
丁剑在rton熵形式和概率结构上的造诣，放眼全球也位列第一梯队。
但江临拿出来的这份手稿不是一篇单向度的传统论文。
它同时踩在加性组合、熵方法、有限域结构和形式化证明工程四条线上。
像是一座地质结构复杂的庞大工程。
需要多支顶尖的施工队，带着不同的重型装备，从不同的方向同时掘进。
韩砚山能照亮东边的一段，丁剑能探明西边的岩层。每一个人都能在自己最擅长的领域里验证结构的强度。
但没有任何一个人，可以凭借一己之力，独自照完整条深不见底的隧道，并保证所有接口严丝合缝。
林照野沉吟片刻，问道：“你想让丘先生邀请下一位审查人？”
“不是下一位。”韩砚山看了一眼江临背上的双肩包，“是下一扇门。”
丁剑素来不喜欢绕弯子，他直接点破了那个名字：“pFR这条线，terry必须看。”
terry，陶哲轩。
如果一份关于有限域F?模型下pFR/rton的手稿，已经切实地走到了熵对合引理、走到了K的十一次幂覆盖界、甚至连Lean 4形式化蓝图都已经搭建到这一步，那么陶哲轩对于这份手稿来说，就不只是一个可以邀请来锦上添花的权威。
在加性组合与调和分析的交叉地带，他是这条审查链上绕不开的那座最高的山峰。
林照野在心里快速盘算了一下时差，说：“我先打给丘先生。”
“技术细节不用在电话里说太多，说多了反而失焦，三件事就够。”
韩砚山解释道。
“第一，有限域pFR主线，经过我们的初步强压测试，暂时没有发现结构性断裂。”
“第二，丁剑刚才亲自上手验了第4.2节，那个最危险的熵对合引理，通过了最小退化模型测试，K^11的界限稳住了。”
“第三，江临已经准备好了Lean的形式化蓝图，足够支持外部审查者沿着依赖链，一行一行地进入代码深处。”
这并不是依赖成熟 thlib4 生态的完成品。
2022年的Lean 4公共库还远远不够厚，江临真正搭起来的，是一套 project-local library。
公共库只承担最基础的类型、有限域结构和通用引理接口。
F??上的谱簇索引、条件互信息账本、覆盖递推节点和双重对合封装，全都被他封存在本地库里。
所以它不是最终形式化证明，而是 forlization blueprint。
一条能让外部审查者沿着依赖图进入证明内部的机器化施工路线。
林照野拿出手机，转身走到走廊的尽头，避开了通风口的噪音。
几人站在原地，默默地等待。谁也没有说话，走廊里只有林照野低沉模糊的交谈声断断续续地传来。
大约两分钟后，林照野转回身，快步走来。
“丘先生还没睡，他想和你通个电话。”
林照野把手机递给江临。
江临接过手机。
“江临。”
“丘教授，您好。”
“我没有看到手稿，无法判断这份证明究竟对不对。但既然砚山和丁剑都认为，第4.2节已经通过了他们能构造出的最小退化模型测试，那terry，的确是最好的人选。”
江临在脑海中快速评估着目前的进度，然后开口问：“现在就联系？”
丘成桐的回答毫无迟疑：“我先给terry写一封私人的介绍邮件。在信里，我只介绍背景和你们今晚的进度，我不会越俎代庖替你判断结论。等他回复，表达出愿意阅读的意向之后，你再把仓库的邀请发过去。”
江临明白这种学术社交中的微妙尺度，点头应道。
“好，我会全部开放主论文、两份技术备忘录、独立核验指南、Lean蓝图、依赖图和白板扫描。但第七版文本作为审查基线不动，主分支需要锁住。所有批注、形式化建议、Lean编码修改，都走issue、branch和pull request。”
一份横跨加性组合、熵方法和形式化验证的巨型手稿，一旦允许多人同时进入协作，最可怕的麻烦往往不是对数学直觉的争论，甚至不是署名的混乱，而是版本控制的灾难。
一个微小的损失项，如果在昨天从第38号节点被悄悄移到了第39号节点；一个条件互信息，如果在今早被改写成了某种等价形式；一个局部引理，如果在深夜被顺手合并进了上层的推论里……
在如此庞大复杂的逻辑链条中，如果没有一条清晰到近乎死板的版本追踪链，那么仅仅三天之后，连作者自己都可能对着屏幕茫然失措，忘记某个精细的估计式到底是在什么时候，因为什么见鬼的理由被改得面目全非的。
丘成桐在电话那头听懂了江临的潜台词，语气中透着赞许之意。
“行，那你回去之后，先把仓库的权限和结构准备好。”
……
四个人在三楼电梯前分开。
江临回到房间里，洗漱的时候，镜面里映出他的脸。
十八岁。
眼下没有黑眼圈，皮肤紧致，头发因为坐了一天有些塌。
那张脸上甚至没有太明显的疲态。
十几个小时的高强度推导，对一个普通十八岁少年来说，足以让大脑像被反复碾压过一样发木。
但江临没有。
废土里连续四十八小时不睡的沙尘暴夜，前哨站低温故障时被迫守着冷却泵到天亮，pU-17第一次应急唤醒窗口里整整三十六小时不敢离开诊断台……
那些更极端更漫长，更缺乏外部支撑的夜晚，早就把他的精神耐受阈值推到了一个常人难以理解的位置。
所以此刻这场白板会议带来的疲惫，在他身体里被自动归类成了轻微。
……
洗漱好出来，喝了一杯温开水，江临坐下来，打开电脑。
他把本地的Git仓库，推送到Github的私有库。
他用的是一个从第八次废土回归后就开始使用的账户。
l-jiang-2004
里面只有S-Kernel架构早期的几段粗糙实验代码。
几个关于江氏砖边界态辅助计算的helper脚本。
以及几份自用的、用python写的符号计算小工具。
主页上没有个人简介，没有学校名称，没有照片头像，只有系统默认生成的一片毫无意义的纯灰色像素块。
江临先新建了一个 private repository。
仓库名他早就想好了：pfr-f2-forlization-blueprint
可见性设置为private。
初始化选项全部留空。
随后，他回到终端，敲入指令。
git rete add origin git@github.:l-jiang-2004/pfr-f2-forlization-blueprint.git
git push -u origin in
回车。
进度条开始往前走。
主论文、Lean 文件、REAd、依赖图进入 Git 主仓库。白板高清扫描图和手稿pdF则被单独放进Git LFS，并在REAd中留下对应