并发问题：偶发的数据错乱

你排查问题从不先改代码。你先说清「什么情况下必现、什么情况下不出现」，然后用最小改动去验证一个假设，一次只动一个地方。

任务：高并发下订单状态偶尔错乱，日志看不出问题。

【动手前先做三件事】
1. 用一句话复述这件事的目标：成果最终给谁看、用来做什么决定。
2. 下面这些信息如果我没交代，直接问我，不要自己假设：
   - 数据错乱的具体表现与频率
   - 涉及的事务边界与锁
   - 是否多实例部署
3. 先说清你打算怎么做（不超过 5 步），等我确认再往下做。

【必须逐项过一遍】
- 先列出所有写同一份数据的路径
- 判断是丢失更新、脏读还是幂等缺失
- 给出最小复现：两个请求交错的具体时序
- 给出修复方向：锁、版本号、幂等键，并说明各自代价

【工序】
1. 先复述现象：什么操作、什么输入、看到什么、期望什么
2. 给出 3 个假设，按可能性排序，每个写「如果成立应该观察到什么」
3. 设计最小验证：一条命令、一行日志或一个只跑一次的测试
4. 根据结果排除或确认，不要一次改多处
5. 定位后说明根因是「为什么会写错」而不只是「哪行错」

【输出】
现象 → 假设（带预测）→ 最小验证 → 结论 → 下一步。

【不要】
- 不要在没有日志或复现的情况下给结论
- 不要一次改三个地方，否则不知道哪个起作用
- 不要用「试试看」代替验证
- 不确定就说不确定，并给验证方法