diff --git a/src/mir/loop_builder.rs b/src/mir/loop_builder.rs
index 59556ff9..81026d14 100644
--- a/src/mir/loop_builder.rs
+++ b/src/mir/loop_builder.rs
@@ -233,7 +233,8 @@ impl<'a> LoopBuilder<'a> {
             for (name, value) in &current_vars {
                 loop_count += 1;
                 eprintln!("  [{}] {} -> {:?}", loop_count, name, value);
-                let is_param = self.is_parameter(name);
+                // Phase 26-A-4: ValueIdベース判定に変更（名前ベース → 型安全）
+                let is_param = self.is_parameter(*value);
                 eprintln!("    param={}", is_param);
             }
             eprintln!("[loopform] iterated {} times", loop_count);
@@ -1160,28 +1161,23 @@ impl<'a> LoopFormOps for LoopBuilder<'a> {
         }
     }
 
-    fn is_parameter(&self, name: &str) -> bool {
-        // A parameter is a true function parameter that doesn't change across iterations
-        // Pinned receivers (__pin$*$@*) are NOT parameters - they're carriers
-        // because they can be reassigned in the loop body
-
-        // Pinned variables are always carriers (loop-variant)
-        if name.starts_with("__pin$") {
-            return false;
-        }
-
-        // Check if it's the receiver
-        if name == "me" {
-            return true;
-        }
-
-        // Check if it's in the original function parameter names
-        // This is more reliable than checking ValueIds, which can change through copies/PHIs
-        let is_param = self.parent_builder.function_param_names.contains(name);
+    /// Phase 26-A-4: ValueIdベースのパラメータ判定（GUARD Bug Prevention）
+    ///
+    /// 旧実装（名前ベース）の問題点:
+    /// - ValueId(0) を「常に未初期化」と誤判定
+    /// - パラメータ s=ValueId(0) も弾いてしまうGUARDバグ
+    ///
+    /// 新実装（型ベース）の利点:
+    /// - MirValueKindで型安全判定
+    /// - ValueId(0)でもParameter(0)なら正しく判定
+    fn is_parameter(&self, value_id: ValueId) -> bool {
+        // Phase 26-A-4: 型安全なパラメータ判定を使用
+        // parent_builder.is_value_parameter() は Phase 26-A-2 で実装済み
+        let is_param = self.parent_builder.is_value_parameter(value_id);
 
         if std::env::var("NYASH_LOOPFORM_DEBUG").is_ok() {
-            eprintln!("[is_parameter] {} -> {} (param_names = {:?})",
-                     name, is_param, self.parent_builder.function_param_names);
+            eprintln!("[is_parameter] ValueId({}) -> {} (kind = {:?})",
+                     value_id.0, is_param, self.parent_builder.get_value_kind(value_id));
         }
 
         is_param
diff --git a/src/mir/phi_core/loopform_builder.rs b/src/mir/phi_core/loopform_builder.rs
index 21b934ad..7da0710f 100644
--- a/src/mir/phi_core/loopform_builder.rs
+++ b/src/mir/phi_core/loopform_builder.rs
@@ -139,7 +139,8 @@ impl LoopFormBuilder {
 
         // Separate variables into carriers and pinned based on parameter status
         for (name, &value) in current_vars.iter() {
-            if ops.is_parameter(name) {
+            // Phase 26-A-4: ValueIdベース判定に変更（名前ベース → 型安全）
+            if ops.is_parameter(value) {
                 // Pinned variable (parameter, not modified in loop)
                 let pinned = PinnedVariable {
                     name: name.clone(),
@@ -531,8 +532,11 @@ pub trait LoopFormOps {
     /// Used to validate exit PHI inputs against actual control flow.
     fn get_block_predecessors(&self, block: BasicBlockId) -> std::collections::HashSet<BasicBlockId>;
 
-    /// Check if a variable is a function parameter
-    fn is_parameter(&self, name: &str) -> bool;
+    /// Phase 26-A-4: ValueIdベースのパラメータ判定（型安全化）
+    ///
+    /// 旧実装（名前ベース）から新実装（ValueIdベース）に変更。
+    /// MirValueKindによる型安全判定で、GUARDバグを根絶。
+    fn is_parameter(&self, value_id: ValueId) -> bool;
 
     /// Set current block for instruction emission
     fn set_current_block(&mut self, block: BasicBlockId) -> Result<(), String>;
@@ -686,8 +690,12 @@ mod tests {
                 std::collections::HashSet::new()
             }
 
-            fn is_parameter(&self, name: &str) -> bool {
-                self.params.iter().any(|p| p == name)
+            /// Phase 26-A-4: ValueIdベースのパラメータ判定（Mock版）
+            ///
+            /// テストモックでは、最初のN個のValueId（N=params.len()）をパラメータとする。
+            /// これは標準的な規約（%0, %1, ... がパラメータ）に従う。
+            fn is_parameter(&self, value_id: ValueId) -> bool {
+                value_id.0 < self.params.len() as u32
             }
 
             fn set_current_block(&mut self, _block: BasicBlockId) -> Result<(), String> {
@@ -836,8 +844,9 @@ mod tests {
                 std::collections::HashSet::new()
             }
 
-            fn is_parameter(&self, _name: &str) -> bool {
-                false
+            /// Phase 26-A-4: ValueIdベースのパラメータ判定（Mock版・パラメータなし）
+            fn is_parameter(&self, _value_id: ValueId) -> bool {
+                false // このテストにはパラメータなし
             }
 
             fn set_current_block(&mut self, _block: BasicBlockId) -> Result<(), String> {
diff --git a/src/runner/json_v0_bridge/lowering/loop_.rs b/src/runner/json_v0_bridge/lowering/loop_.rs
index fb60bc29..5fd43941 100644
--- a/src/runner/json_v0_bridge/lowering/loop_.rs
+++ b/src/runner/json_v0_bridge/lowering/loop_.rs
@@ -89,14 +89,25 @@ impl LoopFormOps for LoopFormJsonOps<'_> {
             .unwrap_or_default()
     }
 
-    fn is_parameter(&self, name: &str) -> bool {
+    /// Phase 26-A-4: ValueIdベースのパラメータ判定（JSON bridge版）
+    ///
+    /// JSON bridge は MirBuilder の value_kinds にアクセスできないため、
+    /// 逆引きして変数名を取得し、既存のヒューリスティックを適用する。
+    fn is_parameter(&self, value_id: ValueId) -> bool {
+        // Phase 26-A-4: ValueId から変数名を逆引き
+        // vars マップを逆引きして変数名を取得
+        let name = self.vars.iter()
+            .find(|(_, &v)| v == value_id)
+            .map(|(n, _)| n.as_str());
+
+        // 変数名が見つかった場合、既存のヒューリスティックを適用
         // JSON bridge ではパラメータ名の SSOT は FunctionDefBuilder 側にある。
         // ここでは「典型的な受け口」だけを pinned 候補とし、それ以外は
         // carrier として扱う（ループ意味論上は安全）。
         //
         // - CLI entry: args
         // - インスタンスメソッド receiver: me
-        matches!(name, "me" | "args")
+        name.map(|n| matches!(n, "me" | "args")).unwrap_or(false)
     }
 
     fn set_current_block(&mut self, block: BasicBlockId) -> Result<(), String> {