self-contradiction-detector

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 / 扱わないこと

• 個別の論理的整合性の検証（logic-torturing の役割）。
• 攻撃経路の分析（war-game の役割）。
• 規則そのものの妥当性判断（規則が正しいか否かではなく、宣言と実装が一致するかを見る）。

Pre-execution Gate / 実行前ゲート

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

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

ゲート不成立時の出力: NO_REVIEW: self-contradiction — 宣言的フレーズが検出されない

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 / 出力フォーマット

すべて日本語。

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

<file>:<line>: [自己矛盾1] <タイトル>
  宣言: 「<規則 X の引用>」(<file>:<宣言の行>)
  違反: <宣言に反する実装の説明>(<file>:<違反の行>)
  乖離: <なぜ宣言と矛盾するか>
  Fix: <宣言に合わせるか宣言を改めるか、最小限の修正>

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

Good / Bad Examples

Good