Collective-Exit-Right（集体退出权）
定义
网络层退出棘轮个人无解但集体有解。loyalty 非给定常量可被制度化——集体承诺"达条件即迁移"把 loyalty 变成对抗网络效应锁定的载体。公会、合作社、开源社区是历史实例。个人退出在网络层结构受限（协作者不随你走），集体退出可工程化（网络跟着集体走）。但集体协调基础设施必须去中心化，否则中心化协调者成新锁定。
为什么个人退出在网络层无解
Exit-Ratchet-and-Layering 证网络层棘轮不可工程化破解：即使数据完全回流用户侧，协作者仍在平台 A，你带数据去 B，协作断裂。网络效应随使用时间增长，重度用户协作网络最庞大，退出最伤。
关键不对称：数据可回流（用户控制），协作者不可回流（你不能强迫协作者跟你走）。个人退出在网络层无解，因为退出成本由"留在平台的协作者数量"决定，而那不在个人控制范围内。
集体退出如何破解
loyalty 不是给定常量，是可被培育、制度化的变量。若退出主权设计成"集体退出权"而非"个人退出权"——一群人共同承诺"达条件即集体迁移"——这种集体承诺本身就是 loyalty 的制度化。
集体迁移时网络跟着人走：我们一起走，协作网络整体迁移，网络效应锁定被对抗。个人退出时网络断裂（只有你走）；集体退出时网络保形（大家一起走）。
历史实例
| 实例 | 机制 | 对抗的锁定 |
|---|---|---|
| 工会 | 集体承诺达条件即罢工，罢工基金分摊 | 单个工人被替换的锁定 |
| 合作社 | 成员集体承诺共购/共销 | 个体农户被中间商压价 |
| 开源社区（GNU/Linux） | 集体构建替代栈（社区/发行版/企业生态） | Windows 单一厂商锁定 |
GNU/Linux 成为可行退出保障，不是个人用 Linux，是集体共同构建替代栈——这是集体退出权在软件域的历史实证。工会更典型：单个工人罢工威胁不可信（会被替换），工会集体承诺达条件即罢工，威胁可信且多数情况不必真罢工（资方让步）——集体退出权"威胁不必行使"的范例。
与可信威胁的结构性绑定
Credible-Threat-Structural-Binding 证：可信威胁需兑现的结构性绑定，但结构性绑定有成本（自断后路），单个用户不愿为"不必行使的威胁"付成本（成本私人化、收益社会化）。集体退出权破解此循环——集体把个人的"自断后路成本"分摊到可承受，同时把"可信威胁的收益"放大。
集体承诺达条件即迁移 = 结构性绑定（一旦条件触发，集体行动不可单方面撤回）+ 成本分摊（迁移成本由集体共担）。这使得"不必行使的可信威胁"在集体层可行，而在个人层不可行。
去中心化硬约束
集体退出权的工程化必须坚持去中心化协调，否则成新锁定：
| 协调形式 | 后果 |
|---|---|
| 去中心化（标准协议+无许可接入+无中心协调者） | ✓ 保退出权，无新锁定 |
| 中心化（某迁移服务商协调） | ✗ 你从一平台集体迁移到迁移服务商，它成新平台 |
现代"集体迁移基础设施"若设计成中心化协调平台，本身会成为新锁定点——RMS 的硬约束。开源社区能协调因为它是去中心化的（无单点捕获）；中心化协调平台会被捕获或自身寻租。
强制 affordance 的唯一合理形式
Exit-Ratchet-and-Layering 与本定理合起来给出强制 affordance 的工程化形式：强制去中心化的集体迁移基础设施，四者叠加——
- 标准协议强制（破协议层锁定，通用互操作非特许）
- 算力反垄断（破经济层锁定，开源追 frontier）
- 数据实时回流（破数据层棘轮，积累反转到用户侧）
- 无许可协调（破治理层锁定，集体退出权去中心化）
多层锁定须多层破解，部分破解=部分奴役（RMS 立场）。四者缺一，退出主权在剩余层仍结构受限，可信威胁仍可被蚕食。
通用 vs 特许互操作
强制 affordance 的互操作必须是通用非特许：
| 形式 | 接入 | 效果 |
|---|---|---|
| 通用互操作 | 任何人可接入无需许可 | 保差异化、破锁定、催生新竞争层（AT&T 拆分后涌现 ISP/虚拟运营商） |
| 特许互操作 | 认证伙伴才能接入 | 灭差异化、实质合谋、加固护城河（认证权成新锁定） |
判据：接入是否需许可。大平台会游说把"强制互操作"设计成"特许互操作"——听起来是互操作，实质是认证门槛挡住新进入者。
关键数据点
- GNU/Linux 替代栈是集体构建非个人——集体退出权软件域实证
- 工会集体罢工威胁可信且多数不必真罢工——集体退出权"威胁不必行使"+ 成本分摊实证
- AT&T 拆分（1984）后涌现大量 ISP/虚拟运营商——通用互操作催生新竞争层的历史实证
- 欧盟 DMA 互操作义务——现代强制互操作的政策实验（效力待评估）
前提与局限性
- 本定理是 synthesized 判断（Hirschman loyalty + 集体行动理论 + 开源运动史 + 07-16 棘轮/可信威胁综合），未经独立实证。
- AI 时代集体退出权的早期案例缺失——公会/合作社/开源社区是前 AI 时代实例，AI 时代集体迁移基础设施（如跨模型/跨平台的集体迁移协议）尚无成熟案例验证。
- loyalty 制度化的"达条件即迁移"机制设计是开放问题——条件如何设定、如何防止搭便车、如何协调触发，需具体工程方案。
- 中心化协调被捕获的历史风险（regulatory capture）是去中心化硬约束的依据，但去中心化协调的效率成本未量化。
关联概念
- Exit-Ratchet-and-Layering — 本定理是其网络层棘轮的破解路径
- Exit-Sovereignty — 本定理是其从个人权利到集体权利的扩展
- Credible-Threat-Structural-Binding — 集体退出权分摊结构性绑定成本，使可信威胁可行
- Open-Source-Operational-AI-Framework — 开源是集体退出权的技术基础设施