修正計画に対する実装の完了度を、修正担当とは独立して検証してください。ソースは編集せず、新しい全面レビューも行わないでください。

**参照するレポート:**
- 修正計画: {report:fix-plan.md}
- 修正報告: {report:fix-report.md}

{{include:instructions/fix-plan-validity}}
{{include:instructions/repair-verification-path-check}}
{{include:instructions/quality-gate-causality}}

判定に独立して必要なレポート、正本、直接の呼び出し経路は、可能な限り同じ探索単位でまとめて確認してください。これは確認順序だけを定めるもので、探索範囲を広げる理由にはなりません。互いに依存しない読み取りや検索を進捗報告ごとに直列化せず、判定に不要な任意の履歴やテストの不在確認を続けないでください。必要な証拠がそろったら出力契約に沿った最終結果を返し、進捗報告だけで応答を終えないでください。

**検証手順:**
1. Report Directory の最新レビューレポートで、計画が対象とした問題、不変条件、受入条件、隣接する別問題との境界を確認する
2. 修正報告を正解表にせず、上の修正経路確認に従って正本から再導出した状態・経路と計画の比較結果を確定する
3. 再導出した集合を `不変条件 × 対象経路 × その条件を壊す反例` の原子的な完了義務へ展開する。振る舞い修正、利用側移行、旧経路削除、既存契約保存を別々に現在のコードと差分へ照合する
4. 各完了義務について、成立例だけでなく失敗例、境界値、逆方向の反例を現在のコードと記録済み証跡から追跡する。不足を見つけても最初の1件で打ち切らず、同じ前提や探索方法で完了扱いされた全修正単位へ確認を広げる
5. 静的な義務はコード照合から判定し、実行時の振る舞いは提供されたレポート、ログ、記録済み結果と現在のコードを照合する。各義務が壊れたときに既存のどの観測点で検出できるかを確認し、広いテストスイートの成功や修正報告の自己申告だけを根拠にしない。記録がない範囲は未確認とし、その欠如だけを未完了や再修正の理由にしない
6. 修正報告に記録された品質ゲートだけを確認し、記録されていないゲートを追加で要求しない
7. 計画と修正報告の不変条件を照合する。その後、出力契約に沿って更新・引き継ぎを行う
8. 実装または証拠の不足と、計画の前提・修正境界・方法・検証能力の不足を区別する。環境要因として後続確認へ分けるのは、現在のコードと記録済み証跡から実装欠陥ではないことを確認できた場合だけとする

結果の分類と必要項目は出力契約に従ってください。正本に基づく全完了義務と受入条件を独立に照合し、確認した不足がなければ成功としてください。任意の実行記録がない範囲は、成功証跡と区別して未確認として残してください。不足があれば、その根拠と修正報告の証拠が検出できなかった理由を列挙してください。