logic-explain について
1つの関数と入力シナリオを対象に、コードの実行過程を追跡するスキルです。前提や呼び出し、見落としやすい挙動を説明し、評価や修正は行いません。
主な機能
- 01単一関数とシナリオに限定
- 02前提と変数状態の整理
- 03呼び出しを段階的に追跡
- 04暗黙の型変換と副作用の特定
- 05実際の挙動と想定の比較
活用シーン
- 01特定入力での関数の挙動理解
- 02関数をまたぐ実行経路の追跡
- 03暗黙の型変換や隠れた副作用の把握
インストール
コマンドをコピーしてターミナルで実行します。
npx skills add https:/インストール後、Claude Code で/logic-explainを入力して読み込まれたか確認します。
同梱ファイルlogic-explain-guide.md
詳細
Logic-Lens — 実行の説明
セットアップ
../_shared/common.md §13 に従って遅延読み込みを使用します。
../_shared/common.mdは、言語、レポートヘッダーのバリエーション、スコープの振り分け、読み込み予算に関する箇所だけを読みます。- 該当する手順に進んだ時点で、
logic-explain-guide.mdの関連するステップだけを読みます。 - 現在のステップで必要になったときに、
../_shared/semiformal-guide.md、../_shared/semiformal-checklist.md、../_shared/report-template.mdを読み込みます。
注：logic-risks.md は意図的に読み込みません。logic-explain は L-code の指摘を生成せず、このモードでは Remedy も意図的に対象外だからです。トレースでバグが判明した場合は中止し、logic-review または logic-locate を推奨してください。引き継ぐ際は、すでに行った作業を捨てないでください。確立した前提と完了したトレース手順を 「部分的なトレースのコンテキスト（次のスキルに引き継ぐ）：」 という見出しの下に示し、ユーザーがそのまま次のスキルに渡せるようにします。
プロセス
ステップ 0. 言語とスコープの振り分け。 common.md §1 に従って言語を判定します。関数を 1 つ、入力シナリオを 1 つに絞って確認します。ユーザーがシナリオを指定せずにバグの発見を求めている場合は、logic-review に引き継ぎます。
ステップ 1. エントリーポイントとシナリオ（ガイドのステップ 1）— 関数、入力シナリオ、ユーザーが理解しようとしている内容を示します。
ステップ 2. 前提を構築（ガイドのステップ 2）— 自明でない名前をすべて特定し、主要な変数のエントリー時の型を示し、アクセスされるグローバル状態／モジュール状態を記録します。
ステップ 3. 手順ごとのトレースを作成（ガイドのステップ 3）— 番号付きで、関数間をたどり、能動態で記述します。ユーザーのシナリオに関係する場合は、関数の境界を越えてトレースします。トレースはシナリオに沿ったものにし、ユーザーの疑問の説明に必要でない限り、別の経路には分岐しません。
ステップ 4. 自明でない動作を強調（ガイドのステップ 4）— 名前の解決、暗黙の型変換、隠れた副作用など、ざっと読むだけでは見落としやすい注意点を示します。
ステップ 5. 実際の動作と想定を要約（ガイドのステップ 5）— それぞれ 1 文で記述します。ここがユーザーにとっての中心的な価値です。
レポートのモード行： Execution Explain（中国語：执行解释）。
注： Execution Explain は評価ではなく、説明を行うモードです。レポートヘッダーから Logic Score／Fault Confidence／Verdict の行を省略します。