雨天小六

读懂 Codex(7.10):`spawn_agent` V1 的参数、创建与 UUID 返回

· 更新于 2026-08-02 · 专栏:读懂 Codex

#Codex#Agent Runtime#Multi-Agent#Extension#软件架构

V1 以 ThreadId/UUID 为后续工具地址,支持显式 message/items、agent_type、模型覆盖与布尔 fork_context,并受派生深度限制;它与 V2 的 task_name/AgentPath 协议不是同一层包装。

本节只研究“V1 spawn_agent 工具合同”。输入是 message/items、agent_type/model/reasoning/service tier、fork_context,状态由 multi_agents V1 Handler 与 AgentControl 持有,成功输出为 agent_id、nickname、初始 status。相邻章节中看起来相似的对象如果由不同组件拥有,就不能用一个布尔状态替代。

先确定边界和状态所有者

问题本节答案
谁发起message/items、agent_type/model/reasoning/service tier、fork_context
谁拥有可变状态multi_agents V1 Handler 与 AgentControl
成功产物agent_id、nickname、初始 status
不在本节内V1 spawn_agent 工具合同之外的上游产品策略和下游业务实现

这张表的用途不是复述名词,而是约束实现顺序:校验必须发生在副作用之前;已经提交的状态只能由原所有者撤销;只读投影不能反过来成为控制权威。

端到端调用链

  1. 解析 Function 参数
  2. 检查 V1 深度
  3. 构造 SpawnRequest V1
  4. AgentControl 创建子 Thread
  5. 发 Collab Item/返回 UUID
`spawn_agent` V1 的参数、创建与 UUID 返回的端到端机制流程,展示解析 Function 参数、检查 V1 深度、构造 SpawnRequest V1、AgentControl 创建子 Thread、发 Collab Item/返回 UUID
图 7.10-1:解析 Function 参数 → 检查 V1 深度 → 构造 SpawnRequest V1 → AgentControl 创建子 Thread → 发 Collab Item/返回 UUID。图中每条箭头都表示下一层只接收上一层已经确认的状态。

这条链里至少有三种时间尺度:配置或身份在 Thread 创建时冻结,Turn 内状态由 Session 串行协调,Step 级目录与能力在每次模型采样前重新捕获。若把后一个时点的新状态拿去解释前一个时点已经发出的调用,就会产生跨代错误。

源码机制拆解

输入可由 message 或结构化 items 表达

Handler 先把工具参数转成用户输入;解析错误在 Spawn 前以模型可读 FunctionCallError 返回。

这项约束直接决定了边界两侧的数据形状。实现时应先证明前置状态,再写入由 multi_agents V1 Handler 与 AgentControl 持有的对象;不能用日志、UI 状态或模型描述代替真实状态更新。

fork_context 是旧布尔开关

true 走 V1 Fork 语义,false 创建空历史;V2 已改为 fork_turns=none|all|N,不能把两个 Schema 混用。

这项约束直接决定了边界两侧的数据形状。实现时应先证明前置状态,再写入由 multi_agents V1 Handler 与 AgentControl 持有的对象;不能用日志、UI 状态或模型描述代替真实状态更新。

agent_type 选择 V1 Role

V1 可以携带 agent_type 以及 model/reasoning/service tier 覆盖;深度来自 SessionSource::ThreadSpawn 并在创建前检查。

这项约束直接决定了边界两侧的数据形状。实现时应先证明前置状态,再写入由 multi_agents V1 Handler 与 AgentControl 持有的对象;不能用日志、UI 状态或模型描述代替真实状态更新。

返回地址是 agent_id

V1 后续 send_input/wait/close 使用 UUID ThreadId,不使用 V2 /root/task 路径。Collab Tool Call Item 同时记录发送者、接收者、模型和状态供 UI 展示。

这项约束直接决定了边界两侧的数据形状。实现时应先证明前置状态,再写入由 multi_agents V1 Handler 与 AgentControl 持有的对象;不能用日志、UI 状态或模型描述代替真实状态更新。

Python 风格伪代码

下面的伪代码提炼状态机与错误顺序,不逐行翻译 Rust,也不假装 Python 对象具有 Rust 的所有权保证:

async def spawn_agent_v1(call, session, turn):
    args = parse_v1_spawn_args(call.arguments)
    depth = next_spawn_depth(session.source)
    if depth > turn.config.agent_max_depth:
        return tool_error(call.id, 'maximum agent depth reached')

    input_items = parse_message_or_items(args)
    emit_collab_started(call.id, tool='spawn', prompt=input_items)
    child = await session.agent_control.spawn_v1(
        parent=session, input=input_items, role=args.agent_type,
        model=args.model, reasoning=args.reasoning,
        fork_parent_history=args.fork_context,
    )
    return {'agent_id': str(child.thread_id), 'nickname': child.nickname}

阅读这段伪代码时要检查三件事:第一,输入是否在副作用前完成规范化;第二,异步等待是否仍携带原 Thread/Turn/Step 身份;第三,失败后究竟释放了什么、又保留了什么。只写快乐路径会把本节最重要的一致性条件删掉。

失败、取消与恢复

`spawn_agent` V1 的参数、创建与 UUID 返回的三类失败分支、可观察结果和恢复责任
图 7.10-2:失败不会抹掉已经提交的状态;每条分支都由拥有该状态的组件执行恢复或补偿。
故障点已发生的状态可观察结果恢复责任
参数既无 message 也无有效 items未发 Collab started模型收到参数错误补有效输入
超过 V1 max depth未预留 Spawn深度限制错误由更高层 Agent 派生
AgentControl 创建失败started item 可能已发completed/failed 工具结果保持 call/output 配对

取消不自动等于回滚,列表不自动等于权威存储,模型看见的描述也不自动等于已经获准执行。对于已经建立的 Thread、写入的 Edge、入队的 Mailbox、安装的插件或外部工具副作用,必须由相应所有者执行显式关闭、补偿或保留。

并发与一致性不变量

  • 同一身份不能在并发路径中被重复预留或重复注册;若允许幂等重试,幂等键必须是稳定路径、ThreadId、request id 或 catalog revision,而不是展示名称。
  • 一次模型采样看见的 Prompt、工具目录和执行入口必须来自同一个 Step 快照;刷新只影响后续 Step。
  • Watch/Activity/事件是通知机制,不是状态本身。被唤醒后必须重新读取 Registry、Session、Mailbox、Store 或 Binding 的权威值。
  • 失败路径不得“为了干净”删除仍可恢复的历史;同样也不得把只剩历史的对象伪报成当前仍驻留运行。

设计思路与代价

本节设计保护的核心不变量是:V1 以 ThreadId/UUID 为后续工具地址,支持显式 message/items、agent_type、模型覆盖与布尔 fork_context,并受派生深度限制;它与 V2 的 task_name/AgentPath 协议不是同一层包装。代价是同一个功能会跨越地址、配置、Session、队列、存储或扩展适配层,测试也必须覆盖正常、并发和中途失败。更短的单体实现虽然容易演示,却无法区分“存在、已加载、正在运行、可恢复、已关闭、模型可见”这些彼此独立的事实。

设计动机部分是根据生产类型、调用顺序和测试行为归纳;源码可直接证明的是字段、分支、状态所有者和失败结果。文章不会把推断写成服务端或产品层的未公开事实。

源码与测试证据

位置能证明什么
codex-rs/core/src/tools/handlers/multi_agents.rsV1 Handler 路由与参数
codex-rs/core/src/tools/handlers/multi_agents_spec.rsV1 ToolSpec
codex-rs/core/src/agent/control/spawn.rsV1 SpawnRequest 执行
测试/可执行检查覆盖重点预期
codex-rs/core/src/tools/handlers/multi_agents_tests.rs正常、边界与状态转换应与本节不变量一致
codex-rs/core/src/tools/handlers/multi_agents_spec_tests.rs失败、并发或兼容行为应与本节不变量一致

当前环境没有 Cargo,本轮不伪报 Rust 测试执行;验证由锁定提交下的源码—测试静态对读、源文件存在性检查、Mermaid 渲染、Astro 生产构建和公开页面检查组成。

Mini Codex 复刻建议

Mini Codex 应先复刻本节的协议不变量:明确状态所有者、稳定身份、可回滚预留、同 Step 快照、超时/取消和单一终态。平台沙箱、远程 Executor、OAuth、Backend App Route 或第三方 MCP Server 的安全性质不能由一个本地 Python mock 证明,适配器只能验证调用顺序和故障处理。

本节结论

V1 以 ThreadId/UUID 为后续工具地址,支持显式 message/items、agent_type、模型覆盖与布尔 fork_context,并受派生深度限制;它与 V2 的 task_name/AgentPath 协议不是同一层包装。 掌握这一点后,再看相邻模块时就能判断它是在改变身份、运行状态、模型可见上下文、外部能力,还是仅提供观察快照。

阅读导航

上一节:父 Agent 指令怎样替换为子角色指令 · 下一节:send_input V1 的 interrupt、queue 与新 Turn 选择

源码依据

本文基于锁定提交 fe01054a28fa4bd04716d9ceadb410f2443a50ce 的生产代码和相邻测试静态核对。关键入口如下:

评论


← 返回文章列表