From 48496be07882c4b19c41e720cc3a00f7e4522242 Mon Sep 17 00:00:00 2001 From: tomoaki Date: Tue, 30 Dec 2025 07:17:30 +0900 Subject: [PATCH] docs(phase29ao): add p12 first real valuejoin usage instructions --- CURRENT_TASK.md | 4 +- docs/development/current/main/10-Now.md | 4 +- docs/development/current/main/30-Backlog.md | 2 +- ...L-USAGE-PATTERN7-SPLITSCAN-INSTRUCTIONS.md | 102 ++++++++++++++++++ .../current/main/phases/phase-29ao/README.md | 3 +- 5 files changed, 109 insertions(+), 6 deletions(-) create mode 100644 docs/development/current/main/phases/phase-29ao/P12-VALUEJOIN-FIRST-REAL-USAGE-PATTERN7-SPLITSCAN-INSTRUCTIONS.md diff --git a/CURRENT_TASK.md b/CURRENT_TASK.md index b5d5d544..ffa74991 100644 --- a/CURRENT_TASK.md +++ b/CURRENT_TASK.md @@ -18,8 +18,8 @@ Scope: Repo root の旧リンク互換。現行の入口は `docs/development/cu **CorePlan migration 道筋 SSOT** `docs/development/current/main/design/coreplan-migration-roadmap-ssot.md` が移行タスクの Done 判定の入口。 -**Next implementation (Phase 29ao P12, TBD)** -`docs/development/current/main/phases/phase-29ao/README.md` +**Next implementation (Phase 29ao P12)** +`docs/development/current/main/phases/phase-29ao/P12-VALUEJOIN-FIRST-REAL-USAGE-PATTERN7-SPLITSCAN-INSTRUCTIONS.md` **2025-12-29: Phase 29am P0 COMPLETE (CorePlan If/Exit lowerer/verifier)** CorePlan の If/Exit を lowerer/verifier で扱えるようにして、CorePlan 移行の土台を作った。 diff --git a/docs/development/current/main/10-Now.md b/docs/development/current/main/10-Now.md index 5514b523..0adf2e2f 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 P12（ValueJoin first real usage, TBD） -指示書: `docs/development/current/main/phases/phase-29ao/README.md` +Next: Phase 29ao P12（ValueJoin first real usage: Pattern7 SplitScan step join） +指示書: `docs/development/current/main/phases/phase-29ao/P12-VALUEJOIN-FIRST-REAL-USAGE-PATTERN7-SPLITSCAN-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 46f6dbb5..d490cffc 100644 --- a/docs/development/current/main/30-Backlog.md +++ b/docs/development/current/main/30-Backlog.md @@ -16,7 +16,7 @@ Related: - **Phase 29ao（active）: CorePlan composition from Skeleton/Feature** - 入口: `docs/development/current/main/phases/phase-29ao/README.md` - 状況: P0/P1/P2/P3/P4/P5/P6/P7/P8/P9/P10/P11 ✅ 完了 / Next: P12（TBD） - - Next 指示書: `docs/development/current/main/phases/phase-29ao/README.md` + - Next 指示書: `docs/development/current/main/phases/phase-29ao/P12-VALUEJOIN-FIRST-REAL-USAGE-PATTERN7-SPLITSCAN-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/P12-VALUEJOIN-FIRST-REAL-USAGE-PATTERN7-SPLITSCAN-INSTRUCTIONS.md b/docs/development/current/main/phases/phase-29ao/P12-VALUEJOIN-FIRST-REAL-USAGE-PATTERN7-SPLITSCAN-INSTRUCTIONS.md new file mode 100644 index 00000000..75400cf8 --- /dev/null +++ b/docs/development/current/main/phases/phase-29ao/P12-VALUEJOIN-FIRST-REAL-USAGE-PATTERN7-SPLITSCAN-INSTRUCTIONS.md @@ -0,0 +1,102 @@ +--- +Status: Ready +Scope: code（仕様不変） +Related: + - docs/development/current/main/phases/phase-29ao/README.md + - docs/development/current/main/design/post-phi-final-form-ssot.md + - docs/development/current/main/design/edgecfg-fragments.md + - docs/development/current/main/phases/phase-29ae/README.md +--- + +# Phase 29ao P12: ValueJoin の最初の実使用（Pattern7 SplitScan の step join を block_params 化） + +Date: 2025-12-30 +Status: Ready for execution +Scope: 仕様不変。P10/P11 で用意した `Frag.block_params → emit_frag() の PHI` を、**実経路（Pattern7 SplitScan）**で 1 箇所だけ使い始める。 + +## 目的 + +- Pattern7 SplitScan の `then/else → step_bb` の合流（これまで `CorePhiInfo` で表現していた PHI）を、 + **`Frag.block_params + EdgeArgs(values)`** に置き換える。 +- これにより “join の合流は EdgeCFG の SSOT（block params + edge-args）で表す” を、実経路で 1 件固定できる。 +- JoinIR 回帰 SSOT（phase29ae pack）を緑のまま維持する。 + +## 非目的 + +- ループ header の carrier PHI を block_params 化する（今回は step join のみ） +- DomainPlan/Planner の拡張（P12 は Normalizer の内部表現だけ差し替え） +- 新 env var 追加、恒常ログ追加 + +## 対象（最小） + +- `src/mir/builder/control_flow/plan/normalizer/pattern_split_scan.rs` + - 現状: `CorePhiInfo` 4 本（header 2 本 + step 2 本） + - 変更: **step の 2 本だけ**を block_params へ移し、`CorePhiInfo` から除去する + +## 変換方針（SSOT） + +### before + +- `step_bb` に `CorePhiInfo { dst: i_next, inputs: [(then_bb, start_next_then), (else_bb, i_next_else)] }` +- `step_bb` に `CorePhiInfo { dst: start_next, inputs: [(then_bb, start_next_then), (else_bb, start_current)] }` + +### after + +- `Frag.block_params[step_bb] = BlockParams { layout: ExprResultPlusCarriers, params: [i_next, start_next] }` +- then の `Normal` exit edge args: + - `layout=ExprResultPlusCarriers` + - `values=[start_next_then, start_next_then]`（i_next, start_next の順） +- else の `Normal` exit edge args: + - `layout=ExprResultPlusCarriers` + - `values=[i_next_else, start_current]` + +注: `ExprResultPlusCarriers` は “先頭 1 slot + carriers” の SSOT 語彙だが、P12 では **join の 2 値を運ぶ最小ラベル**として使う。 +（layout/len が一致していれば、PHI は機械的に挿入できる。） + +## 実装手順 + +### Step 1: step PHI 2 本を CorePhiInfo から削除 + +- `pattern_split_scan.rs` の `phis` 生成で、`block: step_bb` の 2 件を削除する +- `header_bb` の 2 PHI はそのまま維持する（既定挙動不変） + +### Step 2: compose::if_ に渡す then/else frag の Normal args を “join 値” にする + +現状の `build_body_if_frag(.., empty_args)` は “空 args” を前提にしているため、P12 では split-scan 内で直接 frag を組む: + +- `then_frag`: `ExitKind::Normal` の stub.args を `then_join_args` にする +- `else_frag`: `ExitKind::Normal` の stub.args を `else_join_args` にする +- `join_frag`（entry=step_bb）に `block_params` を載せる +- `compose::if_(body_bb, cond_match, then_frag, empty_args, else_frag, empty_args, join_frag)` を呼ぶ + +### Step 3: join_frag に block_params を追加 + +- `join_frag.block_params.insert(step_bb, BlockParams { layout: ExprResultPlusCarriers, params: vec![i_next, start_next] })` +- これにより P10 の `emit_frag()` が step_bb に 2 本の PHI を挿入する + +### Step 4: 最小の固定（テスト/回帰） + +必須の確認: +- `phase29ab_pattern7_*` が PASS のまま（回帰 pack で担保） + +任意（もし不安なら）: +- `pattern_split_scan.rs` に unit test を 1 本追加し、`frag.block_params.contains_key(&step_bb)` と、 + `phis` に `block: step_bb` が存在しないことを固定する + +## 検証（必須） + +- `cargo test --release -p nyash-rust --lib` +- `cargo build --release` +- `./tools/smokes/v2/run.sh --profile quick` +- `./tools/smokes/v2/profiles/integration/joinir/phase29ae_regression_pack_vm.sh` +- 任意: `./tools/smokes/v2/run.sh --profile integration --filter "phase29ab_pattern7_"` + +## コミット + +- `git add -A` +- `git commit -m "phase29ao(p12): use block_params for pattern7 split-scan step join"` + +## 次（P13） + +P13 では “ValueJoin を expr_result として使う” 最小ケースへ進む: +- if/loop の **最終 join 値（Return へ返す値）** を `ExprResultPlusCarriers` の先頭 slot として扱い、fixture を 1 本追加して SSOT 固定する。 diff --git a/docs/development/current/main/phases/phase-29ao/README.md b/docs/development/current/main/phases/phase-29ao/README.md index fe577a71..b84fb15e 100644 --- a/docs/development/current/main/phases/phase-29ao/README.md +++ b/docs/development/current/main/phases/phase-29ao/README.md @@ -80,4 +80,5 @@ Gate（SSOT）: ## Next（planned） -- P12: ValueJoin の最初の実使用（Normalizer の実経路で block_params を生成し、fixture を 1 本緑にする） +- P12: ValueJoin の最初の実使用（Pattern7 SplitScan の step join を block_params 化） + - 指示書: `docs/development/current/main/phases/phase-29ao/P12-VALUEJOIN-FIRST-REAL-USAGE-PATTERN7-SPLITSCAN-INSTRUCTIONS.md`