第2章

周报上的名字是下周------------------------------------------。。后脑勺贴着潮湿的泥土。头顶是槐树的新叶。视线从模糊到清晰的几秒内，他的身体报出了三个数字：心率偏快，左侧卧姿导致左臂发麻，后颈落枕。肌肉记忆告诉他这不是他自己的身体。太年轻了。年轻了十岁。。未名湖。北岸。正对面的博雅塔在晨光中发灰。湖面无风。。：一张门禁卡。白色，蓝边，北大脑科学中心磁卡。有效期标注"2034.3-2036.3"。2026年的门禁系统是射频卡，不读磁条。这张卡在当前任何一个刷卡器上都会提示"无效卡片格式"。：一片数据盘。不是U**接口，不是Type-C，甚至不是光学存储。透明基板，边缘有二十四条微触点，没有任何一个标准读卡器能**这种接口。他对着晨光看了看。基板里封了一层微晶格结构。时间晶体。2031年的制造工艺。：一份打印的周报。。页眉，"北京大学前沿计算研究中心·Lean5项目组·周报#004"。日期：2026年3月19日。今天才12日。。。门禁卡，未来且失效。数据盘，未来且无法读取。周报，未来的日期，今天的纸。。左侧膝盖酸痛了一下。十年前的膝盖软骨还没磨损。这种年轻的酸痛和十年后关节炎的钝痛不一样。他分辨出了这种差异。。。冷水冲脸。镜子里的人是他，颧骨和下颌线比2036年紧一点，眼角没有那道他在档案馆玻璃反光里见过无数次的长纹。他拧开水龙头。水流服从重力。他往地上扔了一张纸巾。纸巾向下飘。物理定律还在。。他掐了三次手腕内侧。每一次都疼。疼痛不能排除幻觉，但能排除梦。他试着回忆2026年的全球事件列表。零失误。如果是梦境，构不成这个信息量。如果是模拟，不值得模拟一个过时的门禁卡。他在演习自己知道的所有现实性检验法。每一个都通过。。他读了那份周报。
周报共三页。摘要：Lean5数学定理自动验证系统进入**开发周期。核心关注点是跨域推理模块的初始架构设计。页末签名：项目组长沈清河。
正文第三段，"方远提交跨域模块初始架构提议。建议命名为Verifier 0.1。沈清河批准进入内部评审。"
方远。
这个名字在一份下周才会发出的周报上，用一种不存在的未来时态，写了一个还没有发生的决定。
凌彻合上周报。
他的记忆里有两个版本。第一个：2036年档案里的方远，灰白头发，站在大礼堂***说"我不请求原谅，我确认一个问题"。第二个：原始时间线的新闻报道，方远在全球科技论坛上道歉后三小时，社交平台上一条被转发了四十万次的评论，只有七个字："他终于说出那句话。"
"跑通了就是对的。"，方远的原话。2034年他在同一场论坛上说，"十年前我造了一个系统。我告诉所有人，跑通了就是对的。今天我告诉你们，跑通了不是对的。跑通了只是在语法上自洽。语义上，"
他的声音被掌声打断。报道里写的是"被观众自发的持续掌声打断"。凌彻看过那段视频。掌声不是认同。掌声是，"你终于想通了"，那种掌声。像家长听到孩子认错。
然后方远道歉了。
然后他死了。同年冬天。主动脉夹层。三十二岁。
然后2026年的周报上写着他的名字。
凌彻盯着"方远"那两个字。一个十年后会道歉然后死去的人。一个现在还在写跨域模块初始架构提议的人。一个此刻最多二十六岁的人。
距离他第一次听到那个名字还有七天。
凌彻沿着湖边走了一圈。然后又走了一圈。
他有一个具体的指令。那条匿名消息说：如果你还记得2026年，现在去实验舱。他记得。他回到了2026年。
那条消息的发件人"不可追溯"。一个名字。物理上的不可追溯。2036年的时间物理学家会说，发件人"不存在于任何可解释框架内"。一个没有上游的信息。一个从因果闭环内部发出的回声。
给了一个日期。给了一个名字。不给解释。
凌彻在湖边的石头上坐了很久。
他不是不知道怎么找到方远。北大计算机系。沈清河。这些他都知道。问题是找到之后做什么。
直接说"我来自2036年，你十年后会道歉，然后死"？方远会报警。
旁敲侧击地说"你造的系统你可能不理解"？方远会耸肩，"跑通了就是对的，有什么好不理解的。"
他在2036年见过足够多的数据。直接干预无效。方远的每一次改变都不是因为别人告诉他要改变。是因为某些东西发生了。凌晨三点的系统日志让他不安。父亲的一句话让他沉默。一个奇怪访问学者反复问的问题让他忘了怎么回答。
不是没有改变的可能。是改变不能从外部施加。只能从内部开出裂缝。
凌彻在湖边想了很久。不是在想计划。是在想方向。
他不能改变河的流向。2036年的时间线有它自己的惯性。Verifier仍然会被建成。七个领域仍然会被超越。验证者**仍然会到来。大结构不会因为一个人而改变。
但他可以改变河床。在河床上挖几个洼。让河水流过之后还能留下几处水洼。不是阻止什么。是保存什么。
方远会造那个系统。但他可以在系统里种一行代码，一行系统不需要、编译器不会管的注释，一行人读到的东西。宋知意的双条件假说会提出。但他可以让她在被否定之前找到一个方向。简默会追问"理解"的含义。但他可以让她早几年遇到需要这些追问的人。温晚会记录。但他可以给她一个更早的起点。
不是决定。是挖洼。
洼不需要很大。洼只需要存在。足够深，在河水退去后还能留一滩水。没有人能在2026年看见这些小洼。但它们会在十年后保留一些东西。那行代码在2036年也许会被删除十七次。但只要还有人改回来，就还有一个洼里残存的水。
他翻开周报再看了一遍。
方远。宋知意。简默。温晚。四个名字。四个在2036年的关联索引页面里被分类为"历史参考"或"不建议纳入"的人。此刻在2026年他们都在。都在**。都在被否定。都在某个看不见的地方。
七个星期。
他有七个星期来锁定第一个。
不是锁定这个人。是锁定一个问题。一个方远在这个星期里还无法回答、但会在未来十年反复回到的问题。这个问题必须由方远自己产生。不是凌彻给他的。是凌彻让他不得不自己问的。
凌彻站起来。晨光已经从灰色变成金色。湖面上开始有人晨跑。远处自行车铃声。
2026年3月12日。普通的一天。全球没有任何重大新闻。北大和昨天一样上课。未名湖和昨天一样平静。
他口袋里有来自下周的周报。他脑子里有来自十年后的结局。
他把周报折好放回口袋。往化学楼方向走。
沈清河。58岁。已被主流学界边缘化。办公室在化学楼最偏的角落。曾是最早做跨学科意识研究的学者。方向太超前。无人问津。2026年的北大几乎没有人知道这个人还在做研究。
凌彻需要一个位置。一个足以访问计算机系共享实验室的访问学者位置。一个不需要提供详细档案的位置。一个允许他在走廊里遇见方远的位置。
他的**只有一个：他不是来自这个时代。他看过2026年之后十年里每一篇重要论文。他知道哪些论证会在未来被验证，哪些方向会走入死胡同。这不是窃取。这是在河床上挖洼。
他花了整个下午写研究计划。用的是一个被低估的方向，"临界态与涌现：跨域推理系统的元认知建模"。这个方向在2026年是空白。在2031年会成为显学。他引用了自己记得最清楚的三篇2031年论文的核心思想，在2026年用当前文献的语言重写，所有引用标注为"未发表工作稿"。他知道这个标注方式会让沈清河皱眉。但也知道方向本身会让沈清河无法拒绝。
傍晚。化学楼。走廊尽头的灯管有一根在闪。
他站在沈清河办公室门口。门上没有名牌。只有一张手写的纸："跨学科认知建模实验室。工作时间：除非有门铃，否则不确定在不在。"
凌彻敲门。