diff --git a/src/mir/loop_builder.rs b/src/mir/loop_builder.rs
index c8e2a504..1bbfb892 100644
--- a/src/mir/loop_builder.rs
+++ b/src/mir/loop_builder.rs
@@ -1388,3 +1388,66 @@ impl<'a> LoopFormOps for LoopBuilder<'a> {
         LoopBuilder::get_variable_at_block(self, name, block)
     }
 }
+
+// Phase 26-E-3: PhiBuilderOps 委譲実装（has-a設計）
+//
+// **Design Rationale:**
+// - PhiBuilderOps = 低レベル「PHI命令発行」道具箱
+// - LoopFormOps = 高レベル「ループ構造構築」作業場
+// - 関係: has-a（委譲） - LoopBuilder は両方のインターフェースを提供
+//
+// **実装方針:**
+// - LoopFormOps の既存実装に委譲（重複なし）
+// - HashSet → Vec 変換 + ソート（決定性保証）
+// - emit_phi: block 引数差を吸収（current_block 設定）
+impl<'a> crate::mir::phi_core::phi_builder_box::PhiBuilderOps for LoopBuilder<'a> {
+    fn new_value(&mut self) -> ValueId {
+        // 委譲: LoopFormOps の既存実装を使用
+        <Self as LoopFormOps>::new_value(self)
+    }
+
+    fn emit_phi(
+        &mut self,
+        block: BasicBlockId,
+        dst: ValueId,
+        inputs: Vec<(BasicBlockId, ValueId)>,
+    ) -> Result<(), String> {
+        // PhiBuilderOps: block 引数あり
+        // LoopFormOps: block 引数なし（current_block 使用）
+        // 差を吸収: current_block を設定してから LoopFormOps::emit_phi を呼ぶ
+        <Self as LoopFormOps>::set_current_block(self, block)?;
+        <Self as LoopFormOps>::emit_phi(self, dst, inputs)
+    }
+
+    fn update_var(&mut self, name: String, value: ValueId) {
+        // 委譲: LoopFormOps の既存実装を使用
+        <Self as LoopFormOps>::update_var(self, name, value)
+    }
+
+    fn get_block_predecessors(&self, block: BasicBlockId) -> Vec<BasicBlockId> {
+        // LoopFormOps: HashSet<BasicBlockId> 返却
+        // PhiBuilderOps: Vec<BasicBlockId> 返却
+        // 変換: HashSet → Vec + ソート（決定性保証）
+        let pred_set = <Self as LoopFormOps>::get_block_predecessors(self, block);
+        let mut pred_vec: Vec<BasicBlockId> = pred_set.into_iter().collect();
+        pred_vec.sort_by_key(|bb| bb.0); // bb.0 = BasicBlockId の内部値
+        pred_vec
+    }
+
+    fn emit_void(&mut self) -> ValueId {
+        // void 定数を発行
+        let void_id = <Self as LoopFormOps>::new_value(self);
+        let _ = self.emit_const(void_id, ConstValue::Void);
+        void_id
+    }
+
+    fn set_current_block(&mut self, block: BasicBlockId) -> Result<(), String> {
+        // 委譲: LoopFormOps の既存実装を使用
+        <Self as LoopFormOps>::set_current_block(self, block)
+    }
+
+    fn block_exists(&self, block: BasicBlockId) -> bool {
+        // 委譲: LoopFormOps の既存実装を使用
+        <Self as LoopFormOps>::block_exists(self, block)
+    }
+}
diff --git a/src/mir/phi_core/loopform_builder.rs b/src/mir/phi_core/loopform_builder.rs
index a31cf7dd..4b927159 100644
--- a/src/mir/phi_core/loopform_builder.rs
+++ b/src/mir/phi_core/loopform_builder.rs
@@ -695,6 +695,23 @@ impl LoopFormBuilder {
 /// This trait abstracts the underlying MIR builder operations,
 /// allowing LoopFormBuilder to work with both Rust MIR builder
 /// and selfhost compiler's JSON-based approach.
+/// Phase 26-E-3: LoopFormOps と PhiBuilderOps の関係（委譲設計）
+///
+/// **Design Rationale (ChatGPT + Claude consensus, 2025-11-22):**
+/// - PhiBuilderOps = 低レベル「PHI命令発行」道具箱
+/// - LoopFormOps = 高レベル「ループ構造構築」作業場
+/// - 関係: **has-a（委譲）** ではなく is-a（継承）
+///
+/// **実装方針:**
+/// - LoopFormOps trait: そのまま（継承なし）
+/// - PhiBuilderOps 実装: 必要な型に個別実装
+///   - `impl<'a> PhiBuilderOps for LoopBuilder<'a>` で委譲
+///   - HashSet → Vec 変換 + ソートで決定性保証
+///
+/// **段階的統合:**
+/// 1. If側: PhiBuilderBox 経由（既に完了）
+/// 2. Loop側: LoopFormOps + ExitPhiBuilder/HeaderPhiBuilder（現状維持）
+/// 3. 将来: 必要に応じて LoopBuilder に PhiBuilderOps 実装追加
 pub trait LoopFormOps {
     /// Allocate a new ValueId
     fn new_value(&mut self) -> ValueId;