tomoaki/hakorune
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Files
0bba67a72c929b30c501c7572cddfed86976758d
hakorune/docs/development/roadmap/phases
History
nyash-codex 948f22a03a feat(phi): Phase 26-F-2 - 箱理論による責務分離（IfBodyLocalMergeBox新設） 
**箱理論による問題解決**:
- ❌ 問題: LoopVarClassBox（ループスコープ分析）とif-merge処理が混在
- ✅ 解決: if-merge専用箱を新設して責務分離

**新箱: IfBodyLocalMergeBox**:
- 責務: if-merge専用のbody-local φ候補決定
- ロジック:
  - 両腕に存在する変数を検出
  - pre_ifと比較して値が変わった変数のみ
  - empty elseは空リスト返す
- 特徴: LocalScopeInspector不要、LoopVarClassBox不使用

**変更ファイル**:
- src/mir/phi_core/if_body_local_merge.rs: 新規作成（IfBodyLocalMergeBox）
- src/mir/phi_core/phi_builder_box.rs: IfBodyLocalMergeBox使用に切り替え
- src/mir/phi_core/body_local_phi_builder.rs: filter_if_merge_candidates()削除
- src/mir/loop_builder.rs: BodyLocalPhiBuilder setup削除
- src/mir/phi_core/mod.rs: if_body_local_merge追加

**テスト結果**:
- Passed: 353→354 (+1) ✅
- Failed: 14→14 (退行なし)

**既知の問題**:
- domination error依然残存（%48 in bb48 from bb52）
- 次フェーズで調査・修正予定

技術詳細:
- ChatGPT箱理論分析による設計
- A案ベースのシンプル実装
- 責務明確化: ループスコープ分析 vs if-merge専用処理
2025-11-22 11:03:21 +09:00
..
phase-5
phase: 20.49 COMPLETE; 20.50 Flow+String minimal reps; 20.51 selfhost v0/v1 minimal (Option A/B); hv1-inline binop/unop/copy; docs + run_all + CURRENT_TASK -> 21.0
2025-11-06 15:41:52 +09:00
phase-6
feat(plugin): Fix plugin BoxRef return and Box argument support
2025-08-21 00:41:26 +09:00
phase-7
feat(plugin): Fix plugin BoxRef return and Box argument support
2025-08-21 00:41:26 +09:00
phase-8
phase: 20.49 COMPLETE; 20.50 Flow+String minimal reps; 20.51 selfhost v0/v1 minimal (Option A/B); hv1-inline binop/unop/copy; docs + run_all + CURRENT_TASK -> 21.0
2025-11-06 15:41:52 +09:00
phase-9
phase: 20.49 COMPLETE; 20.50 Flow+String minimal reps; 20.51 selfhost v0/v1 minimal (Option A/B); hv1-inline binop/unop/copy; docs + run_all + CURRENT_TASK -> 21.0
2025-11-06 15:41:52 +09:00
phase-10
phase: 20.49 COMPLETE; 20.50 Flow+String minimal reps; 20.51 selfhost v0/v1 minimal (Option A/B); hv1-inline binop/unop/copy; docs + run_all + CURRENT_TASK -> 21.0
2025-11-06 15:41:52 +09:00
phase-10.1
phase: 20.49 COMPLETE; 20.50 Flow+String minimal reps; 20.51 selfhost v0/v1 minimal (Option A/B); hv1-inline binop/unop/copy; docs + run_all + CURRENT_TASK -> 21.0
2025-11-06 15:41:52 +09:00
phase-10.5
phase: 20.49 COMPLETE; 20.50 Flow+String minimal reps; 20.51 selfhost v0/v1 minimal (Option A/B); hv1-inline binop/unop/copy; docs + run_all + CURRENT_TASK -> 21.0
2025-11-06 15:41:52 +09:00
phase-10.6
phase: 20.49 COMPLETE; 20.50 Flow+String minimal reps; 20.51 selfhost v0/v1 minimal (Option A/B); hv1-inline binop/unop/copy; docs + run_all + CURRENT_TASK -> 21.0
2025-11-06 15:41:52 +09:00
phase-10.7
phase: 20.49 COMPLETE; 20.50 Flow+String minimal reps; 20.51 selfhost v0/v1 minimal (Option A/B); hv1-inline binop/unop/copy; docs + run_all + CURRENT_TASK -> 21.0
2025-11-06 15:41:52 +09:00
phase-11
phase: 20.49 COMPLETE; 20.50 Flow+String minimal reps; 20.51 selfhost v0/v1 minimal (Option A/B); hv1-inline binop/unop/copy; docs + run_all + CURRENT_TASK -> 21.0
2025-11-06 15:41:52 +09:00
phase-11.5
phase: 20.49 COMPLETE; 20.50 Flow+String minimal reps; 20.51 selfhost v0/v1 minimal (Option A/B); hv1-inline binop/unop/copy; docs + run_all + CURRENT_TASK -> 21.0
2025-11-06 15:41:52 +09:00
phase-11.7_jit_complete
Phase 11.9: 統一文法アーキテクチャ作業中 - MIR builder分割とJIT lower整理
2025-09-03 01:37:38 +09:00
phase-11.8_mir_cleanup
🎉 Phase 11.8/12.7: MIR Core-13 完全実装 + 糖衣構文ドキュメント更新
2025-09-04 11:34:15 +09:00
phase-11.9
phase: 20.49 COMPLETE; 20.50 Flow+String minimal reps; 20.51 selfhost v0/v1 minimal (Option A/B); hv1-inline binop/unop/copy; docs + run_all + CURRENT_TASK -> 21.0
2025-11-06 15:41:52 +09:00
phase-12
phase: 20.49 COMPLETE; 20.50 Flow+String minimal reps; 20.51 selfhost v0/v1 minimal (Option A/B); hv1-inline binop/unop/copy; docs + run_all + CURRENT_TASK -> 21.0
2025-11-06 15:41:52 +09:00
phase-12.5
phase: 20.49 COMPLETE; 20.50 Flow+String minimal reps; 20.51 selfhost v0/v1 minimal (Option A/B); hv1-inline binop/unop/copy; docs + run_all + CURRENT_TASK -> 21.0
2025-11-06 15:41:52 +09:00
phase-12.7
phase: 20.49 COMPLETE; 20.50 Flow+String minimal reps; 20.51 selfhost v0/v1 minimal (Option A/B); hv1-inline binop/unop/copy; docs + run_all + CURRENT_TASK -> 21.0
2025-11-06 15:41:52 +09:00
phase-13
phase: 20.49 COMPLETE; 20.50 Flow+String minimal reps; 20.51 selfhost v0/v1 minimal (Option A/B); hv1-inline binop/unop/copy; docs + run_all + CURRENT_TASK -> 21.0
2025-11-06 15:41:52 +09:00
phase-14
feat(plugin): Fix plugin BoxRef return and Box argument support
2025-08-21 00:41:26 +09:00
phase-15
phase: 20.49 COMPLETE; 20.50 Flow+String minimal reps; 20.51 selfhost v0/v1 minimal (Option A/B); hv1-inline binop/unop/copy; docs + run_all + CURRENT_TASK -> 21.0
2025-11-06 15:41:52 +09:00
phase-15.5
phase: 20.49 COMPLETE; 20.50 Flow+String minimal reps; 20.51 selfhost v0/v1 minimal (Option A/B); hv1-inline binop/unop/copy; docs + run_all + CURRENT_TASK -> 21.0
2025-11-06 15:41:52 +09:00
phase-15.7
phase: 20.49 COMPLETE; 20.50 Flow+String minimal reps; 20.51 selfhost v0/v1 minimal (Option A/B); hv1-inline binop/unop/copy; docs + run_all + CURRENT_TASK -> 21.0
2025-11-06 15:41:52 +09:00
phase-16
Phase 12 TypeBox統合ABI設計完了: C ABI + Nyash ABI革命的統合
2025-09-02 09:26:09 +09:00
phase-16-macro-revolution
phase: 20.49 COMPLETE; 20.50 Flow+String minimal reps; 20.51 selfhost v0/v1 minimal (Option A/B); hv1-inline binop/unop/copy; docs + run_all + CURRENT_TASK -> 21.0
2025-11-06 15:41:52 +09:00
phase-17
phase: 20.49 COMPLETE; 20.50 Flow+String minimal reps; 20.51 selfhost v0/v1 minimal (Option A/B); hv1-inline binop/unop/copy; docs + run_all + CURRENT_TASK -> 21.0
2025-11-06 15:41:52 +09:00
phase-17-loopform-selfhost
phase: 20.49 COMPLETE; 20.50 Flow+String minimal reps; 20.51 selfhost v0/v1 minimal (Option A/B); hv1-inline binop/unop/copy; docs + run_all + CURRENT_TASK -> 21.0
2025-11-06 15:41:52 +09:00
phase-18
docs(phases): restore Phase 18/19 from history (3826089)\n\n- Phase 18: LifeBox principles and LoopForm design doc\n- Phase 19: LoopForm <-> Core-13 PoC and zero-cost CI plan\n\nRecovered from commit 3826089; reintroduce missing directories under docs/development/roadmap/phases/
2025-09-08 03:30:35 +09:00
phase-19
docs(phases): restore Phase 18/19 from history (3826089)\n\n- Phase 18: LifeBox principles and LoopForm design doc\n- Phase 19: LoopForm <-> Core-13 PoC and zero-cost CI plan\n\nRecovered from commit 3826089; reintroduce missing directories under docs/development/roadmap/phases/
2025-09-08 03:30:35 +09:00
phase-21
phase: 20.49 COMPLETE; 20.50 Flow+String minimal reps; 20.51 selfhost v0/v1 minimal (Option A/B); hv1-inline binop/unop/copy; docs + run_all + CURRENT_TASK -> 21.0
2025-11-06 15:41:52 +09:00
phase-21.5-optimization
feat(perf): add Phase 21.8 foundation for IntArrayCore/MatI64 numeric boxes
2025-11-14 15:18:14 +09:00
phase-21.6
feat(perf): add Phase 21.8 foundation for IntArrayCore/MatI64 numeric boxes
2025-11-14 15:18:14 +09:00
phase-21.6-solidification
Phase 21.7 normalization: optimization pre-work + bench harness expansion
2025-11-13 16:40:58 +09:00
phase-21.7-normalization
docs(phase21.7): Phase 21.7++ Phase 4完了 - ドキュメント整備
2025-11-22 02:51:16 +09:00
phase-21.8
feat(phase-21.8+25): Complete imports resolution + Ring0/Ring1 numeric ABI design
2025-11-14 20:19:00 +09:00
phase-22
phase: 20.49 COMPLETE; 20.50 Flow+String minimal reps; 20.51 selfhost v0/v1 minimal (Option A/B); hv1-inline binop/unop/copy; docs + run_all + CURRENT_TASK -> 21.0
2025-11-06 15:41:52 +09:00
phase-25
chore: Phase 25.1 完了 - LoopForm v2/Stage1 CLI/環境変数削減 + Phase 26-D からの変更
2025-11-21 06:25:17 +09:00
phase-25.1
feat(phi): Phase 25.1 - BTreeMap移行 (21ファイル、80%決定性達成)
2025-11-22 05:33:40 +09:00
phase-25.1a
Phase 25.1b: Step2完了（FuncBodyBasicLowerBox導入）
2025-11-15 22:32:13 +09:00
phase-25.1b
chore: Phase 25.2関連ドキュメント更新＆レガシーテストアーカイブ整理
2025-11-20 03:56:12 +09:00
phase-25.1c
feat(loop-phi): Add body-local variable PHI generation for Rust AST loops
2025-11-19 23:12:01 +09:00
phase-25.1d
fix(mir): conservative PHI box for If/Loop and Stage1 resolver SSA
2025-11-18 09:26:39 +09:00
phase-25.1e
chore: Phase 25.2関連ドキュメント更新＆レガシーテストアーカイブ整理
2025-11-20 03:56:12 +09:00
phase-25.1f
feat(mir): Phase 25.1f完了 - Conservative PHI + ControlForm観測レイヤー
2025-11-18 18:56:35 +09:00
phase-25.1g
🔧 Hotfix 7 (Enhanced): ValueId receiver alias tracking for nested loops
2025-11-19 00:02:41 +09:00
phase-25.1i
🔧 Hotfix 7 (Enhanced): ValueId receiver alias tracking for nested loops
2025-11-19 00:02:41 +09:00
phase-25.1j
🔧 Hotfix 7 (Enhanced): ValueId receiver alias tracking for nested loops
2025-11-19 00:02:41 +09:00
phase-25.1k
feat(loop-phi): Add body-local variable PHI generation for Rust AST loops
2025-11-19 23:12:01 +09:00
phase-25.1l
feat(region): Phase 25.1l FunctionSlotRegistry完全実装
2025-11-19 03:28:58 +09:00
phase-25.1m
refactor(json_v0_bridge): Phase 25.1p - FunctionDefBuilder箱化＋me予約修正
2025-11-19 10:08:04 +09:00
phase-25.1n
feat(phi): Phase 26-F-2 - 箱理論による責務分離（IfBodyLocalMergeBox新設）
2025-11-22 11:03:21 +09:00
phase-25.1p
feat(loop-phi): Add body-local variable PHI generation for Rust AST loops
2025-11-19 23:12:01 +09:00
phase-25.1q
chore: Phase 25.2関連ドキュメント更新＆レガシーテストアーカイブ整理
2025-11-20 03:56:12 +09:00
phase-25.2
chore: Phase 25.2関連ドキュメント更新＆レガシーテストアーカイブ整理
2025-11-20 03:56:12 +09:00
phase-25.2b
Phase 25.1b: Step2完了（FuncBodyBasicLowerBox導入）
2025-11-15 22:32:13 +09:00
phase-25.3-funcscanner
chore: Phase 25.1 完了 - LoopForm v2/Stage1 CLI/環境変数削減 + Phase 26-D からの変更
2025-11-21 06:25:17 +09:00
phase-25.4-naming-cli-cleanup
feat(stage1-cli): Config箱化完了 - env処理を一元管理
2025-11-21 09:43:42 +09:00
phase-50
fix(llvm): Implement handle-based console.log functions for plugin return values
2025-09-11 00:21:11 +09:00
00_MASTER_ROADMAP.md
hv1 verify: add direct route (env JSON) and clean inline path; fix v1 phi incoming order; make test_runner use hv1 direct; add phase2037 phi canaries; load modules.workspace exports for alias; update docs (phase-20.38, source extensions) and CURRENT_TASK
2025-11-04 16:33:04 +09:00
phase-10.11-builtins-to-plugins.md
phase: 20.49 COMPLETE; 20.50 Flow+String minimal reps; 20.51 selfhost v0/v1 minimal (Option A/B); hv1-inline binop/unop/copy; docs + run_all + CURRENT_TASK -> 21.0
2025-11-06 15:41:52 +09:00