docs(phase29ab): record P2 seg trim fixture+smoke

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

@@ -1,6 +1,6 @@
 # Self Current Task — Now (main)
 
-## Current Focus: Phase 29ab P1（Pattern2 LoopBodyLocal minimal）
+## Current Focus: Phase 29ab P2（Pattern2 Trim seg minimal）
 
 **2025-12-28: Phase 29ab P1 完了** ✅
 - 目的: Pattern2 の LoopBodyLocal promotion の最小ケースを fixture+integration smoke で固定
@@ -9,6 +9,12 @@
 - Smoke: `tools/smokes/v2/profiles/integration/apps/phase29ab_pattern2_loopbodylocal_min_vm.sh`
 - 検証: `./tools/smokes/v2/run.sh --profile integration --filter "phase29ab_pattern2_*"` PASS
 
+**2025-12-28: Phase 29ab P2 完了** ✅
+- 目的: Pattern2 Trim（A-3）相当の `LoopBodyLocal(seg)` 最小ケースを fixture+integration smoke で固定
+- 追加: `apps/tests/phase29ab_pattern2_loopbodylocal_seg_min.hako`
+- Smoke: `tools/smokes/v2/profiles/integration/apps/phase29ab_pattern2_loopbodylocal_seg_min_vm.sh`
+- 検証: `./tools/smokes/v2/run.sh --profile integration --filter "phase29ab_pattern2_*"` PASS（2/2）
+
 **2025-12-28: Phase 29aa P5 完了** ✅
 - 目的: Return block が複数 predecessor のとき、incoming state が完全一致する場合のみ ReturnCleanup を成立させる
 - 入口: `docs/development/current/main/phases/phase-29aa/README.md`

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

@@ -8,8 +8,10 @@ Related:
 
 ## 直近（JoinIR/selfhost）
 
-- **Phase 29ab（P1 ✅ done）: JoinIR completion triage**
+- **Phase 29ab（P2 ✅ done / P3 planned）: JoinIR completion triage**
   - P1: Pattern2 LoopBodyLocal minimal fixture+smoke fixed（`phase29ab_pattern2_loopbodylocal_min_vm`）
+  - P2: Pattern2 Trim seg minimal fixture+smoke fixed（`phase29ab_pattern2_loopbodylocal_seg_min_vm`）
+  - P3: PromoteDecision の “Reject/continue/fallback” 揺れを contract と smoke で固定（Phase 263 へ接続）
 
 - **Phase 288（✅ P0–P3 + 288.1 complete）: REPL mode**
   - 入口: `docs/development/current/main/phases/phase-288/README.md`