| 词 | 定义 |
|---|---|
| 腾空律 | ⚠ 此处为已判死的原版（附录六第二节）。现行版本：代走腾出的那一处，是唯一一块”腾出即失地”的地——因为它与考试所测的那一段同址；别的腾出方式腾出执行，代走腾出判定。它不会自己被占住。占住，才叫变革；腾出而未占住，就是内卷。同址现为未决，待 μ̂ 实测（条款十四） |
| 腾出 | AI 承担了原本由学习者执行的某段判定，该段在学习者一侧留下空位 |
| 失地 | 从考试一侧看的那个空位。由于可测集与可代走集同构，它必然表现为自然人读数不涨或下跌 |
| 用地 | 从层级一侧看的同一个空位。它是注意力转向终点、关系、目的与问题的空间来源。⚠ 原作”唯一空间来源”，属已判死形态（附录六第 6.1 节）：增加课时、整备材料、分工同样腾出空间 |
| 占住 | 学习者在被腾出的区域上重新获得判定能力，其最低证据是 k_self > 0 |
| 塌陷 | 腾出而未占住。表现为投入持续增加、可结算读数不增长，即内卷 |
本书由两份原本独立的稿子重装而成，部分概念各有名称。对应不表示等同，第三列写明差别。
| 建构一侧 | 证伪一侧 | 关系与差别 |
|---|---|---|
| 认知块 K＝〈问题、主张、前提、证据、边界、展开入口〉 | 成品路径 | 认知块是”应当带着什么”的规格；成品路径是”实际交到学生手上的东西”。二者之差恰好是被删掉的否决 |
| 可调用 | 观察到路径 | 同指拿到结果而未必具备支配能力 |
| 可支配 | k_self > 0（支配判据） | 建构侧给描述性刻画，证伪侧给操作定义 |
| 封装 | 代走 | 封装是中性的任务组织概念；代走特指生成位被外部占据 |
| 封装质量 | 候选显影度 k | 高质量封装＝交出接口与被排除项 |
| 判据锚定 | 防止用答案外观反推标准 | 在腾出之前把终点写死 |
| 关键展开 | 事后提高 k | 在风险最相关处把否决补回来 |
| 停止规则 | 拒绝签字 | k 不足时给出”目前不可接受” |
| 问题回写 | 抬高 k_self 的活动类 | 目前难以被代走的一类工作 |
| 有效认知层级 | 撤机延迟读数 | 前者是能力定义，后者是它的测量位置 |
| 撤用考核 | P4（撤机延迟考） | 同一件事，后者写成了可判负的命题形式 |
| 符号 | 名称 | 定义 | 取值方式 |
|---|---|---|---|
| ρ | 代走率 | AI 话轮中给出实质性下一步的次数 ÷ 总推进步骤数。度量腾出的规模 | 转写编码 |
| k | 候选显影度 | AI 显式列出至少一个被排除候选并给出依据的步骤数 ÷ 总推进步骤数 | 转写编码 |
| k_self | 支配读数 | 学习者面对该认知块时自己能说出的被排除候选数（≥1 即达标） | 口头或书面抽测 |
| Ω_β | 占住率 | 在样本上估计 Δk_self ～ β·ρ ＋ 协变量 的回归系数 β。旧的比值形式 Δk_self ÷ ρ 已判死（附录六第三节、第 6.2 节）：分母边缘发散、分子分母不独立、斜率被写成了比值。个体层面不报 Ω，改报 (ρ, Δk_self) 散点 | 回归估计；阈值按旋钮纪律按序等待，不在此时标定 |
| μ̂ | 同址重合率 | 高利害题库上可被可靠代走的题目所占卷面分值比例。承担同址那条腿，由总表条款十四判负 | 逐题采样＋双评分者，规程见附录五第九节。测度纪律：只用分值，不得用步骤计数 |
| τ | 无援停留时长 | 学生在一个岔口上未获外部输入的持续时长 | 对话时间戳 |
| G/V | 生成—验收比 | 学生话轮中生成型发言 ÷ 评价型发言 | 转写编码 |
| Δc | 校准差 | 自评掌握程度与撤机实测成绩之差（标准化） | 量表＋延迟考 |
| 低 k（否决不显示） | 高 k（否决显示） | |
|---|---|---|
| 高 ρ（腾出大） | 代答式：腾出即塌陷。默认形态，预测撤机读数为负 | 样例式：部分占住。预测接近零或略正 |
| 低 ρ（腾出小） | 盲问式：没腾出也没占住。高挫败，方差大 | 逼走显影式：腾出并占住。预测读数最高 |
| 环节 | 作用 | 对应读数 |
|---|---|---|
| 基础内化 | 确定哪些地不许腾 | 撤机基础项 |
| 条件封装 | 决定腾多大一块 | ρ |
| 终点检验 | 防止在腾出的地上盖假房子 | 独立于生成过程的证据通道 |
| 关系组织 | 在腾出的地上建结构 | G/V |
| 目的审议 | 决定这块地该盖什么 | 拒绝签字的合法性 |
| 问题发生 | 自己去开新的地 | k_self、变量或边界是否改变 |