v0.1.0 to v0.1.0

---

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 の役割）。

- 当該ファイル内の整合性（それは `rr-midstream-self-contradiction-001` の領域）。

## Pre-execution Gate / 実行前ゲート

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

- [ ] 差分に構造変更（記号の再採番、シンボル名変更、シグネチャ変更、セクション番号の振り直し、ファイル分割・移動）が含まれている

- [ ] inputContext に diff が含まれている

## 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: [要約] 最も影響の大きい未更新 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

```text

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 を新採番に更新

```

### Bad

```text

他のファイルも直す必要がありそう

```

（構造変更の特定なし、検索語なし、caller 位置・件数なし）

## 評価指標（Evaluation）

- 合格基準: 構造変更が旧→新で示され、未更新 caller が grep 再現可能な検索語 + `<file>:<line>` + 件数で網羅されている。

- 不合格基準: 構造変更の特定が曖昧、caller を grep で再現できない、件数が推測、残骸がないのに指摘している。

## 人間に返す条件（Human Handoff）

- 更新すべき caller が他リポジトリ・外部利用者に及び、後方互換の判断を要する場合。

- 構造変更を撤回するか caller を全更新するかが設計判断を要する場合。