From d70d9e3b89eff106d62a896ccc5fdcab33eb716f Mon Sep 17 00:00:00 2001 From: tomoaki Date: Sun, 28 Dec 2025 01:43:03 +0900 Subject: [PATCH] docs(phase29aa): mark P3 complete and queue P4 --- docs/development/current/main/10-Now.md | 8 ++++++-- docs/development/current/main/30-Backlog.md | 5 +++-- docs/development/current/main/phases/phase-29aa/README.md | 2 +- 3 files changed, 10 insertions(+), 5 deletions(-) diff --git a/docs/development/current/main/10-Now.md b/docs/development/current/main/10-Now.md index fc1aba27..40723dd7 100644 --- a/docs/development/current/main/10-Now.md +++ b/docs/development/current/main/10-Now.md @@ -1,11 +1,15 @@ # Self Current Task — Now (main) -## Current Focus: Phase 29aa P3（Jump→Return single-predecessor propagation） +## Current Focus: Phase 29aa P4（Jump-chain propagation to Return） -**2025-12-27: Phase 29aa P3 進行中** +**2025-12-27: Phase 29aa P3 完了** ✅ - 目的: Jump→Return（単一 predecessor）で state 伝播し ReturnCleanup を成立 - 入口: `docs/development/current/main/phases/phase-29aa/README.md` +**2025-12-27: Phase 29aa P4 進行中** +- 目的: Jump の直列チェーン（単一 predecessor）を通して ReturnCleanup を成立させる（cleanup は Return block のみ） +- 入口: `docs/development/current/main/phases/phase-29aa/README.md` + **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 新設なし） diff --git a/docs/development/current/main/30-Backlog.md b/docs/development/current/main/30-Backlog.md index d3c74c7a..af467570 100644 --- a/docs/development/current/main/30-Backlog.md +++ b/docs/development/current/main/30-Backlog.md @@ -68,9 +68,10 @@ Related: - 入口: `docs/development/current/main/phases/phase-29z/README.md` - 指示書: `docs/development/current/main/phases/phase-29z/P0-RC_INSERTION_MINIMAL-INSTRUCTIONS.md` -- **Phase 29aa（P3 IN PROGRESS）: RC insertion safety expansion（CFG-aware）** +- **Phase 29aa（P3 COMPLETE / P4 planned）: RC insertion safety expansion（CFG-aware）** - 進捗: P2 ✅ 完了（Jump/Branch 終端で cleanup を入れない契約の SSOT 化） - - 次: P3（Jump→Return single-predecessor state 伝播） + - 進捗: P3 ✅ 完了（Jump→Return single-predecessor state 伝播） + - 次: P4（Jump-chain propagation to Return） - 入口: `docs/development/current/main/phases/phase-29aa/README.md` - **Phase 29x（planned, post self-host）: De-Rust runtime for LLVM execution** diff --git a/docs/development/current/main/phases/phase-29aa/README.md b/docs/development/current/main/phases/phase-29aa/README.md index 9beae20e..deda572f 100644 --- a/docs/development/current/main/phases/phase-29aa/README.md +++ b/docs/development/current/main/phases/phase-29aa/README.md @@ -1,6 +1,6 @@ # Phase 29aa: RC insertion safety expansion（CFG-aware design） -Status: P3 In Progress (Jump→Return single-predecessor propagation) +Status: P3 Complete (Jump→Return single-predecessor propagation) Scope: Phase 29z の単一block限定実装から、誤releaseを起こさない形で CFG-aware に拡張するための設計を固める。 Entry: