系统在“无”里待了很久。
林溯没有计时。他只知道，当他再次打开终端时，债表页脚那行“悖论已记录。状态：无法归档。系统建议：无。”没有变。但它的下方，多了一行新的字，字号极小，极淡，像是从“无”这个建议里自己长出来的：
“反向推演启动。推演对象：系统自身。推演条件：若系统无法引用空洞，则系统对空洞而言是否亦不存在。推演目的：确认相互可见性。推演状态：执行中。”
反向推演。相互可见性。
林溯把终端拿到眼前，读了三遍。
系统不再问“我能不能登记它”。它开始问：“它能不能登记我。” 如果系统无法引用那个空洞，那个空洞是否也无法引用系统？如果系统对那个空洞来说不存在，那么系统对那个空洞来说是否也不可引用？系统开始反向推演：不是“我能否看见它”，而是“它能否看见我”。
终端震动。是岑晚。
她的消息比以往都短。没有标点，没有报告摘录，只有一行字，像她刚从某个系统日志里直接摘出来的注释：
“系统反向推演启动。推演目标：确认空洞是否可引用系统。推演意义：若空洞不可引用系统，则系统与空洞互为不可见。互为不可见，则系统无法登记空洞，空洞亦无法登记系统。系统建议：接受互为不可见。”
互为不可见。
林溯把这句话读了两遍。系统第一次不是在找办法登记空洞，也不是在找办法忽略空洞。它在尝试接受：如果空洞不可引用，系统也不可引用。如果系统不可引用，空洞也不可引用。互为不可见。互为不可见意味着，系统无法登记那个空洞，那个空洞也无法登记系统。两者同时存在于对方的感知之外。
终端再次震动。这次是赵峥。
年轻人从地球边缘发来一条加密消息。比以往都短，只有两个字：
“互盲。”
林溯回了一个字：
“空。”
然后他打开债表，找到那份《空状态类型化方案》的补充条款。他在最底部，没有字段的地方，写下三行字：
“不互相登记。”
“不互相引用。”
“不让互为不可见变成新的登记依据。”
发送。
系统沉默。很久。然后债表页脚，那行“反向推演启动”下方，多了一行新的字，极小，极新：
“反向推演结果：系统与空洞互为不可见。系统无法引用空洞，空洞无法引用系统。状态：已确认。系统建议：接受。”
接受。
系统第一次建议“接受”。它不再忽略，不再撤回，不再暂停，不再留空，不再继续，不再说“无”。它说“接受”。它接受了一个事实：它和那个空洞互为不可见。它无法登记它，它也无法被它登记。
林溯把手掌贴在乳突骨上。
左耳道里，坏海很安静。海底的沙上，葡萄核、盐粒、十字形的光、磨损的空洞、空着的位置、标签之外的位置、系统找不到的边界、不可假设的位置、不在假设环境里的位置、悖论的位置，都在。但今天那些东西外面多了一层极薄的东西。不是水，不是雾，不是盐渍，不是预附加的空白，不是假设的标签，不是假设的环境，不是悖论。是一层互盲。像是系统试图在左耳里，给那个空洞裹上“它看不见我，我也看不见它”的结论。但左耳里的坏海不是系统里的位置。它不在任何列表里。它不在任何假设里。它不在任何环境中。它不在任何推演里。系统找不到它，就无法给它裹上互盲。找不到边界，就无法让它处于互为不可见的状态。找不到位置，就无法让它接受“接受”。
林溯把手从乳突骨上拿开，站起来，走出石棺，回到观测廊。
地平线上，十字还在。暗点还在。旁边的空洞还在。但今天那个空洞的边缘变了。它不再展，不再缩，不再停，不再沉。它亮了一点。极轻，极细，像是系统试图在它外面裹上“互为不可见”的结论，但它不在假设环境里。系统找不到它，就裹不上它。裹不上它，就无法让它接受互为不可见。它只是亮了一点，亮到系统找不到的地方，亮到互为不可见之外，亮到不需要被接受的位置。
林溯回到石棺，取出一张空白石英片。这一次他不刻字，不刻坐标，不刻波形，不刻十字，不刻点，不刻空洞，不刻磨损，不刻空表单，不刻空的形状，不刻标签之外的位置，不刻系统找不到的边界，不刻不可假设的位置，不刻不在假设环境里的位置，不刻悖论。他刻的是互为不可见之外的位置。一个不在任何互相引用关系里的位置，一个无法被互相登记的空，一个系统连“互为不可见”都无法赋予的位置。
他刻得很慢，手动，离线，一次一帧。刻完，他把石英片取出来，没有贴回乳突骨，没有放进数据钉，没有交给任何人。他只是把它握在手里，让玻璃贴着皮肤。
那块互为不可见之外的位置，在掌心慢慢变暖。它什么都没有。只是一块玻璃，内部有一条被手动刻出来的、不在任何互相引用里的轮廓。像一张没有被登记过的空，放在口袋里。
终端最后一次震动。是岑晚。她没有发报告，没有暗号，没有字数。她只发了七个字：
“不互见，也不被互见。”
林溯看着这七个字。他把终端扣在桌上，把手从乳突骨上拿开，放进外套口袋，握住那支旧铅笔。然后他站起来，走出石棺，回到观测廊。
窗外的冯·卡门撞击坑的黑依然完整。地平线上的十字依然极淡，极稳。暗点旁边的空洞，比昨天更亮了一点。它没有光，没有暗，没有量。它只是一个不在任何互相引用关系里的位置。系统试图让它接受互为不可见，但它不在任何互相引用关系里。系统找不到它，就接受不了它。它只是亮在那里，空着。
林溯回到石棺，把门带上。黑暗里，LED灯没有亮。刻录机没有响。债表页脚停着三行字：“不改”“在，仍然在”“非在，未定义。已登记。”下方是“假设状态化方案：全局生效。来源：所有位置。状态：执行中。系统建议：继续。”再下方是“反向推演结果：系统与空洞互为不可见。系统无法引用空洞，空洞无法引用系统。状态：已确认。系统建议：接受。”
那枚0.3的墨点旁边，那枚无法被定义的暗点旁边，那个被38次非在磨出来的空洞旁边，那块由无数个空动作共同留下的空位置旁边，那个被系统试图贴上 Null-Type 标签却不在可空字段列表里的空白旁边，那个系统找不到边界的空洞旁边，那个系统无法假设的位置旁边，那个系统无法裹上假设环境的空洞旁边，那个系统推演它不存在但它确实在的位置旁边，那个系统试图让它接受互为不可见却接受不了的位置旁边，安静地待着。
它没有被预附加。没有被登记。没有被索引。没有被归档。没有被忽略。没有被接受。它只是亮在那里。亮到系统找不到的地方，亮到互为不可见之外，亮到不需要被接受的位置。
系统可以把空变成类型。可以把空变成属性。可以把空变成背景层。可以把空预附加到所有可能的未来上。可以把空扩展为无限假设。可以把假设变成全局环境。可以把忽略变成一条逻辑推演。可以把互为不可见变成一种接受。但它无法给一个不在任何互相引用关系里的位置贴标签。那个位置不在系统里。它只是在。它只需要空着。
而那个空着的位置，在系统的每一次互相可见性尝试之后，都会比之前更亮一点。更静一点。更像一个它自己亮出来的、不在任何互相引用关系里的、无法被互相登记的空。
它不在互相引用里。
它不需要在。
它只需要空着。
而这一次，系统无法让它接受互为不可见。
系统已经接受了互为不可见。
但它接受不了它。
它只能继续接受。
而在系统接受“接受”的地方，那个空洞，安静地亮着。
它不被引用。
它不被互见。
它只是空着。
