4.16 多 Agent 与正本：单一写者（A14、A15、Agent/）

产品主张#

每个对象一个主人；信箱串行；乐观并发；租约 + 栅栏号；合入队列；发件箱同包；幂等；补偿；不变量检查；本人优先；防震荡。

支撑理论：产品文档已自行列出出处：Actor 模型（Hewitt, Bishop & Steiger, 1973）、乐观并发控制（Kung & Robinson, 1981）、租约（Gray & Cheriton, 1989）、Saga 补偿事务（Garcia-Molina & Salem, 1987）。另可补充：

• 联合认知系统B（Hollnagel & Woods, 2005；Klein 等, 2004）：人与多个自动化主体的协作，需要共同基础、可预测、可指挥。正本 + 投影就是「共同基础」。
• 语言—行动视角D（Winograd & Flores, 1986）：协作的基本单元是「请求—承诺—完成—确认」的会话。通讯协议的「通报 / 请求 / 回执」正是这个结构。
• 共同基础未分级（Clark & Brennan, 1991）：沟通各方需要不断确认「我们都知道什么」。

证据强度#

并发控制机制在计算机系统中是成熟工程（A，作为工程方法）；联合认知系统 B；语言—行动视角 D。

理论给产品的提醒#

产品诚实地承认「成熟的是管道，不是判断」。多智能体 LLM 系统的语义冲突至今没有成熟方案，这一点在组织扩展时会从「Agent 之间」扩大到「人与人之间」，必须有人类的冲突处理规则（第 7 章）。