From 91adbd0547bd89c1c9252d824ba5d1cd28e2c0ac Mon Sep 17 00:00:00 2001 From: tomoaki Date: Sat, 27 Dec 2025 15:41:46 +0900 Subject: [PATCH] docs(now): mark phase29z P2 closeout --- docs/development/current/main/10-Now.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/development/current/main/10-Now.md b/docs/development/current/main/10-Now.md index fbd969e6..746ee94e 100644 --- a/docs/development/current/main/10-Now.md +++ b/docs/development/current/main/10-Now.md @@ -8,12 +8,12 @@ - P1 最小ターゲット: Return 終端 cleanup の RcPlan 経由化（Branch/Jump は禁止継続） - 入口: `docs/development/current/main/phases/phase-29aa/P0-RC_INSERTION_CFG_AWARE_DESIGN-INSTRUCTIONS.md` -**2025-12-27: Phase 29z P1 完了** ✅ +**2025-12-27: Phase 29z P2 closeout** ✅ - `src/mir/passes/rc_insertion.rs`: `Store` 上書き + `Store null`（explicit drop）+ Return終端cleanup の最小 release 挿入（単一block・安全ガード） - 既定OFF: Cargo feature `rc-insertion-minimal`（env var 新設なし） - 検証: quick 154/154 PASS 維持 + `cargo run --bin rc_insertion_selfcheck --features rc-insertion-minimal` - 入口: `docs/development/current/main/phases/phase-29z/README.md` -- 次: Phase 29z P2 closeout（残課題＝null伝搬強化/Branch&Jump終端cleanup/PHI・loop・early-exitの設計） +- 次: Phase 29aa P0（CFG-aware design） **2025-12-27: Phase 29y P0 完了** ✅ - docs-first SSOT finalized（ABI/RC insertion/Observability）