判断卡片：把成熟态当起点，不是一次疏忽，是一个有确定操作步骤的工序，且这个工序有一个可指认的名字 ——回溯性本体化：一件稳定化的成果，被反过来当作它自己得以稳定化的那个世界的原始样态。编一那六次立法，是同一个动作在六个不同高度上的六次执行。
编一逐章指出了六次可指认的操作，并在编末给出了它们的共同语法：六次都只问"这个对象从哪来"，从不问"它怎么被接住"。但共同语法还不是共同动作。语法说的是他们没问什么，动作说的是他们做了什么。
那个共同动作，可以命名为：回溯性本体化——一件在特定条件下被稳定化出来的成果，被回溯性地提升为"世界本来如此"的证据。
请注意这个名字的三个部件，缺一不可。成果：它是被造出来的，有条件、有阶段、有代价。回溯性：这次提升不发生在它被造出来的时候，只发生在它已经稳定之后，由后来者做出。本体化：提升的方向不是"这个说法很好用"，而是"世界原本就是这样"。
把编一那张户头表按这个名字重读一遍，六次操作立刻显出同一个骨架：· 完美三角形本是一条差异路径被磨到极限时涌现的同一性，被提升为理念世界里的原
型。· 公理体系本是把已有几何整理为可核查整体的一次工程成果，被提升为几何本身的次
序。· 几何观念本是在真实作图与推演中长出来的东西，被提升为灵魂中的天赋。· 欧氏空间本是一件由古希腊作图实践与第五公设这个具体选择长出来的历史产物，被
提升为直观的先天形式。· 数本是在计数、比较、记账这些活动中被逼出来又被逐步严格化的东西，被提升为第
三领域中的客观对象。· 集合论的对象本是一套为收拾无穷之乱而造的语言，被提升为 可以被直觉看见的实
在。
六次，六个不同的高度：从另一个世界，到一本书的次序，到灵魂，到主体形式，到一个逻辑领域，到一种类似感知的直觉。高度一次比一次低、一次比一次难攻，而动作一次未变。
回溯性本体化不是一个笼统的态度，它有三个可分辨的具体操作。这三步就是本编要解剖的那道工序，本书称之为光滑化。
操作一，磨掉土壤。 逼出这个对象的那个真实困境被删除。课本不再说"当年人们遇到了什么走不通的问题，才不得不造出这个东西 "，而直接给出成品。于是接收者无从知道这个对象是为解决什么而存在的。
操作二，磨掉路径。 从困境走到对象的那条曲折之路 —— 试错、命名、修正、收敛——被删除。只呈现路径的终点，即最终结晶出的定义，而不呈现走这条路的过程。
操作三，把显露再摆为起点。 剩下的那个光滑的形，被重新摆放为一个起点而非结果。
三步合起来，可以写成一个简洁的刻画：发现 ＝ 发生 － 路径 － 土壤
第三步是最隐蔽、也最具决定性的一步。前两步只是做了减法，尚未颠倒次序；真正的颠倒发生在第三步：它把发生链的终点搬到最前面，当作一切的开端。减法只是丢失，颠倒才是本体化。 一个只被减了两步、但仍被明确标注为"这是某某在某年为解决某问题而做出的"的对象，不会产生先在感；只有当它被摆到起点、并且它前面什么也没有的时候，"本来就在那里"这个印象才成立。
由此可以给本编一条贯穿的操作判据：判断一段呈现有没有执行光滑化，不看它省略了多少历史，只看它把定义摆在哪里。
这条判据在第十五章会被用来读教科书，在第十九章会被用来读布尔巴基。
必须立刻说清楚，否则整编会被读成一份对严谨性的攻击。
在稳态阶段，这个工序几乎看不出任何毛病，因为系统确实在不断地复制成功。 概念被归入范畴，复杂被折叠为模型，多样被归并为规律；这个压缩过程本身完全正当，而且是知识得以公共化的唯一办法。一门成熟的、边界清楚的、变量可控的学科，用光滑化的方式教学与传播，效率极高、损耗极小。
代价只在三种时刻才显形：变形期、跨域期、涌现期。既有范畴容纳不下新对象，既有模型解释不了新现象，既有规则指导不了新生成。这时系统的典型反应不是回到发生问题，而是在末端加密——增加指标、扩展分类、精炼模型、膨胀术语，用更复杂的结构语言维持表面上的解释力。
这个状态可以命名为同一性内卷：解释越来越密，突破越来越难。它的诊断特征很好认——术语的增长速度超过了它能解释的新现象的增长速度。
本书对它的判断是结构性的：内卷不是从业者不努力的结果，恰恰相反，它是极度努力的结果，只是努力全部落在了工序的下游。
回溯性本体化完成之后，有一件事在系统里没有位置了：这个东西是怎么来的。
它没有被否认，它是没有位置。而一个问题一旦在一个体系里没有位置，它并不会消失，它会被外包。本书要指出它被外包到了三个地方，而且三个都在这个体系之外：生成问题被外包给运气，创新机制被交给天赋，结构更新被交给偶然。
这三句是同一件事的三种说法，而且它们在日常语言里几乎无处不在。一项突破被说成"灵光一闪""碰上了"；一个人做得出而另一个人做不出被说成"他有那个天分"；一次范式转变被说成"时机到了"。
请注意这三种归因的共同形状：它们都不可训练。 运气不可训练，天赋不可训练，偶然不可训练。于是一个把生成外包出去的知识体系，在原理上不可能有一套关于 "如何生成"的公共工艺——不是它还没有造出来，是它的语法里没有这一格。
这一条在编四会以一个远为尖锐的形态回来。因为同样这三种归因，在课堂上有一个具体得多的名字："这孩子有数学细胞" 与 "这孩子没数学细胞"。第三十四章那条"天生会／天生不会"的错觉，正是"创新机制交给天赋"这句话落到一个十岁的孩子身上时的样子。在研究界它是一句无害的口头禅，在教室里它是一份终身判决。
第二重代价关于位置，而且是一个可以直接翻开任何一篇论文或任何一本教材来核查的事实。
发现学的语法擅长描述结果，却把"从无序到有序、从噪声到特征、从偶然到稳定"的那一段——本书称为中段——降格为可选装饰。这个降格不体现在措辞上，体现在排版次序上：先给出定义与分类，再给出结论与模型，最后附加机制讨论与背景说明。
于是机制讨论成了"结论之后的说明"，而不是"结论之前的发动"；背景说明成了"外部条件的注释"，而不是"内部生成的必需"。
这一句是本编最要紧的观察之一，因为它把一个关于知识观的抽象判断，落成了一件可以数的事：打开任何一本教材的任何一章，看"这个概念是为解决什么而出现的"这句话出现在第几段。绝大多数情况下，它要么不出现，要么出现在末尾的"背景"或"拓展"里。
这个位置安排会逐步塑造一整套认知习惯：先要结果，后补解释；先要结构，后谈发生；先要可用，后问何以可用。 其后果不是解释不重要，而是解释被迫以补丁的形式存在。
补丁式解释在成熟领域尚可运转，因为稳定结构已经长期固化，补丁足以应付渐进扩展。但它在两种情形下会立刻暴露无力：面对复杂系统与跨域涌现时（研究一侧），以及面对一个还没有这个对象的学习者时（教学一侧）。两侧失效的原因相同：决定成败的恰恰是被降格的那一段。
第三重代价此前没有被本书处理过，它关于语言。
一套呈现只用一种语言时，会发生什么？发现学的语言是结构语言：以名词化、范畴化、层级化为主，以"是什么"为轴心，擅长定义、分类、规则与框架。它的优势是清晰，而且这个优势是真的——没有它，公共协作不可能。
但当结构语言成为唯一的语言时，会出现一种很难被指认的贫血：句子可以非常精确，却缺少推进；术语可以非常齐整，却缺少张力；逻辑可以非常严密，却缺少生成。
在教学上，这种贫血有三个可观察的表现：· 学习被等同于"记住定义并学会归类"；· 理解被等同于"能够复述结构并套用规则"；· 掌握被等同于"能够在结构框架中填入例子"。
三条都成立时，知识确实可以被规模化复制。问题在于，被复制的是一具名词化的骨架。 一个概念的推进（它是被什么逼出来的、在哪一步卡住、怎么转过来的）与它的牵连（它一旦成立，别的哪些东西必须跟着改） —— 这两样在纯结构语言里没有句法可以承载。说不出来，不是因为说的人笨，是因为那套语言里没有那个位置。
本书对这一条要做一处收窄，因为原初的表述容易走得太远。这不是主张结构语言有害，也不是主张要用更"生动"的语言去教数学。 那是一个常见且有害的误读，它会导向把数学课上成故事课。本书的主张很窄：结构语言应当回到它应有的位置——它是成果，是暂时的中心，是沉淀物；它必须能被推进与牵连持续改写，否则它就从成果退化为枷锁。
判据仍然是位置的，不是风格的：定义在第几段。
三重代价——本体错置、中段降格、语言独占——是本编的诊断框架，也是本书接受的部分。但这里必须立一道挡板，而且要挡在最容易滑过去的那一步上。
从"稳定特征是成果不是起点"，滑到"真理是被稳定化出来的可重复差异"，只有一步。这一步本书不走。
理由在第五章已经写过，这里重申并写死：弗雷格的分界必须守住。 一个数学命题的真值不依赖任何人的心理过程，也不依赖任何共同体的稳定化工艺；就算全人类明天都开始认为 2+2=5，2+2=4 仍然是真的。本书全书讨论的是知识如何来到一个人身上，不是命题凭什么为真。
这一处之所以要专门立挡板，是因为它是本书自己人最容易滑过去的地方。一个已经接受了"光滑化"这套诊断的读者，会很自然地觉得下一步就该是"所以真理也是被造出来的"——这一步在逻辑上不成立，且一旦迈出，本书的全部判断都会被正确地归入相对主义而作废。
分界可以写成一句：
本书主张：学习者身上那种"它本来就在"的感受，是被制造出来的。
本书不主张：数学命题的必然性是幻觉。
前者关于人，后者关于命题。两者不能互推。第二十八章会把这条分界写成一把可裁决的刀，用来重审实在论与建构论那组对峙——而那一章会论证，那组对峙之所以两百年不决，正是因为双方都在同时谈论这两侧，而且换来换去自己不觉得。
本章最后给出一个压得最短的判准，本编其余各章都靠它来判：
能否回答"特征如何诞生"。
一个体系若只能回答"特征是什么、是否成立"，而不能回答"它如何从一堆还没有形状的东西里稳定下来"，它就仍在发现学的语法里。一个体系若能说出稳定化的条件链条、给出中段的机制、并把一次成功沉淀为可以再走一遍的工序，它就进入了发生学的语法。
这个判准的好处是它不问立场，只问能不能答出来。一个自称建构主义的教材，若它的每一章仍然从定义开始，它在这个判准下仍是发现学；一堂安静的讲授课，若教师把困境摆出来、把路径带学生走通、并验了牵连，它在这个判准下是发生学。 判据永远是工序，不是标签。
"回溯性本体化"是本书构造的一个名词，而它描述的动作在语言里留下了痕迹。三个词，任何一部词源词典都可以核对。
"发现"（discover）。 词根是 dis-（去掉）加 cover（覆盖）——把盖子揭掉。这个构词法本身就编码了一整套本体论：那个东西在盖子底下，一直在那里，我做的只是揭盖。同族的希腊词 aletheia（真理）在词源上是"不被遮蔽"，也是同一个形状。中文的"发现"同理：现，是显现；发，是使之显现。
"发明"（invent）。 词根是 in-（进入）加 venire（来）——拉丁文 invenire 的本义是"来到"、"碰上"、"找到"。这一点常被忽略：invent 原本不是"造出来"，是"找到"。 罗马修辞学里的 inventio 指的是"找到论点"，找的是那些已经在那里的题材。它转向"创造"义，是文艺复兴之后的事。
于是这场争论的两个词，在词源上说的是同一件事——都是"找到"。"造"这层意思是后来才被安进 invent 里的，而 discover 至今没有这层意思。
这不是文字游戏，它有一个实在的后果：发生派从一开始就没有一个现成的词可用。他们要说的那件事，必须借用一个原义是"找到"的词，或者另造一个（维柯的 factum、布劳威尔的"构造"、皮亚杰的"建构"）。而借来的词自带原义的重力。
第三个词更要紧："教"（teach）。 词根与 token（记号）同源，本义是"指出、显示" 。拉丁文的 docere （教）与 doctrine（学说）、document（文件）同源，本义是"使人看见、使人接受"。中文的"授"是给予，"传道"是传递。
这三个词合起来是一整套语法：那个东西在那里（discover），我碰上了它（invent的原义），然后我把它指给你看（teach）。三个词里没有一个含有"在你那里重新长一次"的意思。
编三整编说的是这道工序落在排版上、落在制度上；本节补一句：它还落在词里。 而词是最难改的一层——一个教师即使完全接受本书的判断，他明天走进教室时，脑子里那个动作仍然叫"教"，而"教"的意思是指给你看。
一条方法论上的反读，而且它对本书这一章尤其有力。
反读是："回溯性本体化"这个名字，本身就是一次回溯性本体化。
具体地说：本书从编一那六位各不相同的操作里，抽出一个共同的动作，给它命名，然后把它当作解释那六次操作的东西。可是那个共同动作是本书从产物里抽出来的——柏拉图没有执行过"回溯性本体化"，他只是提出了理念论。本书把自己的归纳成果，回过头当成了那六个人身上运行的机制。这正是本书指控他们的那件事。
这个反读是对的，而且本书接受它的全部力量。 三条回应，前两条是限定，第三条是让步。
第一条限定：本书从未主张那六位"执行"了这个动作。 本章第一节的措辞是"共同动作"，指的是六次操作在结构上同形，不是六个人心里有一个共同的意图。 同形是可核对的（六个户头的表就在那里），意图不可核对，本书不作那个主张。
第二条限定：一个概念是归纳出来的，不等于它是被本体化了的。 区别在编四第二十二章第五节那条：回溯性本体化的病灶不在"从产物抽出概念"，在"抽出之后把它摆为起点、并抹掉抽的那一段"。 本书没有抹——第十三章第一节到第三节完整写出了这个概念是从哪六个案例、按什么形状抽出来的；本章第九节还补了词源。抽的过程是公开的，这正是它与被本体化的概念的差别。
第三条，让步：这个免疫是脆弱的，而且它有一个具体的失效方式。 如果本书成功，"光滑化""封写""回溯性本体化"这些词会开始被单独使用——被写进课程标准、被印在教研手册上、被当作现成的诊断标签。 那时它们就是被本体化了的：一个教师会说"这个班被封写了"，就像说"这个学生是视觉型学习者"一样，而不再问它从哪来、在什么条件下不成立。
编三第十六章已经写过本书对此的唯一防御（把失败条件做成不可分割的），这里只补一句更硬的：
本书的每一个新词，都必须在它第一次出现的那一节里带着它的失败条件；凡是被单独
引用而不带失败条件的，就是这个词已经被本体化了的信号。
读者可以用这一条来判断任何一份引用本书的材料，包括本书自己后来的章节。
必须交代一处出处，否则本章会显得是凭空而来。
本 章 第 四 、 五 、 六 节 的 三 重 诊 断 ， 取 自 作 者 2026 年 1 月 的 一 篇 纲 领 性 短 文《SDE：对"发现"的发生学彻底革命》。那篇文章提出了三条本书完整继承的判断：稳定特征崇拜导致的回溯性本体化、中段机制的系统性降格、结构语言在教学与传播中的独占；并给出了"生成问题被外包给运气、创新机制交给天赋、结构更新交给偶然"这一句，以及"能否回答特征如何诞生"这个判准。
那篇文章与本书的分工，须写清三条。
其一，那篇是纲领，本书是争论重审。那篇提出应当把知识对象从稳定成果转回稳定化过程，但没有处理"这场争论本身为何两千五百年不决"这个问题；本书编一编二编五整整三编在做的，就是这件事。
其二，那篇的诊断止于上游——把稳定当起点是错的。本书编四要走的是下游：把稳定当起点这件事，在接收者身上造成了什么。这一步那篇没有，任何一位在编一编二被指认的先行者也都没有。本书唯一要求被独立评判的东西在那里。
其三，那篇为知识生产者写，本书为知识接收者写。那篇给出的六步操作闭环（目标特征锁定→结构扫描→差异建模→纠缠诊断→中心位判定→复写验证）是一套研究与创新的组织工艺，与本书编六那套教学工序处理的是 不同的问题：前者管"怎么造出一个新东西"，后者管"一个已经造好的东西怎么在一个新的人那里重新长出来"。两者不可互相替代，也不该混用。本书附录三收录了那套生产端工艺作为对照，并在那里注明了它不属于本书的论证链。
另有一处术语上的更正须写在明处。 那篇文章中 S 被称作"结构态"，本书全书称之为显露。这不是措辞偏好：叫它结构，会把"它是被压出来的一个暂时中心"这层意思重新丢掉——结构这个词本身就带着地基的语感，而那正是本书要拆的那个语感。本书此后不再使用结构态一词指称 S。