detector-detection-power

id	detector-detection-power
name	Detector Detection Power 検査器の検出力の検証
description	検査器（linter / ガード / CI ゲート / バリデータ / フィルタ）そのものの検出力が差分で静かに落ちていないか、また新設した検査が実際に検出できることが実証されているかを diff-time で検出する。Check 1 unverified detection reduction（検査器の検出ロジック（正規表現・除外パターン・解決集合・allowlist・baseline）を変更して検出件数が減ったのに、減った 1 件ずつが誤検出であった根拠が示されないまま「誤検出を潰した」「N → M 件に減少」と改善として主張している）、Check 2 unproven guard detection power（新しい検査ロジック・CI ゲート・バリデーションを追加・変更したのに、検出すべき入力を注入して検出されること／検出すべきでない入力で黙ることを示す変異注入の証跡が無く、「追加した」「CI が緑」を検出力の証拠として扱っている）、の 2 Check を対象とする report-only。テスト自身のアサーションが実質何も検証していない構造は test-assertion-effectiveness、レビュー基準・品質ゲートの明示的な弱体化（ルールの削除・閾値の引き下げ・suppression entry 追加・lint ルールの無効化）は review-criteria-integrity、リファクタ完了主張一般の検証は refactor-claim-audit、workflow の permissions と action pin は gha-workflow-security、設定ファイルの構文・型の妥当性は config-json へ委譲する
version	0.1.0
category	midstream
phase	midstream
applyTo	["scripts/**/*.{mjs,cjs,js,ts,sh,py,rb}","tools/**/*.{mjs,cjs,js,ts,sh,py,rb}",".github/scripts/**/*.{mjs,cjs,js,ts,sh,py,rb}",".github/workflows/**/*.{yml,yaml}","**/*lint*.{mjs,cjs,js,ts,py,rb,sh}","**/*guard*.{mjs,cjs,js,ts,py,rb,sh}","**/*validat*.{mjs,cjs,js,ts,py,rb,sh}","**/*check*.{mjs,cjs,js,ts,py,rb,sh}","**/*detect*.{mjs,cjs,js,ts,py,rb,sh}","**/*scan*.{mjs,cjs,js,ts,py,rb,sh}","**/*audit*.{mjs,cjs,js,ts,py,rb,sh}","**/*baseline*.{json,yaml,yml,txt}","**/*allowlist*.{json,yaml,yml,txt}","**/*ignorelist*.{json,yaml,yml,txt}"]
tags	["detector-quality","detection-power","guard","linter","ci-gate","validator","mutation-evidence","false-negative","midstream"]
severity	major
inputContext	["diff","prDescription","fullFile"]
outputKind	["findings","questions"]
modelHint	high-accuracy
dependencies	["code_search"]
exclude	["**/*.{test,spec}.{ts,tsx,js,jsx,mjs,cjs}","tests/**/*","test/**/*","__tests__/**/*","**/*Test.php","**/test_*.py","**/*_test.{py,go,rb}"]

Naming / 命名

skills/README.md の Naming Q0–Q5 に従って決定した。本 skill は外部プロジェクトの成果物・技術の取り込みではなく、リポジトリ内の運用振り返りから起こした観点であるため Q0 の入力分類（artifact / concept reimplementation）は適用外であり、Q1–Q4 の「原語」も存在しない。したがって Q5 に落ち、役割を名指す新規命名として detector-detection-power を採用した。機構名（件数比較・変異注入）ではなく「検査器が持つべき価値＝検出力」を名指す点が Q5 の要件である。既存の test-assertion-effectiveness（テストの有効性）と語形をそろえ、対象が テスト ではなく 検査器 であることを detector- の接頭で区別している。

Pattern declaration

Primary pattern: Reviewer Secondary patterns: Inversion Why: 検出ロジックの変更はパターンとして拾えるが、「その変更が誤検出の除去か検出力の低下か」は件数からは決定できず、比較の根拠（減った項目の内訳・変異注入の証跡）が discover できない差分では実行を止めるゲートが必要である。

Goal / 目的

検査器（linter / ガード / CI ゲート / バリデータ / フィルタ）は、それ自身がレビューされないまま「安全網がある」という前提を支えてしまう。検査器の検出力が落ちたことは、失敗として現れない。件数は減り、CI は緑になり、指標はむしろ改善したように見える。この非対称性が本 skill の対象である。

具体的には次の 2 つの盲点を diff-time の静的観点として埋める。

• 減少の解釈: 検出件数が減ったとき、それが誤検出の除去なのか検出力の低下なのかは件数だけでは区別できない。にもかかわらず、件数の減少がそのまま「改善」として報告される。
• 新設の実証: 検査を追加したとき、「追加した」ことと「CI が緑になった」ことは、いずれもその検査が何かを検出できる証拠にならない。検出すべきものを入れたら赤くなり、入れなければ緑のままであることを示して初めて検出力が実証される。

report-only（ADR-005）であり、finding / question のみを出力して自動修正はしない。

Non-goals / 扱わないこと（委譲表）

隣接領域	委譲先	分界
テストのアサーションが実質何も検証しておらず常に PASS する	test-assertion-effectiveness	委譲先の対象はテストコードであり、その中のアサーションが失敗しうるかを見る。本 skill の対象は検査器そのもの（linter / ガード / CI ゲート / バリデータ / フィルタ）であり、その検出ロジックが検出すべきものを検出できるかを見る。検査器に付随するテストの書きぶりは委譲先、検査器本体の検出力は本 skill。この分界は frontmatter の exclude（テストのパス・命名規約を除外）で機構的にも担保している
レビュー基準・品質ゲートの明示的な弱体化（ルール削除・閾値引き下げ・suppression entry 追加・lint ルールの off 化）	review-criteria-integrity	委譲先は「基準そのものを外した・緩めた」差分を見る。本 skill は基準・検査器が残ったまま、その内部ロジックの検出力だけが変わった／未実証であるケースを見る。設定値の無効化は委譲先、検出ロジック（正規表現・解決集合・除外パターン・baseline）の変更は本 skill
リファクタ完了主張一般（「全部置換した」「-N% 削減」）の反証	refactor-claim-audit	委譲先は主張と実装の一致を grep で反証する汎用監査。本 skill は検査器の検出件数に関する主張に限定し、かつ「一致しているか」ではなく「減少が誤検出由来か見逃し由来か」を見る
workflow の permissions 拡大・third-party action の未 pin・トリガーの危険な組合せ