“别直接改原文件！

开新版本分支，我们要保留完整的修改溯源链条。”

“江临，你这个新的REAdmE写得像武林秘籍，只有你自己能看懂，你应该假设你的读者是一个只会敲回车键的白痴。”

陈彦一开始觉得无比痛苦。

他觉得自己像个在流水线上拧螺丝的计件工人，而且拧的还是那种随时会爆炸的螺丝。

后来，在高强度的机械重复中，他逐渐麻木了，变成了没有感情的跑码机器。

但是，再后来，当版本号推进到 v0.

7 时，陈彦在深夜独自盯着闪烁的终端光标，内心深处竟然在这种枯燥中，生出了一丝深深的恐惧。

因为江临改得太快了。

不是那种学生被老师骂后，满头大汗，急匆匆，乱补的快。

那是一种令人毛骨悚然的、仿佛居高临下的“熟练”。

而是你指出一个问题，他像早就知道那个问题会出现一样，迅速切到对应位置，改掉，补日志，升版本，重新跑，给出差异说明。

有一次，有一次，陈彦忍不住问：“你是不是提前写过这些？”

江临正在改REAdmE_reproduce.

md，头也没抬地回了一句。

“写过类似的。”

“什么时候？”陈彦追问。

他难以置信一个高中生能凭空拥有这种大型工程项目的架构能力和危机处理经验。

因为这需要时间的喂招，需要无数个项目的毒打。

可是江临至少淡淡抛出两个字。

“之前。”

陈彦看着他。

这句之前，让他完全没法接。

五月九日晚上，局部情形表的全量复跑，第一次在江大那台被优化到极致的Linux机器上宣告完成。

终端显示，总运行时间：8小时17分钟42秒。

所有的等价类合并无误，最终状态数与纸面理论计算完全吻合。

五月十日，远在南京的南大集群服务器复跑完成。

克服了浮点数和环境差异后，机器给出了结果一致的最终判断。

五月十一日，邵明棠研究所那边，不仅跑完了关键样例，甚至动用了超算中心的闲置节点，跑完了为了排除周期带可能性的相关拓展脚本。

结果一致。

五月十二日，江临将所有生成的日志、哈希校验码、代码本体打包。

他打开Latex，编译生成了最终的文档。

mpS_verification_report_v0.

8.

pdf。

tile J 局部情形表的有限状态核验报告。
本章未完，请翻下一页继续阅读.........