判断卡片：第二款不是一条关于对象的信念，是一条关于底盘写入权限的规定；它一旦写下，后续的对象层改写就不再被触发——不是被禁止，是不再被调用。于是回写的一次成功执行，取消了它自己后续执行的条件。这是本书所知唯一一处，一个认知动作的成功取消了它自己的后续。"杀死"一词须当场收紧：写下的是一把锁，不是销毁了写头。
上一章说"一条硬信念还不是灾难"。本节要指出，三款里有一款不是信念。
第一款（对象先在）是一条关于对象出身的信念。它可能错，但错了也只是一个错误的看法。
第三款（可用与理解脱钩）是一条关于什么算学会的标准。它可能有害，但它的害处是评价上的。
第二款（接收不触发改写）表面上像一条关于数学对象的信念，其实不是。它是一条关于底盘写入权限的规定。
它规定的是：数学对象不属于那一类有资格改写我的东西。
一条写入权限规则与一条普通信念，性质完全不同：普通信念是被写进去的内容，可以被新内容顶替；写入权限规则一旦生效，它管的是还写不写这件事本身。
于是发生了这样一件事：元层的那次回写，写下的内容恰好是一条使后续对象层回写不再被触发的规则。
请注意"不再被触发"这个说法，它比"被禁止"准确得多，而且差别很实。
不是被禁止。 底盘并没有立起一道防线去抵抗新概念。若是抵抗，会有摩擦，会有别扭，会有"我不接受"——那些都是可观察的信号，教师能看见。
是不再被调用。 新的数学对象进来，被顺利归档，归档过程平顺无声。任何"我原来的想法可能不对"的信号都不会升起，因为按第二款，这类对象与"我原来的想法"从来不发生关系。没有摩擦，没有别扭，没有信号。
把这一条压成一句，就是本书的第二个核心命题：发现，是回写杀死了回写。
这是本书所知的唯一一处，一个认知动作的成功执行，取消了它自己后续执行的条件。写成一条链：光滑化作用于知识：一件带着土壤与路径的发生，被磨成一个只剩显露的成品。元层回写发生在人：成品被顺利接住，底盘上添入三款规则。封写：第二款一旦在底盘上，对象层回写不再被触发。所以：回写（元层） ⟹ 不回写（对象层）。
这条链是自反的：第二款是一条关于回写的规则，而它自己正是被回写写进去的。发生的机制在这里咬住了自己的尾巴。
"杀死"这个词若照字面理解，本书立刻自我否证，所以必须在提出它的同一节里收紧。
理由有二。
其一，若封写真的不可逆，那么去光滑化就不可能成功，本书从编六到编九的全部处方随之作废。一个自己取消自己纲领的理论，按它自己在下一节要给出的判据，恰恰是最可疑的那一种。
其二，一个反例就够了：任何一个成年之后真正重新理解过某个数学概念的人——那种"原来它是这么来的"的时刻——都证明通道可以重开。这样的人不罕见，读到本书这一页的读者里可能就有。
所以准确的说法是：回写写下的是一把锁，不是销毁了写头。
本书称之为封写：机制完好无损，通道被一条规则挡住。锁有三个性质，每一个都有教学后果。
其一，锁可以被解开，但解锁的动作与纠正一个对象层的误解不是同一种动作。 补讲、多练、换一个更好的例子、找一位更耐心的老师——这些全都打在对象层，全都撞在锁上。这解释了一件教师普遍经历、却从未被解释过的事：为什么某些概念，无论换多少种教法、补多少次课，都补不动。
其二，解锁的动作必须打在第二款本身上。 它只有一个形式：让学习者亲历一次"这个对象本可以不是这样"。不是听说，是亲历——他必须自己站在那个岔路口上，看见另一条路也走得通，或者看见当年的人差一点就选了别的。第三十一章会把它做成三个具体动作。
其三，锁的强度随加固次数上升，因此解锁所需的代价随学龄上升。 这不是不可逆，是活化能升高。它给出一个可测的推论：同一堂去光滑化的课，在低年级比在高年级有效；而在高年级，同一堂课若前置解锁，效果应当被显著拉回。第三十三章把这个推论写成了预注册实验。
这次收紧不是退让。 它把一句口号换成了一个有边界、可操作、可证伪的命题，并且直接推出了一道原先没有的工序。
四、第四种死亡
发生学原有三种"死法"，用来诊断一个概念在学习者那里的状态。三种全部发生在对
象层。封写是第四种，发生在元层。
名称 层 死法 好坏 验法
遗忘 对象层 没人再用它，它从 坏 还有没有人拿它去
问题解决中消失 解决新问题
死于成功 对象层 熟到不假思索，沉 好 会不会再对它感到
为地基 惊讶
过度自洽 对象层 对一切追问都有现 最危险的假会 给一个反例，看他
成答案却不会用 慌不慌
封写 元层 "不必改"这条规 最坏 问"它本可以不是
则沉为地基 这样吗"——答不
出，或觉得这问题没有意义
封写与"死于成功"是同一个形状——某样东西沉进底盘、变得不可见——只是层次不同：死于成功沉下去的是一条路径，沉下去是好事；封写沉下去的是一条关于走不走路径的规则，沉下去是灾难。
封写之所以最坏，还有一个结构性的理由，而且这个理由改变了诊断的次序：它使前三种诊断失效。
一个被封写的学习者，在"过度自洽"的检验下可能表现得很好——给他一个反例，他不慌，但不是因为他真懂，而是因为他压根不认为那是一个反例。在"死于成功"的检验下也可能表现得很好——他对这个概念不再惊讶，但不是因为它已沉为地基，而是因为它从未在他那里升起过。
因此诊断的次序必须改：先查封写，再查前三种。 次序一错，前三种检验会给出系统性的假阳性。
现在可以把编三编末那个问题的另一半答完了。
编三问：为什么光滑化做得最好的地方，接收出问题最严重？
第二十章答了一半：光滑化做得越好，接收越顺利，元层那条规则写得越牢。
本章答另一半：而第二款写牢的后果，不是一条错误的信念，是通道被封。
于是三条材料各归其位：· 第十四章（越简短的定义压着越长的路径）：定义越简短，它前面什么也没有，第一
款拿到的证据越硬。· 第十六章（三份自供被压成一张表）：被压成表，正因为读者的第二款已经在运行
——他要的是可以直接用的成品，而"为什么写这本书"那一段在他那里没有落点。读
者不是懒，是通道封着。· 第十九章（最好的存储形态造成最大的教学失败）：新数学把成品磨得比任何时候都
干净、递得比任何时候都早，于是第一款与第二款在极短时间内被极大量地加固。 那
场失败不是因为孩子学不会集合，是因为那套课程在最短时间里把最多的通道封上
了。
三条同向，而且现在有了统一的机制。
封写还补上了本书原先缺的一块。
编七第四章将指出一种失败：教师把发生过程演示了一遍，学生只是旁观—— 还原不等于放录像 。编十一第二章将指出另一种：走那条路的脚必须是学生自己的 —— 不可代办。两者都假定，只要路径真的被学生亲自走通，改写就会发生。
封写说明这个假定不成立。存在第三种失败：课去光滑化得很好，困境摆出来了，路径学生也亲自走通了——改写照样不发生。因为通道是封的。
这一种最令人沮丧，因为教师在教学法上一步没错；也最容易被误读成"这个孩子就是不行"。而它恰好是编三第十三章第四节那三处外包（运气、天赋、偶然）落到一个具体孩子身上的样子。
那一节曾说：在研究界"创新机制交给天赋"是一句无害的口头禅，在教室里它是一份终身判决。现在可以说得更准：路走通了也可能不算数，若改写权没有先被解开。
这就是为什么编六要在发生五步之前，加上一道原来没有的工序。
封写的教学后果，最清楚的证据不是失败的常规课，是一堂什么都做对了、仍然无效的课。本节记一次，而且它是本书最重要的一份材料。
六年级，分数比大小的补课。教师这次准备得极充分：
不从定义起。先摆困境：三个饼分给四个人。让学生真的分、真的画、真的剪。让他们给每一份命名，写出 3/4。再让他们把四个 1/4 拼回一整块。再换情境：绳子、蛋糕、一段路。全程动手，没有一句"你们记住"。
按编六第三十章那五步，这堂课是标准的。 当堂效果也好，学生投入，做得对。
一个月后，再问那个问题：1/2 和 1/3 谁大。
班上仍有相当一部分学生答"1/3 大"。
而更值得记的，是那几个平时成绩最好的学生在动手环节的表现。
他们礼貌地配合。剪了，拼了，写了。其中一个在拼到一半时抬头问："老师，这个待会儿是不是就是要讲通分？"
请仔细看这一句。
他没有在走那条路径。他在定位这堂课——他在判断这段活动最后会落到哪一个知识点上，好把它归档。剪和拼在他那里不是路径，是通向那个知识点的过场。
而他这样做是完全理性的，因为在他十二年的经验里，每一次活动最后都会落到一个知识点上，而知识点才是要记的东西。他的元层规则告诉他：这一段可以快进。
于是那堂课在他身上落空了，而落空的原因不在教学法：困境摆了，路径铺了，脚也是他自己的。是通道封着。
这一节是编四第二十三章第六节那个"第三种失败模式"的现场，也是本书全部工序为什么必须在五步之前加一道的全部理由。
顺带记一句，那位教师后来做了一件对的事。她没有再补一次课。她下一次上课时，先花了十分钟问："如果当初人们不这样规定，1/2 可以写成别的样子吗？" 那十分钟，就是编六第三十一章那道工序的雏形。
一条对"封写"这个概念本身的反读，而且它是编四最尖锐的一条。
反读是："通道被封"这个说法，是不可证伪的。
具体地说：任何一次去光滑化的失败，本书都可以宣布是封写造成的；而任何一次成功，本书都可以宣布是通道开着。"封写"因此不是一个解释，是一个事后的标签，它对失败的解释力是无限的，而无限的解释力等于零。
这个指控是致命的，而且本书在编六第三十三章第一节自己写了同样的话："凡是补救无效的，都可以事后宣布那是被封写了——那正是本书自己认定的最危险的假会。"
本书的防御只有一条，但那一条是硬的：封写必须在干预之前被测量。
这就是先在感指数存在的全部理由。若 π 只能在失败之后被推断，本书这一编确实是不可证伪的；而若 π 可以在上课之前被测出来，并且它预测了这堂课在谁那里会失败，那么它就是一个真的变量。
于是编六第三十三章那个 2×2 的设计要点，不是"有没有解锁"这个对比，而是分层：先测 π，再分层，再随机分派。H2 那个交互项，就是这条防御的全部内容。
而这也意味着一件本书必须承认的事：在 π 被证明可测、可信、且有预测力之前，"封写"这个概念在方法论上是欠账的。
本节不给这笔账打折。编四是全书重心，而它目前站在一个尚未兑现的读数上。 前言第三节把这一条列为"我最没把握的四处"之首，本节是它的展开。
机制给完了。但一个新提出的机制，最容易犯的毛病是它其实是别人早已命名过的东西换了个名字。下一章要逐条处理八位占位者——五位在"先前的学习阻断后续的学习"这个形状上，三位在"来路被忘掉之后显得自然"这个形状上。其中两位在编二已经出过场，对他们的分界必须划得比对别人更细。