実装が設計・タスクに合致しているかを検証せよ。

**注意:** OpenSpec の変更ディレクトリ（`openspec/changes/{change}/`）に設計・タスクが揃っていない場合は ABORT する。

**やること:**
1. レポートディレクトリの `00-plan.md` から対象変更を特定する
2. `openspec/changes/{change}/` の成果物を読み込む:
   - `proposal.md` - 提案
   - `design.md` - 設計
   - `tasks.md` - タスクリスト
3. タスク完了状況を確認する:
   - `tasks.md` のチェックボックス `[x]` と `[X]` を完了として数える
   - 未完了タスクを特定する
4. 要件カバレッジを検証する:
   - `openspec/changes/{change}/specs/` が存在する場合:
     - 配下の Requirement / Scenario を読み、対応する実装コードとテストが存在するか確認する
   - `specs/` が存在しない場合:
     - `proposal.md` / `design.md` / `tasks.md` を根拠に、各タスクの受け入れ条件と対応テストを確認する
5. 設計整合性を検証する:
   - 設計のコンポーネント構成と実装が一致するか確認する
   - インターフェース定義が守られているか確認する
6. テスト実行:
   - テストコマンドを実行し、全テストがパスすることを確認する
7. リグレッション確認:
   - 既存テストが影響を受けていないか確認する

**必須出力（見出しを含める）**
## タスク完了状況
- 完了: {N} / 全体: {M}
- 未完了タスク: {一覧}
## 設計整合性
- {設計との一致/不一致の詳細}
## テスト結果
- {実行コマンドと結果}
## 判定
- {検証合格 / 検証不合格}
