哈希值。
这样一来，审查者可以追踪每一个逻辑节点的变动，却不会让仓库本体被大体积附件拖垮。
随着终端弹出branch in set up to track rete branch in froorigin.的提示。
推送完成。
江临进入仓库设置页面。
他先检查了一遍可见性，确认仓库仍是private。
随后开启in分支保护：禁止 force push，禁止直接提交，所有修改必须通过 pull request 合并。
并配置了v7-final-baseline标签的保护规则，禁止删除和强制覆盖，主论文文本不再接受静默改动。
做完这些，他才点开协作者选项卡，依次将韩、丁和林三个邮箱地址添加进去。
把仓库权限检查了一遍，确认没有留下漏洞后，点击关闭了浏览器窗口。
电脑右下角显示：凌晨一点十二分。
就在这时，放在桌面上的手机轻轻震动了一下，屏幕亮起。
是林照野发来的微信消息。
【丘先生已经发信给terry，目前是美国西部时间上午十点多，等回复就好。】
江临回了个谢谢，合上电脑，关掉台灯，上床睡觉。
8月3日，早晨六点，江临已经睁开眼。
洗漱，换衣服，下楼。
紫金山庄的早餐自助厅已经开了，不过时间还早，人不多。
江临直接抽出了全场最大的那个平底餐盘。
他对食物的色香味没有任何挑剔，唯一的标准就是能否填饱肚子，能否提供足够的大脑消耗热量。
他拿起夹子，在盘子里堆了六个硕大的鲜肉包、四根刚出锅的油条、一大盘油润的炒面，最后又拿了四个茶叶蛋和一大杯牛奶。
用几分钟吃饱，在回去的路上，他掏出手机，将昨天积累的邮件一一回复。
七点，他回到房间收拾行李。
七点半退房，坐会务组的车去南京南站。
九点二十二分，高铁准点发车。
江临靠窗坐，把背包放在腿上，从背包侧袋里抽出一本实体书。
《Additive binatorics（加性组合）》。
作者是terence tao（陶哲轩）与Van Vu，2006年的经典版本。
这本书对于江临来说，意义远超一本学术专着。
他在第五次废土时间就开始读。
现实与虚拟的时间交错，算起来，这本并不算厚的书，他断断续续反反复复地读了快十年。
翻开扉页，上面有一行他多年前用铅笔，一字一顿抄下来的英文批注。
字迹因为年代久远，已经略显模糊。
the st iortant proble in additive binatorics are about structure.
（加性组合中最重要的问题，皆关乎结构。）
江临的手指滑过那行字，随后将书翻开，直接从中段那个复杂的证明开始阅读。
不是复习。
也不是查错。
这份证明在废土里已经被他反复拆解过太多遍。
残余谱重入、第三层损失回收、熵控制函数、rton接桥，所有最容易让旧路线坍塌的位置，都已经在第七版文本里被逐项压住。
现在的问题，已经不是证明能不能走通。
而是现实数学共同体要如何进入这份证明。
他在废土里形成的许多中间结构，是为了长时间独立工作服务的。
它们精确、高效，甚至在某些地方比现实文献里的标准记号更适合他的证明路线。
但一篇要被韩砚山、丁剑，乃至陶哲轩这种层级的数学家逐行审查的论文，不能只停留在作者自己的内部语言里。
它必须能回到加性组合学过去二十年形成的共同文献系统中。
tao和Vu的这本《Additive binatorics》，就是那套语言系统中最重要的入口之一。
哪些地方应该沿用标准记号。
哪些地方必须保留江临自己的熵账本术语。
哪些引理只是旧工具的重新排列。
哪些步骤才是真正的新动作。
这些都是证明进入现实世界时，必须修好的接口。
他要让下一个进入这份证明的人，不必先在他几十年的废土工作习惯里迷路。
高铁两个半小时。
江临读完第十二章，在草稿纸上写下了七行新的引理候选。
他没有看手机。
中午十二点零四分，高铁停靠江城北站。
江临拖着行李箱出站，直接打车回家。
江城八月，日头毒。
出租车空调开得不够，后排座位的塑料皮被晒得发烫，衣料贴上去时，会让人产生一种轻微的粘滞感。
一路放着本地交通广播。
十二点三十五，江临到家。
老式居民楼的楼道里飘着饭菜香味。
三楼有人在吵架。
五楼邻居家那只老猫拖着长腔叫了一声。
江临走到自家门口，门没上锁。
张秀芬听见楼下脚步声，就已经把门虚掩着了。
“妈，我回来了。”
“哎！”
张秀芬从厨房探出头，围裙上沾着面粉。
“中午给你做糖醋排骨，先洗手，饭差不多好了。”
“嗯。”
江临把行李箱往墙边一靠，去洗手。
吃过午饭，稍事休息，江临回到卧室里打开笔记本电脑。
没有新邮件提示。
他点开浏览器，登录Github，进入pfr-f2-forlization-blueprint仓库的后台状态页面。
韩砚山已经点击接受了合作邀请。
丁剑同样接受了邀请，不仅如此，他已经在issues区留下了痕迹。
连续提了两个issue，全部都是关于第23号形式化节点在Lean环境下的细节转换问题，全是硬碰硬的技术探讨。
林照野也接受了邀请，但他显然恪守了自己守门人的承诺，账号没有对任何文件进行过哪怕一个标点符号的修改。
江临把浏览器关掉。
他打开梁知夏中午发来的《恒泰矿山自动驾驶测试合作协议（修订版v2）》文档。
下午三点二十，桌上的手机震动，梁知夏打来电话。
“江总，合同那边我用红色高亮标出来的三处核心改动，你看完了吗？”
“看完了。”
“尤其是第七条第三款，关于测试数据所有权归属的措辞，恒泰法务部那边写的共同所有、联合开发，这种表述太容易扯皮。我们这边必须改成低熵工坊保留底层算法及衍生数据的全部知识产权，恒泰矿山仅拥有合同期内的内部排他性使用许可。”
“我也是这么想的，恒泰的法务部出了名的难缠，这一条他们大概率会卡我们。”
“卡就让他们卡，损失的也不会是我们。”
“行，还有一件事。今天上午开始，陆陆续续有三家投资机构发正式邮件过来，我查了下背景，都是A股那边比较活跃的pE。他们不知从哪打听到我们的进度，都在问咱们低熵工坊什么时候开放A轮融资洽谈。我按照你之前定的口径，统一回复了低熵工坊现阶段资金充足，暂不接受任何形式的外部融资洽谈。邱越那边我也吩咐了，把对外邮箱的自动回复也挂上了同样的口径。”
“继续这么挂着，现在让资本进来，只会打乱研发的节奏。”
“好，那我先去改合同了。”
电话挂断。
江临把整理好的几条细化修订意见通过微信发给梁知夏。
随后，他从书桌的抽屉里抽出一沓空白的A4纸，拿起铅笔。
【G-01c工程化版本：足端动态接触模型优化】
下午五点，卧室的木门被轻轻敲响。
母亲在外面喊：“晚上准备包你爱吃的猪肉韭菜饺子，你晚上就在家吃吧？”
“好。”江临应声。
张秀芬听到肯定的答复，笑着去准备了。
江临停下手里正在推演的摩擦力锥形模型，放下铅笔，起身出去。
看见厨房里，母亲正坐在那里剥蒜。
“妈，我帮你剥。”江临走过去。
“哎哟，你别沾手。”张秀芬连忙抬头摆手，试图阻止他，“剥蒜这活儿太辣手，一会儿指甲缝里都是味儿，洗不掉。”
江临没有理会，直接从旁边拉过另一个更小的木板凳，紧挨着母亲坐下。
“妈，你这手才是干大事的。”江临一边说，一边动作麻利地抓起一颗蒜头，拇指用力一捻，剥开紫红色的外皮。
张秀芬愣了一下，显然没料到平时闷葫芦一样的儿子会说出这种话，随即眼角笑得眯成了一条缝，笑骂道：“南京去了几天，这嘴倒是变贫了。”
虽然嘴上这么说，但她还是把旁边一个专门装剥好蒜瓣的小不锈钢盆推到江临面前。
母子俩就这样坐在厨房里，伴随着窗外偶尔传来的蝉鸣声，安静地剥了十分钟的蒜。
晚饭，热气腾腾的猪肉韭菜手工饺子端上桌。
江临蘸着自己刚才亲手剥的蒜捣成的蒜泥醋汁，一口气吃了三十六
这样一来，审查者可以追踪每一个逻辑节点的变动，却不会让仓库本体被大体积附件拖垮。
随着终端弹出branch in set up to track rete branch in froorigin.的提示。
推送完成。
江临进入仓库设置页面。
他先检查了一遍可见性，确认仓库仍是private。
随后开启in分支保护：禁止 force push，禁止直接提交，所有修改必须通过 pull request 合并。
并配置了v7-final-baseline标签的保护规则，禁止删除和强制覆盖，主论文文本不再接受静默改动。
做完这些，他才点开协作者选项卡，依次将韩、丁和林三个邮箱地址添加进去。
把仓库权限检查了一遍，确认没有留下漏洞后，点击关闭了浏览器窗口。
电脑右下角显示：凌晨一点十二分。
就在这时，放在桌面上的手机轻轻震动了一下，屏幕亮起。
是林照野发来的微信消息。
【丘先生已经发信给terry，目前是美国西部时间上午十点多，等回复就好。】
江临回了个谢谢，合上电脑，关掉台灯，上床睡觉。
8月3日，早晨六点，江临已经睁开眼。
洗漱，换衣服，下楼。
紫金山庄的早餐自助厅已经开了，不过时间还早，人不多。
江临直接抽出了全场最大的那个平底餐盘。
他对食物的色香味没有任何挑剔，唯一的标准就是能否填饱肚子，能否提供足够的大脑消耗热量。
他拿起夹子，在盘子里堆了六个硕大的鲜肉包、四根刚出锅的油条、一大盘油润的炒面，最后又拿了四个茶叶蛋和一大杯牛奶。
用几分钟吃饱，在回去的路上，他掏出手机，将昨天积累的邮件一一回复。
七点，他回到房间收拾行李。
七点半退房，坐会务组的车去南京南站。
九点二十二分，高铁准点发车。
江临靠窗坐，把背包放在腿上，从背包侧袋里抽出一本实体书。
《Additive binatorics（加性组合）》。
作者是terence tao（陶哲轩）与Van Vu，2006年的经典版本。
这本书对于江临来说，意义远超一本学术专着。
他在第五次废土时间就开始读。
现实与虚拟的时间交错，算起来，这本并不算厚的书，他断断续续反反复复地读了快十年。
翻开扉页，上面有一行他多年前用铅笔，一字一顿抄下来的英文批注。
字迹因为年代久远，已经略显模糊。
the st iortant proble in additive binatorics are about structure.
（加性组合中最重要的问题，皆关乎结构。）
江临的手指滑过那行字，随后将书翻开，直接从中段那个复杂的证明开始阅读。
不是复习。
也不是查错。
这份证明在废土里已经被他反复拆解过太多遍。
残余谱重入、第三层损失回收、熵控制函数、rton接桥，所有最容易让旧路线坍塌的位置，都已经在第七版文本里被逐项压住。
现在的问题，已经不是证明能不能走通。
而是现实数学共同体要如何进入这份证明。
他在废土里形成的许多中间结构，是为了长时间独立工作服务的。
它们精确、高效，甚至在某些地方比现实文献里的标准记号更适合他的证明路线。
但一篇要被韩砚山、丁剑，乃至陶哲轩这种层级的数学家逐行审查的论文，不能只停留在作者自己的内部语言里。
它必须能回到加性组合学过去二十年形成的共同文献系统中。
tao和Vu的这本《Additive binatorics》，就是那套语言系统中最重要的入口之一。
哪些地方应该沿用标准记号。
哪些地方必须保留江临自己的熵账本术语。
哪些引理只是旧工具的重新排列。
哪些步骤才是真正的新动作。
这些都是证明进入现实世界时，必须修好的接口。
他要让下一个进入这份证明的人，不必先在他几十年的废土工作习惯里迷路。
高铁两个半小时。
江临读完第十二章，在草稿纸上写下了七行新的引理候选。
他没有看手机。
中午十二点零四分，高铁停靠江城北站。
江临拖着行李箱出站，直接打车回家。
江城八月，日头毒。
出租车空调开得不够，后排座位的塑料皮被晒得发烫，衣料贴上去时，会让人产生一种轻微的粘滞感。
一路放着本地交通广播。
十二点三十五，江临到家。
老式居民楼的楼道里飘着饭菜香味。
三楼有人在吵架。
五楼邻居家那只老猫拖着长腔叫了一声。
江临走到自家门口，门没上锁。
张秀芬听见楼下脚步声，就已经把门虚掩着了。
“妈，我回来了。”
“哎！”
张秀芬从厨房探出头，围裙上沾着面粉。
“中午给你做糖醋排骨，先洗手，饭差不多好了。”
“嗯。”
江临把行李箱往墙边一靠，去洗手。
吃过午饭，稍事休息，江临回到卧室里打开笔记本电脑。
没有新邮件提示。
他点开浏览器，登录Github，进入pfr-f2-forlization-blueprint仓库的后台状态页面。
韩砚山已经点击接受了合作邀请。
丁剑同样接受了邀请，不仅如此，他已经在issues区留下了痕迹。
连续提了两个issue，全部都是关于第23号形式化节点在Lean环境下的细节转换问题，全是硬碰硬的技术探讨。
林照野也接受了邀请，但他显然恪守了自己守门人的承诺，账号没有对任何文件进行过哪怕一个标点符号的修改。
江临把浏览器关掉。
他打开梁知夏中午发来的《恒泰矿山自动驾驶测试合作协议（修订版v2）》文档。
下午三点二十，桌上的手机震动，梁知夏打来电话。
“江总，合同那边我用红色高亮标出来的三处核心改动，你看完了吗？”
“看完了。”
“尤其是第七条第三款，关于测试数据所有权归属的措辞，恒泰法务部那边写的共同所有、联合开发，这种表述太容易扯皮。我们这边必须改成低熵工坊保留底层算法及衍生数据的全部知识产权，恒泰矿山仅拥有合同期内的内部排他性使用许可。”
“我也是这么想的，恒泰的法务部出了名的难缠，这一条他们大概率会卡我们。”
“卡就让他们卡，损失的也不会是我们。”
“行，还有一件事。今天上午开始，陆陆续续有三家投资机构发正式邮件过来，我查了下背景，都是A股那边比较活跃的pE。他们不知从哪打听到我们的进度，都在问咱们低熵工坊什么时候开放A轮融资洽谈。我按照你之前定的口径，统一回复了低熵工坊现阶段资金充足，暂不接受任何形式的外部融资洽谈。邱越那边我也吩咐了，把对外邮箱的自动回复也挂上了同样的口径。”
“继续这么挂着，现在让资本进来，只会打乱研发的节奏。”
“好，那我先去改合同了。”
电话挂断。
江临把整理好的几条细化修订意见通过微信发给梁知夏。
随后，他从书桌的抽屉里抽出一沓空白的A4纸，拿起铅笔。
【G-01c工程化版本：足端动态接触模型优化】
下午五点，卧室的木门被轻轻敲响。
母亲在外面喊：“晚上准备包你爱吃的猪肉韭菜饺子，你晚上就在家吃吧？”
“好。”江临应声。
张秀芬听到肯定的答复，笑着去准备了。
江临停下手里正在推演的摩擦力锥形模型，放下铅笔，起身出去。
看见厨房里，母亲正坐在那里剥蒜。
“妈，我帮你剥。”江临走过去。
“哎哟，你别沾手。”张秀芬连忙抬头摆手，试图阻止他，“剥蒜这活儿太辣手，一会儿指甲缝里都是味儿，洗不掉。”
江临没有理会，直接从旁边拉过另一个更小的木板凳，紧挨着母亲坐下。
“妈，你这手才是干大事的。”江临一边说，一边动作麻利地抓起一颗蒜头，拇指用力一捻，剥开紫红色的外皮。
张秀芬愣了一下，显然没料到平时闷葫芦一样的儿子会说出这种话，随即眼角笑得眯成了一条缝，笑骂道：“南京去了几天，这嘴倒是变贫了。”
虽然嘴上这么说，但她还是把旁边一个专门装剥好蒜瓣的小不锈钢盆推到江临面前。
母子俩就这样坐在厨房里，伴随着窗外偶尔传来的蝉鸣声，安静地剥了十分钟的蒜。
晚饭，热气腾腾的猪肉韭菜手工饺子端上桌。
江临蘸着自己刚才亲手剥的蒜捣成的蒜泥醋汁，一口气吃了三十六