diff --git a/CURRENT_TASK.md b/CURRENT_TASK.md
index c372d26f..a3a573c6 100644
--- a/CURRENT_TASK.md
+++ b/CURRENT_TASK.md
@@ -280,7 +280,11 @@ LoopScopeShape → CaseAContext::from_scope() → lower_case_a_X_core() → Join
     - Step-3: `convert_joinir_to_mir` を pub(crate) 化、Stage-B 構造テスト2本追加 (commit 1eea4045)
     - Step-4: Phase 32 README / env リファレンスを更新し、Stage‑B の JoinIR 利用範囲（lowering＋Bridgeのみ）と各トグルの役割を明文化
     - Step-5: `NYASH_JOINIR_LOWER_GENERIC=1` 時の Stage‑B lowering/bridge 安定性確認済み（18 tests PASS、ガード追加不要）。Stage‑B 実行は依然として VM Route A
-  - L-2.3 / L-3 / L-4: これから（PHI レガシー削除と「JoinIR→VM/LLVM 前提」ランナー構造への仕上げ）。
+  - L-2.3: **完了（2025-11-26）** — Route A vs Route B の A/B 比較で JoinIR が PHI 問題を設計的に解決していることを実行レベルで実証
+    - 最小ケース `minimal_ssa_skip_ws.hako` で `Main.skip("   abc")` を実行
+    - Route A（VM 直接）: 結果 `0` ❌（PHI バグで値消失）
+    - Route B（JoinIR）: 結果 `Int(3)` ✅（正解）
+  - L-3 / L-4: これから（PHI レガシー削除と「JoinIR→VM/LLVM 前提」ランナー構造への仕上げ）。
 
 ---
 
diff --git a/docs/private b/docs/private
index 186d4c35..93927b86 160000
--- a/docs/private
+++ b/docs/private
@@ -1 +1 @@
-Subproject commit 186d4c35d7bef59d3c088601e3f58574690575c4
+Subproject commit 93927b869abd35acdaa74e79c83049be5a81cae1