这一课解决什么
这一课讲数据模型、Schema、不变量、状态机、幂等、事务、重试和回滚。小白不必会写锁，但必须知道什么时候要求 Codex 考虑这些。
小白比喻
仓库管理不是把东西放进去就完了，还要知道库存、出入库记录、退货和盘点。
建筑与城市规划视角 / Architecture Lens
- 城市系统
- 城市里的道路、管线、门禁、消防状态会互相影响。改一条管线，不只是地图上画一笔。
- 指挥动作
- 要求 Codex 明确数据模型、状态机、事务、幂等、重试和补偿，不让副作用野蛮施工。
- 交付产物
- 状态机图、数据不变量、幂等和事务风险表。
第一性原理
- 数据模型决定系统如何理解现实。
- 状态让时间进入系统，副作用让操作改变外部世界。
- 重试、并发和失败会放大没有幂等和事务的风险。
指挥 Codex 的动作
- 让 Codex 先列出实体、状态和不变量。
- 要求写操作说明幂等、事务、回滚和补偿。
- 要求测试重复请求、异常路径和非法状态转换。
练习
为退款流程写出数据模型、状态机和幂等策略。