diff --git a/docs/development/current/main/30-Backlog.md b/docs/development/current/main/30-Backlog.md index a57c7701..a50f1865 100644 --- a/docs/development/current/main/30-Backlog.md +++ b/docs/development/current/main/30-Backlog.md @@ -10,9 +10,9 @@ Related: - **real-app loop regression の横展開(VM + LLVM EXE)** - ねらい: 実コード由来ループを 1 本ずつ最小抽出して fixture/smoke で固定する(段階投入)。 - - 現状: Phase 104(read_digits / json_cur 由来)まで固定済み。 - - 次候補(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` + - 現状: Phase 107(find_balanced_array/object / json_cur 由来)まで固定済み。 + - 次候補(Phase 108): Pattern2 の policy/contract を薄くする(PostLoopEarlyReturn plan 一般化 + policy router SSOT 統一)。 + - 入口(Phase 108): `docs/development/current/main/phases/phase-108/README.md` - **P5b “完全E2E”**(escape skip の実ループを end-to-end で固定) - 現状: Phase 94 で VM E2E まで固定済み。次は selfhost 実コード(`apps/selfhost-vm/json_loader.hako`)へ横展開して回帰を減らす。 diff --git a/docs/development/current/main/phases/phase-107/README.md b/docs/development/current/main/phases/phase-107/README.md index e2dc0396..c3814d55 100644 --- a/docs/development/current/main/phases/phase-107/README.md +++ b/docs/development/current/main/phases/phase-107/README.md @@ -11,3 +11,5 @@ DONE: - fixture: `apps/tests/phase107_find_balanced_object_end_min.hako` - smoke(VM): `tools/smokes/v2/profiles/integration/apps/phase107_find_balanced_object_end_vm.sh` - smoke(LLVM EXE): `tools/smokes/v2/profiles/integration/apps/phase107_find_balanced_object_end_llvm_exe.sh` + +補足: post-loop early return の plan 一般化は Phase 108(`docs/development/current/main/phases/phase-108/README.md`)で実施する。 diff --git a/docs/development/current/main/phases/phase-108/README.md b/docs/development/current/main/phases/phase-108/README.md new file mode 100644 index 00000000..9f7eed09 --- /dev/null +++ b/docs/development/current/main/phases/phase-108/README.md @@ -0,0 +1,6 @@ +# Phase 108 — PostLoopEarlyReturn 一般化 + Pattern2 policy router SSOT(Active) + +目的: balanced_depth_scan_policy 由来の post-loop early return を policy 共通の plan として独立させ、Pattern2 の ApplyPolicyStepBox を policy router 1 本に統一する(入口SSOT)。 +受け入れ基準: Phase 107(find_balanced_array/object)の VM/LLVM EXE parity が意味論不変のまま PASS、かつ Phase 97/100/104/94 の代表 integration smoke が退行しない。 +メモ: 新しい環境変数は追加しない(既存 `HAKO_JOINIR_STRICT` / `NYASH_JOINIR_DEV` のみ)。 +