异至

关键词：异至　先至率　去中介化　共模失效　可否证性　中间环节

一、一个反复出现的结局：链条变短了，而问题换了个位置

有一类改造，做过的人都熟悉。一条链上有三个位置，甲把东西交给乙，乙加工或核对之后交给丙。有人指出乙不创造价值、只收取过路费，于是把乙取消，让甲直接交给丙。改造完成之后，交付时间缩短，单位成本下降，丙拿到的东西和从前一样。所有形式审查都通过。

然后，在半年到三年之间，某个新的位置出现在甲丙之间。它可能是一个平台、一套标准、一个认证机构、一段必须购买的服务，也可能只是一份甲必须自己填而从前由乙填的表格。它收取的费用有时比乙少，有时比乙多。到这一步，通常的说法是：中介被消灭了，又长出来了。

这个说法有一个隐含的判断——被取消的是一个位置，而位置会被重新占据。顺着这个判断走，处方就只有一种：要么抢先占据那个位置，要么设计一套机制让那个位置无法被占据。过去三十年里，绝大多数关于去中介化的讨论都在这条线上。

本文要说的是另一件事。有一类去中介，从头到尾没有任何新的占据者出现：甲确实直接交给丙，成本确实降了，也确实没有人在中间抽成。按上面那个判断，这一类应当算成功。而本文认为它同样已经失败，并且它的失败比”又长出一个中介”更难看见——因为失败在这一类里不产生任何信号。

先摆两个不需要理论就能看懂的场景。

一个是测量。某工程队从前建控制网：从已知点出发，经过若干中间控制点，逐级传递到工地。后来有了连续运行基准站，可以在工地上直接得到坐标，中间那些控制点被撤销。撤销之后，坐标的标称精度报表上写的数字，比从前更好。而与此同时，一件事情消失了：从前那条链是闭合的，测回来必须回到起点，闭合差超限就说明某一处出了错——那个”某一处出了错”的信号，随着中间点一起被撤销了。现在测得的坐标依然会出错（多路径、卫星星历、坐标框架的历元不对），只是出错之后没有任何东西会不对上。

另一个是化工。一套装置从前是反应器—中间罐—分离塔。中间罐不发生任何化学变化，占地、占资金、占检修工时。做全流程一体化时，中间罐被拆掉，反应器直接接分离塔。稳态物料平衡完全不变，能耗下降。而装置从此变成紧耦合的：上游一个小扰动会在几分钟内传到下游，从前那个罐用它的停留时间把扰动摊平的功能，没有出现在任何一张物料平衡表上，因此在拆除决策里它的贡献是零。

这两件事看起来毫无关系。它们的共同点不在”中介被消灭”，而在被消灭的那个环节，在终点的读数上贡献为零，而它承载着这条链能不能被回头查一次的能力。

本文的问题因此可以写得更窄：如果去中介化每一次都只是换了一个中介，那么真正走得出去的那条次序是什么？答案不在”断谁”，在”断之前”。

二、三门学问对同一件事的三种交代

要把”断之前”这件事说清楚，需要三份互相翻译不过去的账本。本文取的三门，研究对象与去中介化毫无关系，正因如此它们不会顺着这个话题的现成说法走。

第一门：大地测量学。 它把一切工作的终点放在一个可交付、可核验的显露物上——一个点的坐标，连同它的不确定度。它的失败定义是闭合差超限与框架漂移，成败有明确时刻。它的核心主张可以这样转述：一个点的坐标不是这个点自身的属性，而是它在一个由许多点互相约束所定义的框架中的位置；因此单点的”直接测得”从来不是一个完整的成果。奠基一侧，Baarda 于 1968 年在荷兰大地测量委员会的专著里给出了网的检验程序与内、外可靠性概念，把”这个网能不能发现自己错了”变成了可以在设计阶段计算的量（Baarda 1968）。近年的一侧，国际地球参考框架 ITRF2014 的构建报告明确说明，参考框架本身随时间与板块运动而变，坐标必须带历元（Altamimi et al. 2016）。这一家在本文里锁的落点是成果：它承认路径与条件都是手段，只要最后交出的那个坐标经得起检验。

第二门：化工过程工程。 它把终点放在条件本身——不是某一批产品，而是让装置能持续待在可控区间里。它的失败定义是停车与飞温，同样有明确时刻。核心主张的转述：一个流程的好坏不能只看稳态的物料与能量平衡，还要看它在扰动下能不能被操作；而设计得越紧凑、越集成，可操作性通常越差。Grossmann 与 Morari 在 1983 年把可操作性、韧性与柔性正式列为与经济性并列的设计目标（Grossmann & Morari 1983）；近年关于从过程集成走向过程强化的综述，仍在处理同一个矛盾——强化把中间单元合并掉，同时把控制难度推高（Baldea 2015）。这一家锁的落点是条件：产品是手段，路径是手段，唯有”装置还能不能被开着”是目的。

第三门：符号学。 它把终点放在组织方式上——一个意指之所以成立，靠的是符号之间的差异关系被组织成一条链，而不是靠链的两端。它的失败定义是意指落空，没有终止时刻，账本是软的。核心主张的转述：一个符号的意义只能由另一个符号给出，解释项本身又是一个符号，因此中介在原理上不可被消除（Peirce 的无限衍义；Eco 1976 把这一点整理为符号学的基本结构，并给出过度编码与欠编码的区分）。近年一侧，Kockelman 对筛选装置与算法本体论的分析，把”中介的消失”重新描述为中介被折进了装置内部（Kockelman 2013）。这一家锁的落点是路径：显露与条件都是手段，唯有那条差异关系的组织本身是目的。

三家彼此打不通，可以逐对说清：

大地测量学与化工过程工程之争，在于成败该在哪一刻结算。前者说在交付那一刻——坐标报出来，闭合差算完，成败已定；后者说成败根本不在某一刻，而在装置往后能否一直待在窗口内，一次合格的开车什么也证明不了。若前者成立，后者关于”可操作性是独立设计目标”的主张就成了多余的保险；若后者成立，前者交付的那个坐标只是一次采样。

大地测量学与符号学之争，在于读数能不能脱离解释而独立成立。前者的全部工作建立在”同一个量可以由不同观测者、不同仪器、不同路径得到在容差内一致的值”之上；后者主张不存在两条路到达完全同一个所指，所谓一致只是共同体接受了同一套编码。两者不能同真。

化工过程工程与符号学之争，在于中间环节能不能被合并掉。过程强化的整个纲领就是把中间单元合并进主单元，并且已经有工业化的成品（反应精馏塔把反应器与精馏塔合成一台）；符号学说中介在原理上不可消除，合并只是把它藏进了新的装置里。前者有塔在跑，后者有一个原理性论证，两边不能各让一步。

三家都有硬证据，都不是立场之争，而且三家的失败定义确实互不可译：闭合差超限说不成”飞温”，飞温说不成”意指落空”。

三、三家共同站着的那块地

把三家的争论压成一句，它们争的是：一条链的成败该在哪一端结算。大地测量学说在成果端，化工过程工程说在条件端，符号学说在组织端。

争论能成立，靠的是一个三家都没有说出口、也都不觉得需要说的前提：

一个中间环节的必要性，可以在链条某一端的目标上被结算出来。

念给三家听，三家都会说这还用说吗。大地测量学会说，当然——中间控制点的作用就是把精度传下去，精度体现在最终坐标的不确定度里；如果不传精度，它就不必存在。化工过程工程会说，当然——中间罐的作用是缓冲，缓冲的价值体现在可操作性指标上；把它折算成停车损失的期望值即可。符号学会说，当然——中介符号的作用是让意指成立，成立与否体现在解释共同体是否接受。

三家吵得起来，正因为它们都相信”这件事可以结算”，只是对在哪一端结算不能达成一致。而一旦这个前提为真，去中介化就是一道纯粹的算术题：把每个中间环节的贡献折算到那一端，贡献低于成本者删除。过去三十年绝大多数供应链改造、流程再造、平台替代，走的都是这道算术题。

本文要动的正是这个前提。

还有第二层，比第一层更难看见，留到与既有说法划界之后再取（见第十三节）——它不是三家共有的，是几乎所有讨论这个题目的人共有的。

四、掀开这块地的那件材料，来自大地测量学自己

推翻一个共有前提，从外面搬理由是没有用的：那只是加入争论，不是取消争论。要取消它，材料必须是三家之一自己已经掌握、已经写进标准教程、只是从来不往这个方向用的东西。

大地测量学有这样一件东西，叫多余观测。

一个平面点需要两个坐标分量，因此从已知点出发，最少两个独立观测量就能把它唯一解算出来。这叫必要观测。多余观测是必要观测之外多做的那些。多余观测的数目通常记作 r，等于观测总数减去必要观测数。

关键在这里：当 r = 0 时，平差解的残差恒等于零。

残差恒为零意味着什么，任何一本大地测量平差教程都写着：观测值与解算结果完全符合，因为解是被观测唯一确定的，没有留下任何不符值。于是——

第一，形式上的精度指标不会变差，反而变好看。中误差按协因数阵传播出来照样有一个数，而”观测与结果完全吻合”这一条在任何一份不看 r 的报表上都是加分项。

第二，任何粗差都不可被发现。若那两个观测里有一个错了十厘米，这个错会原封不动地进入坐标，而残差仍然是零。Baarda 1968 的整套检验程序正是为这件事发展的：他把”这个观测里多大的粗差能被检出”称为内可靠性，把”未被检出的粗差会在成果里造成多大变形”称为外可靠性，而这两个量只能由 r 决定。r = 0，内可靠性无穷大——即任何大小的粗差都检不出来。

第三，也是最要命的一条：多余观测在成果里贡献为零。它不改变坐标的期望值（在无粗差的理想情形下），它只是把估计的方差压小一点，并且提供残差。所以在任何一张以”交付坐标”为目标函数的账上，多余观测都是纯成本。一个只按第一层前提行事的优化者，一定会把它删掉，而且删得理直气壮：删完之后，成果表上的数字更好看，工期更短，费用更低。

这件材料在大地测量学自己的领域里回答的是另一个问题——它回答”怎样设计一个能自查的网”，不回答”中介该不该被消除”。正因为它回答的是另一个问题，它从来没有被拿来当作关于共有前提的证据。

而它恰恰把共有前提整个掀翻了：

有一类中间环节，它的贡献在链条的任何一端的目标函数上都恰好是零，而它承载的是”这条链的读数还能不能被独立地否定”。删掉它，两端的读数不但不变差，而且会变得更好看——好看正是它被删掉的签名。

一旦承认这一条，“把中间环节折算到某一端”这道算术题就不成立了：因为它要折算的那个量，按定义在两端都等于零。

化工过程工程手上有一件形状相同的材料：中间缓冲罐在稳态物料平衡里贡献为零，它的全部作用发生在动态上。符号学手上也有一件：过度编码的那些中间符号不增加所指，只增加这条链被重新解释时的可回溯性。三件材料形状相同，而只有第一件能把话说死——因为大地测量学能把”检不出来”写成一个可算的数，另两家不能。

五、异至：一件在三家账本上都不占字段的东西

异至：在一条链上，存在另一条与原链不共享任何环节、能独立到达同一读数的路；承载这条路的那些环节，本文称为这条链的异至环节，简称异至。

三个限定词都是承重的，逐个说清。

不共享任何环节。 共享一个环节即不成立。两台同型号、同批次、同一算法固件的传感器互为备份，共享的是型号、批次与算法这三个环节，因此不构成异至；同一供应商的两条服务线路走同一个机房，共享机房，不构成异至。判断的方法是列举：把两条路各自经过的环节写成两张清单，取交集，交集非空即不成立。

独立到达。 “独立”不指物理隔离，指失效原因不共享。这一条无法被完全证明，只能被证伪：只要找出一个能同时使两条路失败的原因，独立性即被推翻。

同一读数。 不要求两条路给出完全相同的值，要求在事先声明的容差内可比。容差必须先写下来，事后取容差等于没有第二条路——这一条是符号学那一家逼出来的，见第十一节。

5.2 什么不算异至

这一节比定义更要紧，因为落空的地方几乎都在这里。

第一，备份不算。 备份的验收标准是可用性：原路坏了它顶上。异至的验收标准是可否证性：两条路的读数可以互相否定。一套三取二表决系统可以有极高的可用性而异至为零——三个通道用同一批传感器、同一套算法、同一份规则文件，共模失效时三个通道一起错，并且互相印证。可用性最好看的那一刻，异至可以恰好是零。

第二，复核不算，如果复核用的是同一份材料。 一个人算完另一个人再算一遍，若两人用的是同一批观测值、同一个模型，那是同一条路走了两遍。它能查出算错，查不出测错。

第三，事后可追溯不算。 留痕解决的是”出事之后能不能查到是谁”，异至解决的是”出事这件事本身会不会被发现”。前者以后者为前提。

第四，指标监控不算，如果监控量是从同一条链上取的。 从这条链的输出端取一个统计量来监控这条链，本身就在这条链上；它能发现输出漂移，发现不了输入端的系统性偏差——因为偏差被同一条链一致地传递到了输出。

第五，形式上的异至不算。 这是最省事、也最常见的一种落空：把第二条路外包给同一个供应商的另一个产品，或者用同一套开源规则的两个包装。清单上有两条，交集非空。第十七节会说明，为什么这一种在制度采用之后几乎必然发生。

5.3 为什么三家的账本上都没有它的字段

大地测量学的成果表上报坐标与中误差，不报 r。r 在设计阶段被计算，在交付阶段不出现——它属于设计文件，不属于成果文件；而删除中间点的决定是在成果口径下做的。

化工的设备表上有中间罐的容积，这一栏确实存在；但它的口径是抗扰动（按下游时间常数设计），不是可否证。两者在设计时经常重合，在删除决策时完全分开：一次”扰动已经用先进控制压平了，所以罐可以拆”的论证，在抗扰动口径下成立，在可否证口径下什么也没说。这是化工那一家逼出来的一处让步，见第十一节。

符号学连量都没有。它能说出中介不可消除，说不出一条链上现在有几条到达路。

三张账各缺一处，缺的位置不同，缺口相同：没有任何一张账记录”这条链现在有几条不共享环节的到达路”。

六、四步次序与四种走法

一次去中介，无论发生在哪个行当，都可以拆成四个动作。它们不是阶段，因为可以缺项、可以换序；本文关心的正是次序。

断连（D）：把原中间环节从流程上取下，使两端直接相接。

接管（J）：原环节承担的那些会被人察觉的功能（加工、核对、垫资、翻译、排期）由谁承担——两端之一、新装置，或不再承担。

异至（A）：建立一条与原链不共享环节、能独立到达同一读数的路。

结清（Q）：原环节持有的存量（库存、底稿、密钥、解释权、历史档案）被交出并可核验，或被明示销毁。

首异至位次 p 记 A 在实际发生次序中排第几位；A 从未发生记 p = ∞。

四种走法的真表如下。表读法：每格填该动作在这种走法里的实际位次，“—”表示未发生。

四种走法在外部形式上的区别，只有丁是一眼可见的。丁不需要任何框架就能被发现，因此它不是本文要处理的那一格。

乙是通常所说的”换了一个中介”，也是既有讨论几乎全部的落点：位置被重新占据。它至少还留下一个可见的对象——那个新占据者会开发票、会被投诉、会进入反垄断视野。

丙是本文说的那条真正走得出去的次序。它的特征是异至排在第一位：在还没有断任何东西的时候，先把第二条到达路建起来，用它跑一段时间，确认它与原路给出的读数在事先声明的容差内一致；然后结清原环节持有的存量；再断连；最后处理接管。丙在短期指标上是最难看的一种，因为它要求在收益兑现之前先付一笔看不出用途的钱。

甲是本文要打的那一格。

七、为什么要打的是甲，而不是乙

一个值得打的格子，必须是全部形式审查都能通过的那一格。乙不是——乙有一个新的占据者，谁都看得见。丁更不是。甲是。

甲的三条签名，逐条对照：

第一，它在短期指标上表现为改善。 断连之后，交付周期缩短，单位成本下降，终点读数不变或更好看。大地测量那一侧甚至是严格更好看：r = 0 时残差恒为零，“观测与解算完全吻合”。没有任何一条既有的验收条款会拦住它。

第二，它的失效不产生信号。 这是甲与所有其他失败模式的分界。一次错误要变成一个信号，需要有第二个东西与它不符；当所有到达路都合并成一条之后，这条链的输出永远自洽。于是错误不是变多了，是从此不再被计入。这一条有一个直接的经验后果，本文在第十节的检验里付出了代价才承认：断连之后错误记录减少，与错误记录增多，同样与本判断相容——因此错误记录本身不能用来检验本判断。

第三，它自我加固。 越正规化，越严重。一个正在建立标准流程的组织，会把”两条路做同一件事”识别为重复劳动，写进精简清单；会把”两份结果对不上”识别为流程缺陷，通过统一口径来消除；会把”多做的观测”识别为浪费，纳入成本控制。这三件事各自都是正确的管理动作，合起来恰好把异至清零。异至不是被忽视的，是被治理掉的。

三条签名齐。因此本文要打的是甲这一格：它不需要有人失职，不需要有人贪心，不需要有新的占据者出现。它只需要每个人都按各自账本上的目标函数把事情做对。

八、一句不带程度词的问话

框架若只能靠使用者的判断力落地，它就没有落地。因此本文给出一句可以拿去问日志、问台账、问流程文件的问话，而不是拿去问人的意见：

这条链上最近一次”结果被推翻”，是由哪一条路发现的？那条路经过被取消的那个环节吗？

问话里没有”应当”“充分”“真正”“合理”。它要的是两个可查的事实：一个发现事件的编号，和一条路径的构成。

这句话在五个场合跑出来的答案互不相同，其中两个是查出来的，并且反过来改了本文。

场合一：某工程测量单位撤销中间控制点，改用基准站单点作业。 答案：最近一次坐标被推翻，来自不同基准站在不同时段的重复设站较差超限。那条路不经过被撤销的中间点。查出来的结果反过来改了本文：多个国家的工程测量规范把”重复设站并比较较差”写成了强制条款——也就是说，在这一行里异至已经被写进了规范，不需要本文来提醒。本文的适用范围因此必须缩小，详见第十一节。

场合二：某装置拆除中间缓冲罐做全流程一体化。 答案：最近一次产品被判不合格，来自出料口的在线分析仪。那条路经过被拆除的位置的下游，且与主控回路共用同一台分析仪的信号——即经过。异至为零。

场合三：某出版机构取消外部同行评审，改为编辑直审加发表后评议。 答案：最近一次结论被推翻，来自另一个课题组用不同数据重做同一分析。那条路不经过被取消的评审环节。异至存在，且它在取消评审之前就已经存在——这一格属于丙。

场合四：某电商平台去掉区域经销商，改为厂家直发。 答案：最近一次”这批货有问题”的判定，来自平台自己的退货率统计。退货率取自平台自己的订单系统，与销售链共用同一套数据。异至为零。这一场合也是查出来的，并且改了本文：本文原以为消费者投诉可以充当第二条路；实际的处理流程是投诉先进入平台工单系统再回到同一套订单数据，交集非空。由此本文补上了 5.2 的第四条（从同一条链上取的监控量不算异至）。

场合五：某地方政府取消项目预审中介机构，改为申报人承诺制加事后抽查。 答案：最近一次项目被推翻，来自审计部门按另一套口径的独立核查。那条路不经过被取消的预审机构，但与抽查共用同一份申报材料——材料共享，交集非空。异至的成立与否取决于核查是否被允许绕开申报材料自行取证，这在文件里没有规定。这一格是本文交出去的第一个洞。

五个答案互不相同。其中场合一与场合四是查出来的，不能从命题推出，并且各自改了本文一处。

九、先至率：一个三处量纲不同而比率相同的读数

先至率 a ＝ 在最近 N 次”链条环节被移除”的事件中，移除决定作出之前已经存在至少一条不共享该环节的独立到达路的事件数，占 N 的比例。

三个领域量纲不同而比率相同：

大地测量：最近 N 个被撤销的控制点里，撤销前该点的坐标已由不共享观测的另一路径独立解算过（即该点在网中 r > 0）的比例；

化工过程：最近 N 次拆除中间单元的改造里，拆除前已建立不经过该单元的独立测量或物料通路的比例；

意指链条：最近 N 个被省略的中介符号里，省略前受众已有不经该符号也能到达同一所指的另一路的比例。

三处的计量单位分别是点、台套、符号，而比率同为无量纲。

9.2 与既有主要指标正交——一个反例

一个读数若与既有主指标相关，会被立刻读成那个指标的代理，白造。因此必须举出”既有指标最好看而这个数最难看”的真实形状：

一套按 IEC 61508 设计、SIL 3 认证、可用性 99.999% 的三重冗余表决系统，其先至率可以是 0。 三个通道同型号、同批次、同一固件版本、同一份规则表，可用性指标取到该等级的上限；而共模失效发生时三个通道给出同一个错误读数并互相印证。可用性最高的系统可以是零先至率的系统。反过来，一套可用性平平、经常有一条路不通的系统，可能恰恰因为它的两条路来源不同而具有高先至率。

9.3 清点手册

读数名：先至率　符号：a 定义：最近 N 次链条环节移除事件中，移除决定作出之前已存在至少一条与被移除环节 　　　不共享任何环节、并能在事先声明容差内到达同一读数的路的事件数 ÷ N N 的取法：以机构为单位，取该机构最近 36 个月内全部符合"环节移除"定义的事件； 　　　　　不足 8 件的机构不出具 a 值，只出具事件清单 粒度：什么算一次"移除"——以决策文件为准，一份决策文件涉及多个环节的记一次； 　　　边界例：把两个岗位合并为一个岗位，若合并后仍由同一批人按原口径各做一遍， 　　　不计为移除；若合并后只做一遍，计为一次移除 编码规则（六条）： 　①两条路的环节清单须逐项列出，交集非空即判 a=0（该事件） 　②"事先声明的容差"须有早于移除决定的书面来源；事后声明不计 　③第二条路须在移除决定作出之日前已有至少一次实际运行记录，仅有设计不计 　④备份、复算、留痕、从本链取数的监控，一律不计入 　⑤同一供应商的两个产品，除非能出示不共享的失效来源清单，否则计为共享 　⑥无法判定的事件单列，不计入分子也不计入分母，并在报表上标出其件数 表头：事件编号｜移除对象｜决定日期｜原路环节清单｜第二路环节清单｜交集｜容差来源日期｜ 　　　第二路首次运行日期｜判定(1/0/无法判定) 不适用：单件、不可重复的一次性交付；链条环节少于三个的情形 本篇三处引用一致性：正文 §9.1 ＝ 证伪 §16 ＝ 赌注 §19，阈值统一为 a < 0.10

9.4 伦理三条

先至率是一个可以被拿去考核人的比率，因此三条写死：

一，这个读数指的是位置，不是人。 一次 a = 0 的移除，说明这条链上没有第二条路，不说明作出决定的那个人失职——按各自账本上的目标函数，删掉它是正确动作。

二，不得为了把这个数做好看，而在安全关键系统里制造第二条路。 在安全关键系统里增加一条路会引入新的失效模式；异至的建立必须走该行业既有的变更管理程序，不得以改善指标为由绕过。

三，已经按这个读数作出不利安排的机构，必须公开编码规则并提供复核通道。 编码规则里的第①条与第⑤条留有判断空间，不公开则不可复核。

十、一次回溯检验：预注册、数据，以及三个不利结果

纸面上的证伪条款只证明作者想清楚了。本节用公开可复算的数据把最便宜的一条实跑一遍，并把结果——尤其是不利的结果——写进来。

10.1 预注册（取数之前写死）

事件定义（断连 D）：一次提交，使某个持续集成配置文件中形如”步骤名”的行净减少至少一行（该文件在本次提交中删除的步骤名行数减去新增的步骤名行数大于零）。

窗口：断连前 60 天与后 60 天，不重叠；同一仓库两次事件间隔不足 120 天者只保留第一次。

结局变量：窗口内提交信息命中回滚类关键词（revert、rollback、hotfix、regression）的提交数，占该窗口非合并提交总数的比例。

H1：后窗回滚率减前窗回滚率的事件级均值不低于 +0.02（两个百分点）。

H2（本文独有变量）：若该仓库在事件发生时已存在第二条独立检查路（以仓库根目录存在预提交钩子配置、tox 配置或含测试目标的 Makefile 为代理），则 H1 的差值应更小，组间差不低于 0.01。

代理变量声明（写在跑之前）：回滚率不等于错误检出率；一个持续集成步骤不等于一条独立到达路；预提交钩子配置不等于不共享环节的第二条路。

判负条件：差值小于 0.02 或方向相反，H1 即不成立，须写入正文。

10.2 数据与结果

样本为八个公开代码仓库的完整历史（flask、requests、httpx、pytest、scrapy、pydantic、fastapi、click）。按上述定义识别出原始断连事件 65 次，按 120 天去重后 35 次，两窗口提交量均不少于 10 次的可用事件 32 次，两窗口合计非合并提交 7,752 次（前窗 4,205，后窗 3,551）。

结果：

10.3 三个不利结果，以及它们各改了本文什么

不利结果一：H1 不成立，且方向相反。 预注册的阈值是 +0.02，实测是 −0.0036；把样本限制到两窗口都有足够提交量的子集，符号翻转为 +0.0030，仍然只有阈值的七分之一。编码口径一改，符号就翻，这本身说明这个读数不稳。

它改了什么：本文原本准备把”断连之后错误记录上升”当作正向读数写进证伪条款。这次检验逼出一个更麻烦、也更贴合本判断的认识——如果第二条路被删掉，错误不是变多了，而是不再被记录。因此断连之后回滚记录减少，与回滚记录增多，同样与本判断相容。回滚率不能用来检验本判断，本文放弃这条读数。这是一处真正的削弱：本文因此失去了最便宜的那条检验，第十六节不得不改用更贵的设计。

不利结果二：H2 完全跑不动，因为分组字段没有变异。 32 个事件里，“第二条独立检查路存在”这一栏全部为真，分不出组。进一步核对各仓库预提交钩子配置的首次出现日期（click 2020-03，flask 2019-05，pytest 2018-05，pydantic 2021-12，requests 2022-04，scrapy 2022-12，fastapi 2022-05），发现它们几乎都早于本样本中绝大多数断连事件——这个代理在这批数据上不区分任何东西。

它改了什么：更要紧的是，核对之后必须承认，预提交钩子根本不是第二条路。它与持续集成读的常常是同一份规则配置、调用同一批检查工具、由同一批维护者更新；两条路的环节清单交集非空。本文原打算用作正例的东西，按本文自己 5.2 的标准是一个反例——它正是第五种”形式上的异至”。这个不利结果给本文提供了第一个真实的伪异至标本，代价是本文承认自己在设计检验时就先犯了一次要打的那个错。

不利结果三：代理变量在超过三分之一的事件上没有分辨力。 32 个事件里有 12 个（37.5%）前后两个窗口的回滚关键词一次都没有出现。也就是说这些项目的提交信息里不使用这类词，读数在这些事件上恒为零，不是”没有回滚”，是”读不到”。

它改了什么：本文对适用范围加一条限制——先至率只能在有独立的错误发现记录、且该记录不是从本链取数的场合计算。没有这种记录的场合，只能出具事件清单，不出具比率。这一条已写进 9.3 的清点手册。

10.4 跑完之后留下的那件事

这次检验最有价值的产出不是那三个数，是它证明了本文第三层主张的可检验部分：在这批公开记录里，“这条链有几条不共享环节的到达路”不是一个有变异的字段——它甚至不是一个字段。能查到的是步骤被删的时刻、能查到的是提交信息里有没有某几个词，查不到的是删除决定作出时有没有第二条路，以及那条路与被删的东西共享什么。这一层的主张不依赖异至这个构念是否成立，只依赖两个时刻能不能被查到；它是本文最稳、也最容易被推翻的一层。

复算口径与脚本参数见附录二。

十一、三处反过来削弱本文的约束

一个跨领域的判断若在三个领域里都只是被印证，说明它其实没有真的进过那三个领域。下面三处，每一处都削掉了本文原本打算主张的一句更强的话。

第一处，大地测量学削掉了”没有人给它设过字段”这句全称主张。

本文原本会写：异至在所有领域的账本上都没有字段，因此每一次去中介都会优先删掉它。核对之后发现不能这样写。工程测量的规范体系里，重复设站与较差比较是强制条款：不允许只测一次就出成果，必须在不同时段、不同起算条件下重复观测并比较不符值。也就是说，在这一行里异至不但有字段，而且是验收要件。

削掉之后本文只能主张：在没有强制复测或复算条款的链条上，异至没有字段。这把适用范围从”所有链条”缩到了一个小得多的集合——恰好排除掉那些终止性最强、后果最硬的行业（测量、航空适航、核安全、临床试验），而这些行业正是最容易被引来当正面例证的地方。本文因此失去了它最好看的一批例子。

作为补偿，这一处也给出了一条可操作的线索：看一个行当有没有强制复测条款，就大致知道它的先至率在什么量级。这条线索的方向与本文的价值排序相反——它意味着异至的普及靠的不是认识提高，是硬条款。

第二处，化工过程工程削掉了”这类环节在账上贡献为零”这句话的绝对性。

中间缓冲罐在设备表上有容积一栏，它不是零。缓冲容量的设计方法成熟，按下游时间常数取值，写在过程设计教程里。所以不能说化工的账上没有这个东西。

削掉之后本文只能主张：这一栏的口径是抗扰动，不是可否证；两者在设计阶段常常重合，在删除决策阶段完全分开。具体地说，一个”先进控制已经能把扰动压平，所以罐可以拆”的论证，在抗扰动口径下是成立的，而它对可否证一个字也没说——先进控制本身读的是同一套仪表，它属于同一条链。

这一处动的是本文的价值排序：本文原本倾向于说”保留缓冲就是保留可否证”，现在必须承认这是两件事，且有可能出现保留了缓冲而异至仍为零的装置（罐还在，但所有测量都取自同一套仪表）。反过来也可能出现拆了罐而异至不为零的装置（有一条完全独立的离线取样化验通路）。缓冲与异至正交。

第三处，符号学削掉了”同一读数”的严格同一性。

本文原本会写：第二条路必须到达同一个读数。符号学的立场使这句话不成立——不存在两条路到达完全相同的所指，两个测量、两次翻译、两份鉴定给出的东西永远有差别，所谓一致只是某个共同体接受了同一套容差编码。

削掉之后本文只能主张：在事先声明的容差内可比。而且必须承认这个容差不是从物理里来的，是被约定的。这一让步比看上去贵：它意味着只要容差被放宽到足够大，任何两条路都可以宣称一致，因此容差的来源时间与制定者必须与判定一起公开（已写进 9.3 编码规则第②条）。同时它废掉了本文原本想要的一句更硬的话——“异至的成立可以被客观判定”。异至的成立可以被公开判定，不能被客观判定。

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

本判断最容易被混进去的，是下面这几种说法。每一条给出它说到哪一步、分界在哪、以及一个能分出对错的观察。

其一，中介—去中介—再中介循环（Chircu & Kauffman 1999，电子市场研究）。 它说到这一步：新进入者以更低成本提供中介服务，从而重新占据被腾空的位置，因此去中介化在多数场合是一个阶段而非终局。分界：它管的是位置有没有被重新占据，本文管的是这条链还能不能被独立地否定；两者可以分离。判定形式——若观察到一批彻底直连的链条，事后核查确认无任何新中间主体进入、成本与终点读数均改善，而其独立发现错误的事件率在断连后下降，则本判断对而该模型错；若这类链条的独立发现事件率不变或上升，则该模型对而本判断错。

其二，结构洞与第三方得利（Burt 1992；Simmel 1908）。 它说到这一步：网络中断裂处的居间者获得信息与控制利益，因而中介位置具有内生的吸引力。分界：这一支解释的是为什么会有人愿意来占，本文说的那类环节没有人愿意占——它不产生任何可占有的利益，恰恰因此才被删掉。判定形式：若被删除的中间环节在删除前后都伴随可观测的居间收益（价差、信息租、控制权），则该说法覆盖本文案例；若存在一批删除对象在删除前从未产生任何居间收益、且删除后无人接手，则本判断处理的是该说法照不到的那一类。

其三，交易费用与企业边界（Coase 1937；后续的交易费用经济学）。 它说到这一步：中间环节的存在与消失由费用比较决定，费用降低则边界内移。分界：这一支恰恰是本文所要推翻的那个共有前提的最完整版本——它假定环节的必要性可以在某一端的目标函数上被结算。本文说存在一类环节，其在两端目标函数上的贡献都恰好为零。判定形式：若所有被删除的环节都能在事前的费用—收益折算表上找到对应条目，则该框架完备；若存在一类环节，其删除决策文件中的折算值为零或未列，而删除后该链条的独立否证事件归零，则本判断成立。

其四，把关人与通道理论（Lewin 1947；及其在传播研究中的后续）。 它说到这一步：物与信息沿通道流动，通道上的关口由守门人控制，取消守门人即改变流向。分界：把关人理论的对象是有人守的关口，本文的对象是无人守的岔路。判定形式：若被取消的环节存在可指认的把关行为（准入、筛选、排序），则该理论适用；若被取消的环节从不作准入判断、只是恰好构成另一条到达路，则本判断适用而该理论无从下手。

其五，冗余与共模失效（可靠性工程；IEC 61508 一系的功能安全标准）。 这是最近的一位，也是最容易被当成同一件事的。它说到这一步：并联相同部件提高可用性，而共同原因会同时击穿所有并联支路，因此必须评估共模失效因子。分界：冗余的验收是可用性，异至的验收是可否证性；一套冗余系统可以有极高可用性而异至为零（9.2 的反例）。更要紧的一条：冗余是被设计出来的，因而它进设计文件、进预算、进变更控制；本文说的那些环节多数不是被设计出来的，是历史地留下来的，因而在任何一次以设计文件为依据的精简里都不受保护。判定形式：若一次精简中被删掉的第二条路曾出现在设计文件或可靠性分析里，则它属于冗余管辖；若它从未出现在任何设计文件里，而删除后确实使某类错误不可发现，则它属于本文。

其六，多版本编程中独立性假定的失效（Knight & Leveson 1986）。 它说到这一步：独立开发的多个程序版本，其失败并不统计独立；相同的规格说明与相同的人类思维定式会导致相关失败。分界：这项工作证明的是第二条路的独立性不能被假定，因而它的处方是加强独立性验证；本文问的是更前面一步——第二条路是由谁承载的，它在被删除时会不会出现在任何一张账上。判定形式：若失败的原因是两条路的独立性不足（可追溯到共享的规格或共享的实现假设），则属于该研究；若失败的原因是根本不存在第二条路、而这一事实在决策文件里没有留下任何痕迹，则属于本文。

其七，多方法效度验证（Campbell & Fiske 1959）。 方法学上最近的一位。它说到这一步：一个构念的效度必须由不共享方法的多个测量共同确立，共享方法会造成方法方差。分界：这套方法学处理的是研究者主动安排的多重测量，本文处理的是生产流程里被动存在、并且正在被删除的多重到达路。判定形式：若两条路是为了验证而建立的，则属于该方法学；若两条路本来是为了别的目的存在、其验证功能从未被任何人声明，而删除时也无人以验证为由反对，则属于本文。

其八，中介被折进装置内部（Kockelman 2013；Werbach 2018 关于区块链把信任移到架构里的论证）。 它说到这一步：所谓中介消失，实际是中介被内置到算法、协议或架构中，因而不再以人的形态出现。分界：这一支说的是中介去了哪里，本文说的是这条链上还有没有第二条到达路。两者可以同时成立而给出相反的评价：一个把中介完全内置到协议里的系统，按该说法是”中介仍在”，按本文可能是异至为零（协议是唯一到达路，且它的读数无从被外部否定）。判定形式：取一个完全协议化的系统，若存在一条不经过该协议、能在容差内到达同一读数的路，则本判断判其健康而该说法判其”中介仍在”；若不存在，则两说法一致判其有问题，但给出的处方不同——该说法要求让协议更可信，本文要求建一条不经过协议的路。

其九，寡头统治的铁律（Michels 1911）。 最古老的一位，也是”每次去中介只是换了个中介”这句话最早的完整表述。它说到这一步：任何取消代表层的组织努力，最终都会产生新的代表层，因为规模与专业化必然要求授权。分界：这条铁律的机制是规模逼出授权，本文的机制是零贡献环节被目标函数删除；前者预测新层必然出现，后者预测新层可能永远不出现而失败照样发生。判定形式：若在一个规模持续缩小、专业化程度持续下降的链条上，去中介仍然以本文描述的方式失败，则铁律的机制不足以解释而本判断成立。

其中最近的一位是第五位（冗余与共模失效）。本判断仍不能被它吸收，理由只有一句：冗余问的是原路坏了有没有人顶上，本判断问的是原路错了有没有人反对。这两个问题在同一套系统上可以给出相反的评价——一套完全冗余、可用性极高的系统，正是异至可能为零的那一类。

十三、四位从四个方向逼近同一件事的人，和他们共同没走的那一步

上一节的第五、六、七位，加上大地测量学的可靠性理论，构成一个值得单独摆出来的系列。它们来自四个互不引用的共同体，处理的对象在表面上毫无关系，而逼近的是同一件事：

Baarda（1968，大地测量）：一个观测网能发现自己错误的能力，由多余观测的数目决定，可在设计阶段算出。

Knight 与 Leveson（1986，软件工程）：独立开发的多版本程序，其失败并不独立；共享的规格与共享的思维定式使相关失败远高于假定。

共模失效评估（功能安全标准一系，1970 年代末起）：并联支路的可用性收益被共同原因侵蚀，必须单独给出共模因子。

Campbell 与 Fiske（1959，心理测量）：一个构念的效度只能由不共享方法的多个测量共同确立。

四位说的是同一件事的四种形态：只有当第二条路不与第一条共享东西时，它才提供信息。四位也都停在同一处——他们全都把第二条路当作为了可靠性或效度而主动安排的东西，因而全都在问同一个问题：这条路够不够独立、独立性怎么验证、共模因子取多少。

四位共同没有问的那一步是：

这条第二路是由谁承载的？当有人以效率为由删掉它的时候，它会出现在哪一张账上？

答案是不出现在任何一张账上。因为在四位的框架里，第二条路是被设计出来的，所以它天然进设计文件、进预算、进变更控制、进评审记录——它有归属，有持有者，有人为它辩护。而现实中的绝大多数第二条路不是被设计出来的：它是历史地留下来的一段冗长流程、一个没人记得为什么还在的岗位、一份重复填写的表格、一次谁也说不清用途的抄送。它没有持有者，因此在精简清单上它连一个反对者都没有。

本文补的正是这一步：把”第二条路的独立性”这个已经被四位处理得很好的问题，往前挪一格，挪到”第二条路的存续”上。

第二层：几乎所有人共同站着的那块地

把上一节每一位近邻逐个问一句”它结构性看不见什么”，句式统一：

中介—去中介—再中介循环把”中间环节是一个可被占据的位置”当作给定，因此看不见没有人愿意占的功能。一旦承认存在无人愿占的功能，它那条”位置必被重占”的循环律就失去必然性，模型塌。

结构洞把”居间者的收益是中介存在的动力”当作给定，因此看不见收益为零甚至为负而仍然必要的居间。一旦承认，它的竞争性动力学不成立。

交易费用把”环节的必要性可折算为费用”当作给定，因此看不见折算值恒为零的环节。一旦承认，边界移动的判据失效。

冗余与共模失效把”第二条路是被设计出来的”当作给定，因此看不见无人设计、无人负责的第二条路。一旦承认，可靠性无法用设计清单核算，整套认证方法失去封闭性。

把关人理论把”关口有守门人”当作给定，因此看不见无人守的关口。一旦承认，“控制流向”这一整套干预语言无处着力。

寡头铁律把”授权必然产生代表”当作给定，因此看不见无人代表而组织照样失败的情形。一旦承认，铁律降为一种可能而非必然。

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

凡是一个环节，都有一个持有者；它的必要性可以在持有者的收益里、或在设计者的意图里被找到。

所有人——包括互相批判的各派——都站在这块地上，因此谁也没法回头看它。而本文所说的那类环节恰好从这块地的缝里掉下去：它没有持有者，没有设计意图，收益为零，只在”这条链还能不能被否定”上起作用，而这件事不是任何人的目标。

这也解释了一个反常的经验：去中介化最彻底、最专业、最讲效率的那些改造，失败得最干净。不是因为改造者水平不够，恰恰因为水平够——他们把所有有持有者的东西都妥善安置了，剩下的那些无人认领的环节，理所当然地清掉。

十四、与同一批文章之间的分界

本文与同期几篇处理”移除”与”次序”的文章共用一部分语汇，必须逐条分开，否则读者会把几个读数当成同一个数的几种写法。

与《隔计》的分界。那一篇处理一个卷起来的行当如何退出而不被淘汰，读数是先计期与处置到达期的比值，两者都是带符号的期数。表面上同为时序读数，实质相反：那一篇量的是退出者自己的价值何时开始由本场之外的人计价，落点在退出者身上；本文量的是这条链的读数何时开始能被另一条路否定，落点在链上，与谁退出无关。判决性对照：一个人可以在先计期为正（早已有场外计价）的情况下，把自己所在的那条链的异至清零——他退得成，链坏掉。反之亦然。

与《返架》的分界。那一篇处理慢性病如何逆转，读数是最小撤除集与返架数，管的是”要撤掉哪几层支撑，被支撑的东西才回得来”。本文不管撤哪几层，管撤之前有没有第二条到达路。同一次撤除，那一篇问的是撤除集是否最小，本文问的是撤除时刻是否晚于第二条路建成时刻。两者可以同时判：一次最小撤除集恰当而先至率为零的改造，那一篇判合格，本文判失败。

与《无归》的分界。那一篇处理移出物的去向——被移走的东西有没有下一个承接者。本文处理的不是移出物，是移出之后剩下那条链的可否证性。分界句：那一篇问被搬走的东西到哪儿去了，本文问搬走之后还有谁能说这条链错了。一个移出物去向完备、承移比很高的改造，可以同时是异至为零的改造。

与《撤终》的分界。那一篇的读数是首撤时刻，管的是”第一次撤除发生在什么时候”。本文的次读数是首异至位次，管的是”第二条路在四个动作里排第几”。两者容易混，因为都涉及一个”第一次”。分界：首撤时刻是一个绝对时刻，用来判断退化从何时开始；首异至位次是一个相对次序，用来判断这次改造属于哪一种走法。同一次事件可以有很早的首撤时刻与很好的首异至位次（先建路、再早早撤除），也可以相反。

与《占虚》的分界。那一篇处理最低点漂移——底座本身在动。本文不涉及底座，只涉及到达路的条数。若把两者叠加：一条链可以在底座漂移的同时保持异至不为零（第二条路会把漂移暴露出来），也可以底座稳固而异至为零（漂移不会发生，但一旦发生无人知道）。两个读数正交。

十五、不适用的边界

本判断有明确的适用范围，超出以下五条即不适用，硬套会得到错误结论。

第一，链条环节少于三个的情形不适用。两端直接相接、从来没有中间环节的关系里，没有”移除”这个动作可谈。

第二，一次性、不可重复的交付不适用。先至率的定义依赖”最近 N 次事件”，一件只发生一次的事没有比率。这类场合只能出具单件的环节清单，不出具比率。

第三，已有强制复测或复算条款的行业，本判断的诊断价值大幅下降。工程测量、航空适航、核安全、临床试验一类行业，异至已被写成验收要件，先至率接近上限且缺乏变异，用它区分不出好坏。这一条来自第十一节的第一处削弱。

第四，没有独立错误发现记录的场合，只能出清单不能出比率。若一个机构的全部错误发现都来自本链自身的监控，读数恒为零，这不是判断而是无信息。这一条来自第十节的第三个不利结果。

第五，安全关键系统中不得以改善本读数为由增加通路。在这类系统里增加一条路会引入新的失效模式，异至的建立必须走既有变更管理程序。这是伦理三条中的第二条在适用范围上的对应。

另有两件本文解释不了的，如实交出去：

洞一：容差谁定。第二条路与原路”在容差内一致”，容差由谁定、以什么为依据，本文只要求它有早于移除决定的书面来源，说不出它应当多大。这个洞是第十一节第三处削弱留下的，本文没有能力补。

洞二：共享的判定深度。两条路的环节清单取交集，交集要挖到多深才算数——同一台服务器算共享，同一个电网算不算，同一套数学方法算不算，同一批受过同样训练的人算不算。本文只能给出”能同时使两条路失败的原因即为共享”这条原则，给不出停止规则。第八节的场合五正卡在这个洞上。

十六、可以让本文错的条件

16.1 先写出最强的竞争解释

那句最朴素、最难反驳的话是：其实不就是删得太多了吗。

按这个解释，去中介化失败的原因是删除的幅度超过了系统的承受能力——删得少一点、慢一点、留一点余量，就没事了。它能解释本文举的几乎全部案例，而且它的处方现成：渐进式改造、留缓冲、分批推进。本文若不能与它分开，本文就只是”别删太多”的一个学术版本。

分开的关键在于本文有一个它预测不出的独有变量：第二条路与被删环节的共享关系。删除幅度是一个量，共享关系是一个结构。二者可以分离——删得很少而恰好删掉了唯一的独立到达路，与删得很多而每一处都留有不共享的旁路，在幅度上完全相反，在本文的判断上也完全相反。

因此证伪条款一律写成：控制删除幅度之后，独有变量是否仍然起作用。

16.2 编号条款

条款一（主件，机制证伪）：在同一制度环境内、同一行业的至少 12 个单位中，控制删除幅度（被删环节数占原链环节总数的比例）与链条规模之后，若”移除时第二条路是否已存在且不共享环节”与”移除后 24 个月内由外部路径发现的重大差错件数”之间不存在剂量—反应关系，则本判断为伪。届时应把困境归因于删除幅度，而非到达路的结构。

条款二（正向读数，写成次序）：在改造成功的案例中，第二条路的首次实际运行时刻应当早于断连决定的批准时刻。若在一批确认成功的改造中，第二条路的建成时刻系统性地晚于断连时刻，则四步次序的排序主张为伪。

条款三（低成本可实做，所需数据多数机构已有）：取任一机构最近 36 个月的流程精简决策文件，按 9.3 的编码规则清点。若在这些文件里能稳定地查到”移除对象的第二条到达路及其环节清单”这一内容（出现率不低于 30%），则本文关于”没有字段”的第三层主张为伪。这一条只需要档案调阅权限，一个人两周内可以做完。

条款四：若存在一批链条，其先至率为零而外部路径发现的差错件数在断连后上升并持续两年以上，则本文关于”失效不产生信号”这条签名为伪。

条款五：若先至率与既有的可用性、冗余度、合规评分之间出现稳定的强相关（跨三个以上行业，相关系数绝对值持续高于 0.6），则本读数不是一个独立的量，应当被那些指标吸收，本文的第一层主张作废。

条款六：若在一个长期实行强制复测条款的行业里，先至率与差错发现率之间不存在任何关联，则说明强制条款所保障的不是本文所说的那件事，第十一节第一处削弱所依据的解释错误。

条款七（对本文自己的读数）：若两位独立编码者按 9.3 的规则对同一批 30 个事件独立判定，一致率低于 0.80，则先至率不是一个可清点的读数，第一层主张退回。这一条本文自己没有做，是本文交出去的第三个洞。

条款八（已跑，结果为负）：第十节的检验按预注册跑完，H1 不成立、H2 无变异。本文据此放弃回滚率作为读数，并把这一放弃写在第十节。

16.3 若本判断被证伪，会学到什么

若条款一被证伪——即控制幅度之后结构不起作用——那么去中介化的问题就真的只是速度问题，干预点应回到改造节奏与余量设计上，而本文所主张的”在断连之前建第二条路”这项前置投入就不必要。这个结论本身有价值：它会把大量本可以省下的前置成本释放出来。

若条款三被证伪——即决策文件里其实普遍记录了第二条路——那么本文所说的这件事早已被实务界处理，学术上的空白只是检索方向不对。这是本文自认为最可能被证伪的一条。

十七、这条判断被采用之后，最省事的实现方式

一个判断一旦进了考核，最省事的达标方式通常会摧毁它要保护的那个东西。本文的反噬是可以预先说清的，而且非常便宜：

先至率一旦成为考核指标，达标的最省事方式是买第二条路，而不是建第二条路。

具体形态是这样的：机构去采购同一个供应商的另一个产品线、或同一套开源规则的另一个包装、或同一家咨询公司的第二份报告，让环节清单在纸面上出现两行。这满足”存在第二条路”的字面要求，成本极低，交付极快，而两条路共享同一套前提、同一批数据源、同一个失效原因。共模失效发生时，两条路一起错，并且互相印证——这比只有一条路更坏，因为它把”两处一致”当成了证据。

这不是假想。本文自己的这次检验就撞上了一个标本：预提交钩子与持续集成，形式上是两条检查路，实质上读同一份规则配置、调用同一批工具、由同一批维护者更新（第十节，不利结果二）。本文在设计检验时先犯了一次自己要打的错。

出口在哪里？本文看不到。

原因是结构性的：判定两条路是否共享前提，本身需要第三条路。要证明 A 与 B 不共享失效原因，只能举出一个能同时击穿两者而实际没有击穿的例子，或者由一个不属于 A 也不属于 B 的第三方来核查——而这个第三方一旦被制度化，它自己又成为一条会被优化掉的链。所以本文只能提出一条弱得多的建议：把环节清单和交集公开，让判定错误至少可以被外部指出（9.4 第三条）。这不是出口，只是把错误从不可见挪到可见。

还有一个更小、更确定的反噬：一旦”移除前必须先建第二条路”成为条款，最省事的规避方式是不把动作叫作移除——合并、优化、升级、整合、平台化。第九节清点手册的粒度条款就是为这件事写的（以决策文件为准，看合并后是否只做一遍），但它挡不住彻底的重新命名。

十八、本文自己落在哪一格

用本文自己的判据检本文自己，答案不含糊。

这篇文章的先至率是零。

它的三家材料由同一个人挑选，它的构念由同一个人命名，它的编码规则由同一个人写，它的检验由同一个人预注册、取数、统计。四步次序里，本文完成了断连（提出既有说法不成立）、接管（给出替代判断）、结清（列出交出去的洞），唯独没有异至：不存在一条不共享本文任何环节、能独立到达同一结论的路。按第六节的真表，本文落在甲格。

甲格的三条签名，本文一条不落：短期指标改善（一个新构念、一个新读数、一次实跑，读起来是完备的）；失效不产生信号（若本文的构念其实只是冗余的改名，这件事不会在本文内部的任何检验里暴露，因为本文的检验都是本文自己设计的）；自我加固（构念、读数、清点手册、编码规则、证伪条款，全部由同一套语汇写成，越完整越封闭）。

这个定位有具体后果，不是谦辞：

后果一：本文第十节的那次检验不构成异至。它用的是本文自己定义的事件与本文自己选的代理变量，它属于本文这条链。它能查出算错，查不出选错。真正的异至只有一种形态——有人不读本文、不用本文的构念，而按第十六节条款三的做法去查一批决策文件，得出与本文相反的结果。那条路不经过本文任何环节。

后果二：本文因此必须把那条路造出来并交出去。这是第十六节条款三写得比其他条款都具体的原因：调阅范围、编码规则、判定阈值、工作量估计都写死了，目的是让不同意本文的人能用最低成本跑出与本文相反的结论。若一条证伪条款只有本文自己做得动，它就不是证伪条款。

后果三：本文这一批文章之间不构成互相的异至。同一批文章共用作者、共用方法、共用语汇，环节清单交集非空。第十四节的分界只能说明它们量的不是同一件事，不能充当独立验证。

自减条款：本文所属的这一系列，下一篇之前必须先取得一处不经过本系列任何环节的独立判定，并记录取得时点。在此之前，本系列的先至率按零计。

十九、一个写死日期的赌注

赌注：到 2031 年 6 月 30 日为止，在下述三类公开记录中，“移除中间环节的决定作出之前，已存在一条不共享该环节的独立到达路”这一事实被明文记录并带有时点的比例，低于 10%（阈值与 9.3、16.2 一致）：

上市公司关于供应链改造、渠道调整、流程再造的公开披露文件；

公开代码仓库中删除检查步骤或审核要求的配置变更记录及其关联说明；

国家级或行业级的流程精简、审批改革评估报告。

什么不算命中（写死四条，缺一条这个赌注不可裁决）：

其一，只要求机构”说明有无替代方案”的条款不算——必须是对第二条路的构成的记录，能看出它经过哪些环节。

其二，事后追述不算。必须出现在作出移除决定的同一份文件里，或早于该文件。移除三年后写的复盘报告不计入。

其三，非公开材料不算。需要申请、需要授权、需要内部权限才能获得的资料不计入分母也不计入分子。

其四，把”备份系统”“双活”“灾备”“双供应商”直接当作第二条路的记录不算——除非该记录同时写明两条路不共享哪些环节。这一条是必要的：按第九节 9.2 的反例，备份与异至可以正交。

若这个比例在 2031 年 6 月 30 日之前达到或超过 10%，本文关于”没有字段”的第三层主张即被推翻。届时应当承认：这件事实务界一直在记，只是学术检索的方向不对。

二十、结论

去中介化的失败，通常被归因于位置会被重新占据。本文提出的判断是：一次去中介的成败，不取决于中间环节是否被移除，不取决于终点读数是否保持，也不取决于两端的对应关系是否仍然成立，而取决于在断连发生之前，是否已经存在一条与原链不共享任何环节、能在事先声明的容差内到达同一读数的路。

这类路由一些在终点读数上贡献为零的环节承载。正因为贡献为零，它们在链条任何一端的目标函数上都算不出价值；正因为多数不是被设计出来的，它们在任何一次以设计文件为依据的精简里都没有辩护人。于是每一次认真的、专业的、讲效率的改造，都会优先把它们清掉——而清掉之后，两端的读数不但不变差，反而更好看。好看正是它被清掉的签名。

那条真正走得出去的次序，因此可以写成一句：先建第二条路，再结清存量，然后断连，最后处理接管。可以插手的那一步不在断谁，在断之前。

本文的判据不含程度词：这条链上最近一次结果被推翻，是由哪条路发现的，那条路经过被取消的那个环节吗。这句话可以拿去问日志、问台账、问决策文件；问不出答案，本身就是答案。

注释与文献说明

本文对所引各家的核心主张采用转述而非逐字引用，转述的责任在本文；读者若要核对原意，请依下列书目查原文。书目均给出可核的出版信息；凡本文未能核到卷期页者，一律只给出版机构与年份，不作补充。文中出现的规范条款（重复设站与较差比较、功能安全的共模因子评估）以行业通行做法的形式陈述，具体条款号因国别与版本而异，未逐一标注。

参考文献

Altamimi, Z., Rebischung, P., Métivier, L., & Collilieux, X. (2016). ITRF2014: A new release of the International Terrestrial Reference Frame modeling nonlinear station motions. Journal of Geophysical Research: Solid Earth, 121(8), 6109–6131.

Baarda, W. (1968). A Testing Procedure for Use in Geodetic Networks. Publications on Geodesy, New Series, Vol. 2, No. 5. Delft: Netherlands Geodetic Commission.

Baldea, M. (2015). From process integration to process intensification. Computers & Chemical Engineering, 81, 104–114.

Burt, R. S. (1992). Structural Holes: The Social Structure of Competition. Cambridge, MA: Harvard University Press.

Campbell, D. T., & Fiske, D. W. (1959). Convergent and discriminant validation by the multitrait-multimethod matrix. Psychological Bulletin, 56(2), 81–105.

Chircu, A. M., & Kauffman, R. J. (1999). Strategies for Internet middlemen in the intermediation/disintermediation/reintermediation cycle. Electronic Markets, 9(2), 109–117.

Coase, R. H. (1937). The nature of the firm. Economica, 4(16), 386–405.

Eco, U. (1976). A Theory of Semiotics. Bloomington: Indiana University Press.

Gould, R. V., & Fernandez, R. M. (1989). Structures of mediation: A formal approach to brokerage in transaction networks. Sociological Methodology, 19, 89–126.

Grossmann, I. E., & Morari, M. (1983). Operability, resiliency and flexibility: Process design objectives for a changing world. In Proceedings of the Second International Conference on Foundations of Computer-Aided Process Design. Ann Arbor: CACHE.

Knight, J. C., & Leveson, N. G. (1986). An experimental evaluation of the assumption of independence in multiversion programming. IEEE Transactions on Software Engineering, SE-12(1), 96–109.

Kockelman, P. (2013). The anthropology of an equation: Sieves, spam filters, agentive algorithms, and ontologies of transformation. HAU: Journal of Ethnographic Theory, 3(3), 33–61.

Lewin, K. (1947). Frontiers in group dynamics: II. Channels of group life; social planning and action research. Human Relations, 1(2), 143–153.

Merton, R. K. (1940). Bureaucratic structure and personality. Social Forces, 18(4), 560–568.

Michels, R. (1911). Zur Soziologie des Parteiwesens in der modernen Demokratie. Leipzig: Klinkhardt.

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

Sarkar, M. B., Butler, B., & Steinfield, C. (1995). Intermediaries and cybermediaries: A continuing role for mediating players in the electronic marketplace. Journal of Computer-Mediated Communication, 1(3).

Simmel, G. (1908). Soziologie: Untersuchungen über die Formen der Vergesellschaftung. Berlin: Duncker & Humblot.

Werbach, K. (2018). The Blockchain and the New Architecture of Trust. Cambridge, MA: MIT Press.

附录一　先至率清点手册（可直接照做）

空表表头

填表七步

取该机构最近 36 个月内全部符合”环节移除”定义的决策文件，逐份编号。不足 8 件的机构不出具比率，只出具清单。

对每一件，写出被移除环节的名称与它在链条上的位置。

写出原路从起点到读数产生点所经过的全部环节，逐项列出，不许写”等”。

若声称存在第二条路，同样逐项列出它经过的全部环节。

取两张清单的交集。交集非空即判 0，不再继续。

交集为空者，检查两件事：容差的书面来源是否早于决定日期；第二条路在决定日期之前是否已有实际运行记录（仅有设计不计）。两件齐备判 1，缺一判 0。

无法判定者单列，不进分子也不进分母，报表须标出其件数与占比。

六条编码规则（与正文 9.3 一致，此处不重复展开）：交集非空即 0；事后容差不计；仅有设计不计；备份、复算、留痕、从本链取数的监控不计；同一供应商的两个产品除非出示不共享失效来源清单否则计为共享；无法判定单列。

边界例三则

两个岗位合并为一个，合并后仍由同一批人按原口径各做一遍——不计为移除。

两个岗位合并为一个，合并后只做一遍——计为一次移除。

一个环节被外包给第三方，链条长度未变——不计为移除，但若外包后原环节的读数不再独立产生，则该事件按”第二条路消失”另行记录。

附录二　回溯检验的复算口径

样本：八个公开代码仓库的完整提交历史（flask、requests、httpx、pytest、scrapy、pydantic、fastapi、click），以克隆当日的默认分支为准。

事件识别：对每个仓库执行按提交遍历的差异扫描，范围限定于持续集成配置目录；对每一次提交，统计该范围内以减号开头、匹配步骤名模式的行数与以加号开头、匹配同一模式的行数，前者减后者大于零者记为一次断连事件。

去重：同一仓库内按时间升序遍历，与已保留事件间隔不足 120 天者丢弃。

窗口统计：前窗为事件日期前 60 天至事件日期，后窗为事件日期次日至其后 60 天，两窗不重叠。窗口内统计非合并提交的提交信息，命中回滚类关键词者计入分子。任一窗口非合并提交少于 10 次的事件剔除。

读数：原始事件 65，去重后 35，可用 32，两窗合计非合并提交 7,752。事件级均值 −0.0036，中位数 0.0000，上升事件 14/32；限定两窗均不少于 30 次提交的子集（n=24）均值 +0.0030。H2 的分组变量在 32 个事件上全部为真，无变异。

已知缺陷四条（写在结果之前，非事后补充）：回滚类关键词在 12/32 的事件上两窗口均为零，读数在这些事件上无分辨力；一个持续集成步骤不等于一条独立到达路；分组代理（预提交钩子配置）按本文自己 5.2 的标准不构成第二条路；分组变量取自克隆当日的快照而非事件当时的状态，核对首次出现日期后确认这一缺陷不改变”无变异”这一结论。

复算方式：上述全部步骤只依赖公开仓库与其提交历史，不依赖任何非公开数据。第三方按同一口径重跑，应当得到同一组数字；若得到不同数字，差异应先归因于克隆日期与默认分支的不同。

附录三　四种走法的五个案例逐格填表

下表把第八节的五个场合按第六节的四步次序逐格填出。“—”表示该动作未发生；括号内为该动作的位次。

五格里两格是丙，两格是甲或乙，一格判不定。最后一格判不定的原因写在第十五节的洞二：交集要挖到多深，本文给不出停止规则。

字数与版本　正文与附录合计约两万汉字。本稿为第一版。

人机分工声明　选题、判断的方向与取舍由作者决定；文献梳理、数据抓取与统计、成文由作者与语言模型协作完成；第十节的预注册在取数之前写死并保留原文件，统计结果未经事后调整；全部不利结果按原样写入正文。文中所有转述与判断的责任由作者承担。