一个人手上有一套判断。他不在任何学术共同体里，不在任何行业协会里，他的东西也不打算公开发表。
谁来告诉他哪里错了？
在旧世界，这个问题没有答案。要被挑错，你得先把东西交出去——交给能看懂的人，而能看懂的人必然分布在你控制不了的地方，所以交出去就等于公开。于是"被检验"与"被公开"是同一个动作的两面，谁也没见过只做一半的做法。
这条捆绑造成的后果，比它看起来严重得多：
· 想保住东西的人，只能不被检验——他的错误会陪着他一辈子，而且他自己不会知道；
· 想被检验的人，只能交出东西——检验完了，那东西也不是他的了。
Polanyi 面对的正是这堵墙（第三章）。他选择保住归属，代价是把最重要的那个环节安置在个人内部，靠委身与共同体的相互信任来担保。在他那个年代，这是唯一能守住的阵地。
第二章主张这堵墙已经松了：检验第一次可以在不交出底本的前提下发生。 那一章把这称为三对张力里的第二对，并且承认它是三对中最新、最弱、最不成熟的一对——只有保护那半边，成长那半边悬着。
本章就是来补那半边的。 它要回答三件事：
· 不交底的检验，机制是什么（第三至十四节）；
· 它的天花板在哪（第十五、十六节）——这是本章最要紧的部分，也是对这条路最不利的部分；
· 它有哪几种失败形态，怎么测（第十七至二十三节）。
先把结论摆在前面，免得读者读到一半以为这是好消息：
不交底的检验有一个结构性上限：你只能在你交出去的那一层上被检验。 守得越严，可被攻击的面就越薄。保护与成长在新形态里不再是负相关，但也不是无关——它们之间有一个兑换率。
"碰撞"这个词很容易变成一种表演——找几个人来说几句反对的话，然后宣布已经过检验。所以先把判定对象钉死。
判定对象：一次针对某条主张的攻击，是否构成一次真检验。
判据（三条，缺一不算）：
其一·独立：攻击方与被攻击方不共享同一批参照系。若两者读的是同一套材料、认同一套判准，那不是检验，是同源共振——它在形式上与真检验完全一样：有来有往、有攻有守、有结论，只是那个结论早就写在共同的前提里。
其二·可致命：这次攻击在原理上有可能推翻或收窄被攻击的主张。攻措辞、攻文风、攻"讲得不够清楚"，都不满足这一条——它们无论成不成立，主张本身纹丝不动。
其三·带处置：攻击必须给出改法——改哪个条件、缩到哪个范围、或者撤回并写出改后的话。提不出改法的攻击，无法与"我不喜欢"区分。
三条判据的用法：一次碰撞跑完，逐条核。三条全过，记为一次真检验（可计入第一章说的"抗攻次数"）；缺任何一条，记为零，不记为半次——因为一次不独立或不可致命的攻击，其信息量确实是零，而不是少。
一个必须先说清的事：本章全篇讲的"攻击"，攻的是主张与判据，不是人。这不是礼貌要求，是技术要求——攻人不满足判据二（无论攻人成不成立，主张不动）。
要看清新机制的位置，先看清旧机制为什么必须那样。
同行评议是人类迄今最成功的群体检验制度，本章不贬低它。但它的运转有三个必要条件，每一个都在制造那条捆绑：
其一，评议者必须看到全文。 你不能让人只看结论就挑错——他需要看到推演、数据、条件，才能判断哪里不成立。这一条直接导致交底。
其二，评议者必须是同行。 只有懂这一行的人才能判断这一行的东西。而"是不是同行"由这一行自己认定——于是产生准入：进不去的人，他的东西无人可评。
其三，评议以公开为终点。 整套制度的目的是让通过检验的东西进入公共知识库。检验与公开在制度设计上就是连着的，不是偶然连在一起的。
三条合起来，就是那堵墙：要被检验 → 要交全文 → 交给同行 → 进入公共领域。
本章的解耦针对的是第一条与第二条，第三条不必动——因为按第二章那把刀，主张层本来就该公开，公开的从来不是问题所在。
承重命题（两句，第二句常被漏掉）：
其一，检验可以在不交出底本的前提下发生——因为可被攻击的对象是主张与判据，而它们本来就该公开。
其二，这种检验的深度上限由你交出去的那一层决定。你只能在你交出去的那一层上被检验。
第一句是好消息，第二句是账单。两句必须一起读，否则第一句会被读成"既能保密又能被检验"，那不是本章的主张。
为什么第二句成立，理由很机械：攻击者只能攻他看得到的东西。你送出去的是判据与结论，他就只能在判据与结论上找毛病；他看不到你的推演过程，就无法指出那个过程哪一步跳了。这不是他不够聪明，是他手上没有那个东西。
于是保护与成长之间有了一个兑换率：
| 你送出去的 | 他能攻到的 | 你交出的风险 |
|---|---|---|
| 只有结论 | 几乎攻不到（只能攻合理性） | 极低 |
| 结论 ＋ 判据 | 判据本身是否成立 | 低 |
| ＋ 成立条件 | 条件是否写足、有无反例 | 中 |
| ＋ 推演链 | 推演哪一步跳了 | 高——已接近交底 |
| ＋ 原始数据 | 一切 | 等于交底 |
这张表是全文的骨架。 后面所有的机制、量具、失败形态，都是在这张表上取一个位置的问题。
第四节把"能攻到的"那一列做成一个可取值的读数。
攻深 D*：一次攻击所触及的最深层级。
六层，从浅到深：
| 层 | 攻的是什么 | 例子 |
|---|---|---|
| 0 | 措辞、文风、清晰度 | "这句话说得含糊" |
| 1 | 主张本身 | "我不同意这个结论" |
| 2 | 判据 | "你用来判断的这条标准本身站不住" |
| 3 | 成立条件 | "在某某情形下你这条不成立——这是反例" |
| 4 | 推演链 | "你从第二步到第三步跳了" |
| 5 | 原始材料 | "你这组数据的采集方式有问题" |
判读：
· D*=0 不计入检验（不满足判据二·可致命）；
· D*=1 弱：不同意本身不构成攻击，除非附带理由（那就升到 2 或 3）；
· D*=2、3 是不交底检验的主战场；
· D*=4、5 需要交出推演与数据，已经越过交底线。
由此得到本章最重要的一个结论：
不交底的检验，上限是 D*=3。
也就是说：别人可以告诉你"你这条在某种情形下不成立"，但不能告诉你"你得出这个条件的过程有错"。
这个上限是结构性的，不会因为攻击者更强而消失——它由信息的可得性决定，不由能力决定。第十五、十六节专门处理它的后果。
一个附带的用法：D 可以用来给碰撞记账。一次碰撞跑完，逐条攻击标 D，然后看分布。如果一场碰撞里 80% 的攻击落在 0 和 1 层，那场碰撞基本是空转，无论它看起来多热闹。
第二章列过四条构成条件，那里只有名目。这四节把它们做实：每条给判据、失败形态、以及怎么查。
条件一·异质：攻击方与被攻击方不读同一批参照系。（第十一章会给这条判据一个更准确的名字：互质 —— 像两个数没有公因数。）
为什么它排第一：因为它被违反时，碰撞的外观完全不变。三方读同一套材料，一样有攻有守有结论——只是那个结论早就写在共同前提里。这是四条里唯一一条"违反了也看不出来"的。
判据：攻击方能不能提出一个被攻击方的参照系里不存在的理由。提不出，说明两者同源。
失败形态一·喂同一批语料。 最直接的一种：把自己的全部材料送给攻击方作为背景。这等于请一个人读完你的书再来反驳你——他会在你的框架内反驳，攻不到框架本身。
失败形态二·同一个基底扮演两个角色。 让同一个模型先当持方再当攻方。它在两个角色里共享同一套倾向，分歧只发生在表层。
失败形态三（最隐蔽）·不同基底但语料重叠。 两个不同厂商的模型，训练语料可能有很大交集。"不同的模型"不等于"独立的检验"——这一条严重到要单列一节（第十一节）。
可查的做法：碰撞前先声明各方的参照系来源；碰撞后检查攻击理由里有没有出现被攻击方从未接触过的东西。若一次碰撞里所有攻击理由都能在被攻击方的材料里找到影子，那次碰撞的独立性存疑。
第三节那张兑换表给出了原理：送出去多少，就能被攻到多深。但它没说具体哪一条该送到哪一层——而这是实际操作时必须逐条决定的事。
默认档：送判据与结论，不送成立条件。 这是安全档，对应 D*=2。大多数条目停在这里就够了——它们不承重，被攻到判据层已经足够。
升一格（送成立条件，D*=3）的条件有两个，须同时满足：
其一，这条是承重条目（牵连度＞0）；
其二，它的抗攻次数为零或很低——也就是它撑着很多东西却从没被检验过。
这类条目是库里最大的风险源，值得为它多交一格。
再升一格（送推演链，D*=4）只在两种情形下做：
· 你明知这条的推演有可疑之处，想让人帮你看（自查已经查不动了）；
· 对象是利害相关方或有约束的少数人（第十九之二节），不是公开的多方场次。
绝不升到 D*=5（送原始材料）——那已经不是"多交一格"，那是交底。如果一条判断非要看到原始材料才能被检验，那说明它该走投稿那条路，不该走碰撞这条路。
一条逐条决策的判据（可以直接照用）：
问：如果这一层被人拿走，他能不能靠它自己跑出下一条？
能 → 不送；不能 → 可以送。
这与第一章分层的刀口是同一句话——因为它们本来就是同一件事：碰撞时送出去的那一层，就是你实际公开的那一层。
最后一条提醒，也是这一节存在的理由：每一次碰撞都在往外送东西，而送出去的东西会累积。 单次碰撞送的那一点无关紧要，一年五十次之后，累积送出的量就不再无关紧要了（第五章的萃取问题）。所以升格必须是逐条决定的，不能变成习惯性动作——习惯性地多送一格，一年下来等于把整个条件层交了出去。
条件二·每一处攻击必须给出改法：改哪个条件、缩到哪个范围、或撤回并写出改后的话。
为什么这一条必要：不带改法的攻击有两个问题。
其一，它无法与偏好区分。"我觉得这里不对"——不对在哪、怎么改才对？说不出，那它可能只是不喜欢。
其二，它无法被结算。被攻击方收到一句"这里不对"，能做的只有两件事：认或者不认。而认与不认都不产生新东西——库里没有多出任何条目，也没有任何条目被收窄。
带改法的攻击则不同：它直接给出了一条候选的收窄。被攻击方可以接受（条件缩一圈）、可以拒绝并写明理由（留痕）、也可以反过来指出改法本身有问题。三条路都产生记录。
判据：这次攻击之后，库里有没有可能多出或改掉一条东西？没有可能，那它不算一次攻击。
失败形态·抽象的怀疑。 "这套东西是不是过于理想化了""现实可能更复杂"——这类话永远正确、永远不可反驳、也永远不改变任何条目。它们是碰撞里最常见的填充物，而且因为听起来审慎，很容易被误当成有价值的批评。
条件三·负责结算的一方，不得把各方的话翻译成自己的术语再结算。
为什么：翻译过一道之后，结算的就是自己的译文，不是他们的交手。而翻译几乎总是让一切看起来更整齐——分歧在翻译中被磨平，这正是最该保留的东西。
一个具体的例子：攻方说"你这个在小团队里可能不成立"，持方说"我说的本来就是有专职人员的情形"。这两句话里藏着一个尚未被弄清的条件差别（团队规模？还是有无专职？）。 一个翻译式的结算会写成"双方对适用范围有分歧"——那个真正值钱的差别就此消失。
判据：结算文本里，各方的关键句能不能被原样找到？找不到，说明被翻译过。
失败形态·术语归并。 结算方把攻方说的 A 和持方说的 B 都归到自己的一个概念下，然后宣布"其实是同一件事"。大多数时候它们不是同一件事，只是在那个更粗的概念下看起来像。
顺带一条实践规矩：结算方应当是唯一读被攻击方全部参照系的一方（否则它无法判断攻击是否击中承重处），但正因如此，它最容易翻译。这两件事要一起记住。
条件四·当独立性不足时，必须标明，并且不出结算结论。
什么叫独立性不足：可用的独立基底不够（比如只凑得出两家），或者其中两席实际上是同一个来源。
为什么这时必须禁结算：因为结算会产生一个"已经过检验"的记录，而这个记录会在下一轮被当作靶子或前提。拿一份不独立的结算当下一轮的起点，会越撞越自证——每一轮都在给上一轮的结论加固，而那个结论从来没被真的攻过。
正确的做法：标记为"待结算"，写明缺什么（缺第几席、缺什么类型的攻击），并且不给"继续下一轮"的通道。
失败形态·凑数。 独立基底不够时，让同一个来源扮演两个角色以凑够席数。席数是够了，独立性没有——而结算结论会照常产出，看起来完全正常。
四条构成条件的合账：
| 条件 | 被违反时的外观 | 能不能当场看出 |
|---|---|---|
| 异质 | 完全正常 | 不能 |
| 带改法 | 略显空泛 | 能 |
| 不翻译 | 显得很整齐 | 较难 |
| 降级禁结算 | 完全正常 | 不能 |
两条"看不出"的（第一与第四）必须靠事前声明与事后留痕来防，不能靠观感判断。这是碰撞制度设计里最要紧的一条经验。
不交底的检验有三条路，各有各的攻深与各的毛病。
路一·多基底碰撞：把同一条主张送到多个不同的判断系统上，各自独立攻击。
它的攻深：可达 D*=2–3。因为你送出去的是判据与成立条件，而这两层足以支撑"你这条标准站不住"与"这里有个反例"两类攻击。
它的优势有两条，都很实在：
其一，可及性。它不要求你进入任何共同体，不要求你认识任何人，不要求对方欠你人情。对一个没有同行的人，这是唯一开着的门。
其二，成本低到可以高频。同行评议一轮要数月，这个可以每周一次。而检验的价值与频次高度相关——一年一次的深检验，不如一周一次的浅检验能更早发现问题。
它的毛病：独立性存疑，而这是致命的一条，下一节专论。
路二·异源对撞：把同一条主张放到几个互不相干的领域里，看它在哪一处先崩。
做法：不是问"这条对不对"，而是问"如果把它翻译成某个完全不同领域的问题，它还成立吗"。一条关于教学节奏的判断，放到排队论里、放到发酵控制里、放到航班调度里，各自会遇到什么？
它的攻深：可达 D*=3，而且它攻的是一种别的路攻不到的东西——它测的是这条判断的普遍性到哪里为止。多基底碰撞攻的是"这条对不对"，异源对撞攻的是"这条到底管多宽"。
它的独有价值：跨领域的判据体系天然不同源，所以它在异质这一条上先天合格——这是它相对多基底碰撞最大的优势。
它的毛病有两条：
其一，翻译误差。把一条判断搬到另一个领域，搬得对不对本身就是一个判断。搬错了，后面的攻击全部落空，而且很难察觉。
其二，容易变成类比游戏。发现相似之处令人愉快，而相似不等于同构。判据：那个领域里必须有一条可以判负的东西——若它只能提供"看起来很像"，那不是攻击，是修辞。
这一节处理本章最强的反驳，而且我认为它部分成立。
反驳：所谓"多个不同的基底"，其训练材料很可能高度重叠——它们读过同一批公开文本，继承了同一批流行判断，在很多问题上会给出方向一致的回答。那么用它们互相攻击，不是多次独立检验，是同一个立场说了很多遍。
这个反驳直接打在第五节那条最要紧的构成条件上，而且如果成立，路一的价值会大幅缩水。
必须承认的部分：语料重叠是真实的，方向一致也是可观测的——同一个问题问几家，经常得到形状相似的答案。"不同厂商"确实不等于"独立检验"。
但这个反驳不是全称的，理由有三条：
其一，重叠不等于同一。 训练材料重叠很高的两个系统，在边缘情形与冲突情形上仍然会分歧——而检验恰恰发生在边缘与冲突处，不发生在共识处。
其二，独立性是可测的，不必靠猜（第十二节给出方法）。这一条最要紧：一个可测的性质，不该用"可能不独立"这种断言来处理，该去测。
其三，路二与路三先天不受这个反驳影响。 异源对撞的独立性来自领域差异，敌意实搜的独立性来自文献本身的存在与否。所以即使路一的独立性被证伪，不交底的检验仍有两条路可走——只是会变慢、变窄。
一条必须写下的判断：如果第十二节那个测法测出多基底之间的分歧率极低，那么路一应当降格为辅助，主力交给路二与路三。本章没有做这个测量（第二十七节自曝第一条）。
上一节说独立性可测，这一节给方法。它很便宜，一天可以做完。
定义：
分歧率 d ＝ 在同一批判断题上，两个基底给出实质不同结论的比例。
取值方法（五步）：
· 准备 30 条判断题，一半是有明确共识的（用作校准），一半是真有争议的；
· 同样的提问送给两个基底，不给任何背景材料（有材料会引入共同前提，污染测量）；
· 逐题标"实质相同／实质不同"——只看结论方向与主要理由，不看措辞；
· 在有争议的那 15 条上算 d；
· 对每一对基底做一次，得到一张两两分歧矩阵。
判读：
· d 很低（比如低于 0.2）：这两家在你关心的问题域上高度同源，不应当同时坐在攻击席上——它们占两个位置，只提供一份检验。
· d 中等：可以配对使用。
· d 很高（比如高于 0.7）：小心另一种问题——分歧太大可能说明这个问题域本身没有稳定答案，此时攻击会变成互相否定而无法结算。
两条使用要点：
其一，d 是领域相关的。 两家在医学问题上可能高度一致，在教育问题上分歧很大。必须在你自己的问题域上测，不能引用别人的结论。
其二，d 会随基底换代而变。 这个测量的保质期不长，建议每次基底大版本更新后重测——这是第一章说的"触发式复检"的一个具体应用。
本节的一个副产品：这张分歧矩阵还可以用来排座——攻击席之间应当挑 d 高的配对，而不是随手取。大多数人的做法是"手上有哪几家就用哪几家"，那等于放弃了这个可以免费拿到的独立性增益。
路三·敌意实搜：去查这个念头是不是已经有人提出过、做过、驳过。
它的攻深很浅但很致命：它只攻 D*=1（这条主张本身），却是唯一能攻原创性的一条路。而原创性的塌陷方式与别的不同——它不是"你错了"，是"你说的是别人三十年前的常识"。
这一路的攻击有三种命中形态，杀伤力递减：
其一·正撞：有人提出过同一条主张，且条件与你的重合。此时你的贡献归零，除非你能指出一条他没有的条件（那就成了收窄他的工作，仍有价值，但必须署明）。
其二·近撞：有人提出过相邻的主张。此时必须写出分离线——你与他的分界在哪。写不出分离线，等于承认是同一件事的换名。
其三·反撞：有人做过实证，结论与你相反。此时你要么给出他失效的条件，要么撤回。
这一路的独有毛病：搜不到不等于没有。
这是全文最该警惕的一条推理谬误：实搜没查到，只能说明"我这一轮没查到"，不能说明"没有人做过"。它可能在别的语言里、别的学科的术语下、或者在一本没有被数字化的书里。
因此这一路的正确用法是不对称的：
· 查到了 → 强结论（你的主张确实被占了，这是确定的）；
· 没查到 → 弱结论（只能记"本轮 N 轮实搜未见"，并写明搜了哪些方向）。
任何把"没查到"写成"这是首创"的做法，都是把弱结论当强结论用。
这条纪律不止管实搜。 它管本书里所有的零结果——包括那十四条建立在"未观察到差异"之上的作废条件（附录六第七节把它立成了全书通用的限定）。 本书所有文章的占位者一节都遵守这条：写"本轮实搜未见等价物"，不写"没有人做过"。
三条路攻的东西不同，应当配着用而不是选一条。
| 攻深 D* | 攻的是 | 独立性来源 | 主要毛病 | |
|---|---|---|---|---|
| 多基底 | 2–3 | 这条对不对 | 基底差异（存疑，须测） | 可能同源 |
| 异源对撞 | 3 | 这条管多宽 | 领域差异（先天独立） | 翻译误差、类比游戏 |
| 敌意实搜 | 1 | 这条是不是新的 | 文献存否（客观） | 搜不到≠没有 |
一个建议的配伍顺序（按性价比）：
第一步·先做敌意实搜。 它最便宜，而且如果正撞，后面两步就不必做了——你要做的是收窄或撤回，不是检验。先查有没有人做过，再检验对不对，顺序反了会浪费大量精力去检验一个已经被占的东西。
第二步·再做异源对撞。 它的独立性先天合格，不依赖任何未经测量的假设。它给出的"这条管多宽"，正好是第一章七件里最缺的那一件（成立条件）。
第三步·最后做多基底碰撞。 在前两步已经收窄过的主张上做，效率最高——因为此时主张已经足够具体，攻击有地方落。 对一条含糊的主张做多基底碰撞，得到的多半是 D*=0 的措辞攻击。
一条反向的经验：多数人的顺序正好相反——先找几家模型问一圈（最容易），再想起来查文献（最麻烦）。结果是花了很多力气检验一个早已被占的念头。
前面各节是零件，这一节把它们装成一条可以照着跑的流程。十步，一个人一次可以在一小时内跑完。
开攻之前（三步，最容易被跳过，也最要紧）
一·选靶。 按第一章的份量排序取一条——优先取"高牵连、低抗攻"那种：它撑着很多东西却从没被检验过，是库里最大的风险源。不要挑你最喜欢的那条，也不要挑你最没把握的那条：前者你会护着它，后者攻中了也不说明什么。
二·写撤回声明。（借自对抗性协作）一句话："如果出现某某情形，我撤回这条。" 这一句必须在看到任何攻击之前写完。它是整条流程里最便宜、也最防作弊的一步——写完之后，"这次攻击不算数"这条退路就被堵死了。
三·排座。 按分歧率矩阵挑分歧率高的配对（第十二节），而不是随手取。并且逐席指派角色：谁出判断、谁攻、谁结算。攻击席不给站内参照系（第五节）。
开攻（四步）
四·复述。 攻击席先用自己的话复述你的主张，你确认这个复述公平再开攻。不公平就打回重述。攻一个被歪曲的版本，攻得再准也是零。
五·指名攻击。 每一处攻击必须先指名攻的是哪一句，且不许攻已被别席攻过的同一处。这条规矩是用来强制覆盖的——没有它，每一席都会去打最脆的那一处。
六·带改法。 每处攻击必须给出改条件、缩范围、或撤回并写出改后的话（第六节）。
七·允许申报攻不动。 如果确实攻不动，明说，并说明攻不动的是哪一处。这是合格产出，不是失职（第十八节）。
结算与处置（三步）
八·结算不翻译。 结算席判断哪些攻击击中承重处、哪些是边角，各方原话须可原样找到（第七节）。独立性不足时标"待结算"，不出结论（第八节）。
九·逐条处置并留痕。 三种：接受并收窄／接受并撤回／不接受并写明理由。第三种允许，但沉默不允许。
十·记账。 标每条攻击的 D*、更新这条条目的抗攻次数、把新长出来的条件写回第一章那七件里的第 2 件。这一步不做，前九步等于没做——碰撞的产出不是那场对话，是库里被改动的那几行。
一条时间分配的经验：十步里，第二步与第九步各占的时间应当明显多于第五、六步。多数人的实际分配正好相反——把时间全花在"跑碰撞"上，而事前声明与事后处置草草了事。那两步才是这条流程的承重处。
现在处理本章最不利、也最重要的一节。
第四节给出了结论：不交底的检验上限是 D*=3。这个上限意味着有一整类错误永远不会被外部发现。
那一类叫过程性错误：你的结论可能是对的、条件也写得没错，但你得出它的过程有漏洞——你从第二步跳到第三步、你把一次巧合当成了规律、你的样本恰好都来自同一类场合。
为什么它攻不到：攻击者看不到推演链（那属于 D*=4）。他能做的只有两件事——检查结论是否自洽、举出反例。而一个过程有漏洞的判断，完全可能自洽，也完全可能在他能想到的所有情形里都成立（因为漏洞恰好没在那些情形里发作）。
这类错误的可怕之处在于它会静默地扩散：一条过程有问题但结论碰巧成立的条目，会被别的条目依赖，成为承重件（第一章第十三节）。等到某一天条件变了、漏洞发作，跟着倒的是一整片。
有没有办法减轻？三条，都只能减轻，不能消除：
其一·自查代替外查。 过程性错误外部攻不到，但自己查得到——前提是你真的回去看。这就是第一章说的复检，而它是七件里最容易被跳过的一件。
其二·选择性开放推演链。 对少数几条最承重的条目，把推演链交给一个受约束的对象（有保密约定的人、或一个不留存的场次）。这是用一次局部交底换一次深检验——第五节那张兑换表里，你主动往下走了一格。
其三·结果代替过程。 如果这条判断有可结算的后果，那么过程的漏洞会在后果里显形——做砸了就是最硬的攻击，它不需要任何人看到你的推演。但这条只对有结算面的判断有效（第三章已论证），对长周期、无结算的判断无效。
三条都用上，过程性错误的暴露概率仍然低于同行评议。 这是不交底这条路必须承认的净损失，本章不打算修饰它。
上一节承认了净损失，这一节必须说清楚：那这条路的价值在哪里？
它的比较对象不是同行评议，是"什么都没有"。
对一个进得去学术共同体的人，这条路是同行评议的补充，不是替代——他应当去投稿，那里的检验更深。
而对下面这几种人，比较对象是零：
· 不在任何共同体里的人；
· 在共同体里但这条判断不属于任何学科的人（跨界的东西最难找到同行）；
· 手上的东西不打算公开的人（第五章那个悖论的当事人）；
· 需要每周而不是每年被检验一次的人。
对这几种人，不交底的检验从零变成了 D=3。 这个增量不小——D=3 意味着别人能指出你的条件写漏了哪种情形，而这正是第一章说的成立条件最主要的三个来源之一。
一句公道话与一句提醒：
· 公道话：同行评议的质量至今高于任何自动检验，本章不主张取代它。
· 提醒：同行评议覆盖的领域，只是全部知识生产的一小块。大量真实的判断——一位教师的教法、一个工程师的排错直觉、一位母亲对孩子的判断——从来就没有过任何形式的外部检验。 对这些，D*=3 是从无到有。
反驳：你自己出题、自己选攻击方、自己决定结算，最后自己接受或拒绝。整个流程的每一个环节都在你控制之下，这怎么算检验？
这一条相当有力，本章的回应分三层：
第一层·承认结构上的不对称。 是的，与同行评议相比，这里缺少一个独立的把关人——没有编辑决定送给谁审，没有制度强制你回应。这个不对称是真实的，不能靠设计消除。
第二层·但"控制流程"不等于"控制结果"。 关键在于：攻击的内容不由你决定。 你可以决定问谁，不能决定他说什么；你可以决定结算方，不能决定它判谁赢。而第八条那条纪律（降级禁结算）与第六条那条（必须带改法）就是用来防止你在能控制的地方作弊的。
第三层（最要紧）·真正的防线不是流程，是留痕。
· 攻击留痕（谁、哪一轮、攻的是哪一句）；
· 处置留痕（接受／收窄／不接受并写明理由）；
· 拒绝率可测（第二十三节）。
一个把所有攻击都标为"不接受"的人，流程上完全合规，而他的拒绝率会暴露他。 这条路的诚实性不靠制度保证，靠读数暴露——这比同行评议弱，但不是零。
反驳：既然攻击方被要求"必须攻击"，它就会攻击——哪怕没什么可攻的，它也会找出点什么来说。 这样产生的攻击是被要求出来的，不是真的分歧。
这一条也成立，而且它有一个可观测的后果：攻击的平均质量会随着"必须攻击"这条要求而下降——因为总有一些主张确实没什么好攻的，而攻击方不被允许说"我攻不动"。
处理办法只有一条，而且必须写进规矩：
允许并且要求攻击方申报"攻不动"。
一次碰撞的合格产出里，"攻不动"是一个正当结果，与"攻中"同样有信息量——它意味着这条主张在这一轮扛住了（可计入第一章的抗攻次数）。
没有这个出口，会发生两件坏事：
其一，攻击方为了完成任务而攻措辞（D*=0），把一场碰撞灌满零信息量的内容；
其二，被攻击方学会分辨"这是硬攻还是凑数"，然后开始整体忽视——一旦碰撞被当成噪音，它就彻底失效了。
判据：一段时间内的碰撞里，"攻不动"的比例应当显著大于零。如果每一场每一席都攻中了，那不是你的主张有问题，是这个流程在产出表演。
反驳：同行评议的攻击者有动机——声誉、学术义务、以及自己在这一行的位置。而一个被要求扮演攻击者的系统，没有任何动机去真的击倒你。 没有动机的攻击会不会流于形式？
这一条我认为最难回应，只能部分回应。
动机确实缺失，而且它的后果是具体的：一个真正的对手会盯住你最弱的那一处不放，会为了赢而去找你没想到的材料，会在你回避时穷追。这些行为都来自"想赢"，而想赢来自利害。
能补上的部分有两条：
其一·用结构代替动机。 明确指派攻击目标（攻第几席的哪一句）、禁止重复攻已被攻过的地方、要求优先攻没人碰过的处——这些规矩强制产生了"分散且穷尽"的攻击覆盖，而那正是有动机的对手会自然做到的事。结构不能造出斗志，但能造出覆盖。
其二·用真实利害引入动机。 如果这条判断有可结算的后果，那么把它交给一个会因它受损的人去攻——他有动机。这是三条路之外的第四条：利害相关方攻击。它最有效，也最难安排，而且只在有结算面的判断上可用。
必须承认的净损失：在没有利害相关方可用的情形下，攻击的"穷追"性质补不上。这是不交底检验相对同行评议的第二处净损失（第一处是攻深上限）。
第十九节承认了一处净损失：攻击者没有动机，所以不会穷追。这一节把那里一笔带过的补救展开，因为它是三条路之外真正的第四条。
做法：把这条判断交给一个会因它受损的人去攻。
· 一条关于教学方法的判断 → 交给一位持相反教法且带同类学生的老师；
· 一条关于某类客户的判断 → 交给一位专门做那类客户的同行；
· 一条关于诊疗节奏的判断 → 交给一位吃过相反亏的人。
它的攻深可达 D*=3，有时到 4——因为利害相关方会主动追问你的推演，而且你为了说服他，往往会自愿交出一部分推演链。这是兑换表上你主动往下走了一格（第十五节第二条补救的一个具体形态）。
它的三个独有优势：
其一·穷追。 他会盯住最弱的那一处不放，会去找你没想到的材料，会在你回避时接着问。这些行为来自想赢，而想赢来自利害——没有任何结构设计能造出这个。
其二·真实反例。 他手上有你没有的场合。他的一句"我这儿不是这样"，往往直接是一条你撞不到的边界（第一章说的条件三大来源之一）。
其三·它同时检验你的表达。 你必须让一个不情愿的人听懂，而这个过程会暴露你那条判断里所有含糊的地方。
它的三个代价，必须一起说：
其一·安排成本高。 你得找到这个人，还得让他愿意花时间。这就是为什么它不能高频——一年几次已经是好的。
其二·关系成本。 一次真正的对攻会消耗关系。这不是可以靠礼貌消除的——它是这条路的固有成本。
其三·泄漏风险。 为了让他攻得到，你会交出比平常更多的东西，而他是一个有动机使用这些东西的人。这一条最要紧：利害相关方既是最好的攻击者，也是最危险的接收者。
因此第四条路的正确用法是：低频、限定、并且只用在少数几条最承重的条目上。
一条配套的规矩：用这条路之前，先想清楚如果他把你交出去的东西拿去用，你损失什么。想清楚了再交；想不清楚，就把交出去的层级降一格。
有一套现成的制度处理的正是"如何让对立双方产生真检验"，而且它比本章成熟得多，应当直接借。
对抗性协作是这样一套做法：持相反假设的双方一起工作，共同设计一个双方都认可为公平的检验，并在事前说明什么结果会让自己改变看法；过程中可设一位中立仲裁者；最后不论谁输谁赢，共同发表。它由 Kahneman 提出并与人实践过——著名的一例是他与 Klein 在"专家直觉何时可信"这个分歧上的合作，最后写成一篇双方共同署名的文章。宾大后来还设了专门的项目来推动这种做法。
本章能借的三条：
其一（最该借）·事前说明什么结果会改变自己的想法。
这条直接补上第一章自曝里认下的一笔账：那里的失败记录只要求事后留痕（失效了记下来），而更强的做法是事前声明（在攻击之前就写下"如果出现某种情形，我就撤回这条"）。
这条改进的价值极高而成本极低：它把"我事后觉得这次攻击不算数"这条退路堵死了。建议写进碰撞的固定流程：开攻之前，被攻击方先写一句"什么样的攻击会让我撤回"。
其二·好意复述对方的立场。 攻击方开攻之前，先用自己的话复述被攻击方的主张，且要让对方认可这个复述是公平的。这一条防的是稻草人——攻一个被歪曲的版本，无论攻得多准都是零。
其三·中立仲裁者。 结算方的角色。对抗性协作里它是人，本章里它可以不是——但角色定义一样：它不参与攻防，只判断分歧是否被解决，以及解决在哪一层。
分离线（三条，必须写清）：
· 对称性：对抗性协作是对称的——双方都是研究者、都有立场、都共同署名。本章的碰撞是不对称的：一方是持有者（有底本、有归属），另一方是攻击者（无底本、无归属、不署名）。
· 公开性：对抗性协作必须公开（共同发表是它的组成部分）；本章的碰撞不公开底本。
· 成本：对抗性协作一次要数月甚至数年；本章的碰撞要能每周做一次，所以它必然浅得多。
一句诚实话：这三条分离线里，前两条是本章的特点，第三条是本章的弱点。频次换深度，是这条路的基本交易。
把两套东西并排，是为了让人知道自己拿到的是什么。
| 同行评议 | 不交底的碰撞 | |
|---|---|---|
| 攻深 | 可达 D*=5（看全文与数据） | 上限 D*=3 |
| 频次 | 一年一次量级 | 一周一次量级 |
| 准入 | 须被共同体接纳 | 无准入 |
| 攻击者动机 | 声誉与义务 | 缺失，靠结构补 |
| 穷追 | 有（对手想赢） | 弱 |
| 交底 | 必须交全文 | 只交主张与条件 |
| 归属 | 发表后进入公共领域 | 保留 |
| 过程性错误 | 能查 | 查不到 |
读这张表的正确方式：不是比总分，是比缺口。
· 如果你缺的是深度（想知道推演有没有漏洞）→ 同行评议不可替代，碰撞给不了；
· 如果你缺的是频次（想在下个月而不是明年知道自己错了）→ 碰撞胜；
· 如果你缺的是入口（根本没有同行可投）→ 碰撞是唯一的。
一条实践建议：两者不冲突，而且顺序很清楚。 用碰撞做高频的浅层筛查，把扛住了多轮碰撞的少数几条送进真正的深检验（投稿、找真同行、或找利害相关方）。先筛后审，不要把一条还没扛过任何攻击的东西直接送去投稿——那既浪费别人的时间，也浪费你自己的那次机会。
一位母亲有一条判断：她家老大快发烧时会先安静下来（这是第一章里那条条目）。
在旧世界，她怎么被挑错？
只有两种可能：一是她告诉别人，别人说"我家不是这样"——这需要她先把判断交出去，而且交给的人未必懂；二是她自己撞上一次例外。除此之外没有第三条路。
现在她可以怎么做？
第一步·先查有没有人做过（敌意实搜）。 儿科文献里有没有"发热前行为改变"的研究？如果有，而且结论与她一致，那她这条不是新的——但她可以看看文献里的条件与她的条件差在哪，这一步通常直接给她一条她没想到的边界。
第二步·换个领域看（异源对撞）。 把这条判断翻译成一个别的问题：这本质上是"用一个前置信号预测一个尚未显现的状态"。在设备故障预警里，这类信号有什么已知的毛病？——有一个是现成的：前置信号会因为环境变化而失效，而且失效时不报警。 对应到她这里：孩子长大、环境变了，这条会悄悄失效而她不会知道。这就攻中了她那条的保质期。
第三步·让几个互不相干的判断系统各攻一遍（多基底）。 有的会说"安静也可能是别的原因"（这是她已经记过的那次"被欺负"）；有的可能会说"你只有老大的样本，老二不这样，说明这可能是性格不是病征"——这一条她没想过，而它直接指向成立条件该怎么改。
三步下来，她的那条判断可能变成：
"老大在没有外部事件干扰的前提下，安静是发烧的前置信号；此条只对老大成立；每年重检一次，因为前置信号会随成长悄悄失效。"
注意发生了什么：她的判断变准了、变窄了、也变得可以交给孩子的爸爸用了。而她从头到尾没有把任何东西交给外人保管，也没有失去对这条判断的处置权。
这就是不交底的检验的全部意思。 它做不到的那一件是：没有人能告诉她，她当初是怎么从三次经验里得出这个规律的——那个过程有没有问题，只有她自己能查。
一套流程的价值，一半在于它规定了什么，一半在于它防住了什么。这六种走样都是可预测的，而且都能在外观完全正常的情况下发生。
走样一·攻措辞。 一整场碰撞的攻击全部落在 D=0：说得不清楚、术语不统一、结构可以更好。外观：热闹、具体、看起来很认真。 判别：算攻深分布。处置：把 D≤1 的攻击一律不计入抗攻次数，让它们在账面上归零。
走样二·同源共振。 攻击方与被攻击方读同一批材料，在共同前提内互攻。外观：完全正常——有攻有守有结论。 判别：攻击理由里有没有出现被攻击方从未接触过的东西。处置：排座前测分歧率。
走样三·全盘拒绝。 攻击照单全收地记录下来，然后每一条都标"不接受"，各配一句敷衍理由。外观：流程完全合规，留痕齐全。 判别：拒绝率。处置：只能靠读数暴露，没有别的办法——这是第十七节那条"诚实性不靠制度保证靠读数暴露"的具体形态。
走样四·收窄成茧。 每收到一个反例就往条件里加一条排除，直到这条判断只在它从未失败过的情形里成立。外观：条件越来越精确，条目越来越"成熟"。 判别：第一章第十八节那条——每次收窄必须说出收窄后仍预测成立的、尚未验证的情形。说不出，那就是撤回的体面写法。
走样五·把碰撞做成投票。 问三家，两家说好，于是判定这条成立。外观：像是一次严谨的多方验证。 这是把碰撞误用成了集成（第二十四节第六家）——碰撞求的是分歧，投票求的是一致，目标函数正好相反。 判别：这场碰撞的产出里，有没有任何一条条件被改动？没有，那它就是一次投票。
走样六·只碰新的，不碰老的。 每次都拿最近想到的东西去碰，而库里那些三年前立的、撑着很多东西的老条目从来没被碰过。外观：碰撞频次很高，记录很漂亮。 判别：把被碰过的条目按立条日期排一下——如果全集中在最近三个月，说明库的骨架从未被检验。 处置：选靶按份量排序，不按时间。
六种走样的共同点：没有一种会让流程报错。 记录会照常生成，读数（如果不测）看不出来，感觉上还很勤奋。
唯一能同时防住六种的做法，是每季度回看一次记录本身——不是回看碰撞的内容，是回看这些账：攻深分布、拒绝率、被碰条目的日期分布、以及这一季度到底有几条条件因为碰撞而改动过。
最后那一个数是全部的核心：碰撞的产出不是对话，是库里被改动的那几行。一个季度下来一行没改，那这一季的碰撞全部是零，无论跑了多少场。
五个读数，前三个是必测的：
| # | 读数 | 定义 | 判读 |
|---|---|---|---|
| 1 | 攻深分布 | 一场碰撞里各攻击落在 D*=0…5 各层的比例 | 八成落在 0–1 层＝空转 |
| 2 | 分歧率 d | 两基底在同批题上实质不同的比例 | 过低＝同源，不该同时上场 |
| 3 | 拒绝率 | 被标为"不接受"的攻击 ÷ 全部攻击 | 接近 1＝流程合规而实质为零 |
| 4 | 攻不动率 | 申报"攻不动" ÷ 全部席次 | 接近 0＝在产出表演（第十八节） |
| 5 | 收窄产出率 | 导致条件被收窄的攻击 ÷ 全部攻击 | 这是碰撞真正的产出 |
最小实测（一次碰撞即可完成前三个）：
· 挑一条承重条目（按第一章的份量排序取最高的那条）；
· 开攻前先写一句："什么样的攻击会让我撤回这条"（借自第二十节第一条）；
· 跑一次三席碰撞，逐条攻击标 D*；
· 逐条处置并留痕（接受／收窄／不接受＋理由）；
· 算攻深分布与拒绝率。
一次跑完，你会知道三件事：这场碰撞是不是空转（读数 1）、你是不是在自我保护（读数 3）、以及你那条最承重的东西到底扛不扛得住。
分歧率 d 单独测一次即可（第十二节那五步，一天），之后每次基底大版本更新后重测。
本章没有做这些测量中的任何一项。 全文关于"八成落在 0–1 层""拒绝率会暴露他"的判断都是机制推理，不是实测数据——第二十七节正式认下。
一｜同行评议制度。 本章最重要的对照物，也是历史上唯一大规模成功的群体检验制度。分离线：它以交出全文为前提，是"被检验蕴含被公开"这条旧必然最完善的制度化形态；本章处理的是没有这个入口时怎么办。本章不主张取代它（第十六节、第二十一节两处写明）。
二｜Kahneman 一路的对抗性协作。这是本章最贴切的方法论占位者。 见第二十节：三条规矩已直接借用并注明。分离线三条：对称 vs 不对称、必须公开 vs 不公开底本、数月一次 vs 每周一次。第三条是本章的弱点不是特点。〔已实搜核验：协议三条要点、Kahneman 与 Hertwig（Mellers 任仲裁）的实践、Kahneman & Klein 2009 那次合作、宾大的专门项目。〕
三｜Popper 一路的证伪主义。 占了"知识的资格由能否被驳倒决定"这一格，本章的判据二（可致命）直接来自这个传统。分离线：证伪主义要求理论对所有人公开以便任何人都能尝试驳倒；本章让驳倒发生在不公开底本的前提下。在这个意义上，本章是把证伪的场所从公共领域搬进了一个受控场次——而这个搬迁正是第十五节那个天花板的来源。〔按通行表述引述，未复核。〕
四｜红队与对抗性测试。 技术上最近的邻居：专门组织一方去攻击一个系统，找出它的失败模式。分离线：红队攻的是系统行为（能不能让它出错），本章攻的是判断的成立条件；红队的成功标准是"找到一个失败案例"，本章的成功标准是"逼出一次收窄"。两者的产出物不同：前者产出漏洞清单，后者产出更窄的条件。〔常识性判断，未做文献核验。〕
五｜德尔菲法。 占了"多轮匿名征询专家意见并使之收敛"这一格。分离线：德尔菲的目标是收敛（让分歧变小），本章的目标是分歧（让分歧暴露）。方向相反——按本章的判据，一个收敛得很快的碰撞恰恰可疑（第十二节 d 过低那一条）。〔按通行表述引述，未复核。〕
六｜模型集成与多数投票。 技术上最容易与多基底碰撞混淆的一样。分离线：集成求的是一致（多个输出投票产生一个更稳的结果），碰撞求的是不一致（让不同来源互相攻击以暴露弱点）。同一批基底，两种用法的目标函数正好相反。 把碰撞做成投票，是这条路最常见的技术性误用。〔常识性判断。〕
七｜法庭的对抗制。 占了"通过结构化对抗产生判断"这一格，而且它比学术评议更接近本章的形状：有攻方、有守方、有中立裁判、有证据规则、有留痕。分离线：法庭的攻方有真实利害（这正是第十九节说本章缺的那样东西）；而且法庭要求双方都能看到对方的证据（证据开示），本章不要求。法庭是有动机而必须交底的，本章是无动机而不必交底的——两者在这两个维度上正好互补。〔按通行表述引述，未复核。〕
八｜预注册与可重复性运动。 占了"事前声明"这一格。分离线：预注册锁的是一个团队自己的计划（防自己事后重解释），本章借来的"事前说什么会让我撤回"锁的也是自己——所以这一条本章是纯继承，没有增量，应当直接说明。〔按通行表述引述，未复核。〕
九｜模型萃取那条技术线。 它是第五章的最危险占位者，在这里也相关：碰撞每一次都在往外送东西，而送出去的东西可以被累积。分离线：那条线关心的是"被重建的风险"，本章关心的是"能被攻到的深度"——而这两者是同一个量的两面（第五节那张兑换表）。送得越多，攻得越深，也越容易被重建。 这一点在本章里是明写的账，不是漏洞。〔已在第五章实搜核验。〕
十｜自家前面各章（同作者，同日）。 本章第三节的解耦来自第二章，第五节的兑换表来自第五章，第一章给了本章要攻的对象（七件构成）。全书各章同源同日，不能互相当作独立证据。
没有被占的两处（本轮实搜未见等价物）：
· 攻深 D 的六层划分，以及"不交底检验的上限是 D=3"这个结论；
· 把独立性从一个假设改写成一个可测的量（分歧率 d），并据此排座。
一（打击范围：路一的全部价值）。 若实测出主流基底之间在你的问题域上分歧率普遍极低，则多基底碰撞不构成多次独立检验，应降格为辅助，主力交给路二与路三。这是最该先做的检验，一天可完成（第十二节）。
二（打击范围：第四节那个上限）。 若能设计出一种机制，使攻击者在不接触推演链的情况下仍能可靠地发现过程性错误，则 D*=3 这个上限被突破，第十五节整节作废。我想不出这样的机制，但想不出不等于不存在。
三（打击范围：全文的价值主张）。 若长期跟踪表明，经过多轮碰撞的条目与未经碰撞的条目，在后续被现实驳倒的比率上没有差异，则碰撞不产生任何可靠性增益，本章全部作废。这是最根本的一条，也是最难测的一条（需要长期跟踪与足够样本）。
四（打击范围：第十八、十九节的补救）。 若"允许申报攻不动"与"结构代替动机"两条在实践中失效——即攻不动率仍然接近零、攻击覆盖仍然集中在少数几处——则那两节的处理无效，反噬二与反噬三未被回应。
五（打击范围：第二十节借来的三条）。 若"事前说明什么会让我撤回"在实践中被普遍写成不可能发生的条件（相当于永不撤回），则这条借用被架空，须补一个对声明本身的检验。这一条我认为很可能发生，因为它与第一章第十八节那个收窄作弊是同一个人性。
一条不作废声明：即使以上全部成立，第二节与第二十一节仍然独立成立——旧世界只有一条通道、以及两套机制各强在哪，这些是对现状的描述，不依赖本章任何新主张。
假设最强的反驳成立——基底之间高度同源，多基底碰撞不构成独立检验：
· 第九、十一、十二节大部受损（路一及其独立性论证）；
· 第三节的承重命题第一句变弱：解耦仍然可能，但可用的路少了一条；
· 但路二与路三不受影响：异源对撞的独立性来自领域差异，敌意实搜的独立性来自文献存否，两者都不依赖基底之间的差异；
· 第四节的攻深分层不受影响——它是一个描述工具，与用哪条路无关；
· 第十五节的天花板不受影响，反而更成立；
· 第二十节借来的三条规矩不受影响，它们来自一套已经被实践过的成熟制度。
所以本章的结构是：最脆的是路一，而路一倒了还剩两条路与整套判据。
如果本章完全成立，最值得警惕的误用是什么？
把碰撞做成仪式。 每周跑一次、留下完整记录、攻深分布也好看——而所有攻击都被"不接受"。第十七节那个拒绝率就是为这个准备的。一个流程完全合规而拒绝率接近 1 的库，比一个从不碰撞的库更危险，因为它的持有者相信自己已经被检验过了。
一、先测分歧率，再排座。 一天的成本，一次测完管到下次基底换代。不测就排座，等于把独立性交给运气——而独立性是四条构成条件里唯一一条"被违反了也看不出来"的（第五节）。
二、开攻之前先写那一句。 "如果出现某某情形，我撤回这条。"这是全流程性价比最高的一步：一句话的成本，堵死了"这次攻击不算数"那条退路。（借自对抗性协作，第二十节。）
三、选靶按份量，不按心情，也不按时间。 取"高牵连、低抗攻"那种。每次都碰最近想到的新东西，是六种走样里最不容易察觉的一种——因为它看起来最勤奋（第二十二之二节走样六）。
四、顺序是：先实搜，再异源，最后多基底。 先查有没有人做过——如果正撞，后面两步就不必做了。多数人的顺序正好相反，结果是花很大力气检验一个早被占了的念头（第十四节）。
五、每季度回看一次账，只看四个数：攻深分布、拒绝率、被碰条目的日期分布、这一季有几条条件因碰撞而改动。最后那个数是核心——一行没改，这一季的碰撞全部是零，跑了多少场都一样。
六、把最扛得住的少数几条，送去做真正的深检验。 碰撞是高频浅筛，不是终点。扛过多轮碰撞的那几条，值得去投稿、去找真同行、去找利害相关方。 先筛后审：既不浪费别人的时间，也不浪费你自己的那次机会。
一条不建议：不建议在一条还很含糊的主张上做碰撞。对含糊的主张，攻击只能落在措辞上（D*=0），一整场下来零信息量，而你会误以为它已经被检验过。含糊的主张要先按第一章的七件把它立成条目，再拿来碰。
一、五个读数一个都没测过。 攻深分布、分歧率、拒绝率、攻不动率、收窄产出率——取值方法都写了，一次没跑。 全文关于"八成落在 0–1 层""过低即同源"的具体数字全部是我拍的阈值，没有任何数据支持。这是第一顺位的欠账，而且它比前面各章更严重——因为本章的核心结论（D*=3 上限）本可以用实测来支持或推翻。
二、D* 那六层划分是我造的。 它看起来整齐，而整齐应当被怀疑。真实的攻击往往同时落在两层上（比如一个反例既攻条件又暗示判据有问题），而我的划分假定了它们可以被清楚地归到一层。
三、"过程性错误攻不到"这个判断没有反面检验。 我论证了攻击者看不到推演链所以查不到过程漏洞，但我没有试过：让一个只看结论与条件的攻击者，去攻一条我明知过程有漏洞的判断，看他能不能猜到。 这个实验很容易做，我没做。
四、独立性测法有一处我没想清楚。 第十二节要求测分歧率时"不给任何背景材料"，理由是防止引入共同前提。但实际碰撞时是给材料的——那么不给材料测出的 d，能不能代表给了材料之后的独立性？很可能不能，而我没有处理这个落差。
五、对抗性协作那条线只核了协议要点。 我核了它的三条规矩与几次实践，没有查它在实践中的失败率与常见走样形态——而那些恰恰是本章最该学的（因为本章借了它的规矩却去掉了它的对称性与公开性，走样的概率只会更高）。
六、第十九节那条净损失我没有给出补救。 "攻击者没有动机"这一条我只说了"用结构补覆盖，用利害相关方补动机"，而后者在多数情形下安排不了。这等于承认了一个未解决的问题，然后接着往下写。
七、全书各章同源同日，不可互证。
八、利益冲突不可自证。 本章论证的这套机制与作者正在建立的做法一致。
九、有一层我没有处理：本章假定攻击方与被攻击方是分开的。如果两者由同一套系统在不同角色下扮演（这在实践中极常见，因为可用的独立来源就那么几个），那么第五节那条异质条件从一开始就不成立，而整套流程会在完全合规的外观下产出零。我知道这个风险，但没有给出可靠的识别方法。
序里那个人——手上有一套判断、不在任何共同体里、不打算公开——在旧世界里，他的处境是这样的：
他可以一直做对，也可以一直做错，而这两种情形在他自己看来是一样的。没有人能告诉他偏在哪里，因为要让人看得见，他就得先把东西交出去；而交出去之后，那东西就不再是他的了。
Polanyi 在这堵墙前面选择了保住归属，代价是那个最重要的环节从此无人能验。 六十多年里，没有人给出过第三个选项，因为第三个选项需要的东西不存在。
现在它可以有了。别人能告诉他：你这条在某种情形下不成立。 这句话的分量，只有在意识到过去六十年里它根本说不出口的时候，才看得清楚。
但本章用了整整一节（第十五节）来说清楚那句话说不到哪里：
没有人能告诉他，他当初是怎么从那几次经验里得出这条规律的——那个过程有没有跳步、有没有把巧合当规律、样本是不是恰好都来自同一类场合。这一层只有他自己查得到，而人查自己的过程时最不可靠。
所以这条路的准确描述不是"不用交底也能被检验"，而是：
你可以被攻到条件，攻不到过程；能攻到条件，已经是从无到有；攻不到过程，是这条路要一直背着的债。
一个人要不要走这条路，取决于他对这两句话的权重判断，而不取决于本章的说服力。