diff --git a/CURRENT_TASK.md b/CURRENT_TASK.md index 7aec6626..8d6893c0 100644 --- a/CURRENT_TASK.md +++ b/CURRENT_TASK.md @@ -310,15 +310,40 @@ 29. **Phase 71-Pre-OWNERSHIP-PLAN-VALIDATOR(完了✅ 2025-12-13)**: OwnershipPlanValidator 箱を導入(dev-only) - OwnershipPlan の整合チェックを箱に隔離し、P3 本番導線のガードを再利用可能にする。 - 実装コミット: `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 は builder.next_value_id() から割り当てられ、JoinValueSpace の reserved region とは独立。 - 決定: verifier 強化は **非推奨**(アーキテクチャ的根拠なし)。 - 現状: 偶発的な非衝突(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) -31. JoinIR Verify / 最適化まわり - - すでに PHI/ValueId 契約は debug ビルドで検証しているので、 - 必要なら SSA‑DFA や軽い最適化(Loop invariant / Strength reduction)を検討。 +33. **Phase 73-SCOPE-MANAGER-DESIGN(完了✅ 2025-12-13)**: ScopeManager BindingId 設計 + PoC(dev-only) + - JoinIR 側の name-based lookup を BindingId-based に段階移行する設計を確定。 + - 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** セクション参照。 ---