phase29z(p2): return cleanup and null propagation doc alignment

docs/development/current/main/10-Now.md

@@ -3,11 +3,11 @@
 ## Current Focus: Phase 29z P0（RC insertion minimal）
 
 **2025-12-27: Phase 29z P1 完了** ✅
-- `src/mir/passes/rc_insertion.rs`: `Store` 上書き + `Store null`（explicit drop）の最小 release 挿入（単一block・安全ガード）
+- `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伝搬強化/スコープ終端cleanupの方針化）
+- 次: Phase 29z P2 closeout（残課題＝null伝搬強化/Branch&Jump終端cleanup/PHI・loop・early-exitの設計）
 
 **2025-12-27: Phase 29y P0 完了** ✅
 - docs-first SSOT finalized（ABI/RC insertion/Observability）

docs/development/current/main/30-Backlog.md

@@ -58,13 +58,13 @@ Related:
   - 次: Phase 29z（RC insertion minimal）または Phase 29x（De-Rust runtime）候補
 
 - **Phase 29z（P2 CLOSEOUT準備中, implementation-minimal）: RC insertion minimal**
-  - 進捗: P1まで完了（上書き＋Store null で ReleaseStrong 挿入、単一block・安全ガード付き）
+  - 進捗: P1まで完了（上書き＋Store null＋Return終端cleanup で ReleaseStrong 挿入、単一block・安全ガード付き）
   - ガード: Cargo feature `rc-insertion-minimal`（既定OFF、env var 新設なし）
   - 検証: quick 154/154 PASS 維持 + `rc_insertion_selfcheck`（opt-in）
   - 残課題（P2で方針化→次フェーズへ）
     - null伝搬の精度向上（copy以外の伝搬パターン追加を段階的に）
-    - スコープ終端の release（block end cleanup）の最小実装検討（単一blockから）
-    - PHI/loop/early-exit は次フェーズ以降（誤release防止）
+    - Branch/Jump 終端での cleanup をどう安全に扱うかの設計
+    - PHI/loop/early-exit の安全な cleanup 設計（誤release防止）
   - 入口: `docs/development/current/main/phases/phase-29z/README.md`
   - 指示書: `docs/development/current/main/phases/phase-29z/P0-RC_INSERTION_MINIMAL-INSTRUCTIONS.md`
 

docs/development/current/main/phases/phase-29z/README.md

@@ -17,9 +17,9 @@ Verification:
 Progress:
 - P0: overwrite release（Store 上書き）
 - P1: explicit drop（Store null）を最小対応
-- P2: closeout（残課題と次フェーズの入口を明文化）
+- P2: closeout（Return終端のcleanup追加、残課題を整理）
 
 Next Steps（持ち越し事項）:
-- null 伝搬の精度向上（copy 以外の伝搬パターンを段階的に追加）
-- スコープ終端の release（block end cleanup）の最小実装（単一blockから着手）
-- PHI/loop/early-exit は次フェーズ以降で慎重に扱う（誤 release 防止）
+- null 伝搬の精度向上（copy以外の伝搬パターンを段階的に追加）
+- block終端cleanupの拡張: Return以外（Branch/Jump）で安全に扱えるかの設計
+- PHI/loop/early-exit の安全な cleanup 設計（誤 release 防止）