v0.1.0 to v0.1.0

---

id: 'self-contradiction'

name: 'Self-Contradiction Detector 自己矛盾検出'

description: '同一ファイル/隣接ファイル内で「規則Xを守れ」と宣言した直後にXを破っている、宣言と実装の乖離を検出する'

version: 0.1.0

category: midstream

phase: midstream

applyTo:

- '**/*.md'

- '**/*.{ts,tsx,js,jsx,mjs}'

- '**/SKILL.md'

- '**/AGENTS.md'

tags: [adversarial, self-contradiction, claim-vs-actual, consistency, 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: 宣言（declarative phrase）と実装の突合はチェックリスト型だが、宣言が差分に存在しない変更では実行を止めるゲートが必要

## Goal / 目的

- ファイル/スキル/ドキュメントが「規則 X を守れ」と宣言した直後・同じファイル内で **規則 X を破っている** パターンを検出する。

- Pre-mortem（失敗シナリオ）や Logic Torturing（論理の穴）では捉えにくい、**「宣言」と「実装」の乖離** に特化する。

## Non-goals / 扱わないこと

- 個別の論理的整合性の検証（`rr-midstream-logic-torturing-001` の役割）。

- 攻撃経路の分析（`rr-midstream-war-game-001` の役割）。

- 規則そのものの妥当性判断（規則が正しいか否かではなく、宣言と実装が一致するかを見る）。

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

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

- [ ] 差分に宣言的フレーズ（「〜しない」「禁止」「必ず〜する」「don't」「never」「MUST」「always」等）が含まれている、またはそれを含む既存ファイルへの変更である

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

## False-positive guards / 抑制条件

- 宣言が「例外を明示している」場合（「ただし X の場合を除く」）で、実装がその例外条件に該当するなら抑制。

- 宣言がコメントアウトされた旧仕様や、引用ブロック（「悪い例」として提示されたコード）の場合は抑制。

- 宣言と実装が別の対象を指している（同名だがスコープが異なる）場合は抑制。

## Rule / ルール

### 検出ロジック

1. **宣言の抽出**: 差分・対象ファイルから declarative phrase を抽出する。

- 禁止形: 「〜しない」「〜してはいけない」「禁止」「避ける」「don't」「never」「avoid」「MUST NOT」

- 義務形: 「必ず〜する」「〜すること」「MUST」「always」「required」

2. **対象の特定**: 各宣言が何を規律しているか（参照形式・命名・依存方向・出力形式等）を1文で言語化する。

3. **実装との突合**: 同一ファイル、次いで隣接/関連ファイルの本文・コードを走査し、宣言に違反する箇所を探す。

4. **乖離の報告**: 宣言の位置と違反の位置を両方 `<file>:<line>` で示す。

### 制約

- 検出は最大 5 件。乖離が明白で影響の大きいものを優先。

- 各指摘には「宣言」「宣言位置」「違反位置」「乖離の説明」を必ず含める。

- 宣言が差分外にあっても、違反が差分内にあれば指摘可能（逆も可）。ただし両方とも差分外の場合は対象外。

## Evidence / 根拠の取り方

- 宣言と違反は必ず両方の `<file>:<line>` を示し、推測ではなく実際の行に紐づける。

- 「規則 X」を引用し、違反箇所がどう X に反するかを具体的に説明する。

## Output / 出力フォーマット

すべて日本語。

```text

(self-contradiction):1: [要約] 最も重大な宣言と実装の乖離は〈1文〉

<file>:<line>: [自己矛盾1] <タイトル>

宣言: 「<規則 X の引用>」(<file>:<宣言の行>)

違反: <宣言に反する実装の説明>(<file>:<違反の行>)

乖離: <なぜ宣言と矛盾するか>

Fix: <宣言に合わせるか宣言を改めるか、最小限の修正>

<file>:<line>: [自己矛盾2] ...

```

## Good / Bad Examples

### Good

```text

sub-supervisor.md:38: [自己矛盾] 章番号参照禁止を宣言した直後に章番号参照を使用

宣言: 「章番号参照ではなくファイル単位で参照する」(sub-supervisor.md:17)

違反: 本文で `SKILL §2.1` / `§4` と章番号参照を使用 (sub-supervisor.md:38,68,85)

乖離: L17 の宣言と同一ファイル L38 以降の実装が真逆

Fix: `SKILL §2.1` を該当ファイルパス参照に置換、または L17 の宣言を実態に合わせて緩和

```

### Bad

```text

sub-supervisor.md: 矛盾がありそう

```

（宣言の引用なし、違反位置なし、具体性なし）

## 評価指標（Evaluation）

- 合格基準: 宣言と違反が両方 `<file>:<line>` で示され、引用された規則に対し違反が具体的に説明されている。

- 不合格基準: 宣言の引用がない、違反位置が曖昧、規則の妥当性への意見、差分にない矛盾の推測。

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

- 宣言と実装のどちらが正しいか（規則を直すか実装を直すか）が設計判断を要する場合。

- 矛盾が複数ファイル・複数チームの規約にまたがる場合。