菜单
設計判断を確定する前に、ゼロベースで未探索の代替案を最低1回引き出し、その証跡を確定前に残してから確定する。複数の選択肢を A/B 等で確定しかけたとき、ADR / Decision / kickoff の設計判断（DJ-N）を確定・記録するときに使用する。so-compare 選択肢拡張・探索木の外部化を含む。
用 Codex 或 Claude 帮你安装 复制这段 Prompt，粘贴到 Codex、Claude 或其他助手里，让它检查 Skill 页面并帮你完成安装。
基于 SOC 职业分类
| name | predecision-exploration |
| description | 設計判断を確定する前に、ゼロベースで未探索の代替案を最低1回引き出し、その証跡を確定前に残してから確定する。複数の選択肢を A/B 等で確定しかけたとき、ADR / Decision / kickoff の設計判断（DJ-N）を確定・記録するときに使用する。so-compare 選択肢拡張・探索木の外部化を含む。 |
| depends | [{"skill":"so-compare"},{"skill":"kickoff-to-plan"},{"skill":"episode-retrospective"},{"command":"peer-ai-review"}] |
exhaustion-before-conclusion-rule（傘原則）の設計ドメイン側の層2（soft forcing ＋ 選択肢の外部化）。
不変条件: 設計を確定する前に、初期案セットの外にある代替探索 SO を最低1回実行し、その結果（探索木＋SO 出力パス＋採否）を確定前に artifact へその場で残す。記録を closure（episode）まで先送りしない。
「収束をスクリプト層のカウントで判定する」hard 版は本スキルには含まない（defer、限界参照）。
exhaustion-before-conclusion-rule の Scope と整合）wez notify の option C（TTY 直接書き込み）は、A/B 仮決定後・最終確定前のゼロベース SO 再レビューで初めて出た。この発見を人間の即興でなく既定手順にするのが本スキル。「確定前にまだ探索する」トリガーが無いのが最大のギャップ — そこを埋める。
so-compare の「選択肢拡張（設計を確定する SO のとき）」テンプレを使い、初期案と異なるカテゴリ / 責務分界 / データフロー / 実行経路 / 運用前提の代替案を出させる。タイミングは「A/B 仮決定後・最終確定前」を含む（最終確定後ではない）。
oe-refute --claim <doc> --rubric exploration を同期で呼ぶ（so-compare を wrap し、生成と物理分離した独立レーンが breadth(軸5)/grounding(軸3) レンズで反証）。返る {verdict, reason, output_dir} が refuted なら確定を保留する。output_dir（oe-refute が返す反証レーンの生出力先・永続しない）なので verdict/reason の内容を確定時証跡へ転記する（パスだけに頼らない）。claim doc は frontmatter（claim 必須・rubric 任意＝省略時は既定 exploration だが明示を推奨）＋ body（探索木をそのまま不透明に渡す）。docs/specs/document-format.md §3.1）: so-compare / oe-refute が使えない、または全レーンが実返却なし（timeout_empty の1回リトライ後も空、あるいは success_empty〔exit0 だが空〕で全レーン空。後者は機構上 partial＝exit1 計上だが、実返却ゼロなので "0 はなし" 抵触）なら、確定を止めて人間承認を取る（黙って skip しない）。partial は実返却が 1 レーン以上あるときに限り disclose して進んでよい（advisory）。so-compare なら tmp/so-*/、oe-refute なら verdict/reason＋output_dir）＋採否を、確定と同一セッションで確定前 artifact に書く。置き場は手近なもの: tmp/dj-N-tree.md / ADR 草稿の「棄却案」節 / kickoff の DJ 節 / PR 本文 / peer-review ログ（tmp/peer-review-*/review-log.md）。episode closure まで先送りしない（「後で追記」は監査で 100% 不履行＝L4）。persistent-exploration の探索木を設計選択肢に流用。検討案・差分軸・採否・未探索ブランチ・反証の出力パス（oe-refute の verdict/output_dir を含む）を残す。
<設計判断 DJ-N: ...>
├── 案A（初期） → 差分軸: ... → 採否: ❌ 理由 ...
├── 案C（ゼロベースで発見） → 差分軸: ... → 検証: ✅（SO 出力: tmp/so-XXXXXX/） → 採用
└── 未探索: <軸>（なぜ今探索しないか）
kickoff-to-plan の DJ-GATE: が DJ を含む kickoff 変換時にゲートを TODO 化（plan-mode 縮小傾向のため軽いまま）。so-compare 選択肢拡張: SO のテンプレ（道具）。本スキルは「確定前に実 SO を1回回し証跡を残す」起動条件＋探索木＋確定時記録。exhaustion-before-conclusion-rule: 傘原則。本スキルは設計ドメインの層2。Minimal discipline（結論時に未探索を明示）を設計確定局面で具体化（探索木＋DJ 単位の確定前証跡）。reframe-on-stall-rule: 空転時の作り直し（探索中）。確定間際の空転は両者が効きうる — まず本スキルで代替を出し、なお空転なら reframe で枠ごと組み直す。question-driven-design: 設計を質問で掘る前段。QDD 完了 ≠ 探索完了。peer-ai-review（command）: 設計判断の合意ループ。順序: 合意ループに入る前・各 DJ 確定前に本スキルの1回ゼロベース探索を済ませる（合意ループと二重 SO にしない）。persistent-exploration: 「不可能」判定前に諦めない（バグ調査・逆向き・別ドメイン）。oe-refute（Stage A・engine 統合の同期反証 verb・PR #184）で着地（生成と物理分離した独立レーンが反証）。oe-refute は exit code（survived 0 / refuted 3）を持つが Stage A では advisory（JSON verdict が正本）＝§3.3 一次検証の機械義務化そのものは Stage B/C 待ち。§3.1 出力差分 reject／§3.4 スクリプト層カウント収束は engine verify ゲート拡張（Stage B）、決定的トリガは Stage C（#24）待ちで defer。本スキルの soft forcing はこの上で動く。canonical/rules/exhaustion-before-conclusion-rule.md（傘原則）canonical/skills/so-compare/SKILL.md（選択肢拡張テンプレ）canonical/skills/episode-retrospective/SKILL.md（closure 時の蒸留先＝決定と根拠）canonical/skills/persistent-exploration/SKILL.md（探索木・逆向きの弁別）canonical/commands/verification/peer-ai-review.md（合意ループ）projects/orchestration-engine/bin/oe-refute（Stage A・確定前の同期反証 verb・so-compare wrap）projects/orchestration-engine/docs/discussions/2026-06-18-discussion-exploration-hard-layer-on-engine.md（hard 層 × engine substrate の合流）docs/specs/2026-04-23-discussion-exploration-process-design.md / docs/specs/2026-04-22-discussion-hypothesis-driven-exploration.mdprojects/wezterm-ai-mode/docs/episodes/2026-04-22-episode-wez-notify.md（option C）親子 Claude Code セッション間の委譲操作を行う。delegate（子を起動してキック）、send（既存ペインへ1行/キックオフ送信・誤送信防止つき）、list（宛先確認）、report（子→親の申し送り）を自然言語の意図から判断して実行する。tmux 環境前提。
oe-* オーケストレーションツール群（engine 本体 / 親子委譲 / SO ゲート / 選択・観測）と駆動層規律の統合概観。複数エージェント委譲・設計SO/実装SO・read-only 観測・engine 1 サイクルを使うとき、ツール群の全体像をリポジトリ走査でなく一貫した形で把握したいときに使用する。
エラー/バグ調査で、入力→出力のコードパスに未読区間がある限り外部要因（インフラ差異等）の仮説に進まない。外部要因に飛ぼうとするとき、原因が再現しないと判断しそうなときに使用する。仮説を tmp/hypothesis-NNN.md に外部化し、コードパスの read-state を可視化する。
プランをKickoff Document形式に変換する。セカンドオピニオン投入・リポジトリアーカイブ・ピアレビュー共有時に使用する。命名規約・frontmatter・セクション構造をKickoff形式に整える。
so-compare.shでセカンドオピニオン（Codex/Claude/Cursor）を取得し、結果を比較する。ピアレビュー、修正方針の検証、設計判断の反証に使用する。**弱 SO**（1周可・partial=disclose・0はなし）。プロンプト設計原則、結果読み込み手順、合意判定基準を含む。
蒸留パイプライン文書（kickoff/episode/decision/discussion）の作成時にフォーマットを適用する。frontmatter付与、ULID生成、ファイル命名規則の案内を含む。ドキュメント新規作成、Episode→Decision昇格時に使用する。