Σ ＝ 观测链（观测者本身也需要被观测）。R ＝ 测量的完成。
T(Σ)：测量要能被完成，观测链必须在某处切断——必须有一处不再被当作待测的系统。⟹ 正题：链必在某处切断。
N(Σ)：任何被指定的切点，其本身仍可被纳入待测系统。⟹ 反题：无原则性的切点。
历史对应：冯·诺依曼的测量链与"切割"（Schnitt）的任意性；维格纳的追问；此后关于测量问题的全部争论——退相干、多世界、坍缩理论、关系性诠释，都是在回答"这一刀切在哪里、或者要不要切"。
这一组的价值不在它比前八组更深，而在它的年代。
第二组（分割有无尽头）出自古代原子论，第七组（规则遵循）成熟于二十世纪中叶，而第九组是二十世纪物理学在实验室里遇到的问题——它不是哲学家想出来的，是实验逼出来的。
形式却与第二组完全相同：都是"这一刀切在哪里"。间隔一百五十年，出现在完全不同的学科里，由完全不同的方法引出。
于是本书得到一条可用于其他领域的经验法则：
凡是有人在认真争论"这一刀该切在哪里"的地方，那里就有一条被当成现成的序列。
这条法则的用处在第 20 章（五步操作）与第 41 章（预注册预言）会被展开。此处先说它的分量：它使本书不只是一部关于康德的著作。一部只能解释十八世纪问题的书，与一部能在当代活跃争论上给出形状诊断的书，价值不在一个量级。
测量改写被测系统与测量装置的分界。
这句话在物理学里有一个格外清楚的形态："系统"与"仪器"的划分不是给定的，它是随实验安排而定的。同一台装置，在一个实验里是测量者，在另一个实验里是被测者。而 O₁ 要求这个划分先在——主体（观测者、仪器）与客体（被测系统）各自完备，测量只是读取。
⚠ 这里必须极其小心，否则本书会滑进一种廉价的量子神秘主义。本书不主张"意识造成坍缩"，不主张观测者的心灵参与物理过程，不对测量问题的各家诠释作任何裁定。
本书主张的只有一条，而且是形式的："切点在哪里"这个问题之所以顽固，是因为它默认了一条现成的、待切的链。至于物理学应当如何处理测量问题，那是物理学的事，本书没有资格插话——第 6 章 6.6 的自律在此严格适用。
这一节是全书最需要节制的一节。写作时须反复检查：本书是否只在说形状，而没有对物理内容作任何主张。
冯·诺依曼的结果值得逐字说清，因为本书对它的使用极容易越界。
他证明的是：把"系统"与"仪器"的分界放在链上的不同位置，所得到的经验预言相同。
⇒ 这一结果的形式含义（本书只取形式含义）：没有一个位置是被理论要求的。而正题（链必在某处切断）要求的恰恰是有一个位置；反题（无原则性切点）说的正是他证明的这件事。
因此第九组的反题，在物理学内部被形式化地证明了。⚠ 而这不等于反题在本书的意义上"胜了"——因为切割仍然必须被做，实践中它总在某处发生。正题描述的是实践的必要，反题描述的是理论的不确定；两者都真。
⇒ 这与第 12 章 12.2b 对第三组的重述同型：正题要一个可完成的操作，反题要一条无例外的规则。
退相干解释了为什么在实践上切点的位置不重要：环境导致相干性迅速丧失，不同切点给出相同的现象学。
本书的形式判读：这是一次成功的绕开——不回答"应当切在哪里"，而是说明"切在哪里都得到同样的现象"。⇒ 与第 12 章对相容论的判读同型：改题而非解题。
⚠ 而"改题"在本书里不是贬义。第 12 章已经说过：相容论的改题在实践上极有价值。此处同样：退相干把一个不可裁决的问题换成了一个可计算的问题，这是物理学的重大进展。
本书只主张一件事，而且只在形式层面：被换掉的那个问题仍然在——"切点为什么必须存在"没有被回答，只是被绕过。而只要它还在，它就会以别的形式再出现（这正是第 13 章 13.4c 对宇宙论论证的同一句判读）。
⚠ 本书不评价退相干在物理上是否充分，也不主张测量问题应当由本书的框架来解决。第 6 章 6.6 的自律在此严格适用，且本节已按正文要求做过一次越界自查（见 38.5 的统稿记录）。
把链推到意识，是"必须在某处切断"的正题主张的一个极端形态。
本书的判读：它选择的切点位置恰好是本书第 19 章所说的三号位——"我"。⇒ 而按本书，三号位显影是显影侧重的一种，不是链的终点；把它当作切点，就是把一个方位读成了一个位置。
⚠ 本书不由此推出任何关于意识与物理关系的主张。这里说的只是：若"我"本身是被生成的（第 30 章），那么用它来终止一条链，只是把待解释项换了一个名字。
⇒ 这一条同时是本书对自己的约束：本书也不能用"三号位"去终止任何链——号位是读数方位，不是终项。
| 组 | Σ | 正题（有终项） | 反题（无终项） | 被禁止的推进 | 接口 |
|---|---|---|---|---|---|
| 五·同一性 | 版本序列 | 必有不变载体 | 无不变项 | 判定改写判准 | 部分 |
| 六·根据 | 理由序列 | 必有基础项 | 无基础项 | 辩护改写"什么算理由" | 弱 |
| 七·意义 | 解释序列 | 必有自明项 | 无自明项 | 应用改写规则 | 中等 |
| 八·能力 | 构成序列 | 必有先天初始能力 | 无先天项 | 练习改写能力的边界 | 完整 |
| 九·测量 | 观测链 | 链必在某处切断 | 无原则性切点 | 测量改写系统与仪器的分界 | 部分（物理学内部，本书不涉） |
五组全部呈"有终项／无终项"的齐一形式，无一例外。生成器跑得动。
其一，他的解法不是通解。
现象与物自体的区分对第三、四组管用，是因为那两组的 Σ 跑在客体一侧，可以把客体复制成两份分别安置。第六、七、九组用不上这一招——解释序列、理由序列、观测链都不是"世界之中的序列"，没有一个"物自体侧"可以搬。第五组只有一半管用（人格同一可以这样处理，忒修斯之船不能——一条船没有智性面）。
而撤销 (c) 这一招，对九组一律有效。通解在本书这一边。这是一条可以被并排检视的比较，而不是一句口号。
其二，完备性主张自我担保。
五组之所以逃得出四栏，正因为它们把回溯掉转向主体一侧——什么算同一个我、意义如何确定、理由到哪为止、能力从何而来、观测者由谁观测。而康德四栏全在客体一侧编号，因为 (a) 假定主体完备、无需回溯。"四组穷尽"由 (a) 担保，而 (a) 正是要撤销的那条。（第 14 章 14.4 的正式验证到此完成。）
其三，这不是十八世纪的遗物。
第九组在二十世纪的实验室里原样复发；第七、八组在二十世纪的语言学与心理学里正当盛年；第六组在当代认识论里仍是活的。同一副骨架，跨越两千四百年与十几个学科。
⚠ 六条之中，F17 与 F18 是本书自设的靶子，且本书认为它们最有可能被击中。F2 与 F3 成本最低（只需逐条比对文本，不需实验），建议任何有意反驳本书的读者从这两条开始。
第二编完。 第三编转向正面构造：撤销 (c) 之后，世界是什么样子。
第三编·显影。撤销 (c) 之后剩下什么。本编大量承接站内既有工作，逐章开头即划界，不冒领。
# 第三编 显影
本编读法
>
第三编是本书理论负荷最重的一编，也是承接站内既有工作最多的一编——每一章开头都先划出哪些是承接、哪些是增量，读者可据此判断本书在何处是新的。
>
承重顺序是：判定树（第 21 章）支撑号位 → 两个时钟（第 22、23 章）支撑读数式 → 读数式（第 25 章）与四分量（第 24 章）共同支撑对"先天"与"客观"的重写。
>
⚠ 三者相对独立：判定树若倒，四分量仍成立（它只需 σ 与 n，不需号位）。第 25 章 25.12 有完整的承重与冗余声明。
>
第 20 章是教学章，可单独读、单独用。