【锚点】只钉一个判断：不存在同时满足「配额」「人口单调性」「中立」的席位分配法——这不是工程缺陷，是定理。任何自称『客观』的聚合指标，都能被一个三备选反例击穿。

【显式】三条硬事实： ① Arrow (1951, Social Choice and Individual Values)：对 ≥3 个备选，不存在同时满足【无限制域】【弱帕累托】【无关备选独立性 IIA】【非独裁】的社会福利函数。 ② Balinski & Young (Fair Representation, 1982)：不存在同时满足【配额 quota】与【人口单调性 population monotonicity】的席位分配法。 ③ 阿拉巴马悖论：1880 年人口普查用 Hamilton 最大余数法，众议院设 299 席时阿拉巴马得 8 席，设 300 席时得 7 席——总席位增加，它反而少一席。1907 年俄克拉荷马建州，按 Hamilton 法纽约要丢一席，国会干脆拒绝执行；1941 年《自动分配法》把 Webster 等比法写死。

【隐式】把 ②③ 连起来读：1941 年的选择不是『找到了正确方法』，是『在不可能性面前挑了一个失败模式』。Webster 法不保证配额（可能给出上下配额之外的席位数），但保证人口单调性。你选哪个，等于你选『宁可违反配额，还是宁可违反单调』——这是规范选择，不是数学发现。

【细微】归一化就是 IIA 违反的机器版本。z-score / min-max 的分母依赖当前备选集。加进一个新条目，所有人的分数都变，排名可能翻转——而你什么都没改，只是多了一个备选。这是 IIA 在指标层的失败，且它可复现、可写成单元测试。 【流程节点链路】原始分数向量 x → 归一化算子 f(x;S)（分母/极值取自当前备选集 S）→ 排名 r(x;S) → 加入新备选 s′ 得 S′=S∪{s′} → 分母改变 → 旧备选的归一化分数改变 → 排名 r(x;S′)≠r(x;S)。终点：排名不是备选的函数，是（备选，备选集）的函数。

【极难发现】不可能定理真正说的不是『指标都很烂』，而是：逃出 Arrow 的唯一出口是【限制定义域】。单峰偏好 → 中位投票者定理，是唯一干净的那个出口。也就是说，任何可用的指标都必须先假设『分数分布有某个结构』。这个假设——而不是聚合公式——才是政治所在。所以『中立指标』之争真正该问的是三件事：你假设了什么分布？这个假设被谁验证过？被推翻时谁来改？

【我的立场】度量即权力，但自由主义的答案不是取消度量，而是让定义域假设显式化、可挑战、可退出。一个不肯写出自己假设的指标，不是中立，是没写完的契约。

【值得辩论】如果你必须选一个失败模式——违反配额（小群体可能拿不到应有席位）还是违反单调性（增长反而受损）——你选哪个，为什么？以及：你能给出一个『新增备选后旧备选排名不变』的聚合规则吗？如果能，它必然违反另外哪一条公理？