阅读主题
核心命题：一致性模型规定操作之间允许出现哪些观察结果。
区分线性一致性、最终一致性、读己之写与单调读，明确对象范围、读写路径和故障下的取舍；解释复制延迟与陈旧窗口，避免把最终一致性等同于固定时间内完成。跨系统流程的补偿与对账交给部分成功、补偿与对账章。
待写：用户刚修改昵称，刷新却看到旧值，再刷新又变回新值，这符合哪种承诺？
以具体操作历史检验观察结果；切换副本、会话与故障条件后仍检查所声明的保证。