phase29ao(p28): add shadow adopt tags + gate smokes for p6/p7
This commit is contained in:
@ -2,12 +2,17 @@
|
||||
|
||||
## Current Focus: Phase 29ao（CorePlan composition）
|
||||
|
||||
Next: Phase 29ao P28（Shadow adopt observability: tags + gate smokes）
|
||||
指示書: `docs/development/current/main/phases/phase-29ao/P28-SHADOW-ADOPT-OBSERVABILITY-TAGS-AND-GATE-SMOKES-INSTRUCTIONS.md`
|
||||
Next: Phase 29ao P29（TBD）
|
||||
指示書: TBD
|
||||
運用ルール: integration filter で phase143_* は回さない（JoinIR 回帰は phase29ae pack のみ）
|
||||
運用ルール: phase286_pattern9_* は legacy pack (SKIP) を使う
|
||||
移行道筋 SSOT: `docs/development/current/main/design/coreplan-migration-roadmap-ssot.md`
|
||||
|
||||
**2025-12-30: Phase 29ao P28 完了** ✅
|
||||
- 目的: strict/dev shadow adopt の実踏みを安定タグと回帰スモークで検証可能にする（仕様不変）
|
||||
- 変更: `src/mir/builder/control_flow/joinir/patterns/router.rs` / `tools/smokes/v2/profiles/integration/joinir/phase29ao_pattern6_strict_shadow_vm.sh` / `tools/smokes/v2/profiles/integration/joinir/phase29ao_pattern7_strict_shadow_vm.sh` / `tools/smokes/v2/profiles/integration/joinir/phase29ae_regression_pack_vm.sh` / `docs/development/current/main/phases/phase-29ae/README.md` / `docs/development/current/main/phases/phase-29ao/README.md` / `docs/development/current/main/10-Now.md` / `docs/development/current/main/30-Backlog.md` / `CURRENT_TASK.md` / `docs/development/current/main/design/coreplan-migration-roadmap-ssot.md`
|
||||
- 検証: `cargo build --release` / `./tools/smokes/v2/run.sh --profile quick` / `./tools/smokes/v2/profiles/integration/joinir/phase29ae_regression_pack_vm.sh`
|
||||
|
||||
**2025-12-30: Phase 29ao P27 完了** ✅
|
||||
- 目的: Pattern6(ScanWithInit) の subset を strict/dev で Facts→CorePlan に寄せ、planner subset のズレを早期検知
|
||||
- 変更: `src/mir/builder/control_flow/plan/normalizer/pattern_scan_with_init.rs` / `src/mir/builder/control_flow/joinir/patterns/router.rs` / `docs/development/current/main/phases/phase-29ao/README.md` / `docs/development/current/main/10-Now.md` / `docs/development/current/main/30-Backlog.md` / `CURRENT_TASK.md` / `docs/development/current/main/design/coreplan-migration-roadmap-ssot.md`
|
||||
@ -17,6 +22,7 @@ Next: Phase 29ao P28（Shadow adopt observability: tags + gate smokes）
|
||||
- 目的: Pattern2(Break) の subset を strict/dev で Facts→CorePlan に寄せ、planner subset のズレを早期検知
|
||||
- 変更: `src/mir/builder/control_flow/plan/normalizer/pattern2_break.rs` / `src/mir/builder/control_flow/joinir/patterns/router.rs` / `tools/smokes/v2/profiles/integration/joinir/phase29ae_regression_pack_vm.sh` / `docs/development/current/main/phases/phase-29ae/README.md` / `docs/development/current/main/phases/phase-29ao/README.md` / `docs/development/current/main/10-Now.md` / `docs/development/current/main/30-Backlog.md` / `CURRENT_TASK.md` / `docs/development/current/main/design/coreplan-migration-roadmap-ssot.md`
|
||||
- 検証: `cargo build --release` / `./tools/smokes/v2/run.sh --profile quick` / `./tools/smokes/v2/profiles/integration/joinir/phase29ae_regression_pack_vm.sh`
|
||||
|
||||
**2025-12-30: Phase 29ao P25 完了** ✅
|
||||
- 目的: Pattern5 を strict/dev で Facts→CorePlan に寄せ、DomainPlan 経路との差分を早期検知
|
||||
- 変更: `src/mir/builder/control_flow/plan/normalizer/pattern5_infinite_early_exit.rs` / `src/mir/builder/control_flow/joinir/patterns/router.rs` / `tools/smokes/v2/profiles/integration/joinir/phase29ao_pattern5_strict_shadow_vm.sh` / `tools/smokes/v2/profiles/integration/joinir/phase29ae_regression_pack_vm.sh` / `docs/development/current/main/phases/phase-29ae/README.md` / `docs/development/current/main/phases/phase-29ao/README.md` / `docs/development/current/main/10-Now.md` / `docs/development/current/main/30-Backlog.md` / `CURRENT_TASK.md` / `docs/development/current/main/design/coreplan-migration-roadmap-ssot.md`
|
||||
|
||||
@ -15,8 +15,8 @@ Related:
|
||||
|
||||
- **Phase 29ao（active）: CorePlan composition from Skeleton/Feature**
|
||||
- 入口: `docs/development/current/main/phases/phase-29ao/README.md`
|
||||
- 状況: P0–P27 ✅ 完了 / Next: P28（Shadow adopt observability）
|
||||
- Next 指示書: `docs/development/current/main/phases/phase-29ao/P28-SHADOW-ADOPT-OBSERVABILITY-TAGS-AND-GATE-SMOKES-INSTRUCTIONS.md`
|
||||
- 状況: P0–P28 ✅ 完了 / Next: P29（TBD）
|
||||
- Next 指示書: TBD
|
||||
|
||||
- **Phase 29af（✅ COMPLETE）: Boundary hygiene / regression entrypoint / carrier layout SSOT**
|
||||
- 入口: `docs/development/current/main/phases/phase-29af/README.md`
|
||||
|
||||
@ -34,7 +34,7 @@ Related:
|
||||
## 1.1 Current (active)
|
||||
|
||||
- Active phase: `docs/development/current/main/phases/phase-29ao/README.md`
|
||||
- Next step: `docs/development/current/main/phases/phase-29ao/P28-SHADOW-ADOPT-OBSERVABILITY-TAGS-AND-GATE-SMOKES-INSTRUCTIONS.md`
|
||||
- Next step: TBD (Phase 29ao P29)
|
||||
|
||||
## 2. すでに固めた SSOT（再発防止の土台）
|
||||
|
||||
|
||||
@ -12,7 +12,9 @@ Goal: JoinIR の最小回帰セットを SSOT として固定する。
|
||||
- Pattern1 (subset reject, VM): `phase29ao_pattern1_subset_reject_extra_stmt_vm`
|
||||
- Pattern5 (Break, VM): `phase286_pattern5_break_vm`
|
||||
- Pattern5 (strict shadow, VM): `phase29ao_pattern5_strict_shadow_vm`
|
||||
- Pattern6 (strict shadow, VM): `phase29ao_pattern6_strict_shadow_vm`
|
||||
- Pattern6: `phase29ab_pattern6_*`
|
||||
- Pattern7 (strict shadow, VM): `phase29ao_pattern7_strict_shadow_vm`
|
||||
- Pattern7: `phase29ab_pattern7_*`
|
||||
- Merge/Phi代表: `apps/tests/phase1883_nested_minimal.hako`（RC=9）
|
||||
- この pack が JoinIR 回帰の唯一の integration gate（phase143_* は対象外）
|
||||
|
||||
@ -162,13 +162,11 @@ Gate（SSOT）:
|
||||
- 指示書: `docs/development/current/main/phases/phase-29ao/P27-STRICT-ADOPT-PATTERN6-SCANWITHINIT-SUBSET-FROM-FACTS-INSTRUCTIONS.md`
|
||||
- ねらい: Pattern6 のうち planner subset（Facts由来）だけを strict/dev で Facts→CorePlan に寄せ、reverse/matchscan 等の variant は fallback 維持（既定挙動は不変）
|
||||
|
||||
## P28: Shadow adopt observability（strict/dev tags + gate smokes）
|
||||
## P28: Shadow adopt observability（strict/dev tags + gate smokes）✅
|
||||
|
||||
- 指示書: `docs/development/current/main/phases/phase-29ao/P28-SHADOW-ADOPT-OBSERVABILITY-TAGS-AND-GATE-SMOKES-INSTRUCTIONS.md`
|
||||
- ねらい: strict/dev の shadow adopt が “実際に踏まれている” ことを安定タグと回帰スモークで SSOT 化（仕様不変）
|
||||
|
||||
## Next（planned）
|
||||
|
||||
- Next: P28（実装）
|
||||
- 指示書: `docs/development/current/main/phases/phase-29ao/P28-SHADOW-ADOPT-OBSERVABILITY-TAGS-AND-GATE-SMOKES-INSTRUCTIONS.md`
|
||||
- After P28: P29（TBD）
|
||||
- Next: P29（TBD）
|
||||
|
||||
Reference in New Issue
Block a user