ReAct 轮次证明、挂起与原工具续跑

ReAct 轮次证明、挂起与原工具续跑 由 Archify 生成的时序图。 orchestrate → driveReActLoop 请求模型 (OwnedRoundProjection) 返回 tool-call (acceptedResponseDigest) execute(input) 触发本机能力 写待办 + 抛 LocalToolSuspendedSignal 回执结算激活 → 重新领取 carrier 传入 OriginalToolRoundResume 核对 runId/boundarySeq/argsDigest 直接复跑同一 toolCallId (不调 LLM) 返回 RoundResult → slimToolResults 进下一轮 首轮模型调用与本机挂起 回执到达后断点复跑原工具 Worker / Attempt · executeRunAttempt · 时序参与者 Worker / Attempt executeRunAttempt driveReActLoop · OwnedRound / Breaker · 时序参与者 driveReActLoop OwnedRound / Breaker LLM Provider · Model boundary · 时序参与者 LLM Provider Model boundary resumeOriginalTool · 6 项签名核验 · 时序参与者 resumeOriginalTool 6 项签名核验 Mounted SDK Tool · Local / Server · 时序参与者 Mounted SDK Tool Local / Server Work Control & PG · Checkpoint / Receipt · 时序参与者 Work Control & PG Checkpoint / Receipt 图例 请求 返回 安全

轮次证明与防死循环

  • • WeakMap 绑定 OwnedRoundProjection 证明
  • • RepeatedToolCallBreaker 连续 3 轮同指纹熔断
  • • 未决本机挂起不计入重复失败次数

断点续跑不重调模型

  • • resumeOriginalToolRound 消费已捕获的响应
  • • 核对 runId / invocationId / boundarySeq / argsDigest
  • • inputSchema 漂移直接报 SCHEMA_CHANGED

上下文体积控制

  • • slimToolResultsForNextRound 仅裁剪下一轮上下文
  • • read_files 与图片结果豁免静默截断
  • • durableLocalReadPlaceholder 只存回执证明