她在那段话下面画了一条横线，作为对该段内容的正式定稿。

四月的一个下午，悦儿在办公室的白板上画了一幅示意图。她画了一个三角形，三条边分别标注了"几何""分析""代数"，三角形的中央写了一个"鼎"字。她站在白板前面看着那幅图，然后拿起手机拍了一张照片，发给墨子。过了大约十分钟，墨子回复道："你现在有三条腿了——几何、分析、代数。"

悦儿看着那条消息，在办公室里走了一圈，然后坐回桌前，拿起手机打出几个字发了出去："还差一条。"她看着自己的消息在屏幕上停留，短暂地等待了一下。墨子的回复出现在屏幕上："什么？"她看着那个问号，然后打了两个字发送："代码。"

她发出那两个字之后又看了一会儿屏幕，然后把它锁屏放在桌上。她回到白板前，在那幅三角形的旁边用粉笔画了一个新的符号——一个没有画完的圆，圆的边缘在三角形的接触处断开了，留出了一个开口。她在开口的位置画了一个箭头指向三角形内部，箭头的末端写了一个词："验证层。"

她对着那个"验证层"站了一会儿。代码在她过去的工作中的位置一直在变化——起初是墨子用来演示直觉的工具，后来是团队成员用来测试估计的辅助手段，再后来是项目本身的一个附随构成部分。她在论文中没有把代码列为正式的学科支柱，因为她知道代码本身不是数学理论的一部分。但墨子说的"第四条腿"有它的价值——它是验证那三条腿所构成的框架是否能实际运作的一种方式。你可以在纸上写出一个三足支撑的结构，但如果没有代码运行来确认它在若干组极端条件下的行为模式，它的理论形态仍然是悬空的。第四条腿不承重，但它把框架跟地面连接了起来。

她在那天下午发给墨子一条短消息："第四条腿还没有写进论文里。但它已经存在了——你写的那些验证工具就是它的骨架。不是数学理论的一部分，但它在旁边支撑着，使理论不会脱离地面。"

墨子回了一句话："那第四条腿是木质的。跟其他三条的材质不同。"——意思可能是说，代码与定理之间的关系是一种补充性的连接，虽然在论文中被表述为一种辅助工具，但它的作用不是在框架内部承担重量，而是使整个结构在投入使用前得到一次测试。悦儿看到这个比喻时觉得它大体准确，她在回复中写道："木质的腿会在使用中逐渐吸收地面的潮气，重量会增加，但不会因此变脆。随着使用时间的增长，木材中的纤维会变得更加紧密，表面会出现一层包浆，使它比初装时更坚固。验证工具也会在反复使用中不断调整参数，在与框架的长期互动中逐渐增强自身的适应性。"墨子没有回复那条消息。但在那之后的几周里，团队内部的验证环境更新了两次，一次增加了对多项式零点集的实时检验接口，另一次加快了边界附近的方向空间采样速度。悦儿没有询问这些更新的来源，但她注意到代码注释中有一段新增的说明文字，首字母缩写正好对应着她以前用过的一组边角阈值常数，缩写方式是她习惯的写法。她没有追问，只是保留了那组常数在当前版本中的配置。

那篇论文的影响在接下来的几个月里开始向更远的方向扩散。她在代数几何领域的同行中看到了对多项式方法在新场景中适用性的讨论，其中有几篇后续工作直接引用了她的零点集构造，并将其扩展到了不同维度的方向空间中。在几何测度论方向的文献中，她的论文也开始被频繁提及，更多是作为"代数几何与管道几何之间的一场实验□□叉尝试"被引用的。她在这些引用中没有看到强烈的质疑声，说明她构建的框架至少在早期阶段已经被视作一个可以继续向前推进的起点。

她在当年夏天的一次数学会议上做了一场关于代数几何在挂谷猜想中的应用的报告。报告时长大约五十分钟，她按章节推进了论文的核心结构：从几何背景介绍到多项式的引入，从零点集的构造到其在方向空间中的覆盖效果，最后以三足框架的示意图作结。在她讲到那幅图时，台下有人举起手来："如果把第四条腿加进去——验证层——那它就不只是三足了。"悦儿认出那个提问者的声音，是之前在某次线上讨论中问过她关于代码接口的人。她在回答之前短暂地沉默了一下，然后说："第四条腿确实存在。但它的作用不是增加框架的承重能力——而是在框架投入使用前，从地面向上托举它，确认它没有脱离地表的实际支撑条件。它是一个验证层，在框架的理论形态和它的实际运作之间形成持续不断的双向反馈。"她停顿了片刻，然后继续道："目前这套框架的三条腿已经足够使它在学术讨论中保持稳定，第四条腿则把它从理论层面带到了可操作的空间中。"

她在回答结束后注意到台下有几个人在笔记本上写字，其中有一个人的记录方式呈现出一种结构化的标记特征，像是正在将她的口头表述转化为某种可以被代码执行的逻辑链条。她没有看清那个人具体记了什么，但那种标记方式她以前在别人那里见过，近似于将口语描述转化为可操作步骤的方式。她继续推进报告剩下的内容。

那场报告结束后，有人在走廊里拦住了她，问了一个简短的问题："如果代码是第四条腿，那你现在在做的——纸面的事和代码的事——它们之间的边界在哪儿？"悦儿想了想，然后说："边界在'验证'这个动作上。写证明是在构建理论，写代码是在检验理论在特定极值条件下的行为是否与预期一致。两条线在大多数情况下并行，在少数情况下交叉——当代码发现异常时，就会返回到纸面上去排查条件；当纸面上重新调整了某个结论后，也需要在代码环境中重新跑一遍来确认新的配置是否能在样本集上保持稳定。它们之间的边界不是一个固定的位置，而是一个随着每一次迭代逐渐缩小的区域。"那个人点了点头，没有继续追问，在离开前补充了一句："我明白了，你在让代码成为一种自检层。"悦儿站在走廊里想了一下"自检层"这个说法，然后走回会场继续参加后续议程。

她在回程的飞机上翻开了那篇论文的实体版，从头到尾过了一遍。当飞机在傍晚降落时，她合上论文，把它放在膝盖上，看着窗外的云层被落日的余晖染成深橙色和紫色之间的分层色彩。她想起了墨子说的"三条腿"和她回复的"代码"，然后她意识到一个她之前没有明确意识到的事——代码已经不只是一条腿了，它已经成了一种连接层。论文中的几何、分析、代数这三条腿各自在纸面上相互支撑，而代码在下方及周围的各个方向上检查那些支撑点的受力状况，并实时反馈每个节点的实际状态。它把纸面上的结构放置在一个可运行的空间中，使框架的三条腿从抽象的理论支撑转变为能够承载实际负重的基础结构。

当她在飞机降落后走出航站楼时，室外已经是夜晚了。三月的晚风里带着一种早春特有的微凉，吹过她的衣角和面颊。她站在机场外的通道上，感受着那种微凉，同时留意到自己的视野里出现了一座新建筑的轮廓——那栋建筑的形态不完整，它的承重结构还在逐层拼接中，但支撑点的位置已经基本确定，剩余的施工主要集中在将连接处加固到能够承受持续负荷的程度上。她不知道那栋建筑还需要多久才能被完全覆盖，但她知道它的地基已经打好了，而且它的一部分结构已经经过实际运行的检验，反馈结果显示它的主要承重组件能够稳定地承受设计阶段所预期的负载。那栋建筑现在立在那里，不完整但稳固。鼎卦说"以木巽火"——鼎立起来之后，还需要在底座下面持续加温，使鼎中的内容不断被煮成新的形态。论文发出来了，框架建立了，但框架中的内容还需要持续加热，让更多的材料融入已有的结构，让更多的结构间连接被验证，让框架逐渐从一种静态的立定状态过渡为一种动态的、可生长的基础构造。她在晚风中沿着车道走出机场时，看到远处的城市天际线被灯光勾勒成了一幅多层结构，其中一层正在缓慢地变得完整。