Record increment three on the Q1 task card

Why: WP4/WP6/WP7 landed with the three closing-out items; the
record carries the acceptance mapping.

Evidence: Agent-Squad #25 and Backend #81 merged; make test exit=0
at cc6970c7.

Impact: Task card only.

.task/feature-agent-stack-q1.md

@@ -22,7 +22,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 例。
 - 增量二（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 + 验收第三条）。
+- 增量三（2026-10-07）：WP4+WP6+WP7 落地并合入（Agent-Squad #25 → Backend #81 → Dev pin）。内容：① 新 `squad/runstore.go`——Store 端口 + FileStore 收编现状文件态（低层语义逐字不变），runState/engineDeps 携带端口，构造与全部加载点改道；② `Checkpoint` 三档（sync 默认/async 串行写/on_exit 最终快照，RunOptions.CheckpointMode），superstep 序号+图结构指纹+全量步骤快照；③ **图连续性校验（WP1 图版本裁定落点）**——Resume 比对最新检查点指纹，崩溃期间图形态被改则拒绝恢复并提示重新规划；④ 新 `squad/termination.go`——四个硬编码停止条件集中注册 + And/Or 组合原语；⑤ 关账：Q23 leader 达上限裸失败→按现有产出走 finalize 降级收口、Q26 人工 retry 累计加预算有界（RepairBudgetGranted 落盘，超限拒绝）、Q6 SweepExpired 死代码接进 serve 周期扫描与 SweepWakeups 并列。验证：全套件绿含新测（边界快照与 latest 一致、async/on_exit 两档、指纹分支拒绝、And/Or 真值表、追加达上限被拒、leader 上限测试按 Q23 改述）；既有恢复/leader/engine 套件原样通过。
+- 待办增量四：WP5 SQLite 收编（SQLiteStore + platform 双真相源合一 + X6 修 RunInProcess 绕过 Executor 端口 + 验收第三条「文件 run 与 SQLite 不再双记步骤状态」）。
 
 ## 需求分析