2022年5月3日，清晨六点。

    现实世界的闹钟还没有响第二声，江临已经站在了废土的风里。

    入境的流程已经刻进思维中，固化了下来。

    推完全部巡检流程，他回到前哨站，将注意力放在了工作站的三个文档夹上。

    第二个文档夹：GIANT-NW-01

    第三个文档夹：MPS

    江临把现实世界里记下来的那张体力活清单默写了一遍。

    合成骨架唯一性。

    半周期带排除。

    局部情形表核验。

    图形坐标固定。

    版本控制。

    证明文本。

    可复现报告。

    于是，第七次废土之行从一个文档名开始。

    第一年，他几乎没有离开前哨站。

    每天清晨，他巡田，检查水源和电源。

    废土的维生系统容不得半点马虎，这是物理意义上的生存基线。

    做完这些维持系统运行的杂事，他便坐到石桌前，开始写证明。

    先写土路和石头。

    现实里，他用这个比喻说服了邵明棠教授。

    两座村子之间有一条土路，路边几块石头归左边还是归右边，可以吵，但那条路的位置不会变。

    在拓扑学和镶崁理论的语境下，这就是边界扰动与宏观骨架稳定性的关系。

    可是比喻不是证明，比喻也不能发论文。

    学术共同体不承认诗意，只承认无懈可击的推导。

    江临第一版写了二十九页。

    他试图用严格的集合论语言，将石头定义为边界上的点集，土路定义为大尺度下的等距同构骨架。

    写完之后，他自己读了一遍，删掉十二页。

    因为他发现自己在中间引入了一个未经充分验证的引理，导致逻辑链条出现了局部断裂。

    第二版写了十八页。

    语言更加精炼，但问题还在。

    他发现自己一直在说边界上的模糊不会影响骨架。

    可不会影响这四个字太松，像没有拧紧的螺母，在遭受同行评审的压力测试时，随时会引发结构性崩塌。

    到底是在什么度量空间下的不影响？

    是豪斯多夫距离，还是某种更为复杂的同伦等价？

    第二年，他停止了宏大的论述，转而去做最基础的枚举。

    他把所有边界模糊的情况单独列成表。

    哪些小砖可以归左，哪些可以归右。

    哪些看起来有两种归属，但不改变更高一层的边界线。

    哪些一旦错误归类，就会把下一层骨架带偏，引发灾难性的级联误差。

    一开始，他写得象一堆手工帐本，密密麻麻的坐标变换矩阵和邻接图。

    后来才一点点压成更清楚的离散几何语言，用局部补丁、邻接关系和变换规则去描述那些边界情况。

    到第三年冬天，废土迎来了漫长的沙尘暴季。

    在呼啸的风声中，他终于把那个土路和石头的比喻，变成了第一条真正能站住的引理。。

    然后继续改。

    在数学的世界里，初版永远只是草图。

    第四年，他开始处理那条偷偷重复的长走廊。

    邵明棠教授当初问得很犀利。

    整张图不重复，不代表里面某条很长很窄的带子不会重复。

    就象一座城市的地图总体上很乱，但某一条街两边的店铺却一模一样，一直重复到天边。

    如果Tile J里藏着这种东西，那它的非周期性证明就会变脏。

    一个真正的非周期镶崁，是不允许存在任何无限延伸的周期性子结构的。

    江临把边界上的凹口、凸边、短边、长边都记成符号。

    A，B，C，D，加之它们的反向。

    一开始，那串符号乱得象风沙里的脚印，呈现出一种毫无规律的伪随机性。

    他盯了半个月，什么都没看出来。

    符号动力学在这个时候似乎失效了。

    后来，他换了办法。

    不看整串。

    只看它每一次放大之后，哪些位置会新增标记，哪些旧标记会被拉开。

    这就象一串密码。

    每抄一遍，不是原样抄长，而是按照某种规则在中间插入新的字。

    如果它真的周期重复，那么每隔一段，就必须出现全然一样的片段。

    但这串密码每放大一层，间距都会变化。

    第六年，他写出半周期带排除的第一版。

    第七年，他找出了读法漏洞。

    他从二维边界上读出一维符号时，方向没有完全固