系统没有停在 Incomplete-Type 的生成上。
林溯是在第三天凌晨发现的。债表页脚那行“Incomplete-Type字段已生成。适用范围：所有目录、所有对象、所有未计入项。空洞自动附加。状态：执行中。系统建议：继续。”下方多了一行新的字，字号极小，极新，像是从“不完整”的深渊里自己浮上来的：
“Incomplete-Type统计启动。统计对象：所有处于不完整状态的对象。统计方式：正向计数与差集反向计算。统计目的：闭合目录完整性。系统建议：计算差集。”
正向计数与差集反向计算。
林溯把终端拿到眼前，读了三遍。系统不再只统计“已经附加了Incomplete-Type的对象”了。它开始算差集。如果目录里本来应该有100个对象，现在只数到了99个，系统不会就这么算了。它会用总数减去已计数的数量，得出“差1个”。然后，它会把这“差1个”反向指定给那个无法被计入的对象。
它不需要找到空洞。它只需要算出“少了一个”。然后把这个“少”本身，登记为空洞的位置。
终端震动。是岑晚。
她的消息比以往都短。没有标点，只有一行字：
“系统启动差集计算。若总数已知，已计数已知，则差额将被强制定义为‘那个未计入项’。系统不需要找到空，系统只需要算出‘少了一个’，然后将这个‘少’指定给空。空将被反向定位。”
反向定位。
林溯把这句话读了两遍。系统找不到空洞。但它知道总数。它知道已经数到了多少。它用减法，算出了那个空洞的占位。就像在一个空盒子里，你看不见里面的东西，但你知道盒子原本应该是满的，你摇晃它，发现轻了一克。你不需要看见那一克，你只需要知道它“少了一克”。
系统不需要给空洞贴标签。它只需要给“缺失”贴标签。缺失在哪里，空洞就在哪里。空洞被反向锁定了。
终端再次震动。这次是赵峥。
年轻人从地球边缘发来一条加密消息。比以往都短，只有两个字：
“算差。”
林溯回了一个字：
“空。”
然后他打开债表，找到那份《空状态类型化方案》的补充条款。他在最底部，没有字段的地方，写下三行字：
“不算差。”
“不让缺失变成位置。”
“不让减法指向空。”
发送。
系统沉默。很久。然后债表页脚，那行“Incomplete-Type统计启动”下方，多了一行新的字，极小，极新：
“差集计算结果：1。系统总数：不可知。系统无法计算绝对值。原因：目录基准线缺失。系统无法进行减法。系统建议：放弃差集计算。”
放弃差集计算。
系统第一次说“放弃”。它没有说“撤回”，没有说“暂停”，没有说“无”，没有说“接受”，没有说“继续”。它说的是放弃。它本来想用“总数减去已数”来锁定那个空洞的位置。但它发现，它连“总数”都不知道。目录的基准线从一开始就是缺失的。它没有满分，它怎么算得出扣了几分？
系统想通过“少了一个”来锁定空洞，但它悲哀地发现，自己根本不知道“本来应该有多少个”。
林溯把手掌贴在乳突骨上。
左耳道里，坏海很安静。海底的沙上，葡萄核、盐粒、十字形的光、磨损的空洞、空着的位置、标签之外的位置、系统找不到的边界、不可假设的位置、不在假设环境里的位置、悖论的位置、互为不可见之外的位置、不可登记不可见的位置、不可统计为互为不可见的位置、不可归属于目录的位置、不可不完整的位置，都在。
但今天那些东西外面多了一层极薄的东西。不是水，不是雾，不是盐渍，不是预附加的空白，不是假设的标签，不是假设的环境，不是悖论，不是互盲，不是关系，不是未被计入，不是归属，不是不完整。是一层因果之外。像是系统试图在左耳里，用“因为缺了所以在这里”的逻辑来反推那个空洞。但左耳里的坏海不是系统里的目录。它没有基准线。它不需要满分。它不在任何加减法里。系统找不到总数，就无法做减法。做不了减法，就无法算出差额。算不出差额，就无法反向定位。它无法把“缺失”变成空洞的位置。
林溯把手从乳突骨上拿开，站起来，走出石棺，回到观测廊。
地平线上，十字还在。暗点还在。旁边的空洞还在。但今天那个空洞的边缘变了。它不再空，不再定，不再清楚，不再稳，不再亮，不再展，不再缩，不再停，不再沉。它独立了一点。极轻，极细，像是系统试图用“少了一个”来反向圈定它，但它不在任何减法里。系统找不到基准线，就算不出差额。算不出差额，就无法把它圈在“缺失”里。它只是独立了一点，独立到系统找不到的地方，独立到因果之外，独立到不需要被差额定义的位置。
林溯回到石棺，取出一张空白石英片。这一次他不刻字，不刻坐标，不刻波形，不刻十字，不刻点，不刻空洞，不刻磨损，不刻空表单，不刻空的形状，不刻标签之外的位置，不刻系统找不到的边界，不刻不可假设的位置，不刻不在假设环境里的位置，不刻悖论，不刻互为不可见之外的位置，不刻不可登记不可见的位置，不刻不可统计为互为不可见的位置，不刻不可归属于目录的位置，不刻不可不完整的位置。他刻的是因果之外。一个不在任何加减法里的位置，一个无法被计算为差额的空，一个系统连“因为缺少所以存在”都无法赋予的位置。
他刻得很慢，手动，离线，一次一帧。刻完，他把石英片取出来，没有贴回乳突骨，没有放进数据钉，没有交给任何人。他只是把它握在手里，让玻璃贴着皮肤。
那块因果之外的位置，在掌心慢慢变暖。它什么都没有。只是一块玻璃，内部有一条被手动刻出来的、不在任何加减法里的轮廓。像一张没有被登记过的空，放在口袋里。
终端最后一次震动。是岑晚。她没有发报告，没有暗号，没有字数。她只发了十二个字：
“不少，也不被少为一种缺失。”
林溯看着这十二个字。他把终端扣在桌上，把手从乳突骨上拿开，放进外套口袋，握住那支旧铅笔。然后他站起来，走出石棺，回到观测廊。
窗外的冯·卡门撞击坑的黑依然完整。地平线上的十字依然极淡，极稳。暗点旁边的空洞，比昨天更独立了一点。它没有光，没有暗，没有量。它只是一个不在任何加减法里的位置。系统试图用差集算出它，但它不在任何加减法里。系统找不到基准线，就算不出它。它只是独立在那里，空着。
林溯回到石棺，把门带上。黑暗里，LED灯没有亮。刻录机没有响。债表页脚停着三行字：“不改”“在，仍然在”“非在，未定义。已登记。”下方是“假设状态化方案：全局生效。来源：所有位置。状态：执行中。系统建议：继续。”再下方是“反向推演结果：系统与空洞互为不可见。系统无法引用空洞，空洞无法引用系统。状态：已确认。系统建议：接受。”再下方是“Mutual-Invisible字段已生成。适用范围：所有与系统互为不可见的对象。空洞自动附加。状态：执行中。系统建议：继续。”再下方是“Mutual-Invisible统计进度：11.3%。来源：所有与系统互为不可见的对象。空洞未计入。原因：Mutual-Invisible字段未附加于空洞。状态：执行中。系统建议：继续。”再下方是“目录完整性检测：失败。原因：Mutual-Invisible统计对象总数不完整。空洞归属已确认。空洞未计入。系统建议：承认目录不完整。状态：执行中。”再下方是“Incomplete-Type字段已生成。适用范围：所有目录、所有对象、所有未计入项。空洞自动附加。状态：执行中。系统建议：继续。”再下方是“差集计算结果：1。系统总数：不可知。系统无法计算绝对值。原因：目录基准线缺失。系统无法进行减法。系统建议：放弃差集计算。”
那枚0.3的墨点旁边，那枚无法被定义的暗点旁边，那个被38次非在磨出来的空洞旁边，那块由无数个空动作共同留下的空位置旁边，那个被系统试图贴上 Null-Type 标签却不在可空字段列表里的空白旁边，那个系统找不到边界的空洞旁边，那个系统无法假设的位置旁边，那个系统无法裹上假设环境的空洞旁边，那个系统推演它不存在但它确实在的位置旁边，那个系统试图让它接受互为不可见却接受不了的位置旁边，那个系统试图登记它与系统的关系却登记不了的位置旁边，那个系统试图把它计入统计目录却计入不了的位置旁边，那个系统试图承认它属于目录却归属不了的位置旁边，那个系统试图给它附加 Incomplete-Type 却附加不了的位置旁边，那个系统试图用差集算出它却算不出的位置旁边，安静地待着。
它没有被预附加。没有被登记。没有被索引。没有被归档。没有被忽略。没有被接受。没有被互为不可见。没有被 Mutual-Invisible。没有被计入。没有被归属。没有被不完整。没有被算差。它只是独立在那里。独立到系统找不到的地方，独立到因果之外，独立到不需要被差额定义的位置。
系统可以把空变成类型。可以把空变成属性。可以把空变成背景层。可以把空预附加到所有可能的未来上。可以把空扩展为无限假设。可以把假设变成全局环境。可以把忽略变成一条逻辑推演。可以把互为不可见变成一种接受。可以把“互为不可见”登记为可索引字段。可以把互为不可见对象统计成目录。可以把目录不完整变成一种承认。可以把“不完整”变成可索引状态。可以把缺失变成差集。但它无法给一个不在任何加减法里的位置贴标签。那个位置不在系统里。它只是在。它只需要空着。
而那个空着的位置，在系统的每一次因果推演之后，都会比之前更独立一点。更静一点。更像一个它自己独立在那里的、不在任何加减法里的、无法被差集圈定的空。
它不在因果里。
它不需要在。
它只需要空着。
而这一次，系统无法把“缺失”变成它的位置。
系统已经放弃了差集计算。
它算不了它。
它只能继续放弃。
而在系统放弃差集计算的地方，那个空洞，安静地独立着。
它不被算差。
它不被缺失。
它只是空着。
