docs(phase29aa): mark P8 complete

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

@@ -1,6 +1,6 @@
 # Self Current Task — Now (main)
 
-## Current Focus: Phase 29aa P8（Null propagation across CFG; Copy-only）
+## Current Focus: Phase 29aa Complete（P0-P8 全完了）
 
 **2025-12-28: Phase 29aa P5 完了** ✅
 - 目的: Return block が複数 predecessor のとき、incoming state が完全一致する場合のみ ReturnCleanup を成立させる
@@ -25,9 +25,13 @@
 - Selfcheck: Case 3.11（values が昇順であることを検証）PASS
 - 検証: quick 154/154 PASS / selfcheck PASS
 
-**2025-12-28: Phase 29aa P8 進行中**
+**2025-12-28: Phase 29aa P8 完了** ✅
 - 目的: CFG を跨いだ null 伝播（Copy-only）で explicit drop（Store null）の精度を上げる
 - 入口: `docs/development/current/main/phases/phase-29aa/README.md`
+- Contract: single-predecessor Jump-chain のみ null_values 伝播（multi-pred Return は合流しない）
+- Non-goals: edge_args 経由の null 伝播（ValueId 同一性だけでは追えない）
+- Selfcheck: Case 3.12（null 伝播で ReturnCleanup なし）PASS
+- 検証: quick 154/154 PASS / selfcheck PASS
 
 **2025-12-27: Phase 29aa P4 完了** ✅
 - 目的: Jump の直列チェーン（単一 predecessor）を通して ReturnCleanup を成立させる（cleanup は Return block のみ）