From 34811220c5d982ca704cf9b083a1381080d6e53c Mon Sep 17 00:00:00 2001 From: tomoaki Date: Tue, 30 Dec 2025 09:30:00 +0900 Subject: [PATCH] docs(phase29ao): add p21 pattern1 subset hardening instruction --- CURRENT_TASK.md | 4 +- docs/development/current/main/10-Now.md | 4 +- docs/development/current/main/30-Backlog.md | 4 +- ...1-SUBSET-BODY-IS-STEP-ONLY-INSTRUCTIONS.md | 116 ++++++++++++++++++ .../current/main/phases/phase-29ao/README.md | 3 +- 5 files changed, 124 insertions(+), 7 deletions(-) create mode 100644 docs/development/current/main/phases/phase-29ao/P21-PATTERN1-SUBSET-BODY-IS-STEP-ONLY-INSTRUCTIONS.md diff --git a/CURRENT_TASK.md b/CURRENT_TASK.md index 999b66ce..7892cd60 100644 --- a/CURRENT_TASK.md +++ b/CURRENT_TASK.md @@ -19,8 +19,8 @@ Scope: Repo root の旧リンク互換。現行の入口は `docs/development/cu `docs/development/current/main/design/coreplan-migration-roadmap-ssot.md` が移行タスクの Done 判定の入口。 **Next implementation (Phase 29ao P21)** -- 目的: TBD -- 指示書: TBD +- 目的: strict/dev Pattern1 shadow adopt の意味論破壊を防ぐため、Pattern1 subset を “body is step-only” で固定する +- 指示書: `docs/development/current/main/phases/phase-29ao/P21-PATTERN1-SUBSET-BODY-IS-STEP-ONLY-INSTRUCTIONS.md` **2025-12-30: Phase 29ao P20 COMPLETE (CoreLoop ExitMap composition SSOT)** CoreLoop の ExitMap/Cleanup/ValueJoin 合成規約を SSOT 化し、合成境界と Fail-Fast ルールを固定した（docs-only）。 diff --git a/docs/development/current/main/10-Now.md b/docs/development/current/main/10-Now.md index b3ed49f8..54c9ffe3 100644 --- a/docs/development/current/main/10-Now.md +++ b/docs/development/current/main/10-Now.md @@ -2,8 +2,8 @@ ## Current Focus: Phase 29ao（CorePlan composition） -Next: Phase 29ao P21（TBD） -指示書: TBD +Next: Phase 29ao P21（Pattern1 subset: body is step-only） +指示書: `docs/development/current/main/phases/phase-29ao/P21-PATTERN1-SUBSET-BODY-IS-STEP-ONLY-INSTRUCTIONS.md` 運用ルール: integration filter で phase143_* は回さない（JoinIR 回帰は phase29ae pack のみ） 運用ルール: phase286_pattern9_* は legacy pack (SKIP) を使う 移行道筋 SSOT: `docs/development/current/main/design/coreplan-migration-roadmap-ssot.md` diff --git a/docs/development/current/main/30-Backlog.md b/docs/development/current/main/30-Backlog.md index 236e8c6d..58ac3f30 100644 --- a/docs/development/current/main/30-Backlog.md +++ b/docs/development/current/main/30-Backlog.md @@ -15,8 +15,8 @@ Related: - **Phase 29ao（active）: CorePlan composition from Skeleton/Feature** - 入口: `docs/development/current/main/phases/phase-29ao/README.md` - - 状況: P0–P20 ✅ 完了 / Next: P21（TBD） - - Next 指示書: TBD + - 状況: P0–P20 ✅ 完了 / Next: P21（Pattern1 subset hardening） + - Next 指示書: `docs/development/current/main/phases/phase-29ao/P21-PATTERN1-SUBSET-BODY-IS-STEP-ONLY-INSTRUCTIONS.md` - **Phase 29af（✅ COMPLETE）: Boundary hygiene / regression entrypoint / carrier layout SSOT** - 入口: `docs/development/current/main/phases/phase-29af/README.md` diff --git a/docs/development/current/main/phases/phase-29ao/P21-PATTERN1-SUBSET-BODY-IS-STEP-ONLY-INSTRUCTIONS.md b/docs/development/current/main/phases/phase-29ao/P21-PATTERN1-SUBSET-BODY-IS-STEP-ONLY-INSTRUCTIONS.md new file mode 100644 index 00000000..fbf72ea7 --- /dev/null +++ b/docs/development/current/main/phases/phase-29ao/P21-PATTERN1-SUBSET-BODY-IS-STEP-ONLY-INSTRUCTIONS.md @@ -0,0 +1,116 @@ +--- +Status: Ready +Scope: code+tests+docs（Pattern1 subset の誤マッチ防止、仕様の“正しさ”を固定） +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 のみ」契約固定（CorePlan shadow adopt の安全化） + +Date: 2025-12-30 +Status: Ready for execution +Goal: strict/dev の Pattern1 shadow adopt（Facts→CorePlan(skeleton)）が意味論を壊さない条件を、抽出段（Facts/Extractor）で SSOT として固定する。 + +## 背景 / 問題 + +- 現在の Pattern1（SimpleWhile）は “PoC subset” として `condition + step(i=i+1) + それ以外は無し` を前提に CorePlan/Frag を組み立てる。 +- しかし、抽出が **「step が見つかればOK」** になっていると、`sum = sum + 1; i = i + 1` のような “追加の body 効果” を含むループを Pattern1 と誤認しうる。 +- strict/dev の shadow adopt でこの誤マッチが起きると、CorePlan skeleton が body 効果を落として意味論が変わる（Fail-Fast でも検知しづらい）。 + +このP21では、**Pattern1 subset の契約を「body は step のみ」へ引き締め、誤マッチを構造条件で遮断**する。 + +## 非目的 + +- Pattern1 の対応範囲拡張（“body に任意の副作用を許す” など） +- ループ一般を CorePlan に移行する大改造（P22+） +- 新しい env var / by-name 分岐 / 恒常ログ追加 + +## 実装方針（SSOT） + +### 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`（PoC subset） + - `ScopeBox` は今回は不許可でよい（必要になったらP22で拡張） + - 不許可: + - それ以外のステートメントが 1 つでも存在 + - `i = i + 1` が複数回 + - `i` 以外の代入、call、if、など + +### 2) Facts 側（Pattern1SimpleWhileFacts）をこの SSOT で gate する + +対象: +- `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)`（fallback 維持、Freeze は使わない）。 + +狙い: +- planner 側が Pattern1 facts を持たないようにし、shadow adopt の危険域を遮断。 + +### 3) Plan extractor 側（DomainPlan Pattern1）も同じ SSOT で gate する + +対象: +- `src/mir/builder/control_flow/plan/extractors/pattern1.rs` + +やること: +- `extract_pattern1_plan` の最終判定（parts/condition/inc を満たした後）で + `is_pattern1_step_only_body(body, &parts.loop_var)` を必須条件として追加。 +- NG の場合は `Ok(None)`（legacy fallback 維持）。 + +## 回帰テスト（必須） + +### 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` を含む（sum を return） + - 正しい意味論: exit=3 + - Pattern1 subset で誤マッチすると body が落ちて exit=0 になるため、確実に検出できる + +新規 smoke（joinir strict で実行）: +- `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 + +回帰ゲート（SSOT）へ追加: +- `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"` + diff --git a/docs/development/current/main/phases/phase-29ao/README.md b/docs/development/current/main/phases/phase-29ao/README.md index 647ccf53..0b640b5b 100644 --- a/docs/development/current/main/phases/phase-29ao/README.md +++ b/docs/development/current/main/phases/phase-29ao/README.md @@ -129,4 +129,5 @@ Gate（SSOT）: ## Next（planned） -- P21: TBD +- P21: Pattern1 subset “body is step-only” hardening + - 指示書: `docs/development/current/main/phases/phase-29ao/P21-PATTERN1-SUBSET-BODY-IS-STEP-ONLY-INSTRUCTIONS.md`