数理经济学与一般均衡
数理经济学与一般均衡在过去二十年里经历的不是一条单线进步，而是解释单位的连续搬移：从存在性、匹配和稳健机制，转向异质主体一般均衡、算法复杂度、机器学习求解与理性预期可实现性。第413号数理经济学与一般均衡面板选取20个能够追到作者、年份、资料与争议的转向，既追问理论怎样改写旧默认，也核对数理经济学与一般均衡的测量、比较与制度实践怎样回写研究对象。全块以“个体选择、信息、网络与分布如何在可计算条件下组成相互一致的整体”为中心量纲，特别保留零效应、反向效应、退出者和未被记录者，让不同学科的同题异名能够进入同一张账。
2006—2016年的共同动作，是把数理经济学与一般均衡从静态类型学推进到可比较的机制研究。研究者开始用跨国数据、自然实验、网络资料或历史边界检验旧命题，并发现“个体选择、信息、网络与分布如何在可计算条件下组成相互一致的整体”的方向取决于分母、时间与制度层级；数理经济学与一般均衡第一幕的八条由此奠定了后来转向所使用的证据语言。
甲、平均场博弈把无限多主体压成分布Mean Field Games
从平均场博弈研究的材料看，围绕平均场博弈把无限多主体压成分布，旧研究常把“大型博弈必须逐个追踪所有主体的策略互动”当作比较前提。核查平均场博弈研究时，Lasry 与 Lions（2007）追问“被聚合分布抹掉的稀有类型和局部团簇没有状态变量”为何持续消失；若这种消失具有制度性，该转向的均值只是筛选后人群的均值。
平均场博弈把无限多主体压成分布不是因素清单，而是一项可以失败的主张：决定可解性的只有个体对总体分布而非具体他人的反应。判决标准是个体—分布耦合能否稳定改变有限N主体结果与平均场结果差／主体总数N；“有限人数、共同噪声和多重均衡会破坏极限近似，宏观分布也可能遮住尾部主体”下没有差异，就足以否定其决定性。
Lasry与Lions（2007）的证据是HJB方程与Fokker–Planck方程的耦合：主体数从有限n趋向无穷时，个体状态由一个分布状态替代。就平均场博弈研究的材料边界而言，进入、退出与未登记对象必须分开留痕。平均场博弈研究的支持材料与边界材料分别编号，不让同一来源同时提出命题又替命题免责。平均场博弈研究的结构读数拆成2项：主命题、替代机制、缺失对象与时间窗分别核对，任一项都不由总均值代填。
在平均场博弈研究这条证据链上，当前争论缺的不是更多概念，而是使用至少三种独立指标，报告构念、预测与外部效度：把“有限人数、共同噪声和多重均衡会破坏极限近似，宏观分布也可能遮住尾部主体”变成事前分层，并公布该层样本量、区间和分母变化。
拥堵、金融、能源与城市模型最明显，中央银行模型团队采用该思路时，需要为被聚合分布抹掉的稀有类型和局部团簇没有状态变量设置字段，否则所谓改进只发生在被看见的人身上。 对政策模型、市场设计和计算经济学最直接的制度后果，是禁止把“被聚合分布抹掉的稀有类型和局部团簇没有状态变量”当作清洗残余，并把有限N主体结果与平均场结果差、主体总数N与实施成本放在同一张表中。
对平均场博弈研究做反向检验，其一接口以“上述分子—分母”为共同刻度，并明确“被聚合分布抹掉的稀有类型和局部团簇没有状态变量”是否进入分母。把平均场博弈研究放到另见第 271 号第 5 条『边界化：边境不是线，而是持续筛选人的过程』旁核验：先对齐对象、时间窗和责任人，再检查平均场博弈研究的核心判断在另一套分母中是否仍同向。
乙、带合同匹配统一学校、医生与劳动力配置Matching with Contracts
核查带合同匹配劳动力配时，数理经济学与一般均衡在这一题上的旧起点是“匹配只能在一人对一人的固定对象之间定义”。2005年的Hatfield 与 Milgrom将“未提交、无法表达组合偏好和被系统截断的合同不进选择集”带回资料表，说明遗漏会改变全部可行合同数，并非扩大样本即可消除的随机误差。
对带合同匹配统一学校、医生与劳动力配置而言，选择函数的替代性被指定为唯一决定项，其余变量只解释幅度。在带合同匹配劳动力配这条证据链上，其个排他性可由稳定可行合同数／全部可行合同数检验；“互补合同、预算约束和复杂优先级会破坏替代性，稳定不等于公平”若不改变符号，就构成反证。
Hatfield与Milgrom（2005）证明在合同可替代等条件下，延迟接受算法仍产生稳定匹配；结构读数是合同集合和阻挡对数量。就带合同匹配劳动力配的材料边界而言，进入、退出与未登记对象必须分开留痕。带合同匹配劳动力配的支持材料与边界材料分别编号，不让同一来源同时提出命题又替命题免责。带合同匹配劳动力配的结构读数拆成2项：主命题、替代机制、缺失对象与时间窗分别核对，任一项都不由总均值代填。
带合同匹配统一学校、医生与劳动力配置的边界由Roth（2008）所揭示的“互补合同、预算约束和复杂优先级会破坏替代性，稳定不等于公平”限定。对带合同匹配劳动力配做反向检验，当前争论缺的不是更多概念，而是使用至少三种独立指标，报告构念、预测与外部效度：把“互补合同、预算约束和复杂优先级会破坏替代性，稳定不等于公平”变成事前分层，并公布该层样本量、区间和分母变化。
让这一比率进入常规审计，并把未提交、无法表达组合偏好和被系统截断的合同不进选择集作为结果的一部分，而不是数据清洗后的残余。 实施带合同匹配统一学校、医生与劳动力配置时，应在政策模型、市场设计和计算经济学建立版本化证据账本：记录“未提交、无法表达组合偏好和被系统截断的合同不进选择集”、分母变更和失败路径，避免只优化可见成功。
把带合同匹配劳动力配放回原窗口，若其对象中“未提交、无法表达组合偏好和被系统截断的合同不进选择集”进入分母后，该复核口径不再同向，本项证据的外推边界即可被实证划出。就带合同匹配劳动力配的外推边界看，其一接口以“这一比率”为共同刻度，并明确“未提交、无法表达组合偏好和被系统截断的合同不进选择集”是否进入分母。
丙、稳健机制设计不再押注完整信念Robust Mechanism Design
在决定稳健性的判据这条证据链上，围绕稳健机制设计不再押注完整信念，旧研究常把“设计者只要知道共同先验即可构造最优机制”当作比较前提。对决定稳健性的判据做反向检验，Bergemann 与 Morris（2005）追问“未被模型列入的信息来源和行为偏差不进稳健集合”为何持续消失；若这种消失具有制度性，该转向的均值只是筛选后人群的均值。
稳健机制设计不再押注完整信念的理论赌注不是相关性大小，而是因果次序：先有对信息结构的敏感度，才有本条所描述的结果。只要“稳健集合扩大后效率界可能很低，过度保守也会牺牲可用信息”出现后在允许信息结构中保持激励相容者相对全部允许结构不变，主张就不能外推。
Bergemann与Morris（2005）不固定单一信念分布，而要求机制在一组可能信息结构下保持激励；证据是鲁棒实施定理。就决定稳健性的判据的材料边界而言，进入、退出与未登记对象必须分开留痕。决定稳健性的判据的支持材料与边界材料分别编号，不让同一来源同时提出命题又替命题免责。决定稳健性的判据的结构读数拆成2项：主命题、替代机制、缺失对象与时间窗分别核对，任一项都不由总均值代填。
把决定稳健性的判据放回原窗口，当前争论缺的不是更多概念，而是使用至少三种独立指标，报告构念、预测与外部效度：把“稳健集合扩大后效率界可能很低，过度保守也会牺牲可用信息”变成事前分层，并公布该层样本量、区间和分母变化。
实践上的后果首先落在拍卖、监管和信息披露，当上述机制进入经济学计算实验室的评估流程后，政策人员不能只报中心值，还要追踪在允许信息结构中保持激励相容者／全部允许结构及其分母变化。 在政策模型、市场设计和计算经济学中，验收表不应只列平均结果，还要列“未被模型列入的信息来源和行为偏差不进稳健集合”的数量、占比和去向；该复核口径随后按地区、群体或机构分层复算。
双方先统一在允许信息结构中保持激励相容者与全部允许结构，再检验“稳健集合扩大后效率界可能很低，过度保守也会牺牲可用信息”是否造成符号分叉；分叉稳定才构成新问题。把决定稳健性的判据放到另见第 157 号第 10 条『稳健机制设计与线性契约』旁核验：先对齐对象、时间窗和责任人，再检查决定稳健性的判据的核心判断在另一套分母中是否仍同向。
丁、网络博弈把外部性放到连接结构上Games on Networks
2015年的争论暴露了网络博弈把外部性放到连接结构上未说出的前提——同伴效应可由平均群体行为代表。Jackson 与 Zenou用“未观测关系、弱联系和动态断边不进网络矩阵”说明，研究对象在进入个体总边际收益以前已经被资格、边界或记录规则塑形。
网络博弈把外部性放到连接结构上不是因素清单，而是一项可以失败的主张：决定策略互补或替代的只有个体处在网络中的邻接位置。判决标准是连接结构中的战略外部性能否稳定改变来自邻居行动的边际收益／个体总边际收益；“网络常被当作外生，真实连接会随行为变化；多个网络层也难压成一张图”下没有差异，就足以否定其决定性。
网络博弈把n个主体的外部性写进n×n邻接矩阵；均衡与中心性、谱半径等连接结构量相关。就网络博弈研究的材料边界而言，进入、退出与未登记对象必须分开留痕。网络博弈研究的支持材料与边界材料分别编号，不让同一来源同时提出命题又替命题免责。网络博弈研究的结构读数拆成2项：主命题、替代机制、缺失对象与时间窗分别核对，任一项都不由总均值代填。
对网络博弈研究做反向检验，网络博弈把外部性放到连接结构上的边界由Mertikopoulos 与 Sandholm（2016）所揭示的“网络常被当作外生，真实连接会随行为变化；多个网络层也难压成一张图”限定。当前争论缺的不是更多概念，而是逐级扩大样本与尾部覆盖，观察区间是否稳定：把“网络常被当作外生，真实连接会随行为变化；多个网络层也难压成一张图”变成事前分层，并公布该层样本量、区间和分母变化。把网络博弈研究放回原窗口，资料核验还要求把Jackson 与 Zenou（2015）、Mertikopoulos 与 Sandholm（2016）和Moll（2026）的证据角色分开：前者承担主证据，中者承担反例或边界，后者只更新证据状态；三者不再互相替代。
另一处常被忽略的是犯罪、教育、研发与金融网络政策，对数字平台与监管机构而言，真正要改的不是宣传语言，而是把未观测关系、弱联系和动态断边不进网络矩阵从附注移入正式记录。 对政策模型、市场设计和计算经济学最直接的制度后果，是禁止把“未观测关系、弱联系和动态断边不进网络矩阵”当作清洗残余，并把来自邻居行动的边际收益、个体总边际收益与实施成本放在同一张表中。
把网络博弈研究放到另见第 141 号第 4 条『新思想 4 · 人格可以被干预改变 —— 二百余项研究给出的效应量』旁核验：先对齐对象、时间窗和责任人，再检查网络博弈研究的核心判断在另一套分母中是否仍同向。
戊、显示偏好进入非参数界而非点识别Revealed Preference Bounds
把显示偏好议题放回原窗口，2008年前后，数理经济学与一般均衡仍普遍接受“有限价格—数量观测可以点识别完整偏好和需求反应”这一默认。Blundell、Browning 与 Crawford把“未购买、配给、共同消费和不可比较质量不进预算集合”从清洗后的余数提升为解释对象；在显示偏好进入非参数界而非点识别中，这一缺项决定了谁能进入全部理论可能范围。
显示偏好进入非参数界而非点识别采用明确的单因立场：决定可识别内容的只有预算变动对选择施加的无矛盾约束。决定方向的被限定为可由选择揭示的偏好界；若“数据稀疏和测量误差会使界很宽，家庭内部与质量选择也不满足简单商品空间”出现，而被数据排除的需求响应范围／全部理论可能范围仍不发生预期变化，这项命题就应撤回。
就显示偏好议题的材料边界而言，进入、退出与未登记对象必须分开留痕。显示偏好议题的支持材料与边界材料分别编号，不让同一来源同时提出命题又替命题免责。显示偏好议题的结构读数拆成2项：主命题、替代机制、缺失对象与时间窗分别核对，任一项都不由总均值代填。
这不是一句例行局限：当“数据稀疏和测量误差会使界很宽，家庭内部与质量选择也不满足简单商品空间”出现时，可由选择揭示的偏好界可能从原因变成被选择结果。要使争论收敛，应逐级扩大样本与尾部覆盖，观察区间是否稳定，并预先规定被数据排除的需求响应范围相对全部理论可能范围何种变化算支持、收缩或反号。
显示偏好进入非参数界而非点识别还改变了消费者政策、福利分析与需求估计的操作顺序：先定义分母和失效条件，再决定是否扩大项目，中央银行模型团队若倒过来做，规模会放大原有偏差。就显示偏好议题的外推边界看，实施该转向时，应在政策模型、市场设计和计算经济学建立版本化证据账本：记录“未购买、配给、共同消费和不可比较质量不进预算集合”、分母变更和失败路径，避免只优化可见成功。
双方先统一被数据排除的需求响应范围与全部理论可能范围，再检验“数据稀疏和测量误差会使界很宽，家庭内部与质量选择也不满足简单商品空间”是否造成符号分叉；分叉稳定才构成新问题。把显示偏好议题放到另见第 157 号第 18 条『显示偏好的非参数复兴』旁核验：先对齐对象、时间窗和责任人，再检查显示偏好议题的核心判断在另一套分母中是否仍同向。
己、高维动态模型需要稳定数值方法Computational Dynamic Equilibrium
就高维动态模型需方法论的外推边界看，2011年前后，数理经济学与一般均衡仍普遍接受“理论存在性足以保证动态一般均衡可用于定量分析”这一默认。Judd、Maliar 与 Maliar把“未收敛网格、失败初值和被简化掉的状态变量不进结果表”从清洗后的余数提升为解释对象；在高维动态模型需要稳定数值方法中，这一缺项决定了谁能进入政策冲击引起的变量变化。
高维动态模型需要稳定数值方法的理论赌注不是相关性大小，而是因果次序：先有数值误差相对政策效应，才有本条所描述的结果。只要“不同算法可能收敛到不同局部解，误差小也不保证经济机制正确”出现后Euler方程残差相对政策冲击引起的变量变化不变，主张就不能外推。
Judd、Maliar与Maliar（2011）比较高维随机模拟算法，以Euler方程残差、计算时间和维数增长评估稳定性。就高维动态模型需方法论的材料边界而言，进入、退出与未登记对象必须分开留痕。高维动态模型需方法论的支持材料与边界材料分别编号，不让同一来源同时提出命题又替命题免责。高维动态模型需方法论的结构读数拆成2项：主命题、替代机制、缺失对象与时间窗分别核对，任一项都不由总均值代填。
围绕高维动态模型需方法论，截至2026年的更新并没有消除Liang（2026）提出的“不同算法可能收敛到不同局部解，误差小也不保证经济机制正确”。研究应逐级扩大样本与尾部覆盖，观察区间是否稳定，同时保留“未收敛网格、失败初值和被简化掉的状态变量不进结果表”；否则Euler方程残差／政策冲击引起的变量变化只在被选择样本内成立。
方法上的延伸直指宏观政策、资产定价与模型基准，在市场设计机构的现实场景中，这一比率应与成本、覆盖和退出人数并列，而不能被一个总体平均替代。 在政策模型、市场设计和计算经济学中，验收表不应只列平均结果，还要列“未收敛网格、失败初值和被简化掉的状态变量不进结果表”的数量、占比和去向；上述分子—分母随后按地区、群体或机构分层复算。
沿高维动态模型需方法论的责任链，统一分母后仍相反，才需要另立解释。复算高维动态模型需方法论之前，其一接口以“这一比率”为共同刻度，并明确“未收敛网格、失败初值和被简化掉的状态变量不进结果表”是否进入分母。把高维动态模型需方法论放到另见第 368 号第 5 条『间断Galerkin方法把跨单元通量变成设计量』旁核验：先对齐对象、时间窗和责任人，再检查高维动态模型需方法论的核心判断在另一套分母中是否仍同向。
庚、市场设计把定理转成制度工程Market Design as Engineering
围绕市场设计研究，此前关于市场设计把定理转成制度工程的模型依赖“只要市场达到竞争均衡就无需关心规则细节”这一简化。Roth（2008）证明“未提交偏好、系统外交易和规则理解失败者不进理论效率”并非边缘案例；它进入分母后，该转向原有的分类、排名或平均关系都需重算。
市场设计把定理转成制度工程不是因素清单，而是一项可以失败的主张：决定制度表现的只有规则能否控制拥堵、策略和信息时间。判决标准是理论性质到现场绩效的转化能否稳定改变满足稳定效率且按期完成的分配／全部分配；“机制成功高度依赖组织实施、法律和用户理解，实验室性质不能替代现场数据”下没有差异，就足以否定其决定性。
Roth（2008）用住院医匹配、肾脏交换和学校选择说明定理必须通过参与、策略与实施约束检验。就市场设计研究的材料边界而言，进入、退出与未登记对象必须分开留痕。市场设计研究的支持材料与边界材料分别编号，不让同一来源同时提出命题又替命题免责。市场设计研究的结构读数拆成2项：主命题、替代机制、缺失对象与时间窗分别核对，任一项都不由总均值代填。
沿市场设计研究的责任链，截至2026年的更新并没有消除Hatfield 与 Milgrom（2005）提出的“机制成功高度依赖组织实施、法律和用户理解，实验室性质不能替代现场数据”。复算市场设计研究之前，研究应交换加权与聚合次序，检验符号是否翻转，同时保留“未提交偏好、系统外交易和规则理解失败者不进理论效率”；否则该复核口径只在被选择样本内成立。
匹配系统、拍卖平台与制度迭代最明显，经济学计算实验室采用该思路时，需要为未提交偏好、系统外交易和规则理解失败者不进理论效率设置字段，否则所谓改进只发生在被看见的人身上。按市场设计研究的对象表，其样才能区分真实改善、选择退出和统计边界收窄。市场设计研究的复核表还保留退出日期、原记录者和未纳入理由，不用零值代替缺失。市场设计研究的复核表还保留退出日期、原记录者和未纳入理由，不用零值代替缺失。
对照市场设计研究的主源，其一接口以“该复核口径”为共同刻度，并明确“未提交偏好、系统外交易和规则理解失败者不进理论效率”是否进入分母。把市场设计研究放到另见第 160 号第 14 条『贸易的分配后果与一般均衡』旁核验：先对齐对象、时间窗和责任人，再检查市场设计研究的核心判断在另一套分母中是否仍同向。
辛、微观异质性成为宏观冲击传播器Heterogeneity in General Equilibrium
沿决定传播方向的判据的责任链，此前关于微观异质性成为宏观冲击传播器的模型依赖“代表性家庭足以描述总量对政策冲击的反应”这一简化。Kaplan 与 Violante（2018）证明“非正规资产、家庭共享和无法观测信用额度不进财富状态”并非边缘案例；它进入分母后，该转向原有的分类、排名或平均关系都需重算。
命题的锋刃在于把边际消费倾向的分布置于第一因，并断言“决定传播方向的只有财富、收入与流动性分布如何改变边际消费和资产调整”。若“分布状态维数高且数据测量困难，模型结论依赖收入过程和资产结构”被触发后仍观察不到高MPC家庭消费反应与总消费反应的相对变化，微观异质性成为宏观冲击传播器必须让位于替代机制。
Kaplan与Violante（2018）用边际消费倾向、流动资产和收入风险分布说明平均代表性主体无法复制异质冲击。就决定传播方向的判据的材料边界而言，进入、退出与未登记对象必须分开留痕。决定传播方向的判据的支持材料与边界材料分别编号，不让同一来源同时提出命题又替命题免责。
复算决定传播方向的判据之前，微观异质性成为宏观冲击传播器的边界由Auclert、Rognlie 与 Straub（2025）所揭示的“分布状态维数高且数据测量困难，模型结论依赖收入过程和资产结构”限定。当前争论缺的不是更多概念，而是交换加权与聚合次序，检验符号是否翻转：把“分布状态维数高且数据测量困难，模型结论依赖收入过程和资产结构”变成事前分层，并公布该层样本量、区间和分母变化。
让高MPC家庭消费反应／总消费反应进入常规审计，并把非正规资产、家庭共享和无法观测信用额度不进财富状态作为结果的一部分，而不是数据清洗后的残余。 对政策模型、市场设计和计算经济学最直接的制度后果，是禁止把“非正规资产、家庭共享和无法观测信用额度不进财富状态”当作清洗残余，并把高MPC家庭消费反应、总消费反应与实施成本放在同一张表中。
若其对象中“非正规资产、家庭共享和无法观测信用额度不进财富状态”进入分母后，上述分子—分母不再同向，本项证据的外推边界即可被实证划出。把决定传播方向的判据放到另见第 272 号第 3 条『资源诅咒：自然财富只有在制度条件中才成为发展资产』旁核验：先对齐对象、时间窗和责任人，再检查决定传播方向的判据的核心判断在另一套分母中是否仍同向。
2016年之后，危机、平台化与开放数据把数理经济学与一般均衡推入更高频也更脆弱的测量环境。研究一面获得更大样本和更细行为轨迹，另一面不得不处理算法选择、民主回退、组织回写与外部有效性。数理经济学与一般均衡第二幕的十二条因此把反号条件、治理后果与可复现边界置于中心。
一、HANK重写货币政策传导HANK Monetary Transmission
复算决定总需机制之前，2018年前后，数理经济学与一般均衡仍普遍接受“利率只通过代表性储蓄者的跨期替代影响消费”这一默认。Kaplan、Moll 与 Violante把“现金、非正规债务和家庭内转移不进标准账户”从清洗后的余数提升为解释对象；在HANK重写货币政策传导中，这一缺项决定了谁能进入总消费变化。
HANK重写货币政策传导采用明确的单因立场：决定总需求反应的只有收入风险、资产流动性和一般均衡收入效应的分布。决定方向的被限定为间接收入效应占比；若“参数校准和转移规则影响定量份额，中央银行工具在现实中也更复杂”出现，而一般均衡收入效应引起的消费变化／总消费变化仍不发生预期变化，这项命题就应撤回。
Kaplan、Moll与Violante（2018）的两资产HANK模型同时追踪流动与非流动财富分布；货币传导由现金流、收入和费雪渠道共同构成。就决定总需机制的材料边界而言，进入、退出与未登记对象必须分开留痕。决定总需机制的支持材料与边界材料分别编号，不让同一来源同时提出命题又替命题免责。决定总需机制的结构读数拆成2项：主命题、替代机制、缺失对象与时间窗分别核对，任一项都不由总均值代填。
按决定总需机制的对象表，截至2025年的更新并没有消除Kaplan 与 Violante（2018）提出的“参数校准和转移规则影响定量份额，中央银行工具在现实中也更复杂”。对照决定总需机制的主源，研究应交换加权与聚合次序，检验符号是否翻转，同时保留“现金、非正规债务和家庭内转移不进标准账户”；否则该复核口径只在被选择样本内成立。
实践上的后果首先落在货币政策、住房金融与分配分析，当HANK重写货币政策传导进入中央银行模型团队的评估流程后，政策人员不能只报中心值，还要追踪上述分子—分母及其分母变化。在决定总需机制的实施账本里，实施该转向时，应在政策模型、市场设计和计算经济学建立版本化证据账本：记录“现金、非正规债务和家庭内转移不进标准账户”、分母变更和失败路径，避免只优化可见成功。
从决定总需机制的材料看，其一接口以“这一比率”为共同刻度，并明确“现金、非正规债务和家庭内转移不进标准账户”是否进入分母。把决定总需机制放到另见第 272 号第 12 条『中央银行基础设施权力：货币政策也通过抵押品和市场网络治理』旁核验：先对齐对象、时间窗和责任人，再检查决定总需机制的核心判断在另一套分母中是否仍同向。
二、贝叶斯说服把信息结构变成政策变量Bayesian Persuasion
2011年的争论暴露了贝叶斯说服把信息结构变成政策变量未说出的前提——信息披露只有多或少、真或假两种选择。Kamenica 与 Gentzkow用“未被披露、无法理解和拒绝更新的受众不进最优信号”说明，研究对象在进入全部信息状态以前已经被资格、边界或记录规则塑形。围绕贝叶斯说服研究，源行把原始命题、边界材料与更新状态分开登记。这一步先限定可比较对象，不把缺失值折成零效应。
对贝叶斯说服把信息结构变成政策变量而言，后验分布的设计权被指定为唯一决定项，其余变量只解释幅度。按贝叶斯说服研究的对象表，其个排他性可由诱导采取目标行动的后验状态／全部信息状态检验；“发送者承诺、共同先验和理性更新在现实中可能不成立，隐私与操纵边界突出”若不改变符号，就构成反证。
Kamenica与Gentzkow（2011）把可行后验集合做凹化；最优信号的结构量是支持点数量和发送者价值包络。就贝叶斯说服研究的材料边界而言，进入、退出与未登记对象必须分开留痕。贝叶斯说服研究的支持材料与边界材料分别编号，不让同一来源同时提出命题又替命题免责。贝叶斯说服研究的结构读数拆成2项：主命题、替代机制、缺失对象与时间窗分别核对，任一项都不由总均值代填。
这不是一句例行局限：当“发送者承诺、共同先验和理性更新在现实中可能不成立，隐私与操纵边界突出”出现时，后验分布的设计权可能从原因变成被选择结果。要使争论收敛，应同时测量局部收益与系统外部性，并预先规定诱导采取目标行动的后验状态相对全部信息状态何种变化算支持、收缩或反号。
另一处常被忽略的是监管披露、健康沟通与平台提示，对市场设计机构而言，真正要改的不是宣传语言，而是把未被披露、无法理解和拒绝更新的受众不进最优信号从附注移入正式记录。 在政策模型、市场设计和计算经济学中，验收表不应只列平均结果，还要列“未被披露、无法理解和拒绝更新的受众不进最优信号”的数量、占比和去向；这一比率随后按地区、群体或机构分层复算。
对照贝叶斯说服研究的主源，其一接口以“该复核口径”为共同刻度，并明确“未被披露、无法理解和拒绝更新的受众不进最优信号”是否进入分母。把贝叶斯说服研究放到另见第 157 号第 9 条『信息设计与贝叶斯劝说』旁核验：先对齐对象、时间窗和责任人，再检查贝叶斯说服研究的核心判断在另一套分母中是否仍同向。
三、最优传输把匹配与分布比较统一Optimal Transport in Economics
对照最优传输研究的主源，2016年前后，数理经济学与一般均衡仍普遍接受“匹配问题必须逐对枚举对象和偏好”这一默认。Galichon把“无法匹配的余量、组合对象和制度禁止的流动不进传输计划”从清洗后的余数提升为解释对象；在最优传输把匹配与分布比较统一中，这一缺项决定了谁能进入总资源规模。
最优传输把匹配与分布比较统一采用明确的单因立场：决定分配结构的只有成本函数如何连接两个分布。决定方向的被限定为分布间最小搬运成本；若“成本函数设定承载大量经济含义，多个最优方案与离散数据会造成不唯一”出现，而实现目标分布的最小成本／总资源规模仍不发生预期变化，这项命题就应撤回。
最优传输以耦合分布和运输成本为基本对象，比较不同匹配方案的总成本／可行耦合集合。就最优传输研究的材料边界而言，进入、退出与未登记对象必须分开留痕。最优传输研究的支持材料与边界材料分别编号，不让同一来源同时提出命题又替命题免责。最优传输研究的结构读数拆成2项：主命题、替代机制、缺失对象与时间窗分别核对，任一项都不由总均值代填。
在最优传输研究的实施账本里，截至2026年的更新并没有消除Roth（2008）提出的“成本函数设定承载大量经济含义，多个最优方案与离散数据会造成不唯一”。研究应同时测量局部收益与系统外部性，同时保留“无法匹配的余量、组合对象和制度禁止的流动不进传输计划”；否则该复核口径只在被选择样本内成立。
最优传输把匹配与分布比较统一还改变了劳动力、空间经济与不平等分解的操作顺序：先定义分母和失效条件，再决定是否扩大项目，经济学计算实验室若倒过来做，规模会放大原有偏差。从最优传输研究的材料看，实施该转向时，应在政策模型、市场设计和计算经济学建立版本化证据账本：记录“无法匹配的余量、组合对象和制度禁止的流动不进传输计划”、分母变更和失败路径，避免只优化可见成功。最优传输研究的复核表还保留退出日期、原记录者和未纳入理由，不用零值代替缺失。
核查最优传输研究时，统一分母后仍相反，才需要另立解释。把最优传输研究放到另见第 272 号第 16 条『公正转型：脱碳的成本与能力必须被制度化分配』旁核验：先对齐对象、时间窗和责任人，再检查最优传输研究的核心判断在另一套分母中是否仍同向。
四、算法博弈论把计算复杂度写进均衡Algorithmic Game Theory
在算法博弈论研究的实施账本里，2016年前后，数理经济学与一般均衡仍普遍接受“存在均衡就意味着参与者或平台能够找到它”这一默认。Roughgarden把“超时、未收敛和被启发式排除的策略不进均衡输出”从清洗后的余数提升为解释对象；在算法博弈论把计算复杂度写进均衡中，这一缺项决定了谁能进入理论最优福利。
本条拒绝“许多因素都重要”的安全结论，把解释权押在可计算近似质量上。从算法博弈论研究的材料看，它预言“决定制度可执行性的只有均衡、拍卖与分配是否可在有限时间和信息下计算”；在“最坏情形界可能过于悲观，现实参与者采用启发式而非求解器”的案例中若读数保持同向，算法博弈论把计算复杂度写进均衡的单因排序便失去依据。
算法博弈论用价格无政府状态衡量最坏均衡社会成本／最优社会成本，并把计算复杂度写入机制可实现性。就算法博弈论研究的材料边界而言，进入、退出与未登记对象必须分开留痕。算法博弈论研究的支持材料与边界材料分别编号，不让同一来源同时提出命题又替命题免责。算法博弈论研究的结构读数拆成2项：主命题、替代机制、缺失对象与时间窗分别核对，任一项都不由总均值代填。
核查算法博弈论研究时，Bichler 与 Parkes（2025）把争议落在“最坏情形界可能过于悲观，现实参与者采用启发式而非求解器”。这不是一句例行局限：当“最坏情形界可能过于悲观，现实参与者采用启发式而非求解器”出现时，可计算近似质量可能从原因变成被选择结果。要使争论收敛，应同时测量局部收益与系统外部性，并预先规定算法得到的福利相对理论最优福利何种变化算支持、收缩或反号。
本轮把这一延伸落实到政策模型、市场设计和计算经济学：新增“超时、未收敛和被启发式排除的策略不进均衡输出”字段，并同时保存算法得到的福利与理论最优福利的原始口径。在算法博弈论研究这条证据链上，其样才能区分真实改善、选择退出和统计边界收窄。
对算法博弈论研究做反向检验，其一接口以“上述分子—分母”为共同刻度，并明确“超时、未收敛和被启发式排除的策略不进均衡输出”是否进入分母。把算法博弈论研究放到另见第 248 号第 15 条『可满足性求解的实践与理论落差』旁核验：先对齐对象、时间窗和责任人，再检查算法博弈论研究的核心判断在另一套分母中是否仍同向。
五、稳健控制把模型不确定性内生化Robust Control and Ambiguity
从稳健控制研究的材料看，2008年前后，数理经济学与一般均衡仍普遍接受“决策者知道真实模型，只是不知道随机冲击”这一默认。Hansen 与 Sargent把“完全未列入邻域的结构断裂和新机制不进稳健集”从清洗后的余数提升为解释对象；在稳健控制把模型不确定性内生化中，这一缺项决定了谁能进入基准模型收益。
对稳健控制把模型不确定性内生化而言，模型错设容忍度被指定为唯一决定项，其余变量只解释幅度。核查稳健控制研究时，其个排他性可由最坏模型损失／基准模型收益检验；“惩罚参数难由数据识别，过度悲观会产生不现实保守行为”若不改变符号，就构成反证。
Hansen与Sargent（2008）用相对熵约束描述模型邻域，鲁棒决策的强度由惩罚乘子和最坏模型偏移量决定。就稳健控制研究的材料边界而言，进入、退出与未登记对象必须分开留痕。稳健控制研究的支持材料与边界材料分别编号，不让同一来源同时提出命题又替命题免责。稳健控制研究的结构读数拆成2项：主命题、替代机制、缺失对象与时间窗分别核对，任一项都不由总均值代填。
在稳健控制研究这条证据链上，Bergemann 与 Morris（2005）把争议落在“惩罚参数难由数据识别，过度悲观会产生不现实保守行为”。这不是一句例行局限：当“惩罚参数难由数据识别，过度悲观会产生不现实保守行为”出现时，模型错设容忍度可能从原因变成被选择结果。要使争论收敛，应允许交叠类别并比较硬分类与软分类，并预先规定最坏模型损失相对基准模型收益何种变化算支持、收缩或反号。
宏观审慎、气候风险与资产配置最明显，中央银行模型团队采用该思路时，需要为完全未列入邻域的结构断裂和新机制不进稳健集设置字段，否则所谓改进只发生在被看见的人身上。 对政策模型、市场设计和计算经济学最直接的制度后果，是禁止把“完全未列入邻域的结构断裂和新机制不进稳健集”当作清洗残余，并把最坏模型损失、基准模型收益与实施成本放在同一张表中。
对稳健控制研究做反向检验，统一分母后仍相反，才需要另立解释。把稳健控制研究放回原窗口，其一接口以“上述分子—分母”为共同刻度，并明确“完全未列入邻域的结构断裂和新机制不进稳健集”是否进入分母。把稳健控制研究放到另见第 590 号第 19 条『决策导向不确定性』旁核验：先对齐对象、时间窗和责任人，再检查稳健控制研究的核心判断在另一套分母中是否仍同向。
六、双边平台价格结构比价格水平更重要Two-Sided Platform Equilibrium
核查决定平台规模的判据时，围绕双边平台价格结构比价格水平更重要，旧研究常把“平台只需像普通企业一样设定单一利润最大化价格”当作比较前提。在决定平台规模的判据这条证据链上，Rochet 与 Tirole（2003）追问“免费用户数据、平台外交易和多重身份不进货币价格”为何持续消失；若这种消失具有制度性，该转向的均值只是筛选后人群的均值。
命题的锋刃在于把跨侧网络外部性置于第一因，并断言“决定平台规模的只有两侧参与者之间的网络外部性如何分摊价格”。若“多归属、数据收益和非价格规则使简单两侧模型不足”被触发后仍观察不到一侧新增参与带来的另一侧增量与原另一侧规模的相对变化，双边平台价格结构比价格水平更重要必须让位于替代机制。
Rochet与Tirole（2003）证明双边市场中价格结构会影响两侧加入，即使总价格水平不变；关键约束是跨边网络外部性。就决定平台规模的判据的材料边界而言，进入、退出与未登记对象必须分开留痕。决定平台规模的判据的支持材料与边界材料分别编号，不让同一来源同时提出命题又替命题免责。
对决定平台规模的判据做反向检验，双边平台价格结构比价格水平更重要的边界由Bichler 与 Parkes（2025）所揭示的“多归属、数据收益和非价格规则使简单两侧模型不足”限定。当前争论缺的不是更多概念，而是允许交叠类别并比较硬分类与软分类：把“多归属、数据收益和非价格规则使简单两侧模型不足”变成事前分层，并公布该层样本量、区间和分母变化。
让一侧新增参与带来的另一侧增量／原另一侧规模进入常规审计，并把免费用户数据、平台外交易和多重身份不进货币价格作为结果的一部分，而不是数据清洗后的残余。 对政策模型、市场设计和计算经济学最直接的制度后果，是禁止把“免费用户数据、平台外交易和多重身份不进货币价格”当作清洗残余，并把一侧新增参与带来的另一侧增量、原另一侧规模与实施成本放在同一张表中。
把决定平台规模的判据放回原窗口，其一接口以“上述分子—分母”为共同刻度，并明确“免费用户数据、平台外交易和多重身份不进货币价格”是否进入分母。把决定平台规模的判据放到另见第 602 号第 19 条『多重身份：人口分类必须允许自我组合』旁核验：先对齐对象、时间窗和责任人，再检查决定平台规模的判据的核心判断在另一套分母中是否仍同向。
七、气候一般均衡依赖折现与尾部风险Climate General Equilibrium
2018年的争论暴露了气候一般均衡依赖折现与尾部风险未说出的前提——碳价格可以由一个确定损害函数唯一算出。Nordhaus用“生态不可逆、无市场生命损失和未来未出生者偏好不进效用函数”说明，研究对象在进入当前减排成本以前已经被资格、边界或记录规则塑形。
气候一般均衡依赖折现与尾部风险采用明确的单因立场：决定最优气候政策的只有折现、损害曲线与技术路径如何处理远期尾部。决定方向的被限定为长期损害的折现权重；若“模型聚合地区与代际，非市场损失和不可逆阈值难货币化”出现，而未来损害现值／当前减排成本仍不发生预期变化，这项命题就应撤回。
Nordhaus（2018）的DICE情景联结排放、温度、损害和折现；不同折现率与尾部损害假设会产生显著不同的碳价。就气候一般均尾部风险的材料边界而言，进入、退出与未登记对象必须分开留痕。气候一般均尾部风险的支持材料与边界材料分别编号，不让同一来源同时提出命题又替命题免责。气候一般均尾部风险的结构读数拆成3项：主命题、替代机制、缺失对象与时间窗分别核对，任一项都不由总均值代填。
在气候一般均尾部风险这条证据链上，Hansen 与 Sargent（2008）把争议落在“模型聚合地区与代际，非市场损失和不可逆阈值难货币化”。这不是一句例行局限：当“模型聚合地区与代际，非市场损失和不可逆阈值难货币化”出现时，长期损害的折现权重可能从原因变成被选择结果。要使争论收敛，应允许交叠类别并比较硬分类与软分类，并预先规定未来损害现值相对当前减排成本何种变化算支持、收缩或反号。
实践上的后果首先落在碳定价、绿色投资与代际政策，当气候一般均衡依赖折现与尾部风险进入经济学计算实验室的评估流程后，政策人员不能只报中心值，还要追踪这一比率及其分母变化。 对政策模型、市场设计和计算经济学最直接的制度后果，是禁止把“生态不可逆、无市场生命损失和未来未出生者偏好不进效用函数”当作清洗残余，并把未来损害现值、当前减排成本与实施成本放在同一张表中。
对气候一般均尾部风险做反向检验，若其对象中“生态不可逆、无市场生命损失和未来未出生者偏好不进效用函数”进入分母后，该复核口径不再同向，本项证据的外推边界即可被实证划出。把气候一般均尾部风险放回原窗口，其一接口以“这一比率”为共同刻度，并明确“生态不可逆、无市场生命损失和未来未出生者偏好不进效用函数”是否进入分母。
八、强化学习让博弈均衡成为学习结果Learning in Games
对决定长期行为的判据做反向检验，数理经济学与一般均衡在这一题上的旧起点是“主体会直接跳到共同知识下的纳什均衡”。2016年的Mertikopoulos 与 Sandholm将“被重置、退出和采用不同更新规则的主体不进统一轨迹”带回资料表，说明遗漏会改变全部重复次数，并非扩大样本即可消除的随机误差。
强化学习让博弈均衡成为学习结果不是因素清单，而是一项可以失败的主张：决定长期行为的只有局部反馈与更新规则是否收敛。判决标准是学习轨迹的收敛速度能否稳定改变收敛到均衡的重复次数／全部重复次数；“一般和博弈可长期循环，有限理性更新也可能产生与均衡不同的稳定分布”下没有差异，就足以否定其决定性。
Mertikopoulos与Sandholm（2016）研究强化与正则化学习的收敛；读数是遗憾、步长和到均衡集合的距离。就决定长期行为的判据的材料边界而言，进入、退出与未登记对象必须分开留痕。决定长期行为的判据的支持材料与边界材料分别编号，不让同一来源同时提出命题又替命题免责。决定长期行为的判据的结构读数拆成2项：主命题、替代机制、缺失对象与时间窗分别核对，任一项都不由总均值代填。
把决定长期行为的判据放回原窗口，截至2026年的更新并没有消除Roughgarden（2016）提出的“一般和博弈可长期循环，有限理性更新也可能产生与均衡不同的稳定分布”。研究应随机化步骤次序或重建完整事件序列，同时保留“被重置、退出和采用不同更新规则的主体不进统一轨迹”；否则该复核口径只在被选择样本内成立。
另一处常被忽略的是拍卖代理、平台策略与自适应监管，对数字平台与监管机构而言，真正要改的不是宣传语言，而是把被重置、退出和采用不同更新规则的主体不进统一轨迹从附注移入正式记录。 对政策模型、市场设计和计算经济学最直接的制度后果，是禁止把“被重置、退出和采用不同更新规则的主体不进统一轨迹”当作清洗残余，并把收敛到均衡的重复次数、全部重复次数与实施成本放在同一张表中。
就决定长期行为的判据的外推边界看，其一接口以“该复核口径”为共同刻度，并明确“被重置、退出和采用不同更新规则的主体不进统一轨迹”是否进入分母。把决定长期行为的判据放到另见第 611 号第 11 条『Ghosting不是没有退出，而是平台化的无说明退出』旁核验：先对齐对象、时间窗和责任人，再检查决定长期行为的判据的核心判断在另一套分母中是否仍同向。
九、不可分割品的一般均衡需要额外结构Indivisibilities and Equilibrium
“凸性只是技术便利，不影响竞争均衡存在”曾使不可分割品的一般均衡需要额外结构看起来可以直接比较。Bikhchandani 与 Mamer在1997年改变了观察顺序：先记录“配给、排队和制度性优先权不进纯价格均衡”，再计算全部可行配置，把进入数据之前的制度选择纳入解释。
不可分割品的一般均衡需要额外结构的理论赌注不是相关性大小，而是因果次序：先有离散需求的替代结构，才有本条所描述的结果。只要“现实套餐、预算和配额常产生复杂互补，均衡存在也可能不唯一”出现后可由价格清算的配置相对全部可行配置不变，主张就不能外推。
不可分割品一般均衡存在需要总替代等额外结构；没有这些结构时价格可能无法清算所有离散市场。就决定离散机制的材料边界而言，进入、退出与未登记对象必须分开留痕。决定离散机制的支持材料与边界材料分别编号，不让同一来源同时提出命题又替命题免责。决定离散机制的结构读数拆成2项：主命题、替代机制、缺失对象与时间窗分别核对，任一项都不由总均值代填。
把决定离散机制放回原窗口，反对材料来自Hatfield 与 Milgrom（2005）而非另一个领域的泛泛批评，其核心是“现实套餐、预算和配额常产生复杂互补，均衡存在也可能不唯一”。就决定离散机制的外推边界看，本条的可证伪设计是：在“现实套餐、预算和配额常产生复杂互补，均衡存在也可能不唯一”条件内外分别报告可由价格清算的配置／全部可行配置，采用随机化步骤次序或重建完整事件序列；若方向不变，反号假说失败。
不可分割品的一般均衡需要额外结构还改变了住房、频谱与课程分配的操作顺序：先定义分母和失效条件，再决定是否扩大项目，中央银行模型团队若倒过来做，规模会放大原有偏差。 对政策模型、市场设计和计算经济学最直接的制度后果，是禁止把“配给、排队和制度性优先权不进纯价格均衡”当作清洗残余，并把可由价格清算的配置、全部可行配置与实施成本放在同一张表中。
围绕决定离散机制，统一分母后仍相反，才需要另立解释。沿决定离散机制的责任链，其一接口以“上述分子—分母”为共同刻度，并明确“配给、排队和制度性优先权不进纯价格均衡”是否进入分母。把决定离散机制放到另见第 515 号第 8 条『法兰克福案例：替代可能不是责任的唯一入口』旁核验：先对齐对象、时间窗和责任人，再检查决定离散机制的核心判断在另一套分母中是否仍同向。
十、分配效应进入一般均衡政策评估Distributional General Equilibrium
2025年的争论暴露了分配效应进入一般均衡政策评估未说出的前提——政策福利可用总产出或平均消费变化代表。Auclert、Rognlie 与 Straub用“家庭内分配、非正规收入和没有市场价格的照护不进福利账户”说明，研究对象在进入总体福利变化以前已经被资格、边界或记录规则塑形。
本条拒绝“许多因素都重要”的安全结论，把解释权押在分布福利权重上。就分配效应议题的外推边界看，它预言“决定政策判断的只有价格与收入变化如何落在财富和劳动位置分布上”；在“福利比较依赖效用、家庭结构和转移实现，跨模型结果仍有差异”的案例中若读数保持同向，分配效应进入一般均衡政策评估的单因排序便失去依据。
Auclert、Rognlie与Straub（2025）综述异质主体财政与货币模型，把政策效应分解到收入、资产和一般均衡价格渠道。就分配效应议题的材料边界而言，进入、退出与未登记对象必须分开留痕。分配效应议题的支持材料与边界材料分别编号，不让同一来源同时提出命题又替命题免责。分配效应议题的结构读数拆成2项：主命题、替代机制、缺失对象与时间窗分别核对，任一项都不由总均值代填。
围绕分配效应议题，本条的可证伪设计是：在“福利比较依赖效用、家庭结构和转移实现，跨模型结果仍有差异”条件内外分别报告底部或目标群体福利变化／总体福利变化，采用随机化步骤次序或重建完整事件序列；若方向不变，反号假说失败。
方法上的延伸直指税制、社会保险与宏观政策，在市场设计机构的现实场景中，这一比率应与成本、覆盖和退出人数并列，而不能被一个总体平均替代。 本轮把这一延伸落实到政策模型、市场设计和计算经济学：新增“家庭内分配、非正规收入和没有市场价格的照护不进福利账户”字段，并同时保存底部或目标群体福利变化与总体福利变化的原始口径。沿分配效应议题的责任链，其样才能区分真实改善、选择退出和统计边界收窄。
复算分配效应议题之前，统一分母后仍相反，才需要另立解释。按分配效应议题的对象表，其一接口以“该复核口径”为共同刻度，并明确“家庭内分配、非正规收入和没有市场价格的照护不进福利账户”是否进入分母。把分配效应议题放到另见第 604 号第 7 条『日本非正规就业：二重劳动力市场进入家庭』旁核验：先对齐对象、时间窗和责任人，再检查分配效应议题的核心判断在另一套分母中是否仍同向。
十一、机器学习开始辅助发现与求解经济模型Machine Learning for Economic Models
2025年的争论暴露了机器学习开始辅助发现与求解经济模型未说出的前提——机器学习只能拟合数据，不能帮助构造和澄清经济模型。Liang用“失败训练、不可解释候选和被人工丢弃的模型不进成功率”说明，研究对象在进入全部样本外预测以前已经被资格、边界或记录规则塑形。
本条拒绝“许多因素都重要”的安全结论，把解释权押在约束满足下的样本外误差上。围绕机器学习开求解经济，它预言“决定方法价值的只有学习器能否保持约束、解释误差并发现结构反例”；在“黑箱逼近可隐藏违反预算或均衡条件的区域，训练分布外误差难诊断”的案例中若读数保持同向，机器学习开始辅助发现与求解经济模型的单因排序便失去依据。
Liang（2025，预印本）讨论机器学习生成、澄清和改进经济模型；证据是候选模型能否满足约束、解释误差并产生可反驳比较。就机器学习开求解经济的材料边界而言，进入、退出与未登记对象必须分开留痕。机器学习开求解经济的支持材料与边界材料分别编号，不让同一来源同时提出命题又替命题免责。机器学习开求解经济的结构读数拆成2项：主命题、替代机制、缺失对象与时间窗分别核对，任一项都不由总均值代填。
沿机器学习开求解经济的责任链，Bichler 与 Parkes（2025）把争议落在“黑箱逼近可隐藏违反预算或均衡条件的区域，训练分布外误差难诊断”。这不是一句例行局限：当“黑箱逼近可隐藏违反预算或均衡条件的区域，训练分布外误差难诊断”出现时，约束满足下的样本外误差可能从原因变成被选择结果。要使争论收敛，应同时扩大样本与抽样框，区分精度增加和偏差下降，并预先规定满足经济约束的样本外预测相对全部样本外预测何种变化算支持、收缩或反号。
在政策模型、市场设计和计算经济学中，验收表不应只列平均结果，还要列“失败训练、不可解释候选和被人工丢弃的模型不进成功率”的数量、占比和去向；满足经济约束的样本外预测／全部样本外预测随后按地区、群体或机构分层复算。机器学习开求解经济的复核表还保留退出日期、原记录者和未纳入理由，不用零值代替缺失。
把机器学习开求解经济放到另见第 334 号第 15 条『Prosit 与预测谱库：机器学习开始生成可检验的质谱先验』旁核验：先对齐对象、时间窗和责任人，再检查机器学习开求解经济的核心判断在另一套分母中是否仍同向。
十二、异质主体模型中的理性预期遭遇可实现性挑战Rational Expectations under Heterogeneity
沿决定模型机制的责任链，数理经济学与一般均衡在这一题上的旧起点是“所有家庭能正确理解高维分布与政策规则并形成一致预期”。2025年的Auclert、Rognlie 与 Straub将“被模型假定已知却无人发布、无法处理或只由专家掌握的信息不进约束”带回资料表，说明遗漏会改变模型要求状态信息，并非扩大样本即可消除的随机误差。
异质主体模型中的理性预期遭遇可实现性挑战不是因素清单，而是一项可以失败的主张：决定模型可信度的只有预期形成是否能由有限信息和计算实现。判决标准是可实现预期的计算信息负担能否稳定改变主体可用状态信息／模型要求状态信息；“理性预期仍是清晰基准，替代学习规则也会增加自由度和识别难题”下没有差异，就足以否定其决定性。
Moll（2026）把异质主体理性预期的难题落到无限维分布状态和有限计算者之间；这是可实现性挑战，不是样本均值争论。就决定模型机制的材料边界而言，进入、退出与未登记对象必须分开留痕。决定模型机制的支持材料与边界材料分别编号，不让同一来源同时提出命题又替命题免责。决定模型机制的结构读数拆成2项：主命题、替代机制、缺失对象与时间窗分别核对，任一项都不由总均值代填。
复算决定模型机制之前，异质主体模型中的理性预期遭遇可实现性挑战的边界由Auclert、Rognlie 与 Straub（2025）所揭示的“理性预期仍是清晰基准，替代学习规则也会增加自由度和识别难题”限定。当前争论缺的不是更多概念，而是比较中位数、均值与完整分布：把“理性预期仍是清晰基准，替代学习规则也会增加自由度和识别难题”变成事前分层，并公布该层样本量、区间和分母变化。
让这一比率进入常规审计，并把被模型假定已知却无人发布、无法处理或只由专家掌握的信息不进约束作为结果的一部分，而不是数据清洗后的残余。 对政策模型、市场设计和计算经济学最直接的制度后果，是禁止把“被模型假定已知却无人发布、无法处理或只由专家掌握的信息不进约束”当作清洗残余，并把主体可用状态信息、模型要求状态信息与实施成本放在同一张表中。决定模型机制的复核表还保留退出日期、原记录者和未纳入理由，不用零值代替缺失。
把决定模型机制放到另见第 515 号第 18 条『主动推断：行动不是响应刺激，而是改变可预期感觉』旁核验：先对齐对象、时间窗和责任人，再检查决定模型机制的核心判断在另一套分母中是否仍同向。
◎ 二十年连起来看
第一幕从“平均场博弈把无限多主体压成分布”推进到“微观异质性成为宏观冲击传播器”，第二幕又由“HANK重写货币政策传导”走向“异质主体模型中的理性预期遭遇可实现性挑战”。数理经济学与一般均衡二十年的核心变化，是解释单位从静态类别转向可观察的机制、条件与回写过程；Lasry 与 Lions（2007）和Auclert、Rognlie 与 Straub（2025）标出这一首尾迁移。
数理经济学与一般均衡的量纲也发生实质变化：第3条以“在允许信息结构中保持激励相容者／全部允许结构”记录条件，第12条以“算法得到的福利／理论最优福利”记录过程，第18条再以“底部或目标群体福利变化／总体福利变化”检验结果。数理经济学与一般均衡的问题由“有没有影响”转成“分子相对于哪个分母”。
另一条贯穿线索是数理经济学与一般均衡开始保存被排除者。第5条的“未购买、配给、共同消费和不可比较质量不进预算集合”与第14条的“免费用户数据、平台外交易和多重身份不进货币价格”不再只是注脚，而是决定证据能否降级的对象。
◎ 三个常见误解
误解一是把“平均场博弈把无限多主体压成分布”读成新的万能尺度。它之所以诱人，是“有限N主体结果与平均场结果差／主体总数N”便于排序；正确表述却是：当“有限人数、共同噪声和多重均衡会破坏极限近似，宏观分布也可能遮住尾部主体”出现时，数理经济学与一般均衡的方向可能改变，增加维度不能替代边界检验。
误解二是认为数据越多，数理经济学与一般均衡的偏倚就越小。第19条的“满足经济约束的样本外预测／全部样本外预测”表明，更多文本、轨迹或样本若来自同一选择过程，只会更精确地描画已有覆盖，无法自动补回“失败训练、不可解释候选和被人工丢弃的模型不进成功率”。
数理经济学与一般均衡的第三个误解，是把制度采纳等同于实质实施。第12条“算法博弈论把计算复杂度写进均衡”与第20条“异质主体模型中的理性预期遭遇可实现性挑战”都显示，规则、平台或组织会围绕考核指标重新行动；数理经济学与一般均衡因此必须同时报告形式通过率、现场执行率和“主体可用状态信息／模型要求状态信息”。
◎ 与相邻领域的接口
与第408号第1条的分工可由“有限N主体结果与平均场结果差／主体总数N”判定：数理经济学与一般均衡第1条“平均场博弈把无限多主体压成分布”解释个体—分布耦合如何改变方向，邻块负责另一层级的结果。对数理经济学与一般均衡而言，分母不同就只是同名问题；统一“有限N主体结果与平均场结果差／主体总数N”后才可比较方向。
与第214号第6条的分工可由“Euler方程残差／政策冲击引起的变量变化”判定：数理经济学与一般均衡第6条“高维动态模型需要稳定数值方法”解释数值误差相对政策效应如何改变方向，邻块负责另一层级的结果。接口是否成立，最终由“Euler方程残差／政策冲击引起的变量变化”能否在两块中复算决定。
与第157号第11条的分工可由“实现目标分布的最小成本／总资源规模”判定：数理经济学与一般均衡第11条“最优传输把匹配与分布比较统一”解释分布间最小搬运成本如何改变方向，邻块负责另一层级的结果。接口是否成立，最终由“实现目标分布的最小成本／总资源规模”能否在两块中复算决定。
与第73号第16条的分工可由“收敛到均衡的重复次数／全部重复次数”判定：数理经济学与一般均衡第16条“强化学习让博弈均衡成为学习结果”解释学习轨迹的收敛速度如何改变方向，邻块负责另一层级的结果。两边只有共享分母时才构成数理经济学与一般均衡的真实接口，单纯共享术语并不足够。
◎ 争议现场
围绕“稳健机制设计不再押注完整信念”的争论尚未收敛。Hansen 与 Sargent提出，“稳健集合扩大后效率界可能很低，过度保守也会牺牲可用信息”会改变解释方向；要收敛，数理经济学与一般均衡需采用“用至少三种独立指标做构念与预测效度检验”，并预先规定“在允许信息结构中保持激励相容者／全部允许结构”何种变化算支持、收缩或反号。
围绕“贝叶斯说服把信息结构变成政策变量”的争论尚未收敛。Bergemann 与 Morris提出，“发送者承诺、共同先验和理性更新在现实中可能不成立，隐私与操纵边界突出”会改变解释方向；要收敛，数理经济学与一般均衡需采用“同时测量局部收益与系统外部性”，并预先规定“诱导采取目标行动的后验状态／全部信息状态”何种变化算支持、收缩或反号。
围绕“不可分割品的一般均衡需要额外结构”的争论尚未收敛。Hatfield 与 Milgrom提出，“现实套餐、预算和配额常产生复杂互补，均衡存在也可能不唯一”会改变解释方向；要收敛，数理经济学与一般均衡需采用“随机化步骤顺序或重建完整事件序列”，并预先规定“可由价格清算的配置／全部可行配置”何种变化算支持、收缩或反号。
◎ 往下五年看什么
未来五年，第9条“HANK重写货币政策传导”应连续发布“一般均衡收入效应引起的消费变化／总消费变化”，并把“现金、非正规债务和家庭内转移不进标准账户”纳入分母。若到2031年区间仍覆盖正负两侧，“HANK重写货币政策传导”就仍是未决前沿。
未来五年，第13条“稳健控制把模型不确定性内生化”应连续发布“最坏模型损失／基准模型收益”，并把“完全未列入邻域的结构断裂和新机制不进稳健集”纳入分母。只有跨制度复制后符号稳定，“稳健控制把模型不确定性内生化”才可进入常规决策。
未来五年，第17条“不可分割品的一般均衡需要额外结构”应连续发布“可由价格清算的配置／全部可行配置”，并把“配给、排队和制度性优先权不进纯价格均衡”纳入分母。只有跨制度复制后符号稳定，“不可分割品的一般均衡需要额外结构”才可进入常规决策。
未来五年，第20条“异质主体模型中的理性预期遭遇可实现性挑战”应连续发布“主体可用状态信息／模型要求状态信息”，并把“被模型假定已知却无人发布、无法处理或只由专家掌握的信息不进约束”纳入分母。该读数若不能在独立数据中重算，数理经济学与一般均衡就尚未完成这项转向。
◎ 可与哪些领域对撞
本块第1条“平均场博弈把无限多主体压成分布”可与第408号第1条对撞。双方共享“大型博弈必须逐个追踪所有主体的策略互动”，本条把个体—分布耦合置于因果链首位，邻块则可能把同一要素视为结果；若用“有限N主体结果与平均场结果差／主体总数N”复算后两边都成立，数理经济学与一般均衡就必须测量汇总指标的构成方式。
本块第2条“带合同匹配统一学校、医生与劳动力配置”可与第214号第6条对撞。双方共享“匹配只能在一人对一人的固定对象之间定义”，本条把选择函数的替代性置于因果链首位，邻块则可能把同一要素视为结果；若用“稳定可行合同数／全部可行合同数”复算后两边都成立，数理经济学与一般均衡就必须测量汇总指标的构成方式。
本块第3条“稳健机制设计不再押注完整信念”可与第157号第11条对撞。双方共享“设计者只要知道共同先验即可构造最优机制”，本条把对信息结构的敏感度置于因果链首位，邻块则可能把同一要素视为结果；若用“在允许信息结构中保持激励相容者／全部允许结构”复算后两边都成立，数理经济学与一般均衡就必须测量汇总指标的构成方式。
本块第18条“分配效应进入一般均衡政策评估”可与第214号第6条对撞。双方共享“政策福利可用总产出或平均消费变化代表”，本条把分布福利权重置于因果链首位，邻块则可能把同一要素视为结果；若用“底部或目标群体福利变化／总体福利变化”复算后两边都成立，数理经济学与一般均衡就必须测量步骤次序。
◎ 十条可做的研究命题
1. 命题：第1条“平均场博弈把无限多主体压成分布”只在“有限人数、共同噪声和多重均衡会破坏极限近似，宏观分布也可能遮住尾部主体”未出现时保持原方向。做法：用至少三种独立指标做构念与预测效度检验，以“有限N主体结果与平均场结果差／主体总数N”为主读数，并追踪“被聚合分布抹掉的稀有类型和局部团簇没有状态变量”。若采用统一分母后不同制度中的符号完全一致，数理经济学与一般均衡无需引入该边界条件。
2. 命题：第3条“稳健机制设计不再押注完整信念”只在“稳健集合扩大后效率界可能很低，过度保守也会牺牲可用信息”未出现时保持原方向。做法：用至少三种独立指标做构念与预测效度检验，以“在允许信息结构中保持激励相容者／全部允许结构”为主读数，并追踪“未被模型列入的信息来源和行为偏差不进稳健集合”。若跨越“稳健集合扩大后效率界可能很低，过度保守也会牺牲可用信息”后“在允许信息结构中保持激励相容者／全部允许结构”没有结构变化，第3条的反号命题即被否定。
3. 命题：第5条“显示偏好进入非参数界而非点识别”只在“数据稀疏和测量误差会使界很宽，家庭内部与质量选择也不满足简单商品空间”未出现时保持原方向。做法：在扩展样本与尾部压力测试中逐级提高覆盖，以“被数据排除的需求响应范围／全部理论可能范围”为主读数，并追踪“未购买、配给、共同消费和不可比较质量不进预算集合”。证伪标准：在预设精度内，“数据稀疏和测量误差会使界很宽，家庭内部与质量选择也不满足简单商品空间”出现后读数仍稳定同向，且“未购买、配给、共同消费和不可比较质量不进预算集合”的补入不改变估计。
4. 命题：第7条“市场设计把定理转成制度工程”只在“机制成功高度依赖组织实施、法律和用户理解，实验室性质不能替代现场数据”未出现时保持原方向。做法：交换聚合次序与权重并检查符号稳定性，以“满足稳定效率且按期完成的分配／全部分配”为主读数，并追踪“未提交偏好、系统外交易和规则理解失败者不进理论效率”。若独立样本补入“未提交偏好、系统外交易和规则理解失败者不进理论效率”后方向、大小和区间均不变，本命题不成立。
5. 命题：第9条“HANK重写货币政策传导”只在“参数校准和转移规则影响定量份额，中央银行工具在现实中也更复杂”未出现时保持原方向。做法：交换聚合次序与权重并检查符号稳定性，以“一般均衡收入效应引起的消费变化／总消费变化”为主读数，并追踪“现金、非正规债务和家庭内转移不进标准账户”。若采用统一分母后不同制度中的符号完全一致，数理经济学与一般均衡无需引入该边界条件。
6. 命题：第11条“最优传输把匹配与分布比较统一”只在“成本函数设定承载大量经济含义，多个最优方案与离散数据会造成不唯一”未出现时保持原方向。做法：同时测量局部收益与系统外部性，以“实现目标分布的最小成本／总资源规模”为主读数，并追踪“无法匹配的余量、组合对象和制度禁止的流动不进传输计划”。若跨越“成本函数设定承载大量经济含义，多个最优方案与离散数据会造成不唯一”后“实现目标分布的最小成本／总资源规模”没有结构变化，第11条的反号命题即被否定。
7. 命题：第13条“稳健控制把模型不确定性内生化”只在“惩罚参数难由数据识别，过度悲观会产生不现实保守行为”未出现时保持原方向。做法：允许对象处于交叠类别并比较硬分类结果，以“最坏模型损失／基准模型收益”为主读数，并追踪“完全未列入邻域的结构断裂和新机制不进稳健集”。证伪标准：在预设精度内，“惩罚参数难由数据识别，过度悲观会产生不现实保守行为”出现后读数仍稳定同向，且“完全未列入邻域的结构断裂和新机制不进稳健集”的补入不改变估计。
8. 命题：第15条“气候一般均衡依赖折现与尾部风险”只在“模型聚合地区与代际，非市场损失和不可逆阈值难货币化”未出现时保持原方向。做法：允许对象处于交叠类别并比较硬分类结果，以“未来损害现值／当前减排成本”为主读数，并追踪“生态不可逆、无市场生命损失和未来未出生者偏好不进效用函数”。若独立样本补入“生态不可逆、无市场生命损失和未来未出生者偏好不进效用函数”后方向、大小和区间均不变，本命题不成立。
9. 命题：第17条“不可分割品的一般均衡需要额外结构”只在“现实套餐、预算和配额常产生复杂互补，均衡存在也可能不唯一”未出现时保持原方向。做法：随机化步骤顺序或重建完整事件序列，以“可由价格清算的配置／全部可行配置”为主读数，并追踪“配给、排队和制度性优先权不进纯价格均衡”。若采用统一分母后不同制度中的符号完全一致，数理经济学与一般均衡无需引入该边界条件。
10. 命题：第19条“机器学习开始辅助发现与求解经济模型”只在“黑箱逼近可隐藏违反预算或均衡条件的区域，训练分布外误差难诊断”未出现时保持原方向。做法：同时扩大样本与抽样框，比较偏差是否真正下降，以“满足经济约束的样本外预测／全部样本外预测”为主读数，并追踪“失败训练、不可解释候选和被人工丢弃的模型不进成功率”。若采用统一分母后不同制度中的符号完全一致，数理经济学与一般均衡无需引入该边界条件。
◎ 资料核验
本块共核对22笔互异来源。提出、争议和最新分别承担主证据、边界／反证与更新状态；同行评议论文优先写卷页或DOI，专著写出版社，报告写机构与年份，预印本保留身份。碰撞行量纲不计为原论文实测值。
- ［原始证据｜同行评议论文］Lasry 与 Lions，2007年，《Mean Field Games》，Japanese Journal of Mathematics 2:229–260，DOI 10.1007/s11537-007-0657-8。
- ［争议／边界｜同行评议论文］Mertikopoulos 与 Sandholm，2016年，《Learning in Games via Reinforcement and Regularization》，Mathematics of Operations Research 41(4):1297–1324，DOI 10.1287/moor.2016.0778。
- ［近年更新｜同行评议论文］Moll，2026年，《The Trouble with Rational Expectations in Heterogeneous Agent Models: A Challenge for Macroeconomics》，Economic Journal 136(676):1173–1208，DOI 10.1093/ej/ueaf104。
- ［原始证据｜同行评议综述］Hatfield 与 Milgrom，2005年，《Matching with Contracts》，American Economic Review 95(4):913–935，DOI 10.1257/0002828054825466。
- ［争议／边界｜同行评议论文］Roth，2008年，《What Have We Learned from Market Design?》，Economic Journal 118(527):285–310，DOI 10.1111/j.1468-0297.2007.02121.x。
- ［原始证据｜同行评议论文］Bergemann 与 Morris，2005年，《Robust Mechanism Design》，Econometrica 73(6):1771–1813，DOI 10.1111/j.1468-0262.2005.00638.x。
- ［争议／边界｜学术专著］Hansen 与 Sargent，2008年，《Robustness》，Princeton University Press。
- ［原始证据｜同行评议综述］Jackson 与 Zenou，2015年，《Games on Networks》，Handbook of Game Theory with Economic Applications 4:91–157，DOI 10.1016/B978-0-444-53766-9.00003-3。
- ［原始证据｜同行评议论文］Blundell、Browning 与 Crawford，2008年，《Best Nonparametric Bounds on Demand Responses》，Econometrica 76(6):1227–1262，DOI 10.3982/ECTA7011。
- ［原始证据｜同行评议论文］Judd、Maliar 与 Maliar，2011年，《Numerically Stable and Accurate Stochastic Simulation Approaches for Solving Dynamic Economic Models》，Quantitative Economics 2(2):173–210，DOI 10.3982/QE14。
- ［争议／边界｜预印本／工作论文］Liang，2026年，《Using Machine Learning to Generate, Clarify, and Improve Economic Models》，Journal of Economic Literature，已接收；前印本 arXiv:2508.19136，DOI 10.48550/arXiv.2508.19136。
- ［原始证据｜同行评议论文］Kaplan 与 Violante，2018年，《Microeconomic Heterogeneity and Macroeconomic Shocks》，Journal of Economic Perspectives 32(3):167–194，DOI 10.1257/jep.32.3.167。
- ［争议／边界｜同行评议综述］Auclert、Rognlie 与 Straub，2025年，《Fiscal and Monetary Policy with Heterogeneous Agents》，Annual Review of Economics 17:539–562，DOI 10.1146/annurev-economics-091624-044646。
- ［原始证据｜同行评议综述］Kaplan、Moll 与 Violante，2018年，《Monetary Policy According to HANK》，American Economic Review 108(3):697–743，DOI 10.1257/aer.20160042。
- ［原始证据｜同行评议综述］Kamenica 与 Gentzkow，2011年，《Bayesian Persuasion》，American Economic Review 101(6):2590–2615，DOI 10.1257/aer.101.6.2590。
- ［原始证据｜学术专著］Galichon，2016年，《Optimal Transport Methods in Economics》，Princeton University Press。
- ［原始证据｜学术专著］Roughgarden，2016年，《Twenty Lectures on Algorithmic Game Theory》，Cambridge University Press。
- ［争议／边界｜同行评议论文］Bichler 与 Parkes，2025年，《Differentiable Economics: Strategic Behavior, Mechanisms, and Machine Learning》，Communications of the ACM 68(9):80–88，DOI 10.1145/3725809。
- ［原始证据｜同行评议论文］Rochet 与 Tirole，2003年，《Platform Competition in Two-Sided Markets》，Journal of the European Economic Association 1(4):990–1029，DOI 10.1162/154247603322493212。
- ［原始证据｜同行评议论文］Nordhaus，2018年，《Projections and Uncertainties about Climate Change in an Era of Minimal Climate Policies》，American Economic Journal: Economic Policy 10(3):333–360，DOI 10.1257/pol.20170046。
- ［原始证据｜同行评议论文］Bikhchandani 与 Mamer，1997年，《Competitive Equilibrium in an Exchange Economy with Indivisibilities》，Journal of Economic Theory 74(2):385–413，DOI 10.1006/jeth.1996.2265。
- ［原始证据｜预印本／工作论文］Liang，2025年，《Using Machine Learning to Generate, Clarify, and Improve Economic Models》（预印本），arXiv:2508.19136，DOI 10.48550/arXiv.2508.19136。