@ -0,0 +1,116 @@
---
Status: Ready
Scope: code+tests+docs（
Related:
- docs/development/current/main/phases/phase-29ao/README.md
- docs/development/current/main/design/coreplan-migration-roadmap-ssot.md
- tools/smokes/v2/profiles/integration/joinir/phase29ae_regression_pack_vm.sh
- tools/smokes/v2/profiles/integration/joinir/phase29ao_pattern1_strict_shadow_vm.sh
- src/mir/builder/control_flow/joinir/patterns/router.rs
- src/mir/builder/control_flow/plan/normalizer/skeleton_loop.rs
- src/mir/builder/control_flow/plan/extractors/pattern1.rs
- src/mir/builder/control_flow/plan/facts/pattern1_simplewhile_facts.rs
---
# Phase 29ao P21: Pattern1 subset の「body は step のみ」契約固定（
Date: 2025-12-30
Status: Ready for execution
Goal: strict/dev の Pattern1 shadow adopt（ ） （ ）
## 背景 / 問題
- 現在の Pattern1（ ） `condition + step(i=i+1) + それ以外は無し` を前提に CorePlan/Frag を組み立てる。
- しかし、抽出が ** 「step が見つかればOK」** になっていると、`sum = sum + 1; i = i + 1` のような “追加の body 効果” を含むループを Pattern1 と誤認しうる。
- strict/dev の shadow adopt でこの誤マッチが起きると、CorePlan skeleton が body 効果を落として意味論が変わる（
このP21では、**Pattern1 subset の契約を「body は step のみ」へ引き締め、誤マッチを構造条件で遮断**する。
## 非目的
- Pattern1 の対応範囲拡張（
- ループ一般を CorePlan に移行する大改造（ ）
- 新しい env var / by-name 分岐 / 恒常ログ追加
## 実装方針（ ）
### 1) 「body は step のみ」を SSOT として 1 箇所に置く
要求:
- Pattern1 の subset 条件を **Facts と Plan extractor の両方が同じ判定**で使う（分岐の二重定義を避ける）。
推奨:
- 新規: `src/mir/builder/control_flow/plan/policies/pattern1_subset_policy.rs`
- `pub(crate) fn is_pattern1_step_only_body(body: &[ASTNode], loop_var: &str) -> bool`
- 許可する body（ ）
- `i = i + 1` （ ）
- `ScopeBox` は今回は不許可でよい（ ）
- 不許可:
- それ以外のステートメントが 1 つでも存在
- `i = i + 1` が複数回
- `i` 以外の代入、call、if、など
### 2) Facts 側（ ）
対象:
- `src/mir/builder/control_flow/plan/facts/pattern1_simplewhile_facts.rs`
やること:
- `extract_loop_increment_plan` で increment を見つけた後に、
`is_pattern1_step_only_body(body, &loop_var)` を必須条件として追加。
- NG の場合は `Ok(None)` （
狙い:
- planner 側が Pattern1 facts を持たないようにし、shadow adopt の危険域を遮断。
### 3) Plan extractor 側（ ）
対象:
- `src/mir/builder/control_flow/plan/extractors/pattern1.rs`
やること:
- `extract_pattern1_plan` の最終判定（
`is_pattern1_step_only_body(body, &parts.loop_var)` を必須条件として追加。
- NG の場合は `Ok(None)` （
## 回帰テスト（必須）
### A) 既存の “strict shadow adopt を踏む” テストは維持
- 既存: `tools/smokes/v2/profiles/integration/joinir/phase29ao_pattern1_strict_shadow_vm.sh`
- fixture: `apps/tests/phase286_pattern1_frag_poc.hako`
- 期待: exit=3
### B) 誤マッチ防止の新規 fixture + smoke を追加（必須）
新規 fixture（ ）
- `apps/tests/phase29ao_pattern1_subset_reject_extra_stmt.hako`
- `sum = sum + 1; i = i + 1` を含む（ ）
- 正しい意味論: exit=3
- Pattern1 subset で誤マッチすると body が落ちて exit=0 になるため、確実に検出できる
新規 smoke（
- `tools/smokes/v2/profiles/integration/joinir/phase29ao_pattern1_subset_reject_extra_stmt_vm.sh`
- `NYASH_DISABLE_PLUGINS=1 HAKO_JOINIR_STRICT=1` を付けて VM 実行
- 期待: exit=3
回帰ゲート（ ）
- `tools/smokes/v2/profiles/integration/joinir/phase29ae_regression_pack_vm.sh` に 1 行追加して、この新規 smoke を含める。
- `docs/development/current/main/phases/phase-29ae/README.md` にも追記。
## ドキュメント更新
- `docs/development/current/main/phases/phase-29ao/README.md` : P21 完了追記、Next を P22 に更新
- `docs/development/current/main/10-Now.md` / `docs/development/current/main/30-Backlog.md` / `CURRENT_TASK.md` : Next を P21 にし、完了後は P22 へ進める
## 検証コマンド（必須）
- `cargo build --release`
- `./tools/smokes/v2/run.sh --profile quick`
- `./tools/smokes/v2/profiles/integration/joinir/phase29ae_regression_pack_vm.sh`
## コミット
- `git add -A`
- `git commit -m "phase29ao(p21): tighten pattern1 subset to step-only body"`
