Merge pull request 'Record O2 I1 route contract delivery for stage 6 review' (#647) from feature/fast-slow-o2-i1-agent-native into main

2026-10-20 07:43:26 +00:00
parent f97917032d 4d8ccc2bf6
commit f1866dc3bb
2 changed files with 202 additions and 0 deletions
@@ -0,0 +1,166 @@
+# feature/fast-slow-o2-i1-agent-native 任务卡
+
+任务主记录：PR #647 https://git-home.u1680832.nyat.app:30319/weichen/Agent-System-Dev/pulls/647；Dev 草稿 PR [#647](https://git-home.u1680832.nyat.app:30319/weichen/Agent-System-Dev/pulls/647)；状态：已完成（合入前闭合）；owner：weichen
+
+## 基线与授权
+
+- 权威仓：ssh://git@git-ssh.u1680832.nyat.app:31411/weichen/Agent-System-Dev.git；目标分支：main；R0（initial_base_sha）= ac594c90e536cfb670e94680f045a6c8247a2513
+- 工作区：/home/weichen/projects/Agent-System-Dev-wt-feature-fast-slow-o2-i1-agent-native（worktree）；分支：feature/fast-slow-o2-i1-agent-native
+- 分支类型：standalone；root_target：main；immediate_target：main；accepting_requirements：false
+- 需求分流：verdict=NEW；selected_initiative=无；requirement_sha256=24717af8dcc91e7b1fbe4ceb92919ea31e43da66f46e51371e9ea2102d8b8cc5；triage_receipt=/tmp/o2i1-20261020/triage.json；receipt_sha256=7854667c4867dabc655b1ce4d1b8f026da6de0e2929fb26b4374353089474fa7
+
+- 授权与交付终点：用户 2026-10-20 阶段 4/5 人审“通过”（[方案](docs/superpowers/specs/2026-10-19-fast-slow-o2-route-contract-eof-design.md) §6.1 选 C2 同时接受 `http2_stream` 与 `known_length`+`match`；§6.2 配置仅系统层、默认关闭），并要求启动 I1。终点：Agent-Native I1 草稿 PR 经独立 Review 与 CI 通过 + 阶段 6 评审包，待用户阶段 6 人审后再合入。未授权：I2/I3 启动前另行确认、P1 付费探针（另提资源方案）、部署、真实模型/付费请求。
+- 交付模式：goal-first（目标、范围和交付终点一次确认；范围内连续推进）
+- 实施执行：agent-per-unit（配置：AGENT-EXECUTION.md）
+- 合入执行：agent（已授权交付范围内，Review 通过、冲突解决且当前 HEAD 的 CI 通过后合入）
+- 人工决策点：仅限目标/范围/验收变更、重大取舍、高后果操作或无法自动判定的业务验收
+- 当前阶段：实施与自检；当前增量：I1（Agent-Native 分支 feature/fast-slow-o2-i1-route-contract，base origin/main 9c24e22）
+- 流程依据：仓库根目录 policy/delivery.md（归档后仍按仓库根目录定位）
+
+## 目标与非目标
+
+- 目标：对一条精确绑定的 OpenAI 兼容路由（模型 + 规范化基址 + 摘要），在流缺字面 `[DONE]` 但 C1–C9 全部成立时放行工具调用，终态标 `CompletionBasis=route_contract_eof`；合同为零值时行为逐字节等同现状。
+- 受影响：Agent-Native `runtime/llm`（`Client.RouteContract`、解析器延后判定、`Event`/`TerminalObservation` 新增 `completionBasis`/`contractCheck`）、新包 `runtime/argschema`、`runtime/tools/registry.go` 委托校验。
+- 非目标：不改 `StreamComplete` 语义；不泛化到其他路由/协议；Backend 配置与透传（I2）、Dev 改钉（I3）、付费探针（P1）不在本卡。
+
+## Agent 实施收据
+
+路由与 fail-stop 规则见根目录 AGENT-EXECUTION.md 与 policy/delivery.md；每次尝试一行，原始日志留在源码外收据路径。
+
+| 单元 ID | 预期范围 | 配置摘要 | 角色 | 候选顺序 | attempt | CLI/模型 | 终态 | transport | fallback | 源码外收据路径 |
+|---|---|---|---|---|---|---|---|---|---|---|
+| o2-i1-agent-native-route-contract | runtime/llm、runtime/argschema、registry.go(+test) | AGENT-EXECUTION.md | implementation | cursor→antigravity→pi | 1 | cursor / auto | scope-expansion（单元包 `allowed_paths` 误用 `**` 通配，执行器按前缀匹配，7 个范围内文件被判越界；fail-stop） | 未集成 | never | /tmp/o2i1-20261020/o2-i1-receipt.attempt1-scope-expansion.json |
+| o2-i1-agent-native-route-contract | 同上（改为前缀写法 `runtime/llm/`、`runtime/argschema/`，范围不变） | AGENT-EXECUTION.md | implementation | cursor→antigravity→pi | 2（用户 2026-10-20 授权全新重跑） | cursor / auto | success | `899fd70`（ref refs/agent-exec/e38bcf1c…/445c377b，parent 9c24e22），`agent-exec apply` 快进集成 | never | /tmp/o2i1-20261020/o2-i1-receipt.json |
+
+## 关联方向与规划
+
+- 适用状态：待核对（无适用规划时说明原因）
+- 主记录路径/版本：待核对（路径按仓库根目录定位，归档后不变；只引用唯一正文）
+- 对应里程碑：待核对
+
+## 需求分析
+
+| ID | 描述 | 项目符合度及依据 | 优先级 | 验收条件 | 依赖 | 结论 |
+|---|---|---|---|---|---|---|
+| R1 | I1：Agent-Native `route_contract_eof` 限路由等价终态 | 符合：用户 2026-10-19 选定 O2，2026-10-20 阶段 4/5 通过 | P1 | 计划 §2 测试矩阵全部用例通过；拒绝时终态事件除 `contractCheck` 外与合同关闭 deep-equal；零值合同行为不变；现有断言不删减 | 无 | 实施中 |
+
+## 方案与计划
+
+- 方案引用：docs/superpowers/specs/2026-10-19-fast-slow-o2-route-contract-eof-design.md（Dev main，PR #639 合入）
+- 实施计划引用：docs/superpowers/plans/2026-10-19-fast-slow-o2-route-contract-eof-plan.md §2（I1）
+- 测试计划引用：同上 §2 测试表与验证命令
+
+## 阶段记录
+
+| 阶段 | 对象版本 | 状态 | 决策/执行者 | 时间 | 依据 |
+|---|---|---|---|---|---|
+| 需求拆解 | 待定 | 待执行 | — | — | — |
+| 需求评估 | 待定 | 待执行 | — | — | — |
+| 需求表确认 | 待定 | 待执行 | — | — | — |
+| 方案设计 | Dev 5a7a0da | 通过（C2 接受 known_length+match） | 用户 | 2026-10-20 | 阶段 4 人审 |
+| 实施计划 | Dev 5a7a0da | 通过 | 用户 | 2026-10-20 | 阶段 5 人审 |
+| 实施与自检 | Agent-Native 899fd70 | 完成（SELF） | cursor worker 实施；host 范围审阅与验证 | 2026-10-20 | 收据 o2-i1-receipt.json |
+| 正式测试与验收 | Agent-Native 899fd70 | 阶段 6 通过（接受 C2 编号） | 用户 | 2026-10-20 | PR #48 CI GATE success；评审包 2026-10-20-fast-slow-o2-i1-review.md |
+| 代码 Review | Agent-Native 899fd70 | PASS | 全新会话 code-reviewer | 2026-10-20 | 见合入与清理节 |
+| 合入 | Agent-Native 2fc66be | 已合入 Agent-Native main | host | 2026-10-20 | 用户阶段 6 授权 |
+| 合入核验与收口 | 待定 | 待执行 | — | — | — |
+
+## 探索试验与迭代
+
+| 增量/试验 | 假设 | 范围 | 判断和停止条件 | 授权/决策依据 | 结果 | 变更影响 | 需重审补测 |
+|---|---|---|---|---|---|---|---|
+| 待定义 | — | — | — | 待核对 | NOT_RUN | 待评估 | 待评估 |
+
+## 同步记录
+
+| 节点 | sync_base_sha | tested_head_sha | checked_at |
+|---|---|---|---|
+| 启动 | ac594c90e536cfb670e94680f045a6c8247a2513 | ac594c90e536cfb670e94680f045a6c8247a2513 | 2026-10-20T03:22:13Z |
+
+## 证据（Evidence）
+
+<!-- CMD="<命令>" make evidence 写入；手抄/转写输出视为无效证据（AGENTS.md 证据与验证门禁）。 -->
+| 时间(UTC) | 命令 | 被测HEAD | exit | 来源 | sha256(16) |
+|---|---|---|---|---|---|
+
+## 交付调度
+
+- 调度状态：未入队；调度记录：无
+- entry_id：无；attempt_id：无；窗口执行者：无
+- 固定候选：无（base/head、组件与相关配置引用实际尝试）
+- 调度依据：policy/delivery.md#合入调度
+- 固定后证据：源码外 RECEIPT；实际结果后按授权原样导入和闭合
+
+## 结果与验证
+
+- 结果：I1 在 Agent-Native 分支 `feature/fast-slow-o2-i1-route-contract`（`899fd70`，草稿 PR #48）交付；阶段 6 评审包 docs/superpowers/specs/2026-10-20-fast-slow-o2-i1-review.md。
+- 验证：host（SELF）@899fd70 vet、定向测试（含 -race）、`go test ./...` PASS；CI（GATE）PR #48 三项 success；独立 Review PASS。
+- 影响与剩余项：仅 Agent-Native `runtime/llm`、`runtime/argschema`、registry 委托；合同默认关闭。剩余：用户阶段 6；I2、I3、P1；评审包第 3 节非阻塞项。
+
+## 规划进展与下一步
+
+- 本次推进/剩余：待核对（依据实际成果更新适用方案/规划）
+- 首选下一任务：待核对（无适用规划、已完成或受阻时如实说明，不虚构任务）
+- 推荐依据：待填写
+- 前置条件/待确认：待核对
+- 预期产物/验收条件：待定义
+- 重复任务核对：待核对（已有/在途任务、PR 与规划记录）
+- 启动授权：未授权（建议不自动启动新任务，仍须明确授权）
+
+## 合入与清理
+
+- Review 记录：Cursor Task 子代理 code-reviewer（fresh_session=true，session=531ce711-73e7-44d8-8b9e-ed90d93856f7；只接收需求、方案/计划、base 9c24e22/head 899fd70 与 diff，未转交实施会话）；结论 PASS，0 阻塞，3 条非阻塞记入评审包第 3 节；评审者自跑 vet 与 -race 定向测试通过（SELF）。
+- CI 记录（Agent-Native）：PR #48 head `899fd70d27dd25bb88088a677546a71e54a86d9e` commit status success：`ci / vet-and-test`（runs/4350/jobs/7018）、`ci / docker-checkout-hostgateway`（runs/4350/jobs/7019）、`governance / governance`（runs/4351/jobs/7020）（GATE）。
+- 冲突记录：NOT_RUN（最新目标同步、冲突处置、组合兼容核验及复审/补测）
+- CI 记录：NOT_RUN（当前 HEAD 完整 SHA、全部必需检查、运行链接、执行身份及 GATE 结果）
+- 合入记录（Agent-Native）：用户 2026-10-20 阶段 6 通过；PR #48 核验 head `899fd70`、commit status success（3 项，GATE）后合入 Agent-Native main，合入提交 `2fc66be65201232ea38ba64d457efad5565d869d`；合入后 tree `720ec93` 与合入前 `git merge-tree` 预期一致。Dev 改钉在 I3 组合验证。
+- 合入记录（本 PR）：NOT_RUN（交付授权范围、PR、被核验 HEAD、合入 SHA、目标分支及内容核验）
+- 清理记录：Agent-Native worktree `Agent-Native-wt-feature-fast-slow-o2-i1` 核验无写者、干净后移除，本地分支已删；Dev worktree 待本 PR 合入后回收。
+
+<!-- Local receipt: SELF. Digests detect corruption; they do not authenticate a reviewer or CI. -->
+```json
+{
+  "summary_schema": 1,
+  "source": "SELF",
+  "timestamp": "2026-10-20T03:21:23.593016+00:00",
+  "command": "make precheck",
+  "exit_code": 0,
+  "cwd": "/home/weichen/projects/Agent-System-Dev",
+  "before_head": "ac594c90e536cfb670e94680f045a6c8247a2513",
+  "after_head": "ac594c90e536cfb670e94680f045a6c8247a2513",
+  "branch": "main",
+  "target_branch": "main",
+  "target_head": "ac594c90e536cfb670e94680f045a6c8247a2513",
+  "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=ac594c90e5",
+    "[remote] origin/main=ac594c90e5 ahead=0 behind=0",
+    "[tree]   clean submodules_drift=0 uninit=0",
+    "[worktrees] linked=7",
+    "[cards] 已合入未闭合任务卡:feature-iam-role-permission-linked-capabilities.md——make task-close 回填归档（主检出运行）",
+    "[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] ac594c90e5（完整：ac594c90e536cfb670e94680f045a6c8247a2513）",
+    "[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": "8354ba7addbd3c5505eb65459b25cc49dc9c6513d9a4e8f6b38dc9f448b3f478",
+  "receipt_sha256": "a0e06fafe3a01436440290d8fe41abd0581c817dde2ad3481497f95cae50a473",
+  "receipt_path": "/home/weichen/.cache/agent-system-dev/evidence/a0e06fafe3a01436440290d8fe41abd0581c817dde2ad3481497f95cae50a473.json"
+}
+```
+
+## 闭合记录（合入前折叠）
+
+- 本卡在 PR #647（https://git-home.u1680832.nyat.app:30319/weichen/Agent-System-Dev/pulls/647）合入前闭合并归档，随该 PR 一同合入。
+- 该 PR 的合并提交即本任务的落地记录。
+- 合入后无需回填，也无需单独的闭合 PR。
+| 同步（记录前对象） | d2035c76dc1cb15e01d2c184af5155d9d773cd9f | 014655339962c1057970ddc9ce9e2025fe31f902 | 2026-10-20T05:56:34Z |
+| 同步（记录前对象） | f97917032d143188bc7faf665aff612d9814af4e | a577c9e11bae5655fc63a9ca313c84e70ad24aed | 2026-10-20T06:55:48Z |
@@ -0,0 +1,36 @@
+# 快慢通道 O2 I1（Agent-Native `route_contract_eof`）：阶段 6 评审包
+
+- 状态：**用户阶段 6 通过（2026-10-20）**，接受第 3 节第 1 条的 C2 编号，并要求启动 I2。Agent-Native #48 已合入 main（`2fc66be`）。I3（Dev 改钉）待 I2 后启动，P1 付费探针另提资源方案。
+- 日期：2026-10-20；作者：host；Dev 任务：`feature/fast-slow-o2-i1-agent-native`。
+- 依据：[阶段 4 方案](2026-10-19-fast-slow-o2-route-contract-eof-design.md)与[阶段 5 计划 §2](../plans/2026-10-19-fast-slow-o2-route-contract-eof-plan.md)（用户 2026-10-20 通过；C2 同时接受 `http2_stream` 与 `known_length`+`match`）。
+- 交付对象：Agent-Native 草稿 PR [#48](https://git-home.u1680832.nyat.app:30319/weichen/Agent-Native/pulls/48)，base `9c24e22`（origin/main），head `899fd70`。
+
+## 1. 交付内容
+
+| 方案条目 | 实现 | 位置 |
+|---|---|---|
+| 路由合同与身份绑定（§4.1） | `RouteContractEOF{Model, BaseURL, IdentitySHA256}`、`RouteContractIdentity`、`NormalizeRouteBaseURL`（仅 https，含 userinfo/query/fragment 一律不匹配）；`Client.RouteContract` 为 nil/零值即关闭；重定向逐项比较 scheme、host、port、path | `runtime/llm/route_contract.go`、`client.go` |
+| 解析器延后判定（计划 §2.2） | 公开 `ParseSSE` 签名与零值行为不变；内部 `parseSSE(…, sseHooks)` 只在“有工具且缺 `[DONE]`”时把成功候选与今天的失败事件一起交给传输层；新增 `finishChunks`、`multiChoice`、`fragmentAfterFinish` 统计 | `runtime/llm/sse.go` |
+| 放行条件 C1–C9（§4.2） | 按顺序判定，记录第一个不满足的编号；放行时 `StreamComplete=false`、`CompletionBasis=route_contract_eof` | `route_contract.go` `check` |
+| 参数 schema 子集（§4.3） | 新包 `runtime/argschema.Validate`，由 `validateArgs`/`matchesType` 逐字迁移；registry 改为委托 | `runtime/argschema/`、`runtime/tools/registry.go` |
+| 可观测性（§4.4） | `Event.CompletionBasis`；`TerminalObservation.completionBasis`/`contractCheck`（仅枚举值）；`[DONE]` 成功路径记 `done_marker` | `types.go`、`client.go` |
+
+## 2. 验证
+
+- 实施：Cursor worker（`agent-exec`，attempt 2 success；attempt 1 因单元包 `allowed_paths` 误用 `**` 被判 scope-expansion，修正写法后经用户授权全新重跑），`agent-exec apply` 快进集成。
+- host 验证（SELF）@`899fd70`：改动文件 `gofmt` 合格；`git diff --check`；`go vet ./runtime/...`；`go test ./runtime/llm/... ./runtime/argschema/... ./runtime/tools/... -count=1`（另跑 `-race`）与 `go test ./... -count=1` 全部通过。
+- CI（GATE）：PR #48 head `899fd70` 三项检查 success（`ci / vet-and-test`、`ci / docker-checkout-hostgateway`、`governance / governance`）。
+- 独立 Review（全新会话 code-reviewer，只接收需求、base/head 与 diff；评审者自跑为 SELF）：**PASS，无阻塞项**。确认零值合同行为不变；拒绝事件与合同关闭事件除 `contractCheck` 外 `reflect.DeepEqual`；`argschema` 与旧实现逐行一致；无数据竞争；计划 §2 测试矩阵每一行都有带断言的用例，并同时断言 Usage 保留与放行次数。
+
+## 3. 需人审确认与非阻塞项
+
+1. **C3 行的编号差异**：计划写的是 HTTP/2 `RST_STREAM`/中途断连期望 C3，实现返回 **C2**。原因是 C2（传输边界）先于 C3 判定，断流时没有见到 EOF，先在 C2 失败。结论同样是拒绝，`contractCheck` 记录的是“第一个不满足的条件”，不一定是根因。请确认接受。
+2. **无工具的错误终态也会带 `contractCheck`**（非阻塞）：合同开启时，纯文本流遇到供应商错误这类终态也会补一次判定（如记为 `C2`），这类流本来就不可能放行。不影响验收条件 3，也不泄漏内容；可在后续把补判限定为含工具调用的终态。
+3. **重复 `finish_reason` 会被 C4 拒绝**（非阻塞，失败关闭）：若供应商在 usage 块里重复 `finish_reason`，一律拒绝。MiniMax 真实流是否这样，列为 P1 付费探针的观察点。
+4. **测试可加强**（非阻塞）：`release/http2` 与 `close-delimited` 用例可直接断言 `BodyBoundary.FramingClass`；补一个“合同开启时纯文本流不变”的回归用例（评审者已用临时探针确认行为不变）。
+
+## 4. 下一步（通过后）
+
+1. 合入 Agent-Native #48（组件仓，无需 #518 窗口）。
+2. 启动 I2（Backend：系统层配置键、`openLLMClient` 按身份挂合同、透传 `completionBasis`；启动前核对 Backend 是否有读 `StreamComplete` 的工具门控）。
+3. I3 Dev 改钉组合验证；P1 另提资源方案。