三活层（十九例）：见第一版附录一（四要件总表），第二版加填固化维一格，十九例均填「无」。
一固层（三十六例；闸前四十例，入池闸挡下四例）
| 固化维 | 例 | 产物 |
| E · 产过程（5） | 生成函数｜拉普拉斯变换｜傅里叶变换｜勒贝格积分｜谱序列 | 过程 |
| E · 产单位（16） | 拓扑空间｜度量空间｜巴拿赫空间｜抽象群公理｜环｜域｜模｜格｜布尔代数｜一致空间｜赋值论｜导出范畴｜同调群｜基本群｜希尔伯特空间｜层 | 单位 |
| S · 产单位（8） | 一致收敛｜绝对收敛｜黎曼可积类｜Cᵏ 正则性等级｜Sobolev 空间｜半连续｜一致连续｜紧性 | 单位 |
| D · 产在场者（7） | 矩阵成为对象｜特征值｜不变量｜张量｜向量｜行列式（未命中：产过程）｜微分形式（未命中：产单位） | 在场者 |
二固层（对照组 7）：半群｜幺半群｜magma｜偏序集｜非交换环｜拟群｜模糊集
被入池闸挡下（是方法，不是概念）：解析几何｜埃尔朗根纲领｜函数域数域平行处理｜单纯形法·牛顿法·高斯消元
作废（不属任何层）：莱布尼茨无穷小（三家不齐，形缺席）｜弗雷格概念外延（废格：有推翻而材料不合格）｜Hamilton 三元组 1830—1843（一固层退回，1843 升三活）
移出候选池：椭圆函数双周期（是定理不是概念）
第一版附录二原样，加一列「层」。三组读数：否定性名字 0.353／0.000／0.000；否定性拒绝 0.912／0.042／0.143（一固组为闸后三十六例）。
表内三处存疑标注沿用：Poincaré「疾病」语存疑（Gray 1991）｜「general abstract nonsense」非贬义（Steenrod 自用）｜Kelvin 语属实但为接受期评价而非命名。
第一版十二问，第二版加四问，且次序改了——先判层，再填表。
判层（前四问）
1. 有没有一条三家共有的前提被推翻？（用固定句式写出，并通过「念给三家听」的验收）有 → 三活，转第 5 问。
2. 无。那么两家的回答是否不相容且不可互译？（须给出证据：两边各有对方处理不了的问题）是 → 一固，转第 3 问。否 → 转第 4 问。
3. 固化的是哪一维？（必须事先指定，并指出它的账如何被双方当作裁判；并核验它的任何条款都不在被推翻之列）
4. 是不是删条款、换记号、直接推广？是 → 二固。否 → 存疑，不计入。
入池闸（第二版新增，第 19 条欠账）
5. 它是一个概念（一类东西的名目），还是一条关于既有概念的陈述（定理）、一种做法（方法）、一套写法（记号）？后三者不入池。
三活层填表（第 6–12 问）
第一版十二问的第 6–12 问原样：三家各占一位｜三家是否互不相容｜共有前提｜念给三家听的验收｜补丁在哪、谁在打｜材料的产出位置、撞上位置、原题｜谁在什么时候用什么模型签的字。
一固层填表（第 13–16 问，第二版新增）
13. 在争的两家各是谁，何以不可互译？
14. 明写「本例未推翻任何共有前提」，并说明若有人主张有、那一条是什么、为何不成立。
15. Z 是单位还是过程？若是单位，它由固化那一家的哪个旧单位切出，那个旧单位此后是否变为总称？
16. 拒绝是否只来自碰撞的那两家？固化的那一家是否表态？
执行纪律（两版通用）
· 固化维必须事先指定，写在读史料之前。
· 凡归属可两判者，取对你自己的结论不利的那一判。
· 每一次判定写一节「本次最弱处」，包括与最近占位者的区分是否有可判错设计。
· 不利于你的史料写进正文，不放脚注。
第一版：名字化石律判负｜逾越律以材料出处为指标的形式判负｜中心性修正撤回｜希尔伯特空间自相矛盾改判｜三处证据改写（Poincaré 语存疑、abstract nonsense 非贬义、Kelvin 语定位）。
第二版：固化维原判据（共同援引为裁判）在四元数上当场失效并被换掉｜拒绝随层级单调判负、拒绝作层级指标撤回｜椭圆函数双周期移出候选池并查出入池标准缺闸｜E 型与 S 型预测过宽，读数不构成证据｜真跑四的判据由其中两例逼出又由那两例确认（循环，未解）。
这份记录随书公开，是本书唯一不能被拿走的凭据：一套能推翻自己的装置。
本书写死的判负条款共十六条，散在十六处。此处按「谁能执行」分四组汇总，供后续执行者取用。
>
每一条都写在看数据之前，或写在提出该断言的同一处并声明本轮不用该数据检验。
| # | 条款 | 结果 |
| 1 | 三型产物：任一型 < 0.70 撤回该型；两型 < 0.70 整条撤回 | 全过（E 1.000／S 1.000／D 0.714），但 E、S 两型预测过宽，读数不构成证据 |
| 2 | 一固组拒绝率 ≥ 三活组之半（0.456）则「一固不引起一致拒绝」撤回 | 未触及（0.042）。顺带判负一项：拒绝率随层级单调不成立（二固 0.143 > 一固 0.042），拒绝作层级指标撤回 |
| 3 | 中级层若有 ≥3 例可指认的推翻，则固化维判据重写 | 零命中，通过。本轮唯一未被稀释的结果，但选池偏差排不掉 |
| 4 | 十九例若 ≥2 例判为一固，第二编降为十七例 | 0 例。接近同义反复，通过不构成证据，且判据由其中两例逼出又由那两例确认（循环，未解） |
| # | 条款 | 状态 |
| 5 | E 型排他式：在新池上跑，< 0.70 撤回 | 已执行：22/24＝0.917（先过闸再挑的新池）。本书第一条自己掉下来过的预测 |
| 6 | E 型第二次改写（翻译要不要新落脚处／公共部分有没有名目）：在第三个池上跑，< 0.80 则退回第一次改写 | 未执行。不得用补跑二那二十四例 |
| 7 | S 型加「新单位由旧单位切出、旧名变总称」后重跑；八例中 ≥2 例不成立则撤回 | 未执行 |
| # | 条款 |
| 8 | 微分形式的固化维重判。若判为 S 固化，则预注册表的固化维指定有 ≥1 例错，须报告错误率并重跑真跑一 |
| 9 | 单纯形法／牛顿法／高斯消元的层级重判（本已由入池闸挡下，本条改为核验闸的判定是否正确） |
| 10 | Hamilton 三元组 1830–43：是一固层碰撞退回，还是根本没有碰撞。判为后者则第 17.2 节撤回 |
| 11 | 希尔伯特空间：1904–1910 年的计是在场为裁判，还是根本不参与。判为后者则回到第一版的一阶判定 |
| 12 | 层：是否推翻了某条共有前提。若指认出一条并通过验收，层升入三活层，第二编增为二十例，第八编全部重算 |
| 13 | 独立列一个一固层候选池（先过闸再挑）。若与本书三十六例重合度 < 0.50，说明选池严重偏斜，第三、四编须重写 |
| # | 条款 |
| 14 | 逾越（重述形式）：取本书未处理的 0 到 1 候选，编码「非法产物是否由算跑出」；< 0.60 则重述形式撤回。并已加一条更尖锐的：若出现撞上位置为形或计的案例 ≥2 例，重述形式撤回 |
| 15 | 模型签字律：编码「合法化是否由一致性模型或构造完成」「该模型是否由计给出」；任一项 < 0.70 则降为倾向性描述 |
| 16 | 固化维的来源（第 30 章机制）：编码「被换掉的维」与「此后子学科的固化维」；一致比例 < 0.70 则本章机制撤回，三层回落为三个并列名单 |
· 裁定一处归位不一致（统稿记录第五节）：被推翻前提的归位（本书 计 13／形 4／算 2）与九门一百七十例真跑中数学那一栏（E 10／D 9／S 1）对不上。若裁定为两者测同一个量，本书十九例的归位表要重做，第二编补节全部重写。
· 交叉引用的脚本核对（约二百六十处，未逐条核）。
十六条里，本书自己执行了五条（甲四、乙一），其中判负两项、撤回一项、循环一处未解。 其余十一条留给别人——而那十一条里，任何一条落下来，都会改写本书的某一编。