每一个引理都需要繁琐的条件前置。

所以在整理v0.

95流通版时，江临没有把那条路线放进主文本。

他把它压进了旧分支、技术备忘和自用索引。

正文仍然保留轻量化的双重对合封装器。

在主证明的全局结构里，这样做没有问题。

但Voss提醒了他另一件事。

现在这份证明不再只是他自己的证明。

它正在被韩砚山、丁剑、陶哲轩、Voss这些人共同审查。

它必须允许别人进入。

而对于别人来说，有些沉重的东西不能永远藏在作者自己的旧分支里。

江临轻轻吐出一口气。

“陈砚，许曼。”

两个人同时抬头。

“今天工坊这边我先离开。

恒泰灰度测试的安全边界已经锁定，剩下的回场复盘按原计划走。”

江临的语气很平静。

“如果状态机同步上遇到卡壳，先发微信留言给我，我晚点看。”

陈砚敲键盘的手停在半空中。

许曼也摘下手套，小心翼翼地问：“江总，是不是恒泰那边又改口了？”

“不是。”

江临拿起自己的黑色双肩包。

“数学那边有人做了一个很好的边界测试，把我之前压进旧分支的一条重路线逼了出来。”

许曼听得云里雾里。

陈砚更是完全不懂。

江临走到车间门口时，脚步停了一下，回头叮嘱。

“陈砚，今天的失败日志记细一点。”

“尤其是离散自动机在切换步态那零点几秒里的延迟数据，不要只写平均值。”

“p95和p99单独拉曲线。”

“我们要看的是边缘，不是被平均值粉饰过的平稳状态。”

陈砚立刻站直。

“明白。”

江临点头，转身离开。

回到家里后，他按下电脑主机电源键。

系统启动。

他打开一个隐藏文件夹。
本章未完，请翻下一页继续阅读.........