hakorune/docs/development/current/main/phases/phase-259

Status: ✅ P0 Complete Scope: StringUtils.is_integer/1（nested-if + loop）を JoinIR で受理して --profile quick を進める。 Related:

• Now: docs/development/current/main/10-Now.md
• Phase 258: docs/development/current/main/phases/phase-258/README.md
• Design goal: docs/development/current/main/design/join-explicit-cfg-construction.md

Phase 259: StringUtils.is_integer/1 (nested-if + loop)

P0 Result (2025-12-21)

• is_integer/1: Pattern8 で認識・実行成功 ✅
• VM smoke test: [PASS] phase259_p0_is_integer_vm ✅
• Exit code: 7（is_integer("123") == true）
• json_lint_vm: まだ FAIL（別問題: nested-loop with break / Pattern2）

Key Fixes Applied

1. expr_result = Some(join_exit_value) - Pattern7 style で明示設定
2. loop_var_name = Some(parts.loop_var.clone()) - merge_entry_block 選択用
3. loop_invariants = [(me, me_host), (s, s_host)] - PHI-free 不変量パラメータ
4. skipped_entry_redirects - k_exit のスキップ時ブロック参照リダイレクト

Current Status (SSOT)

• ✅ is_integer/1 は Pattern8 で解決
• ❌ json_lint_vm は別の nested-loop with break パターンで失敗中（Phase 260+）

Next FAIL (Phase 260+)

• Function: Main.main/0 in apps/examples/json_lint/main.hako
• Error: [cf_loop/pattern2] Failed to extract break condition from loop body
• Pattern: Nested loop（外側 loop(i < cases.length()) 内で内側 loop(j < valid.length()) + break）
• AST Structure:

  loop(i < cases.length()) {
    local s = ...
    local ok = 0
    local j = 0
    loop(j < valid.length()) {  // ← 内側ループ
      if (s == valid.get(j)) {
        ok = 1
        break  // ← Pattern2 が抽出失敗
      }
      j = j + 1
    }
    if (ok == 1) { print("OK") } else { print("ERROR") }
    i = i + 1
  }
  

• Reproduce:

  ./target/release/hakorune --backend vm apps/examples/json_lint/main.hako
  

• Shape summary（ログ由来）:
  • prelude: nested-if to compute start (handles leading "-")
  • loop: loop(i < s.length()) { if not this.is_digit(s.substring(i, i+1)) { return false } i = i + 1 }
  • post: return true
  • caps: If,Loop,NestedIf,Return

Goal

• StringUtils.is_integer/1 を JoinIR で受理し、quick の first FAIL を次へ進める

Proposed Approach (P0)

P0 Design Decision: Pattern8（新規）採用

Why Pattern8?

Pattern6（index_of系）は "見つける" scan（返り値: 整数 i or -1）で、is_integer は "全部検証する" predicate scan（返り値: 真偽値 true/false）。役割が異なるため、Pattern8 として分離した。

Pattern8 vs Pattern6

	Pattern6 (index_of系)	Pattern8 (is_integer系)
役割	"見つける" scan	"全部検証する" predicate scan
Match形	substring(...) == needle	not predicate(ch) → early exit
返り値	Integer (i or -1)	Boolean (true/false)
Exit PHI	i（ループ状態変数）	ret_bool（検証結果）
Carriers	[i] (LoopState)	[] (empty, expr_result のみ)

JoinIR Contract

• jump_args_layout: ExprResultPlusCarriers（carriers=0）
• expr_result: Some(join_exit_value) - ret_bool from k_exit (pipeline handling)
• exit_bindings: Empty（carriers なし）
• SSOT: join_inputs = entry_func.params.clone()
• Me receiver: Passed as param [i, me, s] (by-name 禁止)

受理形（P0固定）

loop(i < s.length()) {
    if not this.is_digit(s.substring(i, i + 1)) {
        return false
    }
    i = i + 1
}
return true

• prelude の start 計算は許可（ただし i_init = start で渡す）
• predicate は Me method call（this.is_digit）のみ
• step は 1 固定