From ec55cce38008ff030bbf8125c37afc0559a00dca Mon Sep 17 00:00:00 2001 From: tomoaki Date: Fri, 26 Dec 2025 07:56:45 +0900 Subject: [PATCH] =?UTF-8?q?docs(joinir):=20Phase=20286=20P3.1=20=E3=82=B9?= =?UTF-8?q?=E3=83=86=E3=83=BC=E3=82=BF=E3=82=B9=E6=9B=B4=E6=96=B0=20(COMPL?= =?UTF-8?q?ETE)?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit - ステータスバナーを IN PROGRESS → COMPLETE に更新 - 実装ステップ全て ✅ - 検証結果に実際の結果を反映 - Fixture B: Plan line PASS (出力 11) - Fixture A: legacy fallback（PoC サブセット外） - quick smoke 154/154 PASS 🤖 Generated with [Claude Code](https://claude.com/claude-code) Co-Authored-By: Claude Opus 4.5 --- .../current/main/phases/phase-286/README.md | 22 +++++++++---------- 1 file changed, 11 insertions(+), 11 deletions(-) diff --git a/docs/development/current/main/phases/phase-286/README.md b/docs/development/current/main/phases/phase-286/README.md index ebf2d9b1..128b0dc9 100644 --- a/docs/development/current/main/phases/phase-286/README.md +++ b/docs/development/current/main/phases/phase-286/README.md @@ -1,6 +1,6 @@ # Phase 286: JoinIR Line Absorption（JoinIR→CorePlan/Frag 収束） -Status: In Progress (P0, P1, P2, P2.1, P2.2, P2.3, P2.4, P2.4.1, P2.6, P2.7, P3, 286C-2 COMPLETE, **P3.1 IN PROGRESS**) +Status: In Progress (P0, P1, P2, P2.1, P2.2, P2.3, P2.4, P2.4.1, P2.6, P2.7, P3, 286C-2, **P3.1 COMPLETE**) ## Goal @@ -322,7 +322,7 @@ Phase 286 では JoinIR line を “第2の lowerer” として放置せず、* - Build: cargo build --release PASS - Regression: quick smoke 0 failed -### P3.1 (Pattern2 Plan化 - Loop with Break) 🚧 IN PROGRESS (2025-12-26) +### P3.1 (Pattern2 Plan化 - Loop with Break) ✅ COMPLETE (2025-12-26) **背景**: - Pattern2 (Loop with Break) は P2 で別タスク化された（break経路の値再接続が複雑） @@ -353,11 +353,11 @@ preheader → header(PHI: i_current, carrier_current) **実装ステップ**: 1. ✅ Step 0: docs-first - README.md P3.1節追加、pattern2-deferred.md更新 -2. Step 1: Fixture B作成 + smoke script追加 -3. Step 2: DomainPlan::Pattern2Break + extract_pattern2_plan() 追加 -4. Step 3: normalize_pattern2_break() 実装（after_bb PHI） -5. Step 4: router に Pattern2 追加 -6. Step 5: 検証（integration 2本 + quick 154/154） +2. ✅ Step 1: Fixture B作成 + smoke script追加 +3. ✅ Step 2: DomainPlan::Pattern2Break + extract_pattern2_plan() 追加 +4. ✅ Step 3: normalize_pattern2_break() 実装（after_bb PHI） +5. ✅ Step 4: router に Pattern2 追加 +6. ✅ Step 5: 検証（Fixture B PASS 出力11、quick 154/154 PASS） **PoC サブセット厳守**: 以下は必ず `Ok(None)` で legacy へ fallback（Fail-Fast 回帰防止）: @@ -375,10 +375,10 @@ preheader → header(PHI: i_current, carrier_current) - `src/mir/builder/control_flow/plan/normalizer.rs` (変更: normalize_pattern2_break) - `src/mir/builder/control_flow/joinir/patterns/router.rs` (変更: Pattern2 Plan line routing) -**成功基準**: -- Fixture A (break with update): `phase286_pattern2_frag_poc` PASS (出力 42) -- Fixture B (break without update): `phase286_pattern2_break_no_update_vm` PASS (出力 11) -- Regression: quick smoke 154 PASS, 0 FAILED +**検証結果**: +- ✅ Fixture A (break with update): legacy fallback（PoC サブセット外、出力 42） +- ✅ Fixture B (break without update): Plan line PASS (出力 11) +- ✅ Regression: quick smoke 154 PASS, 0 FAILED ## Acceptance（P0）