From d74f77d2ede91172f6b2f897f36e455a977f9aad Mon Sep 17 00:00:00 2001 From: nyash-codex Date: Thu, 18 Dec 2025 07:08:32 +0900 Subject: [PATCH] docs: Phase 128 DONE --- docs/development/current/main/10-Now.md | 17 ++++++++++++++++- 1 file changed, 16 insertions(+), 1 deletion(-) diff --git a/docs/development/current/main/10-Now.md b/docs/development/current/main/10-Now.md index 8c2494ff..d8937130 100644 --- a/docs/development/current/main/10-Now.md +++ b/docs/development/current/main/10-Now.md @@ -3,11 +3,26 @@ ## Next: Phase 127（予定） **Phase 127: unknown-read strict Fail-Fast（dev-only）** -- 目的: `reads` にあるが `available_inputs` に存在しない変数を “unknown-read” として検出し、strict で Fail-Fast +- 目的: `reads` にあるが `available_inputs` に存在しない変数を "unknown-read" として検出し、strict で Fail-Fast - 実装: `UnknownReadGuardBox`（builder の lowering 前にチェック、tag + 1行hint で停止） - fixture/smoke: `return missing_x` を strict で落とす（`[phase127/unknown_read/... ]` を固定） - 入口（計画）: `docs/development/current/main/phases/phase-127/README.md` +## 2025-12-18：Phase 128 完了 ✅ + +**Phase 128: if-only partial assign keep/merge in Normalized (dev-only)** +- StepStmtKind::Assign に value_ast 追加（Phase 128） +- Normalized builder に Assign(int literal) 対応（env 更新） +- Fixture: phase128_if_only_partial_assign_normalized_min.hako（簡易版） +- Smoke: phase128_if_only_partial_assign_normalized_vm.sh（PASS） +- Regression: Phase 121-126, 118 維持確認（全 PASS） +- Unit tests: 1165/1165 PASS +- 入口: `docs/development/current/main/phases/phase-128/README.md` +- 実装: + - `src/mir/control_tree/step_tree.rs` (value_ast 追加、14行追加) + - `src/mir/control_tree/normalized_shadow/builder.rs` (Assign lowering、87行追加) +- Note: 完全な join_k continuation は future work（Phase 128 は基本構造確立） + ## 2025-12-18：Phase 126 完了 ✅ **Phase 126: available_inputs SSOT wiring (dev-only)**