上面这一大套若停在此处，就只是一个说法。本节把它拿去测。
三门学科里只有一门的数据是公开、成体系、可批量获取的：地层学。以下测量使用 Macrostrat 数据库的公开接口（API v2，/units），取 project_id=1（北美），共 24,141 个地层单元、908 根柱。每个单元带顶底年龄（t_age／b_age，百万年）与最大最小厚度（米）。
预注册在任何统计之前写定，原文随本文一并公开（prereg_gap.md），脚本亦然。
H1（完整度是时窗的函数） 对每根柱，把其所跨时间按分辨率 τ 分箱，C(τ) = 有单元的箱数 ÷ 总箱数。预言 C 随 τ 单调上升，且 τ 小时显著小于 1。失败条件：无系统关系，或 τ=1 Myr 时中位 C 已 > 0.9。
H2（厚度不与时长成正比） 回归 log(厚度) ~ log(时长)，斜率 γ。预言 γ 显著小于 1。失败条件：95% 置信区间包含 1。
H3（同一根柱可给出相反判决） 定义判决反转：某柱在 τ=1 Myr 下 C < 0.5（“记录残缺，回溯不可完成”＝N 侧），而在 τ=50 Myr 下 C > 0.9（“记录连续，序列已完备给出”＝T 侧）。预言在跨度 ≥200 Myr 的柱中反转者占比 > 50%。失败条件：< 20%。
H3 是三条里最关键的一条，因为它是”正反题只是两个时窗的读数”这一省事版本的直接检验。
H2 成立，且干净。 n = 19,561，γ = 0.6178，95% 置信区间 [0.6038, 0.6318]。γ 显著小于 1。换算成速率指数 β = γ − 1 = −0.382，落在萨德勒所报区间的内侧。
这里的回归方式值得说明。对萨德勒效应最常见的方法学质疑是：速率 = 厚度 ÷ 时长，再拿速率去回归时长，等于拿一个比值去回归它自己的分母，会人为造出负相关。本次回归的是厚度对时长，不涉比值，故不受这一质疑。γ = 0.618 的意思是：时长增加十倍，厚度只增加约四倍。记录的厚度与它所跨的时间之间，没有守恒关系。 守恒假定在这里被一个带置信区间的数直接否掉。
γ = 0.618 的意思，可以用一个具体的数字说明白。若两段地层，一段跨一百万年，一段跨一亿年（差一百倍），按守恒假定后者应厚一百倍；按实测，后者只厚约十七倍。差掉的那五六倍，就是空缺。 而这五六倍不在任何一根柱子上占厚度——它在那儿，你的手指从上一层移到下一层时经过了它，走过的距离是零。
H1 成立，但很弱。
单调上升，方向对。但把时间窗放粗两百倍，完整度只从 0.40 抬到 0.60。这意味着：空缺不是分辨率造成的伪影。它在所有的尺度上都在，粗看也看不平。
H3 失败。 818 根合格柱中，出现判决反转者 6 根，占 0.7%——预注册的失败线是 20%，实测比失败线还低一个半数量级。中位 C@1 Myr = 0.365，C@50 Myr = 0.528。
按预注册的条款，这条不成立就是不成立。“正题与反题只是同一条序列在两个时窗上的读数”这一版本，被本文自己的数据否证。 放粗时窗并不能把”记录残缺”读成”序列完备”，因为大的空缺不会因为箱子变大而消失——它们本身就比箱子大。
本文把这条失败原样登出，理由与姊妹稿一致：一份把未执行的设计写成已完成检验的文章，比没有检验的文章更坏；把失败的执行藏起来的，比前者更坏。
H3 失败之后有一个问题必须回答：既然放粗时窗不行，那”连续的地质史”这个读数究竟是从哪里来的？地质学家确实在讲一部连续的历史，而且不是在瞎讲。
于是做了一次追测。这一次是探索性的，不是预注册的，本文按此标注，不作确证之用。
把显生宙（541–0 Ma）按 1 Myr 固定分箱，对每根柱算它在这条统一时间轴上的覆盖率，再看并集：
再做随机加柱的稀疏化曲线（每点三十次重抽取中位）：
达到 0.95 需要约十根柱，达到 0.99 需要约十三根。
一根柱的中位覆盖率是 0.262——四分之三以上的时间在这根柱上没有留下任何一层。而十三根随机的柱拼起来，覆盖率是 0.99。
其一，循环性。 Macrostrat 单元的顶底年龄本身，部分是通过跨柱对比与全球年代表定的。也就是说，“拼合可以达到完备”这件事，有一半是数据的构造方式带进来的。因此 8.3 这一段是演示，不是独立检验。H2 不受此限——它只用同一单元自身的厚度与时长，不涉任何跨柱信息。这条限制必须写在明处，它削弱的正是本文最想要的那个结论。
其二，选择偏倚。 有柱的地方才有柱。北美之外未测，海相与陆相未分层处理。
拼合律（L1）：「序列已完备给出」这一读数，取不自任何一条序列，只能取自 k 条独立序列的拼合体；k 有阈值。
地层学侧测得的阈值是 k ≈ 13（达 0.99）、k ≈ 10（达 0.95）。
这条定律有一个直接后果，而这个后果是本文的主要结论：
正题与反题读的不是同一个存在物。正题读的是拼合体，反题读的是单条序列。
单条序列的真实读数是 0.262——残缺、断裂、到处是洞，任何一个诚实的观察者站在一面岩壁前，读出来的都是反题。拼合体的读数是 1.000——连续、完备、有始有终，任何一个读地质年代表的人，读出来的都是正题。
两个读数都对。它们之所以打起来，是因为拼合体的完备性被回写到了每一条序列上：年代表一旦造好，人们就用它去读每一面岩壁，于是那面岩壁看上去也”应该”是连续的，它的断裂就变成了需要解释的异常，而不是它的常态。
这一步回写不是错误——地质学正是靠它才成为一门可用的科学。错误在于把回写之后的读数当成了那条序列自身的性质。
于是三条承诺的来历也清楚了：
(a)(b) 完备性，来自拼合体。拼合体确实是完备的，这不假；
(c) 关系不改变两端，来自回写被忽略。把拼合体的性质回写到单序列上，这个动作本身改变了后来对单序列的一切读法，而这个动作不留痕迹——它正是本文所说的空缺厚度为零的一次典型发作。
这也修正了姊妹稿中一个更省事的说法。姊妹稿把”跨序列型二律背反”定义为两条不同的序列被归并成一条之后的读数冲突。本文的数据表明这个定义不够精确：冲突不发生在两条同级序列之间，而发生在单序列与拼合体之间——两者不同级，一个是另一个的构造产物。按本体系的版本裁定规则（后出者若包含前作判断并给出更精确的形式或更强的可证伪性，即构成取代），此处构成一次取代，且附带一个可测的阈值 k。
第四节末尾放下的那件事，现在可以接回来了。
地层学既然知道自己手上的每一根柱都是残缺的，它为什么还敢划分纪与世？答案就是拼合律，而金钉子制度正是这条定律的制度实现。
看它的三步。第一步，承认单柱不完备——没有任何一处露头记录了完整的显生宙，这在地层学里是常识，不是丑闻。第二步，选一处最好的露头，在某一层的某一点钉下界线，并写明选它的理由（连续沉积、可对比的化石带、可测的同位素信号、可及性）。第三步，靠对比把这条界线传出去——化石带、同位素漂移、磁性倒转，每一条都是一条独立的通道。
要紧的是第三步的形式：一条界线的效力，正比于它能被多少条独立通道转出去。 国际地层委员会在评估一个候选层型时，问的从来不是”这里是不是本质上的界线”，而是”这条线能被多好地对比到别处”。传不出去的界线，无论露头多漂亮，都不被采用。
这与第八节的数字是同一件事：单柱 0.262，十三柱 0.99。金钉子制度做的就是把 k 从 1 提到 13 以上，并且把这个提升过程登记在册——哪年表决、票数多少、理由书是什么、后来移过几次，全部有案可查。
于是地层学在自己的领域里给出了一个哲学没有给出的东西：一套关于”我们凭什么在这里划线”的公开账目。 二〇二四年三月人类世提案被否，争的不是有没有人类活动的地质痕迹（那毫无争议），争的是要不要钉这一枚钉子、钉在哪里、能不能传出去。整个争论是公开的、有记录的、可以被后人翻查并推翻的。
哲学在第四组二律背反上的处境正好相反：解释链在哪里闭合、由谁决定闭合、依据什么理由闭合，这些统统不留记录。第十一节会回到这一点。
拼合律还有一条推论，值得单列：
凡是能测出 k 的领域，就能把该领域的二律背反从”不可判定”降为”需要多少条通道才可判定”。
这是一个工程问题，不是一个形而上学问题。地层学的 k 是十三根柱；免疫学的 k 至少是二（成熟库 + 选择前库）；密码学的 k 是二（承诺 + 打开），且它把这个二写进了协议定义里。
拼合律来自地层学一侧。另外两家各给出一条，方向不同。
不可兼得律（L2）：一个记录系统不能同时完美地做到两件事——绑定（凡已成项者此后不可改）与隐藏（尚未成项者不被强行读成某一项）。
这两条正是承诺 (a)(b) 与承诺 (c) 在记录一侧的形态。(a)(b) 要求两端是完备现成的项——这是要求完美的绑定；(c) 要求关系不改变两端——这要求尚未定的东西在被读之前保持未定，也就是完美的隐藏。O 系本体论（主客先验完备的那一套）同时要求两者完美，因此它必出背反。 这不是它没想清楚，是定理。
密码学的处理方式给了一条现成的先例，而且这条先例已经在工程上跑了四十年：
不去限制使用范围，而去给检验者定级。
把”这个值是否已经确定”从一个绝对问题改成一个带参数的问题：对什么样的检验者而言已经确定。参数是可算的（ε_b、ε_h），两者之间有可证明的下界。
这一步与撤销 (c) 是同一个动作的两种说法。撤销 (c) 就是承认”读一遍”这个动作会改变两端；给检验者定级就是承认”由谁来读”进入了答案本身。前者是哲学说法，后者是工程说法，而后者已经被实现过无数次——这使得撤销 (c) 不再是一个只能在思辨里被主张的立场，而是一个有工程先例的操作。
顺带一提，这也解答了一个常被提出的反诘：撤销 (c) 之后会不会滑向”什么都不确定”？密码学的回答是不会，而且回答得很具体：计算意义上的绑定是真绑定，它有严格的定量保证，只是这个保证的成立条件被写明了。相对化不等于取消。
删除留痕律（L3）：「没有发生的那一次」分两种——真的没有，与被做掉的；二者在只看结果的记录格式里不可区分，而在过程一侧可分离。
免疫学的耐受与未遭遇是这条律的标准形态：都表现为”无反应”，一个是缺席，一个是持续耗费资源的主动工作。
这条律有两个后果。
其一，它挡住了一种廉价的读法。 有人会说：既然空缺不留痕，那空缺就是不可知的，你们说的这个量测不了。免疫学的回答是能测，但要换通道——去测选择之前的库，而不是去更仔细地看选择之后的库。空缺的可测性不取决于记录做得多细，而取决于有没有第二条独立的通道。 这与拼合律说的是一件事：三家的第二条通道形状相同。
其二，它给”自由”这一组背反提供了一个不常见的类比。 第三组二律背反的核心是：一个行动之外那些没有被采取的可能性，究竟是本来就不在（自然因果一侧），还是曾经真实地在过而未被选中（自由一侧）。免疫学告诉我们，在一个具体的、可以做实验的系统里，这个问题有答案，而且答案的形式是：去测选择之前那一批。 这不解决第三组背反，但它给出了一个方向——把”未被实现的可能性有没有厚度”从形而上学问句改造成一个测量问题。第十一节会用到。