Record the O2 P1 contract probe and A01 results

Why: The approved P1 run finished; its outcome must be recorded before merge.
Evidence: Probe receipt route_contract_released; A01 provider records show route_contract_eof release then a rejected work checkpoint.
Impact: Task card only.
Refs: docs/superpowers/plans/2026-10-19-fast-slow-o2-route-contract-eof-plan.md section 5
Co-authored-by: Cursor <cursoragent@cursor.com>
This commit is contained in:
2026-10-20 12:30:54 +00:00
co-authored by Cursor
parent a824b38d62
commit 4b2db1af9f
+5 -5
View File
@@ -14,7 +14,7 @@
- 实施执行:agent-per-unit(配置:AGENT-EXECUTION.md)
- 合入执行:agent(已授权交付范围内,Review 通过、冲突解决且当前 HEAD 的 CI 通过后合入)
- 人工决策点:仅限目标/范围/验收变更、重大取舍、高后果操作或无法自动判定的业务验收
- 当前阶段:P1 执行;当前增量:Dev 改钉 + A01
- 当前阶段:合入;当前增量:Dev 改钉 + P1 结论记录
- 流程依据:仓库根目录 policy/delivery.md(归档后仍按仓库根目录定位)
## 目标与非目标
@@ -74,7 +74,7 @@
| 增量/试验 | 假设 | 范围 | 判断和停止条件 | 授权/决策依据 | 结果 | 变更影响 | 需重审补测 |
|---|---|---|---|---|---|---|---|
| P1 第一段:合同探针(2026-10-20T12:0x,1 次付费请求) | 真实 MiniMax-M3 流满足 C1–C9,合同放行 clean EOF | 二进制 sha256 5fb0d8ba…(Native 2fc66be,候选 Dev 7e6c544 专用 worktree),路由 sha256 b8e6c7b8…(0600,三元组摘要 0d7f1a3b… 与生产规则一致) | 达标:completionBasis=route_contract_eof、contractCheck 空、放行 1、执行 1、Usage 存在 | 用户 approve_both;preflight prepare 24/24、execute-ready 25/25 PASS,providerRequests=0 | **PASS**:readOutcome=clean_eof、finish=tool_calls、streamComplete=false、http2、tail=json_frame×7、Usage 447+40=487、diagnosis=route_contract_released(回执 `private-probe/run-001/terminal-receipt.json`,只含枚举/计数) | 自动触发第二段 | 否 |
| P1 第二段:三材料 A01 | 放行后 A01 产出阶段成果与完整最终正文 | Backend 74e5396,`go test -tags live` model 模式,REMAINING_TOKENS=60000 | 沿用评测停止规则,不补跑 | 同上(自动门槛已满足) | 待执行(先完成本 PR 组合 CI) | 待评估 | 待评估 |
| P1 第二段:三材料 A01 | 放行后 A01 产出阶段成果与完整最终正文 | Backend 74e5396 的 live 测试二进制(server sha256 59670b80…、driver 4e26ecd1…),隔离数据目录,材料取 r03 存档(与 r02 哈希一致),REMAINING_TOKENS=60000;用例门禁沿用现有标签 `approved-r04-20261014`(新增标签需再走 Backend PR;该标签启用服务器端单 A01 run 守卫,画像预算与 r0.4 A01 一致);记录 `a01/…/provider-records.json`(37966555…)、`a01/model-output/candidate-r04-a01.json`(89fea4cc…)、`a01/a01-run-receipt.json`(7e3583a8…) | 沿用评测停止规则,不补跑 | 同上(自动门槛已满足;本 PR HEAD a824b38 CI 三项 success 后执行) | **FAIL(应用层,检查点被拒)**:run_96ccc9c7208f 仅 1 次 provider 调用,6,420 tokens(4,832+1,588),`completionBasis=route_contract_eof`、clean_eof、http2、finish=tool_calls、toolFragments=8、参数合法——合同放行、工具已执行;首个 `publish_work_checkpoint` 被 core `validateWorkFindingEvidence` 拒绝(`checkpoint.evidence: direct relation cannot have result`:模型给 `mode=direct_relation` 却带 total/phase 前提与 result,属 difference 形态),评测停止规则 `evaluation budget: rejected work checkpoint` 生效,子 run failed,卡片 failed,驱动判 “fewer than two persisted running checkpoints” | r0.4 同一驱动失败发生在传输层(缺 `[DONE]`,0 释放);P1 已越过传输层,新阻塞点是模型对检查点证据模式的遵从 | 否(停止,不补跑;另提方案) |
## 同步记录
@@ -98,9 +98,9 @@
## 结果与验证(完成后填写)
- 结果:
- 验证:<结论摘要 PASS/FAIL/SKIP/NOT_RUN 逐项;逐条证据由 make evidence 写入上方证据表>
- 影响与剩余项:
- 结果:P1 第一段 PASS(合同在真实 MiniMax-M3 路由放行 clean EOF 工具调用);第二段 FAIL(应用层检查点证据被拒,评测停止规则生效)。付费合计 2 次请求、6,907 reported tokens(≤63,000 上限);无补跑、无换模型、未写任何实例系统层配置、未部署。
- 验证:零付费准备 PASS——probe 46 个测试(-race)、preflight prepare 24/24 与 execute-ready 25/25、Backend #229 CI(43575816…,与合入 74e5396 树一致)、A01 前置 live 门禁测试与 Dev #656 HEAD a824b38 CI(test / test-pg / svc-realcombo 全绿)。第一段回执 `private-probe/run-001/terminal-receipt.json`(128a6be7…);第二段见上方探索试验表与证据表。评估:host(当前主模型)按记录复核,非独立 REPLAY。
- 影响与剩余项:O2 route_contract_eof 在真实路由上可用(P1 判读表“第一段 route_contract_eof、放行 1、执行 1 → 合同在真实路由上成立”)。A01 质量仍未验证:下一阻塞是 `publish_work_checkpoint` 的 evidence 模式/前提/result 组合遵从(agent-system-core `validateWorkFindingEvidence`),需另提方案(如工具 schema/提示收紧或拒绝后可纠错重试的评测口径),本授权不覆盖。实例系统层配置写入仍待另行决定。
## 规划进展与下一步