备用机房的灯在凌晨三点十七分亮着。
周启明把律师审阅意见扫描件被移除的通知放在桌上。纸在桌面上滑了两寸，停在陈路的键盘旁边。旁边是程久发来的确认——她已调取归档操作记录。操作人属于法律顾问组，操作理由一栏填着“依据第四十七条”。第四十七条的正文是空的。
“空条款被第一次引用。”周启明说。
他说这话时没有看任何人。他的手指还按在那张纸上，指尖微微发白。
陈路调出系统索引。屏幕上的字符一行行跳出来，第四解释记录层已经捕捉到这次归档行为。条目编号1487，分类为“制度自指行为”，备注栏写着“条款正文为空，引用行为构成首次定义”。陈路把这一行念了出来，念到“首次定义”时停了一下。
“这意味着什么。”伊琳没抬头。她的手还在应力监测屏上，屏幕的蓝光映在她脸上，把颧骨的轮廓照得很硬。
“意味着有人主动走进了一个十六年前的陷阱。”周启明说。
顾远站在白板前。他没说话。他画了一条线，线上三个点。第一个点：律师审阅意见承认第一条构成新设职务。第二个点：答复函选择不同依据绕过后果。第三个点：扫描件依据空条款被移除。
三个点连成一条向下的弧。
马克笔在白板上发出轻微的摩擦声。顾远退后半步，看了一会儿这条弧，然后在弧的末端加了一个向下的箭头。
“他们在用不存在的东西证明不存在的东西。”他说。
伊琳从应力监测屏前转过身来。她把一台平板推到桌面上，屏幕亮着，显示的是八号断层凌晨的数据曲线。微震频率回升到平台期之前的水平，三条断层的应力矢量重新指向四号与五号之间的未破裂带。从凌晨两点三十四分开始，曲线开始抬头。先是零点一毫米的微震，接着是零点三一毫米的预滑，八号断层在六十秒内完成了应力方向的重新定向。
“两点三十四分。”伊琳用手指点了点屏幕上的时间轴，“文件归档的那一刻。”
她抬起头。
“四十七这个数字。严衡预设的四十七天预言。系统心跳每四十七秒一次。空条款编号第四十七条。”
她顿了顿。
“陶远把同一个数字嵌在了三个地方。全球。系统。制度。”
陈路调出十六年前的架构文档。文件编号已泛黄，数字还是老式字体。陶远写的条款编号规则附录，第四十七条的预留说明只有一行字：“待定义。定义权归使用该条款的人。”
陈路把这一行字投影到备用机房的屏幕上。
顾远盯着那行字看了很久。他的右手还拿着马克笔，笔尖离白板只有几寸，但他的手没有动。屏幕上的字是十六年前的字体，笔画边缘有锯齿。
“他知道会有人用空条款。”陈路说。
“不。”顾远没回头，“他知道空条款会被用来移除某些东西。给使用的人留下定义权。”
他顿了顿。
“使用即定义。”
林序在日志本上写下这行字。他用的还是那支钢笔，笔尖在纸上走得很慢。写到“使用即定义”时停了一下，把句号画得很圆。
然后他翻到前面。
八十一天前。顾远在白板上画出四十七天预言的概率分布图。伊琳坐在台阶上说模型盲区随时可能从根部砸断因果链。她在终端上调出一张图——能源系统的某个关键变量正偏离预测区间。顾远站在白板前，指节在数字上叩了三下。他说系统最大的问题不是不会算，而是太会猜。
第二天，系统预测被证实。全球注意力汇聚到这座大楼。记者、官员、学者坐满了报告厅。顾远没有上台。他从侧门离开，在走廊里的自动贩卖机前站了很久。硬币投进去，饮料罐滚出来，他没有取。
那是系统第一次证明文明可以被计算。
八十一天后，同一个系统里的空条款被用来移除它曾经算准的证据。
林序把两个日期并排写在同一页纸上。四十七天预言被验证的日子。第四十七条首次被引用的日子。
“两条四十七。”他合上日志本，“一条证明了系统能算准。一条证明了制度可以移除算准的证据。他把它们嵌在同一个数字里。”
伊琳站起来。她把中东断层应力监测图钉在白板上，钉了三下，每一下都很用力。凌晨两点三十四分，八号断层开始加速蠕滑。凌晨两点三十五分，四号与五号断层应力矢量重新定向。凌晨三点零九分，未破裂带宽度缩小零点七毫米。
她用红笔圈出三个时间点。
“六十秒。”她说，“从文件归档到应力重新定向，六十秒。”
她看着周启明。
“物理世界不等待制度。”
周启明没有反驳。他把程久发来的消息又看了一遍。时间戳：凌晨两点三十四分。他放下手机，在桌上摊开一份文件——GcS项目章程的副本，第十六条的原文：系统输出构成制度参考，制度决策构成系统输入。
“这条章程是陶远起草的。”周启明说，手指点在第十六条上，“他在这条里留了一个词：构成。”
他抬起头。
“不是引导。不是影响。是构成。”
顾远从白板前转过身来。他看了第十六条的原文，然后把那条章程的编号写在白板上。第十六条。凌晨两点三十四分。第四十七条。三个数字排成一排。
“解释也在生成解释。”他说。
“你说什么。”伊琳的声音很平。
“凌晨两点三十四分，法律顾问组用空条款移除了扫描件。这个动作进入了系统。系统把它记录为制度自指行为，编号1487。然后系统输出了一条新记录，编号1491——已识别条款第四十七条的首次定义行为。”
顾远用蓝笔在白板上画了一个圈，把1487和1491圈在一起。
“系统在看。”
陈路的终端响了一声。不是系统心跳。是周启明两天前布置的监测程序——专门追踪空条款被引用后的传播路径。
屏幕跳出一行数据：第四十七条的法律引用层已生成十四条派生条款。每一条都在替空条款填入临时定义。每一条的定义都不一样。法律顾问组填了一个版本。程久的补充声明填了另一个版本。第三条、第四条、第五条，每条都在解释上一条。
周启明盯着屏幕。十四条派生条款像分岔的河道，从同一个空源头向不同方向延伸。他打开程久十二小时前发来的消息，重新看了一遍她的补充声明措辞。她用了一个短语：“依据第四条所承认的新设职务”。第四条本身还在审议中。她用尚不存在的依据来支撑她的论证。
“他们在搭建一个悬空的体系。”周启明用手在屏幕划了一道线，把十四条派生条款和凌晨两点三十四分的归档操作连起来，“十四条派生条款全部建立在第四条被承认的前提上。第四条本身还没有被承认。”
“他们不是在论证第四条。”伊琳从应力监测屏前走过来，瞥了一眼屏幕上的派生条款链条，“他们是在用第四条论证它自身。”
顾远没有接话。他把白板上那条向下的弧重新描了一遍。弧的一端指向“第一条承认新设职务”，另一端指向“空条款移除证据”。他在弧的中点写了一个日期：明天。
离审议会还有七小时多。
“程久会在审议会上问什么问题。”周启明说。不是疑问句。是陈述句。
陈路在终端上调出会议议程。议程第九项：法律顾问组补充声明中依据的第四十七条定义问题。
“她不会得到答案。”周启明说。
“她的问题本身就是答案。”顾远说，“她问的那一刻，空条款就不再是空的。有人使用，有人定义。使用即定义。”
林序翻开新的一页日志。象牙色的纸，页码空白。他先写上日期。
昨夜，备用机房的灯亮到凌晨。顾远画了三条线：技术的蓝线从V1预测画到V2干预路径的索引，制度的灰线从第一条条款画到第四十七条的首次引用，资源的红线从四十七天预言的应力数据画到今晚断层的微震上扬。凌晨两点三十四分，三条线交叉。二十分钟后，资源线在六十秒内回应了制度线的变化。
他停了一下，翻到前几天的记录。周启明在备忘录里写的那一行：“谁接收输出才重要。”顾远给他发的那条消息：“系统最大的问题不是不会算，是太会猜。”
他回到新的一页。
今天，第四十七条被第一次使用。使用它的人认为自己在用不存在的东西来证明不存在的东西。他们不知道。也许不知道会更好。陶远十六年前在架构文档里留了一行字：“定义权归使用该条款的人。”他等了十六年。等第一个四十七被验证。等第二个四十七被引用。等待使用者的手伸进条款的空腔，碰到他自己。
他停笔。
钢笔悬在纸上空了几秒。顾远正在把三条线交汇点的时间描粗。伊琳在打印件空白处用红笔标注未破裂带缩小的数据，每写一个数字力透纸背。周启明手机屏幕上程久的消息开了又关、关了又开，三条消息像三枚按进皮肤的钉子。
林序继续写。
解释不来自理论。解释来自使用。不需要有人写出完整的学说，不需要有人证明什么。只需要有人开始动手用——用空条款，用第四条，用第十六条——使用的动作本身被系统看见。系统把看见的动作记录在第四解释记录层。记录层的条目被后人引用。引用的动作再次被记录。解释在使用的过程中生长，像断层在微小位移中积蓄应力。没人注意到它在生长，直到它重新定向整条断裂带的应力路径。而物理世界不等待任何人。它只在六十秒内回应制度的选择。
他用钢笔在最后一行下面画了一道线。墨水洇开两个小点，一个在“六十秒”下面，一个在“制度的选择”下面。
陈路的终端又响了一声。系统子进程新增记录，编号1497。内容：“第四十七条引用链已生成内部索引。索引条目归入第四解释记录层。”
“系统在记录自己的记录。”陈路说。
凌晨三点二十分。白板上的倒计时跳了一下。又跳了一下。
林序合上日志本。深灰色封皮磨得发亮，四个角的布面开始起毛。他的手按在封皮上，没有翻开，只是按着。
窗外，城市还在运转。大楼群的黑影切割着黎明前的天空，轮廓像断裂带的切面。中东某地的输油管道正在零点七毫米的未破裂带上承受压力。布鲁塞尔的法律顾问组已经离线，他们的派生条款还在系统里生长。陶远十六年前写下“待定义”时用的老式字体，还在架构文档里等待下一个引用者。
备用机房里五个人各自做着事。
周启明调出十四条派生条款的全文，开始逐条比对关键词。重复出现的短语用黄色标记，第一次出现的用绿色。黄绿交替，像某种逐渐蔓延的菌落。他把所有标记完的条款编号写在备忘录里，旁边加了一行注：“引用链中未出现第八条。未知是否已删除，还是从未被生成。”
伊琳打开另一块屏幕。中东断层的实时数据每秒刷新。她不再盯着数字的变化，而是在旁边摊开一份地理图。她用尺子量了八号断层到四号断层北端的距离，除以位移速率，写在打印件边上：从文件归档那一刻算起，还有三十七天。
顾远走到白板前。他把凌晨两点三十四分那几个字描粗了第三遍，然后放下马克笔。他退后三步，看着满板的标记。他要确认一件事：他漏掉了什么。
他看了一分钟。
然后他俯身捡起灰笔，在“第四十七条”旁边补了一行字。字很小，写在虚线的尽头。写完他把笔放回槽里，退后。
林序看到那行字：“谁记录谁。”
系统心跳响起来。四十秒前发生过一次，四十秒后还会再发生一次。每四十七秒一次，从V1到V6，从四十七天预言到第四十七条空条款，从系统第一次证明文明可以被计算，到系统开始记录自己的记录。
陈路在比对两张图。门禁巡检记录和应力重定向的时间差。四点十七分，资产管理处王群刷开四楼档案室。七小时后，不，七小时后是另一个事件。现在还是凌晨三点二十分。王群还没有来。档案室的门还闭着。那扇门后面，没有人在里面。
还差七小时四十分钟。