📝 docs(main_loop): enforce plan archive completion gate

templates/prompts/coding/close-task.template.md

@@ -19,6 +19,8 @@
 
 - 如本轮来自 `main_loop.py claim` 且任务状态变更，优先通过
   `main_loop.py finish` 留痕
+- 如本轮来自 `main_loop.py claim` 且结果为 `done`，`finish` 之后还必须
+  完成当前 Plan 变更归档/提交；未归档不得声明 Plan 完成
 - 未验证内容必须显式说明
 - 只写对下一轮仍重要的信息
 - 不手工改写 `workflow-state` 或 `plan-status` 状态块
@@ -32,13 +34,18 @@
 4. 如本轮来自 `main_loop.py claim`，核对 `workflow-state.phase`
    是否与当前结果一致
 5. 如需回写上下文，更新 `active-context`、`progress` 上半部分和 `decisions`
-6. 输出本轮摘要与下一步
+6. 如本轮来自 `main_loop.py claim` 且结果为 `done`，按项目归档机制只归档
+   当前 Plan 相关差异
+7. 复核剩余差异是否属于其他 session / 其他 Plan，且未混入本轮交付单元
+8. 输出本轮摘要与下一步
 
 ## 状态留痕复核
 
 - 如本轮来自 `main_loop.py claim`，`main_loop.py finish` 是否已经写回
   `plan-status`
 - 如本轮来自 `main_loop.py claim`，`workflow-state.phase` 是否与当前结果一致
+- 如本轮来自 `main_loop.py claim` 且结果为 `done`，当前 Plan 相关差异
+  是否已经归档/提交，或是否已说明无当前 Plan 差异
 - 如为代码类执行，`workflow-state` 中是否保留了
   `executor=executing-plans` 与既定 `constraints`
 
@@ -64,6 +71,8 @@
 ## 停止条件
 
 - 如已领取 Plan 但状态未写回，先完成留痕再收尾
+- 如当前 Plan 结果为 `done` 但相关差异未归档/提交，停止并完成归档；
+  只能报告“状态已写回，交付未完成”
 - 如验证不足以支持交付，停止并标记风险
 
 ---

templates/prompts/coding/verify-change.template.md

@@ -24,6 +24,8 @@
 - 局部修改优先局部验证
 - 不能运行的验证必须写明原因
 - 不手工改写 `workflow-state` 或 `plan-status` 状态块
+- 如本轮来自 `main_loop.py claim`，验证通过不等于 Plan 完成；Plan
+  `done` 还必须完成当前 Plan 变更归档/提交
 
 ## 验证步骤
 
@@ -33,7 +35,10 @@
 4. 复核 diff 是否只包含预期修改
 5. 如本轮来自 `main_loop.py claim`，复核 `workflow-state.phase`、
    `plan-status` 与当前声明一致
-6. 汇总未覆盖项和剩余风险
+6. 如本轮来自 `main_loop.py claim` 且结果为 `done`，复核当前 Plan
+   相关差异是否已经归档/提交；未归档时只能声明“验证完成”，
+   不能声明“Plan 完成”
+7. 汇总未覆盖项和剩余风险
 
 ## 输出协议
 
@@ -56,6 +61,8 @@
 - 如本轮来自 `main_loop.py claim`，`workflow-state.phase` 是否与当前声明一致
 - 如本轮来自 `main_loop.py claim`，`plan-status` 是否已经通过
   `main_loop.py finish` 写回
+- 如本轮来自 `main_loop.py claim` 且结果为 `done`，当前 Plan 相关差异
+  是否已经归档/提交，或是否已说明无当前 Plan 差异
 - 如为代码类任务，`workflow-state` 中是否保留：
   `executor=executing-plans`
   `constraints=karpathy-guidelines,.agents,AGENT_RULES`
@@ -63,6 +70,7 @@
 ## 停止条件
 
 - 关键验证失败时停止并汇报
+- 当前 Plan 相关差异未归档/提交时，不得声明 Plan 完成
 - 证据不足以支持“完成”结论时停止并汇报
 
 ---