关于 AI 与学习，眼下有两种说法同时流行，而且都有证据。
第一种说：AI 承担了大量中间过程，人因此可以操作更大的认知单位、作出更高层级的判断。这是建设性的说法，它给出课程改革的方向。
第二种说：凡是把读数取在撤走 AI 之后、并且预先注册的研究，学生的成绩增量落在零附近甚至为负。这是证伪性的读数，它给出一份冷冰冰的账。
两种说法通常被当作对立阵营。支持技术的人引第一种，怀疑技术的人引第二种，各自都能找到材料。这本书的起点是：它们说的是同一件事的两端，而不是两件事。
把两端接起来，只需要问一个问题：AI 代走的那一段，去哪儿了？
它没有消失。它从学生身上被移走，留下一个空位。这个空位有两种身份，取决于你从哪一侧看它：
⚠ 本句中的”唯一”属已判死形态（附录六第二节、第 6.1 节）。承重现由同址承担，而同址本身已于第二批开闸中降为未决，待总表条款十四的 μ̂ 实测裁决（附录六第 6.4、九节）。不抹平原句，以回写表为准。
于是本书的全部内容压成一条判断：
腾空律：代走腾出的那一处，就是上移唯一可用的那一处；它不会自己被占住。占住，才叫变革；腾出而未占住，就是内卷。
⚠ 本句中的”唯一”属已判死形态（附录六第二节、第 6.1 节）。承重现由同址承担，而同址本身已于第二批开闸中降为未决，待总表条款十四的 μ̂ 实测裁决（附录六第 6.4、九节）。不抹平原句，以回写表为准。
这条判断一次解释了两侧的现象。分数下降不是变革失败的反例，而是腾出正在发生的证据——恰恰是那些”什么也没变”的课堂，读数最稳。反过来，读数稳不是好消息，是没有腾出，或者腾出后原样塌陷。
腾出是技术的后果，占住不是。这是本书最需要论证的一步，理由有三层，依次加深。
第一层，测量层。加码落在”学生—AI”复合体上，读数取在自然人身上，两端不是同一个单位。即使占住真的发生了，现行读数也看不见它——因为它在被测的那个单位之外。于是系统收到的信号永远是”没变化”，而没有信号就没有投入。
第二层，结构层。同构定理意味着：被腾出的地方与被测的地方重合。所以任何以分数验收这场变革的做法，等于用它自己造成的失地，去否定它的用地。这是本书认为现行验收体系必须改的全部理由。
第三层，机制层。占住一块地，要求学生能在那块地上作出判定。而判定的实质内容不是选中了哪一条，是排除了哪些条。对话的默认形态恰好把被排除的那些删掉了：学生看到的是一条已经修直的成品路径，看不到它是从哪些候选里选出来的。看一条修好的路，学不到修路。因此默认状态是腾出即塌陷。
三层合起来给出一个不受欢迎的结论：认知变革不是顺水推舟，而是逆着系统默认值做事；不做，不是停在原地，是往下走——因为地已经腾了。
腾空律要能指导实践，就必须可数。本书给出两个可从对话转写直接编码的量：
代走率 ρ：AI 话轮中给出实质性下一步的比例。它度量腾出了多大一块。 候选显影度 k：AI 显式列出至少一个被排除候选并说明排除依据的步骤比例。它度量那块地上还剩多少判定是可见的。
以及一个从学生身上取的读数：
支配读数 k_self：面对一个认知块，学生自己能说出的被排除候选数。这给出本书的支配判据——一个人支配一个认知块，当且仅当 k_self > 0。它把建构一侧原本只有描述性刻画的”可支配”，变成了可以当场抽测的东西。
三者合成占住率：
Ω = Δk_self / ρ
⚠ 此处的 Ω 是已判死的比值形式（附录六第三节、第 6.2 节）：分母在 ρ→0 时发散、分子分母不独立、斜率被写成了比值。现行版本是 Ω_β——在样本上估计 Δk_self ～ β·ρ ＋ 协变量 的回归系数；个体层面不报 Ω，改报 (ρ, Δk_self) 散点。不抹平原文，以回写表为准。
分子是学生在被腾出的区域上新增的判定能力，分母是腾出的规模。Ω→0 是塌陷，Ω 稳定为正才是变革。需要说明：Ω 目前是一个定义，不是一件已经标定的工具，它的测量规程列在第三十九章的未做清单里。
有了这三个量，本书前一半提出的全部教学装置都可以重新表述：判据锚定是在腾出之前把终点写死，防止学生用答案外观反推标准；认知合同是对 k 的事前约定；关键展开是事后把 k 补回来；停止规则是 k 不足时拒绝签字；问题回写是目前唯一难以被代走、因而能直接抬高 k_self 的活动类。它们不是五条并列的好建议，是同一件事的五个入口：把腾出的地占住。
第一编 腾空律：腾出必然发生，并且表现为失地。概念地基（颗粒度、层级、认知块、封装、终点判断）＋两层证明（单位错位与同构定理）。读完这一编，“分数没涨”会从失败的证据变成腾出正在发生的证据。
第二编 为什么腾出的地不会自己被占住。机制（生成位与验收位、归属错记、成品路径与不显示的否决）＋读数面板（ρ、k、τ、G/V、Δc）＋不可辨识性论证。
第三编 主体性变革：复合主体的诞生。本书的重心从”能力变了”挪到”主体变了”。三号位、可消性、器具史上的第一次、不可分解与无我可融律、固化与归算、责任与教育与文明三个落点。
第四编 占住的装置：工程化、类比与课程。先给地基——大模型自己就是发生学的第一个工程案例，“本来在那儿”第一次被拿上台检验；再给一条确实占住了的产线（十二道工序、三处闸、四个读数），车与腿力类比的三处破裂，以及课程、课堂与教师工作的重建。
第五编 评价与检验：让占住可见，并接受判死。评价框架、ρ–k 产品判据、四个反驳、判决性读数、四项实验、划界、十四条证伪条款与未做清单。
建议的读法：想拿走明天就能用的东西，读第四、五编；想知道这些做法为什么必须逆着直觉做，读第一、二编；想知道这场变革到底变的是什么，读第三编；想推翻本书，直接读第四十二章——那十四条是为此写的。