PlanGate TDD Evidence Review

Pattern declaration

Primary pattern: Reviewer Secondary patterns: Inversion Why: tdd-ledger のフェーズ別証跡を基準として妥当性を突き合わせる照合型レビューであり、必須 artifact（tdd-ledger）が揃わない場合は実行を止めるゲート（Inversion）も要する。

Goal / 目的

• TDD を主張する実装について、tdd-ledger に記録された RED/GREEN/REFACTOR VERIFY フェーズの証跡が妥当かを検査する。
• 「TDD したと主張するが RED 証跡が無い」「RED が偶然 pass している」「証跡が test-cases に対応しない」といった証跡の欠落・偽装を検知する。

Non-goals / 扱わないこと

• テストコードの書き方・命名・カバレッジ品質（code-* 系 test scaffold skill の領域）。
• plan / todo / test-cases と差分の整合（姉妹 skill plangate-exec-conformance の領域）。
• 既存レビュー文書の W チェック（plangate-verification-audit の領域）。
• すべての PR に TDD を要求すること（TDD が宣言・要求された変更のみが対象）。

Pre-execution Gate / 実行前ゲート

このスキルは、以下の条件のいずれか 1 つでも満たされない場合に NO_REVIEW を返す（すべて満たされたときのみレビューを実行する）。

• artifact として tdd-ledger が解決できている
• tdd-ledger に 1 つ以上の phases[] エントリが含まれている
• inputContext に diff が含まれ、レビュー対象の差分が空でない

ゲート不成立時の出力: NO_REVIEW: plangate-tdd-evidence — tdd-ledger artifact または差分が揃っていない

Gate と抑制条件の違い:

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

False-positive guards / 抑制条件

• TDD が要求されない変更（ドキュメント・設定・生成物のみの差分で、ledger も TDD フェーズを記録していない）は指摘しない。
• refactor_verify は refactor が行われた場合のみ必須。リファクタを伴わない差分での欠如は指摘しない。
• ledger が「TDD 対象外」と明記したフェーズ・タスクは対象外とする。
• 証跡の妥当性が ledger だけでは判断できない場合は、断定せず [q] で確認する（推測で「偽装」と断定しない）。

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

Rule / ルール

tdd-ledger.json の phases[] を読み、各フェーズの妥当性を次のルールで検査する。

1. RED の存在と妥当性
   • high-risk / TDD 宣言のある変更に tdd_red フェーズが存在するか確認する。
   • tdd_red は exitCode != 0（テストが先に失敗した）であること。exitCode == 0 は「RED が偶然 pass」= 偽の RED として指摘する。
   • conclusion が、期待された失敗（対象機能の未実装）を説明しているか確認する。無関係なランタイムエラー・import 失敗での失敗は無効な RED として指摘する。
2. GREEN の存在と対応
   • tdd_green フェーズが存在し exitCode == 0 であること。
   • tdd_green の対象が tdd_red と同じ挙動（同じ testCaseRefs / コマンド）を指しているか確認する。RED と無関係な GREEN は指摘する。
3. REFACTOR VERIFY
   • 差分に整理・リファクタが含まれる場合、refactor_verify（exitCode == 0）が存在するか確認する。
4. verification（TDD 以外の最終検証）
   • verification フェーズが記録されている場合は exitCode == 0 であることを確認する。exitCode != 0 は最終検証の失敗として指摘する。
   • verification は RED/GREEN を置き換えない。verification のみが存在し tdd_red / tdd_green を欠く場合は missing-tdd-red / missing-tdd-green の対象とする。
5. test-cases との対応
   • phases[].testCaseRefs が test-cases artifact のケース ID に対応づくか確認する。対応づかない証跡は tdd-evidence-not-linked-to-test-case として指摘する。
   • test-cases の受入挙動に対し、テストが mock のみを検証してビジネス境界を見ていないと読み取れる場合は指摘する。
6. 不確実性の扱い
   • ledger の記述が曖昧でフェーズ妥当性が判断できない場合は、断定せず [q] として質問形式で返す。