# 变更验证模板

<!--
用途：在声明“完成 / 修复 / 可交付”前，用 fresh run 证明改动成立。
触发：代码、配置、模板、规则修改后；准备交付结果前。
-->

## 验证目标

- 这次改动要证明什么
- 哪些行为必须通过
- 哪些验证本轮不做

## 先读

- `AGENT_RULES.md`
- `memory-bank/progress.md`
- 如存在：`docs/prompts/custom/verify.md`

## 规则

- 没有证据，不宣称完成
- 验证命令必须 fresh run
- 局部修改优先局部验证
- 不能运行的验证必须写明原因
- 不手工改写 `workflow-state` 或 `plan-status` 状态块

## 验证步骤

1. 做语法或结构检查，确认改动文件可读、可解析
2. 运行与本次改动直接相关的验证命令
3. 记录命令、结果和关键输出
4. 复核 diff 是否只包含预期修改
5. 如本轮来自 `main_loop.py claim`，复核 `workflow-state.phase`、
   `plan-status` 与当前声明一致
6. 汇总未覆盖项和剩余风险

## 输出协议

```markdown
## Validated
- ...

## Evidence
- ...

## Not Validated
- ...

## Risks
- ...
```

## 状态留痕复核

- 如本轮来自 `main_loop.py claim`，`workflow-state.phase` 是否与当前声明一致
- 如本轮来自 `main_loop.py claim`，`plan-status` 是否已经通过
  `main_loop.py finish` 写回
- 如为代码类任务，`workflow-state` 中是否保留：
  `executor=executing-plans`
  `constraints=karpathy-guidelines,.agents,AGENT_RULES`

## 停止条件

- 关键验证失败时停止并汇报
- 证据不足以支持“完成”结论时停止并汇报

---

**最后更新**：{{DATE}}