Files
hakorune/docs/development/current/main/phases/phase-29aj/README.md

3.5 KiB
Raw Blame History

Phase 29aj: PlannerOutcome observability SSOT

Goal: planner の facts/plan を 1 本の outcome に集約し、観測の SSOT を planner 側に固定する(仕様不変)。

P0: PlannerOutcomeFacts+PlanSSOT

  • 指示書: docs/development/current/main/phases/phase-29aj/P0-PLANNER-OUTCOME-SSOT-INSTRUCTIONS.md
  • ねらい: single_planner の観測が planner outcome の facts だけに依存する状態へ統一
  • 完了: build_plan_with_facts を追加し、single_planner のタグ出力は outcome.facts 参照に収束
  • 検証: cargo build --release / ./tools/smokes/v2/run.sh --profile quick / ./tools/smokes/v2/profiles/integration/joinir/phase29ae_regression_pack_vm.sh

P1: Remove single_planner legacy_rulesPlan extractor SSOT

  • 指示書: docs/development/current/main/phases/phase-29aj/P1-REMOVE-LEGACY-RULES-INSTRUCTIONS.md
  • ねらい: plan 層に extractor を集約し、single_planner の JoinIR 依存を撤去
  • 完了: Pattern1/3/4/5/8/9 を plan/extractors へ移設、legacy_rules を削除
  • 検証: cargo build --release / ./tools/smokes/v2/run.sh --profile quick / ./tools/smokes/v2/profiles/integration/joinir/phase29ae_regression_pack_vm.sh

P2: chosen_rule 撤去 + Pattern1 planner-firstsubset

  • 指示書: docs/development/current/main/phases/phase-29aj/P2-CHOSEN_RULE-REMOVE-PATTERN1-PLANNER-FIRST-INSTRUCTIONS.md
  • ねらい: outcome の未使用フィールド撤去と Pattern1 の planner-first 化(仕様不変)
  • 完了: chosen_rule を削除し、Pattern1 facts→planner を single_planner に接続
  • 検証: cargo build --release / ./tools/smokes/v2/run.sh --profile quick / ./tools/smokes/v2/profiles/integration/joinir/phase29ae_regression_pack_vm.sh

P3: Pattern3 (If-Phi) planner-firstsubset

  • 指示書: docs/development/current/main/phases/phase-29aj/P3-PATTERN3-IFPHI-PLANNER-FIRST-INSTRUCTIONS.md
  • ねらい: Pattern3 を Facts→Planner-first に接続し、extractor 依存を削減
  • 完了: Pattern3 facts/planner/single_planner を接続
  • 検証: cargo build --release / ./tools/smokes/v2/run.sh --profile quick / ./tools/smokes/v2/profiles/integration/joinir/phase29ae_regression_pack_vm.sh

P4: Pattern4 (Continue) planner-firstsubset

  • 指示書: docs/development/current/main/phases/phase-29aj/P4-PATTERN4-CONTINUE-PLANNER-FIRST-INSTRUCTIONS.md
  • ねらい: Pattern4 を Facts→Planner-first に接続し、extractor 依存を削減
  • 完了: Pattern4 facts/planner/single_planner を接続
  • 検証: cargo build --release / ./tools/smokes/v2/run.sh --profile quick / ./tools/smokes/v2/profiles/integration/joinir/phase29ae_regression_pack_vm.sh / ./tools/smokes/v2/run.sh --profile integration --filter "phase286_pattern4_frag_poc"

P5: Pattern5 (Infinite Early Exit) planner-firstsubset

  • 指示書: docs/development/current/main/phases/phase-29aj/P5-PATTERN5-INFINITE-EARLY-EXIT-PLANNER-FIRST-INSTRUCTIONS.md
  • ねらい: Pattern5 を Facts→Planner-first に接続し、extractor 依存を削減
  • 完了: Pattern5 facts/planner/single_planner を接続
  • 検証: cargo build --release / ./tools/smokes/v2/run.sh --profile quick / ./tools/smokes/v2/profiles/integration/joinir/phase29ae_regression_pack_vm.sh / ./tools/smokes/v2/run.sh --profile integration --filter "phase143_"

Verification (SSOT)

  • cargo build --release
  • ./tools/smokes/v2/run.sh --profile quick
  • ./tools/smokes/v2/profiles/integration/joinir/phase29ae_regression_pack_vm.sh