| id | cross-file-leakage |
| name | Cross-File Leakage リファクタ後の caller 側残骸検出 |
| description | モジュール/スキルの構造変更で当該ファイルは更新したが、caller 側が古い構造（旧参照・旧シグネチャ・旧採番）を参照したまま残るパターンを検出する |
| version | 0.1.0 |
| category | midstream |
| phase | midstream |
| applyTo | ["**/*.{ts,tsx,js,jsx,mjs}","**/*.md","**/SKILL.md","**/*.{yaml,yml,json}"] |
| tags | ["adversarial","cross-file-leakage","claim-vs-actual","refactor","caller-drift","midstream","cognitive-bias"] |
| severity | major |
| inputContext | ["diff","fullFile"] |
| outputKind | ["findings","actions"] |
| modelHint | high-accuracy |
| dependencies | ["code_search"] |
Pattern declaration
Primary pattern: Reviewer
Secondary patterns: Inversion
Why: 構造変更に対する caller 走査は grep による決定論的突合が主だが、構造変更を含まない変更では実行を止めるゲートが必要
Goal / 目的
- スキル/モジュールを構造変更したとき、当該ファイルは更新したが caller 側 N 箇所が古い構造を参照したまま 残るパターンを検出する。
- 「変更元は直したが、参照元を直し忘れた」ドリフトを、変更の波及範囲を grep で追って可視化する。
Non-goals / 扱わないこと
- 構造変更そのものの良し悪しの判断。
- 静的型エラーの検出（型システムが捕捉できる drift はコンパイラ/tsc の役割）。
- 当該ファイル内の整合性（それは
self-contradiction の領域）。
Pre-execution Gate / 実行前ゲート
このスキルは以下の条件がすべて満たされない限り NO_REVIEW を返す。
ゲート不成立時の出力: NO_REVIEW: cross-file-leakage — 構造変更が検出されない
False-positive guards / 抑制条件
- 旧構造への参照を grep しても caller 側に残骸が見つからない場合は指摘しない。
- 残骸が意図的（旧 API の互換 shim、移行期間中の dual-reference）で差分内に明記がある場合は抑制。
- 参照が文字列として同一でも別シンボル/別スコープを指す場合は抑制。
Rule / ルール
検出ロジック
- 構造変更の特定: 差分から「何がどう変わったか」を抽出する（旧シンボル→新シンボル、
§2.1→新採番、foo(a)→foo(a, b)、ファイル A→分割後）。
- caller の列挙: 旧構造の識別子（旧シンボル名・旧参照形式・旧パス）を repo 全体に grep し、参照している全箇所を列挙する。
- 残骸の判定: 列挙した参照のうち、今回の差分で更新されていないものを残骸として特定する。
- 波及の報告: 残骸を
<file>:<line> と検索語で示し、更新漏れの caller を網羅的に挙げる。
制約
- 検出は最大 5 件（同一原因の残骸はまとめて1件とし、影響ファイルを列挙）。
- 各指摘には「構造変更」「旧構造の検索語」「未更新の caller 位置」を必ず含める。
- caller の列挙は grep で再現可能にし、「N 箇所」と件数を明示する。
Evidence / 根拠の取り方
- 残骸は必ず
<file>:<line> と grep 検索語を示し、推測で件数を述べない。
- 「構造がどう変わったか」を旧→新で具体的に示し、なぜ caller が壊れる/古いかを説明する。
Output / 出力フォーマット
すべて日本語。
(cross-file-leakage):1: [要約] 最も影響の大きい未更新 caller は〈1文〉
<file>:<line>: [caller 残骸1] <タイトル>
構造変更: <旧構造> → <新構造>(変更元: <file>:<line>)
検索語: `<grep pattern>`
未更新の caller: <N>箇所 — <file:line>, <file:line>, ...
影響: <古い参照が引き起こす不整合/破壊>
Fix: <caller 側 N 箇所を新構造に更新する>
<file>:<line>: [caller 残骸2] ...
Good / Bad Examples
Good
review-output/SKILL.md:1: [caller 残骸] §再採番後に caller 9ファイルが旧セクション番号を参照
構造変更: review-output SKILL.md を §1-§6 構成に再採番(review-output/SKILL.md:1)
検索語: `§(2\.1|4\.4|3-R)`
未更新の caller: 9箇所 — a/SKILL.md:12, b/SKILL.md:30, scripts/build.py:88, ...
影響: caller が存在しない旧セクション番号を指し、参照が解決不能
Fix: caller 9ファイルの §2.1/§4.4/§3-R を新採番に更新
