2026-10-20 08:55:47 +00:00
2 changed files with 212 additions and 0 deletions
@@ -0,0 +1,164 @@
+# feature/fast-slow-o2-i2-backend 任务卡
+
+任务主记录：PR #652 https://git-home.u1680832.nyat.app:30319/weichen/Agent-System-Dev/pulls/652；状态：已完成（合入前闭合）；owner：weichen
+
+## 基线与授权
+
+- 权威仓：ssh://git@git-ssh.u1680832.nyat.app:31411/weichen/Agent-System-Dev.git；目标分支：main；R0（initial_base_sha）= d2035c76dc1cb15e01d2c184af5155d9d773cd9f
+- 工作区：/home/weichen/projects/Agent-System-Dev-wt-feature-fast-slow-o2-i2-backend（worktree）；分支：feature/fast-slow-o2-i2-backend
+- 分支类型：standalone；root_target：main；immediate_target：main；accepting_requirements：false
+- 需求分流：verdict=NEW；selected_initiative=无；requirement_sha256=95d3a2ee34b8bdcabd1222b2ffbad0031a98717338fa400b8d7367d9d7d91610；triage_receipt=/tmp/o2i2-20261020/triage.json；receipt_sha256=88c443107094b249c62de6b88b0d3503d8caa4e420b802ebc4002dc58bb9250e
+
+- 授权与交付终点：用户 2026-10-20 在 O2 I1 阶段 6 结论中选择“通过并启动 I2”（方案/计划阶段 4/5 已于同日通过）。终点：Backend I2 草稿 PR 经独立 Review 与 CI 通过 + 阶段 6 评审包，待用户阶段 6 人审后再合入。未授权：I3 Dev 改钉（I2 通过后启动）、P1 付费探针、写入任何实例的系统层配置、部署、真实模型/付费请求。
+- 交付模式：goal-first（目标、范围和交付终点一次确认；范围内连续推进）
+- 实施执行：agent-per-unit（配置：AGENT-EXECUTION.md）
+- 合入执行：agent（已授权交付范围内，Review 通过、冲突解决且当前 HEAD 的 CI 通过后合入）
+- 人工决策点：仅限目标/范围/验收变更、重大取舍、高后果操作或无法自动判定的业务验收
+- 当前阶段：实施与自检；当前增量：I2（Backend 分支 feature/fast-slow-o2-i2-route-contract，base origin/main b5eb89c）
+- 流程依据：仓库根目录 policy/delivery.md（归档后仍按仓库根目录定位）
+
+## 目标与非目标
+
+- 目标：Backend 以系统层三键 `models.routeContractEOF.model/.baseUrl/.identitySha256`（默认空 = 关闭）声明 O2 路由合同；5 个 `openLLMClient` 调用点统一按各自解析出的 (model, base) 精确判定是否挂 `RouteContractEOF`；`deps/agent-native` 改钉到 I1 合入提交 `2fc66be`。
+- 受影响：Backend `internal/runtime`（`openRouteClient`/`routeContractFor`）、`internal/settings/settings.go`、`deps/agent-native` gitlink。
+- 非目标：不改 Agent-Native；不写入任何实例配置；`runmgr` 无需改动（Backend 生产代码不记录终态字段，快慢通道收据由测试侧评估工具记录整个 `terminalObservation`，改钉后自动包含 `completionBasis`）；Dev 改钉（I3）、付费探针（P1）不在本卡。
+
+## Agent 实施收据
+
+路由与 fail-stop 规则见根目录 AGENT-EXECUTION.md 与 policy/delivery.md；每次尝试一行，原始日志留在源码外收据路径。
+
+| 单元 ID | 预期范围 | 配置摘要 | 角色 | 候选顺序 | attempt | CLI/模型 | 终态 | transport | fallback | 源码外收据路径 |
+|---|---|---|---|---|---|---|---|---|---|---|
+| o2-i2-backend-route-contract-config | deps/agent-native、internal/runtime/、internal/settings/ | AGENT-EXECUTION.md | implementation | cursor→antigravity→pi | 1 | — | invalid-config（host 把写单元包与派发并行执行，执行器读包时文件尚不存在；attempts 为空，无任何改动；fail-stop） | 未集成 | never | /tmp/o2i2-20261020/o2-i2-receipt.attempt1-invalid-config.json |
+| o2-i2-backend-route-contract-config | 同上 | AGENT-EXECUTION.md | implementation | cursor→antigravity→pi | 2（用户 2026-10-20 授权全新重跑） | cursor / auto | success | `e1a90a5`（ref refs/agent-exec/8eed31d0…/d97e9636，parent b5eb89c），`agent-exec apply` 快进集成 | never | /tmp/o2i2-20261020/o2-i2-receipt.json |
+| o2-i2b-eval-receipt-route-contract | internal/runtime/llm.go、internal/server/work_checkpoint_eval_test.go、internal/server/work_checkpoint_eval_route_contract_test.go | AGENT-EXECUTION.md | implementation | cursor→antigravity→pi | 1 | cursor / auto | failed-unknown（worker exit 1，原始日志末尾 `RetriableError: [internal] HTTP/2 keepalive ping timed out after 5000ms`；变更仅在允许路径内但未完成，执行器无法机械对账外部副作用；fail-stop，未换候选） | 未集成 | never | /tmp/o2i2-20261020/o2-i2b-receipt.attempt1-failed-unknown.json |
+| o2-i2b-eval-receipt-route-contract | 同上 | AGENT-EXECUTION.md | implementation | cursor→antigravity→pi | 2（用户 2026-10-20 07:54 对“授权全新重跑（推荐）”回复“继续”） | cursor / auto | success（219s） | `16f98b8`（ref refs/agent-exec/4792e791…/c578cdde，parent e1a90a5），`agent-exec apply` 快进集成 | never | /tmp/o2i2-20261020/o2-i2b-receipt.json |
+
+## 关联方向与规划
+
+- 适用状态：待核对（无适用规划时说明原因）
+- 主记录路径/版本：待核对（路径按仓库根目录定位，归档后不变；只引用唯一正文）
+- 对应里程碑：待核对
+
+## 需求分析
+
+| ID | 描述 | 项目符合度及依据 | 优先级 | 验收条件 | 依赖 | 结论 |
+|---|---|---|---|---|---|---|
+| R1 | I2：Backend 系统层合同配置与按身份挂合同 | 符合：O2 阶段 4/5 通过；I1 阶段 6 通过（Agent-Native #48 合入 2fc66be） | P1 | 计划 §3 测试全部通过：缺省关闭；用户层写入被忽略；模型/基址/摘要任一不符不挂；视觉改模/轻量档独立判定；挂合同后假流放行一次工具并记 `route_contract_eof`；删除配置恢复拒绝；现有断言不删减 | I1 | 实施中 |
+
+## 方案与计划
+
+- 方案引用：docs/superpowers/specs/2026-10-19-fast-slow-o2-route-contract-eof-design.md §4.5（Dev main，PR #639）
+- 实施计划引用：docs/superpowers/plans/2026-10-19-fast-slow-o2-route-contract-eof-plan.md §3（I2）
+- 测试计划引用：同上 §3 测试与验证命令
+
+## 阶段记录
+
+| 阶段 | 对象版本 | 状态 | 决策/执行者 | 时间 | 依据 |
+|---|---|---|---|---|---|
+| 需求拆解 | 待定 | 待执行 | — | — | — |
+| 需求评估 | 待定 | 待执行 | — | — | — |
+| 需求表确认 | 待定 | 待执行 | — | — | — |
+| 方案设计 | 待定 | 待执行 | — | — | — |
+| 实施计划 | 待定 | 待执行 | — | — | — |
+| 实施与自检 | Backend `16f98b8` | 完成 | Cursor worker ×2 单元 + host 验证 | 2026-10-20 | 收据表；host SELF 验证见评审包 §2 |
+| 正式测试与验收 | Backend `16f98b8` | 用户阶段 6 通过 | 用户 | 2026-10-20 08:06 | 用户对“通过：合入 #224 和 #652，并启动 I3（推荐）”回复“继续”；评审包 docs/superpowers/specs/2026-10-20-fast-slow-o2-i2-review.md |
+| 代码 Review | `e1a90a5` / `16f98b8` | PASS | 独立子智能体 8b8edce1（第 1 轮 PASS-with-fixes）、b0f773ba（第 2 轮 PASS） | 2026-10-20 | 见合入与清理节 Review 记录 |
+| 合入 | Backend #224 | 已合入 `c164950` | host（agent） | 2026-10-20 | 见合入记录 |
+| 合入核验与收口 | 待定 | 待执行 | — | — | — |
+
+## 探索试验与迭代
+
+| 增量/试验 | 假设 | 范围 | 判断和停止条件 | 授权/决策依据 | 结果 | 变更影响 | 需重审补测 |
+|---|---|---|---|---|---|---|---|
+| 待定义 | — | — | — | 待核对 | NOT_RUN | 待评估 | 待评估 |
+
+## 同步记录
+
+| 节点 | sync_base_sha | tested_head_sha | checked_at |
+|---|---|---|---|
+| 启动 | d2035c76dc1cb15e01d2c184af5155d9d773cd9f | d2035c76dc1cb15e01d2c184af5155d9d773cd9f | 2026-10-20T06:05:02Z |
+
+## 证据（Evidence）
+
+<!-- CMD="<命令>" make evidence 写入；手抄/转写输出视为无效证据（AGENTS.md 证据与验证门禁）。 -->
+| 时间(UTC) | 命令 | 被测HEAD | exit | 来源 | sha256(16) |
+|---|---|---|---|---|---|
+
+## 交付调度
+
+- 调度状态：未入队；调度记录：无
+- entry_id：无；attempt_id：无；窗口执行者：无
+- 固定候选：无（base/head、组件与相关配置引用实际尝试）
+- 调度依据：policy/delivery.md#合入调度
+- 固定后证据：源码外 RECEIPT；实际结果后按授权原样导入和闭合
+
+## 结果与验证
+
+- 结果：
+- 验证：<结论摘要 PASS/FAIL/SKIP/NOT_RUN 逐项；逐条证据由 make evidence 写入上方证据表>
+- 影响与剩余项：
+
+## 规划进展与下一步
+
+- 本次推进/剩余：待核对（依据实际成果更新适用方案/规划）
+- 首选下一任务：待核对（无适用规划、已完成或受阻时如实说明，不虚构任务）
+- 推荐依据：待填写
+- 前置条件/待确认：待核对
+- 预期产物/验收条件：待定义
+- 重复任务核对：待核对（已有/在途任务、PR 与规划记录）
+- 启动授权：未授权（建议不自动启动新任务，仍须明确授权）
+
+## 合入与清理
+
+- Review 记录：第 1 轮——全新独立 Cursor 子智能体（agent 8b8edce1，fresh_session=true，只接收目标/计划/base b5eb89c..head e1a90a5 diff/CI），结论 PASS-with-fixes：5 条单元验收均满足（本地 SELF 重放 vet、`go test -race ./internal/runtime ./internal/settings`、gofmt、diff --check 通过）。阻塞（相对已批准计划 §3 I2“运行记录与快慢通道收据透传 completionBasis”，host 写单元包时漏列）：`internal/server/work_checkpoint_eval_test.go` 的 `evalProviderStream` 直接构造 Client 不挂合同，`evalTerminalObservation`/`evalCallRecord` 白名单丢 `CompletionBasis`/`ContractCheck`。处置：属已批准 I2 范围，补派单元 `o2-i2b-eval-receipt-route-contract`。非阻塞（只记录）：`internal/app/app.go:350` 小队内核直接构造 Client（不在批准的 5 个调用点内，维持失败关闭）；`app.go:519` 意图生成器无合同无影响；5 个调用点与 `Execute` 的 nil-stream 分支靠审读确认；`settings.go` baseUrl 说明未提 fragment/userinfo。第 2 轮——全新独立 code-reviewer 子智能体（agent b0f773ba，fresh_session=true，只接收需求与 e1a90a5..16f98b8 diff），结论 **PASS，无阻塞项**：生产代码零行为变化（仅导出薄封装）；评测判定经真实 settings 服务 `SetSystemOverride`+`Effective` 与生产同源；白名单无泄漏路径（含 PRIVATE_/C10/大小写反例）；不匹配失败关闭；既有断言未删减。评审者重放（REPLAY）：`go vet -tags live ./internal/server`、`go test -tags live ./internal/server -run 'TestEval|TestEvaluation|TestExtraA01|TestFollowupA01|TestMechanism'`、`go test ./internal/runtime` 均通过。非阻塞：配置了 `routeContractEOF` 却未挂上时评测静默按无合同运行（建议 P1 前改为 t.Fatal，避免浪费付费请求）；合同对象未知键被静默丢弃。
+- 冲突记录：Backend #224 合入前 origin/main（b5eb89c）是 head 的祖先，无冲突；Dev 侧见同步记录。
+- CI 记录（Backend #224，GATE）：head `16f98b8e4fbc413d65e2d76b761ffe19afc65a67` 全部 success——`ci / vet-and-test`（/weichen/Agent-System-Backend/actions/runs/4409/jobs/7158）、`governance / governance`（runs/4410/jobs/7159）；前一 head `e1a90a5` 亦 success（runs/4382/jobs/7104、runs/4383/jobs/7105）。注意：CI 跑 `go vet ./... && go test ./...`，不含 `live` tag，评测文件 `internal/server/work_checkpoint_eval*_test.go` 的测试只有 host SELF（`go test -tags live ./internal/server` 24 项通过）与评审重放。
+- 合入记录：Backend PR #224（授权：用户 2026-10-20 08:06 阶段 6 通过）被核验 HEAD `16f98b8e4fbc413d65e2d76b761ffe19afc65a67`（CI success），合入 Agent-System-Backend main，merge commit `c16495006dbf1cf6ee581b48d99bba1e7f9a377c`，main tree `43129de` 与被核验 HEAD tree 一致。Dev 侧 gitlink 改钉由 I3 负责。
+- 清理记录：NOT_RUN（授权依据、写者退出确认、worktree/分支/任务卡处置）
+
+<!-- Local receipt: SELF. Digests detect corruption; they do not authenticate a reviewer or CI. -->
+```json
+{
+  "summary_schema": 1,
+  "source": "SELF",
+  "timestamp": "2026-10-20T06:04:02.239270+00:00",
+  "command": "make precheck",
+  "exit_code": 0,
+  "cwd": "/home/weichen/projects/Agent-System-Dev",
+  "before_head": "d2035c76dc1cb15e01d2c184af5155d9d773cd9f",
+  "after_head": "d2035c76dc1cb15e01d2c184af5155d9d773cd9f",
+  "branch": "main",
+  "target_branch": "main",
+  "target_head": "d2035c76dc1cb15e01d2c184af5155d9d773cd9f",
+  "root_target": "main",
+  "immediate_target": "main",
+  "before_tracked_diff_sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
+  "after_tracked_diff_sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
+  "output_tail": [
+    "make[1]: Entering directory '/home/weichen/projects/Agent-System-Dev'",
+    "[repo]   branch=main head=d2035c76dc",
+    "[remote] origin/main=d2035c76dc ahead=0 behind=0",
+    "[tree]   clean submodules_drift=0 uninit=0",
+    "[worktrees] linked=8",
+    "[initiatives] local cards (not authoritative): none",
+    "[hooks]   core.hooksPath=scripts/hooks（pre-commit/post-merge 实际接线）",
+    "[facts]   policy/facts.md 6 条事实均在有效期内",
+    "[required-reading] core/baseline.md, workflows/delivery.md §1, policy/delivery.md",
+    "[R0] d2035c76dc（完整：d2035c76dc1cb15e01d2c184af5155d9d773cd9f）",
+    "[worktree] before-sync: recursive component checks passed",
+    "[verdict] READY — 保留本次 precheck receipt 后建任务工作区：PRECHECK_RECEIPT=/tmp/task-precheck.json make task-start NAME=feature/your-branch",
+    "make[1]: Leaving directory '/home/weichen/projects/Agent-System-Dev'"
+  ],
+  "output_sha256": "32e2a7ee7d89e931af5b2d76a480bf3ccfb9367bff3bc01a91df24649e3a09d8",
+  "receipt_sha256": "c2a4c48509432276fcb5c41d14a8e62e01dda2248d6e49da03b8438114e3650d",
+  "receipt_path": "/home/weichen/.cache/agent-system-dev/evidence/c2a4c48509432276fcb5c41d14a8e62e01dda2248d6e49da03b8438114e3650d.json"
+}
+```
+
+## 闭合记录（合入前折叠）
+
+- 本卡在 PR #652（https://git-home.u1680832.nyat.app:30319/weichen/Agent-System-Dev/pulls/652）合入前闭合并归档，随该 PR 一同合入。
+- 该 PR 的合并提交即本任务的落地记录。
+- 合入后无需回填，也无需单独的闭合 PR。
+| 同步（记录前对象） | adbef2f49c6c252a09449496afbdb6685201993b | c70ebf53bfac50b460707d7eb6f482f20e697701 | 2026-10-20T08:08:33Z |
@@ -0,0 +1,48 @@
+# 快慢通道 O2 I2（Backend `route_contract_eof` 配置与挂载）：阶段 6 评审包
+
+- 状态：**用户阶段 6 通过（2026-10-20）**，并要求启动 I3。Backend #224 已合入 main（`c164950`）。P1 付费探针另提资源方案。
+- 日期：2026-10-20；作者：host；Dev 任务：`feature/fast-slow-o2-i2-backend`（Dev 草稿 PR [#652](https://git-home.u1680832.nyat.app:30319/weichen/Agent-System-Dev/pulls/652)）。
+- 依据：[阶段 4 方案 §4.5](2026-10-19-fast-slow-o2-route-contract-eof-design.md) 与[阶段 5 计划 §3](../plans/2026-10-19-fast-slow-o2-route-contract-eof-plan.md)；I1 已于 2026-10-20 通过，Agent-Native #48 合入 `2fc66be`。
+- 交付对象：Backend 草稿 PR [#224](https://git-home.u1680832.nyat.app:30319/weichen/Agent-System-Backend/pulls/224)，base `b5eb89c`（origin/main），head `16f98b8`。
+
+## 1. 交付内容
+
+| 计划条目 | 实现 | 位置 |
+|---|---|---|
+| 改钉 Agent-Native | `deps/agent-native` `28f3ea7 → 2fc66be`（I1 合入点） | gitlink |
+| 系统层配置键 | `models.routeContractEOF.model/.baseUrl/.identitySha256`，`SettingScopeSystem`、缺省空；任一为空即关闭；用户/项目层写入被 `ManagedPaths` 剥除 | `internal/settings/settings.go` |
+| 按身份挂合同 | `routeContractFor(eff, route)`：三项非空、模型名精确相等、`NormalizeRouteBaseURL(route.Base)` 成功且等于配置值、`RouteContractIdentity` 等于摘要，全部满足才挂；只看本 client 实际解析出的 (model, base)，不看 `Kind` | `internal/runtime/llm.go` |
+| 5 个调用点全覆盖 | `llm.go`、`sub_loop.go`、`squad_runner.go`、`verify.go`、`workflow_compiled.go` 统一改用 `openRouteClient(route, eff)`；轻量档、视觉改模、子代理各自独立判定 | 同左 |
+| 运行记录透传 | Backend 包装器（`annotateKeyFailure`、`GuardProjectStream`、`budgetedStream` 等）原样转发事件，`CompletionBasis`/`TerminalObservation` 不丢；runmgr/store 本来不记录终态观测，无需改 | 测试断言 |
+| 快慢通道收据透传 | 评测工具按同一规则挂合同（导出薄封装 `runtime.RouteContractFor`）；受保护 route 文件可选 `routeContractEOF{…}` 移入系统层；`provider-records.json` 每条记录新增 `completionBasis`，`terminalObservation` 透传 `completionBasis`/`contractCheck`，均按枚举白名单（其它值记 `unknown`，空保持空） | `internal/server/work_checkpoint_eval_test.go`（`live` tag） |
+
+## 2. 验证
+
+- 实施：两个 Cursor worker 单元，均经 `agent-exec apply` 快进集成。
+  - `o2-i2-backend-route-contract-config`：attempt 2 success（attempt 1 是 host 把写单元包与派发并行，导致 invalid-config）。
+  - `o2-i2b-eval-receipt-route-contract`：补收据透传，attempt 2 success（attempt 1 因 Cursor CLI 连接中断记为 failed-unknown）。两次重跑均经用户授权。
+- host 验证（SELF）@`16f98b8`：
+  - `gofmt`、`git diff --check`、`go vet ./internal/runtime ./internal/server`（含 `-tags live`）通过。
+  - `go test ./internal/runtime ./internal/settings -count=1` 通过。
+  - `go test -tags live ./internal/server` 新增 4 个 `TestEvalRouteContract*` 与既有 20 个评测预算/脱敏测试全部通过。
+- CI（GATE）：Backend CI 跑 `go vet ./... && go test ./...`。
+  - `e1a90a5` 已 success。
+  - `16f98b8` success（`ci / vet-and-test` runs/4409、`governance` runs/4410）。
+  - **`live` tag 的评测测试不在 CI 内**，这部分只有 SELF 和独立评审重放。
+- 独立 Review（全新会话，只接收需求、base/head 与 diff）：
+  - 第 1 轮 @`e1a90a5`：PASS-with-fixes。5 条单元验收满足；指出计划 §3 的“快慢通道收据透传”缺失，由第二个单元补齐。
+  - 第 2 轮 @`16f98b8`：**PASS，无阻塞项**。确认生产代码零行为变化，评测判定经真实 settings 服务与生产同源，白名单无泄漏，不匹配时失败关闭，既有断言未删减；评审者重放 `live` 评测测试与 runtime 测试均通过（REPLAY）。
+
+## 3. 需人审确认与非阻塞项
+
+1. **小队 agent-native 内核不挂合同**（非阻塞，失败关闭）：`internal/app/app.go:350` 用主模型路由直接构造 client，不在计划列出的 5 个调用点内，行为维持今天的拒绝。若希望小队路径也享受合同放行，需另开增量。
+2. **意图生成器无合同**（无影响）：`app.go:519` 不涉及工具放行。
+3. **调用点接线靠审读确认**（非阻塞）：测试注入 `Stream`，没有直接执行 `Execute` 的 nil-stream 分支；判定函数与包装器透传均有直接测试。
+4. **`baseUrl` 说明措辞**（非阻塞）：只写了“无查询串”，未提 fragment/userinfo 同样不匹配。
+5. **评测配置写错时静默无合同**（非阻塞，建议 P1 前处理）：route 文件写了 `routeContractEOF` 但与路由不匹配时，评测按“无合同”运行（安全），但可能白花一次付费请求才发现。建议在 P1 资源方案前，把这种情况改为直接失败，且报错不带配置值。
+
+## 4. 下一步（通过后）
+
+1. 合入 Backend #224（组件仓，无需 #518 窗口）；Dev #652 收口合入。
+2. 启动 I3：Dev 改钉 Agent-Native `2fc66be` 与 Backend 合入点，`make test` 组合验证，经 #518 窗口合入。
+3. P1 付费探针另提资源方案（预算上限、停止条件、收据路径）并单独批准；在此之前不写任何实例的系统层配置。