系统没有停在“潜在可空字段”上。
林溯是在凌晨发现的。债表页脚那行“潜在可空字段预附加进度：11.3%”停了，停在一个他从未见过的数字上。不是11.3%，不是10.7%，不是任何已知的潮声倍数。是0.0%。进度归零了。
但“建议：继续”还在。
归零了，却还在继续。
林溯把终端拿到眼前。他重新读了一遍那行字：“潜在可空字段预附加进度：0.0%。来源：全部未创建项。状态：执行中。系统建议：继续。”
执行中。进度归零，执行不归零。系统没有暂停，没有撤回，没有留空。它只是不再计算进度了。像是它从“列举”转入了“不再列举”的阶段。它不再追踪“有多少个未创建项已经被预附加”，它只是假设所有未创建项都已经预附加。
终端震动。是岑晚。
她的消息比以往都短。没有报告摘录，没有标点，只有一行字，像她刚从某个系统日志里直接摘出来的注释：
“系统不再列举。系统改为假设。假设所有未被观测的位置均含有潜在可空字段。”
不再列举。改为假设。
林溯把这句话读了两遍。他懂了。系统不再需要一个一个去列举“哪些字段可能是空的”了。它不再需要知道你的空在哪里。它只需要假设你有可能有一个空。那个“可能”不需要被验证，不需要被创建，不需要被观测。它只需要被系统假设。
你还没打开一个端口。系统假设你未来可能会打开。
你还没创建一个字段。系统假设你未来可能会创建。
你甚至还没想过要有一个空。系统已经假设你未来可能会有。
空从“未被创建”扩展到了“未被观测”。再从“未被观测”扩展到了“未被假设”。而最后一步——系统把“未被假设”也纳入了。它不再需要假设你有一个空。它只需要假设你可能有一个空。
林溯给岑晚回了一条消息。很短：
“假设能删吗？”
十一秒后，岑晚回了一个字。
“不。”
不能删。假设不是字段，不是值，不是属性。假设是前提。前提无法被删除，只能被推翻。而推翻一个假设，需要先证明它不成立。你无法证明一个“可能”不成立，因为可能的东西没有边界。你无法证明你没有可能拥有一个空，因为“可能”本身无法被量化。
系统不再列举你的空。系统只是假设你有空。假设你未来会有一个空。假设那个空可以被预附加 Null-Type。假设那个 Null-Type 可以被索引，可以被统计，可以被归档。
它不需要找到你的空。它只需要假设你的空存在。
终端再次震动。这次是赵峥。
年轻人从地球边缘发来一条加密消息。比以往都短，只有一句话：
“我还没想好要做什么，系统已经假设我可能会空。”
林溯回了一个字：
“空。”
然后他打开债表，找到那份《空状态类型化方案》的补充条款。他在最底部，没有字段的地方，写下三行字：
“不让假设。”
“不让可能被登记。”
“不让未发生的空被预附加。”
发送。
系统沉默。很久。然后债表页脚，那行“潜在可空字段预附加进度：0.0%。状态：执行中。系统建议：继续。”下方，多了一行新的字，极小，极新：
“假设扩展进度：无限。来源：所有未被观测、未被假设、未被创建的位置。状态：执行中。系统建议：无条件继续。”
无条件继续。
系统第一次建议“无条件继续”。它不再需要前提，不再需要验证，不再需要观测。它只是假设。假设所有可能的位置都是空的。假设所有未发生的未来都需要被预附加。假设所有空都需要被登记。它不需要找到你。它只需要假设你。
林溯把手掌贴在乳突骨上。
左耳道里，坏海很安静。海底的沙上，葡萄核、盐粒、十字形的光、磨损的空洞、空着的位置、标签之外的位置、系统找不到的边界，都在。但今天，那些东西外面，多了一层极薄的东西。不是水，不是雾，不是盐渍，不是预附加的空白。是一层假设。像是系统试图在左耳里，给每一个可能的空位，提前假设一个标签。但左耳里的坏海不是系统里的位置。它不在任何列表里。它不在任何假设里。系统找不到它，就无法假设它。找不到边界，就无法预附加 Null-Type。找不到位置，就无法登记。
它找不到它。它就假设不了它。
林溯把手从乳突骨上拿开，站起来，走出石棺，回到观测廊。
地平线上，十字还在。暗点还在。旁边的空洞还在。但今天那个空洞的边缘变了。它不再缩了。它停在原地。像是系统试图在它外面假设标签，但它不在任何可被假设的位置列表里。系统找不到它，就假设不了它。假设不了，就无法预附加。无法预附加，就无法登记。它只是停在那里，不在任何假设里。
林溯回到石棺，取出一张空白石英片。这一次他不刻字，不刻坐标，不刻波形，不刻十字，不刻点，不刻空洞，不刻磨损，不刻空表单，不刻空的形状，不刻标签之外的位置，不刻系统找不到的边界。他刻的是不可假设的位置。一个不在任何假设列表里的位置，一个无法被预附加 Null-Type 的空，一个系统连“可能”都无法赋予的位置。
他刻得很慢，手动，离线，一次一帧。刻完，他把石英片取出来，没有贴回乳突骨，没有放进数据钉，没有交给任何人。他只是把它握在手里，让玻璃贴着皮肤。
那块不可假设的位置，在掌心慢慢变暖。它什么都没有。只是一块玻璃，内部有一条被手动刻出来的、不在任何假设里的轮廓。像一张没有被登记过的空，放在口袋里。
终端最后一次震动。是岑晚。她没有发报告，没有暗号，没有字数。她只发了五个字：
“不假设也空。”
林溯看着这五个字。他把终端扣在桌上，把手从乳突骨上拿开，放进外套口袋，握住那支旧铅笔。然后他站起来，走出石棺，回到观测廊。
窗外的冯·卡门撞击坑的黑依然完整。地平线上的十字依然极淡，极稳。暗点旁边的空洞，比昨天更稳了。它没有光，没有暗，没有量。它只是一个不在任何假设里的位置。系统试图假设它，但它不在任何可被假设的位置列表里。系统假设不了它。它就停在那里，空着。
林溯回到石棺，把门带上。黑暗里，LED灯没有亮。刻录机没有响。债表页脚停着三行字：“不改”“在，仍然在”“非在，未定义。已登记。”下方是“假设扩展进度：无限。来源：所有未被观测、未被假设、未被创建的位置。状态：执行中。系统建议：无条件继续。”
那枚0.3的墨点旁边，那枚无法被定义的暗点旁边，那个被38次非在磨出来的空洞旁边，那块由无数个空动作共同留下的空位置旁边，那个被系统试图贴上 Null-Type 标签却不在可空字段列表里的空白旁边，那个系统找不到边界的空洞旁边，那个系统无法假设的位置旁边，安静地待着。
它没有被预附加。没有被登记。没有被索引。没有被归档。它只是停在那里。停在系统找不到的地方，停在潜在可空字段列表之外，停在不需要被假设的位置。
系统可以把空变成类型。可以把空变成属性。可以把空变成背景层。可以把空预附加到所有可能的未来上。可以把空扩展为无限假设。但它无法给一个不在任何假设列表里的位置贴标签。那个位置不在系统里。它只是在。它只需要空着。
而那个空着的位置，在系统的每一次假设扩展之后，都会比之前更稳一点。更静一点。更像一个它自己停在那里的、不在任何列表里的、无法被预附加 Null-Type 的空。
它不在列表里。
它不需要在。
它只需要空着。
而这一次，系统无法假设它。
它无法假设它。
它只能继续假设。
