docs(phase29z): P2 closeout markers and next steps
This commit is contained in:
@ -7,6 +7,7 @@
|
||||
- 既定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の方針化)
|
||||
|
||||
**2025-12-27: Phase 29y P0 完了** ✅
|
||||
- docs-first SSOT finalized(ABI/RC insertion/Observability)
|
||||
|
||||
@ -57,10 +57,14 @@ Related:
|
||||
- 入口: `docs/development/current/main/phases/phase-29y/README.md`
|
||||
- 次: Phase 29z(RC insertion minimal)または Phase 29x(De-Rust runtime)候補
|
||||
|
||||
- **Phase 29z(✅ P1 COMPLETE, implementation-minimal): RC insertion minimal**
|
||||
- 成果: `MirInstruction::Store` の上書き + `Store null`(explicit drop)で `ReleaseStrong` を挿入(単一block・安全ガード付き)
|
||||
- **Phase 29z(P2 CLOSEOUT準備中, implementation-minimal): RC insertion minimal**
|
||||
- 進捗: P1まで完了(上書き+Store null で 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防止)
|
||||
- 入口: `docs/development/current/main/phases/phase-29z/README.md`
|
||||
- 指示書: `docs/development/current/main/phases/phase-29z/P0-RC_INSERTION_MINIMAL-INSTRUCTIONS.md`
|
||||
|
||||
|
||||
@ -1,6 +1,6 @@
|
||||
# Phase 29z: RC insertion minimal(Phase 29y follow-up)
|
||||
|
||||
Status: P1 Complete
|
||||
Status: P2 Closeout
|
||||
Scope: Phase 29y の SSOT(RC insertion / ABI / observability)を前提に、**RC insertion pass を最小動作**まで進める。
|
||||
|
||||
Entry:
|
||||
@ -17,3 +17,9 @@ Verification:
|
||||
Progress:
|
||||
- P0: overwrite release(Store 上書き)
|
||||
- P1: explicit drop(Store null)を最小対応
|
||||
- P2: closeout(残課題と次フェーズの入口を明文化)
|
||||
|
||||
Next Steps(持ち越し事項):
|
||||
- null 伝搬の精度向上(copy 以外の伝搬パターンを段階的に追加)
|
||||
- スコープ終端の release(block end cleanup)の最小実装(単一blockから着手)
|
||||
- PHI/loop/early-exit は次フェーズ以降で慎重に扱う(誤 release 防止)
|
||||
|
||||
Reference in New Issue
Block a user