系统弹窗在楼梯口亮了。
「第一案·辰-0371。状态:已登记,未结案。」
苏衍停在台阶上。
「未结案」三个字闪了两下。
他刚才以为规避了规则就算完了。系统不这么认为。规避只是不触发。不是解决。规则还立在那里。下一个不知道"拆开念"的人走进图书馆。还是会死。
苏衍把手机揣进口袋。
转身。
往回走。
---
图书馆还亮着灯。
值班老师抬头看了他一眼。"又借书?"
"不借。查资料。"
苏衍走到角落的检索终端。屏幕亮起来。他调出辰-0371的完整文本。不是修订记录。是规则原文。全文七条,每条下面有子条款。
他一条一条往下读。
第一条。禁止条款。不得说出自己的全名。触发条件:连续说出。
第二条。惩罚条款。违反者抹除舌根。无例外。
第三条。
他停住了。
**「第三条。馆内人员须配合管理员进行身份信息查验。查验内容包括但不限于:出示证件、口头报出姓名、登记入馆时间。」**
口头报出姓名。
苏衍把这一行看了三遍。
规则第一条禁止你说自己的全名。规则第三条让你配合管理员报出姓名。
这两条不能同时执行。
一个让你闭嘴。一个让你张嘴。
苏衍靠在椅背上。
"有意思。"
---
这不是bug。
这是规则的底层逻辑冲突。规则不是人。它不知道自己内部在打架。它只有"触发→执行"两个状态。没有人会同时触发第一条和第三条。因为没人会先违反第一条。活着。再被管理员要求说出姓名。
但逻辑上。这两条是互斥的。
苏衍站起来。
走向借阅台。
"老师。"
值班老师抬头。
"帮我查一条规则。图书馆规则第三条。你执行过吗。"
老师愣了一下。眼镜片后面的表情变了。不是困惑。是某种苏衍没预料到的东西。
"你是觉者。"
不是疑问句。
苏衍没否认。
老师摘下眼镜。揉了揉眉心。"你在查这条规则的文本。你看得懂。"
"你是觉者。"
"规则观察员。最低阶。"她戴上眼镜。"三年了。看得到规则。但从来没办法碰它。"
她顿了顿。
"第三条。我问过每一个进图书馆的觉者。没人发现过问题。你发现了什么。"
苏衍把法典放在柜台上。翻到空白页。
"你自己看。"
他把第三条和第一条并列写在一起。中间画了一个箭头。
→←
老师盯着那两行字。盯了很久。
"第一条说不能说。第三条说要配合查验。配合查验就得说。"
"所以这条规则自己在打自己。"
"但你怎么让它知道。"
苏衍拿起笔。
"不需要让它知道。让它自检。"
---
规则自检。系统推送的律师权限说明里有一条。规则律师有权调取规则底层逻辑,并对存在内部逻辑矛盾的规则提请强制自检。
他从来没试过。
打开系统面板。切到辰-0371。右下角有一个很小的按钮。三个字。
「提请自检。」
苏衍按了下去。
---
图书馆安静了三秒。
然后规则的文字开始抖动。
不是一条。是全部七条。所有子条款。所有修订记录。全部文字的亮度在同步闪烁。规则文本在"读"自己。
值班老师站起来。她看到头顶的规则文字在变。不只是发光。是在重新排列。第一条和第三条的文字被同时提取出来,拼在一起。中间出现了一行系统提示。
「检测到内部逻辑冲突。」
「条款一:禁止说出全名。」
「条款三:要求配合查验(含口头报出姓名)。」
「冲突类型:互斥条款。」
「系统无法同时执行。」
天花板上的灯闪了一下。规则文本开始变色。白色变成蓝色。然后变红。
苏衍盯着屏幕。
「自检结果:条款三与条款一存在不可调和的逻辑矛盾。根据规则体系内部规则第0条(规则一致性原则):任何规则不得包含自相矛盾的条款。矛盾条款中,以先生效条款为准。后生效的冲突条款自动失效。」
第三条失效了。
不是被苏衍打破的。是被规则自己判了死刑。
---
规则文本重新稳定下来。白色。比之前暗了一点。
第三条的文字变灰了。前面多了一个标记。
「[已失效]」
值班老师看着那行字。"你做了什么。"
"让它读了一遍自己。"
"然后它就。"
"它不会撒谎。"苏衍收起笔。"规则只会执行。它不知道自己在说什么。你让它读自己的第三条。它读到一半发现跟第一条打架。它没办法同时执行。只能认。"
他合上法典。
"第一条案。结。"
系统面板弹出来。
「辰-0371。状态:已结案。」
「结案方式:规则内部逻辑冲突→条款自动失效。」
「律师经验+25。累计:25/100。」
「等级提升:见习→初级。」
「解锁权限:可查看规则底层代码、对D级及以下规则提请自检。」
苏衍看了一眼。关掉。
初级。离高级还差三级。
---
"等一下。"
值班老师的声音变了。
苏衍回头。她盯着头顶的规则文本。不是第三条。是第一条上面的修订记录。
「修订记录:第2版。修订者:规则法官第三席·白。强制执行令。」
那行字原来只是文本。现在不一样了。它下面多了一行。很小的字。像系统自动补上去的。
「系统检测到该修订者当前在线。」
「在线位置:本市。」
苏衍盯着那行字。
"在线"不是历史记录。是实时状态。
这个人现在就在本市。
他拿出手机拍了张照。然后把法典夹在腋下。
"老师。麻烦你一件事。"
"你说。"
"这条规则虽然第三条失效了。第一条还在。过几天可能会有规则法官来复查。如果他们来的话。帮我记一下来的人长什么样。"
老师的脸色变了。"你觉得他会来。"
"不确定。"苏衍往门口走。"但他改过这条规则。现在它变了。他会知道的。"
推开门。
外面很暗。十一点的校园几乎没人。路灯照着空荡荡的道路。
苏衍走下台阶的时候系统又弹了一下。
不是案件推送。是一条消息。很短。
「备注已读。落款:顾。」
苏衍站住了。
他打开辰-0042的卷宗。翻到规则边缘那行手写备注。备注还在。但末尾多了一行时间戳。不是三年前的。是现在的。
「最后查阅时间:三分钟前。」
也就是说。那个人还在看这条规则。
跟他同时。
苏衍把手机屏按灭。走在路上。脚步没变。呼吸没变。但他攥着法典的手指比平时多用了一分力。
有人在看同样的规则。现在。此刻。
他需要尽快赶到城中村。