plangate-exec-conformance-guard

id	plangate-exec-conformance
name	PlanGate Exec Conformance Guard
description	実装差分が plan / todo / test-cases アーティファクトの方針と一致しているかを検査し、逸脱・漏れ・意図外変更を検知する
version	0.1.0
category	upstream
phase	upstream
applyTo	["**/*"]
tags	["plangate","conformance","exec","plan","todo","test-cases","upstream"]
severity	major
inputContext	["diff","repoConfig"]
outputKind	["findings","summary","questions"]
modelHint	balanced

Pattern declaration

Primary pattern: Reviewer Secondary patterns: Inversion Why: plan/todo/test-cases を基準として差分を突き合わせる照合型レビューであり、必須 artifact が揃わない場合は実行を止めるゲート（Inversion）も要する。

Goal / 目的

• 実装差分（diff）が plan の方針、todo の作業項目、test-cases の検証内容に整合しているかを検査する。
• 計画外の変更、未実装の TODO、テストで覆われない差分などを可視化し、PlanGate 上流成果物と実装の drift を防ぐ。

Non-goals / 扱わないこと

• plan / todo / test-cases 自体の内部整合性チェック（それは姉妹 skill plangate-plan-integrity の責務）。
• 実装コードの品質・性能・セキュリティ観点の指摘（midstream の各 skill が担当）。
• 差分量や規模に対する一般論（PlanGate の計画と無関係な規模指摘はしない）。
• PlanGate 固有のディレクトリ構成や内部コマンドへの依存（pages/reference/artifact-input-contract.md の契約に従う）。

Pre-execution Gate / 実行前ゲート

このスキルは以下の条件がすべて満たされない限りNO_REVIEWを返す。

• inputContext に diff が含まれ、レビュー対象の差分が空でない
• artifact として plan（または pbi-input）が解決できている
• artifact として todo または test-cases のいずれかが解決できている

ゲート不成立時の出力: NO_REVIEW: plangate-exec-conformance — 差分または plan/todo/test-cases artifact が揃っていない

Gate と抑制条件の違い:

• Gate = 実行するかどうかの判定（必須 artifact が欠損していれば一切レビューしない）。
• 抑制条件 = 実行した上で黙るかどうかの判定。

False-positive guards / 抑制条件

• plan に「本 PR のスコープ外」「別 PR で対応」と明記された項目の未実装は指摘しない。
• todo に [x] で完了済みとマークされた項目は、差分での検証を緩める（完了前提として扱う）。
• 生成物・フォーマッタ出力・依存更新など、計画で明示的に除外された機械的差分は抑制する。
• test-cases が「記録のみ（実装不要）」と明示している項目は、テスト実装の欠如を指摘しない。

抑制時の出力: 該当する指摘を出力しない（黙る）。

Rule / ルール

1. 方針整合（plan → diff）
   • 差分の主要な変更点が plan に記載された目的・アプローチ・設計判断の範囲内か確認する。
   • plan に記載のない新規依存・新規モジュール・破壊的変更が含まれていれば指摘する。
2. 作業項目の網羅（todo → diff）
   • todo の各項目について、対応する差分が存在するか確認する。
   • 逆に、todo に存在しない領域への変更（意図外の副次変更）がないか確認する。
3. テスト整合（test-cases → diff / junit）
   • test-cases で宣言されたケースに対応するテストコードが差分に含まれているか確認する。