备用机房的灯在凌晨三点十七分亮着。

    周启明把律师审阅意见扫描件被移除的通知放在桌上。纸在桌面上滑了两寸，停在陈路的键盘旁边。旁边是程久发来的确认——她已调取归档操作记录。操作人属于法律顾问组，操作理由一栏填着“依据第四十七条”。第四十七条的正文是空的。

    “空条款被第一次引用。”周启明说。

    他说这话时没有看任何人。他的手指还按在那张纸上，指尖微微发白。

    陈路调出系统索引。屏幕上的字符一行行跳出来，第四解释记录层已经捕捉到这次归档行为。条目编号1487，分类为“制度自指行为”，备注栏写着“条款正文为空，引用行为构成首次定义”。陈路把这一行念了出来，念到“首次定义”时停了一下。

    “这意味着什么。”伊琳没抬头。她的手还在应力监测屏上，屏幕的蓝光映在她脸上，把颧骨的轮廓照得很硬。

    “意味着有人主动走进了一个十六年前的陷阱。”周启明说。

    顾远站在白板前。他没说话。他画了一条线，线上三个点。第一个点：律师审阅意见承认第一条构成新设职务。第二个点：答复函选择不同依据绕过后果。第三个点：扫描件依据空条款被移除。

    三个点连成一条向下的弧。

    马克笔在白板上发出轻微的摩擦声。顾远退后半步，看了一会儿这条弧，然后在弧的末端加了一个向下的箭头。

    “他们在用不存在的东西证明不存在的东西。”他说。

    伊琳从应力监测屏前转过身来。她把一台平板推到桌面上，屏幕亮着，显示的是八号断层凌晨的数据曲线。微震频率回升到平台期之前的水平，三条断层的应力矢量重新指向四号与五号之间的未破裂带。从凌晨两点三十四分开始，曲线开始抬头。先是零点一毫米的微震，接着是零点三一毫米的预滑，八号断层在六十秒内完成了应力方向的重新定向。

    “两点三十四分。”伊琳用手指点了点屏幕上的时间轴，“文件归档的那一刻。”

    她抬起头。

    “四十七这个数字。严衡预设的四十七天预言。系统心跳每四十七秒一次。空条款编号第四十七条。”

    她顿了顿。

    “陶远把同一个数字嵌在了三个地方。全球。系统。制度。”

    陈路调出十六年前的架构文档。文件编号已泛黄，数字还是老式字体。陶远写的条款编号规则附录，第四十七条的预留说明只有一行字：“待定义。定义权归使用该条款的人。”

    陈路把这一行字投影到备用机房的屏幕上。

    顾远盯着那行字看了很久。他的右手还拿着马克笔，笔尖离白板只有几寸，但他的手没有动。屏幕上的字是十六年前的字体，笔画边缘有锯齿。

    “他知道会有人用空条款。”陈路说。

    “不。”顾远没回头，“他知道空条款会被用来移除某些东西。给使用的人留下定义权。”

    他顿了顿。

    “使用即定义。”

    林序在日志本上写下这行字。他用的还是那支钢笔，笔尖在纸上走得很慢。写到“使用即定义”时停了一下，把句号画得很圆。

    然后他翻到前面。

    八十一天前。顾远在白板上画出四十七天预言的概率分布图。伊琳坐在台阶上说模型盲区随时可能从根部砸断因果链。她在终端上调出一张图——能源系统的某个关键变量正偏离预测区间。顾远站在白板前，指节在数字上叩了三下。他说系统最大的问题不是不会算，而是太会猜。

    第二天，系统预测被证实。全球注意力汇聚到这座大楼。记者、官员、学者坐满了报告厅。顾远没有上台。他从侧门离开，在走廊里的自动贩卖机前站了很久。硬币投进去，饮料罐滚出来，他没有取。

    那是系统第一次证明文明可以被计算。

    八十一天后，同一个系统里的空条款被用来移除它曾经算准的证据。

    林序把两个日期并排写在同一页纸上。四十七天预言被验证的日子。第四十七条首次被引用的日子。

    “两条四十七。”他合上日志本，“一条证明了系统能算准。一条证明了制度可以移除算准的证据。他把它们嵌在同一个数字里。”

    伊琳站起来。她把中东断层应力监测图钉在白板上，钉了三下，每一下都很用力。凌晨两点三十四分，八号断层开始加速蠕滑。凌晨两点三十五分，四号与五号断层应力矢量重新定向。凌晨三点零九分，未破裂带宽度缩小零点七毫米。

    她用红笔圈出三个时间点。

    “六十秒。”她说，“从文件归档到