这一课解决什么
这一课讲数据模型、Schema、不变量、状态机、幂等、事务、重试和回滚。小白不必会写锁，但必须知道什么时候要求 Codex 考虑这些。
小白比喻
仓库管理不是把东西放进去就完了，还要知道库存、出入库记录、退货和盘点。
第一性原理
- 数据模型决定系统如何理解现实。
- 状态让时间进入系统，副作用让操作改变外部世界。
- 重试、并发和失败会放大没有幂等和事务的风险。
指挥 Codex 的动作
- 让 Codex 先列出实体、状态和不变量。
- 要求写操作说明幂等、事务、回滚和补偿。
- 要求测试重复请求、异常路径和非法状态转换。
练习
为退款流程写出数据模型、状态机和幂等策略。