docs(roadmap): Update CURRENT_TASK.md with Phase 70-B/C/72/73
Add entries for completed phases: - Phase 70-B: Multihop passthrough support (c2df1cac) - Phase 70-C: Merge relay detection (24cc948f) - Phase 72: PHI reserved observation (253eb59b) - Phase 73: ScopeManager BindingId design + PoC (851bf4f8) Add next roadmap: - Phase 74-77: BindingId Migration (8-12 hours, 4 phases) - All phases with links to SSOT docs - Estimated effort per phase 🤖 Generated with Claude Code Co-Authored-By: Claude Haiku 4.5 <noreply@anthropic.com>
This commit is contained in:
@ -310,15 +310,40 @@
|
|||||||
29. **Phase 71-Pre-OWNERSHIP-PLAN-VALIDATOR(完了✅ 2025-12-13)**: OwnershipPlanValidator 箱を導入(dev-only)
|
29. **Phase 71-Pre-OWNERSHIP-PLAN-VALIDATOR(完了✅ 2025-12-13)**: OwnershipPlanValidator 箱を導入(dev-only)
|
||||||
- OwnershipPlan の整合チェックを箱に隔離し、P3 本番導線のガードを再利用可能にする。
|
- OwnershipPlan の整合チェックを箱に隔離し、P3 本番導線のガードを再利用可能にする。
|
||||||
- 実装コミット: `1424aac9`
|
- 実装コミット: `1424aac9`
|
||||||
30. **Phase 72-PHI-RESERVED-OBSERVATION(完了✅ 2025-12-13)**: PHI Reserved Region 検証観測
|
30. **Phase 70-B-MULTIHOP-PASSTHROUGH(完了✅ 2025-12-13)**: Multihop relay passthrough 対応(dev-only)
|
||||||
|
- Runtime guard を「常時エラー」から「未対応ケースのみエラー」に縮め、passthrough パターン受理。
|
||||||
|
- 構造判定: `is_supported_multihop_pattern()` で self-conflict 検出。
|
||||||
|
- 実装コミット: `c2df1cac`
|
||||||
|
- テスト: normalized_dev 52/52, lib 950/950 PASS
|
||||||
|
31. **Phase 70-C-MERGE-RELAY(完了✅ 2025-12-13)**: Merge relay 検出(dev-only)
|
||||||
|
- 複数の inner loop が同一 owner の変数を更新するパターンを検出・受理。
|
||||||
|
- Validator は個別の relay をチェック(cross-plan consistency は Phase 70-D+ へ先送り)。
|
||||||
|
- 実装コミット: `24cc948f`
|
||||||
|
- テスト: normalized_dev 54/54, lib 950/950 PASS
|
||||||
|
32. **Phase 72-PHI-RESERVED-OBSERVATION(完了✅ 2025-12-13)**: PHI Reserved Region 検証観測
|
||||||
- PHI dst ValueId の分布を観測し、reserved region (0-99) への適合性を確認。
|
- PHI dst ValueId の分布を観測し、reserved region (0-99) への適合性を確認。
|
||||||
- 結論: PHI dst は builder.next_value_id() から割り当てられ、JoinValueSpace の reserved region とは独立。
|
- 結論: PHI dst は builder.next_value_id() から割り当てられ、JoinValueSpace の reserved region とは独立。
|
||||||
- 決定: verifier 強化は **非推奨**(アーキテクチャ的根拠なし)。
|
- 決定: verifier 強化は **非推奨**(アーキテクチャ的根拠なし)。
|
||||||
- 現状: 偶発的な非衝突(MirBuilder=0-50, JoinValueSpace=100+)で安定動作中。
|
- 現状: 偶発的な非衝突(MirBuilder=0-50, JoinValueSpace=100+)で安定動作中。
|
||||||
|
- 実装コミット: `253eb59b`
|
||||||
- 詳細: [PHASE_72_SUMMARY.md](docs/development/current/main/PHASE_72_SUMMARY.md), [phase72-phi-reserved-observation.md](docs/development/current/main/phase72-phi-reserved-observation.md)
|
- 詳細: [PHASE_72_SUMMARY.md](docs/development/current/main/PHASE_72_SUMMARY.md), [phase72-phi-reserved-observation.md](docs/development/current/main/phase72-phi-reserved-observation.md)
|
||||||
31. JoinIR Verify / 最適化まわり
|
33. **Phase 73-SCOPE-MANAGER-DESIGN(完了✅ 2025-12-13)**: ScopeManager BindingId 設計 + PoC(dev-only)
|
||||||
- すでに PHI/ValueId 契約は debug ビルドで検証しているので、
|
- JoinIR 側の name-based lookup を BindingId-based に段階移行する設計を確定。
|
||||||
必要なら SSA‑DFA や軽い最適化(Loop invariant / Strength reduction)を検討。
|
- Option A (Parallel BindingId Layer) で段階移行可能性を実証(PoC 6/6 PASS)。
|
||||||
|
- 移行ロードマップ: Phase 74-77(合計 8-12時間、本番影響ゼロ)。
|
||||||
|
- 実装コミット: `851bf4f8`
|
||||||
|
- SSOT: [phase73-scope-manager-design.md](docs/development/current/main/phase73-scope-manager-design.md), [phase73-completion-summary.md](docs/development/current/main/phase73-completion-summary.md)
|
||||||
|
|
||||||
|
---
|
||||||
|
|
||||||
|
## 🚀 次フェーズ(Phase 74-77 BindingId Migration ロードマップ)
|
||||||
|
|
||||||
|
- **Phase 74-INFRASTRUCTURE**: binding_map + next_binding_id を MirBuilder に追加(2-3時間)
|
||||||
|
- **Phase 75-PILOT**: ScopeManager で BindingId 優先 lookup を 1 箇所に試験(1-2時間)
|
||||||
|
- **Phase 76-PROMOTION**: digit_pos/ch_match のハック撤去、promoted_bindings 対応表に移行(2-3時間)
|
||||||
|
- **Phase 77-EXPANSION**: Pattern2→3→4 へ適用面拡大、legacy 依存削減(2-3時間)
|
||||||
|
|
||||||
|
詳細は [phase73-scope-manager-design.md](docs/development/current/main/phase73-scope-manager-design.md) **Migration Roadmap** セクション参照。
|
||||||
|
|
||||||
---
|
---
|
||||||
|
|
||||||
|
|||||||
Reference in New Issue
Block a user