本编收十五例。它们与第三编共属一固层——没有任何共有前提被推翻——但固化的不是计。
>
S 固化（八例）：显露方式不动，算与计在争。预测产单位。
D 固化（七例）：算法不动，形与计在争。预测产在场者，且不产单位。
>
第八编真跑一读数：S 型 8/8＝1.000，D 型 5/7＝0.714。两个数的分量完全不同。 S 型预测「单位」，而单位是一固层最常见的产物，这条预测几乎不可能判负；D 型是三型中唯一一条尖锐的预测（它同时断言「产在场者」与「不产单位」），也是唯一擦线通过的。本编的实际证据集中在 D 型那七例，以及它的两处未命中。
（1847—1936，八例）
八例：一致收敛、绝对收敛、黎曼可积类、Cᵏ 正则性等级、Sobolev 空间、半连续、一致连续、紧性的各种版本。
共同形状：争论的双方指的是同一批对象——同一条曲线、同一个函数、同一个空间。显露方式一动没动，谁也没有说「这不是同一个东西」。争的是算（这条程序在什么条件下可以做）与计（这本账对整体与对局部是不是同一本）。
产物一律是从一个旧单位里切出来的若干新单位。
| 例 | 在争的两家 | 切自哪个旧单位 | 切出的新单位 |
| 一致收敛（1847） | 算：逐项取极限可否交换次序｜计：收敛对逐点与对整体是否同一本账 | 收敛 | 逐点收敛／一致收敛 |
| 绝对收敛（1830s） | 算：重排求和的合法性｜计：和是否与次序无关 | 收敛 | 绝对收敛／条件收敛 |
| 黎曼可积类（1854） | 算：分割求和取极限的程序｜计：不连续点多到什么程度还算得出 | 可积 | 可积／不可积，及其判据 |
| Cᵏ 正则性等级（19c 末） | 算：逐次求导｜计：导数存在到第几阶 | 可微 | C⁰⊃C¹⊃…⊃C^∞⊃解析 |
| Sobolev 空间（1936） | 算：弱导数的构造｜计：在哪个 Lᵖ 中 | 可微 | W^{k,p} 的一整族 |
| 半连续（1899，Baire） | 算：取上下极限｜计：连续这本账的两侧是否对称 | 连续 | 上半连续／下半连续 |
| 一致连续（19c 中） | 算：δ 的选取是否依赖点｜计：同一本账在局部与整体 | 连续 | 连续／一致连续 |
| 紧性（1894—1920s） | 算：取子列还是取有限子覆盖｜计：两者何时同一 | 有界闭 | 序列紧／覆盖紧／列紧 |
固化维核验（八例通用）：形不动。这是可查的——争论双方从未在「我们说的是不是同一个函数」上有过分歧，而这正是形在场却不参战的形态。
无前提被推翻的核验：八例均未推翻任何共有前提。可能有人主张一致收敛推翻了「收敛就是收敛」——不成立，那不是一条共有前提（它没有规定任何东西的入场资格，它只是一个未加区分的用法）。
第六编第 31.3 节的机制在这里得到八次核对：
新单位是从旧单位里切出来的，所以旧名字必须改指。
· 1847 年之后，「收敛」不再是原来那个意思：它成了一个总称，底下有两块。
· 「可微」在正则性等级出来之后成了一个总称。
· 「连续」在一致连续与半连续出来之后成了一个总称。
每一次切割，都使旧概念从一个单位变成一个类。 这就是拉卡托斯的伸展，而本编给出了它发生在哪一层、固化的是哪一维。
第六编第 31.4 节提过一条，此处写死判负条款：
S 固化型的新单位，必由某个旧单位切出，且那个旧单位此后由单位变为总称。
判负：八例中有 ≥2 例的新单位不是从任何旧单位切出的，本条撤回。
本轮未跑——按第一版第 26.4 节立下的标准（不能既用一批数据提出一条断言、又用同一批数据确认它），本条必须留给下一批候选池。
预先记一处不利：Sobolev 空间可能是反例。 W^{k,p} 不完全是从「可微」切出来的——弱导数是一个新造的东西，它使原来不可微的对象获得了导数。这更像第一版第 25 章（广义函数）的方向，而广义函数是三活层。 若 Sobolev 空间实为三活的一个前期形态，它应当移出本族。第一版第 25.9 节记过一处相关的悬案：广义函数的「出生」若算 Sobolev 1936，则出生与签字相隔九年；若算 Schwartz 1945，则出生即签字。两处悬案是同一处。
其一，S 型的预测过宽（本编导言已记）。8/8 不构成证据。
其二，「形不动」的证据是否定式的。 说争论双方从未在「是不是同一个函数」上有分歧，靠的是史料里找不到这样的分歧。找不到与不存在是两回事（第一版第 4.9 节的选择偏差）。
其三，Sobolev 空间的归属可疑（11.4 已记）。按纪律四（可两判取不利的一判），本书本应把它移出 S 族、列为悬案。此处保留在族内，是一次对本书有利的判法——与第 9.5 节、第一版第 21.8 节并列，特此标明。本编两次有利判法，是全书有利判法最密的一编。
（1750—1900，七例）
本章是全书这一层唯一硬的一章。 D 型是三型中唯一尖锐的预测——它同时断言产在场者、且不产单位——也是唯一擦线通过的（5/7＝0.714）。两处未命中如实写在 12.5、12.6 两节。
七例：矩阵成为对象（Frobenius 谱理论）、行列式、特征值、不变量、张量、微分形式、向量。
共同形状：算法一动没动——高斯消元、线性代换的复合、求根，这些程序在整个过程中是双方共同依赖的工具，且没有任何一条被改写。争的是形（这一堆系数该被显示成什么）与计（什么量在这些操作下不变、该记进哪本账）。
产物是在场者：一个新的对象进入账本，而它不是从任何旧单位里切出来的类。
第一版第 30.3 节把矩阵归入「起记号」，并记了一句：真正把矩阵变成一个有内在性质的对象，是 Frobenius 之后的谱理论，而那一步的推翻材料出自线性代换自家；本书未把这一步作为候选处理，理由是它缺少一致拒绝的记录。
第二版把这一步收进来，位置是 D 固化型的一固层。
六要件：
| 格 | 内容 |
| 固化维 | 算。线性代换的复合规则一动没动，双方共用，且它是裁判：两个矩阵是否代表同一个变换，看复合的结果 |
| 在争的形 | 系数方块该被显示成什么——Cayley 的记号只是一个排布，Sylvester 的不变量传统把它看成一族量的载体 |
| 在争的计 | 什么量在相似变换下不变，该记进哪本账——特征多项式、迹、行列式、初等因子 |
| 无前提被推翻 | 未推翻任何共有前提。可能有人主张推翻了「一个方阵只是一组数」——不成立，那不是一条共有前提，它只是一个尚未被追问的用法 |
| Z | 在场者：矩阵成为一个可以有性质、可以被分类（Jordan 标准形）的对象 |
| 拒绝 | 只有形与计两家在争；算从未表态 |
产物型核验：命中。 矩阵成为在场者，且没有从任何旧单位里切出一个类。
特征值（Cauchy 1829—，Frobenius 1878）：算不动（求根与代换复合），形在争（这个数该被显示为方程的根还是变换的伸缩率），计在争（它记进哪本账——是方程的属性还是变换的属性）。产在场者。
不变量（Cayley–Sylvester 1840s—）：算不动（代换），形在争（一个不变量是一个多项式还是一个几何性质），计在争（不变量的完备系有多大——Gordan 与 Hilbert 之争）。产在场者。
张量（Ricci–Levi-Civita 1900）：算不动（指标运算与求和约定），形在争（一个张量是一个坐标分量阵列还是一个与坐标无关的几何对象），计在争（什么在坐标变换下不变）。产在场者。
三例的共同点：争的核心是「这个东西是随坐标／随基而变的一堆数，还是一个与它们无关的东西」——这正是形与计的典型对立，而算（那套运算规则）在两种读法下逐字相同。
本族的预测有两半，第二半（不产单位）比第一半更值得说，因为它是可以被证伪的。
机制上的理由：单位是从旧单位切出来的一个类（第 31.3 节），而切割需要一条判据，判据由计给出。 在 S 固化型里，计在争，于是争的结果就是判据，判据一定，类就切出来了。
而在 D 固化型里，计与形在争的是归属——这个不变量属于谁、记进哪本账——而不是分界。归属之争的结果是给一个东西发身份证，不是把一个旧类切成两块。
这条机制有一个可查的推论：D 固化型的产物不应当带来任何「原概念变成总称」的现象。 核对：矩阵成为对象之后，「方阵」这个词没有变成总称；张量出现之后，「分量阵列」没有变成总称。与 S 型形成干净的对照。
行列式（十八世纪—Cauchy 1812）在本轮编码中被判为产过程，不是在场者。这是 D 型的一处未命中。
理由：行列式在它出生的那一段，功能是一条计算法——判断线性方程组有没有唯一解、算出解的表达式（Cramer 法则）。它是一个数，但那个数在当时的地位是计算的中间结果，不是一个有性质、可被分类的对象。
它后来确实成了在场者（作为行列式函数、作为体积形式、作为群同态 GL→ℝ*），但那要到十九世纪后期，且那一步与矩阵成为对象是同一步。
本书的处置：按纪律四（可两判取不利的一判），判为过程，记为 D 型的未命中。若判为在场者，D 型的命中率将从 0.714 升到 0.857——本书选择了不利的那一判。
微分形式（Cartan 1899）在本轮编码中被判为产单位，不是在场者。这是 D 型的第二处未命中，且它更严重。
理由：k-形式是一整族，按 k 分级（0-形式、1-形式、…、n-形式），而这个分级恰恰是把「被积表达式」这个旧单位切成了若干块。这是 S 型的形态，不是 D 型的。
若它真是 S 型，那么固化维的事先指定（第 4 节预注册表把它指定为 D 固化）就判错了一例。
本书的处置：保留在 D 族内并记为未命中，不改事先指定——改事先指定就是事后调整，那正是预注册要防的事。
由此得一条留给后续的判负条款：
重新编码微分形式的固化维（独立编码者，不告知本书结论）。若判为 S 固化，则第八编预注册表的固化维指定有 ≥1 例错，须报告错误率并重跑真跑一。
向量分析（Gibbs 1881、Heaviside）是本族七例中唯一在出生时受到激烈拒绝的（1890 年代《自然》与《电工》杂志上的四元数—向量论战）。
拒绝的形态恰好符合一固层的预测（第 5 章三档表）：只有碰撞的那两家在争。Tait 与 Kelvin 的攻击是形与计之争——向量该被显示成什么、什么量才是物理上有意义的；算从未表态，因为两边用的运算规则可以互相翻译。
第一版第 30.3 节从这一例读出一条：受到激烈拒绝不是二阶的充分条件。 第二版把它读得更细：受到激烈拒绝也不是三活的充分条件——一固层同样会有激烈拒绝，只是拒绝只来自两家。
这一条与第八编真跑二的那处逆序（二固组拒绝率 0.143 高于一固组 0.037，肇事者是模糊集）合起来说明：拒绝这个变量在分层上不可靠，不能拿来当层级的指标。
其一，两处未命中中的一处（微分形式）指向固化维指定可能有误（12.6 已记，判负条款已写死）。
其二，本族的时间跨度长且时序不齐。 矩阵成为对象、特征值、不变量三例的争论时段重叠，而张量晚三十年、微分形式晚五十年。它们是否真属同一族，还是本书按产物形态倒着归的，本章没有独立证据。
其三，与最近占位者的区分。 最近的占位者是 Hawkins（1977, 2013）关于矩阵理论与李群理论起源的研究、以及 Parshall 关于不变量理论的工作。Hawkins 的论点：矩阵成为对象是由谱理论的具体问题（可对角化、初等因子）驱动的，不需要任何「形与计在争」的框架。
这个占位者本书排不掉。 本书能给的区分只有一条：他解释的是那一步为什么发生，本书解释的是它为什么产在场者而不产单位（12.4 节的机制）。而 12.4 那条机制的检验状况是：七例中五例命中、两例未命中，且未命中的那两例恰好是对机制最不利的方向（一例产过程、一例产单位）。
（三节，本编收尾）
一固层的碰撞不必然产出。三种退回形态，与三活层的七机制三档对应，但形态更简单——因为一固层没有共有前提要推翻，也就没有「造仲裁位」「参数吸收」这类保护动作。
其一，有位而不出火。 两家在场，但它们的回答其实可以互相翻译，只是当时没人做这个翻译。这不是碰撞，是尚未架通。判据：事后翻译一旦架通，双方都承认「原来说的是一回事」——而真正的一固层碰撞架通之后，产出的是一个双方原本都没有的新单位或新过程。
其二，认领缺席。 新单位或新过程造出来了，而没有人把它当作一个东西来用。标本：Cayley 1854 的抽象群定义，四十年无人使用（第 10.2 节已给理由：实例不够）。
其三，签收缺席。 造出来了、有人用了，而固化那一家没有给它一个位置。标本：Grassmann 1844 的扩延论（第一版第 32.2 节），它的算与计都在，而没有一个可被指着看的显示，于是三十年无人接。
第一版第 29.3 节读出：三活层的时长由被推翻的那一维决定（E 倒长、D 倒短、S 倒罕见）。
一固层的对应读数：时长由缺的那一环决定，不由层级决定。
· 有位不出火：可长可短，取决于有没有人去做翻译。
· 认领缺席：由实例到齐的时间决定（抽象群等了四十年）。
· 签收缺席：由固化那一家能否给它一个位置决定（Grassmann 等了三十年，等的是向量空间成为通行语言）。
| 项 | 状态 |
| S 固化产单位 | 8/8，预测过宽，不构成证据 |
| S 型新单位由旧单位切出、旧名变总称 | 八例核对一致，但本条是本编提出的，本轮未跑，判负条款已写死 |
| D 固化产在场者且不产单位 | 5/7＝0.714，全书这一层唯一尖锐的预测，两处未命中如实记 |
| 微分形式的固化维指定可能有误 | 判负条款已写死，留独立编码者 |
| 拒绝不可作层级指标 | 向量（一固有激烈拒绝）＋模糊集（二固拒绝率高于一固），两例合证 |
| 本编的有利判法 | 两次（单纯形法等归一固、Sobolev 保留在 S 族），全书最密的一编 |