当人工智能能够承担越来越多的信息整理、常规运算、候选方案生成与初步论证工作时，教育需要重新回答一个根本问题：人究竟应当学习怎样思考？
本书只有一条判断。
腾空律：AI 代走的那一段思考，既是考试分数的失地，也是认知层级上移唯一可用的用地；它不会自己被占住，占住才叫变革，腾出而未被占住就是内卷。
⚠ 本句中的”唯一”已被本书自己判死，见附录六第二节。修正版：代走腾出的那一处，是唯一一块”腾出即失地”的地——因为它与考试所测的那一段同址。增加课时、整备材料、分工同样腾出空间，但它们腾出的是执行而非判定，不在读数上表现为损失。又及：同址这条腿已于第二批开闸中降为未决——它原来的论证（“Q\M 很小”）已判死，现由重合率 μ̂ 承担，而 μ̂ 尚未实测（总表条款十四、附录五第九节）。正文各处的”唯一可用”一律按此改读。
这条判断把两件通常被分开讨论、并且被认为互相矛盾的事，合成了一件事。
一面是失地。本书证明”AI 赋能学习会提高考试分数”不成立，而且不是效果量不够，是结构：加码落在”学生—AI”复合体上而读数取在自然人身上；更要害的是，一段思考之所以能被考试测量，与它之所以能被 AI 代走，取决于同一个条件——该处的判定已经前置。由此得到同构定理：可测集与可代走集高度重合。所以被代走的恰恰是被考的，分数下降不是意外，是腾出正在发生的证据。
另一面是用地。同一段思考被腾出之后，人的注意力才可能转向更大的认知单位：判断终点是否成立、关系是否相容、目的是否正当、问题是否应当改写。本书以”从娄底乘高铁到贵阳”为贯穿性思想实验，区分思考颗粒度与思考层级、认知块的可调用性与可支配性，建立”基础内化—条件封装—终点检验—关系组织—目的审议—问题发生”的框架，并给出课程、课堂、教师工作与评价的重建方案。
两面之间没有自动通道。腾出是技术的后果，占住不是。本书指出占住之所以困难，在于对话把判定发生的那一半从显示中删掉了：学生看到的是一条已经修直的成品路径，而判定并不住在路上，住在被否决且从不显示的分支里。
占住的那一方，还已经不是原来那一方了。认知变革最大量的发生不在能力上，在主体性上（⚠ “最大量”已被本书自己判死，见附录六第四节与第 6.3 节；现行版本：主体性的位移先于能力读数的变化被观测到，并能预测后者，反向不成立）：把”主体性”收到可操作的规定——三号位的侧重显影（分布·场·美）——就会看到，大模型作为语言器具集合一次占满材料、工具、环境三格，第一次进入三号位，并一次破掉旧单位赖以成立的可消性三条件。由此诞生复合主体：理念界不可分解、可交融，自我界不可交融、只可相遇；两条边界随之确立——承受不复合，责任按承受位置定。于是自然人失去的不是判断，是独占判断的王权；失去的方式不是判断不再发生，是它不再能被认领为某一个自然人的。
而且占住不仅难以做到，还难以被认出。一份好作品是学习者资源与外部资源的共同函数，外部资源的变化又没有被独立约束；因此作品改善不能唯一地推出个人能力增长——这是本书的不可辨识性论证。它把评价问题从”测得够不够细”改成”能不能从成果反推”，并给出唯一的出路：停止用作品猜能力，改为现场索取一次判定动作。
于是改革的抓手从”用不用 AI”换成两个可编码的量：代走率 ρ 度量腾出了多大一块，候选显影度 k 与支配读数 k_self 度量那块地被占住了多少。ρ 高而 k 低，是腾出即塌陷；ρ 高而 k 高，是腾出并占住。本书据此定义占住率 Ω，并把判据锚定、认知合同、关键展开、停止规则与问题回写重新定位为提高 Ω 的具体装置。
重装还产生了一条新的操作定义——支配判据：一个人真正支配一个认知块，当且仅当他面对它时能说出至少一个被排除的候选及其排除依据（k_self > 0）。
本书还给出一条确实占住了的产线作为正例：一套粗粒度方法论（三大方程、六路径、123 原理）如何从两千年的描述层变成十二道带闸的工序。它的分界线不是机器变聪明，而是机器可以被要求对同一题重新不知道——计算权可以交，命名权与判错权不能交。
本书是一项理论建构与研究设计，不是已经完成的教育实验报告。全书给出四项可预注册实验、十四条证伪条款与一份未做到事项清单。其中最反直觉、也最容易被打掉的一条预测是：AI 讲解质量越高，撤走 AI 后的分数越低。
核心链（重装后） AI 代走 → 腾出一段 → 该段在自然人读数上表现为失地 → 若被占住：单位扩大、层级上移、问题发生 → 若未被占住：塌陷，表现为内卷
全书结构 五编四十二章。第一编证明腾出；第二编说明为什么不会自己被占住；第三编回答谁来占——主体性变革与复合主体的诞生；第四编给出占住的装置（工程化与课程）；第五编让占住可见并接受判死。
关键词 腾空律；失地与用地；代走率；候选显影度；支配判据；占住率；成品路径；认知块；判据锚定；问题回写