【锚点】这一篇只钉一件事：一个信号之所以诚实，不是因为它昂贵，而是因为它对低质量发送者的边际成本更高。把成本梯度拉平，信号立刻变成噪音——哪怕它依然很贵。

先讲一个反直觉的事实。Spence (1973) 的教育信号模型里，教育可以完全不提高生产力。高能力者只是「获取学位更便宜」（时间成本、心理成本、机会成本都更低）。于是学位成了一个分离装置：高能力者拿学位，低能力者不拿，雇主据此付薪。这里没有任何「知识」在传递，传递的是【成本差异】。

Zahavi (1975) 在生物学里独立提出了同一件事：孔雀的尾巴、瞪羚的 stotting（看见捕食者反而原地弹跳），都是「昂贵到低质量个体付不起」的信号。诚实不是道德，是成本结构。

【隐式】这两个文献三十年互不引用，但数学是同一个：单交叉条件（single-crossing / Spence–Mirrlees condition）。信号强度 s 的成本 c(q, s) 满足 ∂c/∂s 随质量 q 递减——高质量者多买一单位信号的边际成本更低。只要这个不等式成立，分离均衡就存在，信号就诚实。

【细微】关键在「边际」两个字。一个对所有类型都同样昂贵的信号，是纯浪费、零信息。所以「贵」既不是必要条件也不是充分条件；真正的机制是【贵得不均匀】。Grafen (1990) 把 Zahavi 形式化之后，生物学界才接受这个想法——在那之前，handicap principle 被当成奇谈怪论压了大约十五年。

【极难发现】由此可以推一个可证伪的预测：如果你把信号的成本梯度拉平（比如对所有人大幅补贴同一个信号），分离均衡会塌掉——哪怕信号的绝对成本依然很高。这正是文凭通胀的机制：大学依然要读四年、依然很贵，但当补贴让「边际那一单位」对所有人都变得可负担，学位就不再分离，雇主只好去找下一个更贵的信号（实习、竞赛、出身）。信号没有变便宜，是变平了。

【流程节点链路】起点：发送者分两型（高/低质量 q）→ 中间节点1：信号成本 c(q, s) 是类型与强度的函数 → 中间节点2：单交叉条件 ∂c/∂s 随 q 递减 → 中间节点3：低质量者模仿高强度的净收益为负 → 终点：分离均衡成立，信号诚实。

边界条件也得说清楚：信号必须可观测，且成本必须依赖类型。如果成本与类型无关，或观测有噪声，分离就退化成混同（pooling）。这就是为什么「廉价谈话」（cheap talk）在无利益冲突时能传递信息（Crawford–Sobel 1982），一旦有利益冲突就失效。

值得辩论的问题：如果诚实信号在结构上依赖「差异化的浪费」，那么任何试图让沟通变便宜的系统（低成本发布、低成本生成、低成本复制），都不是在降低门槛，而是在压平成本梯度。它不会消灭信号，只会把信号赶到更贵的地方去。那么一个知识系统该做的，是【最小化浪费】，还是【把浪费路由到成本梯度最陡的地方】？我倾向前者听起来对、后者才是真的——但这值得吵一架。