docs(phase29aj): define joinir regression gate; isolate phase143 legacy

CURRENT_TASK.md

@@ -12,6 +12,12 @@ Scope: Repo root の旧リンク互換。現行の入口は `docs/development/cu
 
 ### 状況（SSOT）
 
+**JoinIR 回帰 SSOT**
+`./tools/smokes/v2/profiles/integration/joinir/phase29ae_regression_pack_vm.sh` が唯一の integration gate。phase143_* は対象外（legacy pack で隔離）。
+
+**2025-12-29: Phase 29aj P6 COMPLETE (JoinIR regression gate SSOT)**
+JoinIR 回帰の integration gate を phase29ae pack に固定し、phase143_* を legacy pack で隔離。
+
 **2025-12-29: Phase 29ai P15 COMPLETE (Pattern2 promotion hint observe)**
 strict/dev 時のみ `[plan/pattern2/promotion_hint:{TrimSeg|DigitPos}]` を観測できるようにし、次は promotion hint の Plan/Frag 吸収残作業（P16候補）。
 

docs/development/current/main/10-Now.md

@@ -2,7 +2,13 @@
 
 ## Current Focus: Phase 29aj（PlannerOutcome SSOT）
 
-Next: Phase 29aj P6（TBD）
+Next: Phase 29aj P7（TBD）
+運用ルール: integration filter で phase143_* は回さない（JoinIR 回帰は phase29ae pack のみ）
+
+**2025-12-29: Phase 29aj P6 完了** ✅
+- 目的: JoinIR 回帰の integration gate を phase29ae pack に固定し、phase143_* を隔離
+- 実装: `tools/smokes/v2/profiles/integration/joinir/phase143_legacy_pack.sh` / `docs/development/current/main/phases/phase-29aj/README.md` / `docs/development/current/main/phases/phase-29ae/README.md`
+- 検証: `./tools/smokes/v2/profiles/integration/joinir/phase29ae_regression_pack_vm.sh` / `./tools/smokes/v2/profiles/integration/joinir/phase143_legacy_pack.sh` (SKIP)
 
 **2025-12-29: Phase 29aj P5 完了** ✅
 - 目的: Pattern5（Infinite Early Exit）を Facts→Planner-first に移行（仕様不変）

docs/development/current/main/30-Backlog.md

@@ -19,8 +19,9 @@ Related:
 
 - **Phase 29aj（candidate）: PlannerOutcome observability SSOT**
   - 入口: `docs/development/current/main/phases/phase-29aj/README.md`
-  - 状況: P0/P1/P2/P3/P4/P5 ✅ 完了
-  - Next: Phase 29aj P6（TBD）
+  - 状況: P0/P1/P2/P3/P4/P5/P6 ✅ 完了
+  - Next: Phase 29aj P7（TBD）
+  - 運用: integration filter で phase143_* は回さない（JoinIR 回帰は phase29ae pack のみ）
 
 - **Phase 29ai（candidate）: Plan/Frag single-planner（Facts SSOT）**
   - 入口: `docs/development/current/main/phases/phase-29ai/README.md`

docs/development/current/main/phases/phase-29ae/README.md

@@ -9,6 +9,8 @@ Goal: JoinIR の最小回帰セットを SSOT として固定する。
 - Pattern6: `phase29ab_pattern6_*`
 - Pattern7: `phase29ab_pattern7_*`
 - Merge/Phi代表: `apps/tests/phase1883_nested_minimal.hako`（RC=9）
+- この pack が JoinIR 回帰の唯一の integration gate（phase143_* は対象外）
+- phase143_* は LoopBuilder 撤去 / plugin disable 固定 / LLVM exe 期待が古いので除外
 
 ## Header PHI Entry/Latch Contract (SSOT)
 

docs/development/current/main/phases/phase-29aj/P6-JOINIR-REGRESSION-SSOT-ISOLATE-PHASE143-INSTRUCTIONS.md

@@ -0,0 +1,39 @@
+# Phase 29aj P6: JoinIR regression SSOT gate + phase143_* isolation
+
+Date: 2025-12-29  
+Status: Ready for execution  
+Scope: docs + smoke guard only（挙動コードは触らない）  
+Goal: JoinIR 回帰の受け入れを phase29ae pack に固定し、phase143_* を隔離する
+
+## Objective
+
+- JoinIR 回帰の integration gate を `phase29ae_regression_pack_vm.sh` に一本化
+- phase143_* は対象外と明記（LoopBuilder 撤去 / plugin disable / LLVM exe 期待の乖離）
+- phase143_* は legacy pack として隔離し、SKIP で明示
+
+## Non-goals
+
+- phase143_* の修正
+- 新 env var 追加
+- JoinIR 本体の挙動変更
+
+## Steps
+
+1) docs 更新
+   - `docs/development/current/main/phases/phase-29aj/README.md`
+   - `docs/development/current/main/phases/phase-29ae/README.md`
+   - `docs/development/current/main/10-Now.md`
+   - `docs/development/current/main/30-Backlog.md`
+   - `CURRENT_TASK.md`
+2) phase143 legacy pack 追加
+   - `tools/smokes/v2/profiles/integration/joinir/phase143_legacy_pack.sh` を SKIP で用意
+
+## Verification
+
+- `./tools/smokes/v2/run.sh --profile quick`
+- `./tools/smokes/v2/profiles/integration/joinir/phase29ae_regression_pack_vm.sh`
+- `./tools/smokes/v2/profiles/integration/joinir/phase143_legacy_pack.sh` (SKIP)
+
+## Commit
+
+- `git add -A && git commit -m "docs(phase29aj): define joinir regression gate; isolate phase143 legacy"`

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

@@ -44,6 +44,14 @@ Goal: planner の facts/plan を 1 本の outcome に集約し、観測の SSOT
 - 完了: 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_"`
 
+## P6: JoinIR regression gate SSOT + phase143_* isolation
+
+- 指示書: `docs/development/current/main/phases/phase-29aj/P6-JOINIR-REGRESSION-SSOT-ISOLATE-PHASE143-INSTRUCTIONS.md`
+- ねらい: JoinIR 回帰の gate を `phase29ae_regression_pack_vm.sh` に固定し、phase143_* は対象外を明記
+- 対象外理由: LoopBuilder 撤去 / plugin disable 固定 / LLVM exe 期待が古い
+- 完了: phase143_* を legacy pack に隔離し、SSOT の受け入れは JoinIR pack のみに統一
+- 検証: `./tools/smokes/v2/profiles/integration/joinir/phase29ae_regression_pack_vm.sh` / `./tools/smokes/v2/profiles/integration/joinir/phase143_legacy_pack.sh` (SKIP)
+
 ## Verification (SSOT)
 
 - `cargo build --release`

tools/smokes/v2/profiles/integration/joinir/phase143_legacy_pack.sh

@@ -0,0 +1,8 @@
+#!/bin/bash
+# phase143_legacy_pack.sh - Phase 143 legacy pack (intentionally skipped)
+
+source "$(dirname "$0")/../../../lib/test_runner.sh"
+require_env || exit 2
+
+test_skip "phase143_legacy_pack" "Phase143 loop(true) legacy pack is excluded from JoinIR regression SSOT (LoopBuilder removed, plugin-disabled scripts, LLVM exe expectations outdated)"
+exit 0