ai-dev-verify

name	ai-dev-verify
description	PlanGate の V-1〜V-4 受け入れ検査と handoff.md 発行を行う。Use when: exec 完了後に受け入れ検査を実行し PR 準備したい時。

AI-Driven Verify (PlanGate / Codex 共用)

PlanGate ワークフローの verify & handoff フェーズ（WF-05） を Codex / Claude Code 両方で実行する skill。Rule 5（最終成果物は毎回 handoff に集約）を担保する。

本スキルは bundled resources（references/）で自己完結する。

パス表記の規約（重要）: 本 SKILL.md 中の references/… は、すべて 本スキル ディレクトリからの相対パス（= <skill_dir>/…）であって、導入先リポジトリのルートからの 相対パスではない。実行時はまず <skill_dir>（このファイルが置かれているディレクトリ）を 解決してから使う:

環境	<skill_dir>
plugin 導入先（Claude marketplace）	<plugin_root>/skills/ai-dev-verify/
install.sh --claude 導入先	.claude/skills/ai-dev-verify/
Codex 導入先	.codex/skills/ai-dev-verify/
上流リポジトリ（正本側）	.agents/skills/ai-dev-verify/

導入先が独自の正本（上流リポジトリの docs/ 配下に相当するもの）を別途保持している 場合は、そちらを優先すること。

Read First

参照解決順（導入先で必ずこの順に探す）

本 Skill は 上流リポジトリ基準の docs/** パスを直接参照しない（#1232）。docs/** は install.sh --claude / plugin（Claude marketplace）/ Codex の 3 経路とも配布対象外であり、 書いた時点で導入先では必ず空振りするためである。参照の解決は次の順で行う:

1. <skill_dir> 配下の同梱物（references/）を第一に読む — 契約 doc と handoff テンプレートは本スキルに同梱されている（「同梱リファレンス」節の一覧）
2. 導入先リポジトリが独自の正本（上流の docs/ 配下に相当するもの）を保持していれば、 そちらを優先する
3. rules（rules/*.md）だけは配布経路によって着地が異なるため、次の順で探す:
   1. 導入先リポジトリの相対パス（例: .claude/rules/working-context.md）
   2. 無ければ plugin root 配下（例: <plugin_root>/rules/working-context.md）
      • <plugin_root> は Bash で ls "${CLAUDE_PLUGIN_ROOT}/rules/" を実行して得た絶対パス。 Read ツールは絶対パスを要求し環境変数を展開しないため、${CLAUDE_PLUGIN_ROOT}/... という文字列をそのまま Read しても必ず失敗する
      • 変数が空・未設定なら glob（~/.claude/plugins/cache/** 等）で推測せず次へ進む
4. いずれでも解決できなければ 「解決できなかった」と明示し、同梱 references/ と本 Skill の 記述を代替正本として扱い、推測で内容を補わない

plugin root 直下に docs/ を探しに行かないこと: plugin が配布するのは agents / commands / skills / rules 等の定義ディレクトリのみで docs/ を配布対象として 認識せず、plugin root 配下に相当する配布物が存在しないため必ず空振りする。

参照	install.sh --claude 経由	plugin（Claude marketplace）経由	Codex 経由
rules/*.md（下記 3〜6）	.claude/rules/ に着地（解決可）	<plugin_root>/rules/ で解決	未配置（解決不可 → 手順 4 へ）
契約 doc・handoff テンプレート	<skill_dir>/references/ に同梱（解決可）	<skill_dir>/references/ に同梱（解決可）	<skill_dir>/references/ に同梱（解決可）
bin/**（CLI）	コピー対象外（解決不可）	バンドル対象外（解決不可）	未配置（解決不可）
scripts/**	コピー対象外（解決不可）	<plugin_root>/scripts/ は存在するが install-plangate-skills.sh のみ（apply-claude-settings.sh / check-settings-wiring.sh 等は解決不可）	未配置（解決不可）

例外（上流リポジトリ内のドッグフーディング経路 / #1249 MINOR-3）: 上表「Codex 経由」の 「同梱（解決可）」が成立するのは 配布物経由（plugin/plangate/scripts/install-plangate-skills.sh。 source は plugin/plangate/skills/）に限る。上流リポジトリ自身が .codex/skills/ を作る scripts/install-plangate-skills-to-codex.sh は source が .agents/skills/ であり、そこには 本 skill の references/ が 存在しない（references/ は scripts/sync-plugin-plangate.sh が plugin/plangate/skills/** にだけ生成する）。したがって上流 repo の .codex/skills/<skill>/references/ は 構造上つねに不在であり、この経路では契約 doc・ テンプレートは手順 4（解決できなかったと明示）に落ちる。上流では docs/** の正本を直接 読めるため実害は無いが、上表の「解決可」を上流の .codex/ にまで拡大解釈しないこと。 経路自体の是正（source の一本化）は #1086 の裁定待ち。

docs/working/TASK-XXXX/*（下記 7）は配布物ではなく導入先で作成する作業成果物なので、 導入先リポジトリ内でそのまま解決する。

同梱リファレンス（<skill_dir>/references/）

ファイル	役割
references/handoff.md	handoff.md 6 要素の正本テンプレート
references/c3-prime-contract.md	approval_kind: "c3-prime" の受理契約（§3〜§5）の正本
references/settings-wiring-contract.md	settings wiring 契約（必要 hook の定義）
references/core-contract.md	実行契約（Iron Law / Stop rules / Output discipline）の正本
references/plangate.md	PlanGate 概要ガイド

読む順序

1. CLAUDE.md
2. AGENTS.md
3. .claude/rules/working-context.md → fallback <plugin_root>/rules/working-context.md（handoff 必須化・6 要素・settings タスクロックの正本）
4. .claude/rules/hybrid-architecture.md → fallback <plugin_root>/rules/hybrid-architecture.md（Rule 5）
5. .claude/rules/review-principles.md → fallback <plugin_root>/rules/review-principles.md（V-3 外部レビュー観点）
6. .claude/rules/mode-classification.md → fallback <plugin_root>/rules/mode-classification.md（V-2/V-3/V-4 の mode 別適用）
7. docs/working/TASK-XXXX/plan.md / test-cases.md / status.md
8. references/handoff.md（同梱。handoff.md 6 要素の正本テンプレート。導入先が独自テンプレートを持つ場合はそちらを優先）

V-1〜V-4 の概要

mode 別の適用範囲は .claude/rules/mode-classification.md（fallback <plugin_root>/rules/mode-classification.md）のフェーズ適用マトリクスを正本とする。各フェーズの趣旨:

• V-1 受け入れ検査: test-cases.md の各 AC を機械的に PASS/FAIL 突合（推測ではなく実行結果のみ）。FAIL は exec へ差し戻し。evidence: evidence/test-runs/, evidence/verification/。
• V-2 コード最適化 (high-risk / critical): 動作不変で可読性・効率性改善。テスト再実行で回帰なしを保証。
• V-3 外部モデルレビュー (standard 以上): 5 観点 + Severity 判定。R-NNN 採番で review-external.md 追記専用。
• V-4 リリース前チェック (critical): ドキュメント整合 / マイグレーション / ロールバック / セキュリティ。

settings タスクロック（V-1 / handoff 完了の前提条件）

plangate doctor --check-settings PASS を V-1 / handoff 完了の前提として要求（.claude/rules/working-context.md → fallback <plugin_root>/rules/working-context.md が正本）。未配線時は Shadow Configuration 防止のため handoff を完了扱いにできない。settings 適用は Human-owned（sh scripts/apply-claude-settings.sh を Human が実行。scripts/apply-claude-settings.sh は配布対象外なので、導入先には存在しない）。

導入先では doctor --check-settings で検証できない。doctor 系は cwd ではなく CLI 本体の位置を基準に <CLI の repo root>/.claude/settings.json を検査するため、 上流 clone から実行しても対象は clone 側の settings であって導入先ではない （--dir 相当のオプションも無い）。導入先では 導入先自身の .claude/settings.json の hooks.PreToolUse を直接読んで必要な hook が配線されているかを確認し、その確認方法と結果を handoff.md に明記する（未検証を「PASS」と書かない）。

必要 hook の実体と、導入先での判定の落とし所: 「必要な hook」の定義の正本は scripts/check-settings-wiring.sh（配布対象外）と同梱 references/settings-wiring-contract.md で、Edit|Write matcher に EH-1 check-plan-exists.sh / EH-2 check-c3-approval.sh / EH-3 check-plan-hash.sh（+ 引数 ${PLANGATE_HOOK_FILE:-}） / EH-6 check-forbidden-files.sh、Bash matcher に EH-9 check-delegation-commit-boundary.sh が配線されていることを要求する。ただし hook 本体（scripts/hooks/*.sh）も plugin に含まれない（plugin/plangate/hooks/ は .gitkeep のみ）ため、導入先の hooks.PreToolUse がこれらを指すことは構造上ありえず、 是正手段の scripts/apply-claude-settings.sh も配布されない。したがって導入先では settings タスクロックを N/A（hook 非配布） と handoff.md に明記し、その代替として 「CLI 不在時のフォールバック」の plan_hash 突合を必須とする（実施結果を handoff.md に 記載）。N/A を「PASS」と書き換えてはならない。上流リポジトリで作業している場合は 従来どおり doctor --check-settings PASS が前提条件として生きる（N/A に落とせない）。

handoff.md 発行（必須・Rule 5）

同梱 references/handoff.md を雛形に発行する（導入先が独自テンプレートを持つ場合はそちらを優先）。6 要素の正本は .claude/rules/working-context.md（fallback <plugin_root>/rules/working-context.md）の「handoff（WF-05 完了資産 / Rule 5）」節および同梱 references/handoff.md を参照。light モード以下で簡易版を採用する場合も本テンプレートを踏襲（該当なしは「該当なし」明記）。PR マージ後も削除しない（完了資産）。

Output

• docs/working/TASK-XXXX/handoff.md（6 要素必須）
• docs/working/TASK-XXXX/evidence/ 追記
• docs/working/TASK-XXXX/status.md 追記（V-1〜V-4 結果サマリ）

CLI 呼び出し

前提（Human 決定 #1144）: plugin / install.sh --claude / Codex が導入先へ配るのは 読み物層（skills / rules / agents / commands）だけであり、CLI（PlanGate CLI 本体）も enforcement 層（scripts/hooks/）も配布物に含まれない。したがって下表の「上流リポジトリの cwd」 列にしか成立しない手順は、導入先では 上流リポジトリ（s977043/plangate）の clone が無いかぎり 実行できない。そこへ到達したら「CLI が無いため実行できない／上流リポジトリの clone が必要」と 明示して停止するか、同表の代替手順へ置き換える。CLI が無いことを理由に手順を黙って省略し、 実施済みと読める記録を残してはならない。

呼び出し表記は実行環境で変わる。相対パス形式（bin/plangate）が成立するのは 上流リポジトリ（s977043/plangate）を clone した cwd に居るときだけで、導入先には bin/ が 配置されない。導入先で PATH を通した場合のコマンド名は plangate（bin/plangate ではない）。

用途	上流リポジトリの cwd	導入先 + PATH に plangate あり	導入先 + PATH に無い（既定）
V-1 機械検証	bin/plangate validate TASK-XXXX	plangate validate --dir docs/working/TASK-XXXX	次節のフォールバック（sha256 突合）
V-3 外部 AI レビュー	bin/plangate review TASK-XXXX --phase v3	導入先の TASK には使えない（--dir 相当なし）→ 手動レビュー	手動レビュー
settings 検証	bin/plangate doctor --check-settings	導入先は検査できない（上記「settings タスクロック」の注記）→ .claude/settings.json を直接確認	.claude/settings.json を直接確認
8 観点 eval	bin/plangate eval TASK-XXXX	導入先の TASK には使えない（--dir 相当なし）	利用不可
metrics 収集	bin/plangate metrics TASK-XXXX --collect|--report	導入先の TASK には使えない（--dir 相当なし）	利用不可

注意: TASK-XXXX 位置引数は cwd ではなく CLI 本体の位置を基準に解決される。 bin/plangate は自身のパスから plangate_root（= bin/ の親）を求め、 <CLI の repo root>/docs/working/TASK-XXXX を読み書きする。bin/ は導入先に配置されない ため、PATH 上の plangate は必ず別の場所にある上流 clone の実体を指す。cwd 非依存で パスを明示できる --dir を持つのは validate / validate-schemas だけで、 review / eval / metrics / doctor に相当オプションは無い。

handoff.md 発行コマンドは未実装（環境を問わず手動）。skill 利用者が同梱 references/handoff.md をコピーし手動で 6 要素を記載する。

CLI 不在時のフォールバック（導入先では既定）

1. V-1 の plan_hash 突合を標準コマンドで代替する（スキップしない） — まず approvals/c3.json に approval_kind キーがあるかを strict JSON で読んで経路を分ける。

   (a) legacy c3.json（approval_kind キー無し）の場合 — plangate validate の plan_hash 検査は plan.md の素の sha256（正規化・前処理なし）と c3.json の plan_hash から sha256: prefix を除いた値の単純比較なので、CLI 無しで再現できる:

   # 算出（sha256sum → shasum -a 256 → openssl → python3 の順に、あるものを使う）
   sha256sum docs/working/TASK-XXXX/plan.md | awk '{print $1}'
   shasum -a 256 docs/working/TASK-XXXX/plan.md | awk '{print $1}'
   openssl dgst -sha256 docs/working/TASK-XXXX/plan.md | awk '{print $NF}'
   python3 -c 'import hashlib,sys; print(hashlib.sha256(open(sys.argv[1],"rb").read()).hexdigest())' docs/working/TASK-XXXX/plan.md
   # 突合先: docs/working/TASK-XXXX/approvals/c3.json の "plan_hash": "sha256:<この値>"
   

   上記 4 手段がすべて無い場合に限りスキップし、その事実を handoff.md と decision-log.jsonl に記録して 「機械検証済み」と書かない （python3 は PlanGate ツールチェーンの事実上の必須依存なので、実際にはほぼ到達しない）

   (b) approval_kind: "c3-prime" の record の場合 — 上記 (a) の手順は使えない。 c3-prime は c3_status を持たず（契約 §5 で明示禁止）、plan_hash は legacy と同じ sha256:<64hex> 形式だが top-level と reviewer snapshot に複数回出現するため、 非アンカーな grep/sed 抽出は多行マッチして誤動作する（契約 §5。読むなら python3 の strict JSON のみ）。さらに受理には Plan Package 6 要素（pbi-input.md / plan.md / todo.md / test-cases.md / review-self.md / review-external.md）の artifact_hashes 全数照合 + plan_package_hash + source_sha（検証時点の対象 SHA と一致）+ reviewer snapshot の三つ組一致 + decision=AUTO_APPROVED までの束縛検証が必要 （正本: 同梱 references/c3-prime-contract.md §3〜§5）。 c3-prime を手動 sha256 のみで代替してはならない — plan.md 単体の hash 一致だけで 検証済みと扱うと、残り 5 artifact と の stale を見逃す。この場合は item 3 の 上流 clone 経由 で機械検証するか、機械検証できない旨を handoff.md と に記録し

次フェーズへ

handoff 完了後は PR 作成 → C-4 ゲート（GitHub 上の人間レビュー）→ マージ。