From f9817dda4cb10dc061a84a41e7897dbc50c6340c Mon Sep 17 00:00:00 2001 From: tomoaki Date: Mon, 29 Dec 2025 08:19:23 +0900 Subject: [PATCH] docs(phase29ai): add P7 unify planner to DomainPlan --- docs/development/current/main/10-Now.md | 2 +- docs/development/current/main/30-Backlog.md | 2 +- ...PLANNER-RETURNS-DOMAINPLAN-INSTRUCTIONS.md | 64 +++++++++++++++++++ .../current/main/phases/phase-29ai/README.md | 5 ++ 4 files changed, 71 insertions(+), 2 deletions(-) create mode 100644 docs/development/current/main/phases/phase-29ai/P7-PLANNER-RETURNS-DOMAINPLAN-INSTRUCTIONS.md diff --git a/docs/development/current/main/10-Now.md b/docs/development/current/main/10-Now.md index 0dcf830e..c387e735 100644 --- a/docs/development/current/main/10-Now.md +++ b/docs/development/current/main/10-Now.md @@ -2,7 +2,7 @@ ## Current Focus: Phase 29ai（Plan/Frag single-planner） -Next: `docs/development/current/main/phases/phase-29ai/P6-MOVE-PATTERN6-7-EXTRACTORS-TO-PLAN-LAYER-INSTRUCTIONS.md` +Next: `docs/development/current/main/phases/phase-29ai/P7-PLANNER-RETURNS-DOMAINPLAN-INSTRUCTIONS.md` **2025-12-29: Phase 29ag P1 完了** ✅ - 目的: coordinator の ValueId(idx) 前提を撤去し、boundary.join_inputs を SSOT 化（仕様不変） diff --git a/docs/development/current/main/30-Backlog.md b/docs/development/current/main/30-Backlog.md index b899a7fa..d7cb49e1 100644 --- a/docs/development/current/main/30-Backlog.md +++ b/docs/development/current/main/30-Backlog.md @@ -19,7 +19,7 @@ Related: - **Phase 29ai（candidate）: Plan/Frag single-planner（Facts SSOT）** - 入口: `docs/development/current/main/phases/phase-29ai/README.md` - - Next: P6（Move Pattern6/7 extractors to Plan layer） + - Next: P7（Planner returns DomainPlan） - **Phase 29ae P1（✅ COMPLETE）: JoinIR Regression Pack (SSOT固定)** - 入口: `docs/development/current/main/phases/phase-29ae/README.md` diff --git a/docs/development/current/main/phases/phase-29ai/P7-PLANNER-RETURNS-DOMAINPLAN-INSTRUCTIONS.md b/docs/development/current/main/phases/phase-29ai/P7-PLANNER-RETURNS-DOMAINPLAN-INSTRUCTIONS.md new file mode 100644 index 00000000..e4684e2c --- /dev/null +++ b/docs/development/current/main/phases/phase-29ai/P7-PLANNER-RETURNS-DOMAINPLAN-INSTRUCTIONS.md @@ -0,0 +1,64 @@ +# Phase 29ai P7: Planner returns DomainPlan (remove duplicate Plan types) — Instructions + +Status: Ready for execution +Scope: 構造整理（仕様不変） + +## Goal + +Phase 29ai の `facts/normalize/planner` が “別系統の Plan 型” を持っている状態を解消し、既存の `plan::DomainPlan` を唯一の +Plan語彙（SSOT）として使う。 + +これにより、single_planner が将来 `facts→planner` を直接利用できるようになり、吸収作業（Pattern2/6/7/…）を一本道で進められる。 + +## Non-goals + +- 既存の lowering 経路の変更（`single_planner` の legacy_rules は維持） +- 仕様変更（挙動/エラー文字列/ログの変更） +- 新しいトグル/環境変数の追加 + +## Current Problem + +`src/mir/builder/control_flow/plan/planner/` に `Plan { kind: PlanKind }` が存在し、既存の `DomainPlan` と二重化している。 + +- DomainPlan はすでに Normalizer/Verifier/Lowerer の SSOT 語彙 +- 29ai planner の “候補集合→一意化” は本来 DomainPlan の上で行うべき + +## Target + +- `CandidateSet::finalize() -> Result, Freeze>` +- `planner::build_plan(...) -> Result, Freeze>` +- `PlanKind` / `Plan`（29ai専用）を撤去し、候補は `DomainPlan` を直接保持する + +## Implementation Steps + +1) 29ai planner の型を DomainPlan に統一 + - `src/mir/builder/control_flow/plan/planner/mod.rs`: + - `Plan` / `PlanKind` を削除 + - `pub use freeze::Freeze` のみ残す + - `pub use build::build_plan` は `Result, Freeze>` へ + +2) CandidateSet の candidate を DomainPlan へ + - `PlanCandidate { plan: DomainPlan, rule: &'static str }` + - `finalize()` の 0/1/2+ 境界（SSOT）は維持 + +3) build.rs の最小 rule を DomainPlan で表現 + - 現状の “ScanWithInit” placeholder は `DomainPlan::ScanWithInit(ScanWithInitPlan{...})` の形へ + - ただし P7 では実行経路に接続しないため、**未到達**でもコンパイルできるようにする + - 例: facts が `Ok(None)` の間は build_plan が `Ok(None)` を返す + +4) docs の参照整合 + - Freeze tag は `docs/development/current/main/design/planfrag-freeze-taxonomy.md` と一致させる + - SSOT registry の “Plan語彙は DomainPlan” を明文化する + +## Verification (SSOT) + +- `cargo build --release` +- `./tools/smokes/v2/run.sh --profile quick` +- `./tools/smokes/v2/profiles/integration/joinir/phase29ae_regression_pack_vm.sh` + +## Acceptance Criteria + +- quick/回帰パックが緑（仕様不変） +- 29ai planner の “Plan語彙” が `DomainPlan` に一本化され、二重Planが消える +- candidate-set の 0/1/2+ 境界（SSOT）が保持される + diff --git a/docs/development/current/main/phases/phase-29ai/README.md b/docs/development/current/main/phases/phase-29ai/README.md index 08b0e4f1..9dc483a5 100644 --- a/docs/development/current/main/phases/phase-29ai/README.md +++ b/docs/development/current/main/phases/phase-29ai/README.md @@ -39,6 +39,11 @@ Goal: pattern 名による分岐を外部APIから消し、Facts（事実）→ - 指示書: `docs/development/current/main/phases/phase-29ai/P6-MOVE-PATTERN6-7-EXTRACTORS-TO-PLAN-LAYER-INSTRUCTIONS.md` - ねらい: 抽出（pattern固有知識）のSSOTを plan 側へ寄せ、依存方向を一方向に固定（仕様不変） +## P7: Planner returns DomainPlan（二重Planの解消） + +- 指示書: `docs/development/current/main/phases/phase-29ai/P7-PLANNER-RETURNS-DOMAINPLAN-INSTRUCTIONS.md` +- ねらい: 29ai planner の候補集合/Freeze を `DomainPlan` 上で行い、Plan語彙を1本化（仕様不変） + ## Verification (SSOT) - `cargo build --release`