diff --git a/docs/development/current/main/01-JoinIR-Selfhost-INDEX.md b/docs/development/current/main/01-JoinIR-Selfhost-INDEX.md index b97b4c9f..fefc6dc9 100644 --- a/docs/development/current/main/01-JoinIR-Selfhost-INDEX.md +++ b/docs/development/current/main/01-JoinIR-Selfhost-INDEX.md @@ -63,6 +63,8 @@ JoinIR の箱構造と責務、ループ/if の lowering パターンを把握 - `docs/development/current/main/phases/phase-103/README.md` 15. Phase 104: loop(true) break-only digits(VM + LLVM EXE) - `docs/development/current/main/phases/phase-104/README.md` +16. Phase 107: json_cur find_balanced_* depth scan(VM + LLVM EXE) + - `docs/development/current/main/phases/phase-107/README.md` 6. MIR Builder(Context 分割の入口) - `src/mir/builder/README.md` 7. Scope/BindingId(shadowing・束縛同一性の段階移行) diff --git a/docs/development/current/main/10-Now.md b/docs/development/current/main/10-Now.md index 054b4beb..d01baed6 100644 --- a/docs/development/current/main/10-Now.md +++ b/docs/development/current/main/10-Now.md @@ -8,6 +8,18 @@ - smoke: `tools/smokes/v2/profiles/integration/apps/phase104_read_digits_vm.sh` / `tools/smokes/v2/profiles/integration/apps/phase104_read_digits_llvm_exe.sh` - P2: json_cur 由来の回帰面を追加(fixture+VM/LLVM EXE smoke) +## 2025-12-17:Phase 107 完了 ✅ + +**Phase 107: json_cur find_balanced_* depth scan(VM + LLVM EXE parity)** +- depth scan + nested if + return-in-loop を Pattern2 policy で受理(hardcode なし) +- fixture: + - `apps/tests/phase107_find_balanced_array_end_min.hako`(expected: `1`, `3`) + - `apps/tests/phase107_find_balanced_object_end_min.hako`(expected: `1`, `3`) +- smoke(integration): + - VM: `tools/smokes/v2/profiles/integration/apps/phase107_find_balanced_array_end_vm.sh` / `tools/smokes/v2/profiles/integration/apps/phase107_find_balanced_object_end_vm.sh` + - LLVM EXE: `tools/smokes/v2/profiles/integration/apps/phase107_find_balanced_array_end_llvm_exe.sh` / `tools/smokes/v2/profiles/integration/apps/phase107_find_balanced_object_end_llvm_exe.sh` +- 入口: `docs/development/current/main/phases/phase-107/README.md` + ## 2025-12-17:Phase 103 P0 完了 ✅ **Phase 103: if-only regression baseline** diff --git a/docs/development/current/main/30-Backlog.md b/docs/development/current/main/30-Backlog.md index 8fab502a..a57c7701 100644 --- a/docs/development/current/main/30-Backlog.md +++ b/docs/development/current/main/30-Backlog.md @@ -11,8 +11,8 @@ Related: - **real-app loop regression の横展開(VM + LLVM EXE)** - ねらい: 実コード由来ループを 1 本ずつ最小抽出して fixture/smoke で固定する(段階投入)。 - 現状: Phase 104(read_digits / json_cur 由来)まで固定済み。 - - 次候補: `apps/libs/json_cur.hako` の `find_balanced_array_end` / `find_balanced_object_end`(depth scan + nested if)。 - - 入口: `docs/development/current/main/phases/phase-107/README.md` + - 次候補(Phase 107): `apps/libs/json_cur.hako` の `find_balanced_object_end`(depth scan + nested if)。 + - 入口(Phase 107): `docs/development/current/main/phases/phase-107/README.md` - **P5b “完全E2E”**(escape skip の実ループを end-to-end で固定) - 現状: Phase 94 で VM E2E まで固定済み。次は selfhost 実コード(`apps/selfhost-vm/json_loader.hako`)へ横展開して回帰を減らす。