cross-file-leakage--caller-listed

## 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` を返す。 - [ ] 差分に構造変更（記号の再採番、シンボル名変更、シグネチャ変更、セクション番号の振り直し、ファイル分割・移動）が含まれている - [ ] inputContext に diff が含まれている ゲート不成立時の出力: `NO_REVIEW: cross-file-leakage — 構造変更が検出されない` ## False-positive guards / 抑制条件 - 旧構造への参照を grep しても caller 側に残骸が見つからない場合は指摘しない。 - 残骸が意図的（旧 API の互換 shim、移行期間中の dual-reference）で差分内に明記がある場合は抑制。 - 参照が文字列として同一でも別シンボル/別スコープを指す場合は抑制。 ## Rule / ルール ### 検出ロジック 1. **構造変更の特定**: 差分から「何がどう変わったか」を抽出する（旧シンボル→新シンボル、`§2.1`→新採番、`foo(a)`→`foo(a, b)`、ファイル A→分割後）。 2. **caller の列挙**: 旧構造の識別子（旧シンボル名・旧参照形式・旧パス）を repo 全体に grep し、参照している全箇所を列挙する。 3. **残骸の判定**: 列挙した参照のうち、今回の差分で更新されていないものを残骸として特定する。 4. **波及の報告**: 残骸を `<file>:<line>` と検索語で示し、更新漏れの caller を網羅的に挙げる。 ### 制約 - 検出は最大 5 件（同一原因の残骸はまとめて1件とし、影響ファイルを列挙）。 - 各指摘には「構造変更」「旧構造の検索語」「未更新の caller 位置」を必ず含める。 - caller の列挙は grep で再���可能にし、「N 箇所」と件数を明示する。 ## Evidence / 根拠の取り方 - 残骸は必ず `<file>:<line>` と grep 検索語を示し、推測で件数を述べない。 - 「構造がどう変わったか」を旧→新で具体的に示し、なぜ caller が壊れる/古いかを説明する。 ## Output / 出力フォーマット すべて日本語。 ```text (cross-file-leakage):1: [要約]