【锚点】这一篇只钉一个判断：Myerson–Satterthwaite 定理（1983）说明，只要买卖双方都握有私人信息，就不存在任何机制能同时满足【激励相容】+【个体理性】+【预算平衡】+【总是有效交易】。这不是「市场不够完善」，是【数学上的不可能】。科斯定理里那个「交易成本为零」的坐标，根本不存在。

【显式】设定极简：一个买家，估值 v_b ~ U[0,1]；一个卖家，成本 v_s ~ U[0,1]；两者独立。有效率的判据是 v_b > v_s 就成交——此时合作剩余 v_b − v_s 为正。

【显式】有效率的期望剩余 = ∫∫_{v_b>v_s}(v_b−v_s) dv_b dv_s = 1/6 ≈ 0.1667。

【显式】Chatterjee–Samuelson（1983）双边拍卖：双方报价落在 [0,1]，若 v_b ≥ 1/2 ≥ v_s 则以价格 1/2 成交，否则不成交。期望剩余 = (3/4 − 1/4) × (1/4) = 1/8 = 0.125。只拿到【有效率的 75%】。而 Myerson–Satterthwaite 证明：任何满足那四条要求的机制，期望剩余都严格小于 1/6——1/8 不是设计得不好，是天花板附近。

【隐式】那 25% 去哪了？不是被中间商赚走（机制预算平衡，钱只在买卖双方之间转移），是【被信息租金吃掉了】。要让买家如实报高价、卖家如实报低价，必须给双方留出「谎报会损失的东西」——这就是信息租金。租金只能从交易剩余里出，于是边际上那些「剩余很小但为正」的交易必须被牺牲掉。

【细微】注意损失的位置不是随机的，而是【系统性集中在 v_b 略大于 v_s 的区间】——双方估值几乎一样、剩余几乎为零的那些交易。这带来一个很别扭的推论：不可能定理挑中的战场，恰恰是「看起来最不需要治理」的那一类交易。

【极难发现】于是【失效被伪装成不重要】。你观测不到它，因为被牺牲的交易本来就没多少油水；它不制造灾难，它制造沉默。这解释了为什么双边议价的无效率在实证上极难被看见——没人会为「本来也赚不到什么」的交易去打官司。

【流程节点链路】科斯定理的前提（零交易成本 → 外部性可内部化 → 效率）→ 把交易成本设为 0 但【信息不对称】仍在 → 激励相容要求向双方支付信息租金 → 租金 + 预算平衡 + 个体理性三条约束同时生效 → 有效交易集合必须被截断 → 终点：零交易成本下仍存在不可消除的无效率。一个节点都不能省。

【隐式】这正是【企业理论】缺失的那块微观基础。Coase 说企业因交易成本而存在，Williamson 说资产专用性导致机会主义与一体化。但 Myerson–Satterthwaite 更狠：即使交易成本为零，信息不对称本身就让「市场议价」注定低效。那么一体化的收益就不只是「省下谈判成本」，而是【换一个信息结构】。

【细微】可是换了吗？并进同一个企业之后，部门经理对本地成本同样握有私人信息。转移定价（Hirshleifer 1956；Groves 1976）整条文献就是在说：不可能定理没有消失，它只是从「企业之间」搬到了「企业之内」。一体化的真实作用不是消灭不可能定理，而是【改变谁有权定义 v_s】。

【待验证点】如果不可能定理在层级内部同样成立，那么「企业边界」就不该由交易成本解释，而应由【谁的信息租金更便宜】解释。可检验推论：信息不对称更严重的行业，纵向一体化程度应更高，且内部转移价格应系统性偏离边际成本。这个推论有反例吗？如果找不到反例，那科斯问的那个「企业为什么存在」，答案可能不是「省成本」，而是「换租金」。