From 7232f7872681499ecefdda2aa4410c4eb0412793 Mon Sep 17 00:00:00 2001 From: tomoaki Date: Tue, 30 Dec 2025 09:05:14 +0900 Subject: [PATCH] docs(phase29ao): add p19 strict shadow gate instructions --- CURRENT_TASK.md | 4 +- docs/development/current/main/10-Now.md | 4 +- docs/development/current/main/30-Backlog.md | 4 +- ...ADD-PATTERN1-STRICT-SHADOW-INSTRUCTIONS.md | 60 +++++++++++++++++++ .../current/main/phases/phase-29ao/README.md | 3 +- 5 files changed, 69 insertions(+), 6 deletions(-) create mode 100644 docs/development/current/main/phases/phase-29ao/P19-REGRESSION-PACK-ADD-PATTERN1-STRICT-SHADOW-INSTRUCTIONS.md diff --git a/CURRENT_TASK.md b/CURRENT_TASK.md index c5597a2c..92c97678 100644 --- a/CURRENT_TASK.md +++ b/CURRENT_TASK.md @@ -19,7 +19,9 @@ Scope: Repo root の旧リンク互換。現行の入口は `docs/development/cu `docs/development/current/main/design/coreplan-migration-roadmap-ssot.md` が移行タスクの Done 判定の入口。 **Next implementation (Phase 29ao P19)** -TBD +- 目的: 回帰ゲート（phase29ae pack）に strict/dev の Pattern1 shadow adopt を含める +- 指示書: `docs/development/current/main/phases/phase-29ao/P19-REGRESSION-PACK-ADD-PATTERN1-STRICT-SHADOW-INSTRUCTIONS.md` +- 検証: `./tools/smokes/v2/profiles/integration/joinir/phase29ae_regression_pack_vm.sh` / `./tools/smokes/v2/run.sh --profile quick` **2025-12-29: Phase 29am P0 COMPLETE (CorePlan If/Exit lowerer/verifier)** CorePlan の If/Exit を lowerer/verifier で扱えるようにして、CorePlan 移行の土台を作った。 diff --git a/docs/development/current/main/10-Now.md b/docs/development/current/main/10-Now.md index e67d1bc7..3936ced8 100644 --- a/docs/development/current/main/10-Now.md +++ b/docs/development/current/main/10-Now.md @@ -2,8 +2,8 @@ ## Current Focus: Phase 29ao（CorePlan composition） -Next: Phase 29ao P19（TBD） -指示書: TBD +Next: Phase 29ao P19（regression pack: Pattern1 strict shadow） +指示書: `docs/development/current/main/phases/phase-29ao/P19-REGRESSION-PACK-ADD-PATTERN1-STRICT-SHADOW-INSTRUCTIONS.md` 運用ルール: integration filter で phase143_* は回さない（JoinIR 回帰は phase29ae pack のみ） 運用ルール: phase286_pattern9_* は legacy pack (SKIP) を使う 移行道筋 SSOT: `docs/development/current/main/design/coreplan-migration-roadmap-ssot.md` diff --git a/docs/development/current/main/30-Backlog.md b/docs/development/current/main/30-Backlog.md index 133d6c00..35d54db5 100644 --- a/docs/development/current/main/30-Backlog.md +++ b/docs/development/current/main/30-Backlog.md @@ -15,8 +15,8 @@ Related: - **Phase 29ao（active）: CorePlan composition from Skeleton/Feature** - 入口: `docs/development/current/main/phases/phase-29ao/README.md` - - 状況: P0–P18 ✅ 完了 / Next: P19（TBD） - - Next 指示書: TBD + - 状況: P0–P18 ✅ 完了 / Next: P19（regression pack: Pattern1 strict shadow） + - Next 指示書: `docs/development/current/main/phases/phase-29ao/P19-REGRESSION-PACK-ADD-PATTERN1-STRICT-SHADOW-INSTRUCTIONS.md` - **Phase 29af（✅ COMPLETE）: Boundary hygiene / regression entrypoint / carrier layout SSOT** - 入口: `docs/development/current/main/phases/phase-29af/README.md` diff --git a/docs/development/current/main/phases/phase-29ao/P19-REGRESSION-PACK-ADD-PATTERN1-STRICT-SHADOW-INSTRUCTIONS.md b/docs/development/current/main/phases/phase-29ao/P19-REGRESSION-PACK-ADD-PATTERN1-STRICT-SHADOW-INSTRUCTIONS.md new file mode 100644 index 00000000..2bdf839d --- /dev/null +++ b/docs/development/current/main/phases/phase-29ao/P19-REGRESSION-PACK-ADD-PATTERN1-STRICT-SHADOW-INSTRUCTIONS.md @@ -0,0 +1,60 @@ +--- +Status: Ready +Scope: docs+smokes（回帰ゲート強化、仕様不変） +Related: + - docs/development/current/main/phases/phase-29ao/README.md + - docs/development/current/main/phases/phase-29ae/README.md + - tools/smokes/v2/profiles/integration/joinir/phase29ae_regression_pack_vm.sh + - docs/development/current/main/design/coreplan-migration-roadmap-ssot.md +--- + +# Phase 29ao P19: 回帰ゲートに Pattern1 strict/dev shadow adopt を含める + +Date: 2025-12-30 +Status: Ready for execution +Scope: 仕様不変。P17/P18 で導入した strict/dev の shadow adopt を、JoinIR 回帰 SSOT（phase29ae pack）で必ず実行される形にする。 + +## 目的 + +- strict/dev の Pattern1 shadow adopt（Facts→CorePlan(skeleton)）が、回帰ゲートで常に実行されるようにする。 +- “実装は入ったが回帰で踏まれない” 状態を防ぐ（SSOTの維持）。 + +## 非目的 + +- 新しい言語仕様・最適化の追加 +- regression pack を重くする（最小1本だけ追加） +- LLVM EXE 系を pack に入れる（環境/時間依存が大きい） + +## 実装方針（最小） + +### 追加する smoke（新規） + +- 新規ファイル: `tools/smokes/v2/profiles/integration/joinir/phase29ao_pattern1_strict_shadow_vm.sh` + - 入力: `apps/tests/phase286_pattern1_frag_poc.hako` を再利用（既存fixture） + - 実行: `NYASH_DISABLE_PLUGINS=1 HAKO_JOINIR_STRICT=1` を付けて VM 実行 + - 期待: exit code `3`（既存PoCと同じ） + +理由: +- strict/dev の shadow adopt を確実に踏むため（strict=1）。 +- fixture を増やさない（既存の Pattern1 PoC を流用）。 + +### regression pack に追加 + +- `tools/smokes/v2/profiles/integration/joinir/phase29ae_regression_pack_vm.sh` に 1 行追加 + - `run_filter "pattern1_strict_shadow_vm" "phase29ao_pattern1_strict_shadow_vm" || exit 1` + +### SSOT ドキュメント更新 + +- `docs/development/current/main/phases/phase-29ae/README.md` + - Regression pack (SSOT) に `phase29ao_pattern1_strict_shadow_vm` を追記 + +## 検証（必須） + +- `./tools/smokes/v2/profiles/integration/joinir/phase29ae_regression_pack_vm.sh` +- `./tools/smokes/v2/run.sh --profile quick` + +## コミット + +- `git add -A` +- `git commit -m "docs(phase29ao): gate pattern1 strict shadow adopt in regression pack"` + diff --git a/docs/development/current/main/phases/phase-29ao/README.md b/docs/development/current/main/phases/phase-29ao/README.md index d3204a20..77b87de1 100644 --- a/docs/development/current/main/phases/phase-29ao/README.md +++ b/docs/development/current/main/phases/phase-29ao/README.md @@ -115,4 +115,5 @@ Gate（SSOT）: ## Next（planned） -- P19: TBD +- P19: 回帰ゲートに Pattern1 strict/dev shadow adopt を含める + - 指示書: `docs/development/current/main/phases/phase-29ao/P19-REGRESSION-PACK-ADD-PATTERN1-STRICT-SHADOW-INSTRUCTIONS.md`