From 9b0897db97615a3f85c414b663557ac75dac97cb Mon Sep 17 00:00:00 2001 From: lex Date: Sun, 9 Aug 2026 02:47:35 +0800 Subject: [PATCH] docs(dag): close recovery diagnosis no-fix --- .../08-s7-recovery-invented-diagnosis.md | 20 ++++--- .scratch/batch-b/s7-diagnosis.md | 53 +++++++++++++++++++ 2 files changed, 67 insertions(+), 6 deletions(-) create mode 100644 .scratch/batch-b/s7-diagnosis.md diff --git a/.scratch/batch-b/issues/08-s7-recovery-invented-diagnosis.md b/.scratch/batch-b/issues/08-s7-recovery-invented-diagnosis.md index 1f44853a0d..fcc13269c1 100644 --- a/.scratch/batch-b/issues/08-s7-recovery-invented-diagnosis.md +++ b/.scratch/batch-b/issues/08-s7-recovery-invented-diagnosis.md @@ -6,10 +6,18 @@ **Evidence:** `.scratch/batch-b/evidence.md#s7--recovery-invented-推断` **Branch:** `test/recovery-diagnosis` **Blocked by:** 无（07 已关闭） -**Status:** ready-for-agent +**Status:** closed-no-fix -- [ ] 第一项产出是一条确定性、快速、可由 agent 重复运行且能红灯的命令；在此之前不写理论/修复 -- [ ] 症状必须包含“durable transcript 语义完成”与“reconcile 实际写 failed”，不能只单测 helper 返回 active -- [ ] 红灯成立后才列 3–5 个可证伪假设、最小化复现并另开独立修复票 -- [ ] 无法建立反馈回路时记录尝试和阻塞原因，以 no-fix 关闭 -- [ ] 不把既有 ownershipLost → workflow pause 缓解误报为未覆盖 +- [x] 第一项产出是一条确定性、快速、可由 agent 重复运行且能红灯的命令；在此之前不写理论/修复 +- [x] 症状必须包含“durable transcript 语义完成”与“reconcile 实际写 failed”，不能只单测 helper 返回 active +- [x] 红灯成立后才列 3–5 个可证伪假设、最小化复现并另开独立修复票（未出现红灯，因此未进入该阶段） +- [x] 无法建立反馈回路时记录尝试和阻塞原因，以 no-fix 关闭（已建立反馈回路且症状未复现，按 no-fix 关闭） +- [x] 不把既有 ownershipLost → workflow pause 缓解误报为未覆盖 + +## 关闭证据 + +- 命令：`cd packages/opencode && bun test test/dag/dag-recovery-transcript-diagnosis.test.ts` +- 三次结果：均为 `2 pass / 0 fail`，约 `1.13s`。 +- 完成态：真实 durable transcript `finish: "stop"` 经 `DagLoop.init → reconcileWorkflow` 后持久化为 `completed`，未写 `exec_failed`。 +- 对照态：真实 durable transcript `finish: "tool-calls"` 经同一路径持久化为 `failed/exec_failed`，workflow 随后被既有 recovery-pause 置为 `paused`。 +- 完整报告：`.scratch/batch-b/s7-diagnosis.md`；未创建票 09。 diff --git a/.scratch/batch-b/s7-diagnosis.md b/.scratch/batch-b/s7-diagnosis.md new file mode 100644 index 0000000000..aae0f0126c --- /dev/null +++ b/.scratch/batch-b/s7-diagnosis.md @@ -0,0 +1,53 @@ +# S7 — recovery INVENTED 推断诊断 + +- **Status:** closed-no-fix +- **基线:** `dev@18273554f4f2c18cab1370922eb1ec004ba5bad9` +- **分支:** `test/recovery-diagnosis` +- **日期:** 2026-08-09 + +## 反馈回路 + +从 `packages/opencode` 运行： + +```bash +bun test test/dag/dag-recovery-transcript-diagnosis.test.ts +``` + +诊断期间使用的 throwaway 测试已删除。它走过以下真实持久化链路： + +1. `Session.layer` 通过 `Session.updateMessage` 发布 durable transcript 事件，`SessionProjector` 写入数据库；测试再用 `Session.messages` 读回并断言完成边界。 +2. `DagLoop.init` 扫描 durable running workflow，进入 `recoverWorkflow`。 +3. `makeSessionStatusChecker` 通过真实 `Session.get/messages` 读取 child transcript，`reconcileWorkflow` 作出 settlement。 +4. `Dag.nodeCompleted/nodeFailed` 发布事件，`DagProjector` 投影到真实 `DagStore`；测试直接读取 node/workflow 持久化结果。 + +观测断言： + +| 输入 | transcript 证据 | 实际持久化结果 | workflow 结果 | +|---|---|---|---| +| 语义完成 | 最后一条 assistant 为 `finish: "stop"`，并带 `time.completed` | node `completed`，`errorClass: null` | `completed` | +| red-capable 对照 | 最后一条 assistant 为 `finish: "tool-calls"` | node `failed`，`errorClass: "exec_failed"` | `paused` | + +## 运行结果 + +最终 `DagLoop.init` seam 连续运行三次，均为 `2 pass / 0 fail`： + +| 次数 | 结果 | 耗时 | +|---|---|---| +| 1 | `2 pass / 0 fail` | `1.129s` | +| 2 | `2 pass / 0 fail` | `1.131s` | +| 3 | `2 pass / 0 fail` | `1.133s` | + +首次运行因工作区尚未安装 `@opentui/solid/preload`，在加载测试前退出；执行 `bun install --no-save` 后依赖就绪，未修改 lockfile。随后先在真实 `Session → reconcileWorkflow → DagStore` seam 连续跑绿三次，再收紧到上述 `DagLoop.init` seam 并连续跑绿三次。 + +## 语义边界核对 + +- `packages/opencode/src/session/prompt.ts` 的真实 loop 只有在最后 assistant 已有 finish、finish 不是 `tool-calls`、没有待处理 tool call 且 assistant 位于最后 user 之后时才走完成退出。 +- 同一 loop 将 `tool-calls` 与 `unknown` 明确视为需要 continuation；因此这两类 transcript 不能作为“系统语义已经完成”的证据。 +- 测试没有使用自定义完成布尔值。完成态由真实持久化 transcript 中的 `finish: "stop"` 与 `time.completed` 证明，并经生产 `Session.messages` 读回。 +- `tool-calls` 对照确实经过 recovery 写入 `exec_failed`，随后触发现有 `ownershipLost → workflow pause` 缓解；该行为用于证明反馈回路可红，不作为新缺陷上报。 + +## 结论 + +精确症状“已语义完成的 durable transcript 被 recovery 判为 active/ownershipLost，并实际持久化 `exec_failed`”未复现。完成态 transcript 在真实 recovery/loop 调用链中稳定投影为 node/workflow `completed`；会写 `exec_failed` 的对照 transcript 按现有 Session loop 语义仍需 continuation。 + +本票不修改生产代码，不保留诊断测试，不创建猜测性修复票，也不创建票 09。