logic-locate

Logic-Lens — 障害箇所の特定

セットアップ

../_shared/common.md §13 に従って、必要に応じて読み込みます。

1. ../_shared/common.md は、言語、Iron Law、Fault Confidence、スコープの振り分け、Remedy の方針、設定フィールド、読み込み上限についてのみ読みます。
2. 手順に進んだ時点で、logic-locate-guide.md の該当するステップのみを読みます。
3. 現在のステップで必要になった時点で、../_shared/logic-risks.md、../_shared/semiformal-guide.md、../_shared/semiformal-checklist.md、../_shared/report-template.md を読み込みます。

プロセス

Step 0. 言語とスコープの振り分け。 common.md §1 に従って言語を判定します。具体的な障害（スタックトレース、失敗するアサーション、具体的な誤った値）が存在することを確認します。疑いしかない場合は、logic-review に切り替えます。

Step 1. 障害を理解する（ガイド Step 1）— 観測された動作、期待される動作、再現手順。

Step 2. エントリーポイントを特定する（ガイド Step 2）— 障害に最も近いものとして、失敗するテスト、最外側のアプリケーションフレーム、またはリクエストハンドラーを選びます。まず障害範囲内にとどまります。スタックフレーム、失敗するテストのフィクスチャ、直接呼び出されるローカル関数、その経路で読み込まれる設定値／環境変数を確認します。トレースが別のモジュールに進まない限り、無関係なモジュールは調べません。

Step 3. 障害発生箇所から逆方向にたどる（ガイド Step 3）— 各値と状態を発生元までたどり、各段階で前提を組み立てます。

Step 4. 順方向にたどって確認する（ガイド Step 4）— 疑わしい根本原因から、トレースが観測された症状に至ることを検証します。

Step 5. 呼び出し先が関与している場合の関数間トレース（ガイド Step 5）— 呼び出し先の内部をたどり、観測された条件下での戻り値、未処理の例外、共有状態の変更を確認します。semiformal-guide.md §Call-Chain Context Labels で定義されている深さの上限と Call-Chain Context Label の形式を適用します。上限に達した場合、残りの呼び出し先の経路を前提として記述し、common.md §7 に従って信頼度を Medium に引き下げます。

Step 6. 根本的な相違を特定して分類する（ガイド Step 6）— 正確な行／式、違反された前提、実際の動作、症状に至る伝播経路を明記し、L-code を選びます。

Step 7. 要点を絞ったレポートを出力する（ガイド Step 7）— Fault Confidence（common.md §7 に従い、High／Medium／Low）；Primary Fault（5つのフィールドからなる単一の指摘）；必要に応じて Contributing Factors；common.md §10 に従った最小限の Remedy。単純な1関数のバグでも、形式は必須です。ラベル付きの Premises／Trace／Divergence／Trigger／Remedy フィールドと Fault Confidence 行を必ず出力してください。修正案だけを回答してはいけません。

レポートのモード行： Fault Locate（中国語：故障定位）。

出力形式： Findings セクションには、完全な Critical／Warning／Suggestion の区分ではなく、Primary Fault を1件だけ含めます。Logic Score 行は Fault Confidence: High / Medium / Low に置き換えます。