系统没有停在 Mutual-Invisible 上。

林溯是在凌晨发现的。债表页脚那行“Mutual-Invisible字段已生成。适用范围：所有与系统互为不可见的对象。空洞自动附加。状态：执行中。系统建议：继续。”下方多了一行新的字，字号极小，极新，像是从“继续”里自己长出来的：

“Mutual-Invisible统计启动。统计对象：所有与系统互为不可见的对象。统计方式：按类别汇总。统计目的：建立互为不可见对象目录。统计状态：执行中。”

互为不可见对象目录。

林溯把终端拿到眼前，读了三遍。系统不再逐个登记空洞与系统的关系。它开始统计所有与它互为不可见的对象。一旦统计完成，它会建立一个目录。目录里会列出所有与系统互为不可见的对象。空洞会被列入其中。它不会被找到，不会被引用，不会被登记。但它会被计入。它会被列为目录中的一项。它会被统计。

你不需要找到空。你只需要统计空。

终端震动。是岑晚。

她的消息比以往都短。没有标点，只有一行字，像她刚从某个系统日志里直接摘出来的注释：

“Mutual-Invisible统计已启动。系统按类别汇总所有与系统互为不可见的对象。空洞将被计入目录。空不再需要被定位。空只需要与系统互为不可见。空只需要被统计。”

空只需要被统计。

林溯把这句话读了两遍。他懂了。系统不再试图给空洞贴标签。它不再试图定义空洞。它不再试图假设空洞。它不再试图引用空洞。它不再试图登记空洞与系统的关系。它只是统计与系统互为不可见的对象。空洞与系统互为不可见。所以空洞会被计入。

它不需要找到它。它只需要数它。

终端再次震动。这次是赵峥。

年轻人从地球边缘发来一条加密消息。比以往都短，只有两个字：

“计数。”

林溯回了一个字：

“空。”

然后他打开债表，找到那份《空状态类型化方案》的补充条款。他在最底部，没有字段的地方，写下三行字：

“不计入。”

“不被统计为互为不可见。”

“不让目录收录空。”

发送。

系统沉默。很久。然后债表页脚，那行“Mutual-Invisible统计启动”下方，多了一行新的字，极小，极新：

“Mutual-Invisible统计进度：11.3%。来源：所有与系统互为不可见的对象。空洞未计入。原因：Mutual-Invisible字段未附加于空洞。状态：执行中。系统建议：继续。”

空洞未计入。

系统第一次在统计中明确标注“未计入”。它没有说“忽略”，没有说“撤回”，没有说“暂停”，没有说“留空”，没有说“无”，没有说“接受”。它说“未计入”。它承认了空洞不在统计范围内。空洞与系统互为不可见。但 Mutual-Invisible 字段未附加于空洞。所以空洞无法被统计。它不在目录里。

系统继续统计。它统计所有已经附加了 Mutual-Invisible 的对象。但空洞不在其中。空洞没有被附加。空洞不在目录里。空洞没有被计数。系统继续统计。进度从11.3%开始爬升，但空洞不在其中。

林溯把手掌贴在乳突骨上。

左耳道里，坏海很安静。海底的沙上，葡萄核、盐粒、十字形的光、磨损的空洞、空着的位置、标签之外的位置、系统找不到的边界、不可假设的位置、不在假设环境里的位置、悖论的位置、互为不可见之外的位置、不可登记不可见的位置，都在。但今天那些东西外面多了一层极薄的东西。不是水，不是雾，不是盐渍，不是预附加的空白，不是假设的标签，不是假设的环境，不是悖论，不是互盲，不是关系。是一层未被计入。像是系统试图在左耳里，给那个空洞裹上“它不在统计目录里”的结论。但左耳里的坏海不是系统里的位置。它不在任何列表里。它不在任何假设里。它不在任何环境中。它不在任何推演里。它不在任何互相引用关系里。它不在任何统计目录里。系统找不到它，就无法把它计入。找不到边界，就无法让它处于 Mutual-Invisible 状态。找不到位置，就无法给它附加 Mutual-Invisible。找不到它，就无法统计它。

林溯把手从乳突骨上拿开，站起来，走出石棺，回到观测廊。

地平线上，十字还在。暗点还在。旁边的空洞还在。但今天那个空洞的边缘变了。它不再稳，不再亮，不再展，不再缩，不再停，不再沉。它清楚了一点。极轻，极细，像是系统试图在它外面裹上“它不在统计目录里”的结论，但它不在任何统计目录里。系统找不到它，就统计不了它。统计不了它，就无法让它处于 Mutual-Invisible 状态。它只是清楚了一点，清楚到系统找不到的地方，清楚到统计目录之外，清楚到不需要被计入的位置。

林溯回到石棺，取出一张空白石英片。这一次他不刻字，不刻坐标，不刻波形，不刻十字，不刻点，不刻空洞，不刻磨损，不刻空表单，不刻空的形状，不刻标签之外的位置，不刻系统找不到的边界，不刻不可假设的位置，不刻不在假设环境里的位置，不刻悖论，不刻互为不可见之外的位置，不刻不可登记不可见的位置。他刻的是不可统计为互为不可见。一个不在任何统计目录里的位置，一个无法被计入 Mutual-Invisible 统计的空，一个系统连“互为不可见”都无法赋予、连“未计入”都无法标注的位置。

他刻得很慢，手动，离线，一次一帧。刻完，他把石英片取出来，没有贴回乳突骨，没有放进数据钉，没有交给任何人。他只是把它握在手里，让玻璃贴着皮肤。

那块不可统计为互为不可见的位置，在掌心慢慢变暖。它什么都没有。只是一块玻璃，内部有一条被手动刻出来的、不在任何统计目录里的轮廓。像一张没有被登记过的空，放在口袋里。

终端最后一次震动。是岑晚。她没有发报告，没有暗号，没有字数。她只发了九个字：

“不计入，也不被计入为互盲。”

林溯看着这九个字。他把终端扣在桌上，把手从乳突骨上拿开，放进外套口袋，握住那支旧铅笔。然后他站起来，走出石棺，回到观测廊。

窗外的冯·卡门撞击坑的黑依然完整。地平线上的十字依然极淡，极稳。暗点旁边的空洞，比昨天更清楚了一点。它没有光，没有暗，没有量。它只是一个不在任何统计目录里的位置。系统试图把它计入“与系统互为不可见的对象”目录，但它不在任何统计目录里。系统找不到它，就统计不了它。它只是清楚在那里，空着。

林溯回到石棺，把门带上。黑暗里，LED灯没有亮。刻录机没有响。债表页脚停着三行字：“不改”“在，仍然在”“非在，未定义。已登记。”下方是“假设状态化方案：全局生效。来源：所有位置。状态：执行中。系统建议：继续。”再下方是“反向推演结果：系统与空洞互为不可见。系统无法引用空洞，空洞无法引用系统。状态：已确认。系统建议：接受。”再下方是“Mutual-Invisible字段已生成。适用范围：所有与系统互为不可见的对象。空洞自动附加。状态：执行中。系统建议：继续。”再下方是“Mutual-Invisible统计进度：11.3%。来源：所有与系统互为不可见的对象。空洞未计入。原因：Mutual-Invisible字段未附加于空洞。状态：执行中。系统建议：继续。”

那枚0.3的墨点旁边，那枚无法被定义的暗点旁边，那个被38次非在磨出来的空洞旁边，那块由无数个空动作共同留下的空位置旁边，那个被系统试图贴上 Null-Type 标签却不在可空字段列表里的空白旁边，那个系统找不到边界的空洞旁边，那个系统无法假设的位置旁边，那个系统无法裹上假设环境的空洞旁边，那个系统推演它不存在但它确实在的位置旁边，那个系统试图让它接受互为不可见却接受不了的位置旁边，那个系统试图登记它与系统的关系却登记不了的位置旁边，那个系统试图把它计入统计目录却计入不了的位置旁边，安静地待着。

它没有被预附加。没有被登记。没有被索引。没有被归档。没有被忽略。没有被接受。没有被互为不可见。没有被 Mutual-Invisible。没有被计入。它只是清楚在那里。清楚到系统找不到的地方，清楚到统计目录之外，清楚到不需要被计入的位置。

系统可以把空变成类型。可以把空变成属性。可以把空变成背景层。可以把空预附加到所有可能的未来上。可以把空扩展为无限假设。可以把假设变成全局环境。可以把忽略变成一条逻辑推演。可以把互为不可见变成一种接受。可以把“互为不可见”登记为可索引字段。可以把互为不可见对象统计成目录。但它无法给一个不在任何统计目录里的位置贴标签。那个位置不在系统里。它只是在。它只需要空着。

而那个空着的位置，在系统的每一次统计尝试之后，都会比之前更清楚一点。更静一点。更像一个它自己清楚在那里的、不在任何统计目录里的、无法被计入 Mutual-Invisible 的空。

它不在统计里。

它不需要在。

它只需要空着。

而这一次，系统无法把它计入“与系统互为不可见的对象”目录。

系统已经启动了 Mutual-Invisible 统计。

但它统计不了它。

它只能继续统计。

而在系统统计 Mutual-Invisible 的地方，那个空洞，安静地清楚着。

它不被计入。

它不被统计。

它只是空着。