hakorune/docs/development/current/main/10-Now.md

# Self Current Task — Now (main)

## 2025‑12‑06：現状サマリ

### JoinIR / Loop / If ライン

- LoopBuilder は Phase 186‑187 で完全削除済み。**JoinIR が唯一の loop lowering 経路**。
- LoopPattern 系は Pattern1–4 まで実装・本線化済み：
  - Pattern1: Simple While
  - Pattern2: Loop with Break
  - Pattern3: Loop with If‑Else PHI（break/continue なし）
  - Pattern4: Loop with Continue（multi‑carrier 対応）
- Exit/Carrier/Boundary ラインは次の箱で SSOT 化：
  - `CarrierInfo` / `ExitMeta` / `ExitBindingBuilder`
  - `JoinInlineBoundary` + `LoopExitBinding`
- If lowering は IfSelectLowerer/IfMergeLowerer を中心に整理済み。Select/PHI の扱いも Phase 189 系で橋渡し済み。
- 残課題（JoinIR ライン）：
  - JoinIR→MIR merge の一般化（複雑な Select/PHI パターンの統合）
  - JsonParserBox など実アプリ側での長期運用テスト

### Phase 86: Carrier Init Builder + Error Tags (2025-12-13) ✅

**Status**: COMPLETE - SSOT 確立完了

**Achievements**:
- Carrier Initialization Builder: CarrierInit → ValueId 生成を単一関数化 (carrier_init_builder.rs, +8 tests)
- Error Message Centralization: JoinIR エラータグを SSOT 化 (error_tags.rs, +5 tests)
- DebugOutputBox Migration: 全 JOINIR_DEBUG 使用箇所を DebugOutputBox に統一

**Impact**:
- Tests: 987/987 PASS (+13 unit tests from Phase 86)
- SSOT modules: carrier_init_builder, error_tags (一貫性向上)
- Code quality: Single Responsibility, Testability First principles validated

**Reference**: phase78-85-boxification-feedback.md, carrier_init_builder.rs, error_tags.rs

### Phase 87: LLVM Exe Line SSOT (2025-12-13) ✅

**Status**: COMPLETE - Pipeline 確立完了

**Achievements**:
- SSOT established: `tools/build_llvm.sh` - Single pipeline for .hako → executable
- Integration smoke: phase87_llvm_exe_min.sh (exit code 42 verification)
- Minimal fixture: apps/tests/phase87_llvm_exe_min.hako (5 lines, return 42)
- Full documentation: phase87-selfhost-llvm-exe-line.md (troubleshooting + advanced usage)

**Policy**:
- ✅ Use build_llvm.sh SSOT (no duplication/fragmentation)
- ✅ Integration smoke only (not in quick profile)
- ✅ SKIP if LLVM unavailable (graceful degradation)
- ✅ Exit code verification (stdout-independent testing)

**Impact**:
- Standard procedure: `tools/build_llvm.sh input.hako -o output_exe`
- Prerequisites documented: llvm-config-18, llvmlite, LLVM features
- Integration test: PASS (or SKIP if no LLVM)

**Reference**: phase87-selfhost-llvm-exe-line.md

### Phase 89 P0: Continue + Early Return Pattern (2025-12-14) 🚧

**Status**: IN PROGRESS - Dev-only fixture isolation

**Goal**:
- Establish new control axis: Continue + Early Return (loop-internal return)
- Prevent Pattern4 detector false positives (canonical mismatch)
- Maintain default behavior (normalized_dev scope only)

**Step 0 COMPLETE** (2025-12-14):
- ✅ Pattern4 detector tightened (require Select + exactly 1 conditional Jump)
- ✅ Test added: `test_pattern4_detector_rejects_loop_with_return`
- ✅ All existing Pattern4 tests pass

**Next Steps**:
- P0-1: Documentation (10-Now.md, CURRENT_TASK.md)
- P0-2: Minimal fixture (continue + early return, deterministic output)
- P0-3: Frontend pattern (LoopPattern::ContinueReturn enum + lowering box)
- P0-4: Normalized-dev integration (shape + normalize function)
- P0-5: Acceptance tests (structured vs vm-bridge parity + expected output)

**Constraints**:
- ❌ No default behavior changes
- ❌ No by-name branching
- ❌ No fallback processing (Fail-Fast)
- ❌ Not added to canonical shapes initially (dev-only first)

**Reference**: (TBD - phase89-continue-return-pattern.md)

### Scope / BindingId（dev-only の段階移行ライン）

- MIR builder 側で lexical scope / shadowing を実在化し、言語仕様の “local はブロック境界で分離” を SSOT に揃えた。
  - JoinIR lowering 側は name-based から BindingId-based へ段階移行中：
  - `ScopeManager.lookup_with_binding()` / `ConditionEnv.binding_id_map` を導入し、shadowing を壊さずに解決できる足場を作った。
  - promoted carriers（DigitPos/Trim）については `BindingId(original) → BindingId(promoted) → ValueId(join)` の鎖を dev-only で整備中。
  - Phase 86 で `carrier_init_builder` / `error_tags` を SSOT 化し、段階移行ラインの基盤（ValueId 生成とエラー語彙）が確立した。
  - これにより、BindingId dual-path の拡張・統合時に「生成」と「表示」の責務が混ざらない構造が固定された。
  - Phase 81 で Pattern2（DigitPos/Trim）の ExitLine 契約（ConditionOnly を exit PHI から除外、LoopState のみを reconnect）を E2E で固定した。
  - 参照:
    - `docs/development/current/main/phase73-scope-manager-design.md`
    - `docs/development/current/main/phase78-bindingid-promoted-carriers.md`
    - `docs/development/current/main/phase80-bindingid-p3p4-plan.md`
    - `docs/development/current/main/phase81-pattern2-exitline-contract.md`
    - `docs/development/current/main/phase78-85-boxification-feedback.md`

### JsonParser / Selfhost depth‑2 ライン

- `selfhost_build.sh --json` で Program JSON v0 emit は安定。  
  `.hako` 側から env 経由で JSON を読む最小ループ（`program_read_min.hako`）は動作確認済み。
- JsonParserBox / BundleResolver のループ 21 本のうち：
  - 18 本は Pattern1–4 で JoinIR 対応済み（Phase 162–165）。
  - `_trim` を含む一部の複合ループは、ValueId 境界や Box 登録など残課題あり。
- BoolExprLowerer / condition_to_joinir で OR/AND/NOT 付き条件式の lowering は実装完了（Phase 168–169）。
- 残課題（JsonParser/selfhost depth‑2）：
  - JoinIR→MIR ValueId boundary の完全一般化（条件用 ValueId を含める）
  - JsonParserBox の using / Box 登録（Rust VM 側での認識）
  - Program JSON v0 を JsonParserBox 経由でフル解析する line の仕上げ

### Ring0 / Runtime / CoreServices ライン

- Ring0Context + Ring0Registry で OS API 抽象化レイヤ完成：
  - MemApi / IoApi / TimeApi / LogApi / FsApi / ThreadApi
  - RuntimeProfile(Default / NoFs) で条件付き必須を制御。
- CoreServices（ring1‑core）として次を実装済み：
  - StringService / IntegerService / BoolService
  - ArrayService / MapService / ConsoleService
  - PluginHost 統合 + UnifiedBoxRegistry からの自動初期化
- FileBox / FileHandleBox ライン：
  - Ring0FsFileIo 経由で read / write / append / metadata 完全対応
  - Default プロファイルでは必須、NoFs プロファイルでは disabled。
- Logging ライン：
  - ConsoleService（user‑facing）
  - Ring0.log（internal/dev）
  - println!（test 専用）
  の 3 層が `logging_policy.md` で整理済み。JoinIR/Loop trace も同ドキュメントに集約。

---

## 2025‑09‑08：旧スナップショット（参考）

- LLVM 側 P0 完了（BitOps/Array/Echo/Map 緑）。VInvoke(by‑name/by‑id vector) は戻り値マッピングの暫定課題を確認中（Decisions 参照）。
- selfhosting-dev の作業を main に順次取り込み。VM/MIR 基盤は main で先に整える方針。

直近タスク（当時）
1) continue/break の lowering（Builder 修正のみで表現）
   - ループ文脈スタック {head, exit} を導入。
   - continue に遭遇 → head（または latch）へ br を emit し終端。
   - break に遭遇 → exit へ br を emit し終端。
   - post‑terminated 後に emit しない制御を徹底。
2) ループ CFG の厳密化
   - 単一 exit ブロックの徹底。
   - Phi はヘッダでキャリー変数を合流（SSA/支配関係が崩れない形）。
3) 検証とスモーク
   - Verifier 緑（dominance/SSA）。
   - VM のループ代表（単純/ネスト/早期継続・脱出）。
   - LLVM/Cranelift EXE に綺麗に降りる（br/phi ベースで問題なし）。

代表コマンド（例）
- ビルド: `cargo build --release`
- LLVM smoke: `LLVM_SYS_180_PREFIX=$(llvm-config-18 --prefix) NYASH_LLVM_BITOPS_SMOKE=1 ./tools/llvm_smoke.sh release`
- VInvoke 調査: `NYASH_LLVM_VINVOKE_TRACE=1 NYASH_LLVM_VINVOKE_SMOKE=1 ./tools/llvm_smoke.sh release`