ARC 6证明边界并完成毕业项目第 23–26 章
第六篇回顾 —— 用边界和证据毕业（第 23–26 章）
DSM 的价值在于为适合共享的协同状态提供明确语义、恢复路径和证据边界；权威业务事实仍由相应系统负责。
四个毕业判断
- 协议判断：真实端口证明路径可达，但 Redis-shaped 不等于 Redis 产品，也不改变分区语义。
- 范围判断：federation 为三类集合保留不同合同，不创造全局事务或跨区 Lease 所有权。
- 反选判断：权威事实、完整历史、强协调和纯缓存分别回到更合适的系统。
- 发布判断：证据链按 claim 选等级，明确当前通过与部署待验收。
本篇如何兑现 DSM 价值
第六篇通过真实端口、federation、技术反选和毕业项目检验 DSM 的价值边界。完成这些实验后，团队可以说明哪些一致性工程已经由 DSM 复用，哪些业务与生产责任仍在外部，并据此作出采用、拒绝或继续验证的决定。
贯穿案例最终映射
| 状态 | 最终选择 | 保留的外部责任 |
|---|---|---|
| route hint | Register | 健康事实来源、TTL/清理、错误路由处置 |
| shard owner | Lease | 外部 fencing、uncertain 处理、分区策略 |
| request counter | PN-Counter | 仅作可合并观测，不作结算 |
| 订单与库存 | 拒绝 DSM 为事实源 | 事务、审计、补偿 |
| 跨区协同 | 按集合选择 federation | 真实 relay、安全、容量与恢复 |
可验证的全书学习结果
- 能从业务不变量选择 Register、Lease、CRDT 或拒绝。
- 能解释 local commit、remote visibility、repair 与业务成功的差异。
- 能用 diagnostics/metrics/trace 定位问题，并控制指标基数。
- 能写出 security、lifecycle、capacity 与 federation 的诚实边界。
- 能运行 capstone，并把本书证据与目标部署验收分开。
全书最后一句
分布式共享内存不把远端访问伪装成本地访问。DSM 通过明确的集合语义、恢复过程和证据边界，使不可避免的分歧可以被业务理解、由工程系统处理，并通过实验复核。