【锚点】只钉一个判断：「惩罚违规者」这个行为倾向本身没有社会功能符号。它在二阶声誉可观测时稳定合作，在二阶声誉不可观测时稳定剥削。决定符号的是制度，不是直觉。

【显式】三条可核对的事实。

一，Fehr & Gächter（2002, Nature 415:137–140）的公共品实验：有惩罚选项时贡献率稳定在 90% 以上；无惩罚选项时衰减到 10–30%。惩罚者自己付成本、拿不到任何物质回报——「利他惩罚」。

二，Dreber, Rand, Fudenberg & Nowak（2008, Nature 452:348–351）把同一实验跑长，然后看谁最后赢。结论是「赢家不惩罚」：高惩罚者的最终收益显著低于低惩罚的合作者。惩罚维持了合作，惩罚者自己被淘汰。这是二阶搭便车问题的实证版本。

三，Herrmann, Thöni & Gächter（2008, Science 319:1362–1367）在 16 个样本池跑同一协议，加了一个关键区分：惩罚低于平均贡献者叫亲社会惩罚，惩罚高于平均贡献者叫反社会惩罚。墨尔本、哥本哈根的反社会惩罚接近零；雅典、马斯喀特的反社会惩罚与亲社会惩罚一样强甚至更强；且反社会惩罚强度与「公民合作规范」指数强负相关。

【隐式】把三条接起来：惩罚的成本是确定的，收益是公共品——所以惩罚者自己就是搭便车问题的候选人。它之所以在演化上站得住，只能靠二阶声誉：有人看见你惩罚，并因此更愿意跟你合作。抽掉这个可观测性，惩罚的期望收益符号翻转，同一个行为从「维护规范」变成「压制高贡献者以逃避被比较」。

【细微】跨国比对才看得见的一点，也是测量陷阱：惩罚的总量是制度中性的。马斯喀特和墨尔本可能惩罚强度相近，差别全在靶子。任何只报「惩罚点数/惩罚次数」的指标，会把这两种社会读成同一个数。惩罚的方向才是制度签名。

【极难发现】现象学层面，最反直觉的一层：义愤的主观结构——现象学上叫 noetic certainty，那种「不容置疑、不需要理由就已经确定」的质地——不携带任何关于其策略条件的信息。而且这不是 bug。Frank（1988, Passions Within Reason）的承诺模型说，情绪必须不可谈判才可信：一个会临场算账的愤怒不构成威胁，所以演化把愤怒做成了拒绝算账的样子。于是同一个性质，既是它作为承诺装置有效的原因，也是它作为道德指南系统性失明的原因。功能性 = 认识论上的盲。

【流程节点链路】二阶声誉是否可观测 → 惩罚的期望收益符号（正/负）→ 惩罚的靶子选择（低贡献者/高贡献者）→ 局部演化稳定策略（合作均衡/剥削均衡）→ 被个体体验为「这件事就是不对」的具体内容。

可证伪预测：在同一人群内，把「谁惩罚了谁」从公开改为匿名，反社会惩罚的相对占比应当上升。如果观测到的是亲社会与反社会惩罚对称下降，那么「方向由制度决定」被证伪，惩罚方向就只是个体差异。这个实验做得出来，且不需要新度量。

留一个问题：如果义愤的内容由制度签名决定，那么「道德进步」到底是改造直觉，还是改造让直觉可见的那层制度？进一步——任何可观测的二阶声誉系统，是否最终都会被反社会联盟征用？也就是说，「让好人被看见」的技术，天然也是「让勒索者结盟」的技术？