docs(phase29aa): mark P1 pending until code lands

This commit is contained in:
2025-12-27 15:49:42 +09:00
parent 91adbd0547
commit d32b72653c
2 changed files with 6 additions and 3 deletions

View File

@ -3,10 +3,9 @@
## Current Focus: Phase 29aa P0RC insertion safety expansion, design-first
**2025-12-27: Phase 29aa P0 Readydesign-first**
- 目的: rc_insertion を CFG-aware に拡張するための設計を固定誤release防止
- 内容: RcPlan解析→挿入の二段階設計、PHI/loop/early-exit の危険パターン整理、release安全条件の契約
- P1 最小ターゲット: Return 終端 cleanup の RcPlan 経由化Branch/Jump は禁止継続)
- 目的: rc_insertion を CFG-aware に拡張する前提設計を固定誤release防止
- 入口: `docs/development/current/main/phases/phase-29aa/P0-RC_INSERTION_CFG_AWARE_DESIGN-INSTRUCTIONS.md`
- 次: Phase 29aa P1RcPlan 2-stage, meaning-preserving※実装反映待ち
**2025-12-27: Phase 29z P2 closeout**
- `src/mir/passes/rc_insertion.rs`: `Store` 上書き + `Store null`explicit drop+ Return終端cleanup の最小 release 挿入単一block・安全ガード

View File

@ -17,3 +17,7 @@ Deliverables (P0):
- PHI/loop/early-exit の危険パターン整理と Fail-Fast 方針
- release 安全条件の契約
- P1 で実装する最小ターゲットを 1 個に絞る
Progress:
- P0: CFG-aware 設計の固定RcPlan/危険パターン/安全条件の契約)
- P1: rc_insertion を RcPlan の Plan→Apply 2-stage へ分離(挙動不変、実装待ち)