阶功

关键词：阶功　移除阶梯　阶差　保守扩张　中介

一、三件没有人反对、也没有人算钱的事

第一件。 一家制造企业的工艺工程师用两年时间把一条产线的换型时间从四小时压到十二分钟。产品没有任何变化——同样的图纸、同样的公差、同样的物料清单，客户拿到的东西一模一样。在这家公司的成本核算里，这两年的人工计入制造费用，分摊到每一件产品上；在增值税的账上，它一分钱的增值都没有产生，因为它没有改变任何一笔进项与销项；在产品的技术档案里，它不出现。而这条产线因此可以接三百件的小单，而以前只能接三千件的大单——这家公司的客户结构从此换了一批。

第二件。 一位工程师在一个开源项目里写了一套测试夹具和一份持续集成配置。这些文件不会随软件分发给任何一个用户，用户装到的包里没有它们的一行代码。而在这份配置出现之前，这个项目发布一个版本需要三个人手工验证两天；出现之后，一个人按下按钮，四十分钟。发布频率从每季度一次变成每周一次，而软件本身在那一周里没有多出任何一个功能。

第三件。 数学系的一位教师在讲一个定理时，先花二十分钟建立一套记号，然后用半页纸证完。不用这套记号，同一个定理也证得出来——教科书上有那个版本，八页，学生看不懂。新记号没有引入任何新的数学内容：它定义的每一个符号都可以被机械地展开回原来的语言，展开之后那半页纸会变成那八页，或者更长。而这二十分钟，在任何一份教学工作量统计里都算作”讲了二十分钟”。

三件事有一个共同形状：做的人没有在成品里添任何东西，所有人都同意它有用，而没有任何一本账记它的贡献。更要紧的是第二个形状：当有人提议把它砍掉时，反对的理由说不出口。——因为反对者必须说清”砍掉之后会怎样”，而”会怎样”落在一个没有科目的地方：不是产品变差了，是做同一件事变贵了，而贵多少，没有人量过。

本文要说的是：“抽成还是创造”这个问题之所以吵不完，一半的原因是它一直在内容账上算；而有一类贡献在这本账上的正确读数就是零。

二、三种当场能算出它值多少的办法

在三个彼此不相往来的领域里，各有一套成熟的、天天在用的办法，可以回答”这个环节到底做了什么”。三套办法互不引用，也互不兼容。

第一种：看它能不能被从其余部分推出来。 这是逻辑学的办法，而且是这三套里唯一被形式化到可以机械判定的一套。一组公理里的某一条是不是多余的？判据精确：若它可以从其余各条推出，它就不是公理，是定理——它一个字也没多说。要证明它不多余，办法同样精确：构造一个模型，使其余各条为真而它为假。平行公设两千年悬而未决，最后正是被这样一个模型解决的。这套办法的信念是：一个东西算不算数，写在它能不能被替代地推出这件事里。搬到中介问题上，就是”看拿掉这个环节，其余环节能不能推出同样的结果”：能推出，它就是通道；推不出，它就是环节。

第二种：看信息在它这一级损失了多少。 这是光学的办法。一套成像系统里，每一级元件——镜头、棱镜、滤片、传感器——都对空间频率有一个传递函数，而级联系统的总传递函数是各级相乘。这里有一条硬结论：每一级的传递函数模值不大于一，因此级联只会降低对比度，不会提高；一个纯被动的光学元件，对信息的贡献恒为非正。要真正提高信噪比，必须引入新的能量或新的先验知识。这套办法的信念是：一个东西的贡献，写在它对信号的净增益里。搬到中介问题上，就是”看这个环节把上游传来的东西变好了还是变差了”：变好是增值，只是搬运就是损耗，而搬运总是有损耗的。

第三种：看它让什么没有发生。 这是战略学的办法。判断一个威慑安排有没有用，不看它做成了什么，看对手因此没有做什么。这套办法的信念是：一个东西的价值，写在它改变了他方预期这件事里。搬到中介问题上，就是”看拿掉这个环节，别人会不会做出不同的选择”：会，它就在起作用；不会，它就是摆设。

三种办法各有硬证据，也各有失败定义——不一致或不可判定、像差与失锁、威慑失败。三种失败无法互相翻译。而它们在同一个对象上会给出互不相容的判断：

一套企业内部的标准化模板，按第一种看，它的每一个字都可以从既有规章推出，它是多余的；按第三种看，它使各部门对同一件事的预期收敛，它在起作用。

一个批发环节，按第二种看，它在物流上纯粹是损耗（多一次装卸、多一次仓储、多一层加价）；按第一种看，没有它，零售端与生产端的排程根本推不出一个可行解。

一家做资质审核的第三方机构，按第三种看，它使造假不划算，它在起作用；按第二种看，它没有改变被审核物的任何属性，净增益为零。

同一样东西摆过去，三家给的是彼此对立的”算”与”不算”，而谁都吞不下谁的理由。

三、三家都在同一本账上算

把三家的争论写成同一个句式：

三家争的是这个环节给最终结果添了什么——添了一条推不出来的内容、添了一分信噪比、添了一次预期的改变。

它们争”添了什么”，因此共同假定了一件事：贡献是内容量，可以通过比较有它和没它时的结果差额读出来。逻辑学比的是定理集，光学比的是像的质量，战略学比的是对手的行动集。三条路指向不同的地方，而三条路都通向同一句话。

这句话摆到三家面前，三家给的反应会是同一个：这不是废话吗。它不引起争论，因此它是共有前提，不是第四种立场。

它同样是外行的常识，而且是一切现行核算制度的地基。增值税只对增值部分课税，而增值＝销项减进项；国民经济核算的增加值＝总产出减中间投入；一份绩效表上的”产出”栏填的是可交付物。这些制度全都建立在一个未言明的等式上：贡献 ＝ 结果的差额。

四、一条被数学自己承认的加速

推翻这条前提的材料不必从外面找。它就摆在三家中的一家手里，是那门学问每天都在做的一道工序；只不过在它自己的地盘上，这道工序回答的是别的问题。

数理逻辑里有一个标准动作：引入定义。给一个形式系统加进一个新符号，再加一条说明它等于什么的公理。这类扩张有一个精确的名字与一条标准结论：保守扩张——扩张后的系统，在原来的语言里证不出任何新定理。换句话说：

它的内容增量严格等于零，而且这不是估计出来的，是证明出来的。

按第三节那条共有前提，这样的东西应当毫无贡献。而同一门学问还有另一条结论，方向完全相反。

形式证明里有一个叫割的步骤，直观说就是”先证一个引理，再用它”。切消定理说：任何用了引理的证明，原则上都可以改写成不用引理的证明。这条定理是二十世纪证明论的支柱之一，它看上去正好支持”引理什么也没添”这个判断——既然可以消掉，它就是多余的。

而消掉的代价，是这条支柱后面被反复证明的一件事：证明长度会非初等地增长。非初等的意思不是”变成平方”或”变成指数”，是增长快于任何固定高度的指数塔——原来一页的证明，展开后可以长到宇宙里写不下。这不是一个工程上的估计，这是有下界证明的结论。

两条合起来，得到一句在别处从未被说出的话：

一个内容增量严格为零的东西，可以决定达成同一结果的代价属于哪一个量级。

而且这不是边角案例，是核心工艺：去掉”引入定义、抽出引理”这个动作，数学交不出它的标准产品——人读得懂的证明。没有一本数学著作是在原始语言里写成的；每一本都建立在一长串保守扩张之上，而这一长串在内容账上合计为零。

这件事在逻辑学自己那里回答的问题是”形式系统的选择如何影响证明的复杂性”。它从来没有被拿来当作关于贡献归属的证据。但它正是那件证据。

五、阶功：内容账上恒为零而代价跨量级的那一份

把这条工艺搬到一条价值链上，第三节那句共有前提立刻塌了。

一条链上的环节可以分成两类：产出进入交付物的，和产出不进入交付物的。第二类不是少数，也不是辅助——第十节的实测会给出一个数：在十二个可复算的样本里，不进入交付物的那一类吸收了约三分之二的全部投入。而在任何一本内容账上，这三分之二的读数是零。

于是有：

承重命题：一个环节是抽成还是创造，既不取决于它是否不可从其余环节推出，也不取决于它对上游产物有没有净增益，也不取决于它有没有改变他方的预期，而取决于把它整个移除之后，达成同一交付物的代价落在哪一个量级。

代价跨量级上升的那一份贡献，本文命名为阶功。它有四条性质，缺一条就不是它：

内容增量严格为零。 不是小到测不出，是按定义为零：它的产出不进入交付物。

移除它，交付物不变，代价跨量级。 结果照样能达成——这是它与瓶颈的根本区别，瓶颈一断，结果达不成。

它不产生任何可归属的产出记录。 没有可交割物、没有专利、没有出库单、没有一行进入成品的代码。

它越有效，越像多余。 做得越好，绕过它的痛苦显现得越晚，而在显现之前，一切数据都支持砍掉它。

第四条与第二条合起来解释了一件长期被误读的事：为什么关于”这个部门到底有没有价值”的争论总是在裁撤之后一年半才有结论。裁撤当下，交付物没有任何变化，全部质量指标正常——因为交付物本来就不经过它；代价的上升要经过一整个周期才显现在别的科目上（加班、返工、交付周期、客户流失），而那时已经没有人把两件事联系起来。

必须立刻挡住两个误读。

其一，阶功不是”间接成本”。间接成本是一个会计归集口径，它照样落在成本账上、照样被分摊、照样在报表里有位置。阶功说的是贡献这一侧：它在贡献账上没有位置。一件东西可以既是间接成本又完全没有阶功（一间闲置的办公室），也可以既不是间接成本又有极高的阶功（一位工程师直接计入项目成本，而他做的是换型优化）。

其二，阶功不是”不可替代性”。不可替代性问的是”能不能没有它”，阶功问的是”没有它要贵多少”。阶功的定义前提恰恰是它可以被替代——正如引理总是可以被消掉。可以被消掉而消掉的代价跨量级，这才是阶功；消不掉的，那是另一件事（第十三节其三会把它与瓶颈理论分开）。

六、移除阶梯

本文的辨别装置不是一张格子，是一条梯子——因为阶功是一个量级差，而量级差天然是分档的，不是分格的。

做法只有三步，任何一条链上都可以照做：

第一步·列出这条链上的全部环节。粒度以能够被单独裁撤为准：一个部门、一道工序、一份配置、一个供应商、一套模板。判定看的是”能不能单独砍掉”，不是”能不能单独计价”——很多阶功环节恰恰不能单独计价，这正是问题所在。

第二步·对每一个环节，问两句话，写两个数。

第一句：移除它，交付物变不变？变——记为内容环节，退出本梯子（它落在内容账上，现行制度已经能算它）。不变——继续第二句。

第二句：移除它，达成同一交付物的代价变成多少？记下移除后的代价与当前代价之比 R，取以十为底的对数并取整，得到该环节的阶差 g。

第三步·把全部环节按 g 从大到小排成一条梯子。梯子的形状本身是产物，而且比任何单个数字更有用：

陡峭的梯子（少数环节 g≥2，多数 g=0）：这条链的代价集中在几处，砍错一处后果严重，而砍对了大部分地方没有影响。

平缓的梯子（多数环节 g=1，没有 g≥2）：代价均匀分布在整条链上，任何单点裁撤都只带来有限的上升，而连续裁撤会累积——这是本文实测出来的那一种形状，而它恰恰是最危险的一种（见第十节）。

全零的梯子：这条链上不存在阶功，全部贡献都在内容账上，现行制度足够用。本文预测这种链存在但罕见。

为什么用梯子而不用格子。格子给的是分类，梯子给的是排序与间距。一条链上真正的决策问题从来不是”这一环属于哪一类”，而是”如果必须砍三个，砍哪三个”。梯子直接回答后者，而且它把一件重要的事暴露出来：梯子上相邻两级的间距可以差很多，也可以几乎一样；间距几乎一样时，任何裁撤顺序在数据上都同样合理，而后果的累积并不相同。

七、四类环节与靶类的四条签名

移除阶梯只排序，不分类。分类要用两件事的组合：内容增量是否为零，阶差是否为零。

要打的是丁。它必须满足四条签名，否则装置切错了地方。

签名一·在一切内容审计中读数恒为零。增值税的进销项、投入产出表的增加值、专利与著作权的计数、绩效表的可交付物栏——四处全零，而且这不是漏记，是这四本账的定义使然。误判提示：若某一本内容账上它有非零读数，它落在乙格，不是丁格。

签名二·它的失效表现为别人变慢，不是它这里出错。丁格环节撤掉之后，本环节的一切指标都消失了（它已经不存在），而下游的完成时间、返工率、协调会次数上升。因果链在组织上跨越了部门，因此归因几乎必然失败——这是丁格最稳定的特征。

签名三·它越有效越像多余。一套把换型时间压到十二分钟的工艺，日常表现就是”换型从来不出问题”；一份把发布自动化的配置，日常表现就是”发布从来不出错”。没有故障记录，就没有价值证据。这一条与签名二不同：签名二说的是撤掉之后归因失败，签名三说的是撤掉之前就没有证据。

签名四·小规模试点必然显示它可以去掉。这是本文认为最有实践价值的一条。阶差是量级效应，而量级效应只在规模上显现：手工发布一个只有三个用户的项目完全可行，手工换型一条只做一种产品的产线完全可行。因此任何在小规模上做的验证性试点，都会得出”没有它也行”的结论，而且这个结论在试点范围内是正确的。丁格环节的裁撤决策，几乎全部是被一次正确的小规模试验推动的。误判提示：若一个环节在大规模上也可以被去掉，它落在丙格，是真冗余。

四条签名的组合是可查的，而且不需要本文的框架也能一条条去核。

八、阶差与它的清点手册

主读数：阶差 g。 g ＝ round(log₁₀(移除后代价 / 当前代价))。它是一个整数，取值通常在 0 到 3 之间。用整数而不用连续比率，是有意的：本文主张的是量级差，不是百分比差；把 4.4 倍和 6.6 倍区分开没有意义，把 4 倍和 400 倍区分开才有意义。

“代价”的口径必须先定死，否则 g 不可比。本文规定：代价 ＝ 达成同一交付物所需的总工时。不用金额（价格会随谈判变动），不用周期（周期受并行度影响），不用人数。若某条链上工时不可得，可用”操作次数”替代，但必须在报告中写明，且同一条链上不得混用两种口径。

配套读数：投入占比 f。 不进入交付物的那一类环节所吸收的投入，占全链投入的比例。f 不是阶差，它回答的是另一个问题：这条链上有多少力气花在了内容账读数为零的地方。f 高而梯子全零，说明这条链上确实存在大量冗余；f 高而梯子上有 g≥1，说明这条链的代价结构依赖于一批不被计量的环节。

清点手册（一份到底，不另设第二份）

读数名：阶差　符号：g；投入占比　符号：f

g 的定义：移除该环节后达成同一交付物所需总工时，与当前所需总工时之比，取以十为底的对数并取整。

f 的定义：产出不进入交付物的环节所吸收的投入量，除以全链投入量。投入量的口径与 g 一致（工时，或统一替代为操作次数）。

粒度：什么算”一个环节”——以能够被单独裁撤的最小单位为准。一个恰好在边界上的例子：一位既写功能代码又维护发布流水线的工程师——他不是一个环节，他的两项工作是两个环节，须分开计入；判定看的是工作能否被单独砍掉，不是人能否被单独辞退。

编码规则（六条）：① “交付物”必须先写死并公示，不得在计算过程中改动；② 移除后的代价必须给出计算依据（历史对照、并行组、外部报价、专家估计），并注明依据类型；③ 专家估计的 g 只保留整数且必须由至少两位独立给出，取较小者；④ 移除多个环节时不得把各自的 g 相加——量级差不可加，须重新估计组合移除的代价；⑤ 若移除后交付物发生变化，该环节退出本梯子，不计 g；⑥ g 的估计必须在裁撤决策之前做，事后补做的不计入。

表头：环节名｜产出是否进交付物｜移除后交付物是否变化｜移除后代价比 R｜阶差 g｜依据类型

不适用：无法定义单一交付物的链（研究、艺术创作、公共服务的一部分）；以及规模处在量级效应显现点以下的链（见签名四）。

阈值（一份到底）：g ≥ 1 判为阶功。第七节、第十七节、以及第十七节末那条赌注，用的都是这一个数。

正交性自查：必须举得出一个”现行主要指标最好看而 g 最难看”的真实例子，也要举得出反例。本文所举来自实测：样本中产出规模最大、内容账读数最高的那几个仓（产物存量两万行以上），其非产物投入占比反而低于中位数；而产物存量最小的那个仓（四百余行），其非产物累计投入是产物存量的五倍半。g 与规模、与产出量、与内容账读数都不同向——不过这一条本文只做到了方向上的分离，没有做到统计上的分离，实测的相关系数未达预设阈值（第十节 H3）。

九、一句可以拿去问工时表的问话

判据必须是一句能拿去问记录的话，不是一句拿去问人的话：

把这一环整个拿掉，达成同一件交付物的代价是多几成，还是多一个数量级？

这句话里没有”应当”、没有”重要”、没有”关键”、没有”核心”。它问的是一件可以查的事：一个比值落在哪一档。而它的可查性有一个前提，这个前提本身就是本文最稳的一层主张：这条链上得有一份记录写着”绕过这一环时，完成同一件事需要多少工时”。多数链上没有这份记录，而这件事本身是可查的。

拿五个具体场合跑一遍，五个答案互不相同：

场合一·产线的换型优化。 交付物是同一批零件，移除该环节后交付物不变；代价从”每次换型四小时”变成”每次换型四小时”——但真正变化的是可接订单的批量下限，从三百件回到三千件。答案：在固定批量下 g＝0，在实际订单结构下 g＝1。这一例说明 g 依赖于交付物的定义边界，而这正是编码规则第①条要先写死交付物的原因。

场合二·软件的发布流水线。 交付物是同一个版本的软件包，移除后交付物完全不变；代价从一人四十分钟变成三人两天，g＝2。答案：跨两个量级。这也是全文最干净的一个例子——因为这里的”移除后代价”不是估计，是这个项目自己历史上的真实读数。

场合三·批发环节。 交付物是到达零售端的同一批货。移除后交付物不变；代价是零售端自行向数十家生产端下单、排程、垫资、承担缺货。答案：g 在 1 到 2 之间，且它随零售端的分散度上升而上升——这解释了为什么批发在集中度高的品类里确实是抽成，在分散品类里不是。同一个环节在两个品类里落在不同的格，这不是模棱两可，这是本文的直接推论。

场合四·第三方资质审核（查出来的一例，并且它改了本文）。 本文原以为这是一个干净的丁格例子。查下去发现问题：移除资质审核之后，交付物本身变了——市场上出现了不合规的同类物，“同一件交付物”这个前提不再成立。按编码规则第⑤条，它退出本梯子。答案：不适用本读数。这一例逼着本文把”交付物是否变化”从一句提示提升为一道前置闸（第六节第二步的第一句），并加进了不适用清单。

场合五·代码仓中不进入发布包的那一部分（查出来的一例，见下节）。 交付物是发布出去的软件包，这部分文件按定义不进入其中；而它吸收的累计投入是发布包当前存量的三倍到七倍半。答案：投入占比约三分之二，十二个样本无一例外落在同一个量级。这一例给了本文最强的一块正面证据，也给了两条不利结果。

五个答案里，场合四与场合五不是从命题推出来的，是查出来的，并且两个都反过来改了本文——一个加了一道前置闸，一个删掉了两句更强的话。

十、真跑：十二个公开仓、四条假设两条落空

纸面上的判据只证明作者想清楚了。以下是一次用公开数据做的预注册检验。取数之前，假设、变量、阈值先行存档，此后未动；两条落空的结果照实写进正文，并交代它们各自改了什么。

为什么选这个场景。 软件项目是少数几类可以精确划出”什么进交付物、什么不进”的链之一：发布出去的包里有哪些文件，是写死在打包配置里的，不容争辩。而全部投入的历史公开可查。

操作化。 产物＝发布包实际分发的源码目录；非产物＝其余全部文本文件（测试、文档、构建与发布配置、基准、脚本、模板）。产物存量 P＝当前版本产物目录的文本行数；非产物累计投入 N＝全部历史中非产物路径的新增行合计；R＝N/P，阶差 g＝round(log₁₀R)。

结果。

H1 成立：R 的中位数为 4.42（阈值 ≥3）。而比中位数更值得看的是分布：十二个仓的 R 全部落在 3.22 到 7.65 之间，g 全部等于 1，无一例外。产物存量相差五十倍（428 行到 22,398 行）、项目年龄相差十几年、维护者规模相差一个数量级，而这个比值稳定地落在同一档里。

H2 落空（第一条不利结果）。 预注册时押的是”非产物投入占比随项目生命周期上升，晚期与早期之比中位数 ≥3”，即脚手架是随项目老化而膨胀出来的。实测：晚期与早期之比的中位数只有 1.34，而且十二个仓里有四个反而下降（0.61、0.63、0.86、0.88）。

这条落空删掉了本文原本会写下的一句更强的话：“阶功环节是项目成熟之后长出来的负担，因此早期精简、后期膨胀是自然规律。”实测说：不。早期的非产物投入占比中位数已经在 0.6 上下——这一类环节不是慢慢长出来的，是一开始就在那里的。它改变了本文的一条实践推论：不能建议”早期不必投入，等规模上来再补”。在这十二个样本里，从第一年起，六成以上的力气就已经花在了内容账读数为零的地方。

H3 落空（第二条不利结果）。 预注册时押的是”大项目摊薄脚手架”，即 R 与产物规模负相关，ρ ≤ −0.30。实测 ρ＝−0.252：方向对，未达阈值，按预注册判为不成立。

这条落空删掉了另一句更强的话：“阶功的占比随规模下降，因此它主要是小组织的问题。”实测只支持一个弱得多的说法：规模摊薄可能存在，本文的样本不足以支持它。它同时削弱了本文在第八节做的正交性主张——本文只做到了方向上的分离，没有做到统计上的分离，这一点如实记在第八节的自查栏里。

H4 成立：R 与提交总数的等级相关为 +0.266（阈值 |ρ|<0.40），读数与项目活跃度正交。这一条值得单说，因为它与本文的另一条读数形成对照：同一条产线上此前提出的一个读数在人的层面被活跃度污染过（相关系数超过 0.5），而 R 没有。这不是本文写得更好，是这两个读数的分母不同：一个的分母是人的交付次数，一个的分母是产物存量。分母选在哪里，决定一个读数干不干净。

这一节最值得记住的一件事，不是任何一条假设的成败，是那张表的整齐。 十二个独立演化、互不协调的项目，在”不进交付物的投入是进交付物的存量的几倍”这个问题上给出了同一个答案：三到七倍，一个量级。没有任何一份行业标准、任何一条会计准则、任何一个绩效制度要求过这个比值，而它自己收敛了。本文不敢主张这个数有普遍性——样本全部来自同一个语言生态的中小型库，这是一个很窄的窗口。但这个收敛本身值得被记下来，因为它是可以被别人在别的生态里立刻否证的。

代理变量与局限，明写。 路径分类是对”是否进入交付物”的代理，个别项目的打包配置会把文档一并分发，本文未逐仓核对；行数是对投入的代理，一行文档与一行测试代码的工时不等；本次读数是投入占比 f，不是阶差 g——本文没有在这个样本上直接测出 g，因为”移除后代价”需要真实的移除实验，而公开历史里没有这样的对照组。第十七节给出的最小实验正是为了补这一块，而在它被做出来之前，本文关于 g 的部分只有第九节场合二那一个真实读数支撑。这是本文最薄的一处，如实写在这里。

十一、在别处的兑现

下面十二处，可以据此在各自领域预测出一件具体的事。

增值税与转型服务。 一家企业把自己的换型工艺输出给同行收取服务费，这笔收入全额计税；而同样的工艺用在自己厂里，增值为零。预测：工艺服务外部化的比例，与该行业的税制中允许的内部研发抵扣力度负相关——不是因为避税，是因为内部做的那一份根本没有科目。

国民经济核算。 不进入最终产品的投入被记为中间消耗，从增加值里扣除。预测：一个经济体的”效率改善”活动占比越高，它的增加值统计越低估其真实产出能力；这个偏差在制造业升级期最大，而它会被误读为”生产率悖论”。

平台的基础设施与商家服务。 平台向商家收的费用里，有一部分对应的是不进入任何一笔交易的东西（风控、清结算、争议处理）。预测：把这部分单列计费的平台，其商家投诉中”抽成过高”的占比高于打包计费的平台——因为单列使它在商家的内容账上现形为一笔纯支出。

医院的辅助科室。 病案室、院感、设备维护不出现在任何一份病历的诊疗记录里。预测：以科室收入为核心的绩效制度下，这几个科室的人员流失率高于临床科室，而流失后一年内的院内感染率与设备故障停机时长上升。

建筑的施工组织设计。 它不进入竣工物，图纸上没有它。预测：施工组织设计投入占比高的项目，其工期偏差的方差显著小于投入低的项目，而工程量清单上两者无差别。

威慑安排。 它的产出是”没有发生的事”。预测：以事件计数为绩效的安全部门，其预算在长期无事件期后被削减的概率高于有事件期，而削减后两年内事件率上升——这是签名三与签名四叠加的直接结果。

光学系统的准直与装调。 装调不改变任何一片镜片的参数，它不进入物料清单。预测：同一套光学设计在两条产线上的成像质量差异，主要由装调工时解释，而两条产线的物料成本几乎相同。

数学教学与记号。 见第一节第三件。预测：引入一套新记号的教学单元，其”内容覆盖量”（大纲条目数）不变而学生完成同类习题的用时下降一个量级；而在以大纲条目数计量教学工作量的制度下，这个单元会被评为低效。

法律的示范文本与标准条款。 标准条款不改变任何一笔交易的实质，双方仍可自由约定。预测：有成熟示范文本的交易类型，其单笔谈判耗时比无示范文本的类型低一个量级，而争议率不因此上升。

供应链的标准化包装与托盘。 它不进入产品。预测：推行统一托盘标准的供应链，其装卸工时下降一个量级，而任何一方的产品报价不变——因此这项收益不出现在任何一份采购谈判的桌面上。

开源软件的构建与发布工具链。 见第十节。预测：在两个功能相当的项目之间，发布频率的差异主要由非产物投入占比解释，而与产物代码规模无关。

企业内部的模板与规章。 它可以从既有规章推出（逻辑上多余），而没有它每个部门要各自推一遍。预测：撤销内部模板体系后，跨部门协调会议的次数上升一个量级，而各部门的产出指标在半年内无变化。

十二处里，第 7、8、9 三处是各自领域已经知道这件事并各自有对策的地方；其余九处是尚未把它当作同一件事的地方。本文主张：这十二处是同一件事。

十二、三处被迫让步

第一处·光学削掉了”内容账恒为零”的普适性。 光学里有一条硬结论：级联的传递函数模值不大于一，纯被动元件对信息的贡献恒为非正。但同一门学问也给出了反例——引入新的先验知识或新的能量，信噪比可以真的提高：自适应光学的变形镜、结构光照明、计算成像。这些不是把损失减小，是把信息量真的加上去。

它删掉的那句更强的话是：“凡是不进入交付物的环节，其内容增量必然为零。”改写为：内容增量为零，是”产出不进交付物”这个判定的结论，而不是”不进交付物”这件事的普遍属性。一个环节可以不进交付物而仍然改变了交付物的性质——它此时属于乙格，不是丁格。第七节那张表的分格因此不是修辞，是必要的：没有这一格，本文会把一切辅助活动都判成阶功，那是明显错的。

这是一处真削弱：它把本文能主张的范围从”辅助环节”缩到”辅助环节中交付物确实不变的那一部分”，而后者需要逐个去查，不能推定。

第二处·战略学动了本文的价值排序。 本文全篇隐含着一个倾向：阶功被低估，因此应当把它计量出来、写进账本。战略学给出的反例是明确的：威慑的效果一旦被精确计量并公开，威慑本身就会被削弱——因为对手据此知道了哪些行动的成本被高估、哪些被低估。同理，一套内部模板体系的阶差一旦被算清并公示，最先做出反应的不是维护它的人，是想绕过它的人。

它删掉的那句更强的话是：“阶功应当被计量并公开。”改写为：阶功应当被计量；是否公开、向谁公开，是一个独立的决定，而且在存在对抗方的链上，公开会毁掉被计量的那样东西。

这一处动的是本文的价值排序：本文原本把”计量”与”公开”当作同一件事的两面，而它们不是。第十八节据此把伦理条款写成了”内部可算、外部不必公示”，这与本文最初的方向相反。

第三处·逻辑学削掉了阶差的可测性。 保守扩张与切消爆炸给了本文最硬的一块地基，而同一门学问也给了本文最难堪的一句话：证明长度的下界是构造出来的，不是测出来的。Statman 与 Orevkov 给出的是数学上的下界，它成立是因为形式系统的结构完全已知。而一条真实的价值链没有这种结构，移除后的代价必须靠估计，而估计正是本文全部读数最软的一环。

它删掉的那句更强的话是：“阶差是一个可以被测量的量。”改写为：阶差在有真实对照组的场合是可测的，在没有对照组的场合只能被估计，而估计的可靠性随 g 的增大而下降——恰恰是最值得关心的那些环节（g≥2），它们的 g 最不可靠，因为没有人真的把它们移除过。

这一处同时给出了本文最可行的处方：不要去估计 g，去记录已经发生过的移除。每一次裁撤、每一次外包、每一次系统下线，都是一次天然的移除实验，而多数组织不记它的前后代价。第十七节把这件事做成了赌注。

十三、九位容易被读成同一件事的邻居

其一·稳定的中间形态（Simon 1962）。 它说到哪一步：这是本文全部邻居里说得最早、最清晰的一位。他用两个钟表匠的寓言给出了一个纯粹的量级论证——一位把表装成可拆卸的稳定子组件，一位一气呵成；受同样频率的打断，前者的完工时间是后者的几千分之一。而那些子组件本身不出现在成品的功能里：一块表不会因为它是分段装的而走得更准。分离线有两处。其一在对象：他说的是系统的架构性质（近可分解性使复杂系统得以演化），本文说的是一个环节的归属（它在贡献账上该记多少）；他不问那些子组件算不算生产，因为演化没有会计。其二在判据：他没有把”内容增量为零”当作一道可查的、二值的前置闸——而这道闸正是把丁格与丙格分开的唯一办法，没有它，“稳定的中间形态”这个说法会把真冗余一并保护起来。判定形式：取一批不进入交付物的环节，按本文的两句话逐个判 g；若近可分解性的框架预测它们全部有价值、而实测中相当一部分 g＝0（本文预测存在丙格），则本文的分格是必要的；若全部 g≥1，则本文只是他那一节的一个计量版本，应当降级。

其二·瓶颈与约束理论（Goldratt 1984）。 它说到哪一步：系统的产出由约束环节决定，非约束环节的改进价值为零。这是最容易被拿来吸收本文的一位。分离线在定义的前提上：瓶颈的定义是”它一停，产出就停”；阶功的定义前提恰恰是它可以被移除而交付物不变。两者在形式上互斥。判定形式：找一个环节，移除它之后交付物照样达成、而总工时上升一个量级——若这类环节存在（本文的第九节场合二即是），则它不是瓶颈而本文说的东西存在；若一切”移除后代价跨量级”的环节经查都会导致交付物不达成，则它们都是瓶颈，本文多余。

其三·通用目的技术（Bresnahan & Trajtenberg 1995）。 它说到哪一步：某些技术的价值不在自身产出，而在它使下游一大批创新变得可行，因而其社会收益远超私人收益。分离线：它讨论的是一类技术（蒸汽机、电力、半导体、信息技术），本文讨论的是任一条链上的任一个环节，包括一份内部模板、一套测试夹具、一次换型优化——这些不是技术，也不产生外溢。判定形式：若”内容账读数为零而代价跨量级”的现象只出现在具有跨行业外溢的通用技术上，则它对；若在一条封闭的、无任何外溢的单一企业内部链上同样出现（本文的第一节第一件即是），则本文说的是一个更宽的结构。

其四·分工受市场范围限制（Smith 1776）。 它说到哪一步：分工的深度取决于市场规模，规模不足则精细分工不划算。这是本文签名四（小规模试点必然显示它可以去掉）的祖宗，而且早了两百多年。分离线：他说的是分工是否值得建立（一个事前的投资决策），本文说的是已经建立的分工在贡献账上如何被记（一个事后的计量问题）。两者可以同时成立且互不覆盖。判定形式：若在规模足够、分工确已建立的链上，那些环节在内容账上有非零读数，则计量问题不存在，本文多余；若规模足够而读数仍为零（本文的实测即是），则本文说的是他没有处理的那一段。

其五·记号法免除大脑劳作（Whitehead 1911）。 它说到哪一步：好的记号使不必要的思考被免除，从而把心智解放到更高的问题上。分离线：这是一个关于认知负荷的观察，没有量级判据，也没有归属主张；本文给的是一个可查的整数和一条排序的梯子。判定形式：若”好记号”的价值无法被写成一个代价比，则它是一句洞见而非一个读数，两者不冲突；若有人给出了记号的代价比而它与本文的 g 高度相关，则本文是它的重述。

其六·消融实验（机器学习的标准做法）。 它说到哪一步：逐个移除部件，看指标掉多少，以此排出部件的重要性。这是本文的移除阶梯在方法层面最近的邻居，近到必须正面处理。分离线在被观测的量上：消融实验看的是指标（交付物的质量）掉多少，本文的第一句话恰恰是交付物必须不变——交付物一变，这个环节就退出梯子。消融实验测不出阶功，因为阶功在消融实验的坐标轴上恒等于零。判定形式：对同一批部件，同时做消融（看指标）与移除计时（看工时）；若两组排序高度一致（等级相关超过 0.7），则本文是消融的一个改名；若两组排序分离——本文预测分离，且预测那些消融排名最低的部件里藏着 g 最高的几个——则两者测的是两样东西。这一条本文没有跑，列为交出去的洞。

其七·间接成本与共同成本的分摊（成本会计的常规做法）。 它说到哪一步：不能直接追溯到产品的耗费，按某个动因分摊到产品上。分离线：它处理的是耗费的归集（这笔钱花在哪个产品上），本文处理的是贡献的计量（这个环节值多少）。一个环节可以有巨额间接成本而 g＝0（丙格），也可以几乎没有耗费而 g＝2（一份写了两天、用了十年的模板）。判定形式：取一批环节，分别算它们的间接成本占比与 g；若两者相关超过 0.7，则本文是分摊的改名；若不相关（本文预测不相关，因为一个量的是花掉的钱、一个量的是省掉的量级），则不是。

其八·技术债与平台工程（软件工程的实务说法）。 它说到哪一步：不做这些工作会在未来付出更高代价；平台团队的价值在于降低其他团队的认知负荷。这是本题的实务正主，而且它的直觉与本文几乎一致。分离线：它是一个比喻加一套实践，没有给出可查的判据——“技术债”的利息从未被定义成一个可清点的量，“认知负荷”没有单位。本文给的是两句可查的话与一个整数。判定形式：若实务共同体已经在用某个等价的整数读数，则本文是它的形式化而非新东西，应当降级为该实践的一节；若实务里只有比喻而无读数（本文的判断），则本文补的是那一步。这一条对本文不利的可能性最高，也最容易被一位实务读者当场否掉——这正是把它写在这里的原因。

其九·增值税的进销项机制（现行税制）。 它说到哪一步：这是”贡献＝结果的差额”这条前提最彻底、最有强制力的实现，覆盖了全球多数经济体。分离线：它按定义把不改变交付物的活动记为零增值，而这不是它的疏漏，是它的设计——一个按结果差额课税的制度，必须假定贡献等于结果差额，否则税基不闭合。判定形式：本文与它不冲突，本文主张的是它的读数不能被当作贡献的读数来用。若能找到一个税制，对不改变交付物而降低社会总工时的活动给予正向确认，则这条前提并非普遍；若找不到（本文预测找不到），则第三节那块地基的强度得到一次确认。

最近的一位是第一位。Simon 在六十多年前就用两个钟表匠讲清了这件事，讲得比本文简洁。本文之所以仍不被他吸收，只有一条理由：他给的是一个关于系统为什么能存在的解释，本文要的是一个关于某个环节该记多少的判据；而判据需要一道他没有设的闸——先问交付物变不变，再问代价差几个量级。这条差别是可判的，判法写在上面。

十四、同题三篇各管一段

同一道题，本栏已经出过两篇。三篇的三门学科两两不重，答案也不重，但读者极易把它们读成同一件事的三种说法。这里逐条分清，并给出可以分出胜负的观察。

与《凭基》（论逐环节归属在数据上欠定）。 那一篇说：同一时刻并存着两套同样合法的结算基准，换一套，同一份增值就落到别人头上。它管的是分配的不确定。本文管的是计量的缺项：本文不争这一份该记给谁，本文说的是这一份根本没有进任何一本账。判定形式：取一条链，先按那一篇做基准置换，再按本文做移除阶梯。若某环节在两套基准下读数都为零而 g＝2，则两篇各自成立且互不覆盖（那一篇的装置读不出它，因为零换成零还是零）；若一切 g≥1 的环节在某套合法基准下都能显出非零读数，则本文是那一篇的一个特例——换对了基准就能看见的东西，不需要一条新的梯子。

与《退计》（论已结算的归属尚未闭合）。 那一篇说：一份被计入的贡献可以在此后的一次归并中被追溯退出计量。它管的是时间上的开口。本文管的是从一开始就没有入口：阶功不是先被记入再被撤销，它从来没有被记入过。判定形式：查一个环节的历史账。若能找到它曾经被计入、后来被移除的记录，那是那一篇说的东西；若查遍全部账本从未出现过任何一笔与它对应的贡献记录（本文预测多数丁格环节如此），则是本文说的东西。两者可以在同一个环节上先后发生——先无入口，某次改革给它建了一栏，再在下一次归并中被退计——但它们是两个独立的事件，不可合并计数。

三篇合起来是一张互补的清单，不是三个竞争的答案。一份贡献要真正落到某个环节头上，须过三关：它得进得了账（本文）；进账之后归属得定得下来（《凭基》）；定下来之后得关得上口（《退计》）。三关各有各的失败方式，而现行制度只在第二关上有成熟的争论。判定形式：若某条链上三个读数高度相关（两两等级相关超过 0.6），说明三篇其实是同一件事的三种测法，应当合并为一篇；若三者互不相关（本文预测互不相关，理由是三者的分母分别是产物存量、增值份额、交付批次，量纲与口径都不同），则三关成立。这个检验很便宜，任何人拿一条链跑一遍就能做，而它可以一次否掉三篇里的两篇。

与本栏此前另两篇的关系，一句带过即可。《隔计》说的是价值被记在了本行当的账外，本文说的是它在任何账内都没有栏；《垫指》说的是不留痕的动作，那是关于痕迹的，本文是关于交付物的。两者与本文在同一批样本上应当不相关，理由同上：分母不同。

十五、更下面的那块地：内容即价值

第十三节的九位邻居各自看不见一样东西，而看不见的方式是同一种。

约束理论把产出是否停止当作给定的判据，因此看不见”产出照常而代价跨量级”这一类——一旦承认，它的非约束环节价值为零这条推论就不成立了。

消融实验把指标下降当作贡献的度量，因此看不见指标不变的贡献——一旦承认，它输出的重要性排序就漏掉了一整类部件。

成本会计把耗费的归集当作问题的全部，因此看不见贡献的缺项——一旦承认，它就必须解释为什么有的耗费对应着不存在的收益栏。

增值税把结果的差额当作税基，因此看不见不改变结果的贡献——一旦承认，它的税基就不闭合了。

通用技术理论把外溢当作这类价值的来路，因此看不见无外溢的封闭链上同样发生的事——一旦承认，它的政策处方（补贴外溢）就找错了对象。

五行背后是同一件被当作给定的东西：一个环节的价值，等于它给结果带来的差额。本文把这块地基叫作内容即价值。

这块地基之所以牢，正因为吵得最凶的几派，脚都踩在它上头。主张中介创造价值的人举的是”它改善了匹配、降低了搜寻成本”，主张中介抽成的人举的是”它没有改变商品本身”——双方都在同一本账上找证据，只是找的方向相反。正因为所有人都站在上面，所以没有人回头看它。

推翻它的不是一个哲学论证，是那件工艺：一次保守扩张的内容增量被证明严格为零，而消掉它会使证明长度非初等地爆炸。这句话在数理逻辑里是标准结论，在别处却从未被当作关于贡献计量的陈述。

于是本文提出的那一类东西——阶功——不是一个新的比率，是一类在三家账本里都不设字段的东西：它有人做、有工时、有排班表、有薪水，而它在任何一本贡献账上的正确读数都是零。删掉本文这套读数，它不是变得难测，它是在任何一张现行报表上都不作为一样东西存在；它只会以”这个部门看不出产出”或者”这一环就是在加价”这种形态出现，被读成冗余或抽成。

这里必须诚实地放一句：它到底是一类此前无名的东西，还是一个既有直觉的形式化，本文自己没把握。主张前者的理由是上面那一段；主张后者的理由同样在手边——技术债、平台工程、稳定的中间形态、通用技术，四者在各自的地盘上都逼近过它。判法写死在第十七节第六条，谁都可以照着去判。

十六、五处不适用

其一·无法定义单一交付物的链。基础研究、艺术创作、部分公共服务——“同一件交付物”这个前提不成立，移除阶梯的第一句话就问不下去。硬把它们套进来，会得到一个由分析者自选交付物决定的 g，那不是读数，是立场。

其二·移除后交付物会变的环节。见第九节场合四。这类环节退出梯子，不是因为它们不重要，恰恰相反——它们通常是最重要的，而现行的内容账已经能算它们。把它们混进阶功，会让本文的主张显得比实际强，那是本文最容易犯的自利错误。

其三·规模在量级效应显现点以下的链。见签名四。一个只做一种产品、只有三个用户、只服务一个客户的链，其阶功可能真的为零，而这不是错觉。本文不主张”看不见的价值一定存在”——本文主张的是它在小规模上真的不存在，在大规模上真的存在，而多数验证在小规模上做。

其四·存在对抗方且计量结果会被公开的场合。见第十二节第二处让步。此时计量本身会改变被计量的东西，读数在公开的那一刻失效。

其五·把 g 用于评价个人。一个人可以同时承担丁格与甲格两份工作（第八节的边界例），而 g 是环节的属性不是人的属性。这一条在第十八节写成硬条款。

十七、翻车条件与一次可以当场做的移除实验

先写出最强的竞争解释，不挑好打的：“其实不就是间接成本吗——本来就有一大堆管理费用，你换了个说法。”以及第二强的：“其实不就是分工的好处吗——亚当·斯密两百多年前就讲完了。”

以下六条，每一条都必须在这两种说法被控制住之后仍然成立，否则不算数。

条款一（针对”间接成本”）：在同一制度环境内取同一行业的至少六个可比单元，控制间接成本占比后，若不进交付物环节的投入占比 f 与该单元的单位交付工时之间不存在剂量-反应关系，则本判断为伪——届时这些投入应归因于管理冗余，而不是代价结构。样本纪律：严禁用两个国家或两个行业的对比充数；关键混淆变量须同质。

条款二（针对”分工的好处”）：取一批规模已经足够、分工确已建立的链，查它们的贡献账。若不进交付物的环节在这些链上普遍有非零的贡献读数（有单独计价、有产出记录、有可归属的凭证），则计量缺项不存在，本判断为伪。本文的实测在软件这一个生态上给出了反面证据（十二仓无一有此类记录），但一个生态不足以支撑普遍性，这一条需要在制造业与服务业各复核一次。

条款三（低成本可实做，所需数据多数机构已有）：任取一家有裁撤记录的组织，调出最近三年被裁撤或外包的职能清单，逐项查两件事：裁撤当时的交付物有没有变，以及裁撤后十二个月内同一交付物的单位工时有没有变。若交付物不变而单位工时上升不足三成的比例超过八成，则阶功在这家组织不存在，本判断在此处为伪。所需数据在多数组织的工时系统与人事记录中已经存在，一个人一个月内可以做完。

条款四（正向读数，写成次序而非相关）：本判断预测代价上升晚于裁撤，且晚一个完整的交付周期以上（签名二）。取十起以上有明确日期的裁撤事件，检查单位工时的上升出现在裁撤后的第几个交付周期。若上升出现在裁撤后的同一周期内（即立刻显现），则本判断的时间结构为伪——届时那些环节应当被识别为瓶颈而非阶功，而瓶颈已有成熟理论。

条款五（针对第三层主张）：本文的第三层主张不依赖阶功这个构念，也不依赖那条梯子——多数组织的记录里不存在”绕过某一环时完成同一件事需要多少工时”这个字段，而设有该字段的组织，其裁撤决策的事后逆转率显著更低。取二十家不同行业的组织，清点其工时系统或流程文档中是否存在该字段。本文预测低于百分之十。若高于三成，第三层为伪，前两层不受影响。

条款六（针对本文自己的定位）：第十五节承认本文不确定阶功是新东西还是既有直觉的形式化。判法是：若某个既有读数与 g 在同一批样本上的等级相关超过 0.7，则阶功是那个读数的改名。候选已列出三个，逐一去比：间接成本占比、消融实验的重要性排序、约束理论的瓶颈识别结果。本文预测三者与 g 的相关都低于 0.4，理由分别见第十三节其七、其六、其二。这条若不成立，本文即退为那个读数的一次跨域推广；前两层的诊断力不因此减损。

一次可以当场做的移除实验（一个团队一周内可做完，而它直接补上本文最薄的那一处）：取任意一条有稳定交付节奏的链，选一个产出不进交付物的环节，在一个完整交付周期内把它关掉（不是裁撤，是暂停），记录三件事：交付物有没有变、这一周期的总工时是多少、与前三个周期的均值相比是多少。本文预测：交付物不变，而总工时上升的比例落在一个量级差上，即接近或超过三倍。若上升不足五成，本文在这条链上被推翻；若交付物变了，这个环节本来就不在梯子上，须换一个重做。这个实验之所以值得单列，是因为第十节坦承本文没有直接测出 g——只有真实的暂停能给出 g，而它便宜到任何一个团队都可以在一周内证伪本文。

写死日期的赌注：到 2031 年 12 月 31 日，在中国大陆、欧盟、美国三地面向企业的通用管理会计准则、绩效考核指引或政府采购评审规则中，将没有任何一份要求计量或披露”移除某一环节后达成同一交付物所需工时的变化”或等价内容。

什么不算命中，一并写死：① 要求披露间接成本、管理费用、共同成本分摊的条款不算——那是耗费的归集，不是贡献的计量（第十三节其七已判）；② 要求做业务连续性影响分析的条款不算——那问的是中断后果，前提是交付物达不成，属于瓶颈而非阶功；③ 组织自愿在年报或社会责任报告里做的说明不算——必须是准则、指引或评审规则；④ 学术界与行业协会的建议稿不算——必须是生效文本。

如果这条判断被证伪，我们会学到什么。若条款三失败（裁撤后单位工时普遍不升），说明这类环节的价值确实是组织的自我叙事，那么当前普遍存在的”精简”阻力应当被重新理解为部门利益而非结构损失——这个结论有实践价值，而且方向与本文相反。若条款五失败（多数组织其实已有该字段），说明问题不在计量缺失而在计量不被采信，那是一个完全不同、也更容易处理的问题。

十八、阶差进考核之后

必须先说最坏的一种，因为它几乎一定会发生。

反噬预言：阶差一旦进入考核，最省事的达标方式不是把代价结构做实，而是把交付物重新定义。g 的分母是”达成同一交付物的代价”，而”同一交付物”由谁定义、定得多细，直接决定 g 的大小。把交付物定义得越细（把”发布一个版本”改成”发布一个经过全套回归测试的版本”），越多的辅助环节会变成”移除后交付物就变了”，从而退出梯子、免于被裁；把交付物定义得越粗，越多的环节会显出高 g。双向都可以做手脚，而且两边都有正当理由。编码规则第①条要求交付物先写死并公示，只能挡住事后修改，挡不住事前定义。

我看不到出口。任何要求”交付物由第三方定义”的规则，都可以被”业务的事外人不懂”这一句话架空——而这句话在多数情况下是真的。

第二种反噬稍轻但更普遍：计量阶差会诱发对暂停实验的抵制。第十七节那个实验是本文最有力的工具，而它对被暂停的那一方是一次公开的风险敞口——如果暂停期间什么也没发生，这个环节就此被砍；如果出了事，是它的责任。在任何有问责文化的组织里，没有人会主动申请做这个实验。这一条的对策只有一个方向：把实验的发起权与后果的承担者分开，且明写暂停期内的任何异常不追究被暂停方。

伦理三条（因为 g 是一个会被拿去裁人的读数，缺一条本文不可发表）

第一条·这个读数指的是环节，不是人。一个人可以同时承担丁格与甲格的工作，g 是工作的属性。把某人的岗位 g 值当作他的价值，会系统性地误伤那些同时做两类工作的人——而这类人恰恰是多数。本文明文禁止把 g 用于个人评价。

第二条·不得为了把这个数做好看而改动交付物的定义。见反噬预言。一旦某个环节的存废取决于 g，交付物的定义就成了利益攸关的对象；在安全、医疗、食品、金融清算这几类场合，不得为了保住或裁掉一个环节而重新划定交付物的边界——这几类场合的交付物定义同时承担着责任划分的功能，动它会同时毁掉别的东西。

第三条·凡已依据 g 裁撤过某一环节的，须保留裁撤前的工时基线并在十二个月后复核。这一条是第十二节第三处让步的直接后果：g 在多数场合只能被估计，而每一次裁撤都是一次天然的移除实验。不留基线就复核不了，复核不了就永远不知道估错没有。并且，复核结果无论支持还是推翻当初的估计，都必须对被裁撤方公开——没有复核通道的 g，是一个只对做裁撤决定的一方有利的读数。

十九、本文自己的阶差是多少

用本文的判据检本文自己，会得到一个不太舒服的结论。

本文的内容增量为零。本文没有提出任何一条新的经验事实：保守扩张与切消爆炸是数理逻辑的标准内容，传递函数级联是光学的教科书内容，威慑效果不可观测是战略学几十年的老问题，第十节那些代码仓的数据谁都可以自己跑一遍。本文所做的全部事情，是把它们放在同一句话里。按第七节那张表，本文自己落在丁格或丙格——而落在哪一格，取决于一个本文无法自答的问题：删掉本文，达成同一件事（把这三样东西认作一件事）的代价，是多几成，还是多一个量级？

具体后果有三个。

其一，本文不能用自己的框架为自己辩护。说”本文虽然没添新内容但降低了后来者的代价”，正是丁格环节最标准的自我辩护词，而本文第七节签名三说得清楚：这种辩护在事前没有证据。本文没有资格例外。

其二，本文的 g 有一个可查的判法，而且很便宜。若在本文发表之后的若干年里，有人独立地把这三样东西认作一件事而完全没有用到本文，本文的 g 就是 0——它是丙格，是可以被移除的冗余。这个观察不需要本文配合，也不需要引用统计，只需要看有没有人绕过它走到同一处。

其三，一条自减条款。本文提出的整套装置，其价值不由本文自评，也不由引用量决定。判定应当在一个写死的日期上做：若到 2031 年 12 月 31 日，第十七节那个”一周内可做完”的暂停实验被至少三个独立的团队在三个不同行业执行过，而三次的工时上升都不足五成，本文接受被整体推翻，并请后来者不必为它保留一栏。本文不为自己保留”框架仍有启发意义”这类不可判定的辩护。

二十、收束，与三处解不开的地方

一个环节在最终交付物里一个字也没添，这件事在现行的一切核算制度上都读作零：增值税读作零，增加值核算读作零，专利计数读作零，绩效表的产出栏读作零。而数理逻辑给出的那对结论说明，这个零可以是精确的、可证明的，同时这样东西决定着达成同一结果的代价属于哪一个量级。

因此，区分抽成与创造的问题，不能再只问”它给成品添了什么”。要问的是两句：移除它，交付物变不变？如果不变，代价是多几成，还是多一个数量级？第一句不变而第二句跨量级的，是阶功——它在任何一本内容账上都不存在，而它决定着整条链贵不贵。

而处方不是把它算进内容账——第十二节第二处让步挡住了这条：在有对抗方的场合，算清并公开会毁掉被算的东西。处方是三件小事：把交付物写死，记录每一次已经发生的移除，以及在裁撤前留下工时基线。三件都不需要新的制度，只需要不丢掉已经产生的记录。

本文交出去三处解不开的地方：

其一，阶差在最重要的地方最不可靠。g≥2 的环节，正是从来没有人敢移除的那些，因此它们的 g 全部是估计值。本文给了一个暂停实验来补，但暂停一个 g＝2 的环节，本身就是一次高风险行动——越值得测的，越测不起。本文没有绕开这一点的办法。

其二，多个阶功环节的组合无法计算。编码规则第④条禁止把各自的 g 相加，理由是量级差不可加；而本文也给不出正确的合成办法。一条链上有五个 g＝1 的环节，同时移除三个会发生什么，本文答不出来。这很可能是本文最要紧的一个缺口，因为真实的裁撤从来不是一次砍一个。

其三，消融排序与移除计时到底分不分得开。第十三节其六给了判法，本文没有跑。这是本文最应该跑而没跑的一条——它便宜、数据现成、而且它若不分开，本文就是消融实验的一个改名。把它明写在这里，是因为把它藏起来对谁都没有好处。

附录 A　阶差清点手册与移除阶梯空表

A.1　可直接复制的空表

A.2　填表前必须先填的三行

本次的交付物是什么：一句话写死，并注明写死的日期与公示范围（编码规则第①条）

代价的口径：总工时／操作次数（二选一，同一条链不得混用）

本次的环节划分粒度：以能被单独裁撤的最小单位为准，写明本次采用的单位

A.3　边界怎么处理（口径同第八节，此处不另设）

一人身兼两类工作 → 拆成两个环节，不按人计。

移除后交付物变化 → 该环节退出梯子，不计 g（第九节场合四）。

多环节同时移除 → 不得把各自的 g 相加，须重新估计组合移除的代价。

专家估计 → 至少两位独立给出，取较小者，且只保留整数。

事后补做的 g → 不计入（裁撤已经发生，估计不再独立）。

规模低于量级效应显现点 → 记为”不适用”，不记 g＝0（两者含义相反）。

A.4　阈值（全篇唯一）

g ≥ 1 判为阶功。这个数在第七节、第十七节以及末尾那条赌注里是同一个，不另设。

A.5　禁止事项

不得把 g 用于个人评价（第十八节伦理第一条）；不得为改变 g 而重新定义交付物（第二条）；已依据 g 裁撤的须留基线并十二个月后复核（第三条）。

附录 B　这一次实跑：预注册原文与逐仓读数

B.1　预注册全文（先于取数与统计存档，此后未动）

被检验的判断：一条链上存在一类环节，其产出不进入最终交付物（内容账上增量为零），而它吸收的投入并不小。

操作化：产物＝发布包实际分发的源码目录；非产物＝其余全部文本文件；产物存量 P＝当前版本产物目录的文本行数；非产物累计投入 N＝全部历史中非产物路径的新增行合计；R＝N/P；g＝round(log₁₀R)。

四条假设与阈值： - H1：十二仓的 R 中位数 ≥ 3 - H2：非产物投入占比随生命周期上升，晚期／早期之比中位数 ≥ 3 - H3（最愿意押）：R 与产物规模负相关，ρ ≤ −0.30 - H4（正交性）：R 与提交总数正交，|ρ| < 0.40

不利结果的处置：任一条落空，都要在正文交代它把本稿改成了什么样。

B.2　结果汇总

H1 成立：R 中位数 4.42；十二仓 R 全部落在 3.22–7.65，g 全部为 1，无一例外。

H2 落空：晚期／早期之比中位数 1.34（阈值 3）；逐仓为 1.34、3.14、0.86、1.43、1.33、0.61、0.88、0.63、0.96、1.35、1.42、1.72，其中四仓下降。早期非产物投入占比的中位数已在 0.6 上下。

H3 落空：ρ(产物规模, R)＝−0.252（阈值 ≤−0.30），方向对而未达阈值。

H4 成立：ρ(提交总数, R)＝+0.266（阈值 |ρ|<0.40）。

B.3　两条落空各自改了什么

H2 落空 → 删去”阶功环节是项目成熟后长出来的负担”这句更强的话；改为”它从最早期就在那里”，并撤回”早期不必投入、等规模上来再补”这条实践推论。

H3 落空 → 删去”阶功的占比随规模下降，因此主要是小组织的问题”；本文的正交性主张降级为方向上的分离，未做到统计上的分离，已如实记入第八节自查栏。

B.4　本次真跑没有做到的事（写在最前面也不为过）

本次测的是投入占比 f，不是阶差 g。g 需要真实的移除对照，而公开历史里没有对照组。因此本文关于 g 的经验支撑只有第九节场合二一例。第十七节的暂停实验正是为补这一块而设，它尚未被执行。

B.5　代理变量与局限（明写）

路径分类是对”是否进入交付物”的代理，个别项目会把文档一并分发，本文未逐仓核对打包配置；行数是对投入的代理，一行文档与一行测试代码的工时不等；样本全部来自同一语言生态的中小型库，不可外推数值。本次真跑证明的是”不进交付物的投入普遍占到全部投入的多数，且这一比值跨项目稳定”，不证明这个比值可以搬到别的领域。

B.6　可复算说明

数据来源为十二个公开代码仓库的完整历史；两项计算分别对应版本控制系统的文件清单与变更行数统计两项标准功能；分类规则、粒度与阈值见 B.1 与附录 A。本节的每一个数字，第三方都可以在公开数据上重跑一遍逐条核对。

附录 C　移除阶梯的两句话与三条不得混淆的对照

对任一环节，按顺序问两句，第一句答”是”即停：

移除它，交付物变不变？变 → 退出梯子（这一环已在内容账上，现行制度算得清）。不变 → 问第 2 句。

移除它，达成同一交付物的代价变成多少倍？取以十为底的对数并取整，得 g。

三条不得混淆的对照：

阶功 ≠ 瓶颈。瓶颈一停，交付物达不成；阶功移除后交付物照常（第十三节其二）。

阶功 ≠ 间接成本。前者量的是省掉的量级，后者量的是花掉的钱；两者可以同高、同低、也可以一高一低（第十三节其七）。

不适用 ≠ g＝0。规模不够而无量级效应，记”不适用”；规模足够而移除无影响，记 g＝0 并归入丙格，那是真冗余（附录 A.3 第 6 条）。

参考文献

Gentzen, G. (1935). Untersuchungen über das logische Schließen. Mathematische Zeitschrift, 39, 176–210, 405–431.（切消定理）

Statman, R. (1979). Lower bounds on Herbrand’s theorem. Proceedings of the American Mathematical Society, 75(1), 104–107.（切消导致的非初等增长）

Orevkov, V. P. (1979). Lower bounds for increasing complexity of derivations after cut elimination. Journal of Soviet Mathematics, 20, 2337–2350.

Pudlák, P. (1998). The lengths of proofs. In S. Buss (Ed.), Handbook of Proof Theory (pp. 547–637). Amsterdam: Elsevier.（证明长度与引理的加速作用，综述）

Shoenfield, J. R. (1967). Mathematical Logic. Reading, MA: Addison-Wesley.（保守扩张与定义的引入，标准教科书处理）

Kleene, S. C. (1952). Introduction to Metamathematics. Amsterdam: North-Holland.

Beltrami, E. (1868). Saggio di interpretazione della geometria non-euclidea. Giornale di Matematiche, 6, 284–312.（以模型证明公理独立性）

Beth, E. W. (1953). On Padoa’s method in the theory of definition. Indagationes Mathematicae, 15, 330–339.（隐式定义与显式定义）

Goodman, J. W. (2005). Introduction to Fourier Optics, 3rd ed. Englewood: Roberts & Company.（传递函数的级联与截止频率）

Williams, C. S., & Becklund, O. A. (1989). Introduction to the Optical Transfer Function. New York: Wiley.

Born, M., & Wolf, E. (1999). Principles of Optics, 7th ed. Cambridge University Press.

Tyson, R. K. (2015). Principles of Adaptive Optics, 4th ed. Boca Raton: CRC Press.（引入新自由度而非仅减小损失）

Schelling, T. C. (1960). The Strategy of Conflict. Harvard University Press.

Schelling, T. C. (1966). Arms and Influence. Yale University Press.（威慑的效果表现为未发生的行动）

George, A. L., & Smoke, R. (1974). Deterrence in American Foreign Policy: Theory and Practice. Columbia University Press.（威慑成功的不可观测性与选择效应）

Achen, C. H., & Snidal, D. (1989). Rational deterrence theory and comparative case studies. World Politics, 41(2), 143–169.（对威慑研究中因果推断困难的系统讨论）

Simon, H. A. (1962). The architecture of complexity. Proceedings of the American Philosophical Society, 106(6), 467–482.（稳定的中间形态与两个钟表匠）

Baldwin, C. Y., & Clark, K. B. (2000). Design Rules, Vol. 1: The Power of Modularity. MIT Press.

Goldratt, E. M., & Cox, J. (1984). The Goal: A Process of Ongoing Improvement. Croton-on-Hudson: North River Press.（约束理论）

Bresnahan, T. F., & Trajtenberg, M. (1995). General purpose technologies: “Engines of growth”? Journal of Econometrics, 65(1), 83–108.

Smith, A. (1776). An Inquiry into the Nature and Causes of the Wealth of Nations. London: Strahan & Cadell.（分工受市场范围限制）

Whitehead, A. N. (1911). An Introduction to Mathematics. London: Williams & Norgate.（好的记号免除思考）

Leontief, W. (1936). Quantitative input and output relations in the economic system of the United States. Review of Economics and Statistics, 18(3), 105–125.（中间投入与增加值）

United Nations et al. (2009). System of National Accounts 2008. New York.（增加值＝总产出减中间消耗）

Kaplan, R. S., & Cooper, R. (1998). Cost & Effect: Using Integrated Cost Systems to Drive Profitability and Performance. Harvard Business School Press.（间接成本的归集与分摊）

Thomas, A. L. (1969). The Allocation Problem in Financial Accounting Theory. Studies in Accounting Research No. 3. American Accounting Association.

Cunningham, W. (1992). The WyCash portfolio management system. OOPSLA ’92 Experience Report.（技术债的最早表述）

Skelton, M., & Pais, M. (2019). Team Topologies: Organizing Business and Technology Teams for Fast Flow. Portland: IT Revolution.（平台团队与认知负荷，实务层的对应说法）

Meyer, A., Fritz, T., Murphy, G. C., & Zimmermann, T. (2014). Software developers’ perceptions of productivity. Proceedings of FSE 2014, 19–29.（开发投入中不进入交付物的部分及其被感知的方式）

字数与版本：正文约 18,800 汉字，连同三个附录与参考文献约 21,000 汉字。本稿为第一版。

人机分工声明：题目、选源约束与成品形态出自作者；引文查核、十二个仓的取数、统计以及成文，由作者与大型语言模型共同完成。附录 B 里的每个数字都是脚本在公开数据上跑出来的，预注册先于统计存档，脚本与中间产物均可调阅，任何人都能自行复算一遍。本稿不给自己打分；十九节那条自减条款照样管着它。

利益冲突：无。本文提出的读数若被用于任何裁撤或考核用途，须同时执行第十八节的伦理三条。