成功链：Run lease 持有全程 → 释放

成功链：Run lease 持有全程 → 释放 由 Archify 生成的时序图。 acquireLease lease token renewLease 成功 expires_at 延长 dispatch 工具 completed releaseLease 回合完成 SSE done 触发/受理 持久化 效应/完成 UnifiedEntry · turn · 时序参与者 UnifiedEntry turn agent_runs · lease · 时序参与者 agent_runs lease LeaseScope · heartbeat · 时序参与者 LeaseScope heartbeat HostRouter · tools · 时序参与者 HostRouter tools Desktop · SSE · 时序参与者 Desktop SSE 图例 请求 返回

触发 → 受理

  • • acquireLease 条件 UPDATE 成功
  • • LeaseScope 心跳续约

持久化

  • • lease_token / expires_at 持有
  • • 工具 delivery=completed

效应 / 完成

  • • releaseLease 清 token
  • • 对偶 fail-lease-mid