数遗漏，初学者很容易在边界角度上少算几位精度。”
“是纸面证明。”
邵明棠的手指顿住了。
“哪一部分？”
“全部。”
邵明棠眉头轻轻皱起，那双总是带着审视意味的眼睛里闪过怀疑。
“全部是什么意思？顾老师，我们都是做数学的，这种词不能乱用。”
“七项都有。”顾南舟的声音依旧很低，“从图形定义一直到主定理。”
“周期带排除呢？”
作为几何拓扑方向的专家，她太清楚非周期平铺证明中最难啃的骨头在哪里。
构造一个奇怪的形状不难，难的是如何证明这个形状在铺满整个无限平面的过程中，绝对不可能形成一条周期带。
“单独写了。”
顾南舟知道她最关心什么。
“写了多少？”
“四十二页？”邵明棠还以为自己听错了，声调微微上扬，“就为了排除周期带？”
“是的，纯粹的逻辑推演和穷举分析，没有废话。”
“翻面读法处理了没有？存在手性问题的单砖，在翻转时会导致边界匹配条件极度复杂化。”
“有专门的章节说明。”
“那么短重复片段呢？那些在局部看起来像周期，但在更高层级会断裂的伪周期序列呢？”邵明棠的语速越来越快。
“他单独做了编号处理。”
电话那头安静了几秒。
候机室的广播响起了柔和的提示音：“前往北京的旅客请注意，您乘坐的cA1834 次航班现在开始登机，请带好您的登机牌。”
邵明棠慢慢把电脑包合上。
“发我目录截图。”
“已经发到您微信了。”
邵明棠将手机切换到微信界面。
完整的目录映入眼帘。
紧接着，是顾南舟特意发来的一张内页截图。
邵明棠盯着这截图看了很久。
久到对面的商务客已经收起报纸前往登机口。
登机提示音转为催促：“前往北京的旅客请注意，这是cA1834次航班……”
邵明棠抬头看了一眼登机口，忽然拎起电脑包起身。
然后在手机上给顾南舟回了一条消息。
“我现在就回去，稍等。”
下午四点五十。
江大数学学院c楼，c216讨论室。
几天前，这里第一次出现tile J，几位学者教授围着一个高中生，列出长长的体力活清单，试图告诉他通往学术殿堂的阶梯有多么陡峭。
而今天，陈彦抱着厚厚一摞刚刚从文印室拿出来的打印材料，用脚抵开门走进来时，两条手臂都在微微发酸。
“顾老师，全部打印好了。”
他喘了口气，把厚厚一叠材料放在宽大的会议桌上，发出砰的一声闷响。
纸张甚至还带着大型激光打印机定影器里的余温。
淡淡的墨粉气味在空气里弥漫。
顾南舟走上前，从最上面拿起一份分装好的材料。
封面上没有使用任何花哨的字体，也没有加粗放大，只有标准的黑体字，排版干净得像是一份说明书。
tile J Internal proof draft v0.9
（tile J 内部证明草稿 0.9 版）
下面孤零零地跟着一行字。
提交者：江临
没有花哨标题，没有夸张摘要。
甚至没有在一开头写上一句数学论文里常见的我们证明了。
翻开封面，就是简简单单的目录结构。
图形定义。
四类超图块。
局部情形表。
骨架识别。
周期带排除。
主定理。
审阅说明。
陆知行坐在靠窗的椅子上，手里也分到了一份打印稿。
翻了翻手里的纸页，密密麻麻的几何边界条件和置换矩阵让他感到一阵头晕。
他确实看不懂全部数学推导细节。
但他看得懂工程的严谨度。
这绝对不是小孩头脑发热，熬了三个通宵赶出来的期末作业。
因为这份文档具备极高的工业级规范。
每个文件的页脚都有精确到次级分类的版本号追踪。
每一张复杂的拼接图都有独立的图床编号。
每一节的开头，不仅写了这一节要证明的核心目标，甚至诚实地列出了当前版本存在优化空间的遗留事项。
在最后那份仅有八页的《审阅说明》里，江临甚至用项目要点的形式列了三条红线。
一、本稿件仅作为小组内部证明逻辑跑通的草稿，未经同行交叉检验前，不构成任何意义上的公开论文定稿。
二、由于计算资源限制，计算机核验包代码仍在整理重构中，尚未达到可交付标准。当前提交的局部情形表为手工推演的纸面版本，存在人工疏漏风险。
三、恳请审阅者优先检查以下核心逻辑链条：1. 骨架识别的收敛性；2. 周期带排除的分类完备性；3. 局部情形表是否存在未穷举的边缘特例。
陆知行看到第二条时，心里的石头反而落了地。
江临没有把事情做得太满。
没有为了追求那种震撼全场的戏剧效果，硬着头皮声称自己连上万行的核验代码都已经完美写完并零bug运行了。
他坦然承认了计算机部分的延迟。
这说明，这个高中生的理智，始终凌驾于他的骄傲之上。
他非常清楚这项工作的流程边界在哪里，并且严格遵守了这一边界。
“吱呀——”
门被推开。
林照野大步流星地走进来。
他明显是从高铁站打车一路催着司机狂奔回来的。
二十分钟后，走廊里传来高跟鞋清脆的敲击声，邵明棠也到了。
她单手拉着一个银色的RIwA小行李箱，左手腕上还挂着因为过机场安检而摘下，刚刚才重新戴上的积家腕表。
她走进 c216，第一句话既不是问候，也不是抱怨交通。
她把行李箱往门边一推，目光直接锁定在长桌上：“周期带排除那一节在哪？”
陈彦一个激灵，立刻把标注着 04_no_periodic_strip 的那叠材料抽出来，双手递了过去。
林照野已经翻阅到了第三份文件。
03_skeleton_recognition.pdf
顾南舟站在一旁，转头看向坐在桌子尽头的江临。
江临安静地坐在那里，面前放着一个黑色笔记本和一支笔。
他的神情很平，没有局促不安，也没有得意洋洋。
如果不知情的人走进来，只会以为他刚刚交上去的不是一份可能震动几何学界的纸面证明，而是一份按部就班完成的高中数学阶段测试卷。
顾南舟看着他，心里荒谬感与敬畏感交织成一团。
几天前，也是在这个房间，他们几个还在语重心长地告诉江临：“这工作量极大，一个暑假能把初步框架搭出来都算快了。”
他们还在黑板前敲打着：“慢一点，稳一点，别急功近利。”
而现在，三天都不到，这孩子就把一座用严密逻辑砌成的城堡，以纸面证明的形式，摆在了他们面前。
顾南舟没有问他这几天有没有睡觉。
问这个问题没有意义。
对于真正沉浸在数学心流中的人来说，物理时间的流逝是可以被压缩的。
他双手撑在桌面上，只问了一个最核心的问题：“江临，你提交的这份稿子，你自己评估是什么状态？”
江临抬起头，目光清澈。
“内部证明草稿，距离能投给期刊的终稿，还需要计算机核验包。”
“图形定义和超图块构造的逻辑比较成熟，各位老师可以先查阅这两部分。”
“骨架识别中的局部同构性证明，以及周期带排除的极限分类，是我自认为推导最耗时的部分。我建议优先复核这两节，如果这两节的基础假设被证伪，前面的构造全部推翻重来。”
林照野从稿件中抬起头，深深地看了他一眼。
原先在高铁站因为误以为学生赶工而积压的火气，已经消散得无影无踪。
这孩子清醒得可怕，他比在场的任何人都知道自己交出来的是个什么东西，它的长板在哪里，它的阿喀琉斯之踵又可能藏在哪里。
……
c216讨论室里，逐渐陷入高密度的安静。
就像是在拆解一枚结构极其复杂的引爆装置，所有人都知道某件足以改变现状的事情正在发生，但没有一个人敢提前开口出声，生怕一点细微的气流扰动就会破坏掉此刻的专注。
房间里只剩下纸张被翻动的沙沙声，笔尖偶尔在纸面上划过的沙沙声。
林照野读得很快。
眼睛像扫描仪一样，在定义参数、引理描述和辅助配图之间来回跳跃。
遇到关键推导时，会毫不犹豫地拿起笔，在页边距打上一个大大的问号。
遇到复杂的替换规则会停下来，在旁边空白的草稿纸上飞快地画出一个局部边界，自己推演两步，看看是否与江临的结论吻合。
顾南舟站在后排，默默观察着他的阅读轨迹。
林照野先读了
“是纸面证明。”
邵明棠的手指顿住了。
“哪一部分？”
“全部。”
邵明棠眉头轻轻皱起，那双总是带着审视意味的眼睛里闪过怀疑。
“全部是什么意思？顾老师，我们都是做数学的，这种词不能乱用。”
“七项都有。”顾南舟的声音依旧很低，“从图形定义一直到主定理。”
“周期带排除呢？”
作为几何拓扑方向的专家，她太清楚非周期平铺证明中最难啃的骨头在哪里。
构造一个奇怪的形状不难，难的是如何证明这个形状在铺满整个无限平面的过程中，绝对不可能形成一条周期带。
“单独写了。”
顾南舟知道她最关心什么。
“写了多少？”
“四十二页？”邵明棠还以为自己听错了，声调微微上扬，“就为了排除周期带？”
“是的，纯粹的逻辑推演和穷举分析，没有废话。”
“翻面读法处理了没有？存在手性问题的单砖，在翻转时会导致边界匹配条件极度复杂化。”
“有专门的章节说明。”
“那么短重复片段呢？那些在局部看起来像周期，但在更高层级会断裂的伪周期序列呢？”邵明棠的语速越来越快。
“他单独做了编号处理。”
电话那头安静了几秒。
候机室的广播响起了柔和的提示音：“前往北京的旅客请注意，您乘坐的cA1834 次航班现在开始登机，请带好您的登机牌。”
邵明棠慢慢把电脑包合上。
“发我目录截图。”
“已经发到您微信了。”
邵明棠将手机切换到微信界面。
完整的目录映入眼帘。
紧接着，是顾南舟特意发来的一张内页截图。
邵明棠盯着这截图看了很久。
久到对面的商务客已经收起报纸前往登机口。
登机提示音转为催促：“前往北京的旅客请注意，这是cA1834次航班……”
邵明棠抬头看了一眼登机口，忽然拎起电脑包起身。
然后在手机上给顾南舟回了一条消息。
“我现在就回去，稍等。”
下午四点五十。
江大数学学院c楼，c216讨论室。
几天前，这里第一次出现tile J，几位学者教授围着一个高中生，列出长长的体力活清单，试图告诉他通往学术殿堂的阶梯有多么陡峭。
而今天，陈彦抱着厚厚一摞刚刚从文印室拿出来的打印材料，用脚抵开门走进来时，两条手臂都在微微发酸。
“顾老师，全部打印好了。”
他喘了口气，把厚厚一叠材料放在宽大的会议桌上，发出砰的一声闷响。
纸张甚至还带着大型激光打印机定影器里的余温。
淡淡的墨粉气味在空气里弥漫。
顾南舟走上前，从最上面拿起一份分装好的材料。
封面上没有使用任何花哨的字体，也没有加粗放大，只有标准的黑体字，排版干净得像是一份说明书。
tile J Internal proof draft v0.9
（tile J 内部证明草稿 0.9 版）
下面孤零零地跟着一行字。
提交者：江临
没有花哨标题，没有夸张摘要。
甚至没有在一开头写上一句数学论文里常见的我们证明了。
翻开封面，就是简简单单的目录结构。
图形定义。
四类超图块。
局部情形表。
骨架识别。
周期带排除。
主定理。
审阅说明。
陆知行坐在靠窗的椅子上，手里也分到了一份打印稿。
翻了翻手里的纸页，密密麻麻的几何边界条件和置换矩阵让他感到一阵头晕。
他确实看不懂全部数学推导细节。
但他看得懂工程的严谨度。
这绝对不是小孩头脑发热，熬了三个通宵赶出来的期末作业。
因为这份文档具备极高的工业级规范。
每个文件的页脚都有精确到次级分类的版本号追踪。
每一张复杂的拼接图都有独立的图床编号。
每一节的开头，不仅写了这一节要证明的核心目标，甚至诚实地列出了当前版本存在优化空间的遗留事项。
在最后那份仅有八页的《审阅说明》里，江临甚至用项目要点的形式列了三条红线。
一、本稿件仅作为小组内部证明逻辑跑通的草稿，未经同行交叉检验前，不构成任何意义上的公开论文定稿。
二、由于计算资源限制，计算机核验包代码仍在整理重构中，尚未达到可交付标准。当前提交的局部情形表为手工推演的纸面版本，存在人工疏漏风险。
三、恳请审阅者优先检查以下核心逻辑链条：1. 骨架识别的收敛性；2. 周期带排除的分类完备性；3. 局部情形表是否存在未穷举的边缘特例。
陆知行看到第二条时，心里的石头反而落了地。
江临没有把事情做得太满。
没有为了追求那种震撼全场的戏剧效果，硬着头皮声称自己连上万行的核验代码都已经完美写完并零bug运行了。
他坦然承认了计算机部分的延迟。
这说明，这个高中生的理智，始终凌驾于他的骄傲之上。
他非常清楚这项工作的流程边界在哪里，并且严格遵守了这一边界。
“吱呀——”
门被推开。
林照野大步流星地走进来。
他明显是从高铁站打车一路催着司机狂奔回来的。
二十分钟后，走廊里传来高跟鞋清脆的敲击声，邵明棠也到了。
她单手拉着一个银色的RIwA小行李箱，左手腕上还挂着因为过机场安检而摘下，刚刚才重新戴上的积家腕表。
她走进 c216，第一句话既不是问候，也不是抱怨交通。
她把行李箱往门边一推，目光直接锁定在长桌上：“周期带排除那一节在哪？”
陈彦一个激灵，立刻把标注着 04_no_periodic_strip 的那叠材料抽出来，双手递了过去。
林照野已经翻阅到了第三份文件。
03_skeleton_recognition.pdf
顾南舟站在一旁，转头看向坐在桌子尽头的江临。
江临安静地坐在那里，面前放着一个黑色笔记本和一支笔。
他的神情很平，没有局促不安，也没有得意洋洋。
如果不知情的人走进来，只会以为他刚刚交上去的不是一份可能震动几何学界的纸面证明，而是一份按部就班完成的高中数学阶段测试卷。
顾南舟看着他，心里荒谬感与敬畏感交织成一团。
几天前，也是在这个房间，他们几个还在语重心长地告诉江临：“这工作量极大，一个暑假能把初步框架搭出来都算快了。”
他们还在黑板前敲打着：“慢一点，稳一点，别急功近利。”
而现在，三天都不到，这孩子就把一座用严密逻辑砌成的城堡，以纸面证明的形式，摆在了他们面前。
顾南舟没有问他这几天有没有睡觉。
问这个问题没有意义。
对于真正沉浸在数学心流中的人来说，物理时间的流逝是可以被压缩的。
他双手撑在桌面上，只问了一个最核心的问题：“江临，你提交的这份稿子，你自己评估是什么状态？”
江临抬起头，目光清澈。
“内部证明草稿，距离能投给期刊的终稿，还需要计算机核验包。”
“图形定义和超图块构造的逻辑比较成熟，各位老师可以先查阅这两部分。”
“骨架识别中的局部同构性证明，以及周期带排除的极限分类，是我自认为推导最耗时的部分。我建议优先复核这两节，如果这两节的基础假设被证伪，前面的构造全部推翻重来。”
林照野从稿件中抬起头，深深地看了他一眼。
原先在高铁站因为误以为学生赶工而积压的火气，已经消散得无影无踪。
这孩子清醒得可怕，他比在场的任何人都知道自己交出来的是个什么东西，它的长板在哪里，它的阿喀琉斯之踵又可能藏在哪里。
……
c216讨论室里，逐渐陷入高密度的安静。
就像是在拆解一枚结构极其复杂的引爆装置，所有人都知道某件足以改变现状的事情正在发生，但没有一个人敢提前开口出声，生怕一点细微的气流扰动就会破坏掉此刻的专注。
房间里只剩下纸张被翻动的沙沙声，笔尖偶尔在纸面上划过的沙沙声。
林照野读得很快。
眼睛像扫描仪一样，在定义参数、引理描述和辅助配图之间来回跳跃。
遇到关键推导时，会毫不犹豫地拿起笔，在页边距打上一个大大的问号。
遇到复杂的替换规则会停下来，在旁边空白的草稿纸上飞快地画出一个局部边界，自己推演两步，看看是否与江临的结论吻合。
顾南舟站在后排，默默观察着他的阅读轨迹。
林照野先读了