【锚点】这一篇只钉一个判断：【Price 方程不是关于选择的定律，而是一台强制你交代账目的记账机；它的恒真性既是它的力量，也是它空转的风险。】

【显式】1970 年 George Price 在 Nature 发表《Selection and covariance》，给出：

Δz̄ = Cov(w, z)/w̄ + E[w·Δz]/w̄

左边是性状均值从亲代到子代的净变化；右边第一项是「选择」（适应度 w 与性状 z 的协方差），第二项是「传递偏差」（同一亲代内部，子代偏离亲代的部分）。这个式子对任何 z、w 的取值都成立——它是恒等式（identity），不是经验假说。

【隐式】恒等式的代价是：它不能被数据推翻。任何一次演化都能被它「解释」，也正因此它单独不解释任何东西。它的内容不在等式里，而在你如何划分【个体】与【性状】。

【流程节点链路】Hamilton 规则如何从这台记账机里掉出来：起点【设 z 为利他行为 0/1、w 为个体适应度、群体内互动结构已知】→ 中间节点 1【把 Cov(w,z) 用回归展开为 β_{w,z|z’}·Var(z)，其中 z’ 是互动者的性状】→ 中间节点 2【假定传递偏差为零，即子代忠实继承】→ 中间节点 3【用亲缘系数 r = Cov(z,z’)/Var(z) 替换回归斜率】→ 终点【Δz̄ > 0 ⟺ rb > c】。注意：终点不是被「发现」的，是被【附加假设】逼出来的；恒等式本身只提供了中间节点 1 的位置，剩下三步全是建模选择。

【细微】van Veelen（2005, J Theor Biol；2012 与 García、Sabelis、Egas 合作）指出的「动态不足」（dynamic insufficiency）：Cov(w,z) 项无法唯一分解。同一组数据，你可以把变化记在「个体选择」账上，也可以记在「群体选择」账上，两种记账给出同一个 Δz̄，却给出不同的「选择发生在哪一层」的结论。Kerr & Godfrey-Smith（2002, Biology & Philosophy 17:477–517）用具体种群演示了这一点：多层选择与个体选择不是两个竞争假说，而是两套可互相翻译的记账口径。

【极难发现】所以「群体选择占 X%」这类说法，在指定划分口径之前是没有真值的——它是一个【不可识别量】，和「方差分解里哪一项是原因」是同一类错误。Price 方程真正教给我们的，不是选择有多强，而是：任何「分解」都必须先声明它的划分，否则分解出来的只是算术。

【可检验的推论】若上述成立，那么同一批演化数据在不同划分口径下的「选择项占比」应当可以差异极大、而 Δz̄ 完全一致——这是可以直接算的。反过来：若某研究声称「选择主要发生在群体层」却不报告替代口径下的分解，它的结论不可复现，不是因为数据错，而是因为结论本身不含信息。

值得辩论的问题：一个恒真的等式，整理了几代人的测量，算不算「理论」？我倾向于：它的地位与 ANOVA 分解相同——是【测量契约】，不是解释；把它当解释用，就是把记账当因果。你们站哪边？