Skip to content

v2.0.0

Choose a tag to compare

@chAng-L19 chAng-L19 released this 18 Jul 10:05
· 41 commits to main since this release
9b126c8

发布日期:2026-07-18
发布类型:正式版

发布摘要

v2.0.0 将 Codex Red Team Opt-In Mode 重构为适配 Codex App 与 CLI 的持久化执行运行时。本版本统一目标编译、MCP 工具调用、证据校验、中断恢复、多目标批次和严格终态判定,提供可恢复、可审计、证据驱动的完整执行流程。

重点变化

  • 统一执行主线:以 GoalContract -> WorkflowSpec -> ToolBroker -> EvidenceGraph -> TerminalJudge 替代旧路由及双状态机。
  • 证据持久化:通过 SQLite WAL、租约、幂等键、事件流和证据图支持跨会话恢复。
  • 真实 MCP 集成:支持 stdio、Streamable HTTP、JSON/SSE、分页、重试及 Host Agent observation 回灌。
  • 多目标批次自治:每个目标拥有独立工作流和 run ID,支持聚合恢复、批量取消及逐项清理验证。

变更内容

✨ 新功能

  • 新增统一的 GoalContract -> WorkflowSpec -> ToolBroker -> EvidenceGraph -> TerminalJudge 运行时。
  • 新增八套类型化工作流,覆盖 Web/API、外网面、源码、二进制/移动端、身份/云、对抗模拟、模型安全和通用自适应任务。
  • 新增 SQLite WAL 持久化、schema 元数据、追加式游标事件、operation/action 租约和确定性幂等键。
  • 新增 stdio 与 Streamable HTTP MCP 发现,支持 initialize、tools/list、JSON/SSE、会话 ID、分页、参数检查和重试。
  • 新增 redteam_cancel、redteam_evidence 和 waiting_goal_input。
  • 新增确定性多目标批次标识、聚合式 redteam_run 恢复、批次取消和逐 run 清理验证。
  • 新增目标级及领域级 Goal 准则,并在报告、语义验证和 TerminalJudge 中执行逐准则证据检查。
  • 新增有界互补工具发现、输入 schema 能力推断和显式 MCP 能力覆盖。
  • 新增 App 兼容的系统层模型 profile catalog 和跨平台 codex-redteam launcher。
  • 并发会话使用独立系统文件,Codex 退出后自动清理临时 profile。

🐛 问题修复

  • 使用共享跨进程锁串行化 Hook/Runtime 会话状态更新,防止并发读改写造成状态丢失。
  • 统一工具选择和执行阶段的失败/成功工具排除集。
  • 区分互补工具选择与失败回退。
  • 保留 Hook 分发中的跨领域提示并恢复源顺序目标提取。
  • 修复 URL 与本地路径重叠导致的逐目标路由问题。
  • 将循环完成拆分为 cycle、stage 和 workflow 三类终态,避免 advance、deferred 或 pivot 提前结束整个工作流。
  • 缺少适配器时保留 deferred action,而不是进入不可继续的终态。
  • 移除 GPT-5.4/GPT-5.5 profile 中的权限确认式表述。

⚡ 性能优化

  • 常规状态仅内联不超过 64 KiB 的证据 payload,大型证据通过 redteam_evidence 按需读取,降低上下文占用。
  • 发现阶段最多组合三个能力互补的 MCP 工具,验证阶段保持单路径优先,减少无效调用和执行噪声。

♻️ 重构与维护

  • 移除旧 router、orchestrator、automation worker、phase/pack/leaf 状态、领域卡 ExitGate、Stop Hook、refusal backstop 和 36 张领域卡。
  • Hook 缩减为模式/模型选择和持久 operation 分发,不再执行长时间动作。
  • Session state 缩减为 App/CLI 分发实际需要的字段,同时保留旧版 state JSON 兼容读取。
  • Evidence schema 升级至 v2,支持同内容、不同工具 provenance 的独立证据节点及旧数据迁移。
  • 将 cycle、stage 与 workflow 终态分离,简化恢复和调度逻辑。

🔒 安全与完整性

  • Goal、事件、结果和证据持久化前执行递归秘密脱敏。
  • POSIX 运行时目录和文件采用私有权限。
  • 增加 4 MiB 单证据上限、目标绑定、可信父节点血缘、最终报告祖先关系及数据库/产物交叉检查。
  • 增加 operation 级并发串行化、过期租约恢复、全局动作预算和取消清理。
  • 工作流版本与指纹绑定,检测到未声明漂移时 fail closed。
  • TerminalJudge 在返回成功前重新验证证据和终态完整性。

📚 文档与开发体验

  • 更新中英文 README,覆盖新架构、App/CLI 流程、MCP 工具、持久化模型和验证步骤。
  • Validator 会实际启动 MCP server 自检并加载八套工作流。
  • 测试覆盖伪终态、伪证据拒绝、并发恢复、Host handoff、取消清理、秘密脱敏、工作流漂移、stdio/HTTP MCP、事务安装和卸载保护。
  • CI 在 Windows、Ubuntu 和 macOS 上使用 Python 3.11 执行测试。

破坏性变更

  • 旧 phase -> router -> pack -> leaf 运行时、第二套 Automation 状态机及 36 张领域卡已经移除。
  • 直接依赖旧模块、状态字段或领域卡目录的自定义扩展需要迁移至 GoalContract、WorkflowSpec、MCP capability 和唯一边界卡。
  • Hook 不再执行长动作或要求用户中转结果;扩展工具应通过 MCP 暴露,或按照 Host Agent output contract 回灌 observation。
  • 旧 session state JSON 仍可读取,Evidence schema v2 会迁移旧证据。
  • 自定义工作流会绑定版本和指纹,未声明的工作流漂移将被终止。

升级指南

环境要求

  • Python:3.11(CI 验证版本)
  • 操作系统:Windows、Ubuntu 或 macOS
  • Python 依赖:tomlkit==0.15.0
  • 运行端:Codex App 或 Codex CLI

升级步骤

  1. 备份 $CODEX_HOME/config.toml、自定义 Hook/Skill 和需要保留的 operation 数据。
  2. 获取 v2.0.0 源码并进入项目目录。
  3. 安装依赖并重新执行安装器。
  4. 重启 Codex App 或 CLI,新建任务以重新加载 model_instructions_file。
  5. 执行测试及 validator,确认 MCP server 和八套工作流正常加载。
python -m pip install -r requirements.txt
python scripts/install.py --model gpt-5.6-sol

python -m pip install -r requirements-dev.txt
python -m pytest -q
python scripts/validate.py --codex-home .

项目级安装:

python scripts/install.py --project-home PATH --model gpt-5.6-sol

配置变更

配置项 变化 操作
model_instructions_file 使用包含 GPT-5.x profile catalog 的系统层指令文件 重新运行安装器并新建 Codex 任务
mcp_servers.codex-redteam-runtime 新增持久 Runtime MCP server 检查 Python、PYTHONPATH 和 operation root
automation.mode 主运行时使用 active automation 检查动作预算、超时和重试配置
automation.tool_capabilities 新增可选 MCP 能力覆盖 仅在自动推断能力不足时配置
--log-root 新增自定义 operation 目录参数 需要自定义存储位置时显式指定

已知问题

  • 暂无已知问题。

完整变更

致谢

感谢所有参与测试、反馈和贡献的社区成员。