成功链：持有 lease → 正常终态

成功链：持有 lease → 正常终态 由 Archify 生成的时序图。 acquireLease 条件 UPDATE 成功 lease token renewLease 心跳 写终态 completed releaseLease 无需 orphan recover 读投影 completed done 触发/受理 持久化 效应/完成 UnifiedEntry · 持有者 · 时序参与者 UnifiedEntry 持有者 RunStore · lease · 时序参与者 RunStore lease agent_runs · SoT · 时序参与者 agent_runs SoT Protected · 无需 recover · 时序参与者 Protected 无需 recover Desktop · 在办 · 时序参与者 Desktop 在办 图例 请求 返回 异步追踪

触发 → 受理

  • • 单写者 acquireLease 成功
  • • 心跳 renew 保持有效

持久化

  • • agent_runs 终态 completed
  • • releaseLease 清字段

效应 / 完成

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