diff --git a/docs/development/current/main/10-Now.md b/docs/development/current/main/10-Now.md
index 587a5618..aa5f427c 100644
--- a/docs/development/current/main/10-Now.md
+++ b/docs/development/current/main/10-Now.md
@@ -41,6 +41,12 @@
 - smoke: `tools/smokes/v2/profiles/integration/apps/phase29ab_pattern6_firstfail_min_vm.sh`
 - 検証: `./tools/smokes/v2/run.sh --profile integration --filter "phase29ab_pattern6_*"` PASS
 
+**2025-12-28: Phase 29ab P7 完了** ✅
+- 目的: Pattern6 reverse scan / matchscan の near-miss を追加で freeze 固定し、契約境界を安定化
+- fixtures: `apps/tests/phase29ab_pattern6_{reverse,matchscan}_firstfail_min.hako`
+- smokes: `tools/smokes/v2/profiles/integration/apps/phase29ab_pattern6_{reverse,matchscan}_firstfail_min_vm.sh`
+- 検証: `./tools/smokes/v2/run.sh --profile integration --filter "phase29ab_pattern6_*"` PASS（3/3）
+
 **2025-12-28: Phase 29aa P5 完了** ✅
 - 目的: Return block が複数 predecessor のとき、incoming state が完全一致する場合のみ ReturnCleanup を成立させる
 - 入口: `docs/development/current/main/phases/phase-29aa/README.md`
diff --git a/docs/development/current/main/30-Backlog.md b/docs/development/current/main/30-Backlog.md
index e179dee7..910b390f 100644
--- a/docs/development/current/main/30-Backlog.md
+++ b/docs/development/current/main/30-Backlog.md
@@ -16,6 +16,7 @@ Related:
   - P5: Pattern7 SplitScan first-fail（契約違反）を freeze で固定して SSOT 化
   - P6: Pattern6 ScanWithInit first-fail（契約違反）を freeze で固定して SSOT 化
   - P7: Pattern6 reverse scan / MatchScan の near-miss を追加で freeze 固定（負債を先に顕在化）
+  - P8: Pattern6/7 “正常系” を Plan/Frag/compose へ寄せて PASS 固定（freeze を減らす本丸）
 
 - **Phase 288（✅ P0–P3 + 288.1 complete）: REPL mode**
   - 入口: `docs/development/current/main/phases/phase-288/README.md`