本书前面各编证明的是一件不乐观的事：AI 腾出的地不会自己被占住，默认状态是腾出即塌陷。本章给出的是一条确实占住了的产线，而它占住的方式，恰好逐条符合前文给出的判据。
| 前文判据 | 这条产线怎么满足 |
|---|---|
| 降低 ρ（不能把生成位全交出去） | 工序 5 母题、工序 7 预注册，ρ 压到低或零 |
| 提高 k（否决必须显影） | 工序 1、2、3、4、6 全部要求”排除依据各一行” |
| 抬高 k_self（人要自己说得出被排除的候选） | 工序 10 判死要求说出死在哪一句；工序 6 要求逐位写分离线 |
| 判据锚定（终点先于结果写死） | 工序 7 预注册，且事后补写作废 |
| 回写留痕（不是文末反思） | 工序 9 要求前后两版并存＋一行理由 |
| 停止规则（证据不足要能拒绝签字） | 工序 4、6 的两道闸，过不去就判死 |
换句话说，这条产线不是”用 AI 提高研究效率”的又一个例子。它的结构是反着来的：它把机器最擅长、也最讨人喜欢的那件事（给出一条干净的下一步）明确地限制在铺开位上，把所有排除动作留给人，并强制每一次排除都留下文字。
由此可以给出一条比 ρ、k 更粗、但更好记的分界：
计算权可以交，命名权与判错权不能交。
第七章论证过验收位依赖生成位：不会自己生成的人，判断别人那一步对不对只能停在表层流畅性上。这条产线给出的是这一论证的工程回应——它不要求人在每一处都生成，只要求人在命名与判错这两处必须生成。工序 5 与工序 10 就是这两处的强制抽测点。
第十章提出的支配判据是：一个人支配一个认知块，当且仅当他面对它时能说出至少一个被排除的候选及其依据（k_self > 0）。
第十三章又证明了不可辨识性：从成果反推能力不可靠。两者的调和在于 k_self 不是从成果推断，而是现场索取。
这条产线把”现场索取”制度化了：
产线的每一道闸，都是一次 k_self 抽测。因此这条产线不仅是腾空律的正例，也是第十章那个读数的一个可运行实现——它证明 k_self 不只是一个定义，是可以被做成流程的。
“人机协作”“人在环路中”“AI 做助手、人做决策”——这些说法与本章描述的产线听上去很像，必须指出差别。
通行说法给的是角色分配：人负责决策，机器负责执行。它的问题是角色分配无法被检查。谁来判断人是”真的决策了”还是”点了同意”？第十三章已经证明，从成果无法反推这一点。于是”人在环路中”在实践中退化成末端签字——本书第二十九章专门批评过这件事。
本章的产线给的不是角色分配，是带读数的工序：
| 通行的人机协作说法 | 本章的产线 | |
|---|---|---|
| 人的位置 | “负责决策” | 五个具体动作：定型、推翻、锻母题、写死判负、裁定 |
| 怎么证明人真的做了 | 无法证明 | 每道闸强制留下排除依据 |
| 不合格怎么办 | 无规定 | 退回或判死，有明确路径 |
| 能否被第三方复核 | 否 | 全程留痕 |
| 失败时能否定位 | 否 | 定位到某道工序 |
差别可以压成一句：通行说法规定人应当在哪里，产线规定人必须交出什么。前者是伦理主张，后者是工程规格。而只有后者能被检查——这正是第二十五章给”工程化”下的四项定义里第二、三、四项的要求。
这条产线是为研究写的，但它对课堂有三条可以直接搬的含义，因为两者的成本结构是同一个。
其一，作业的合格标准应当改成”交出排除依据”。学生交上来的报告，无论多完整，都无法区分是判定还是收集（第十三章的不可辨识性）。但”你排除了什么、为什么排除”是现场可索取的。把这一项写进作业要求，等于把工序 2 与工序 6 的闸装进课堂——成本极低，且不需要任何新技术。
其二，“改掉你自己原来的哪一句”应当成为常规提问。这是工序 9 的课堂版。它把回写从一种态度变成一项可交付物，而且它的答案无法被代写——因为代写者不知道这个学生原来那一句是什么。
其三，判死应当被允许。这条产线里判死率为零意味着闸没开；课堂同理。一个从不允许学生说”这道题我现在不能回答，因为关键前提不成立”的课堂，就是第三十四章所说的只奖励末端签字的评价体制。允许判死，是停止规则在课堂上的具体形态。
三条合起来，正是全书第五编”让占住变得可见”的最小实现：不需要新设备、新课时或新平台，只需要把三样东西列入交付——排除依据、改写记录、拒绝的权利。
一条产线一旦跑起来，就会长出只有产线才有的病。本章把三种最可能发生的写出来，并给出对策与读数。不写出来，本书就会变成产线的广告。
病理。第四章的工序表把”排除依据各一行”设成合格读数，把 k 设成目标值。一旦 k 成为考核指标，铺开一侧就会学会生产假候选：列三个明显不成立的选项再排除掉两个，k 拉满，判定密度为零。
这不是可能发生，是必然发生——古德哈特的老规律，本书在第三十章拿它批评过别人，这里必须转向自己。
对策。区分真假否决的判据不在否决的数量，在它的后果：
真否决改变下一步，假否决不改变下一步。
一个候选被排除之后，如果后续的材料需求、检验方式或结算位置没有任何变化，那么这次排除是装饰。
读数。定义有效否决率 ＝ 引起了后续动作改变的否决数 ÷ 全部记录的否决数。有效否决率是 k 的必要配套；只报 k 不报有效否决率的产线，可以被直接怀疑。
病理。这条产线一旦装上装配工序，日产量可以极高——一天装出一本二十万字的书在技术上是成立的。而判定密度的分母正是产出量。于是产量每上升一档，密度自动下降一档，除非否决数同步上升；但否决由人做，人的产能不变。
结论是刚性的：
在人的否决产能不变的前提下，产量与判定密度成反比。
这不是效率问题，是算术。
对策。只有两条，且都要付代价：一是限产——把产量压在人的否决产能所能覆盖的范围内；二是分层——明确区分”经过全部十二道工序的产出”与”只经过装配的产出”，后者不得冒充前者。
读数。每件产出标注它实际经过了哪几道工序。没有这个标注的产线，外部无法区分两类产出，久而久之两类会被当成一类——那时判定密度的下降对读者不可见，这恰恰是本书第十三章所说的不可辨识性在生产侧的重演。
病理。用 SDE 的判据评 SDE 的产出，用同一套方法论既当选手又当裁判。这是本书第六章效率自证悖论的产线版：任何能被自己的判据证明有效的产线，证明的只是它执行了自己的判据。
对策。三条，按强度排列：
本书诚实地报告：三条里，第 3 条本产线在执行，第 1 条部分执行，第 2 条从未执行过。没有同题对照，本书关于”这条产线更好”的任何主张都不成立——所以本书没有提出这个主张。本书只主张一件事：这套方法论第一次可以被执行。可执行不等于更好，这两件事必须分开。
还有一种更隐蔽的病值得记下。一条固定的工序表会让所有题目长得越来越像：每一篇都有三家取源、一处共有前提被推翻、一条母题、一批缺席祖宗、几条预注册条款。形式的一致本来是工程化的优点，但它也意味着不适合这套工序的题目会被悄悄过滤掉——那些没有三家可取、或者本来就不该有反直觉母题的题目，不会被判死，而是根本不会进入产线。
这种过滤不留痕迹，因而最难发现。目前本书给不出读数，只能给一条提醒：定期检查有没有一类题从来不出现在产出里。若有，先问是不是工序把它挡在了门外。
| 病 | 机理 | 对策 | 读数 | 本产线执行情况 |
|---|---|---|---|---|
| 表演式否决 | k 成为指标后，铺开侧生产假候选 | 看否决有没有改变下一步 | 有效否决率 | 未执行 |
| 产量—密度背离 | 产量是密度的分母，人的否决产能不变 | 限产；分层标注实际走过的工序 | 判定密度＋工序标注 | 部分执行 |
| 自证循环 | 用自己的判据评自己的产出 | 外部盲评／同题对照／判负入正文 | 三项分别记录 | 第三项执行，第二项从未执行 |
| 过度塑形 | 不适合工序的题被挡在门外，不留痕 | 定期检查有无一类题从不出现 | 暂无 | 未执行 |
这张表最该被注意的是最后一列：四病之中，只有一项在被认真执行。一条产线自陈四种病而只防住一种，读者据此打折是合理的。