Record increment two on the Q1 task card
ci / test (pull_request) Failing after 1m55s

Why: WP3 landed; the acceptance test form belongs to the record.

Evidence: Agent-Squad #24 and Backend #80 merged; make test exit=0
at 9c0fc6ae.

Impact: Task card only.
This commit is contained in:
2026-10-07 09:22:25 +00:00
parent f08abd1c2a
commit bec26c597d
+2 -1
View File
@@ -21,7 +21,8 @@
## 增量记录
- 增量一(2026-10-07):WP1+WP2 落地并合入(Agent-Squad #23 → Backend #79 → Dev pin)。内容:① 新 `squad/graph.go`——compileGraph(每轮从权威 Steps 现场编译)+ nextLayer + 写集冲突检测;Needs 声明依赖(未知/自引用/环 fail-closed),未声明保持现状(相邻 Parallel 同层、非 Parallel 依赖紧邻前一步),依赖满足含 failed(降级继续),空 status 等同 pending;② `StepSpec.Writes` 写集,同层相交强制串行;③ advance 重写为 superstep 推进(并行段复用 runParallel、串行段逐 runOneStep、单成员组照常动态调整、图错误/死锁 fail-closed、层边界 EvPhase 事件)。过程中修复四处语义陷阱(空 status、Parallel 组后锚点、单成员组动态调整、failed 依赖满足),全部有注释。验证:五个模块 vet+test 全 ok;兼容网(engine/leader/recovery/r2/intent/evaluator)原样全绿;graph 新测 7 例。
- 待办增量二:WP3 attempt id 幂等(runID/stepID/N、执行前产物校验、副作用次数=1)+ WP4 Store 端口与三档检查点(FileStore 收编现状文件态);增量三:WP7 interrupt/resume 统一 + WP6 Termination 收编(Q23/Q26/Q6 关账);增量四:WP5 SQLite 收编(SQLiteStore + platform 合一 + X6 + 验收第三条)。
- 增量二(2026-10-07):WP3 落地并合入(Agent-Squad #24 → Backend #80 → Dev pin)。内容:① `StepSpec.AttemptID`——进入 running 落盘 runID/stepID/N 并作为 ExecutionID,瞬态重试共享同一 AttemptID;② `recoverInterrupted`(HitlAuto)产物校验——running 崩溃且交付物全部在盘 = 副作用实际发生过,按该 attempt 判定完成(合并产物+事件注记)不再重跑,缺失才走原一次重试。验证:全套件绿含三新测——TestAttemptIDFormat(形态)、**TestKilledAtSuperstepBoundarySideEffectsOnce(Q1 验收第一条实证:杀进程后恢复,已完成步骤执行次数逐一相等零重跑、running 步骤按 attempt 判定完成)**、TestInterruptedMissingProductsRetries(产物缺失 auto 一次重试不无限重放)。
- 待办增量三:WP4 Store 端口与三档检查点(FileStore 收编现状文件态)+ WP7 interrupt/resume 统一 + WP6 Termination 收编(Q23/Q26/Q6 关账);增量四:WP5 SQLite 收编(SQLiteStore + platform 合一 + X6 + 验收第三条)。
## 需求分析