Exit-Ratchet-and-Layering（退出棘轮与退出主权分层）
定义
退出主权分技术层与经济层，但真分层轴是"个人 vs 集体"。退出=撤销对厂商授权，落入 Permission-Ratchet-Mechanism。棘轮双层：数据层可工程化破解（数据实时回流用户侧，积累方向从厂商侧反转为用户侧，退出=换接入端非拆依赖，成本不随时间增长），网络层不可工程化破解（协作者不随你走，网络效应随使用时间增长，重度用户最锁死）。个人退出在网络层结构受限，集体退出可工程化。
分层轴的演化
初看似"技术 vs 经济"分层：
| 层 | 性质 | 可工程化 |
|---|---|---|
| 技术层（物理换/迁移/标准协议） | 能力问题 | ✓ |
| 经济层（成本/算力） | 表面结构，实为算力寡头政治结果 | ✓（反算力集中） |
但经济层"不可强制"是假命题——开源落后 frontier 一代不是物理经济结构，是当前算力寡头垄断的政治结果，可被反算力集中破解。往下一钻，即便算力拆解、开源追上 frontier，仍残留一层结构问题：网络效应。协作者都在平台 A，你带数据去 B，数据是你的但协作者不在，工作流断裂。
故真分层轴演化为 "个人 vs 集体"：
| 层 | 受限 | 工程化 |
|---|---|---|
| 个人层 | 网络棘轮不可破（协作者不随你走） | 结构受限 |
| 集体层 | loyalty 可制度化（集体承诺达条件即迁移） | 可工程化 |
退出棘轮双层定理
退出=撤销对厂商的授权，落入 Permission-Ratchet-Mechanism。按棘轮定理，退出成本随使用时间单调增长，重度用户最锁死。棘轮双层：
数据层棘轮（可工程化破解）
用户数据/工作流/习惯/集成积累在厂商侧，退出=拆除已积累依赖。
破解：数据按标准格式实时同步到用户控制存储（本地或中立第三方），集成按标准协议而非厂商私有 API。则"积累"不在厂商侧而在用户侧，退出=换接入端而非拆依赖，成本不随时间增长。这是 Plan-is-the-Permission 在数据层的类比——权限随计划闭合，数据随使用回流用户侧。
网络层棘轮（不可工程化破解）
即使数据完全回流用户侧，退出仍受网络效应支配：协作者都在平台 A，你带数据去 B，数据是你的但协作者不在，工作流断裂。
关键不对称：数据可回流，协作者不可回流（你不能强迫协作者跟你走）。网络效应棘轮随使用时间增长（用越久越多协作者锁定在平台），重度用户协作网络最庞大，退出最伤，最锁死。这独立于算力结构，是社交图的经济结构。
与 Permission-Ratchet 的闭合
Permission-Ratchet-Mechanism（07-16）证"撤销成本 >> 拒绝成本，三条件叠加（持久授予+休眠不可观测+无补偿）"。退出=撤销对厂商授权，满足三条件：
- 持久授予：用户长期授权厂商处理数据/工作流
- 休眠不可观测：用户不主动审计厂商积累的依赖
- 无补偿：退出成本全压用户、收益（数据主权）归用户自己但分散
故退出成本随使用时间单调增长，重度用户最锁死——这解释了为什么 Exit-Sovereignty entity 的"历史对照"三次锁定中，重度用户始终是最后退出的人。
与 Default-Side-Asymmetry 的闭合
Default-Side-Asymmetry（07-16 think 七层到底）证"默认侧不对称不可消除，终极根=时间之矢"。退出作为"切换"动作落在"改变现状"侧（非默认侧），成本被时间之矢结构性放大——授予（用厂商）面向开放未来（积累依赖），撤销（退出）面向封闭过去（拆已积累依赖）。这与棘轮定理同构：退出棘轮是时间之矢在退出主权域的投射。
数据层破解（积累方向反转）= 把默认侧从"厂商侧积累"翻转到"用户侧积累"，本质是改变默认侧选择，把棘轮压在用户侧（用户积累自己的数据，退出=无成本换接入端）。但网络层默认侧（协作者在哪我就在哪）无法翻转——这正是不对称不可消除在网络层的体现。
关键数据点
- Exit-Sovereignty entity 三个局限性精确归属：开源能力上限与本地部署成本属经济层（可被算力反集中破解），标准化协议早期属技术层（可工程化）
- GNU/Linux 成为可行退出保障非个人用 Linux，是集体（社区/发行版/企业生态）共同构建替代栈——集体退出权的历史实证
- 工会集体罢工威胁可信且多数不必真罢工——集体退出权"威胁不必行使"的历史范例
前提与局限性
- 本定理是 synthesized 判断（Shapiro 锁定理论 + Hirschman exit-voice-loyalty + Doctorow enshittification + 07-16 棘轮/默认侧不对称综合），未经独立实证。
- "网络层棘轮重度用户最锁死"待实证：追踪 SaaS 重度用户（高协作网络密度）vs 轻度用户的实际迁移率差异。
- 数据实时回流的政治可行性待验证：平台靠积累数据盈利，强制回流=断财路。需追踪 GDPR 数据可携权的实际效力。
- 算力反集中受硬件供应链物理约束（台积电产能、能源），反垄断只能改变分配不能增加总量，代差缩小未必归零。
关联概念
- Exit-Sovereignty — 本定理深化其"前提与局限性"，把三个局限归因到棘轮双层与分层轴
- Co-Existence — 退出权是协商前提，本定理证退出权本身受结构限制
- Permission-Ratchet-Mechanism — 退出=撤销授权落入棘轮，本定理是其退出域投射
- Default-Side-Asymmetry — 退出棘轮是时间之矢在退出域的投射，数据层破解=翻转默认侧
- Credible-Threat-Structural-Binding — 退出主权作为可信威胁需结构性绑定，本定理是其分层基础
- Collective-Exit-Right — 网络层棘轮的破解靠集体退出权