多 Agent 并发与事务

用一个具体的航班预订 race condition 把多 Agent 并发问题钉死，划清 Agent 事务与 DB 事务、Saga、Reflexion 的边界，建立看任何 multi-agent 系统的并发坐标系

把多 Agent 冲突按粒度 × 类型的二维矩阵钉死，逐一拆解 AgentSTM 14 个任务里 11 个损坏案例的失败链路，给一份「看代码就能识别冲突类型」的工程字典

用 30 年 STM 简史拉出版本号 / read-set / write-set / commit-time validation 这套原语，再一砖一瓦把它移植到 LLM Agent 的 ATVar / 事务上下文 / 重规划循环上

把 1987 Sagas 到 2026 ATCC 这 39 年间的 27 篇关键文献按 5 大流派系统精读，给出每篇的动机/方法/贡献/局限，再横评研究方法论演进与 5 个开放问题