概念地图
纳什均衡
没有人能靠单方面改变自己的策略变好的组合。
本章不引入新概念，图为全书脉络
陪练模式
不想只是读？让它带你走一遍。
导师把这一章拆成小步，每一步先问你，再讲；你用自己的话答，它先认下对的部分再纠偏。用你自己的 AI，对话只存在这台设备上。
定位01
延伸阅读
弗里德曼 · 1953 年 · 实证经济学方法论
主张理论的价值在预测表现，假设是否写实不重要。他反对的是以假设的现实性评判模型；代价是这条标准在需要把结构搬到新情境时失效——分布外的外推正要靠假设正确。
奠基
鲁宾斯坦 · 二十一世纪初 · 《经济学寓言》一线的自我批评
把博弈论模型称作寓言：它们澄清思路，不预测世界。这一步反对的是把解概念直接当作预测工具；代价是「寓言」这个定位使模型难以被任何观测否定。
修正
本课第 1–6 章
本章的审计对象。每一章的第 3 块（推导）与第 5 块（边界）是审计的主要入口，重点看每章那一条 [建模命题] 立不立得住。
审计对象
机制02
形式自洽掩盖建模风险
数学部分永远不会错，这是形式学科的性质，也是它最容易骗人的地方。一整章的推导可以完全无误，而把它套到现实的那一步——本课称作建模承诺——完全站不住。读者看到严密的推导，容易把这份严密顺带记到那一步上。本课给每章都标出这条命题，就是为了让它单独接受检查。
机制无误的形式推导通过让整章显得可靠使那条唯一有风险的承诺免于检查。
可迁移性测试
换到财务模型：表格里的公式一个不错，而「未来五年增长率取一成五」这一格是拍的。看到公式严密就相信整张表，是同一类错误。不同构的地方在于表格里那一格是显式的，而建模承诺常常根本不写出来。
机制03
解概念被当成预测
第 3 章说过均衡是自洽条件不是预测，第 4 章说过逆向归纳解出的是自洽性不是行为。这条误用有一个统一的形状：把一个「哪些情形自洽」的答案读成「会发生什么」的答案。本课把它记为解概念误读。判据很简单：这次使用有没有排除掉某个具体的可观测结果。
机制一个自洽条件通过被读成预测让分析者以为模型排除了它并未排除的结果。
可迁移性测试
换到编译器的类型检查：通过类型检查说明程序没有某一类错误，不说明程序做的是你想要的事。把「通过检查」读成「行为正确」，是同一个形状。不同构的地方在于类型系统的保证有明确的文档，而解概念的保证要自己从定义里读出来。
推导04
前六章的类别清点
这一段把前六章每条推导的类别汇总，推出一个结论：这门课的观测风险集中在六条建模命题上，其余全部是定义与已证结果。
第 1 至第 6 章各有 4 步推导，共 24 步
计数口径：只算各章第 3 块 steps 里的步骤，不算边界与争议段。
标为 [定义] 的有 12 步，标为 [假设] 的有 6 步
定义与已证结果不承担任何观测风险；假设是定理的前提，去掉它命题变假。
标为 [建模命题] 的有 6 步，每章恰好一条
这是形式学科里唯一能被观测推翻的一类。
推导 · 0 / 4
裂缝05
本章命题的边界
争议地形06
本书主张
本课的立场：形式学科里唯一值得争论的是建模承诺，数学部分的严密不构成对结论适用性的任何担保。
另一种看法
寓言一线主张：博弈论模型的价值本来就不在预测，而在澄清思路——它给了人们一套讨论互动的语言。按这个标准，追问建模承诺是用错了尺子。
分歧扎在
分歧扎在「模型用来做什么」这一条上。若只用于澄清概念，寓言立场成立；若用于设计机制、定价或监管，建模承诺就直接决定后果。本课的目标是后者，因此采取前一立场——这是目标决定的选择，不是对寓言立场的反驳。
什么证据能裁决
能裁决它的是使用场景的调查：追踪这些解概念在多少比例的实际引用中被用于具体设计（拍卖规则、合同条款、监管阈值），而不是用于讨论。若比例很低，寓言立场成立；若相当一部分进入了设计，建模承诺就必须被检查。
目前的证据把天平压向「相当一部分进入了设计」：拍卖与匹配机制的设计确实按解概念来做，且事后表现可评估。还差的是对失败案例的系统记录——成功的机制被反复引用，失败的很少被写下来。
边界与反例07
把「解概念误读」的建模承诺写成可检验的规格
要检验的建模承诺是「解概念误读」：一个自洽条件被读成预测，让分析者以为模型排除了它并未排除的结果。
去掉哪条假设：使用者知道解概念只给自洽条件
若使用者本来就清楚这一点，误读不会发生，机制无从检验。
该情形下的具体反例：在多均衡博弈的分析报告里，作者给出唯一「预测」而不说明选点依据
定义对选哪个均衡不置一词，给出唯一预测就必然借用了模型之外的东西。
这条承诺对应的可观测量：公开的分析文本中，多均衡情形下是否声明选点依据
必须是多均衡情形；单均衡时不构成误读。
什么观测算它不成立：声明选点依据的比例高于事前登记的阈值
阈值事前定死，检验后不得调整。
事前登记的失败条件：比例高于阈值，或两名编码者的一致性低于可接受水平
第二种按检验无效处理。
推导 · 0 / 3
接口08
挂在哪个槽位
挂在哪个槽位你已有的那条结论多半是「数学推出来的结论比较可靠」——一条关于可靠性来源的判断。本章要动的是它的适用层。
本章对你已有的结构做的是 (a) 替换「数学结论更可靠」，还是 (b) 约束它：可靠的是形式部分，风险全在对应那一步？
慢变量登记两个慢变量：你最近用过的模型里，有几个能指出它的建模承诺那一句，以及有几个那句话根本没写。三天后先看第二个。
小结09
本章小结
01前六章 24 步推导里，12 步是定义，6 步是假设，只有 6 条建模命题承担观测风险。
02形式部分的严密不传递到「这个对象代表现实中的什么」这一步。
03解概念误读有统一形状：把自洽条件读成预测，在多解时必然借用模型外的依据。
04「原文未作此承诺，本课为讨论应用而补」必须与真正的缺陷分开记账。
05本课选择检查建模承诺，是目标决定的，不是对寓言立场的反驳。
提取练习 · 合上书，先自己答一遍。
?「风险步数等于总步数减定义减假设」是 (a) 分类的算术 还是 (b) 关于现实的建模承诺？
?在有三个均衡的博弈里给出唯一预测而不说依据，属于 (a) 计算错误 还是 (b) 解概念误读？
受迫二选一10
A 机制辨识
下面哪一条是机制？
二选一
受迫二选一11
C 裂缝定位
哪个情境下本章的审计会给出自信而错误的答案？
二选一
读到这里，把它记为已读。