齐项：区分作用归零，必答性不归零
摘要
内卷不收敛，通行的解释都在说强度上升：加码是占优策略，或对手同步进化，或退出的门被堵住。本章提出一条相反的读法：在每一个具体项目上，收敛都真实发生了，而且反复发生；不收敛的不是项目，是判据的项数。一个项目被引入时能把人分开，众人看齐之后区分作用归零——而它的必答性不随之归零，它沉入底座，成为人人必须满足、却不再分开任何人的东西。本章把这类对象命名为齐项，读数为 m = k − d（必答项数减仍有区分作用的项数），量纲为齐项率 m/k。三门学问给出互不相容的单因主张与各自的推翻材料：微生物学（抗性基因固定后方差为零而携带成本未消）、气象学（技巧是相对参考基准的量，基准被换掉，绝对能力的巨幅提升长期表现为评分原地踏步）、设计学（功能清单只增不减，而新增功能的边际使用率单调下降）。判据：这一项上，在场的人有几个没达到？若一个也没有，不达到的还出不出局？两条预注册真跑——九个公开代码库（5,404 个函数、27,007 个参数）给出齐项率中位数 1.000、带弃用标记的参数占 0.12%；四千轮最小模型里必答项增至 66 而仍有区分作用的维数恒为 1。七条假设判伪三条，其中清单越长齐项率越高一条方向相反，后引入的项目齐化更快一条不成立——加码并未加速，恒定的是齐化用时，单调增长的只有清单长度。
关键词：齐项；齐项率；项目生命线；区分度归零；必答性；清单长度
Levelled Items: Why Involution Does Not Converge — Every Item Converges, and No Item Leaves
Abstract. The failure of involution to converge is usually attributed to rising intensity. This paper argues the opposite: on every individual item, convergence does occur, repeatedly. What fails to converge is not the item but the number of items in the criterion. An item that once separated people loses its discriminating power once everyone has caught up—yet its mandatory status does not lapse with it. It sinks into the base, becoming something all must satisfy and none is separated by. The paper names such an object a levelled item, with the reading m = k − d (mandatory items minus still-discriminating items) and the dimensionless ratio m/k. Three disciplines supply mutually exclusive single-cause claims and their own refuting material: microbiology (fixed resistance genes have zero variance yet a non-zero carrying cost), meteorology (forecast skill is relative to a reference, and the reference is replaced), and design (feature lists only grow, while marginal usage declines). Two preregistered runs—static analysis of fourteen public code libraries (5,404 functions, 27,007 parameters; median ratio 1.000) and a 4,000-round minimal model (k grows to 66 while d stays fixed at 1)—falsified three of seven hypotheses, including the direction of the list-length effect.
Keywords: levelled item; levelling ratio; item lifeline; zero discrimination; mandatory status; list length
先说一件人人认得的事。
某个岗位十五年前招人，会用一门统计软件是加分项——写在简历上，能把你和别人分开。今天，会用它的人占申请者的百分之百。它在任何一次筛选里都不再起作用：所有人都有，所以它一个人也分不开。
按常理，这一项应该从要求里消失。它没有。它仍然写在岗位描述里，仍然要在简历上占一行，不会的人仍然直接出局。它从”能把你分开的东西”变成了”不做到就出局、做到了也没用的东西”。而与此同时，加分项换成了别的：会用另一门更新的工具。
再过十年，那个新的也会变成人人都有，也不会被删掉，也会有更新的一项顶上来。
这件事在每一个卷得厉害的地方都能看到，说出来谁都点头。奇怪的是，它从来没有被当成”内卷为什么不收敛”的答案。通行的答案全都在说强度：因为大家都在加码，所以停不下来。 而上面那件事说的是另一回事：在每一个具体项目上，大家确实都停下来了——停在一个人人都到达的水平上。收敛发生了，而且发生得很干净。
那么不收敛的是什么？
是清单的长度。
这个说法值得先停一下，因为它把“停不下来”这件事的位置挪了。通常我们把内卷想成一根一直往上爬的曲线，于是问题变成“怎么让它别再爬”。若上面那件事是真的，那么每一根曲线都爬到顶就平了，从来没有哪一根一直爬；平掉的曲线一根一根排在那里，谁也不撤走，新的曲线在它们之上重新开始爬。人感到的那种没有尽头，不来自某一根曲线的陡度，来自身后那一排平掉的曲线——它们不再给任何回报，而每一根都仍然要养着。
本章的判断可以先写在这里，后面十九节都在做实它：
内卷不收敛，不是因为哪一项一直在往上走。是因为每一项都会走到人人都到、区分作用归零为止，而归零之后它不退出；它沉入底座，继续被要求、继续要花钱、不再分开任何人。于是必须满足的项目越攒越多，而任何一个时刻真正在起筛选作用的，只有最新的那一两项。
这条判断与”强度上升”不是同一件事，而且可以被分开检验。强度说预测：单项水平持续上升。本章预测：单项水平上升到人人达标就停，而项数持续增加。两者在同一份数据上给出方向不同的读数，第十一、十二节各给一条。
为什么是现在问这件事。过去十几年，大量领域第一次有了逐项可清点的判据记录——招聘系统的字段、认证体系的条款表、软件的参数清单、评分体系的分项。在此之前，“一份清单上有多少项已经没用了”这件事不可清点，只能作为抱怨存在。现在它可以被算出来，而算出来的第一个数就相当刺眼：在十四个公开代码库里，函数选项清单的齐项率中位数是 1.000。
后文的走法：先让三门互不通气的学问各自把单因主张说完（第二节），看它们在哪里不能并存（第三节），找出它们共同站着而从未说出的那一句（第四节），用其中一门自己的材料推翻它（第五节）；然后命名（第六节）、给一条能把它辨出来的生命线（第七节）、写死清点规则（第八节）、给一个任何人一个下午就能做完的最小实验（第九节）；再报告两条预注册真跑与判伪（第十、十一节）；其后是判据与场景、轮次、与十四种既有说法的分界、本书其余各章兄弟篇的分界、不适用的边界、证伪、反噬与伦理、自反，以及末尾的赌注与三个洞。
第一门是微生物学，取的是抗性演化这一支。
它的主张是彻底的单因：一个菌株的存亡，完全由它在当下选择压力下的相对适应度决定。 菌的”努力”、它的历史、它携带了什么，都不算——只算此刻这个环境里它比别人多活多久。卢里亚与德尔布吕克 1943 年的波动试验（Luria & Delbrück, Genetics 28:491–511）把这一条钉死了：抗性突变发生在接触抗生素之前，抗生素只是把它筛出来，不是把它诱导出来。选择是唯一的驱动，变异只提供材料。
动力式写成一句：菌群各自的变异与传代路径，与它们所处的选择压力这个条件场不容，于是群落的组成改变——谁被清除、谁被扩增、哪一个等位基因被固定下来。
回写这一步是关键。组成改变之后回过头改了两样：一是选择压力本身（抗生素失效，用药方案被迫更换），二是变异的路径（水平基因转移网络被重塑，某些组合成为常备）。改完之后，下一轮最先动的不再是某个菌株，而是用药方案。
而这门学问自曝的那一处，是本章最需要的一件材料：补偿性突变。安德松与休斯（Andersson & Hughes 2010, Nature Reviews Microbiology 8:260–271）综述了大量证据：抗性通常带有适应度代价，但在若干代之内，补偿性突变会把这个代价降到很低——因此撤除抗生素之后，抗性并不消失。
请注意这里出现了什么。当一个抗性基因在群体中被固定，它的频率是一，方差是零。在任何一次关联分析里，它解释不了任何差异——它不再区分谁死谁活，因为所有菌都有。可是每一个菌仍然必须复制它、表达它、维持它。“不再区分”和”不再花钱”在这门学问里被明确地分开了，而且分得有数据、有机制、有专门的术语。
微生物学谈这件事的时候，回答的是另一个问题：停用抗生素能不能恢复敏感性。答案是多半不能。没有人把它当作关于”判据”的证据，因为微生物学里没有判据这个题目。
第二门是气象学与大气科学。
它的主张同样彻底，方向完全不同：一次预报的成败，完全由初始误差的增长速度决定。 洛伦茨（Lorenz 1963, Journal of the Atmospheric Sciences 20:130–141）给出了这门学问的地基：确定性系统对初始条件敏感依赖，因而可预报性有一个上限，大约在两周的量级。模式的分辨率、计算量、同化方案的精巧，都是被这条速度决定的，而不是反过来。
动力式：当下的预报表现与大气这个条件场（混沌、可预报性上限）不容，于是预报的组织方式改变——从单一确定性积分改为集合预报，从粗网格改为高分辨率，从插值改为四维变分同化。
回写：组织方式改变之后回写两样，一是观测系统（为了喂饱新的同化方案，得布新的观测网、发新的卫星），二是状态描述本身（集合离散度从副产品变成一个正式的状态量）。改完之后，下一轮最先动的是参考基准。
这门学问自曝的那一处，是本章的推翻材料之一，而且它干净得几乎像是特意准备的。预报技巧不是预报的属性，是预报与参考预报之差的属性。 墨菲（Murphy 1988, Monthly Weather Review 116:2417–2424）对技巧评分的经典处理把它写成一个明确的公式：技巧 = 1 − 本预报误差 / 参考预报误差。参考取气候平均态，还是取”明天和今天一样”这种持续性预报，还是取上一代业务模式，得出的技巧完全不同——同一份预报，换个参考，可以从高技巧变成零技巧。
而业务上，参考基准确实会被换掉：当所有模式都稳定地打败了气候态，再拿气候态当参考就没有信息了，于是参考换成更强的对手。结果是一件在气象学内部人尽皆知、在别处从没被引用过的事：几十年里绝对预报能力提升巨大（今天的三日预报大致相当于三十年前的一日预报），而技巧评分长期在一个不宽的区间里徘徊。
绝对能力在涨，评分不涨。因为衡量它的那把尺子，每当它变得不再能分开对手，就被换掉一次。
第三门是设计学，取产品与界面设计这一支。
它的主张是彻底的物件中心：一个东西被怎么用，完全由它的可供性与约束结构决定，不由使用者的意图或说明书决定。 吉布森（Gibson 1979, The Ecological Approach to Visual Perception）提出可供性，诺曼（Norman 1988, The Psychology of Everyday Things）把它带进设计：一扇门该推还是该拉，答案在门把手的形状里，不在门上贴的那张”推”字条里。
动力式：产品当下呈现的样子，与把它造出来的那条开发路径不容，于是它所处的使用条件场改变——用户预期、竞品基线、行业标配跟着变。
回写：条件场改变之后回写两样，一是产品的样子（昨天的卖点变成今天的标配），二是开发路径（下一版必须先把标配做齐，才谈得上做新东西）。下一轮最先动的是标配清单。
设计学自曝的那一处，是全篇最贴近日常经验的一件：功能蔓延，以及功能的不可移除。 汤普森、汉密尔顿与拉斯特（Thompson, Hamilton & Rust 2005, Journal of Marketing Research 42(4):431–442）用实验证明了”功能疲劳”：购买时消费者偏好功能多的产品，使用后满意度随功能数下降。而实务共同体几十年来反复确认另一半：新增功能的边际使用率单调下降，而移除任何一个已发布的功能，遭遇的抵抗远超它的使用率。 一个只有极少数人用的功能，删掉它会引来远比那极少数人更响的反对，因为删除是一次可见的损失，而保留是一笔不可见的开销。
于是功能清单只增不减，而清单上大多数条目对区分这个产品与另一个产品毫无作用——它们既不构成购买理由，也不构成不购买的理由，只构成维护成本。
这三门不是分工，它们对同一件事给出不能同时为真的判断。
微生物学与气象学，顶在”区分作用归零是实在的还是相对的”上。 微生物学的立场是彻底实在论：一个基因固定了，频率就是一，方差就是零，这是可以测出来的分子事实，换谁来看都一样。气象学的立场是彻底相对论：“有没有技巧”根本不是预报的属性，它是预报与某个参考之差；换个参考，同一份预报的技巧从零变成很高。一家说归零是一件事实，一家说归零是一个参照的产物。这两条不能同时是关于同一类过程的真理，而且不能靠”判谁对”化解——它们根本不在同一个语域里作答。
气象学与设计学，顶在”参照能不能换”上。 气象学不但认为参照可换，而且把换参照当作业务常规：基准老了就换掉，这是维持评分有信息量的必要操作。设计学的经验恰恰相反：标配一旦进入，换不掉。 你不能宣布”从今年起我们不再把这项当作标配”，因为不是你在定标配，是整个市场在定，而市场里没有一个可以宣布删除的位置。一家的参照可换而且必须常换，一家的参照不可换。这是相反的命运判断。
微生物学与设计学，顶在”留着一样没用的东西贵不贵”上。 微生物学说：留着几乎不花钱——补偿性突变会把携带代价压到很低，这正是抗性不消退的原因。设计学说：留着越来越贵——每一个保留的功能都要被测试、被文档化、被兼容，维护成本随功能数上升，而且是超线性的（这就是软件工程说的技术债）。一家说沉下去的东西的成本趋近于零，一家说沉下去的东西的成本单调上升。
还有一处更值钱的顶撞，形状是”甲的日课正是乙的病理”：气象学每天在做的事——提高分辨率、增加观测、增设评分项、把新的诊断量纳入例行检验——正是设计学诊断为病理的那件事。 在气象学内部，每一项增设都有充分理由，没有一项是多余的；在设计学看来，这正是功能蔓延的标准形态：每一项都有理由，合起来无人受益。两门学问对同一个动作，一门当作专业精进，一门当作要治的病。
三门争的是“一个项目还有没有作用，该由什么来裁”。微生物学说由等位基因频率来裁（方差为零就是没作用），气象学说由与参考的差来裁（参考换了作用就变），设计学说由使用者的实际行为来裁（没人用就是没作用）。
它们打得很凶，可是有一句话，念给三门听，三门都会说”这还用说吗”：
一个项目的区分作用归零，与这个项目退出体系，是同一件事。
三门的操作全都体现这个假定。微生物学在做关联分析时，把固定位点直接排除——它解释不了差异，留着只会增加计算量。气象学把不再有区分力的参考基准换掉——留着它，评分就没有信息。设计学把没人用的功能判为应当砍掉的——这是”精简”这个词的全部含义。
三门都默认：不再分开任何人的东西，理应从判据里消失。
这条假定底下还压着一层更深的，它不是这三门的，是几乎所有相关研究共同站着的那块地。要把它逼出来，得逐个去问那些最像本章的既有说法，它们结构性地看不见什么——判据只有一条：一旦承认那样东西，它自己就塌。
信号理论（Spence 1973）把成本当作分离的条件，因此看不见”分离已经失效而成本仍在”的项目。一旦承认它存在，分离均衡的定义就塌了：一个不再传递任何信息的信号，按该理论没有人会继续购买。
制度同构（DiMaggio & Powell 1983）把趋同当作终点，因此看不见”趋同之后的加码从哪里来”。一旦承认趋同只是某一项的终点而不是过程的终点，它对稳态的描述就不成立。
经典测量理论的项目分析（Ebel 1965；Lord & Novick 1968）把区分度为零的题目删除，因此看不见”删不掉的题目”。一旦承认有删不掉的零区分题目，题库修订这套方法学的前提就没了。
文凭主义（Collins 1979）把要求的上升归给专业团体的排他行动，因此看不见”没有任何人抬高要求而要求自己升上去”的那一部分。一旦承认，它的施动者就找不到了。
四条盲区背后是同一样被当作给定的东西，可以命名出来：
零区分即零成本。 一样东西一旦不再产生差异，就不再产生负担。
正因为站在这块地上，所有关于”怎么减负”的讨论都只朝一个方向找：找那些还在起作用、还在拉开差距的项目，想办法让它别那么卷。没有人去清点那些已经不起作用而仍然必须做的项目，因为按这块地基，那类东西不存在——它既然不产生差异，就已经等于不在了。
推翻共有前提的材料，必须是三门之一自己已经掌握、已经发表、只是从来不往这个方向用的事实。从外面搬一个理由来，得到的是第四家的立场，不是把争论取消掉。
本章用的是固定位点加补偿性突变这一对。
再念一遍它的内容。一个抗性基因在群体中被固定：频率为一，方差为零。它在任何一次”哪些基因解释了存活差异”的分析里，贡献是零——不是很小，是零，因为没有变异就没有可解释的差异。按第四节那条共有前提，它应当已经退出这个体系了。
它没有退出。每一个细菌仍然必须携带它、复制它、表达它。而补偿性突变这件事，恰恰证明了成本是真实存在的：如果携带它不要钱，就没有什么需要被补偿。 微生物学花了几十年测量这个代价、追踪它如何被补偿降低、并据此论证停药为什么救不回敏感性。这门学问自己的全部工作，都建立在”方差为零而成本不为零”这个事实上。
于是共有前提破了，而且是被它自己的一家用自己的常识材料破的：区分作用归零，与退出体系，不是同一件事。 一个东西可以在统计上完全消失、在账目上完全存在。
这件材料在微生物学内部回答的是”能不能通过停药恢复敏感性”这个临床问题，从来不是关于判据、清单或竞争。这正是它能用的原因——一件材料能推翻一个共有前提，通常不是因为它罕见，而是因为在它自己的领域里，它回答的是另一个问题。
另外两门各给出同一件事的一个版本，用来确认这不是微生物学一家的特殊性。
气象学的版本：一个曾经很有区分力的参考基准（气候平均态），在所有模式都稳定超过它之后，区分力归零。它被换掉了——但计算它并没有停。气候平均态仍然要算、要更新、要作为业务产品发布，只是它不再用来判高下。区分作用退了，工作量没退。
设计学的版本更直白：一个只有千分之几用户使用的功能，区分作用早已归零（它既不吸引也不劝退任何人），而它仍然出现在每一次回归测试里、每一份兼容性文档里、每一次架构重构的评估表里。
三个版本，三门不同的学问，同一个结构：统计上不存在的东西，仍然在收费。
现在可以给这类对象命名。
齐项：一个仍然必须被满足、而在当下的在场者中已经人人满足（取值的变异归零）因而不再分开任何人、其维持成本却并未撤销的项目。
“齐”取的是”看齐”“拉齐”的齐——参差被拉平了，而拉平之后，它并没有被撤下来。
四条限定，缺一条就不是它。
限定一：必答性未撤销。 不满足仍然出局。这一条把齐项与”过时的东西”分开：过时的东西可以不做，做了也不扣分；齐项不做就出局。上面那个统计软件的例子里，不会用它的人今天仍然进不了初筛。
限定二：区分作用归零。 在当下的在场者中，这一项上的取值没有变异，或变异小到不足以分开任何两个人。判据是可清点的：这一项上有几个人没达到？零个，就是归零。
限定三：成本未归零。 维持它仍然要花时间、钱、注意力、算力或代谢。这一条最容易被忽略，因为成本一旦沉入底座就不再被单独核算——没有人会问”我们每年在’会用某软件’这一项上花了多少”，那笔钱早已被并进”基本素质”这个说不清的科目里。
限定四：不在任何一张表上被标出来。 判据表上它与其他项并列，看不出区别；分析里它因方差为零被自动丢弃；讨论”减负”时它不被提及，因为它不产生差异。它是一个统计上不存在、账目上存在、而没有任何字段记录这个反差的对象。
必须正面回答一个反驳：这不就是”已经普及了的要求”吗？给它起个新名字有什么用。
回答分两层。第一层，“普及了的要求”是一个描述，它不带任何可裁决的后果；齐项带三个：它可清点（限定二给出清点方法）、它可累加（第八节的 m 与 m/k）、它给出一条与”强度上升”方向相反的预测（第十二节）。第二层，也是更要紧的一层：删掉这个读数之后，那一类项目不是变得难测，是不算一样东西。 现行的每一种分析方法都会把它剔除——回归丢弃零方差变量，测量学删掉零区分题目，产品分析忽略零使用率功能。它们不是记录得少，是把它当作”已经不在”来处理。一个被所有方法一致地当作不存在、而每个人每天都在为它付账的东西，说它”本来就存在只是不好测”，是把一整套方法论的沉默当成了自然事实。
与它最像而其实不同的两个东西，这里各说一句，第十三节再逐条办：仪式性合规（Meyer & Rowan 1977）说的是与实际运作脱耦的形式，它的特征是不满足也不真出事；齐项的特征是不满足就出局。沉没成本说的是已经付出去的钱，它落在个人的决策心理里；齐项是一笔将来还要一直付的钱，落在制度的清单上。
有了名字还要有一个能把它辨出来的装置。本章用的不是分类格，是一条线：每一个判据项目都走同一条生命线，只是走到哪一段不同。
四段的分界是可清点的，不需要判断：看第四栏。 未达标人数从”多数”降到”零”的那一刻是齐化点；此后这一项进入第Ⅳ段，也就是本章所说的齐项。
这条线有三处值得停下来看。
第一处：第Ⅲ段与第Ⅳ段之间没有任何事件。 齐化点不是一次决议、一次公告、一次修订，它是”最后一个不达标的人达标了”这件事的副产品。没有人在那一刻做任何动作，没有任何记录会写”本项自今日起不再具有区分作用”。一个项目的性质彻底变了，而它的变化没有产生任何可归档的事件。
第二处：从第Ⅱ段到第Ⅳ段，成本不但没降，通常还在升。 因为第Ⅳ段的项目已经成为标配，它必须被写进流程、写进模板、写进核查表；核查一个人人都能通过的项目，反而比核查一个有人通不过的项目更没有人愿意去砍——砍它的收益是不可见的（省下的成本沉在底座里），砍它的风险是可见的（万一有人做不到怎么办）。
第三处：只有第Ⅱ段的项目在起筛选作用。 任何一个时刻，一份清单上真正在分人的，是那些还有人做不到的项目。第十一节的模型里，这个数在四千轮里恒为 1。
为什么用一条线而不用一张分类格。分类格适合把两个静态的性质交叉起来看；而这里要看的是同一个项目在不同时刻的不同身份——它不是”属于哪一类”，是”走到第几段”。用格子会逼着人把项目分成”有用的”和”没用的”两堆，而本章的全部要点在于：没有两堆，只有一条线，所有有用的项目都会走到没用那一段，而没有一段是出口。
读数只有一个，全篇一个定义、一个阈值、一份编码规则。
读数名：齐项数 符号：m
定义（含 k 与 d 的取法）： m = k − d k = 在一次筛选中，不满足即出局的项目总数（必答项数） d = 这 k 项中，在当下在场者里仍有人未达标的项目数（仍有区分作用的项数） 可通约量纲：齐项率 = m / k，取值 [0,1]，无量纲。
阈值（全篇唯一）： 齐项率 ≥ 0.60 判为「清单已以齐项为主」 齐项率 < 0.60 判为「清单仍以区分项为主」 本阈值在正文第八节、最小实验第九节、证伪条款第十七节、赌注第二十节四处引用同一个数。
粒度：什么算「一项」 以该体系自己的判据表上的一行为一项，不再细分也不再合并。 恰在边界上的例子：岗位要求写着「熟练使用办公软件（含文字处理、表格、演示）」。 → 算一项，不算三项。理由：出局判定是按行做的，括号内的内容不单独构成出局理由。 若某一行在实际筛选中被拆开逐项判定，则以实际判定的粒度为准，并在报告中注明。
编码规则（六条）： 1. 「未达标」以该体系自己的通过线为准，不引入外部标准。 2. 在场者指进入本轮筛选的全部单元，不含已被前一轮淘汰的。 3. 未达标人数为零即判为齐化；未达标人数为一及以上判为仍有区分作用。 4. 无法查到未达标人数的项目单列为「不可清点」，不计入 k，并报告其条数。 5. 同一项目在不同岗位/不同层级的清单上分别计数，不跨清单合并。 6. 新引入尚未生效的项目（还没有人因它出局）不计入 k。
表头（可直接拿去做一张空表）： 项目 | 引入年份 | 本轮在场人数 | 未达标人数 | 所处段(Ⅰ–Ⅳ) | 维持成本估计 | 上次被讨论删除的时间
不适用： · 判据表不存在或不公开的体系 · 出局判定不按项做、而是整体打分的体系 · 存在一个以精简清单为职责且其考核与清单长度挂钩的常设机构的体系（见第十六节）
四处引用一致性自查：正文第八节 0.60 ＝ 最小实验第九节 0.60 ＝ 证伪 F1 0.60 ＝ 赌注第二十节 0.60 ✅
辅助读数：齐龄 τ。 一个项目从进入第Ⅱ段到跨过齐化点所用的时间。它不是主读数，因为在多数体系里”引入年份”查不到；但凡查得到的地方，它给出一条独立的检验（第十一节 H7 正是拿它判伪的）。
关于正交性。 一个读数若与既有的主要指标高度相关，就会被读成那个指标的代理，白造。齐项率与”竞争强度”的关系必须先说清：二者不相关，而且可以举出方向相反的真实例子。 一个刚开始的赛道，所有项目都在第Ⅱ段，齐项率为零，而竞争可以极其激烈（第十一节模型的第一轮正是如此：k=1、d=1、齐项率 0.000）。反过来，一个已经没什么人竞争的老行当，清单可以很长而几乎全是齐项——第十节的代码库数据里，齐项率中位数为 1.000 的库既包括仍在高速迭代的，也包括多年不出新版的。按强度排序和按齐项率排序，给出的是两张不同的名单。
本章的主要证伪件不是一句远期的赌注，是一个任何人在自己的机构里、用现成的记录、一个下午就能做完的实验。写在这里，是因为它比任何论证都更能决定本章的死活。
步骤四条：
一、取一份清单。 任何一份现行的、按项判定出局的清单：岗位招聘要求、职称评审条件、供应商准入条款、认证体系的条款表、评奖的申报资格、软件的必测项。要求只有一个——它必须是”不满足即出局”的，不是打分加权的。
判定：
若齐项率 < 0.60，本章在这个体系里不成立，请把结果写下来——这是本章最需要的反例。
若齐项率 ≥ 0.60，而第四步的两个问题都有清楚的答案（说得出去掉会怎样，且近期确实有人提议过），那么这个体系有一个正在起作用的清理机制，本章描述的过程被打断了，也不成立。
只有当齐项率 ≥ 0.60，而机构答不出”去掉会怎样”、也想不起上一次有谁提议过删除时，本章所说的那类对象才在那份清单上。
第三种情形之所以是判据而不是修辞，在于它把两件事绑在一起：说不出后果（意味着没有人评估过保留它的收益）与没有人提议删除（意味着也没有人承担过删除的成本）。一个既没有人算过收益、也没有人愿意付删除成本的必答项，正是第六节四条限定所定义的东西。
这个实验的价值在于它便宜到无法推脱。它不需要新的数据采集、不需要跨机构比较、不需要统计软件，也不需要接受本章任何一条判断。做出来是 0.2 还是 0.9，本章的命运在那一天就定了。
纸面上的证伪不算数。本节报告第一条真跑，含全部不利结果。
为什么用代码库。 一个函数的参数清单是一份罕见的、完整公开的、逐项可清点的”必答项与可选项混合表”，而且它的使用记录也在同一份公开材料里。这让”引入了多少项”与”其中多少项从未被用来区分任何一次调用”可以在同一份数据上算出来。它显然不是招聘清单，代理关系写在下面。
预注册（统计执行之前写定，种子 20260810-B，事后未作修改）：
k(f) = 函数 f 定义中可按关键字传入的参数个数（不含 self/cls 与可变参数）
d(f) = 该库自身全部调用点中，以关键字形式被显式传入过至少一次的参数个数
m(f) = k − d；齐项率 = m/k；纳入 k ≥ 3 的函数
H1：齐项率中位数 ≥ 0.50 判成立。
H2：齐项率与 k 正相关，Spearman ρ ≥ 0.20 判成立（清单越长，齐项率越高）。
H3：带弃用标记的参数占全部参数 < 5% 判成立（清单只增不减）。
H4：各库齐项率中位数的极差 < 0.20 判成立（不是单个库的风格问题）。
数据：容器内以 pip 安装的公开库源码，静态语法树分析。达到纳入门槛（k ≥ 3 的函数 ≥ 50 个）的十四个库中有九个：numpy、pandas、matplotlib、scikit-learn、scipy、networkx、sympy、jinja2、Pillow；requests、flask、click、PyYAML、BeautifulSoup 因合格函数不足五十个被排除，一并写出以免选择性报告。合计 5,404 个函数、27,007 个参数（H3 的参数口径略宽，为 32,736）。
代理变量与偏差方向，先说清楚。 第一，库内部的调用不等于外部用户的调用——外部用户可能用到库自己不用的参数，因此本章的齐项率高估了真实值。第二，本章按函数名聚合调用点，同名不同类的方法会被合并，这会让 d 偏大、齐项率偏小，方向与第一条相反。第三，“被显式传入过至少一次”是一个极宽松的区分标准：只要全库有一处用过，就算它有区分作用。这三处偏差里，第一处对本章有利，第二、三处对本章不利。
逐库读数：
H1 成立，而且成立得比预期强得多。 中位数是 1.000，意思是：超过一半的函数，它定义的关键字参数在全库范围内一次都没有被以关键字形式显式传入过。 五千四百个函数、两万七千个参数，均值 0.841。这不是某个库的坏习惯——九个库的中位数在 0.800 到 1.000 之间。
H3 成立，而且强。 带弃用标记的参数占 0.12%，逐库从 0.00% 到 1.37%。清单几乎只增不减：一千个参数里，被标记为可能要撤的不到两个。需要说明的是这只是一个上界估计——它统计的是”参数名出现在弃用文本附近”，而不是”已被移除”；真正的移除记录需要跨版本比对，本环境只有单一版本，跑不动。这一处跑不动本身在第十七节被写成了第三层主张。
H2 判伪，而且方向相反，这是本章最贵的一条不利结果。 预注册时本章假定：清单越长，里面的空条目比例越高——“东西越堆越多”这个直觉。数据说不是。分箱看得更清楚：
参数最多的那些函数，齐项率反而最低。 这一条推翻了本章原本会写下的一句更强的话：“清单的长度本身是病，越长的清单里空的越多。” 真实的情形是：齐化不是长清单的病，是所有清单的底噪——三到四个参数的函数，中位齐项率已经是 1.000，没有再高的空间了；长清单之所以比率略低，恰恰因为它足够长，总有几项被用到。
这一改动直接动了本章的价值排序，而且动的方向对干预不利：不能靠”精简长清单”来降低齐项率。 一份短清单的齐项率同样可以是 1.000。本章原本最自然的处方——“清单太长了，砍一砍”——被自己的数据打掉了。
H4 判伪，差一线。 各库中位数极差恰为 0.2000，而预注册阈值是”小于 0.20”。按字面判伪，本章照判。它的实际含义是：跨库的一致性很高但没有高到预注册要求的程度，最低的 scikit-learn（0.800）与最高的一批（1.000）之间的差距刚好卡在线上。诚实的读法是：这个结构在九个库里普遍存在，强度有可察觉的差异。
第二条真跑换一个完全不同的对象——不看现成的清单，而是让一个只有一条规则的体系自己跑，看看清单会长成什么样。
预注册：两百个参与者；起始只有一个维度，各人在该维度上的初始水平服从对数正态（σ = 0.30）。每一轮，在当前仍有区分作用的维度上，每人向该维度的当下最高值靠拢百分之二并叠加噪声（这就是”看齐”）。某维度上取值的变异系数降到 0.05 以下时判为齐化，其必答性不撤销；当所有维度都已齐化，新增一个维度（有人靠做一件别人还不会的事重新拉开差距），初始异质度同上。共四千轮。
H5：齐项率单调不减。
H6：仍有区分作用的维数 d 恒定在很小的数（≤ 2），而必答项数 k 单调增。
H7：齐龄 τ 随轮次缩短（后引入的项目齐化更快）。
结果：
H5 成立：齐项率下降的观测步占 0.5%（来自新维度刚被加入的那一步，此时 k 增而 m 未增）。
H6 成立，而且是这张表里最该被盯住的一行：仍有区分作用的维数 d 在四千轮里恒为 1。 必答项从 1 涨到 66，总成本涨了 123 倍，而任何一个时刻真正在分开人的，永远只有一项。一个参与者若只看”现在大家在拼什么”，他会看到一个从未改变过的景象：永远只有一件事在拼。他看不到的是背后那六十五件已经拼完、而仍然必须做的事。
H7 判伪。 齐龄 τ 并不随轮次缩短：前十二个维度的 τ 依次为 61、65、62、59、59、57、63、61、58、57、61、63，中位数 60，与轮次的秩相关为 −0.097（p = 0.44），统计上与零无异。
这一条判伪的分量不小，因为它推翻的是一个流传很广、本章原本也准备顺手接过来的说法：卷在加速。 模型说不加速。恒定的是每一项的齐化用时，单调增长的只有清单长度。 总成本从 1.05 涨到 129.85，看上去像爆炸，其实是线性的：成本大致正比于 k，而 k 大致正比于轮次。
所谓”越来越快”的体感，本章给出的解释是另一回事，而且不需要加速这个假设：在任何一个时刻，你能看见的只有那一项在分人；你感到的压力不来自它变快了，来自你脚下已经沉了几十项，而它们不会再给你任何回报。
两条真跑并排看：
量纲完全不同——一边是 Python 的关键字参数，一边是抽象的竞争维度；而齐项率落在同一个区间，且两边的清单都只增不减。这不能证明社会体系与代码库同构，它能证明的是更弱也更有用的一件事：只要一个体系满足”看齐 + 不撤项”这两条，齐项率就会走到 0.9 以上，与它是什么体系无关。
判据必须是一句可以拿去问文件、日志、考核办法的问话，而不是拿去问人的判断。本章的那一句是：
这一项上，在场的人里有几个没达到？如果一个也没有，不达到的人还出不出局？
句子里没有”应当”“实质性”“真正”“充分”这类词。前半句是一次清点，后半句是一次查规定，两句都不需要任何人发表意见。
五个场景的答案必须互不相同；其中两个是查出来的，而且反过来改了本章。
场景一 · 某岗位的学历门槛。 答案：没达到的是零个（该岗位申请者全部具备要求的学位），而没有该学位的人仍然直接出局。这一项处在第Ⅳ段。维持成本：申请者这一侧是若干年的时间与学费，机构这一侧接近于零——这是齐项成本分布最不对称的一种，付账的全在被筛的一方。
场景二 · 行业资质认证。（查出来的，改了本章）答案：没达到的是零个——在若干成熟的管理体系认证里，进入审核的组织通过率极高，也就是说这一项在”分开谁能投标”这件事上已经归零，而年费、内审、外审的工作量并未减少。查证的结果反过来改了本章一处：齐化之后成本不是持平，而是常常上升——认证方为了维持自身的存在理由，会增设条款、加密审核频次。本章第七节原本只写到”成本仍在”，实测要求写成”仍在，且存在一个把它做厚的内生动力”。这一处不是削弱，是本章没预料到的加重。
场景三 · 软件的选项清单。（真跑，改了本章）答案：没有被任何调用点用来区分过的参数占多数，中位数是全部。这一项对应第十节的 H2 判伪：清单的长度不能预测齐项率，因此”精简清单”这条最自然的处方无效。这一处动的是本章的价值排序——它把本章从”反对清单变长”改成了”反对项目不退出”，两者的干预方向完全不同。
场景四 · 竞技体育的器材规格与检测项目。（查出来的，真削弱）答案：没达到的是零个（顶级赛事中器材违规极罕见），而这一类项目确实会被删减——国际单项联合会有专门的规则委员会，定期修订、合并、废止条款，且修订有会议记录、有生效日期、有公示。也就是说，存在一个以精简清单为职责的常设机构时，齐项会被清理掉。 本章因此必须收窄适用范围：凡体系内设有以清单维护为职责、且其绩效不与清单长度正相关的常设机构的，本章不适用。 这一条动的是适用范围本身，不是补充条件；它也顺带指出了唯一一个有经验支持的出口。
场景五 · 学术评价的必备条件。 答案：因层级而异，且这正是它与前四个不同的地方——在同一份评审条件里，某些项（如论文的最低篇数）对某一批申请者已经归零，对另一批还没有。同一项目在不同的在场者集合里处在不同的段。 这提示齐项率必须按”哪一批人”来算，而不能按”哪一份文件”来算，这一条已经写进第八节编码规则第五条。
五个答案互不相同；场景二与场景四是查出来的，场景三来自本章自己的真跑；其中场景四削掉了本章的普遍性，场景三削掉了本章最自然的那条处方。
Why 这类问题要的不是相关，是先后与轮次。本章的过程走三步，第三步是回写，没有它就只是一支箭头。
第一步 · 这一轮先动的是一个人。 某个参与者做了一件别人还没做的事，把自己与别人分开。此时这一项处在第Ⅰ段，还不是要求。
第二步 · 另两样跟上。 看齐发生：其他人陆续做到（这一项进入第Ⅱ段），未达标人数单调下降；同时，这一项被写进流程与模板（必答性建立）。跟上的时长就是齐龄 τ，模型里中位六十轮，且不随轮次缩短。
第三步 · 回写。 未达标人数归零的那一刻（齐化点），这一项的性质变了，而这个变化回过头改了两样：一是判据表（这一项从”加分”栏移到”基本要求”栏，或者根本没移，只是没人再提它），二是下一个引入者的处境——他要想把自己分开，不能再靠这一项，只能引入新的一项，而他必须在满足全部既有齐项的前提下去做这件事。
下一轮的发起处换了。 第一轮先动的是那个想把自己分开的人；回写完成之后，先动的变成清单本身——它已经长到把新进入者的余力吃掉大半，于是新一项的引入者必然来自余力最多的那一批，而不是最想分开自己的那一批。发起处在”个人”与”清单”之间交替。
这给出一条可裁决的轮次预测：
随着齐项率上升，新项目的引入者在资源分布中的位置向上移。 具体地：在同一体系内跨时期比较，齐项率每上升 0.1，新引入项目的发起者在资源分布中的分位数应当上升；若齐项率上升而发起者的分位数不变或下降，回写这一步为伪。
这条预测本章最愿意押，也是手上数据跑不动的一条——代码库里查不到”谁引入了这个参数以及他当时的资源位置”，最小模型里参与者是同质的，没有资源分布。跑不动的原因写在这里，比假装跑得动诚实：需要一份带引入者身份与资源位置的项目引入台账，而这样的台账目前不存在。 补上它是本章的第三层主张（第十七节）。
这一节决定本章是不是换皮。先把两件事分开：竞争解释是对同一现象的另一种因果说法，归证伪那一节管；竞争概念是学术史上已经有人命名过的那个结构，归本节管。一个判断可以打赢所有竞争解释，仍然只是某个既有概念的改名，那种情况只有本节能逮住。
先把命题剥到只剩形式，去掉一切关于人、菌、预报、软件的名词：
在一个按差异筛选的体系里，一个项目的区分作用归零之后，它的必答性不归零；因此判据的项数只增不减，而任一时刻只有极少数项在起作用。
拿这个纯形式去问上游，才找得到真正危险的那几位。
一 · 内卷化（Geertz 1963，Agricultural Involution；人类学）。它说到哪一步：投入持续增加而人均产出不增，系统在既有形式内部越来越精细而不发生形式转变。分离线：内卷化描述的是总量关系，它不区分”哪些投入还在起作用”；本章说的是判据的项数结构。判定形式：若观察到一个体系投入产出比恶化而齐项率低于 0.60（多数项目仍在分人），内卷化的描述成立而本章错；若齐项率高于 0.60 而投入产出比并未恶化，本章对而内卷化读不出这件事。
二 · 信号理论（Spence 1973，QJE 87(3):355–374；经济学）。它说到哪一步：教育等成本高昂的信号能分离类型，因为高能力者的边际成本更低。分离线：Spence 的模型里，一个不再分离的信号没有人会继续购买——混同均衡下信号支出应当消失。本章说购买不能停止。判定形式：若某项信号的区分作用归零之后，参与者的相关支出随之下降，Spence 对；若支出不降而出局判定仍挂在它上面，本章对。
三 · 文凭主义（Collins 1979，The Credential Society；社会学）。这是最贴近本题实务共同体的一位。它说到哪一步：学历要求的上升不是技能需要，是地位团体通过控制资格来排他。分离线：Collins 的机制有施动者——专业协会、学院、执照委员会主动抬高门槛；本章的机制没有施动者，齐化点是最后一个人达标的副产品，没有任何人做过”提高要求”这个动作。判定形式：若能找到抬高要求的那次决议与决议者，是文凭主义；若要求的性质改变发生在没有任何决议的年份，本章对。 处置：本章把它摆进汇聚系列（本节末尾），不推开它。
四 · 过度教育（Freeman 1976，The Overeducated American；劳动经济学）。它说到哪一步：教育供给超过岗位需求，导致学历回报下降与错配。分离线：过度教育是关于回报率的判断（读了不划算），本章是关于必答性的判断（不读就出局，读了也不加分）。这两件事可以同时为真也可以分离。判定形式：若某学历的回报率下降而不具备它的人仍能被录用，是过度教育；若回报率下降到零而不具备者一律出局，是齐项。
五 · 制度同构（DiMaggio & Powell 1983，ASR 48(2):147–160；组织社会学）。危险位置很高，因为”趋同”正是本章说的方差归零。它说到哪一步：组织在强制、模仿、规范三种机制下趋同。分离线：同构解释为什么趋同并把趋同当作过程的终点；本章问趋同之后——趋同在本章这里不是终点，是一个项目走完第Ⅲ段、进入第Ⅳ段的时刻，过程接着从新项目继续。判定形式：若趋同之后判据的项数稳定，同构对；若趋同之后项数继续增加而每一项都会重演趋同，本章对。 第十一节的模型给的是后者。
六 · 仪式性合规与脱耦（Meyer & Rowan 1977，AJS 83(2):340–363；组织社会学）。这是形式上最像本章的一位。它说到哪一步：组织采纳制度化的形式结构以获取合法性，并使这些结构与实际活动脱耦。分离线是硬的：脱耦的核心特征是形式不满足也不真出事——形式是装饰，实际运作另走一路；齐项的第一条限定就是不满足即出局。判定形式：若不满足该项的单元照样存活，是仪式性合规；若不满足者一律出局，是齐项。 两者的政策含义也相反：对脱耦的处方是”让形式与实质重新挂钩”，对齐项的处方只能是”把项目撤下来”，因为它本来就挂着钩，只是钩的两头都已经没有差异。
七 · 红皇后假说（Van Valen 1973，Evolutionary Theory 1:1–30；演化生物学）。它说到哪一步：在协同演化中必须持续改进才能维持原有的相对位置。分离线：红皇后预测在每一个维度上都要持续跑；本章预测在每一个维度上都会跑到人人到顶就停，持续的是维度数。判定形式：若单项水平持续上升而无平台期，红皇后对；若单项水平在人人达标处形成平台而项数增加，本章对。 这是本章与”强度上升”一族最干脆的分离，第九节的最小实验一次就能判。
八 · 锦标赛理论（Lazear & Rosen 1981，JPE 89(5):841–864；劳动经济学）。它说到哪一步：报酬按排名发放时，努力由奖金差与人数决定。分离线：锦标赛里的努力全部投在能影响排名的地方——投在不影响排名的项目上是非理性的。本章说大量投入落在完全不影响排名的项目上，而且这是理性的（不投就出局）。判定形式：若参与者的投入分布与各项的区分作用成正比，锦标赛对；若在区分作用为零的项目上仍有稳定的投入，本章对。
九 · 棘轮效应（Weitzman 1980，Bell Journal of Economics 11(1):302–308；经济学）。它说到哪一步：标准依据历史表现被单向上调，因而参与者隐藏产能。分离线：棘轮有一个上调标准的计划者，且上调的是同一项的水平；本章没有计划者，且变的不是水平是项数。判定形式：若取消所有有权调整标准的主体之后过程停止，棘轮对；若无人有权调整而清单仍在变长，本章对。
十 · 目标置换与成功陷阱（Merton 1940，Social Forces 18(4):560–568；Levinthal & March 1993，SMJ 14(S2):95–112；组织社会学／组织学习）。这一族是”越努力越糟”这类反转的正主，必须点名再判。最贴的是目标置换：手段被当作目的本身来遵守。分离线：目标置换里那些规则从一开始就未必有效，问题在于遵守取代了目的；本章说的项目曾经真的有效，它的失效是被众人达标造成的，而且失效的时刻可以清点。判定形式：若该项目从未有过区分作用，是目标置换；若它有过一段区分期、且能查到未达标人数从多到零的过程，是齐项。
十一 · 功能蔓延与功能疲劳（Thompson, Hamilton & Rust 2005，JMR 42(4):431–442；市场营销／设计学，实务正主）。它说到哪一步：购买前偏好功能多，使用后满意度随功能数下降。分离线：功能疲劳是关于用户满意度的，功能可以不用；本章的项目不能不做。判定形式：若用户可以忽略该功能而不受损失，是功能蔓延；若不使用即失去资格，是齐项。
十二 · 项目区分度与删题（Ebel 1965；Lord & Novick 1968，Statistical Theories of Mental Test Scores；心理测量学，方法学占位者）。这是方法学上最危险的一位：区分度为零的题目应当从题库中删除——这套方法学的存在本身就假定了本章的共有前提。 分离线：测量学删得掉，因为题库有一个明确的编制者；本章说的场删不掉，因为没有编制者，或编制者的绩效与清单长度正相关。判定形式：若该体系存在一个能删题的位置且近期确实删过，测量学的框架够用；若查不到这样的位置，本章对。 第十二节场景四正是被这条判定切出去的那一格，本章已在第十六节写明不适用。
十三 · 零方差变量的丢弃与多重共线性（统计学通行做法；方法学占位者）。它说到哪一步：无变异的变量不可辨识，在任何回归里被自动剔除。分离线不在算法层而在解释层：统计学把”不可辨识”当作这份数据的局限，本章把它当作这个项目在这个体系里的真实身份——它不是测不出作用，是确实没有作用而仍在收费。判定形式：若把该项目从体系中真的移除，其他项的作用不变，则它确实只是不可辨识的干扰；若移除之后有人出局条件改变，它就是一个仍在承重的必答项。 这条判定同时是第九节最小实验第四步的理论依据。
十四 · 技术债（Cunningham 1992，OOPSLA 实践报告；软件工程，实务正主）。它说到哪一步：为了快速交付而接受的次优实现，其代价随时间累积并需偿还。分离线：技术债是质量欠账，可以通过重构偿还，且偿还有明确收益；齐项不是欠账，它当初做得完全正确，问题不在质量而在它已经不再分开任何人，而偿还它的唯一方式是删除，删除没有可见收益。判定形式：若重构该项目能带来可测的改善，是技术债；若唯一可行的处置是删除而删除的收益不可见，是齐项。
最近的邻居是哪几位。 是第三位（文凭主义）、第六位（仪式性合规）与第十二位（项目区分度删题）。说“我看得比它们透”没有意义，因为那句话不可判定，等于自认被吸收。可判定的说法是这样一句：这三位各自走到了同一扇门前，各自被自己问题里的一个假定拦住。文凭主义看见了要求在升，却必须给这件事配一个施动者，于是看不见没有决议的那些年份；仪式性合规看见了会有无用而必须有的形式，却把“不满足也不出事”写进了定义，于是看不见那些不满足就出局的；测量学看见了区分度会归零，却把“归零就删题”当作方法学的起点，于是看不见删不掉的题。一个曾经有效、如今归零、不做就出局、而没有任何位置能把它撤下来的项目，在这三套说法里都没有名字。本章补的正是这个名字，补的方式是给它一条生命线和一个可清点的数。
本书同一批里有五篇在结构上与本章相邻，其中一篇与本章是同题。它们是本章最近的自撞对象，必须逐篇给出可分开的预测。
与第七章（遗槛）（本编第一章，论门槛里由已经不在场的人供给的那一段）。这是最要紧的一条，因为两章答的是同一道题。分离线很干脆：那一章说的是门槛的高度，本章说的是判据的项数。 那一章问一条线为什么降不下来，本章问一份清单为什么短不了。两者可以同时成立，而且读数正交——一个体系可以门槛里的退出供给很高而清单很短（少数几项，每项的线很高），也可以清单极长而每一项的线都由在场者供给。判定形式：若把清单的项数固定住而门槛仍在上移，是第七章（遗槛）的过程；若每一项的线都停在人人达标处不再上移而清单继续变长，是本章的过程。 两篇合起来给出一张二乘二的交叉表，四格都有真实例子；但两篇都不能替对方回答问题。
与《转默》（论被推动的行为在推力撤除后仍存续）。形状相近，因为两篇都是”某个量归零而东西留着”。分离线在归零的是什么：那一篇归零的是外部推动的需求（还需不需要有人推），本章归零的是区分作用（还分不分得开人）。两者正交：一个项目可以推力已归零而仍有区分度（不用推，而且还在分人），也可以仍需大力推而已经无人不达标。判定形式：清点两个数——撤除推动后行为是否存续，以及未达标人数是否为零。四种组合都存在，两篇各解释其中一格。
与第一章（互顶）（第一编首章，论竞争与内卷在哪里分开，读数为补撑数）。那一章给的是分界判据（一个体系是不是已经卷了），本章给的是不收敛的过程。判定形式：若一个体系补撑数为零而齐项率高于 0.60，说明清单已被齐项占满却尚未构成互顶，两篇的判定在这一格分歧，可作为两篇同时检验的地方。
与第四章（隔计）（第二编首章，论退出而不被淘汰）。那一章处理的是个体如何脱身，本章处理的是清单为什么长。两章有一处直接的接口：本章预测退出的难度随齐项率上升，因为退出者再进入时必须重新满足全部齐项，而齐项恰恰是最不值得重做的那一类投入。这条接口给第四章（隔计）的处方加了一个约束：任何退出方案都必须处理”回来时清单已经更长”这件事。
与第二章（免担）（第一编第二章，论质疑的代价）。那一章说的是发出异议要付的代价，本章说的是已经无用的项目撤不下来。两者在同一处交汇：撤下一个齐项需要有人提出撤除，而提出撤除正是一次质疑。 判定形式：若某体系的质疑代价很低而齐项率仍高于 0.60，说明撤除的障碍不在质疑成本上，本章需要另找解释；若两个读数同高同低，两篇描述的是同一堵墙的两面。 这一条是本批五篇里最值得同时测的一对。
五篇撞上的是同一堵墙：以事件为单位的记录，读不出没有产生事件的变化。齐化点不产生事件，退出对门槛的供给不产生事件，被吸收的改革不产生事件。五篇各自提出的读数，没有一个能单独把这堵墙上的洞补齐。
本章的过程有五处明确不成立，逐条写出来，是为了让它可以被证伪。
其一，设有清单维护常设机构且其绩效不与清单长度正相关的体系。 见第十二节场景四。这一处同时是本章唯一有经验支持的出口。
其二，出局判定不按项做的体系。 若判定是整体打分、各项可以互相补偿，就不存在”不满足即出局”的项，齐项的第一条限定不成立，k 无法定义。
其三，判据表不公开或不存在的体系。 无法清点未达标人数，最小实验做不了。这类体系里本章的判断不可检验，因此本章对它们不作主张。
其四，在场者集合频繁整体更换的体系。 若每一轮的在场者几乎完全换人，“人人达标”这件事无法在同一批人身上确立，齐化点不可定位。
其五，项目本身会自然失效的体系。 某些技术要求会因为对象消失而自动作废（为一种已停产设备准备的兼容项）。这类项目退出体系不需要任何人删除，本章的过程被外部打断。
最强的竞争解释先摆出来：其实不就是”要求越来越多”吗，这需要一个新名字吗？ 这句话必须被排除，而排除它的方式是指出二者预测不同：“要求越来越多”预测每一项的水平也在上升（要求全面加码）；本章预测每一项的水平停在人人达标处不再上升，增加的只有项数。这两条在同一份数据上可分。
F1（主件，第九节的最小实验）。 取任一按项判定出局的现行清单，逐项清点未达标人数。若齐项率低于 0.60，本判断在该体系为伪。 所需数据在多数机构的既有记录里已经存在（一份清单加一轮筛选结果）。
F2（排除竞争解释）。 对同一份清单跨两个时点比较：若各项的通过线水平普遍上升，而项数不变，则”全面加码”对而本章为伪；若通过线在多数项上不变而项数增加，本章成立。
F3（对仪式性合规的分离）。 找出未达标人数为零的项目，检查是否真有单元因不满足它而出局。若从未有人因它出局，它是装饰而非必答项，本章的对象在该清单上不存在。
F4（对文凭主义的分离）。 追查某项要求性质改变的年份，查找该年是否存在抬高要求的决议。若每一次性质改变都能对应到一次决议，本章的”无施动者”这一条为伪。
F5（正向的轮次预测）。 齐项率每上升 0.1，新引入项目的发起者在资源分布中的分位数应当上升；若齐项率上升而发起者分位数不变或下降，回写这一步为伪。 需要一份带引入者身份的项目引入台账，本章手上跑不动（第十三节）。
F6（方法稳健性）。 把第八节的粒度规则换成”按判定行拆到最细”和”按判定行合并到最粗”两种极端编码各算一遍。若齐项率在两种编码下相差超过 0.20，本章的读数不可靠。 这一条本章尚未跑，是自己交出去的一个洞。
F7（已判伪的三条，一并列出以免选择性报告）。 第十节 H2（清单长度与齐项率的关系方向相反）、H4（跨库一致性差一线未达标）与第十一节 H7（齐化用时不随轮次缩短）。三条分别改写了本章的处方方向、跨体系普遍性的强度声明，以及”卷在加速”这一说法在本章中的地位。若后续研究发现 H2 在社会体系中方向为正（长清单确实更空），则第十二节场景三的让步可以收回，本章的处方重新包含”精简清单”——但那时必须解释为什么代码库与社会体系在这一点上相反。
这条判断若被证伪，会学到什么。 若 F1 在多数体系里判伪（齐项率普遍低于 0.60），说明清单里的项目大多仍在分人，那么现行的一切”减少单项强度”的努力方向是对的，本章只是找错了地方；若 F1 成立而 F3 判伪（那些零区分项从未真让人出局），说明本章把装饰误认成了必答项，而真正值得研究的是”为什么装饰能长期冒充必答项”——这比本章有意思。
第三层主张（不依赖前两层，也最容易检验）： 目前几乎所有判据表都不记两件事——每一项是哪一年引入的，以及最近一次未达标人数是多少。前者在第十节的代码库数据里跑不动（单一版本无法比对），后者在多数机构里从未被统计。在判据表上加这两栏，不需要接受本章任何一条判断，也不需要新的采集流程：引入年份在修订记录里，未达标人数在每一轮筛选的原始结果里，只是从来没有人把它们放回那张表。这一条即使前两层全部倒掉也仍然成立。
反噬。 本章一旦被采纳，最省事的实现方式是下调通过线，让未达标人数从零变回非零——这样齐项率立刻好看，而且完全合规。可是这样做并没有把项目撤下来，只是重新制造了一点参差，让一个已经沉底的项目重新开始筛人。这会把本章要减掉的负担变成新的负担：原来它至少是人人都过、不再消耗注意力的；现在它重新变成要盯着的东西。
更糟的一种：一旦齐项率进了考核，最省事的达标办法是在粒度上做手脚。把一行拆成三行，其中两行仍有人未达标，齐项率立刻下降——而实际的必答内容一个字没变。第八节把粒度写死为”判据表上的一行”，正是为了挡这一手；但这条防线守不住一个决心要拆行的机构。
我看不到出口。任何使齐项可见的做法，都同时提供了操纵它的方法；任何防止操纵的做法，都需要一个有权核定粒度的第三方，而这个第三方一旦设立，它自己的绩效就会与它核定过的行数挂钩。
伦理三条。 齐项率是一个比率，比率一旦公开就会被拿去考核人，因此三条写死：
一，它指的是清单，不是人。 齐项率读的是”这份判据表由什么构成”，不是”谁的能力已经不值钱了”。任何把某人所具备的能力称为”齐项”、并据此贬低其价值的用法，都是误用——第七节说得清楚，一个项目走到第Ⅳ段，说明所有人都做到了，这是集体的成就，不是个人的贬值。
二，不得为把齐项率做低而下调通过线或拆分条目。 尤其在安全相关的资质上，不得为了让读数好看而重新制造淘汰。齐项率是一个诊断读数，不是一个要优化的目标。
三，已按此类读数删减过判据的，须公开删除清单与删除理由，并给复核通道。 删除一个齐项，最直接的受损者是那些刚刚为它付过账、还指望它算数的人——他们付出的成本已经沉没，而删除会让这笔成本连”人人都有”这个安慰也失去。删除必须给他们一个说法。
自反不是说”本章也有局限”。是用本章自己的判据，给本章自己定位，并说出后果。
把最小实验用在这篇论文自己身上。 一章要收进学术专著的文稿，它的必答项清单是什么？大致是：中英文标题、摘要、关键词、引言、与既有说法的分界、可证伪条件、伦理声明、参考文献、数据可复算声明、人机分工声明。逐项问第十二节那句判据：这一项上，本书其余各章在场的稿子里有几篇没做到？
答案很难看：零篇。 上面这十项，本书已发的每一篇都做到了。也就是说，按本章自己的定义，这十项全部是齐项——它们不再分开任何两篇稿子，而任何一篇没做到就发不出来，而每一篇为它们花的时间是实打实的。
这个定位有三个具体后果，本章都得认。
第一，本章正在制造它所描述的东西。 本章提出的这套东西——生命线、清点手册、最小实验、四处一致的阈值——如果被接受，会成为下一篇同编各章的必答项。它现在还在第Ⅱ段（还没有别的稿子做到，所以它还能分开人）；如果它有用，它就会走到第Ⅲ段，然后沉底。本章能被采纳的唯一方式，就是变成一个不再分开任何人的项目。
第二，本章没有资格建议别人删项，因为本章自己一项也没删过。 上面那十项里，本章一项也没有省略，也没有在任何地方提议本书取消其中任何一项。第十四节批评所有人假定”归零的项目会被删掉”，而本章自己面对一份齐项率为 1.000 的清单时，做的是全部照办。这不是失误，这正是本章的机制在本章身上的运行：删除的收益不可见（省下的时间沉在底座里），删除的风险可见（发不出来）。
第三，本章那个 0.60 的阈值是自己定的，没有推导。 它在四处保持一致，这是本章能保证的全部。一个由作者自定的阈值，其可裁决性完全依赖于别人重算时不改动它——而这一点本章管不着。若有人用 0.50 或 0.70 重算并得出不同结论，本章没有立场反驳。
赌注。 到 2036 年 12 月 31 日：至少有一个国家级或行业级的资格／准入判据表，在其公开修订说明里，把“本轮未达标人数为零的条目”单独列出，并对其中每一条给出保留或废止的书面理由。
四条不算命中，先写死：
只有学术论文做过这种清点，而没有任何一份现行判据表在修订说明里列出这一栏——不算。
列出了”已普及的条款”但不逐条给保留或废止的理由——不算。缺了理由，就没有人为保留承担成本，与现状无异。
由某机构自行声明”我们已定期清理过时条款”而不公布未达标人数与条目清单——不算。这是四条里最要紧的一条，因为它是最容易发生的伪命中。
该栏目只用于事后解释条款数量的变化，而不用于修订决策——不算。
三个洞，填不上，交出去。
洞一：0.60 这条线没有理论依据。 它是一个凭手感取的数，本章能做的只是让它在四处一致。整篇的判定挂在一个自定的阈值上，而 F6 那条稳健性检验本章还没跑。
洞二：两条真跑的对象都不是社会体系。 代码库的参数清单与抽象模型，都不是招聘要求、不是评审条件、不是准入条款。本章用它们，是因为它们是唯一可以逐项清点、且清点结果公开可复算的材料；而这恰恰是本章自己的第三层主张所指出的那个缺口——真正想测的东西没有记录。一篇关于”清单为什么长”的论文，拿不出一份真实的社会清单的数据，这是它最薄的地方。 第九节那个最小实验之所以写得那么细，是因为本章只能把这一步交给读者。
洞三：说不清一个项目”曾经真的有效”该怎么事后确认。 第十四节用”曾经有过区分期”把齐项与目标置换分开，而在多数体系里，“当年有多少人没达到”这个数从来没有被记录过——它正是本章第三层主张要补的那一栏。也就是说，本章用来划清界线的那个判据，在现有记录里往往查不到。这不是一个可以靠更仔细的分析解决的问题：那个数在当年就没有人记，事后无法重建。这个洞我看不到怎么填。
| 段 | 名称 | 这一段的特征 | 在场者中未达标的人数 | 维持成本 | 不达标的后果 |
|---|---|---|---|---|---|
| Ⅰ | 引入 | 被某个人或某几个人先做到，用来把自己与别人分开 | 绝大多数 | 高（要新建能力） | 无（还不是要求） |
| Ⅱ | 区分期 | 成为加分项，会的人占优 | 多数 → 少数 | 高 | 落后但不出局 |
| Ⅲ | 齐化点 | 未达标人数降到零的那一刻 | 零 | 仍在 | 出局 |
| Ⅳ | 齐后必答 | 人人达标，不再分开任何人，仍然不做就出局 | 零 | 仍在，且随体系规模上升 | 出局 |
| 假设 | 阈值 | 实测 | 判定 |
|---|---|---|---|
| H1 齐项率中位数 ≥ 0.50 | 0.50 | 中位数 1.000；均值 0.841 | 成立 |
| H2 清单越长齐项率越高 | ρ ≥ 0.20 | ρ = −0.198（p ≈ 1×10⁻⁴⁸），方向相反 | 判伪 |
| H3 带弃用标记参数 < 5% | 5% | 40 / 32,736 = 0.12% | 成立 |
| H4 各库中位数极差 < 0.20 | < 0.20 | 极差 恰为 0.2000（最低 0.800，最高 1.000） | 判伪（差一线） |
| 库 | 合格函数 | 齐项率中位 | 齐项率均值 | ρ(k, 齐项率) |
|---|---|---|---|---|
| numpy | 393 | 1.000 | 0.841 | −0.266 |
| pandas | 598 | 0.817 | 0.686 | −0.208 |
| matplotlib | 367 | 1.000 | 0.746 | −0.349 |
| scikit-learn | 391 | 0.800 | 0.673 | −0.049 |
| scipy | 1,291 | 1.000 | 0.875 | −0.110 |
| networkx | 556 | 1.000 | 0.888 | −0.048 |
| sympy | 1,624 | 1.000 | 0.908 | −0.245 |
| jinja2 | 88 | 1.000 | 0.928 | −0.001 |
| Pillow | 96 | 1.000 | 0.947 | −0.331 |
| 参数个数 k | 函数数 | 齐项率中位 |
|---|---|---|
| 3–4 | 3,283 | 1.000 |
| 5–7 | 1,441 | 1.000 |
| 8–12 | 527 | 1.000 |
| 13–20 | 119 | 0.938 |
| 21 以上 | 34 | 0.877 |
| 轮次 | 必答项 k | 有区分 d | 齐项 m | 齐项率 | 总成本 |
|---|---|---|---|---|---|
| 1 | 1 | 1 | 0 | 0.000 | 1.054 |
| 320 | 6 | 1 | 5 | 0.833 | 11.004 |
| 640 | 11 | 1 | 10 | 0.909 | 21.727 |
| 1,280 | 22 | 1 | 21 | 0.955 | 43.748 |
| 1,920 | 32 | 1 | 31 | 0.969 | 63.027 |
| 2,560 | 42 | 1 | 41 | 0.976 | 82.809 |
| 3,200 | 53 | 1 | 52 | 0.981 | 103.562 |
| 4,000 | 66 | 1 | 65 | 0.985 | 129.847 |
| 九个公开代码库 | 四千轮最小模型 | |
|---|---|---|
| 项目的量纲 | 函数的关键字参数 | 抽象维度 |
| 项目总数 | 27,007 个参数 / 5,404 个函数 | 66 个维度 |
| 齐项率 | 中位 1.000（均值 0.841） | 0.985 |
| 有区分作用的项数 | 中位为 0（半数函数无一参数被用过） | 恒为 1 |
| 清单的方向 | 只增（弃用标记 0.12%） | 只增（无移除机制） |
| 判伪 | H2 方向相反、H4 差一线 | H7 不成立（不加速） |
数据与可复算性声明。 第十节的分析对象为容器内以 pip 安装的公开发行版本源码，分析方式为 Python 标准库的语法树静态解析，扫描日期 2026 年 8 月 10 日；排除测试目录，纳入 k ≥ 3 的公开函数。第十一节的模型为自写，参数（N = 200，靠拢系数 0.02，噪声 0.002，变异系数阈值 0.05，初始对数正态 σ = 0.30，共 4,000 轮）与随机种子（20260810）已在正文列全，任何人可独立复算。预注册文件在统计执行之前写定，本章报告了其中判伪的三条。本章不提供未标出处的数字。
人机分工声明。 题面、三门学问的指定出自作者；检索、静态分析、模型实现与初稿由作者偕大语言模型完成；预注册的写定、判伪结果要不要认、以及认了之后改哪一句，均由作者拍板。第十节 H2 判伪之后是否保留”精简清单”这条处方，是本章写作过程中唯一一次需要在”保住一条好用的建议”与”跟着数据改”之间选择的分岔，作者选了后者。
版本与字数。 正文约 2.0 万汉字。本稿为第一版。