2f07ab6a30
📋 Phase 25.4 計画確定: NamingBox SSOT化 & CLI設定箱 ✅ 追加ドキュメント: - docs/development/roadmap/phases/phase-25.4-naming-cli-cleanup/ - README.md: Phase 25.4 全体計画 - A. NamingBox SSOT化（完了） - B. Stage-1 CLI 設定箱（次フェーズ） - C. MIR ログ観測リスト（次フェーズ） - docs/development/roadmap/phases/phase-21.7-normalization/README.md - Phase 21.7 との関連性追記 - docs/development/roadmap/phases/phase-25.1/stage1-usingresolver-loopform.md - Phase 25.1 完了記録更新 - CURRENT_TASK.md: タスク進捗更新 - Phase 25.4-A 完了 - Phase 25.4-B/C 準備完了 - MIR Builder 型混乱バグ調査完了記録 🎯 Phase 25.4 戦略: 0. 共通方針 - 既定挙動は変えない（Fail-Fast + テスト緑キープ） - 新規ロジックは「小さな箱」に閉じ込める - まずドキュメント・構造を揃えてからコード A. NamingBox SSOT化 ✅ 完了 - static/global 名前決定を src/mir/naming.rs に一本化 - Builder/VM で統一ルール使用 B. Stage-1 CLI 設定箱（次フェーズ） - env.get() を Stage1CliConfigBox に集約 - mode/backend/source 等を Config として管理 C. MIR ログ観測リスト（次フェーズ） - __mir__.log の一覧化・分類 - 将来の MirLogBox 化準備 📊 テスト確認コマンド: - cargo test -q mir_static_box_naming --lib - cargo test -q mir_stage1_cli_entry_ssa_smoke --lib - tools/smokes/v2/run.sh --profile quick Co-Authored-By: Claude <noreply@anthropic.com>
Phase 21.7 — Normalization & Unification (Methodize Static Boxes)
Goal
- Unify user-defined function calls onto a single, consistent representation.
- Move from ad-hoc Global("Box.method") calls toward Method calls with an explicit (singleton) receiver when appropriate.
- Keep defaults stable; introduce dev toggles and canaries; then promote to default after green.
Scope
- Parser/Stage‑B: keep emitting Program(JSON v0). No schema changes required for MVP.
- MirBuilder: add methodization (dev toggle) that:
- Emits method functions as-is (defs) and/or provides a mapping to Method calls
- Rewrites Global("Box.method") to Method {receiver=static singleton, box_name, method}
- Preserves arity and naming as Box.method/N
- VM: handle Method calls uniformly (receiver resolved via ensure_static_box_instance for static boxes).
- LLVM: rely on mir_call(Method) lowering (already supported) and provide the static receiver where needed.
Toggles
- HAKO_MIR_BUILDER_METHODIZE=1 — enable methodization (rewrite Global→Method with static singleton receiver)
- HAKO_STAGEB_FUNC_SCAN=1 — Stage‑B defs scan (already available)
- HAKO_MIR_BUILDER_FUNCS=1 — defs→MIR 関数化（既存）
- HAKO_MIR_BUILDER_CALL_RESOLVE=1 — Global 名解決（既存）
Design Rules
- Naming: canonical "Box.method/N". Arity N must equal params.len (or callsite args len if defs unknown).
- Receiver: for static boxes, provide implicit singleton receiver. For instance boxes, preserve existing Method path.
- Effects: preserve EffectMask semantics; do not broaden side effects.
- Fail‑Fast: when rewrite is ambiguous (multiple candidates), keep original form and WARN under dev toggle; never change defaults silently.
Acceptance
- Canaries:
- call (global style) passes when methodization ON (rc unchanged)
- Existing return/binop/loop/call (global) canaries remain green when OFF
- A dedicated methodization canary asserts presence of callee.type=="Method" in MIR(JSON v1) or correct v0 lowering
Rollout Plan
- Ship behind HAKO_MIR_BUILDER_METHODIZE=1 with canaries
- Validate on representative apps (selfhost‑first path)
- Promote to default ON only after green for a cycle; keep rollback instructions
Rollback
- Disable HAKO_MIR_BUILDER_METHODIZE. Revert to Global("Box.method") resolution path (current 21.6 behavior).
Current notes (Phase 25.x bring-up)
- static box 内のローカル呼び出し（例:
Main.main→me._nop()）が Global 呼び出しのまま落ちるケースを確認。NamingBox（src/mir/naming.rs）でmain→Main正規化は済み。 - 次のステップ: methodization 時に
ensure_static_box_instance経由で receiver を付与し、Global 呼び出しを Method 呼び出しに寄せる（本フェーズの実装タスクとして残置）。