第四编 实验台
第二编第十三章给出了一份清单：可重跑、可干预、可消融、可观测。
这一编的任务只有一件：拿这份清单去卡候选。
四个候选被逐一检查——量子测量、实验演化、早期人工生命与遗传算法、大模型训练。前三个各缺至少一条，第四个四条同时满足。
本编的结构因此是重复的：每一章一个候选，每一章逐条对照同一份清单。重复是有意的——一份检验清单的价值，全部在于它被一视同仁地使用。 若对某个候选宽一点、对另一个严一点，清单就失去了作用。
本章把四条性质写清楚，包括每一条为什么必需、以及每一条失效时会发生什么。第四十六章处理一件本编无法回避的事：这份清单所选出的那台装置，它自己也是被造出来的。
同一个形成过程能被从头再跑一次。
为什么必需。 第七章那道闸的根源是”只有一件产物”。两种起源假设在一件产物上不留下不同痕迹；而在一百件由同一材料、不同路径产生的产物上，它们留下的痕迹可能不同——先在论预期那一百件彼此等价，造成论预期不等价。
因此可重跑不是四条里的一条，它是其余三条的前提：没有第二次，就没有对照可言。
它失效时会发生什么。 研究退回到案例研究。第五十三章已经论证过案例的天花板：一段只发生过一次的过程，不含有区分”你还没走到”与”那里没有那个东西”所需要的信息。
要写明这一条的严格程度。 “再跑一次”必须是字面意义的——同一个过程重新执行，而不是”做一件类似的事”。一个相似的实验、一个平行的案例、一个类比的系统，都不满足这一条。相似不是重跑。
能只改变路径而保持材料与装置不变。
为什么必需。 这是对照组的定义。若在改变路径的同时材料也变了，那么观察到的结果差异无法归因——它可能来自路径，也可能来自材料。
干预主义的那条判据（第十三章）要求的正是这个：X 是 Y 的原因，当且仅当存在对 X 的适当干预会改变 Y。“适当”的全部内容，就是只动 X。
它失效时会发生什么。 研究退回到相关性观察。可以看到路径不同时结果不同，但无法排除第三因素。
这一条有一个常被忽略的要求：干预必须是外科式的。不是”大致只改了路径”，而是精确地只改一项，其余逐位对齐。第五十六章第五节那条实验规格里最要命的一条——组内共享条件必须严格对齐——就是这个要求在具体设计上的形态，而首跑正是在那里栽的跟头。
能删掉过程中的某一部分再跑，看缺了它会怎样。
为什么必需。 前两条能回答”路径是否影响结果”，这一条回答的是一个更细的问题：路径的哪一部分在起作用。
若没有这一条，即使测到了路径效应，也无法定位它。一个测到了效应却无法定位的读数，其解释空间几乎是无限的。
它还有一个本案特有的用处：它使”如果没有某某会怎样”这类问题第一次有了字面的回答方式。科学史上这类问题只能被推测（第十三章第四节），而在一个可消融的系统上，它们可以被执行。
它失效时会发生什么。 研究能报告”路径有效应”，不能报告”什么样的路径差异造成什么样的结果差异”。条款二与条款三都需要这一条——条款二要检查差异能否由材料的量预测，条款三要检查某个结果是否只有某条路径到得了，两者都要求能对路径做定向的改动。
过程的中间状态被完整记录，而不只留下最终产物。
为什么必需。 路径就是中间状态的序列。只看起点与终点，路径是看不见的。
而且这一条与第七章那道闸直接对应：那道闸的表述是”所有可供检查的东西都是产物，而过程已经消失了”。可观测这一条要求的，正是过程不消失。
“完整”这个词要说明。 它不要求记录每一个瞬间——那在任何系统里都做不到。它要求的是：中间状态是被保存的，而不是被推测的；并且保存的密度足以让人看出过程的形状。
它失效时会发生什么。 研究只能做输入输出分析。可以知道不同的路径给出不同的结果，但不知道分化发生在何时、以什么方式。第七十章那个”先在性生效的时点”这类问题，完全依赖这一条——没有中间状态，那个时点无从测起。
一个自然的问题：能不能用三条替代四条？比如用更多次的重跑，弥补不能消融？
不能，而且理由对每一对都不同：
四条是四个不同的缺口，堵住一个不会自动堵住另一个。
这一节的用处在下一章开始显现：本编排除三个候选时，用的正是这条原则——一个候选在某两条上做得极好，并不能补偿它在第三条上的缺失。
在立使用规则之前，交代两件事，因为一份清单若不说来历，就只是四条被断言的要求。
来历：四条不是本书发明的，它们是干预主义那条判据（第十三章）在本案上的展开。伍德沃德那条判据说，X 是 Y 的原因当且仅当存在对 X 的适当干预会改变 Y。把它对准”路径是否是结果的原因”，要能做的事就是：把过程再跑一次（可重跑），只动路径（可干预），删一段看看（可消融），并且看得见中间发生了什么（可观测）。
这个来历有一个后果，对本书不利，要写明：四条继承了干预主义的全部前提。若有人认为干预不是因果的核心——若有人主张存在某种不能被干预的因果关系——那么这份清单就不是唯一可能的清单，而本书排除三个候选的理由也就相应变弱。
本书接受这个依赖，并明写它：本编的全部排除结论，都以”判决需要干预”为前提。这个前提本身不是本书论证的，它是本书借来的。
可能漏掉什么，列两条本书想到的。
漏掉之一：路径变量的完备性。 四条要求能只改变路径，却没有要求知道路径由哪些变量构成。实际中路径包括随机初始化、数据次序、批次构成、学习率安排、硬件的数值行为，还可能包括尚未被识别的项。若有一项没被识别，“其余不变”这句话就是假的。首跑第六十六章那处组内共享条件不齐，正是这一漏洞的一次实例。
漏掉之二：观测的代价。 四条把可观测当作一个二值性质，而实际上观测有密度、有代价、有取舍。第四十四章第五节会指出，公开检查点的保存间隔后来成了噪声基线定义里一个未被识别的自由参数。一条只问”能不能看见”而不问”看得多密”的性质，会漏掉这一类问题。
两条都不足以使清单作废，但它们说明一件事：清单能排除明显不合格的候选，不能保证合格者一定够用。 第四十六章那一整章讲的就是合格者自身的代价。
最后立三条使用规则，它们约束本编其余各章。
规则一：四条必须全部通过。 通过三条不是”接近”，是不通过。理由在上一节。
规则二：判断一个候选是否通过某一条，要看它对本案所关心的那个对象是否通过，而不是看它在一般意义上是否通过。 这一条在下一章处理量子测量时立刻用得上——那个现场在物理实验的意义上高度可干预，但被干预的不是本案所关心的对象。
规则三：通过四条不等于能判本案。 四条是必要条件，不是充分条件。还需要第五编那一步——把待判的命题翻译成这台装置能回答的形式，而翻译本身可能失败。本编只负责必要条件。
下一章开始逐一检查候选。第一个是最有名的一个。