失败链：并发写者 / 错误 SoT 写入

失败链：并发写者 / 错误 SoT 写入 由 Archify 生成的时序图。 acquireLease 成功 acquireLease null（条件 UPDATE） CONCURRENT_RUN / BUSY 无写 agent_runs 路径 Plugin 回执错绑定 parseBound → null 拒绝落账 retryable 等待 触发/检测 持久化 效应/恢复 Worker A · 持 lease · 时序参与者 Worker A 持 lease Worker B · 并发 · 时序参与者 Worker B 并发 agent_runs · SoT · 时序参与者 agent_runs SoT Receipt · parseBound · 时序参与者 Receipt parseBound Desktop · 投影 · 时序参与者 Desktop 投影 图例 请求 返回 安全 异步追踪

触发 → 检测

  • • 第二写者 acquireLease 条件失败→null
  • • 同会话活跃 run → CONCURRENT_RUN

错误 SoT 写入

  • • Desktop 投影无写 agent_runs API
  • • parseBoundPluginReply 拒错绑定

恢复 / 死胡同

  • • 客户端 retryable 等待持有者
  • • 错绑定回执不入账，需合法重传