```markdown
# OpenSpec 実装検証: {change名}

## 判定
- {検証合格 / 検証不合格}

## サマリー
{1-2文で検証結果を要約}

## タスク完了状況
| タスク | ステータス |
|--------|-----------|
| {tasks.md のタスク} | 完了 / 未完了 |

## 要件カバレッジ
- `openspec/changes/{change}/specs/` が存在する場合:
  | 要件 | 実装 | テスト | 備考 |
  |------|------|--------|------|
  | {Requirement / Scenario} | OK / NG | OK / NG | {備考} |
- `specs/` が存在しない場合:
  - `proposal.md` / `design.md` / `tasks.md` を根拠に、各タスクの受け入れ条件と対応テストを確認する

## 設計整合性
| 観点 | 結果 | 備考 |
|------|------|------|
| proposal.md との整合 | OK / NG | {備考} |
| design.md との整合 | OK / NG | {備考} |
| tasks.md との整合 | OK / NG | {備考} |

## テスト結果
- 実行コマンド: {コマンド}
- 結果: 成功 / 失敗

## 未完了項目
- {未完了があれば記載}
```

**認知負荷軽減ルール:**
- 検証合格 -> サマリー、タスク完了状況、判定のみ（10行以内）
- 検証不合格 -> 全セクション記載（30行以内）
