docs(phase29al): post-phi final form ssot

docs/development/current/main/design/joinir-plan-frag-ssot.md

@@ -201,6 +201,12 @@ MIR → [VM: MirInterpreter]
 
 ---
 
+## 9. 関連ドキュメント（SSOT）
+
+- Post-PHI final form: `docs/development/current/main/design/post-phi-final-form-ssot.md`
+
+---
+
 ## 関連ドキュメント
 
 - **JoinIR Architecture Overview**: [joinir-architecture-overview.md](./joinir-architecture-overview.md) - 全体アーキテクチャのSSOT

docs/development/current/main/design/planfrag-ssot-registry.md

@@ -27,3 +27,4 @@ Scope: JoinIR plan/frag 導線（仕様不変）
 - Plan/Frag overview: `docs/development/current/main/design/edgecfg-fragments.md`
 - Pattern6/7 contracts: `docs/development/current/main/design/pattern6-7-contracts.md`
 - CorePlan Skeleton/Feature model: `docs/development/current/main/design/coreplan-skeleton-feature-model.md`
+- Post-PHI final form SSOT: `docs/development/current/main/design/post-phi-final-form-ssot.md`

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

@@ -18,14 +18,14 @@ Goal: “pattern が重なる/増殖する” を設計で根治し、JoinIR/Pla
 - ねらい: “骨格→特徴→合成” を SSOT として固定し、通らない/危険なパターンも Freeze taxonomy に落とす
 - 成果: `docs/development/current/main/design/coreplan-skeleton-feature-model.md`
 
-## Next (planned)
-
-### P1: post-phi（join 入力の最終表現）SSOT
+## P1: post-phi（join 入力の最終表現）SSOT
 
 - ねらい: join 値の “最終表現” と “局所 verify” の不変条件を SSOT 化する（emit/merge の再解析禁止を強化）
 - 指示書: `docs/development/current/main/phases/phase-29al/P1-POST-PHI-FINAL-FORM-SSOT-INSTRUCTIONS.md`
 - SSOT: `docs/development/current/main/design/post-phi-final-form-ssot.md`
 
+## Next (planned)
+
 ### P2: effect classification SSOT
 
 - ねらい: pure/control/rc/observability などの効果分類と、許される変形（最適化/RC挿入/DCE）を法典化する