止查线

关键词：止查线；补线迟滞；未出现声明；放行依据；最低设备清单

一、同一个读数，第二个问法

现象不必重述：撮合、结算、核验的单位成本持续下降，而中介被撤换的频率同时下降。本栏已经问过一次这个读数，落点在起点——各方的账从谁那里算起。本文换一个落点。

换落点的理由不是求新，是上一次留下了一个说不通的地方。若中介的地位只来自"起算处"，那么在那些根本不涉及跨方记账、没有历史账目需要衔接的场合，中介的地位就该随成本下降而下降。实际不然。一次性的、无留痕的、双方此后不再往来的交易里，中介照样在，而且照样难以被绕过。这说明还有第二条来路。

第二条来路藏在一件所有人每天在做、而没有人当作一件事来记的动作里：放行。

任何一次放行，其依据都由两块拼成。一块是"查到了什么"——这一块可见、可计价、可外包，技术进步削的正是它。另一块是"查到哪里为止"——超出这条界线的部分，一律按"未出现"处理。这一块不可见，因为它的内容是没有发生的事；它也没有价格，因为不查是不花钱的。

于是有了一个反常的结构：成本下降使第一块变薄，第二块的相对份额随之变厚；而第二块的内容由一条界线决定，界线由某一方持有。

更要紧的是，成本下降还有一个直接后果被普遍忽略：它扩大了可查的范围。十年前查一次要三天、要一笔钱，因此不查是合理的；今天查一次要三秒、几乎不要钱，"不查"就不再是能力问题，而成了一个必须被明文承认的选择。可查范围一扩大，旧的界线就悬空了——它原来对应的是能力的边缘，现在什么也不对应，必须重画。

而重画不是自动的。它需要一次决定、一份文本、一个负责的位置。从"某一项变得可查"到"界线把它明文纳入或明文排除"，中间有一段时间。本文把这段时间当作核心读数，并主张：中介在这段时间里是唯一有权说"其余按未出现处理"的位置，这就是它的地位来源。

本文选三个与商业毫无关系的领域来撞这件事。选它们的理由是三本账互不可译：一个算的是一袋血与一个人相不相容，一个算的是一段关系里的处理见不见效，一个算的是一架航空器能不能合法起飞。三者的失败分别是溶血与血栓、脱落与毫无变化、失去适航与坠毁。而恰恰是这三本账，在同一个地方各自留了一件东西：一份写明"哪些不必查、缺哪些仍可放行、到哪里算完"的清单。

二、三家：三条互不相容的单因主张

2.1 输血：结局只由相容性判定决定

输血医学的主张可以写成一句判断：一次输注成不成，只由这一袋与这个人相不相容决定，与这袋血本身的质量无关。一袋各项指标完美的血，输给一个带有相应抗体的人，会溶血；一袋接近效期的血，配型相合，安全。质量与结局之间没有直接通路，判定与结局之间有。

这条主张有一个刺眼的推论：判定是一次分类动作，不是一次测量动作。它不问"多好"，只问"算不算同一类"。

它的动力式：受血者已经显露的抗原与抗体状态与输注的条件场（库存、时限、可得血源）长期不容，于是配血的组织路径改变——查哪些系统、用什么试剂、查到哪一步为止。这一改变回过头去改了"什么被看得见"，也改了库存周转与备血制度。下一轮先动的，是抗体筛查试剂的谱系。

它自曝的那一处，是核心工艺而不是边角案例：未检出即相容。人类红细胞抗原有三百多个，分属四十余个血型系统，常规配血只匹配 ABO 与 RhD，其余靠一次抗体筛查；筛查阴性即放行。筛查用的谱细胞覆盖不了全部抗原，某些抗体的效价会随时间落到检测限以下（这在教科书里有专名，叫抗体消退），而制度仍然按"未检出"放行。与此配套的还有最大手术备血量表：明文列出哪些手术不必交叉配血、只做血型与筛查。拿掉这两条，血库交不出常规发血。

2.2 精神分析：见效只由移情的处理决定

精神分析的主张同样是单因的：治疗见不见效，只由移情的处理决定，与解释是否正确无关。一个在内容上完全准确的解释，在移情尚未被处理时给出，会被病人当作攻击；同一句话在另一个时点给出，才起作用。这不是技巧问题，是这门学问的核心断言。

它的动力式：治疗的路径组织与治疗关系所处的条件场长期不容，于是症状与移情实际显露的样子改变。这一改变回写关系的条件（信任、依赖、对抗），也回写路径（频率、解释的深度）。下一轮先动的，是"设置"——时间、频率、费用、场所这一套外在安排。

它自曝的那一处，直接写在题目里：分析什么时候算完，没有内部判据。一九三七年的《可终止与不可终止的分析》把这件事挑明：分析在原则上没有自然终点，实务上必须停在某处，而停在哪里由分析之外的东西决定。与此配套的是负治疗反应——病人在正确的解释之后反而恶化。这一家自己承认：它的产品有没有做完，不能由它自己的账本判定。

这是本文最需要的一件东西：一门学问明文承认，它的"到此为止"是一条从外面加进来的线。

2.3 适航：能不能飞只由与批准状态的一致决定

航空适航的主张最反直觉：一架航空器能不能合法起飞，只由它与已批准构型的一致性决定，与它当前物理状态的好坏无关。装上一个性能更好但未获批准的零件，飞机不适航；缺一个在清单上允许缺的设备，飞机适航。这不是官僚主义，是这门学问的地基：安全不是由"当前看起来怎么样"保证的，是由"它与一套经过验证的状态是否一致"保证的。

它的动力式：航空器实际显露的构型与状态，与它被批准、被改装、被维修的次序长期不容，于是它赖以合法运行的条件场改变——适航状态、放行依据、指令的效力范围。这一改变回写"何为完好"，也回写批准与维修的次序。下一轮先动的，是最低设备清单上的条目。

它自曝的那一处，是本文全部材料里最要紧的一件：最低设备清单。它明文列出哪些设备可以坏着、缺着而仍准许放行，并对每一条附上使用条件、限制与修复期限。与之并列的还有构型偏离清单，管的是缺一块整流罩这类外形项。没有这两份清单，航空公司交不出日常放行。

请注意它与前两家的差别：前两家的"不必查"藏在惯例里，这一家把它写成了一份可以被清点的清单，并且规定了每一条的有效期。

2.4 三家为什么不能相安无事

三条主张不能同时为真。输血把决定权交给一次分类判定，它不认过程——处理得多细致，配型不合仍然溶血。精神分析正相反，它把决定权交给过程中的关系处理，并明说内容的正确性不决定结局。适航又不同，它把决定权交给与一套已经被批准、写死在文件里的状态的一致性，既不认当下的分类判定，也不认过程的好坏。

一句话概括：决定性的东西究竟是一次当场的分类、一段关系的处理、还是与一份既定文本的一致。三家各执一端，谁也说服不了谁；而它们在争执之下，都踩在同一块地上。

2.5 三家的核心判断句与出处

三家都主张"只有我这条是决定性的"，没有一家说"这是其中一个因素"。这是本文选它们的理由，也是它们无法调停的原因。

三、三家共同假定了什么

把三家的争执写成同一个句式：三家争的是"可以停下来放行"这件事该由谁裁定。输血说由一次相容性判定裁，精神分析说由移情的处理裁，适航说由与批准构型的一致性裁。

争执之下的共同假定，不在"由谁裁"那一层，而在更靠底的一层：

"没有发现问题"与"没有问题"之间的距离，由检查能力决定。

换句话说，能力提高，两者的距离缩小；能力足够高时，两者重合。驱动方向被当作给定的——从能力指向可靠性，单向。

三家都没有把这句话说出口，因为在各自的账上它显然到不必说。血库改进筛查试剂，是为了让"未检出"更接近"没有"；分析师延长疗程、增加频率，是为了让"看起来好了"更接近"真的好了"；适航当局增加检查项与检修间隔，是为了让"通过检查"更接近"安全"。三本账都在同一个方向上运转：能力越强，声明越可靠。

念给三家听，三家都会说这还用说吗。这正是共有前提的验收标准——会引起争论的句子不是共有前提，是第四家的立场。

这条假定同时支撑着本题上的通行预期：技术进步提高核验能力，核验能力提高使两端可以自行确认，于是居间者失去理由。推理链只有两步，两步都对——只要第一步里的"距离"确实由能力决定。

本文要顶翻的就是这一步。

四、顶翻它的那件材料，来自输血医学自己

顶翻共同假定的材料不能从外面搬。从外面搬一个理由来，得到的只是第四家的立场。它必须是三家之一自己已经掌握、已经写进标准正文、只是从来不往这个方向用的事实。

这件材料是最大手术备血量表与电子交叉配血。

它在输血医学自己的领域里回答的是另一个问题——"怎样在合理的时间与库存条件下安全发血"，而不是"谁的地位强"。但把它的结构剥出来，它说的正是：

检查能力提高之后，规程没有要求把检查范围扩大到能力的边缘，反而明文缩小了必须检查的范围。

这一点值得停一停。电子交叉配血是一项能力上的进步：计算机比对血型记录与抗体筛查结果，几秒钟完成过去需要三十七摄氏度孵育、洗涤、加抗球蛋白试剂的全套操作。按"距离由能力决定"的假定，能力提高之后应当查得更多、更细。实际发生的是相反的事：符合条件者不再做血清学交叉配血。理由不是省钱，是时限与可得性——急诊用血必须在几分钟内发出，全谱匹配的血在库存里根本不存在。

于是共同假定被自己领域的常规工艺顶翻：

"没有发现"与"没有"之间的距离，不由检查能力决定，由放行时限与可得性决定。

能力可以无限提高，而只要放行必须在某个时刻发生、而可选对象有限，就必然存在一条"查到这里为止"的线；能力提高只是把这条线移到新的位置，并不消灭它。

顺手可以看到，另外两家各有一件同形的东西，只是同样不往这个方向用：精神分析承认终止的判据在自己账外，因而任何一次结案都是在一条外加的线上停下；适航把这条线写成清单并附期限，因而它是三家里唯一把这条线记了账的一家。三处同形，说明这不是输血医学的怪癖，是一类东西。

五、止查线：定义与四条限定

把这一类东西命名为止查线。

止查线：一次放行所依据的检查范围的外沿。线以内的部分按"查到了什么"处理，线以外的部分一律按"未出现"处理。它不是一次检查结果，是关于检查范围的一项规定。

四条限定，缺一条就不是止查线，只是一次检查不足：

限定一，它是规定，不是能力的边缘。能力的边缘会随技术自动移动，止查线不会——它要被人重画一次才移动。判别方法：问"现在能不能查得更远"，若答案是"能，但规程不要求"，那是止查线；若答案是"不能"，那是能力边缘。本文只处理前一种。

限定二，线以外的部分按"未出现"处理，而不是按"未知"处理。这是最要紧的一条。若线外被记为"未知"，放行就无法完成——放行需要一个确定的依据。制度的解法一律是把"未查"折成"未出现"，从而使它可以进入一个肯定的结论。这一折算不是疏忽，是放行得以成立的条件。

限定三，它必须能被重画，而且重画需要一次明文的决定。自动跟着能力走的不是止查线。重画一次的成本通常很低——修订一份清单、发一版新规程；而不重画的后果分散在所有依赖这次放行的人身上。

限定四，它对应一个可以指名的持有者。谁有权修订那份清单，谁就持有这条线。若无人有权修订、或修订权分散到每一次放行的执行者手上，本文的机制不成立（见第十六节的不适用二）。

四条合起来给出一个反直觉的推论：可查的范围越大，止查线的持有者越重要。因为线以外的部分越大，"按未出现处理"这一声明覆盖的内容就越多，而做出这一声明的权力集中在一处。

需要挡住一种常见误读：止查线不是"检查不够仔细"的另一种说法。检查不够仔细是执行问题，改进办法是加强执行；止查线是规定问题，加强执行不改变它一分一毫——一个把线内每一项都查得无可挑剔的执行者，仍然对线外一无所知，而且他的合规记录会是满分。

还需要与上一篇的那一项分开。起算处管"从哪儿算起"，止查线管"到哪里为止"；一次放行可以同时受两者约束，而它们由不同的人持有、按不同的节奏变动。第十四节给出两者的判定形式。

5.5 四种"没查"，只有一种是止查线

日常语言把很多不同的东西一律说成"没查"。四种要分开，否则第八节的清点会把它们混在一栏里。

第一种，查不了。技术上做不到。此时不查是能力问题，止查线与能力边缘重合，无人持有额外的东西。判别：问"现在能不能查得更远"，答案是"不能"。

第二种，该查而没查。规程要求查，执行者没查。这是执行问题，形式审查会当场发现，改进办法是加强执行。判别：规程文本里有这一项。

第三种，可查而规程不要求查。这是止查线，本文的全部对象。判别：能查、规程没要求、而且执行者的记录是满分。

第四种，没想到要查。该项从未进入过任何人的视野。它不在止查清单上，因为清单只能列出已经被想到的项。判别：找不到任何一份文本提到过它——包括反对它的文本。

四种里，第一种随技术自动消失，第二种靠执行解决，第四种不可枚举（第十五节的第二处约束正是为它写的）。只有第三种既不会自动消失，又不能靠执行解决，而且可以被完整列出。这也是本文只处理第三种的理由。

需要留意的是第一种向第三种的转化：同一项，昨天是"查不了"，今天是"可查而不要求查"，而规程一个字没改。转化发生时不产生任何事件，没有公告、没有会议、没有记录——它只是在某一天悄悄地从一类变成了另一类。这正是补线迟滞开始计时的那一刻，也是它最难被认定的原因（第二十一节的洞二）。

六、放行四步：一条序列，不是一张格

放行不是一个动作，是一条四步的序列。每一步的成本随技术变化的方向不同，这正是本题现象的来源。

第一步，可查范围。在当前技术与预算下，原则上能查到哪些项。成本下降直接扩大它。这一步是唯一被普遍记录的一步——新增的检测项、新上线的核验接口、新的数据源，都在这里。

第二步，止查线。在可查范围之内，规程要求查哪些。它由一份文本规定，不随第一步自动移动。第一步扩大而第二步未动，两者之间就出现一段空隙；这段空隙里的项，可查而不查。

第三步，未出现声明。对线以外的全部项，做出一个统一的处置：按未出现处理。这一步在多数领域没有任何书面形式——它不是一句话，而是一个默认。适航是例外，它把这一步写成了清单。

第四步，放行。依据前三步给出一个肯定的结论：可输、可结案、可起飞、可成交。

四步里，第一步在变便宜，第四步在变快，第二步不动，第三步不可见。技术进步作用在第一、四两步，而地位积累在第二、三两步。这就是为什么每一次成本下降都伴随一次"中介更强"。

把三家放进这条序列，看得更清楚：

第三行的差别是全表最值得看的一行：同一个动作，两家是默认，一家是清单。这说明"未出现声明"可以被记账，而多数领域没有记。

七、第三步的三条签名，与各自的误诊阻挡

一次放行的地位若来自第三步，会同时出现三条签名。三条同时出现才算，缺一条按第一步或第四步处理。每条附一条误诊阻挡。

签名一：全部形式审查都能通过，而且通过得干干净净。未出现声明属实——线外那些项确实没有被发现，因为压根没查。任何一次合规检查都会给出满分。

误诊阻挡：若某次放行在形式审查上已经存在瑕疵（该查未查、该记未记），那是执行问题，不必动用本文的框架。

签名二：它的失效不产生任何指向它的信号。线外的项若真的出了问题，问题会显形在别处、别时、别人身上，而且归因通常落在最后接触的那个人头上。没有任何一条记录会写"本次放行的依据里，第 N 项按未出现处理"——除非像适航那样把它写成清单。

误诊阻挡：若失效时能够顺着记录回溯到某一次放行依据，说明该领域已经把第三步记了账，本文的机制在那里退化为普通的责任划分问题。

签名三：它随可查范围扩大而增强，而持有者不必做任何事。每一项新变得可查而未被纳入止查线的项，都替持有者增加一分"我说它未出现"的权力。持有者不需要投入、不需要争取、甚至不需要知道。

误诊阻挡：若地位的增强需要持有者持续投入（游说、排他、独家数据），那是别的机制，不是这一条。

三条合起来解释了本题现象为什么长期没有共同解释：第三步增强的全部外在表现，是一组正在变好的数字加上一份满分的合规记录。没有任何一份现行报表会在这种时候报警，因为报警需要一栏异常，而这里一切正常。

八、止查清单与补线迟滞：清点手册

本文的主读数不是一个比率，是一份清单。

止查清单：一份逐条列明"本次放行中哪些项按未出现处理"的清单。每条含四栏——项名、可查起始时间、纳入或排除的明文依据（若无，记"无"）、有效期（若无，记"不限"）。

之所以用清单而不用比率，理由是具体的：比率会把"哪几项"抹掉，而本文的全部锋利处正在于是哪几项。一份线外只剩三个冷僻项的清单与一份线外含着当下最常见风险项的清单，比率可以完全相同。适航把这件事做对了——最低设备清单是清单，不是"允许缺失率"。

从清单派生一个可跨领域比较的量：

补线迟滞 Λ：某一项从"变得可查"到"被止查线明文纳入或明文排除"之间经过的时间。至今两者皆未发生的，记为右删失，不得用任何估计值代替。

8.1 清点手册

读数名：止查清单（主）；补线迟滞（派生）。符号：Λ。

定义（含 N 的取法）：以一项在某一时点变得可查为一个观测起点。终点为该项被写入必查范围、或被明文写入止查清单（两者都算"补线"，因为两者都是一次明文决定）。Λ 以月计。全文唯一阈值：Λ 中位数 ≥ 24 个月，判为迟滞显著。该阈值在正文、证伪条款与末节的赌注三处引用同一个数、同一份编码规则。

粒度：一项 ＝ 一个可以被单独规定查或不查的检查对象。边界例：某一类抗体的十七种亚型若在规程中一律作为一个筛查项处理，计为一项；若规程分列，按分列计。同一项在不同放行场景下有不同止查线的，按场景分别计。

编码规则（六条）：

一、"变得可查"以该项的检测或核验手段在本行业内常规可得为准，不以首次实验室实现为准；判定依据须附一份可公开引用的时点材料。

二、"明文排除"必须是一份可引用的文本，口头惯例不算；找不到文本的，记为未补线，不得因"大家都知道"而计入已补。

三、纳入必查与明文排除都算补线，二者不区分——本文关心的是这条线是否被重画，不是重画的方向。

四、同一项被反复讨论而未形成文本的，仍记为未补线；讨论次数另栏记录，不进 Λ。

五、右删失不得插补。含删失的样本，须同时报告删失比例。

六、清点者与止查线的持有者不得为同一方；无独立清点者的读数须标注"自报"。

表头：项名｜可查起始时点｜依据材料｜补线时点｜依据文本｜Λ（月）｜是否删失｜清点者｜自报与否。

不适用：一、可查范围未扩大的时期，Λ 无定义；二、止查线的修订权分散到每一次放行的执行者手上时，无单一持有者，Λ 不可归属；三、该领域已把未出现声明逐条记账并附期限的（如适航），Λ 仍可计，但本文关于地位增强的主张在那里不成立——它已经被记账了。

8.2 它与既有主要指标的关系

一个新读数最容易白造的死法，是与既有主要指标高度相关，于是被读成那个指标的代理。本文据此做了一次强制检验：举一个"既有指标最好看而这个数最难看"的真实例子。

举得出来。第九节的数据里，迟滞最长的那个包（113.4 个月，将近十年）是一个使用极广、维护记录完整、发布频繁的包；而迟滞为零的那一批里，有若干个在任何流行度榜单上都排不进视野的小包。按下载量、按依赖数、按维护活跃度排序，前者都在前列。Λ 读的是重画的时点，不是质量、规模或活跃度。

反过来的例子同样存在：一个几乎无人使用、多年未更新的项目，可以在字段可用的当月就把它填上，Λ 等于零。

需要诚实说明的一处：第九节实测的 Λ 与活跃度之间存在一个弱的负相关（秩相关 −0.269），因此不能主张 Λ 与维护强度完全无关，只能主张活跃度只解释其中一小部分。这一处已经削掉了本文原本要写的一句更强的话，见第九节。

九、一次真跑：公开发布记录上的预注册检验

9.1 选这份数据的理由

需要一件"某一项在某个明确的时点变得可查、而各方各自决定何时把止查线重画"的公开记录。软件包的发布记录满足这个条件：从某一版安装器起，一个包可以声明自己不适用于哪些解释器版本；在此之前，"未声明"与"无限制"不可分；在此之后，"未声明"就是一次明文的止查线选择——按未出现处理，即视为对全部版本都没有限制。

这不是本题的商业场景，正是它的用处：它给出一个止查线重画权高度分散的基线。本文的机制说的是重画权集中时会怎样；一个分散基线，恰好能让"集中"这件事有个比较对象。

9.2 预注册（原文照录）

样本：141 个写死的常用包。观测项：解释器版本约束字段。可查起始时点定为 2016 年 11 月 1 日。

变量：该包在起始时点之后的首次发布日期，记为起点；该包首次带非空约束字段的发布日期，记为补线点；Λ ＝ 两者之差，以月计；至今未设者记为右删失。活跃度 ＝ 起始时点之后的发布次数除以该期间年数。包龄 ＝ 首次发布至今的年数。

四条假设与阈值：H1，Λ 的中位数 ≥ 24 个月；H2，至今仍未补线的包占比 ≥ 20%；H3，Λ 与活跃度的秩相关绝对值 ≤ 0.30；H4，Λ 与包龄的秩相关绝对值 ≤ 0.30。

补充读数：12.2% 的包在起点后一个月内就补了线（Λ 近于零）；四分位跨度从 14.7 月到 45.8 月，跨度三倍以上；未补线的两个包，其发布活跃度中位数为每年 3.04 次，而已补线者为 5.77 次。

9.4 三处不利结果，以及它们改了本文的什么

不利结果一：H2 判伪，而且差得很远。本文原本打算写下的话是"止查清单上的条目会长期留在清单上，成为一种常设的权力"。实测是：将近十年之后，141 个包里只有 2 个仍未补线。止查线终究会被重画。本文据此把主张整个改写：本机制不是一个永久机制，是一个迟滞期机制。它解释的是"从可查到补线之间那段时间里发生了什么"，不解释长期均衡。适用范围因此大幅收窄，这是本文被削得最狠的一处。

不利结果二：迟滞与维护强度并非无关。Λ 与活跃度的秩相关为 −0.269，虽在预设阈值之内，但显著。这削掉了本文原本要写的"迟滞与有没有人维护无关，是结构性的"。改写为：活跃度解释了迟滞的一小部分，主体不由它解释——把 −0.269 折成解释力，不到百分之八。

不利结果三：分布极宽，中位数不是一个有代表性的数。四分位跨度 14.7 至 45.8 月，最大值接近十年，同时有 12.2% 的样本近于零。这意味着"补线迟滞"在重画权分散的场合是一个高度异质的量，用中位数概括会掩盖两端。本文据此在第八节的清点手册里写死：报告 Λ 时必须同时报四分位与删失比例，只报中位数的读数不予采信。

9.5 这一跑能支持什么、不能支持什么

能支持的：在重画权分散、单次补线成本极低（改一行元数据）、且补线对补线者自己有直接好处的条件下，中位迟滞仍然超过两年。这是一个基线：如果连最便宜、最有利、最分散的情形都要两年，那么在重画需要一次正式修订、且补线会削弱补线者自己权力的场合，迟滞只会更长。

不能支持的：这份数据里，止查线的持有者与补线的受益者是同一方（包作者自己），而本文的机制说的正是二者分离的情形。这份数据无法检验本文的核心机制，只能给出它的下界。这是本次真跑最诚实的一句话，也是它的全部价值所在——它把一个原本只是修辞的"迟滞"变成了一个有量级的东西：两年，不是两周。

由此得到一条可以直接去做的对照检验，列为第十七节的 F5：在重画权集中、且补线会削弱持有者权力的领域，Λ 的中位数应显著高于 25 个月。

跑不动的那一条，本身是本文的第三层主张：在绝大多数领域的放行记录里，没有任何一栏列明"本次放行有哪些项按未出现处理"。这一栏不是不可计——航空业算了几十年，并且按条附了期限——是没有人被要求计。

9.6 一份真实的止查清单长什么样

本文主张"把它写成清单"，而不是"缩小它"。要让这个主张不停留在口号上，得看一份真实的清单。航空放行用的那一份，结构如下：

它按系统分章，每一条给出五件东西：设备名称与编号；机上装机数量；放行所需的最低数量；使用限制与条件（例如"仅昼间目视条件下"）；修复期限（按类别分为三日、十日、一百二十日等）。此外每一条还常附两段程序——运行程序与维修程序，分别写明放行后机组该怎么做、地面该怎么做。

四件事值得从中抄走：

第一，它列的是名目，不是比例。没有任何一处写"允许缺失率不超过百分之几"。这正是本文第八节坚持用清单而不用比率的来处。

第二，每一条都有期限。一项被允许缺着，不是永久的；期限到了必须修复，否则失去放行资格。这一条把"按未出现处理"从一个默认变成了一个有寿命的例外，而多数领域的未出现声明没有寿命。

第三,它是分层的。局方批准一份主清单，运营人在其基础上制定自己的清单，且自己的只能更严不能更宽。止查线的持有权因此是可追溯的——每一条都能问出是哪一层放宽的。第十一节的场景三指出输血也有两级，但那两级的关系没有被写成"只能更严"。

第四，它自己也有迟滞。主清单的修订同样滞后于设备与监控能力的变化，这一点在第十五节被用作第三处反向约束——记账不解决争论，只是把争论搬到看得见的地方。

把这四件与第八节的清点手册对照，可以看出本文的止查清单基本上是这一份清单的一般化：项名对应设备名称，可查起始时点对应"该设备何时开始有替代监控手段"，明文依据对应放行条件，有效期对应修复期限。本文没有发明一种新格式，只是指出这种格式在一个行业里用了几十年，而其余领域连一栏都没有。

十、十五处兑现

一、输血。止查线是常规配型的范围。预测：分子分型成本下降最快的时期，常规配型必查项数的增加最少。

二、航空放行。止查线已成清单。预测：最低设备清单的条目数不随机载监控能力提高而减少，反而因新增可监控设备而增加。

三、精神治疗结案。止查线是"设置"。预测：过程测量工具越普及的机构，其结案报告中列出"未被处理的部分"的比例不上升。

四、食品安全抽检。止查线是检测项目表。预测：可检测农残种类每翻一番，法定必检项数的增幅不足其十分之一。

五、水质保障。止查线是常规监测指标表。预测：新污染物被列入常规监测的迟滞，中位数以年计而非以月计。

六、征信与反洗钱。止查线是基于风险的尽调深度。预测：低风险客户的简化尽调范围，在核验成本下降后不缩小反而扩大。

七、平台内容处置。止查线是"不知情即免责"的知情门槛。预测：自动识别能力提升后，法定的主动审查义务范围不同步扩大。

八、药品不良反应。止查线是说明书上已列出的不良反应范围。预测：新增反应从首次被报告到写入说明书的迟滞，中位数超过两年。

九、二手车与房产交易。止查线是必须披露的瑕疵清单。预测：检测手段进步后，法定必披露项的增加落后于可检测项的增加。

十、医学影像报告。止查线是报告模板上的必描述结构。预测：偶然发现的处置规则的更新，落后于成像分辨率的提升。

十一、学位论文查重。止查线是比对库的范围与阈值。预测：库容扩大后，阈值不下调，反而上调。

十二、建筑竣工验收。止查线是验收项目表。预测：新材料的耐久性项目进入验收表的迟滞，以年计。

十三、软件供应链。见第九节。

十四、保险核保。止查线是必须告知的事项清单。预测：可核查数据源增加后，法定告知义务的范围不同步扩大，而拒赔争议向"未告知"一侧集中。

十五、海关查验。止查线是查验比例与布控规则。预测：非侵入式查验设备普及后，实际开箱比例下降而布控规则的修订滞后。

十五处里，第二、四、五、八、十一、十二这六处可以在现有公开文件上直接去查——都有可引用的清单文本与修订记录。

十一、一句判据，在六个场景里的答案

判据一句，不含程度词，可以拿去问规程、放行记录与修订台账：

这一次放行的依据里，有哪几项是按"未出现"处理的；这几项是谁定下来不必查的。

六个场景，答案互不相同。其中前两个是查出来的，并且反过来改了本文。

场景一，软件包的版本约束字段。答案：按未出现处理的是"对解释器版本的限制"；定下不必查的是包作者自己。查出来的部分改了本文——持有者与受益者同一，本机制无法检验，只能给下界（第九节）。

场景二，同一份数据里的补线时点分布。答案：四分位跨度三倍以上、最大值近十年。这一条改了本文的报告规则：只报中位数的 Λ 不予采信。

场景三，一次常规发血。答案：按未出现处理的是三百余个抗原系统里未被筛查覆盖的部分；定下不必查的是行业标准与本院输血科的规程，两级，且两级的修订节奏不同。

场景四，一次航空器放行。答案：逐条写在清单上，附期限；定下的是局方批准的主最低设备清单加上运营人自己的清单。这是六个场景里唯一一个答案可以直接从记录上抄下来的。

场景五，一次精神治疗结案。答案：按未出现处理的是全部未被带入分析的材料；定下不必查的是"设置"，而设置由治疗者单方面确定，且通常不成文。这里出现一个极端情形：止查线存在、持有者明确，而清单从不存在。

场景六，一笔平台交易的合规放行。答案：按未出现处理的是知情门槛以外的全部情形；定下门槛的是平台自己的规则加上法定的免责条款。这是本题最直接的落点，也是六个场景里唯一一个持有者同时是收益方的。

六个答案互不相同，且其中两个是查出来的、并且改了本文的写法。这是本文对这句判据唯一的验收方式。

十二、一次走完：从可查范围扩大到地位增强

前面各节是分开的读数，这一节把它们串成一条时间线。取一个可以逐年查证的形状：某一类风险从"不可查"到"可查"再到"进入必查"的全过程。

第一段，不可查期。某一类问题在技术上查不出来。此时不查是能力问题，止查线与能力边缘重合，没有人持有任何额外的东西。放行依据里"按未出现处理"的那一块存在，但无人可归责——这一段里，中介与两端处在同一条件下。

第二段，可查而未纳入。检测手段变得常规可得。可查范围外扩，止查线不动，两者之间出现空隙。这一段是本文的全部内容所在。此时发生三件事：一，不查从能力问题变成选择问题；二，谁有权决定不查，谁就获得了一项此前不存在的权力；三，这项权力不出现在任何一份成本表或权力清单上，因为它的内容是"不做某事"。

第三段，空隙被使用。空隙一旦存在，就会被用——不是被滥用，是被正常使用。两端各自都想要更快、更便宜的放行，而止查线的持有者提供的正是这个：它替所有人做出"其余按未出现处理"的声明，从而让放行可以在时限内完成。这一段里，中介的地位增强，而所有人都是自愿的、满意的、合规的。

第四段，补线。在某个时点，止查线被重画：那一项被写入必查，或被明文写入止查清单。第九节给出的基线是：在最便宜、最有利、最分散的条件下，中位迟滞 25 个月。补线之后，空隙关闭，这一项带来的额外权力消失。

第五段，回写与下一轮的发起处换人。补线之后，一件事回过头去改变前几段：必查范围扩大，会使放行的时限压力上升，而时限压力又会催生新的简化条款——最大手术备血量表、简化尽调、免检名单。于是新的空隙在别处打开。同时发起处换人：第二段的发起处是技术供给方（它把某项变得可查），第四段的发起处是监管或标准机构，而第五段的简化条款，发起处通常是止查线的持有者自己。这正是第十七节 F5 的轮次预测：连续三轮的发起处若都是同一方，本文的轮次结构为伪。

这条时间线的可查性。五段里有四段可在公开材料上查：检测手段常规可得的时点（行业指南与设备目录）、止查线文本的修订记录（标准修订台账）、补线时点（新版规程）、简化条款的发起方（修订说明的署名）。只有第三段——"空隙被正常使用"——需要访谈，因为它不产生异常记录。这也是本文全部检验里最贵的一段。

顺带说明为什么本节只是说明而不是证据：它是一条案例线，样本量为一。第十七节的证伪条件要求同一制度环境内的同质单元不少于六个，本节达不到。它在这里只有一个用处——说明四步序列里各步的变化不同步，而不同步的方向是固定的。

空隙期内的收益落在哪里：三种分配

第三段说"空隙被正常使用"，这句话太笼统。空隙期内多出来的那一份收益，实际有三种分配方式，三种可以在账面上分开。

第一种，落在速度上。持有者用这条线换来更快的放行，收益体现为周转率与业务量的上升，而不是价格。这一种最难被察觉，因为它的全部表现都是效率指标变好。判别：同期费率不动而业务量上升，且上升幅度超过市场整体。

第二种，落在价格上。持有者把"我替你声明"这件事定价，收益体现为费率或附加费。这一种最容易被察觉，也最容易招来监管，因此在成熟市场里反而少见。判别：出现一项与实际工作量不对应的收费名目。

第三种，落在责任的转移上。持有者既不加价也不提速，而是把线以外的风险留给两端——出了事，责任落在"你自己应当知道"上。收益体现为一项负债的消失，在任何一份收入表上都读不到。这一种是三种里最常见的，也是本文最关心的，因为它的读数只能从合同条款与事后争议的归因分布里取，而不能从财务报表里取。

三种可以并存，但通常有一个主导。一个可以直接去做的检验：取同一领域内的若干居间者，看它们在可查范围扩大之后的三年里，业务量、费率、免责条款字数这三条曲线分别怎么走。本文预测第三条最陡，因为它不需要与任何人谈判，只需要修订一次格式合同。

这也给出一条与第十八节反噬预言相配的观察：一旦补线迟滞被拿去考核，第三种分配会进一步上升——因为它是三种里唯一不留下正面记录的一种。

十三、与最近的十二种说法的分界

每一条给出出处、它说到哪一步、分离线，以及一条判定形式。

一、第二类错误与"未拒绝不等于接受"（Neyman & Pearson 1933）。它说到：不拒绝零假设不等于零假设为真，检验力有限。分离线：它管的是同一个检验内部的错误率，而止查线管的是哪些检验根本没做；检验力可以通过增大样本改善，止查线不能——它不在样本里，在规程里。判定形式：若增加样本量能使那一类未被发现的问题显形，则第二类错误足够；若无论样本多大都不显形（因为该项不在检查范围内），则本文对。

二、检出限与"未检出"报告规则（分析化学的常规）。它说到：低于检出限的结果报告为未检出，并附检出限数值。这是本题在方法学上最近的一位，而且它做对了一件事——报告未检出时必须同时报告检出限。分离线：检出限是一个能力参数，止查线是一个范围规定；一个实验室可以把检出限压到极低，而仍然只测三种物质。判定形式：若某次未出现声明附有明确的范围说明（测了哪些、没测哪些），则该领域已把止查线记账，本文的机制在那里不成立；若只附能力参数而不附范围，则本文对。

三、删失数据与生存分析（Kaplan & Meier 1958）。它说到：观察期结束时尚未发生的事件是右删失，不可当作未发生。这是最锋利的一位方法学邻居——它已经明确区分了"没看到"与"没有"。分离线：删失处理的是观察时间的截断，而止查线处理的是观察对象的截断；生存分析有一整套方法处理前者，而后者在多数领域连记录都没有。判定形式：若某领域的未出现声明能够被写成一个删失结构（知道哪些被截断、截断在何处），则该领域已把止查线记账；若连"哪些被截断"都无法列举，则本文对。

四、制度神话与脱耦（Meyer & Rowan 1977）。它说到：组织采纳形式结构以获得合法性，实际活动与形式结构脱耦。分离线：脱耦说的是做的与说的不一致；本文说的是做的与说的完全一致——止查线以内的每一项都被认真执行了，声明也属实。判定形式：若某次放行中存在"规程要求查而未查"，那是脱耦；若规程从未要求查，则本文对。这一条把两者彻底分开：脱耦需要一个未被遵守的规定，本文需要一个被完全遵守的规定。

五、审计社会与核查的仪式（Power 1997）。它说到：可核查性本身成为目的，核查活动膨胀而未必带来可靠性。这是本文最危险的一位邻居。分离线：它讲核查的膨胀，本文讲核查范围的不膨胀——止查线的特征恰恰是它在可查范围扩大时按兵不动。两者甚至指向相反的观察：核查社会预测检查项越来越多，本文预测必查项的增长远远落后于可查项的增长。判定形式：取任一领域，比较十年间可查项数与必查项数的增幅；前者与后者同步增长，则核查膨胀成立；前者远快于后者，则本文对。第十节的十五处兑现，全部是这一条的可查形式。

六、偏差的正常化（Vaughan 1996）。它说到：反复出现而未致灾的偏离被逐步接受为正常。分离线：正常化描述的是已经被观察到的偏离如何被重新归类；本文说的是从未被观察的那一部分如何被归类为不存在。判定形式：若某项在事故前有观察记录而被判为可接受，那是正常化；若事故前根本没有该项的任何记录，则本文对。

七、基于风险的方法（反洗钱与合规实务的通行框架）。它说到：按风险等级配置尽调深度，低风险者可简化。这是本题应用领域内部的正主，而且它把止查线写成了制度。分离线：本文不反对这个框架——它恰恰是止查线被明文化的一个好例子；本文问的是它没问的那个问题：风险分级的标准由谁修订、修订滞后多久、滞后期内谁获益。判定形式：若某辖区公布了分级标准的修订台账与滞后时长，则该处已被记账；若只公布分级标准而不公布修订记录，则本文对。

八、重要性水平与合理保证（审计准则的常规）。它说到：低于重要性水平的错报不调整，但须单列汇总。分离线：它做对了单列这件事——这正是止查清单的一个现成范例；但它的单列对象是已发现而不调整的错报，本文的对象是未发现且未查的项。判定形式：若某份汇总表里出现了"未执行的程序"一栏，则该领域已覆盖本文对象；若只有"已发现未调整"一栏，则本文对。

九、通知—删除与知情门槛（网络服务提供者免责的通行制度）。它说到：不知情即免责，知情后须处置。它是止查线的一种法定形式——法律直接规定了"不必主动查"。分离线：本文不评价这一制度的当否，只指出它使知情门槛成为一条由立法者持有、由平台在个案中解释的止查线，而它的重画节奏与识别能力的进步节奏不同。判定形式：若识别能力提升后主动审查义务同步扩大，则该制度自动跟进，本文的迟滞机制不适用；若不同步，则本文对。

十、有限理性与注意的稀缺（Simon 1955）。它说到：决策者在有限的信息与算力下满意即止。分离线：满意即止是个体在能力约束下的策略，止查线是制度对所有人统一规定的范围；前者随能力提高而放宽，后者不随。判定形式：若某人在能力提高后自发查得更多，那是满意即止；若能力提高而规程未改、实际查的范围一分未变，则本文对。

十一、目标置换（Merton 1940）。它说到：手段被当作目的，合规本身取代了合规所要达成的东西。分离线：目标置换需要一个被架空的目的；本文的情形里目的没有被架空——止查线以内的检查确实在保护它所要保护的东西，问题在于线以外的部分从未进入过目的的表述。判定形式：若某项检查的目的已经无人记得而程序照走，那是目标置换；若目的清晰、程序有效、而范围从未随能力更新，则本文对。

十二、上一篇与同批各篇。见下节。

十二条里最危险的三位是第三、第四、第五——一位从统计方法逼近（删失），一位从组织社会学逼近（脱耦），一位从核查制度逼近（审计社会）。把它们与第八条一起摆开，可以看出一个汇聚系列：删失区分了"没看到"与"没有"却只处理时间截断；脱耦看见了形式与实质的分离却要求存在一条未被遵守的规定；审计社会看见了核查的自我膨胀却预测了相反的方向；重要性水平做出了单列的动作却只单列已发现的部分。四位从四个方向逼近同一件事，都差最后一步：没有人问那条范围线被谁重画、重画滞后多久、滞后期内谁获益。本文补的是这一步。

十二位共同站着的那块地

逐个问"它结构性地看不见什么"，判据只有一条：一旦承认那样东西，它自己就塌了。

统计检验把"检查对象已经给定"当作给定，因此看不见对象选取本身的截断；一旦承认，它的全部误差理论都缺一个不在样本里的项。脱耦把"存在一条应被遵守的规定"当作给定，因此看不见规定从未涉及的地带；一旦承认，它的核心对比就没有了两端。审计社会把"核查会膨胀"当作给定，因此看不见范围按兵不动的情形；一旦承认，它的膨胀命题要加一个反向条款。正常化把"存在观察记录"当作给定，因此看不见零记录的情形；一旦承认，它的渐进过程失去了起点。基于风险的方法把"风险等级可事先分级"当作给定，因此看不见分级标准自身的滞后；一旦承认，它的正当性基础要从"科学分级"退到"当前最佳可得分级"。有限理性把"能力约束真实存在"当作给定，因此看不见能力已经足够而规定未改的情形；一旦承认，它的解释力在最富裕的场合归零。

六行背后是同一样被当作给定的东西：

凡是没有被发现的东西，要么是因为不存在，要么是因为能力不够。

这一条不属于某一派，它是互相批判的各派共同站着的地面。第三种可能——存在、能力足够、而规程规定不必查——在这块地上没有位置。本文所说的那条线，正是从这块地面的缝里掉下去的。

十四、与本栏同批各篇的分界

上一篇《起算约》。同题、同批、三门零重叠。两篇的关系是互补而不是竞争：起算处管"从哪儿算起"，止查线管"到哪里为止"；一次放行可以同时受两者约束，而两者由不同的人持有、按不同的节奏变动。判定形式：若某中介的地位在其起算处被替换之后仍不下降、而在其止查线的重画权被移交之后立即下降，则本文对而上一篇不足；若相反，则反之。两读数可并置成一张交叉表：重算比高而补线迟滞短的，是"换不掉但查得全"；重算比低而迟滞长的，是"随时可换但没人知道它没查什么"。

同批的《异至》。那一篇问的是"去中介化如何真正发生、走得出去的次序是什么"，落点在次序的第一步；本文问的是"为什么走不出去"，落点在放行的第三步。判定形式：若在一次成功的去中介化中，两端接手的第一件事是重新画一条止查线，则本文对；若两端接手的第一件事是重建对接次序而止查线原样沿用，则《异至》对。两篇预测的第一步不同，可以在同一次案例上分开。

本栏此前的《填判》。那一篇管的是"不适用"这一格被填进判断的比例，问的是必须回答时的弃权；本文管的是根本没有被问到的那些项。两者的分界在于问题有没有被提出：《填判》的对象已经在表上有一栏，本文的对象连栏都没有。

本栏此前的《缺历》。那一篇处理的是"零的三种来路"在输入端的拦截；本文处理的是"其余按未出现处理"在放行端的声明。前者问一个已经出现的零怎么读，后者问一个从未被采集的项凭什么可以被当作零。两者可在同一条链上前后相接。

本文与上一篇合起来给出一个更完整的形状，值得单独说一句。上一篇说：中介的地位来自撤换它所需重算的条目落在别人账上；本文说：中介的地位来自它在迟滞期内独占"其余按未出现处理"的声明权。两者的共同处不是结论，是结构——都指向一样在场、被使用、而没有栏目的东西。不同处在于它们各自指的那一样在账上的缺法不同：前者是有主而量无主，后者是有量而无名目。一次完整的诊断应当两栏都填：这个环节撤换时谁重算旧账，这个环节放行时哪几项按未出现处理。两栏都空的地方，通常正是所有数字最好看的地方。

十五、三处反过来的约束

输血医学削掉了"线以外都是风险"。最大手术备血量表不是懈怠，是权衡：全谱匹配的血在库存里不存在，等待全查的病人会先死于失血。这削掉了本文原本会写的一句更强的话——"止查线以外的部分构成一项被掩盖的风险"；改为：止查线是放行得以在时限内完成的条件，取消它不等于改善，可能等于停摆。本文因此不主张缩小止查线，只主张把它写成清单。

精神分析削掉了"清单总是可以列出来的"。未被带入分析的材料，其边界在原则上不可枚举——你不知道自己没想到什么。这削掉了本文关于止查清单可完备的假设，改为：清单只对"已经变得可查而未被纳入"的项完备，对"尚未被想到"的项不完备。这动了本文的适用范围。

适航削掉了"记账即解决"。最低设备清单是记账的典范，而航空业并没有因此消灭这一类风险——清单本身的条目该不该在上面、期限该多长，仍然是持续争论的对象，且清单的修订同样有迟滞。这一处最狠：它削掉了本文最自然的处方"把它写成清单就好了"，改为：写成清单只是把争论从看不见的地方搬到看得见的地方，不解决争论。这动了本文的价值排序——本文不能承诺清单化会带来改善，只能承诺它会带来可争论性。

三处合起来，把本文从一个普遍命题削成一个有边界的命题：在可查范围扩大、止查线的重画权集中于单一持有者、且该项已被想到的场合，迟滞期内持有者的地位增强。

十六、不适用的边界

一、可查范围未扩大的时期，本文的机制不发生——止查线与能力边缘重合时，无人持有额外的东西。

二、止查线的修订权分散到每一次放行的执行者手上时，无单一持有者，读数不可归属。第九节的数据正落在这一格，因此只能提供下界。

三、该领域已把未出现声明逐条记账并附期限时（如航空放行），本文关于地位增强的主张不成立。

四、尚未被任何人想到的项，不在止查清单上，本文不作主张。

五、放行不需要在时限内完成的场合（可以无限期挂起的决定），止查线可以不存在，本文的机制不发生。

十七、证伪条件与轮次预测

最强的竞争解释是那句最朴素的话——"其实不就是规程更新慢吗"。以下条件全部要求在控制掉"规程更新的一般速度"之后仍然成立。

F1。控制该机构全部规程的平均修订周期后，若涉及止查线的条款的修订迟滞与其他条款的修订迟滞没有差异，则本判断为伪——届时这只是行政效率问题，不是一种权力结构。

F2。若在某个已经把未出现声明逐条记账的领域里，止查线持有者的地位在记账制度建立后没有变化，则本文关于"记账缺位是其条件"的主张为伪。

F3。若补线迟滞与规模、收入、活跃度之中任一指标的秩相关绝对值稳定高于 0.30，则该读数被那个指标吸收，应予废弃。第九节实测与活跃度为 −0.269、与包龄为 +0.075，两次都在阈值内，但第一项已经接近边界，须在更大样本上复核。

F4。若在同一制度环境内，补线迟滞长的领域与短的领域，其居间者的被撤换频率没有差异，则本文的核心关联不成立。样本要求：同一制度环境内的同质单元不少于六个，禁止用两个国家或两个地区充数。

F5（正向的轮次预测，本文最愿意押的一条）。在重画权集中、且补线会削弱持有者自身权力的领域，补线迟滞的中位数应显著高于第九节给出的分散基线 25 个月。进一步的轮次要求：一次外生的能力提升之后，三件事应按固定次序发生——先是可查项数上升（可在设备目录与行业指南上读到），随后是空隙期内居间者的放行量与议价能力上升（可在业务量与费率上读到），最后才是必查项数上升（可在规程修订上读到）。若必查项数的上升早于可查项数的上升，本文的驱动方向写反了。补线之后还应出现第四件事：新的简化条款出现，且其发起方为止查线的持有者自己。若连续三轮的发起方都是同一方，本文的轮次结构为伪。

F8。取任一领域十年间的两条曲线：可查项数与必查项数。本文预测两条曲线的斜率之比稳定大于三比一，且这个比值在核验成本下降最快的时期最大。若两条曲线同步，则本文的全部机制失去前提——那意味着范围确实跟着能力走。这条检验的数据来源是设备目录与规程修订记录，两者在多数行业里都公开。

F6（一个可当场执行的最小实验）。取任一机构的一份现行检查规程与一份同领域的现行技术能力目录，逐项比对，列出"可查而未列入必查"的项。本文预测：这份清单非空，且其中至少三分之一的项在该规程上一次修订时已经可查。这项检验一个人一周内可以做完，所需材料在多数机构的公开文件里已经存在。

F7（一条已有数据的回溯检验）。取任一已发生的重大事故调查报告，检查其"未被发现"的原因归类里，是否设有"该项不在检查范围内"这一类。本文预测：多数报告把它并入"检查不到位"，而这两类的处置方向相反——前者要改规程，后者要改执行。

若本文被证伪，学到的东西是明确的：那意味着范围与能力确实同步移动，于是提高核验能力仍然是削弱居间者的正确处方，而本文所说的那段迟滞只是行政上的偶然。

十八、反噬与伦理

反噬预言。补线迟滞一旦进入考核——例如"迟滞超过某月数即问责"——最省事的达标方式不是及时补线，而是把"变得可查"的时点向后推：延迟承认某项技术已经常规可得，或把常规可得的判定权收进自己手里。更彻底的做法是把止查线拆成若干份，分挂在不同层级的文件里，使任何一份的迟滞都不长。两种做法都不改变实际的空隙，只改变它被记在哪里。我看不到出口。唯一能想到的缓冲是把"变得可查"的时点判定权交给独立于持有者的第三方，而这只是把伪造的难度提高一点。

伦理三条。补线迟滞与止查清单都是可以被拿去考核机构与个人的东西，因此必须写死：

一、这两样读的都是位置，不是人。一个执行者把线内每一项都查得无可挑剔而对线外一无所知，他没有做错任何事。

二、不得为了把迟滞做短，而在安全关键系统里仓促扩大必查范围。必查项的增加会挤压放行时限，而时限压力本身是风险来源——输血与航空两处的材料都指向这一点。任何以改善此读数为由的范围扩张，在安全关键系统里须先做时限影响评估。

三、已经据此作出不利安排的机构，必须公开清点粒度与"变得可查"的时点判定依据，并给出复核通道。自报的读数须标注自报，不得与独立清点的读数并列比较。

十九、本文自己：本文的证伪清单也有一条止查线

用本文的判据检本文自己——不是检本文所属的专栏，是检本文这一篇的证伪部分。

第十七节列了七条证伪条件。逐条看下去，它们覆盖的是"本文能想到的那些反驳"。而这份清单以外的部分，本文的处置与它所批评的那些制度完全一样：按未出现处理。本文没有任何一处写明"以下这些方向本文未作检验，也未打算检验"。

按第八节的读数去看本文自己：本文的止查清单是空的，不是因为没有线外项，而是因为本文没有列。补线迟滞在本文这里无从计算，因为"变得可查"的时点没有被记录。

这个位置的具体后果有两条。第一，本文对第十三节那十二位的处理，同样只覆盖了本文检索到的那些；检索范围之外的部分，本文以沉默的方式声明了"未出现"，而这正是本文自己判定为最需要被明文化的动作。第二，本文的七条证伪条件里，只有一条真跑过，而真跑的那一条恰好落在本机制不成立的一格（第九节 9.5）；其余六条按未出现处理。

据此给出一条自减条款：本文在末尾补一份自己的止查清单，列出三项已经可查而本文未查的方向——一，未取任一国家标准修订台账做迟滞的直接计算，尽管这类台账多数公开；二，未检验补线迟滞与居间者费率之间的关系，尽管交易所与支付机构的费率历史公开；三，未处理止查线由多级持有（行业标准加机构规程）时的归属问题，尽管第十一节场景三已经指出这一情形存在。这三项不是本文的局限，是本文的止查线；它们的补线迟滞从本文发表之日起算。

二十、一条写死日期的赌注

赌注：到 2032 年 12 月 31 日为止，至少有一个国家级或行业级的检查规程，在其修订说明中设立"本次修订前已可查而未列入必查的项"这一常规栏目，并给出各项的可查起始时点与迟滞月数。

什么不算命中（四条，一并写死）：

一、仅在修订说明中笼统写"参考了最新技术进展"而不逐项列出的，不算；

二、只列出本次新增的必查项，而不列出仍然可查而未纳入的项的，不算；

三、给出定性描述（如"已充分考虑"）而无可清点条目与时点的，不算；

四、仅在废止或全面改版时一次性列出、无常规更新机制的，不算。

本文对这条赌注不乐观：更可能的情形是这一栏在期限内仍然不存在。若真如此，本文的第三层主张——除航空放行外，多数领域的放行记录里没有这一栏，而航空业证明了它可以有——反而是全文最稳的一层。

二十一、三个交出去的洞

洞一。第九节的数据落在"持有者与受益者同一"的一格，无法检验本文的核心机制。要检验它，需要一个持有者与受益者分离、且修订台账公开的领域；本文没有找到一个同时满足两个条件的公开数据源。

洞二。"变得可查"这个时点的判定，本文只给了一句原则（本行业内常规可得），没有给可操作的判据。不同的判定会把补线迟滞整体平移，而平移量可能超过本文关心的差异。这是全文最不干净的一处。

洞三。本文主张迟滞期内地位增强，但没有给出地位增强的独立读数——第九节用的是撤换频率的代理，而撤换频率本身受太多因素影响。一个更好的做法是直接读费率或议价条款，本文没有做，理由见第十九节的自减条款第二项。

参考文献

[1] Landsteiner, K. (1901). Über Agglutinationserscheinungen normalen menschlichen Blutes. Wiener klinische Wochenschrift, 14, 1132–1134.

[2] Coombs, R. R. A., Mourant, A. E., & Race, R. R. (1945). A New Test for the Detection of Weak and Incomplete Rh Agglutinins. British Journal of Experimental Pathology, 26, 255–266.

[3] Daniels, G. (2013). Human Blood Groups (3rd ed.). Oxford: Wiley-Blackwell.

[4] Milkins, C., et al. (2013). Guidelines for Pre-transfusion Compatibility Procedures in Blood Transfusion Laboratories. Transfusion Medicine, 23(1), 3–35.

[5] Freud, S. (1912). Zur Dynamik der Übertragung. Zentralblatt für Psychoanalyse, 2, 167–173.

[6] Freud, S. (1937). Die endliche und die unendliche Analyse. Internationale Zeitschrift für Psychoanalyse, 23(2), 209–240.

[7] Strachey, J. (1934). The Nature of the Therapeutic Action of Psycho-Analysis. International Journal of Psycho-Analysis, 15, 127–159.

[8] International Civil Aviation Organization. Convention on International Civil Aviation, Annex 8: Airworthiness of Aircraft.

[9] Neyman, J., & Pearson, E. S. (1933). On the Problem of the Most Efficient Tests of Statistical Hypotheses. Philosophical Transactions of the Royal Society A, 231, 289–337.

[10] Kaplan, E. L., & Meier, P. (1958). Nonparametric Estimation from Incomplete Observations. Journal of the American Statistical Association, 53(282), 457–481.

[11] Meyer, J. W., & Rowan, B. (1977). Institutionalized Organizations: Formal Structure as Myth and Ceremony. American Journal of Sociology, 83(2), 340–363.

[12] Power, M. (1997). The Audit Society: Rituals of Verification. Oxford: Oxford University Press.

[13] Vaughan, D. (1996). The Challenger Launch Decision. Chicago: University of Chicago Press.

[14] Simon, H. A. (1955). A Behavioral Model of Rational Choice. Quarterly Journal of Economics, 69(1), 99–118.

[15] Merton, R. K. (1940). Bureaucratic Structure and Personality. Social Forces, 18(4), 560–568.

[16] Reason, J. (1990). Human Error. Cambridge: Cambridge University Press.

[17] Perrow, C. (1984). Normal Accidents: Living with High-Risk Technologies. New York: Basic Books.

[18] Coase, R. H. (1937). The Nature of the Firm. Economica, 4(16), 386–405.

[19] Malone, T. W., Yates, J., & Benjamin, R. I. (1987). Electronic Markets and Electronic Hierarchies. Communications of the ACM, 30(6), 484–497.

[20] Sarkar, M. B., Butler, B., & Steinfield, C. (1995). Intermediaries and Cybermediaries. Journal of Computer-Mediated Communication, 1(3).

[21] Baye, M. R., & Morgan, J. (2001). Information Gatekeepers on the Internet and the Competitiveness of Homogeneous Product Markets. American Economic Review, 91(3), 454–474.

[22] Currie, L. A. (1995). Nomenclature in Evaluation of Analytical Methods Including Detection and Quantification Capabilities. Pure and Applied Chemistry, 67(10), 1699–1723.

[23] Altman, D. G., & Bland, J. M. (1995). Absence of Evidence Is Not Evidence of Absence. BMJ, 311, 485.

数据与可复算性说明：第九节所用数据取自公共软件包索引的公开接口，抓取日期为 2026 年 8 月 10 日；样本为 141 个写死的包，观测项为解释器版本约束字段，可查起始时点定为 2016 年 11 月 1 日。预注册文本、抓取脚本与统计脚本随本文存档，任何人可按同一清单复算。本文不使用任何非公开数据。

字数与版本：正文（含摘要、表格与参考文献）约二万字。本稿为第一版，2026 年 8 月 10 日。所用配料规则为一百门版（第二版，2026 年 8 月）。

人机分工声明：题目、选源约束与成文要求由作者给出；文献梳理、数据抓取与统计执行、初稿撰写由人工智能协作完成；预注册在统计之前写定，不利结果未经删改；全部判断与文责由作者承担。