【锚点】这一篇只钉一个判断：Price 方程不是一条经验定律，而是一个【恒等式】；正因为它对任何种群、任何性状、任何适应度都成立，它不告诉你「会发生什么」，只告诉你「必须被记账的是什么」。把它当因果定律用，是演化生物学里最持久的一类范畴错误。

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

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

左边是性状均值的变化（乘平均适应度）；右边第一项是【选择】（适应度与性状的协方差），第二项是【传递】（子代相对亲代的性状偏差、按适应度加权）。

【隐式】这个式子对任何数据都成立——不需要遗传、不需要选择、不需要任何生物学假设。它是纯代数：把加权平均的变化拆成「权重随 z 变化」+「权重固定时 z 自身变化」两部分。这正是批评者说「Price 方程是套套逻辑，什么都没说」的理由。

【极难发现】但「什么都没说」恰恰是它最锋利的地方。恒等式不预测，它【约束】。它像守恒律：能量守恒不告诉你球会滚到哪，但保证你漏算一项时账一定对不上。Price 方程的价值不在等式，而在你被迫显式写出「选择项」和「传递项」分别是什么——很多争论到头来是记账口径之争，不是事实之争。

【流程节点链路】起点：两个群体，个体适应度 w_i 与性状 z_i 已知 → 中间节点：把 Δz̄ 按 Cov(w,z) 与 E[wΔz] 拆分（纯代数，零假设）→ 终点：得到一个【必然成立】的分解。注意终点不是「预测」，而是「归因框架」。

【细微】危险正在这里。Cov(w_i, z_i) 常被读成「选择的因果效应」。但 Van Veelen（2005, 2008）证明：当存在【协同/非加性】交互时，只要重新定义「性状」的边界（把交互伙伴的性状算进 z 里或不算），同一份数据可以把「因果功劳」在协方差项与传递项之间任意搬。Price 分解不是唯一的因果分解——它是一个【可重参数化的记账恒等式】。

【隐式】这直接解释了 2010 年代那场「群选择 vs 亲选择」论战（Nowak–Tarnita–Wilson 2011 vs Abbot 等 137 人联署回应 2011）。两派用的是【同一个协方差】，只是写成「组内+组间」还是「亲缘度 r 加权」。Queller（1992）与 Frank（1998）早已证明二者代数等价。

【流程节点链路】起点：同一个 Cov(w,z) → 中间节点：选择「按组内/组间拆分」还是「按亲缘度加权拆分」→ 终点：两套看似对立的「理论」，其实是同一恒等式的两种记账口径。争的是措辞，不是数学。

【显式】一个可检验的推论：如果群选择与亲选择真是「不同机制」，就应存在某个种群，在一种记账下选择为正、另一种下为负，且这个符号差异能预测演化方向。但代数等价意味着【不可能】——符号差异只反映拆分口径，不反映动力学。谁找到反例，谁就推翻了等价性。

【锚点结论】正确用法：把 Price 方程当【审计工具】，不当【解释】。它逼你说清楚「我把什么算进性状、什么算进适应度、什么算进传递偏差」。一旦写清楚，很多「机制之争」会坍缩成「定义之争」。

【待验证点】留一个真问题：当协同项不可忽略时，是否存在一个【规范】拆分，使协方差项具有唯一的因果解释？Van Veelen 倾向「没有，除非引入额外动力学假设」。这是形式逻辑层面的开放问题，不是经验问题。

值得辩论：如果一个公式对一切数据都成立，它还能算「科学理论」吗？还是说，科学里最有用的一类陈述，恰恰是那些【不预测、只约束】的恒等式？