docs(phase29an): add p6 planner skeleton gate

CURRENT_TASK.md

@@ -19,7 +19,7 @@ Scope: Repo root の旧リンク互換。現行の入口は `docs/development/cu
 `docs/development/current/main/design/coreplan-migration-roadmap-ssot.md` が移行タスクの Done 判定の入口。
 
 **Next implementation (CorePlan Step-B / Facts SSOT)**
-`docs/development/current/main/phases/phase-29an/P5-SKELETON-IF-WITHOUT-ELSE-INSTRUCTIONS.md`
+`docs/development/current/main/phases/phase-29an/P6-PLANNER-SKELETON-GATE-INSTRUCTIONS.md`
 
 **2025-12-29: Phase 29am P0 COMPLETE (CorePlan If/Exit lowerer/verifier)**
 CorePlan の If/Exit を lowerer/verifier で扱えるようにして、CorePlan 移行の土台を作った。

docs/development/current/main/10-Now.md

@@ -2,7 +2,7 @@
 
 ## Current Focus: Phase 29an（Skeleton/Feature Facts）
 
-Next: Phase 29an P5（SkeletonFacts: if without else）
+Next: Phase 29an P6（Planner skeleton gate）
 運用ルール: integration filter で phase143_* は回さない（JoinIR 回帰は phase29ae pack のみ）
 運用ルール: phase286_pattern9_* は legacy pack (SKIP) を使う
 移行道筋 SSOT: `docs/development/current/main/design/coreplan-migration-roadmap-ssot.md`
@@ -12,6 +12,11 @@ Next: Phase 29an P5（SkeletonFacts: if without else）
 - 変更: `src/mir/builder/control_flow/plan/facts/loop_facts.rs` / `src/mir/builder/control_flow/plan/planner/build.rs`
 - 検証: `cargo build --release` / `./tools/smokes/v2/run.sh --profile quick` / `./tools/smokes/v2/profiles/integration/joinir/phase29ae_regression_pack_vm.sh`
 
+**2025-12-29: Phase 29an P5 完了** ✅
+- 目的: SkeletonFacts の If2 判定を else 有無に依存しない形へ修正（未接続・仕様不変）
+- 変更: `src/mir/builder/control_flow/plan/facts/skeleton_facts.rs`
+- 検証: `cargo build --release` / `./tools/smokes/v2/run.sh --profile quick` / `./tools/smokes/v2/profiles/integration/joinir/phase29ae_regression_pack_vm.sh`
+
 **2025-12-29: Phase 29an P3 完了** ✅
 - 目的: Freeze taxonomy の `unstructured` タグをコード語彙へ追加（未使用のまま、仕様不変）
 - 変更: `src/mir/builder/control_flow/plan/planner/freeze.rs`

docs/development/current/main/phases/phase-29an/P6-PLANNER-SKELETON-GATE-INSTRUCTIONS.md

@@ -0,0 +1,61 @@
+---
+Status: Active
+Scope: code（仕様不変、Plannerの骨格前提を明文化）
+Related:
+- docs/development/current/main/phases/phase-29an/README.md
+- docs/development/current/main/design/coreplan-skeleton-feature-model.md
+- docs/development/current/main/design/planfrag-freeze-taxonomy.md
+- docs/development/current/main/phases/phase-29ae/README.md
+---
+
+# Phase 29an P6: Planner に Skeleton gate を追加（Loop 以外は Ok(None)、仕様不変）
+
+Date: 2025-12-29  
+Status: Ready for execution  
+Scope: Planner の前提（LoopFacts は LoopSkeleton）をコードで明文化して、将来の Region plan へ繋ぐ
+
+## Objective
+
+- `build_plan_from_facts_ctx()` の入口で `skeleton.kind` を確認し、Loop 以外は **`Ok(None)`** へ倒す（fallback を維持）
+- 現状は `LoopFacts` が loop 起点なので実質的に到達しないが、**SSOT としての境界**をコードに固定する
+
+## Non-goals
+
+- 候補の集合/順序/ログ/エラー文字列の変更
+- 新しい Freeze を追加して gate を壊す
+- Skeleton の “一意化” を実装する（P7 以降）
+
+## Implementation
+
+Update:
+- `src/mir/builder/control_flow/plan/planner/build.rs`
+
+### Step 1: skeleton gate を追加
+
+`build_plan_from_facts_ctx()` 冒頭で:
+
+- `use crate::mir::builder::control_flow::plan::facts::skeleton_facts::SkeletonKind;` を追加
+- `match facts.facts.skeleton.kind { SkeletonKind::Loop => {}, _ => return Ok(None) }`
+
+注意:
+- `Ok(None)` に倒す理由: 既定挙動を変えず legacy fallback を維持するため
+- 将来 “対象っぽい” を Freeze にしたくなった場合は P7（Skeleton一意化）で taxonomy に従って実装する
+
+### Step 2: unit test を 1 本追加（SSOT固定）
+
+`build.rs` の `#[cfg(test)]` 内で、手動で `LoopFacts` を構築して `skeleton.kind=If2` を入れたケースを作り、
+`build_plan_from_facts_ctx(...)=Ok(None)` を確認する。
+
+注意:
+- ここは “仕様不変” のためのガードテスト。実行導線では発火しない想定。
+
+## Verification（required）
+
+- `cargo build --release`
+- `./tools/smokes/v2/run.sh --profile quick`
+- `./tools/smokes/v2/profiles/integration/joinir/phase29ae_regression_pack_vm.sh`
+
+## Commit
+
+- `git add -A && git commit -m "phase29an(p6): gate planner by skeleton kind"`
+

docs/development/current/main/phases/phase-29an/README.md

@@ -62,7 +62,11 @@ Status: ✅ COMPLETE（実装コミット: `5ea120ca1`）
 - 指示書: `docs/development/current/main/phases/phase-29an/P5-SKELETON-IF-WITHOUT-ELSE-INSTRUCTIONS.md`
 - ねらい: SkeletonFacts の If2 判定を “else有無に依存しない” 形に修正し、SSOTとしての正しさを上げる（未接続・仕様不変）
 
+Status: ✅ COMPLETE（実装コミット: `1319cbfb2`）
+
 ## Next（planned）
 
-- P6: Skeleton 一意化（0/1/2+ → None/Some/Freeze）を “骨格推論” に限定して SSOT 化
-- P7: Feature 合成（ExitMap / ValueJoin / Cleanup）を CorePlan 合成へ繋ぐ
+- P6: Planner に skeleton gate を追加（Loop 以外は Ok(None)、仕様不変）
+  - 指示書: `docs/development/current/main/phases/phase-29an/P6-PLANNER-SKELETON-GATE-INSTRUCTIONS.md`
+- P7: Skeleton 一意化（0/1/2+ → None/Some/Freeze）を “骨格推論” に限定して SSOT 化
+- P8: Feature 合成（ExitMap / ValueJoin / Cleanup）を CorePlan 合成へ繋ぐ