From ff5c122fdc83a2583872d4f234562f4f3c09e4fe Mon Sep 17 00:00:00 2001 From: tomoaki Date: Mon, 29 Dec 2025 07:42:23 +0900 Subject: [PATCH] docs(phase29ai): add P5 single-planner router bridge instructions --- docs/development/current/main/10-Now.md | 2 +- docs/development/current/main/30-Backlog.md | 2 +- ...NGLE-PLANNER-BRIDGE-ROUTER-INSTRUCTIONS.md | 70 +++++++++++++++++++ .../current/main/phases/phase-29ai/README.md | 5 ++ 4 files changed, 77 insertions(+), 2 deletions(-) create mode 100644 docs/development/current/main/phases/phase-29ai/P5-SINGLE-PLANNER-BRIDGE-ROUTER-INSTRUCTIONS.md diff --git a/docs/development/current/main/10-Now.md b/docs/development/current/main/10-Now.md index 6f719eba..e1de1cdb 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/P4-FIRST-LOOPFACTS-PATTERN6-SCAN_WITH_INIT-INSTRUCTIONS.md` +Next: `docs/development/current/main/phases/phase-29ai/P5-SINGLE-PLANNER-BRIDGE-ROUTER-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 3b781d3e..46662182 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: P4（First LoopFacts: Pattern6 scan-with-init） + - Next: P5（Single-planner bridge: router → 1 entrypoint） - **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/P5-SINGLE-PLANNER-BRIDGE-ROUTER-INSTRUCTIONS.md b/docs/development/current/main/phases/phase-29ai/P5-SINGLE-PLANNER-BRIDGE-ROUTER-INSTRUCTIONS.md new file mode 100644 index 00000000..32cc9a21 --- /dev/null +++ b/docs/development/current/main/phases/phase-29ai/P5-SINGLE-PLANNER-BRIDGE-ROUTER-INSTRUCTIONS.md @@ -0,0 +1,70 @@ +# Phase 29ai P5: Single-planner bridge (router → 1 entrypoint) — Instructions + +Status: Ready for execution +Scope: 構造整理（仕様不変） + +## Goal + +JoinIR の “pattern名ルーティング” を外部APIから剥がし、**Plan抽出の入口を 1 本に収束**させる。 + +- 現状: `src/mir/builder/control_flow/joinir/patterns/router.rs` が `PLAN_EXTRACTORS`（pattern名＋順序）で分岐 +- 目標: router 側の分岐を撤去し、`plan::single_planner`（仮名）に “入口SSOT” を置く +- 重要: **既存挙動と既存エラーメッセージを変えない**（意味論不変・観測不変） + +このP5は “吸収” の準備段階。内部の rule は当面、既存 extractor（Pattern2/6/7…）を呼ぶだけでよい。 + +## Non-goals + +- Facts/Normalize/Planner/Emit の置換完了（P6+） +- extractor の削除（P6+） +- 既存のエラーメッセージ/RC/ログの変更 +- 新しい env 変数/トグルの追加 + +## Target Architecture + +``` +src/mir/builder/control_flow/plan/ + single_planner/ + mod.rs # SSOT entrypoint: try_build_domain_plan(...) + rules.rs # Rule list (順序SSOT) + guard (PatternKindなど) + legacy_rules/ # 既存 extractor を薄く呼び出すだけのブリッジ + pattern2.rs + pattern6.rs + pattern7.rs + pattern1.rs ... +``` + +router 側は “単一呼び出し” のみになる: + +- Before: `for entry in PLAN_EXTRACTORS { ... }` +- After: `if let Some(plan) = single_planner::try_build_domain_plan(ctx)? { ... }` + +## Contract + +- 戻り値型は **当面 String エラーを維持**する（router 既存の `Result<_, String>` を崩さない） + - Typed `Freeze` は Phase 29ai の未接続導線（Facts→Planner）側で継続使用 +- ルール順序は **既存の `PLAN_EXTRACTORS` と同一**（観測不変のため） +- Pattern1 guard（pattern_kind による抑制）など、router 側の既存ガードも single_planner に移す + +## Implementation Steps + +1) `src/mir/builder/control_flow/plan/single_planner/` を新設 +2) `try_build_domain_plan(ctx: &LoopPatternContext) -> Result, String>` を追加 +3) 既存 router のループ（PLAN_EXTRACTORS）を撤去し、上記を呼ぶだけにする +4) 既存 extractor 呼び出しは “薄いラッパ” に留める（引数整形だけ、意味論不変） +5) docs 更新 + - Phase 29ai README に P5 を追記 + - `docs/development/current/main/10-Now.md` の Next を P5 に更新 + +## 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/回帰パックが緑（仕様不変） +- router から pattern 名分岐（PLAN_EXTRACTORS）が除去され、入口が 1 本になる +- 既存の error string / log の観測が変わらない + diff --git a/docs/development/current/main/phases/phase-29ai/README.md b/docs/development/current/main/phases/phase-29ai/README.md index aad40979..06630e8b 100644 --- a/docs/development/current/main/phases/phase-29ai/README.md +++ b/docs/development/current/main/phases/phase-29ai/README.md @@ -29,6 +29,11 @@ Goal: pattern 名による分岐を外部APIから消し、Facts（事実）→ - 指示書: `docs/development/current/main/phases/phase-29ai/P4-FIRST-LOOPFACTS-PATTERN6-SCAN_WITH_INIT-INSTRUCTIONS.md` - ねらい: Facts→Planner を 1 ケースだけ前進（未接続のまま、仕様不変） +## P5: Single-planner bridge（router → 1 entrypoint） + +- 指示書: `docs/development/current/main/phases/phase-29ai/P5-SINGLE-PLANNER-BRIDGE-ROUTER-INSTRUCTIONS.md` +- ねらい: JoinIR の pattern ルーティングを外部APIから剥がし、入口を 1 本に収束（仕様不変） + ## Verification (SSOT) - `cargo build --release`