Impact Evidence Coverage 影響・失敗系・外部依存の証拠充足

Pattern declaration

Primary pattern: Reviewer Secondary patterns: Inversion Why: 証拠の有無は grep / artifact 参照による決定論的突合が主だが、影響・失敗系・外部依存のいずれにも触れない変更では実行を止めるゲートが必要。

Goal / 目的

完成した差分に対し、次の 3 種のリスクを 調査した証拠が残っているか（evidence-sufficiency） を diff-time で検証する。defect そのものではなく「証拠の不在」を検出する。

1. 影響調査（Impact）: 共有シンボル・公開 API・広く参照される設定を変更したとき、影響範囲を repo 全体で調査した証拠（caller の走査記録・grep ログ・影響集合の列挙）があるか。
2. 失敗系検証（Failure）: 新しい分岐・throw・リトライ・タイムアウト・不可逆処理を追加したとき、失敗経路を観測した証拠（失敗系テスト・境界テスト・fail-safe 方向の退行検知）があるか。
3. 外部依存確認（External）: 外部 API・レート制限・リトライ・キャッシュ整合・非同期の再実行安全に触れたとき、その挙動を確認した証拠（契約テスト・冪等性テスト・タイムアウト設定の明示）があるか。

Non-goals / 扱わないこと

• defect の検出そのものは行わない。caller 側残骸は cross-file-leakage、契約破壊は api-compatibility、外部依存の設計不備は external-dependencies、失敗経路のテスト欠落は coverage-gap / test-existence が担う。本 skill はそれらが指す「顕在した欠陥」ではなく「調査した証拠の不在」だけを扱う。
• 全 Unknown カテゴリの横断合成は行わない。要件・plan・assumption・セキュリティを含む 6 観点全体の evidence-sufficiency を合成するのは agent-skill unknown-coverage-review（finding verification 後の合成ステップ）である。本 skill はその合成層が委譲する Impact / Failure / External の 3 軸のみを、keyword routing で diff-time に単独実行できる registry 版として担う。両者は責務が入れ子で、合成層が動くときは本 skill の findings を残余に取り込む（重複指摘しない分界は unknown-coverage-review の DELEGATION.md を SSoT とする）。
• 証拠が実在するのに「なさそう」と推測して指摘すること。反証（grep・artifact 参照）できない証拠不在は question に留める。

Pre-execution Gate / 実行前ゲート

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

• inputContext に diff が含まれている。
• 差分が リポジトリ内で実行されるコード・migration・schema・公開 API・設定 のいずれかに触れる（docs・コメントのみの差分は対象外）。
• 差分が上記 3 軸（Impact / Failure / External）の少なくとも 1 つに該当する変更を含む。具体的には、共有シンボル・公開 API・広く参照される設定の変更（Impact）、新しい分岐・throw・リトライ・タイムアウト・不可逆処理（Failure）、外部 API・レート制限・キャッシュ・非同期の再実行（External）のいずれか。
• ビルド成果物・生成物（dist/**・*.map・lockfile・自動生成 manifest）は Gate 判定からもレビュー対象からも除外する。

ゲート不成立時の出力: NO_REVIEW: impact-evidence-coverage — 影響・失敗系・外部依存に触れる変更が検出されない

False-positive guards / 抑制条件

低リスク PR（小さく明確なバグ修正・既存パターンの踏襲）で過剰な指摘を出さないため、次を厳守する。

• 証拠の diff 同梱を充足とみなす: 影響調査・失敗系・外部依存の証拠が 同一 diff に同梱されている場合は指摘しない。証拠の同梱形態は次を含む。
  • 失敗系テスト・境界テスト・契約テスト・冪等性テスト・fail-safe 退行検知テストが同じ差分に追加されている。
  • caller 走査・grep の記録、影響集合の列挙、near-miss の棄却根拠が PR 本文または差分内コメントに書かれている。
  • タイムアウト・リトライ・レート制限・キャッシュ TTL の設定値が差分内に明示されている。
• 証拠の別在の棄却が前提: 「証拠が repo 内・別ファイル・既存テスト・PR 本文に存在する可能性」を Grep / Glob / artifact 参照で棄却できた場合のみ finding 化する。棄却できなければ finding ではなく question とする。
• 委譲先の領分を侵さない: 委譲表（unknown-coverage-review の DELEGATION.md）で defect 検出に割り当てられた指摘（caller 残骸・契約破壊・テスト欠落そのもの）は出さない。本 skill の finding は「証拠の不在（evidence_missing）」に限る。
• 指摘上限: 観点（Impact / Failure / External）ごとに finding と question の合算で最大 3 件とする。question は info 相当として扱い、保持の優先順は findings（severity 降順）→ questions とし、上限超過分は優先度の低い側（questions → 低 severity findings）から切り捨てる。
• correctness bug・セキュリティ欠陥そのものは対象外（defect 系観点の責務）。