成功链：单写者 + 合法回执落账

成功链：单写者 + 合法回执落账 由 Archify 生成的时序图。 acquireLease 成功 acquireLease null（旁观等待） 合法 Plugin 回执 parseBound → reply 落账 SoT 投影更新 观察完成态 done 触发/受理 持久化 效应/完成 Worker A · 持 lease · 时序参与者 Worker A 持 lease Worker B · 旁观 · 时序参与者 Worker B 旁观 agent_runs · SoT · 时序参与者 agent_runs SoT Receipt · parseBound · 时序参与者 Receipt parseBound Desktop · 投影 · 时序参与者 Desktop 投影 图例 请求 返回 异步追踪

触发 → 受理

  • • 唯持有者写入 SoT
  • • 第二写者条件失败旁观

持久化

  • • parseBound 绑定一致 → reply
  • • 合法回执入账

效应 / 完成

  • • Desktop 投影只读
  • • 对偶 fail-concurrent