diff --git a/docs/development/current/main/01-JoinIR-Selfhost-INDEX.md b/docs/development/current/main/01-JoinIR-Selfhost-INDEX.md index 9a336f69..105c6096 100644 --- a/docs/development/current/main/01-JoinIR-Selfhost-INDEX.md +++ b/docs/development/current/main/01-JoinIR-Selfhost-INDEX.md @@ -106,11 +106,11 @@ JoinIR の箱構造と責務、ループ/if の lowering パターンを把握 - Integration smoke: `tools/smokes/v2/profiles/integration/apps/phase87_llvm_exe_min.sh` (SKIP if no LLVM) - **Policy**: No script duplication, integration smoke only (not quick), graceful SKIP - **Impact**: Standard procedure established, prerequisites documented -24. 代表的な Phase 文書(現役ラインとの接点だけ絞ったもの) +28. 代表的な Phase 文書(現役ラインとの接点だけ絞ったもの) - `docs/development/current/main/phase33-16-INDEX.md` - `docs/development/current/main/phase33-17-joinir-modularization-analysis.md` - `docs/development/current/main/phase183-selfhost-depth2-joinir-status.md` -25. Phase 86–90(Loop frontends)の要約(1枚) +29. Phase 86–90(Loop frontends)の要約(1枚) - `docs/development/current/main/phase86-90-loop-frontends-summary.md` Phase 文書は歴史や検証ログも含むので、「JoinIR の現役設計を確認した上で、必要なときだけ掘る」という前提で読んでね。 diff --git a/docs/development/current/main/30-Backlog.md b/docs/development/current/main/30-Backlog.md index dc06d087..97fe68b5 100644 --- a/docs/development/current/main/30-Backlog.md +++ b/docs/development/current/main/30-Backlog.md @@ -21,7 +21,7 @@ Related: - ねらい: `loop/if` ネストの “構造” を SSOT(ControlTree/StepTree)で表せるようにする - 注意: canonicalizer は観測/構造SSOTまで(ValueId/PHI配線は Normalized 側へ) - 現状: Phase 110–112 で StepTree(dev-only + strict guard)まで完了 - - 次候補(Phase 114): if-only の回帰をもう1本追加(then 早期 return + post 処理)→ VM/LLVM EXE parity で固定 + - 次候補(Phase 117): if-only の回帰をもう1本追加(nested if + call merge)→ VM/LLVM EXE parity で固定 - 入口: `docs/development/current/main/design/control-tree.md` ## 中期(ループ在庫の残り)