她看了一会儿，给墨子发了一条消息："这是四维集合在三维空间中的投影。"

墨子回了一个字："是。"

悦儿继续看着那张图。结构内部有些深色的集中区域像被压实的管道密集区，外缘则有几缕近乎透明的丝状延伸物——那些延伸物在三维中看起来像是断裂的、不连续的碎片，但在四维中它们可能是连续的路径，只是在降维投影中被压缩成了虚影。她盯着那些丝状延伸物的方向和分布方式，认出它们对应着四维框架中她写过的"极端方向区间"中的一些结构。那些结构在纯公式中看起来是一些抽象的高维几何对象，在这张投影图中它们变成了可被视线追踪的、有形状的实体。她伸出手指在屏幕上沿着其中一根细丝的方向划了一小段弧线，弧线在画面中穿过了三处浓密区域之间的空隙，延展到结构的边缘处逐渐变细，变成一条几乎没有宽度的亮线。

她看了那张图大约十分钟，然后打了几个字发送："四维的美，三维的人看不到。"

墨子的回复在几秒后出现，打破了凌晨四点半的寂静："但我看到了。"

她看着那四个字，把图放大到全屏模式，让结构中的每一根线条都在视野中完整地展开。那些线条的密度分布和方向分布跟她笔记本中记录的估计参数之间存在着一一对应的关系。她在那个时刻忽然理解了那张图的价值——它不是一幅装饰性的展示图，它是一个经过压缩的验证平台。投影图上的每一个可见特征都对应着四维框架中的一个结构组件，如果投影图上的特征出现了不该有的断裂或空白，那就意味着四维框架中对应的那个组件需要被重新检查。反过来，如果图上显示的特征跟预期一致，那就为那些组件的正确性提供了一种额外的确认方式。

她后来把那张投影图打印出来，贴在了办公室的墙上。打印出来的图像比屏幕上的更清晰，深色区域的边界可以辨认出更细的纹理。她在贴的时候注意到图中的一个细节——在结构的左上象限中有一条长度较长的浅色弧线，弧线的曲率变化与另一个方向上的深色区域形成了一种几乎对称的对位关系。她后来花了大约一周时间去验证那个对称关系是否对应于框架中某种未被她记录的对应结构，验证的结果是肯定的。那张投影图在她框架验证的工作中起到了她最初没有预想到的作用——它不是证明工具，但它是视觉层面的诊断工具，有时比证明中的不等式更快地显示出哪些位置存在尚未被捕捉到的模式。

升。柔以时升。上升的速度是由时间决定的，而不是由人的意愿决定的。四维框架从搭建到闭合用了三年多，进度条的七成位置是在无数个凌晨和黎明之间累积出来的。每一成大约需要半年时间，有些时候推进得快，有些时候推进得慢。快的阶段通常对应着某个核心结构的一次性闭合——像束间距离估计的三行等式，写它的过程是六周，但它出现的那一瞬间感觉像一次快速的攀升。慢的阶段通常对应着那些拼接缝的打磨——把三段不同的控制函数拼在一起可能需要几个月的微调才能让缝线位置准确到不产生额外的误差。

那张投影图每天都出现在她的视线里。她坐在桌前面向它的角度使得视线从左到右自然扫过整个结构，然后再从右到左返回一次。那个扫视的节奏跟她在推导中偶尔抬头思考的节奏同步——写一段，抬头看一眼图，继续写。图上的某些部分在她看了很多遍之后已经变成了她的视觉基线，如果有新增的部分变化，她能立即注意到。

她在那年夏天的一次团队讨论中提到了那张图。她打开投影图，向团队成员展示了四维结构在三维空间中的投影方式，并解释那些丝状延伸部分对应的框架组件。团队中的韩国成员问"这能用来检验极端方向区间的估计吗"，悦儿说"已经验证过一次了。图上左上象限的弧线对应着框架中的一个对称结构，我后来在证明中找到了它"。以色列成员听了之后说"那这张图本身也是一个证明工具"，悦儿说"是的"。

她没有在讨论中提到那行代码的开发者名字。但她在那个场合适当地看了一眼自己的手机，屏幕上没有消息，这意味着墨子可能正在休息或者在别处处理事务。她将目光收回桌面上的草图，继续推进进度条那尚未填满的三成区间，沿着四维框架的结构深度向内部移动，逐段填充那些还有待验证的组合。那个结构还在被一层层地加固，像一棵树的年轮正在以不可见的速度缓慢加厚。她不知道外圈何时会闭合，但她能从内部的紧密度感知到大致的趋向。进度条上的那根竖线会继续向右移动，以时升的方式缓慢推进，直到它抵达百分之百的位置。