“甲类入口已核。”他用铅笔轻轻敲了敲栏头，“这就是公开允许从这里读正文。引用栏可以写已形成。”

弥娅把笔尖从引用栏上方挪开，手指没有越过透明片的边缘。

“你能说清楚是从哪里进，能说清楚已经有哪一段正文吗？”

柜管看着栏头。“入口都已经核了，还要什么？”

奥莉塔从阅览台取来同版独立副本。她用小石压住下边，指向入口标记旁的附注：“入口类别只说明公开查询路径。正文引用按公开对象标记、目录族主号段、入口类别、引用尾码和正文适用期分别提供或核验。”

“分别。”弥娅把附注重读一遍，“路径已经可走，不代表路上那一张纸已经可以进证词。”

柜管将第一组释例推到台面中央。入口类别已核，入口生效期已提供，公开对象和目录族主号段也各自有局部结果。引用尾码未形成，正文适用期未提供。

柜管指着甲类标记。“入口、对象、段位都在。尾码只是一个小结尾，适用期可以按入口生效期来读。”

“入口生效期是入口层的日期。”弥娅在三个栏之间画出断线，“正文适用期是正文条件的日期。同一天可以出现在不同轴上，它不会为未形成的尾码生成一段适用期。”

奥莉塔指向对象栏。“对象已提供也只说明公开对象标记有结果。没有尾码和适用期，不能把对象栏变成一段可引用正文。”

赛芙琳将拘捕令副本放在引用栏外。“公开监督可以证明这几个栏在同一时段被核对，不能证明它们已经在正文条件里闭合。”

弥娅在第一组释例后写下“路径已核≠引用已成”。她没有把入口生效期拉进正文适用期，也没有用对象名称的数字尾部替尾码。

柜管将第二组释例推了过来。这一行的正文引用已提供，主号段和引用尾码均按条件核验，正文适用期已登记，入口类别却是空白。

“引用都写好了。”柜管说，“空白入口不影响已经有的正文。按主号段回去，就能知道这段是从哪条路进来的。”

“不能。”弥娅按住他准备移动的纸角，没有触及旁边的透明片，“正文已提供，只说明引用栏有结果。它不告诉我们结果来自哪个公开入口。主号段和尾码同样只在自己的条件内有效，不会替空白的入口栏落名。”

“适用期已经有了。”柜管不甘心，“日期和引用都在，路径还要单独证明？”

“要。”赛芙琳说，“正文条件的日期只回答适用时间。它不回答公开入口，也不回答已提供的正文是否可以与当前路径同项。”

弥娅在第二组释例下方写下“引用已成≠入口已定”。她的腕内忽然发热，草纸上的字像被看不见的线拉到一起：“入口已经形成正文”。“形成”两个字的第一笔已经压出深痕。

柜管把两组释例并排推齐，纸边在台面上发出一声轻响。“那入口状态、正文引用状态和查询凭据状态，究竟要写几次？”

“写各自的状态。”奥莉塔从独立副本上抄下三行，“入口已核，只说明路径；正文待补全，只说明正文条件还缺一项或几项；查询凭据未形成，只说明当前公开条件没有闭合。三行可以同时出现，不能因为第一行有结果，就把后两行改成已形成。”

柜管指着“待补全”。“待补全不就是快有了吗？把入口类别抄进去，至少能说明缺的是什么。”

“只能说明路径可能是待查方向。”弥娅说，“缺的是尾码，还是正文适用期，还是同项对象条件，必须由对应栏位自己回答。把甲类写进正文栏，等于先替空白决定它缺什么。”

赛芙琳翻开申请夹的空白页。“监督意见可以列出未闭合的栏位，但不能把‘待补全’改成‘入口已覆盖’，也不能把查询凭据的结果写成正文内容。”

弥娅把三行抄成一张小矩阵：左边是入口，中央是正文，右边是凭据。她在第一行写“已核—未形成—未形成”，第二行写“未提供—已提供—待补全”，第三行写“已核—已提供—来源待核”。每一行之间都留着一条不相连的空隙。

“这张表没有告诉我们哪一段正文。”柜管说。

“它本来就不该告诉。”弥娅说，“它只告诉我们哪几个问题还不能合并。等问题被各自回答，才有资格问它们是不是同一条证据链。”

奥莉塔在矩阵底部加上“不得跨栏改写”。弥娅看着那句，手腕的热意慢慢退下去。她没有因为三行看起来整齐，就把空白涂成同一种灰色。

柜管问：“那公开副本上要写‘未形成’，还是写‘待补全’？”

“看它回答哪一种问题。”赛芙琳说，“正文条件缺一项，是待补全；当前这组入口、对象、尾码和适用期没有组成同项凭据，是未形成。两个词不能互换，不能因为看起来都像空白，就把缺项改成失败，或把未形成改成只差一笔。”

弥娅在矩阵外添了一条细线，将“字段状态”和“交叉结果”分开。“这条线可以让下一班的人知道要补哪一栏，却不许他们把补栏动作写成正文已经存在。”

奥莉塔点头，把细线末端标成“公开条件待核”。柜管没有再把入口代码抄进正文栏，纸面上第一次留下了一个不替任何字段说话的空格。

弥娅翻过铅笔，把那两个字擦掉，却留下“入口”旁的半个符号。残笔像一根只能指向方向的箭头，不能指向内容。

奥莉塔在两行之间加上“入口条件”和“正文条件”两个框，中间又留下“同项相容”格。“空白不是错误。空白说明这一条线还没有出现。”

第三组释例的入口类别和正文引用都有结果。公开对象来自甲组，主号段来自乙版，引用尾码来自丙期，正文适用期则来自丁组条件。四个日期只相差一个数字，两个尾码却是同形。

柜管松了口气。“差一个数字，可以当成误差。入口又是同一个甲类，总不能因为日期不同就不让引用成立。”

“日期只差一个数字，就已经不是同一个时间。”弥娅说，“甲组对象、乙版段位、丙期尾码和丁组适用期没有同项条件。同形尾码只能证明它们的形状相同，不能让不同来源互相开门。”

赛芙琳将拘捕令副本翻到空白页。“引用条件未闭合。不写正文，不写书写人，也不写办理日。”

她在程序材料侧写下这句话，笔尖停在“未闭合”后。弥娅没有要她把“入口不认引用”写进正文栏，只将那根半个箭头残笔框在矩阵外。

柜管把申请夹又推近一点。“这样就连公开引用也不能查？”

“只能暂缓。”弥娅说，“路径不是正文，正文也不是路径的回声。在对象、段位、尾码和适用期同项之前，我们不能把空白当成可读的那一段。”

柜管收回申请夹，奥莉塔将三组释例收回原位。只有那张“入口条件—正文条件—同项相容”矩阵留在台面上。

翻页声里，透明片下露出句首：“正文引用可核时，查询凭据……”后面的字仍被叠卡片压住。

弥娅没有调灯，也没有把透明片往旁边推。

“下一次查查询凭据。”奥莉塔说。

弥娅把铅笔放在入口条件、正文条件和同项相容三个格之间。“先确认凭据回答的是哪个问题。它可以把路引到门口，但不能替我们说门后有谁。”

台面的空白仍在，可纸上那根半个箭头已经不再指向正文栏。它只指向下一个问题：凭据到底能证明什么。

————————————

如果喜欢本章，欢迎收藏、投月票和打赏支持，谢谢啦！