diff --git a/src/mir/loop_builder/if_lowering.rs b/src/mir/loop_builder/if_lowering.rs
index f47f9018..8e67422b 100644
--- a/src/mir/loop_builder/if_lowering.rs
+++ b/src/mir/loop_builder/if_lowering.rs
@@ -128,9 +128,7 @@ impl<'a> LoopBuilder<'a> {
                 else_body.as_ref(),
             );
 
-        // Phase 26-E: PhiBuilderBox 統合
-        // Phase 57: PhiMergeOps impl 削除（デッドコード、2025-11-29）
-        //   - PhiBuilderOps に統一され、PhiMergeOps は不要になった
+        // Phase 26-E: PhiBuilderOps trait 実装（箱理論統一）
         struct Ops<'b, 'a>(&'b mut LoopBuilder<'a>);
 
         // Phase 26-E: PhiBuilderOps trait 実装（箱理論統一）
@@ -275,10 +273,6 @@ impl<'a> LoopBuilder<'a> {
 
         let mut ops = Ops(self);
 
-        // Phase 26-F-2: BodyLocalPhiBuilder削除
-        // Phase 35-5: if_body_local_merge.rs削除、PhiBuilderBoxに吸収
-        // 理由: 箱理論による責務分離（ループスコープ分析 vs if-merge専用処理）
-
         // Phase 61-3: JoinIR本番経路（IfInLoopPhiEmitter）
         if joinir_success {
             if let Some(ref joinir_spec) = joinir_phi_spec_opt {