| 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"}] |
Predecision Exploration — 設計確定前のゼロベース代替探索
exhaustion-before-conclusion-rule（傘原則）の設計ドメイン側の層2（soft forcing ＋ 選択肢の外部化）。
不変条件: 設計を確定する前に、初期案セットの外にある代替探索 SO を最低1回実行し、その結果（探索木＋SO 出力パス＋採否）を確定前に artifact へその場で残す。記録を closure（episode）まで先送りしない。
「収束をスクリプト層のカウントで判定する」hard 版は本スキルには含まない（defer、限界参照）。
いつ使うか
- 複数の選択肢から1つを選んで設計を確定しようとするとき（A/B で決まりかけた局面）
- ADR / Decision / kickoff の設計判断（DJ-N）を確定・記録するとき
- 「これで確定、先に進む」と言いそうになったとき
いつ使わないか
- 小さく低リスクで後戻りコストの低い判断（過剰適用は analysis paralysis。
exhaustion-before-conclusion-rule の Scope と整合）
原則
wez notify の option C（TTY 直接書き込み）は、A/B 仮決定後・最終確定前のゼロベース SO 再レビューで初めて出た。この発見を人間の即興でなく既定手順にするのが本スキル。「確定前にまだ探索する」トリガーが無いのが最大のギャップ — そこを埋める。
手順
- 初期選択肢セットと暗黙の前提を明示的に列挙する。
- 最低1回、ゼロベース SO を実際に回す（インラインで「なぞる」だけにしない）。
so-compare の「選択肢拡張（設計を確定する SO のとき）」テンプレを使い、初期案と異なるカテゴリ / 責務分界 / データフロー / 実行経路 / 運用前提の代替案を出させる。タイミングは「A/B 仮決定後・最終確定前」を含む（最終確定後ではない）。
- engine 統合経路（効果は未測定・#177 で観測予定＝so-compare 手動反証を engine 統合・再現可能にした段階。現状 so-compare と同列の選択肢）: 確定しようとする判断を claim doc 化し
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（探索木をそのまま不透明に渡す）。
- 弱 SO の終了条件（
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/） → 採用
└── 未探索: <軸>（なぜ今探索しないか）
暫定停止条件（確定的収束ではない）
- 目安: 最低1回のゼロベース SO で新カテゴリの案が出なければ、確定に進んでよい。
- これは disposition（モデル依存の暫定停止）であって確定的な収束判定ではない。§3.4 が求める「収束をモデルに委ねない＝スクリプト層カウント」は hard 版（defer）の領分。新カテゴリが出続ける場合の上限・打切りは人間判断。
ライフサイクル上の位置づけ
- 本スキル（中間・確定時）: 確定前に証跡を artifact に残す（手順4）。これが #77 の teeth。
- episode-retrospective（締め）: closure 時に手順4の証跡を「決定と根拠（棄却した案と棄却理由）」へ蒸留・要約する（後段の標準保管先）。episode はファイルとして常に存在する保証ではないので、確定時の証跡を episode 任せにしない。
- #159（開始側・上流・未着手）: episode 枠の生成と追記忘れ防止のみ。本スキルの確定時証跡要求は #159 に委ねない。
- 予防アンカー: kickoff が DJ を宣言するなら確定前に本スキルを適用。
- plan-mode 経路:
kickoff-to-plan の DJ-GATE: が DJ を含む kickoff 変換時にゲートを TODO 化（plan-mode 縮小傾向のため軽いまま）。
- 決定的トリガ: hook 自動注入（#24）は defer（spot-check 後）。
境界（重なり回避）
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: 「不可能」判定前に諦めない（バグ調査・逆向き・別ドメイン）。
限界
- 遵守はモデル依存。確定的トリガ（hook, #24）は未実装（spot-check 後）。発火は description マッチ＋kickoff 予防＋（plan-mode 経路の）DJ-GATE。
- hard 版は段階導入に移行（旧: 全 defer）: §3.2 生成・反証の物理分離は
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 はこの上で動く。
- episode への蒸留の追記信頼性は #159（未着手）依存。ただし確定時証跡（手順4）は本スキルが今担保するので、#159 未着手でも確定前 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）- 関連 issue: #159（start-side episode gate）/ #24（フック軸）/ #183（oe-refute Stage A）
