单条消息全链路沙盘模拟：从回车发送到本机回执与终态核销

单条消息全链路沙盘模拟：从回车发送到本机回执与终态核销 由 Archify 生成的时序图。 IPC submitSubmission (clientRequestId, requestDigest) POST /api/chat (Protocol=3, runtime-work-skill-v2) route() → admitInTx 写 messages + agent_runs(pending) 建立 Work 观察流 (rootRunId, controlRevision=1) claimNextExecutableRun (quota_bucket=foreground) Round 0/1 调本机工具 → 写待办置 status=suspended begin(executing) → claimDispatch → 跑脚本写 Proof 提交回执 → settleInTx 激活 Work (pending_resume) resumeOriginalToolRound 零重调复跑 → 进汇总轮 safeProjectionText 通过 → finishCarrierInTx(completed) 推送终态投影与 reply 结算回执 releaseRespondedChatSubmission 核销发送意图 阶段 1–2：客户端意图落盘、HTTP 提交与 C0/W0 事务准入 阶段 3–4：Worker 异步领取、本机单次执行栅栏与断点复跑 阶段 5：载体终态收口、SSE 投影流与客户端意图核销 Desktop Renderer · useDesktopSSEChat · 时序参与者 Desktop Renderer useDesktopSSEChat Desktop Main · WorkIpcCoordinator · 时序参与者 Desktop Main WorkIpcCoordinator LocalEffectStore · Single-Run Barrier · 时序参与者 LocalEffectStore Single-Run Barrier Gateway & Router · CapabilityRouter · 时序参与者 Gateway & Router CapabilityRouter PG Control Plane · Runs / Ckpt / SSE · 时序参与者 PG Control Plane Runs / Ckpt / SSE Worker & ReAct · driveReActLoop · 时序参与者 Worker & ReAct driveReActLoop 图例 请求 返回 安全

身份锚点贯穿全链

  • • clientRequestId 锚定客户端一次发送意图
  • • rootRunId 锚定服务端原工作生命周期与 Stop 目标
  • • controlRevision 单调递增驱动观察水位线

受理与执行解耦

  • • HTTP 受理事务仅落盘 pending 行，不跑大模型
  • • Worker 按配额桶异步领取并持有 lease 心跳
  • • 本机挂起释放 Worker，回执到达后再激活续跑

双端持久化防丢防重

  • • Main 端 Journal + LocalEffectStore 防崩溃重跑
  • • Agent 端 OwnedRound + Checkpoint 防伪造与漂移
  • • 终态复核条件产物后才核销客户端发送意图