verifylisted

プランの受け入れ基準に対して現在の作業を検証し、静的解析を実行する。 ## 優先フロー 1. アクティブプランと受け入れ基準を読む。 2. **スペック適合性**：各受け入れ基準を確認し、満たされているか・部分的か・満たされていないかをエビデンスとともに記録する。 3. **ドキュメントドリフト**：振る舞いの変更がドキュメント・契約・ルールに反映されているか確認する。 4. `./scripts/run-verify.sh` を実行する（静的解析のみ、デフォルトでは変更された言語スコープ）。 5. コマンド・結果・失敗・カバレッジギャップを [template.md](template.md) のレポートに記録する。 6. 生の検証出力を `docs/evidence/verify-<date>-<slug>.log` に保存する。 7. 決定論的なチェックが欠けている場合は明示的に述べ、追加する最小限の便利なベリファイアを提案する。 8. 検証済み・おそらく正しいが未検証・不明 を区別する。 ## /verify が行わないこと - **テスト**：テスト実行は `/test` の担当。`run-test.sh` はここで実行しない。 - **diff 品質**：それは `/self-review` の担当。 ## 出力 - `docs/reports/verify-<date>-<slug>.md` — 人間が読めるサマリー - `docs/evidence/verify-<date>-<slug>.log` — 生の検証出力 - 明確な pass/fail/partial 判定 - 残っているギャップの明示