phase29ao(p16): use block_params for pattern5 exit join

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

@@ -2,8 +2,8 @@
 
 ## Current Focus: Phase 29ao（CorePlan composition）
 
-Next: Phase 29ao P16（ValueJoin exit 実使用: Pattern5 after join）
-指示書: `docs/development/current/main/phases/phase-29ao/P16-VALUEJOIN-REAL-USAGE-PATTERN5-EXITJOIN-INSTRUCTIONS.md`
+Next: Phase 29ao P17（TBD）
+指示書: TBD
 運用ルール: integration filter で phase143_* は回さない（JoinIR 回帰は phase29ae pack のみ）
 運用ルール: phase286_pattern9_* は legacy pack (SKIP) を使う
 移行道筋 SSOT: `docs/development/current/main/design/coreplan-migration-roadmap-ssot.md`
@@ -88,6 +88,11 @@ Next: Phase 29ao P16（ValueJoin exit 実使用: Pattern5 after join）
 - 変更: `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/P15-REGRESSION-PACK-INCLUDE-PATTERN3-INSTRUCTIONS.md`
 - 検証: `./tools/smokes/v2/profiles/integration/joinir/phase29ae_regression_pack_vm.sh` / `./tools/smokes/v2/run.sh --profile quick`
 
+**2025-12-30: Phase 29ao P16 完了** ✅
+- 目的: Pattern5 Infinite Early-Exit の after join を `Frag.block_params + EdgeArgs` に移行
+- 変更: `src/mir/builder/control_flow/plan/normalizer/pattern5_infinite_early_exit.rs` / `tools/smokes/v2/profiles/integration/joinir/phase29ae_regression_pack_vm.sh` / `docs/development/current/main/phases/phase-29ae/README.md`
+- 検証: `cargo test --release -p nyash-rust --lib` / `cargo build --release` / `./tools/smokes/v2/run.sh --profile quick` / `./tools/smokes/v2/profiles/integration/joinir/phase29ae_regression_pack_vm.sh`
+
 **2025-12-29: Phase 29an P15 完了** ✅
 - 目的: P0–P14 の成果を closeout 形式でまとめ、次フェーズ（Phase 29ao）入口を固定
 - 変更: `docs/development/current/main/phases/phase-29an/README.md` / `docs/development/current/main/10-Now.md` / `docs/development/current/main/30-Backlog.md` / `CURRENT_TASK.md`

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–P15 ✅ 完了 / Next: P16（Pattern5 after join → block_params）
-  - Next 指示書: `docs/development/current/main/phases/phase-29ao/P16-VALUEJOIN-REAL-USAGE-PATTERN5-EXITJOIN-INSTRUCTIONS.md`
+  - 状況: P0–P16 ✅ 完了 / Next: P17（TBD）
+  - Next 指示書: TBD
 
 - **Phase 29af（✅ COMPLETE）: Boundary hygiene / regression entrypoint / carrier layout SSOT**
   - 入口: `docs/development/current/main/phases/phase-29af/README.md`

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

@@ -7,6 +7,7 @@ Goal: JoinIR の最小回帰セットを SSOT として固定する。
 - Pattern2: `phase29ab_pattern2_*`
 - Pattern2 (real-world): `phase263_pattern2_*`
 - Pattern3 (If‑Phi, VM): `phase118_pattern3_if_sum_vm`
+- Pattern5 (Break, VM): `phase286_pattern5_break_vm`
 - Pattern6: `phase29ab_pattern6_*`
 - Pattern7: `phase29ab_pattern7_*`
 - Merge/Phi代表: `apps/tests/phase1883_nested_minimal.hako`（RC=9）

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

@@ -98,7 +98,11 @@ Gate（SSOT）:
 - 指示書: `docs/development/current/main/phases/phase-29ao/P15-REGRESSION-PACK-INCLUDE-PATTERN3-INSTRUCTIONS.md`
 - ねらい: P13 の実経路（Pattern3 If‑Phi）が回帰ゲート（phase29ae pack）で必ず実行されるようにする
 
+## P16: ValueJoin exit の実使用（Pattern5 Infinite Early-Exit の after join を block_params 化）✅
+
+- 指示書: `docs/development/current/main/phases/phase-29ao/P16-VALUEJOIN-REAL-USAGE-PATTERN5-EXITJOIN-INSTRUCTIONS.md`
+- ねらい: after join の 1 PHI を `Frag.block_params + EdgeArgs` で表現し、exit join の経路を 1 件固定
+
 ## Next（planned）
 
-- P16: ValueJoin exit の実使用（Pattern5 Infinite Early-Exit の after join を block_params 化）
-  - 指示書: `docs/development/current/main/phases/phase-29ao/P16-VALUEJOIN-REAL-USAGE-PATTERN5-EXITJOIN-INSTRUCTIONS.md`
+- P17: TBD