tomoaki/hakorune
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

phase29aj(p8): planner-first pattern9 accum const loop subset

Browse Source
This commit is contained in:
tomoaki
2025-12-29 14:08:53 +09:00
parent 5ba77cb62a
commit 57e0fdb0a0
10 changed files with 452 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
docs/development/current/main/10-Now.md
View File

@ -2,9 +2,14 @@
## Current Focus: Phase 29aj（PlannerOutcome SSOT）
Next: Phase 29aj P8（TBD）
Next: Phase 29aj P9（TBD）
運用ルール: integration filter で phase143_* は回さない（JoinIR 回帰は phase29ae pack のみ）
**2025-12-29: Phase 29aj P8 完了** ✅
- 目的: Pattern9（AccumConstLoop）を Facts→Planner-first に移行（仕様不変）
- 実装: `src/mir/builder/control_flow/plan/facts/pattern9_accum_const_loop_facts.rs` / `src/mir/builder/control_flow/plan/planner/build.rs` / `src/mir/builder/control_flow/plan/single_planner/rules.rs`
- 検証: `cargo build --release` / `./tools/smokes/v2/run.sh --profile quick` / `./tools/smokes/v2/profiles/integration/joinir/phase29ae_regression_pack_vm.sh` PASS
**2025-12-29: Phase 29aj P7 完了** ✅
- 目的: Pattern8（BoolPredicateScan）を Facts→Planner-first に移行（仕様不変）
- 実装: `src/mir/builder/control_flow/plan/facts/pattern8_bool_predicate_scan_facts.rs` / `src/mir/builder/control_flow/plan/planner/build.rs` / `src/mir/builder/control_flow/plan/single_planner/rules.rs`