diff --git a/.task/feature-agent-stack-q1.md b/.task/archive/feature-agent-stack-q1.md similarity index 99% rename from .task/feature-agent-stack-q1.md rename to .task/archive/feature-agent-stack-q1.md index 6ba3fe63..3a9adeac 100644 --- a/.task/feature-agent-stack-q1.md +++ b/.task/archive/feature-agent-stack-q1.md @@ -1,6 +1,6 @@ # feature/agent-stack-q1 任务卡 -任务主记录:;状态:进行中;owner:weichen +任务主记录:PR #240 https://git-home.u1680832.nyat.app:30319/weichen/Agent-System-Dev/pulls/240(merge ba36d47c2f);状态:已完成(回填);owner:weichen ## 基线与授权 @@ -71,7 +71,7 @@ | 时间(UTC) | 命令 | 被测HEAD | exit | 来源 | sha256(16) | |---|---|---|---|---|---| -## 结果与验证(完成后填写) +## 结果与验证 - 结果:Q1 七个工作包全部落地。WP1 图模型与 Needs 调度(每轮现场编译、写集冲突串行、兼容映射、failed 视为满足);WP2 superstep 推进(并行段复用、单成员组动态调整、fail-closed 图错误/死锁);WP3 attempt id 幂等(runID/stepID/N、running 崩溃产物齐全按 attempt 判定完成);WP4 Store 端口与三档检查点(FileStore 收编、图连续性校验拒绝结构变化恢复);WP5 SQLite 收编(SQLiteStore、单库挂载、X6);WP6 Termination 收编(Q23 降级收口/Q26 追加上限/And-Or 原语);WP7 interrupt/resume 形态对齐(SweepExpired 接进周期循环)。合入链共 10 个 PR:Agent-Squad #23/#24/#25/#26、Backend #79/#80/#81/#82、Dev #237/#238/#239(本批 pin PR 见下)。 - 验证:验收三条均 PASS——① 「superstep 边界杀进程副作用次数=1」:TestKilledAtSuperstepBoundarySideEffectsOnce(杀进程后恢复,已完成步骤执行次数逐一相等、running 步骤按 attempt 判定完成零重跑)+ TestInterruptedMissingProductsRetries(缺失才一次重试);② 「写同一工件的步骤不并行」:图层写集冲突串行化断言(graph_test)+ superstep 事件序;③ 「文件 run 与 SQLite 不再双记步骤状态」:TestEngineRunsOnSQLiteStore(run 级 JSON 不落盘、状态经端口读回、检查点入库、第二引擎同库可用)+ TestSQLiteStoreRoundTrip。证据:squad/adapters/backend 各仓 CI 在各自 merge 前 success(GATE);Dev 分支多次 check-pins/make test exit=0(收据入卡);既有兼容网(engine/leader/recovery/r2/intent/evaluator)全程原样通过。 @@ -385,3 +385,9 @@ "receipt_sha256": "6ddb1dded671e5ca3c2f901fd5fcf6c0111e5f99886877dcfe562ab09b1b0899" } ``` + +## 闭合记录(card-autoclose 回填) + +- 依据:merge ba36d47c2fbfdd0ba759fe251f87c403a5f7ffc7(PR #240)已包含于 origin/main,分支成果已落盘;本段为合入后回填。 +- 合并主题:Merge pull request 'Pin the merged SQLite convergence (Q1 WP5)' (#240) from feature/agent-stack-q1 into main +- 归档:随闭合移入 .task/archive/;任务执行期的过程证据见原任务记录与 PR。