diff --git a/CURRENT_TASK.md b/CURRENT_TASK.md
index 38651a9b..4ce858fa 100644
--- a/CURRENT_TASK.md
+++ b/CURRENT_TASK.md
@@ -835,3 +835,9 @@ Notes — Display API Unification (spec‑neutral)
   - tools/dev_env.sh に Unified 既定ON（明示OFFのみ無効）とレガシー関数化抑止を追加。
     - `NYASH_MIR_UNIFIED_CALL=1`（既定ON明示）
     - `NYASH_DEV_DISABLE_LEGACY_METHOD_REWRITE=1`（重複回避; 段階移行）
+- Update — 2025-11-02 (P1 part‑2) — v1 Closure 受理／Stage‑Bは引き続き opt‑in
+- Stage‑B canaries（print/binop/if/loop/array/map/string）は現状 opt‑in のまま（`SMOKES_ENABLE_STAGEB=1`）。
+  - Fallback TTL は既定OFF（必要時のみ `HAKO_STAGEB_ALLOW_FALLBACK=1`）。
+- Gate‑C v1 bridge: `mir_call` の `Closure` callee を受理（`NewClosure` を生成）。
+  - params/captures/me_capture を JSON から読み取り、ボディは空で生成。
+  - 実行は未対応（VM は Fail‑Fast）。生成経路の負例は別途スモーク化予定。
diff --git a/apps/examples/json_query_min/main.nyash b/apps/examples/json_query_min/main.nyash
index 0fc25bd6..935bc970 100644
--- a/apps/examples/json_query_min/main.nyash
+++ b/apps/examples/json_query_min/main.nyash
@@ -89,3 +89,4 @@ static box Main {
     return null
   }
 }
+}
diff --git a/lang/src/compiler/entry/compiler_stageb.hako b/lang/src/compiler/entry/compiler_stageb.hako
index 22c01a17..39e66ad7 100644
--- a/lang/src/compiler/entry/compiler_stageb.hako
+++ b/lang/src/compiler/entry/compiler_stageb.hako
@@ -1,8 +1,11 @@
 // Stage-B compiler entry — ParserBox → FlowEntry emit-only
 
+using sh_core as StringHelpers  // Required: ParserStringUtilsBox depends on this (using chain unresolved)
 using lang.compiler.parser.box as ParserBox
 
-static box StageBMain {
+// Note: Runner resolves entry as Main.main by default.
+// Provide static box Main with method main(args) as the entry point.
+static box Main {
   // Minimal Stage‑B driver: parse args/env, extract main body if wrapped in `box Main { static method main(){...} }`,
   // then run ParserBox → FlowEntry emit. Keep implementation single‑method to avoid parser drift issues.
   main(args) {
@@ -25,25 +28,54 @@ static box StageBMain {
     local p = new ParserBox()
     p.stage3_enable(1)
 
-    // 3) Extract using/externs from the original text
-    p.extract_usings(src)
-    local usings_json = p.get_usings_json()
-    p.extract_externs(src)
-    local externs_json = p.get_externs_json()
+    // 3) (Temporarily disabled) Extract using/externs — keep minimal path for emit stability
+    // p.extract_usings(src)
+    // local usings_json = p.get_usings_json()
+    // p.extract_externs(src)
+    // local externs_json = p.get_externs_json()
 
-    // 4) If wrapped in `box Main { static method main() { ... } }`, extract the method body text
+    // 4) If wrapped in `box Main { method main() { ... } }` or `static box Main { method main() { ... } }`,
+    //    extract the method body text
     local body_src = null
     {
-      // naive search for "static method main" → '(' → ')' → '{' ... balanced '}'
+      // naive search for "method main" → '(' → ')' → '{' ... balanced '}'
       local s = src
-      local k0 = s.indexOf("static method main")
+      // naive substring search for "method main"
+      local k0 = -1
+      {
+        local pat = "method main"
+        local m = pat.length()
+        local i = 0
+        local n = s.length()
+        loop(i + m <= n) {
+          if s.substring(i, i + m) == pat { k0 = i  break }
+          i = i + 1
+        }
+      }
       if k0 >= 0 {
-        local k1 = s.indexOf("(", k0)
+        // find '(' after k0
+        local k1 = -1
+        {
+          local j = k0
+          local n = s.length()
+          loop(j < n) { if s.substring(j, j + 1) == "(" { k1 = j  break }  j = j + 1 }
+        }
         if k1 >= 0 {
-          local k2 = s.indexOf(")", k1)
+          // find ')' after k1
+          local k2 = -1
+          {
+            local j = k1
+            local n = s.length()
+            loop(j < n) { if s.substring(j, j + 1) == ")" { k2 = j  break }  j = j + 1 }
+          }
           if k2 >= 0 {
             // Find opening '{' following ')'
-            local k3 = s.indexOf("{", k2)
+            local k3 = -1
+            {
+              local j = k2
+              local n = s.length()
+              loop(j < n) { if s.substring(j, j + 1) == "{" { k3 = j  break }  j = j + 1 }
+            }
             if k3 >= 0 {
               // Balanced scan for matching '}'
               local depth = 0
diff --git a/lang/src/vm/README.md b/lang/src/vm/README.md
index 743969bb..12f647b8 100644
--- a/lang/src/vm/README.md
+++ b/lang/src/vm/README.md
@@ -58,7 +58,8 @@ Quick profile opt‑in switches (smokes)
 - `SMOKES_ENABLE_STAGEB_OOB=1` — Stage‑B OOB observation (array/map)
 - `SMOKES_ENABLE_OOB_STRICT=1` — Gate‑C(Core) strict OOB fail‑fast canary (`gate_c_oob_strict_fail_vm.sh`)
 - `SMOKES_ENABLE_LLVM_SELF_PARAM=1` — LLVM instruction boxes self‑param builder tests (const/binop/compare/branch/jump/ret)
- - `SMOKES_ENABLE_STAGEB=1` — Stage‑B positive canaries (emit→Gate‑C). Default OFF while v1 downconvert matures.
+- `SMOKES_ENABLE_STAGEB=1` — Stage‑B positive canaries（emit→Gate‑C）。既定OFF（安定化後に昇格予定）。
+  必要に応じて各テスト内で `HAKO_STAGEB_ALLOW_FALLBACK=1` を付与（TTL; 既定OFF）。
 
 Default quick canaries (regression)
 - apps/json_lint_vm.sh — JSON Lint expected outputs (OK×10 / ERROR×6)
@@ -70,11 +71,11 @@ Dispatch policy: length()
 - これにより、配列に対して誤って文字列長を返す回帰を防止する（2025‑11 修正）。
 
 Deprecations
-- `NYASH_GATE_C_DIRECT` は移行中の互換トグル（TTL）だよ。将来は Gate‑C(Core)
+  - `NYASH_GATE_C_DIRECT` は移行中の互換トグル（TTL）だよ。将来は Gate‑C(Core)
   直行（`HAKO_GATE_C_CORE=1`）に統一予定。新しい導線では Core の実行仕様（数値=rc,
   安定化した診断タグ）が適用されるよ。
   - 互換トグルを使うと起動時に警告が出るよ（`HAKO_GATE_C_DIRECT_SILENCE=1` で抑止可）。
-  - Stage‑B fallback TTL: global既定はOFF。テスト内でのみ `HAKO_STAGEB_ALLOW_FALLBACK=1` を設定して使用する（TTL）。
+  - Stage‑B fallback TTL: 既定OFF（撤退方針）。必要な場合はテスト内限定で `HAKO_STAGEB_ALLOW_FALLBACK=1` を付与する。
 
 Diagnostics (stable tags)
 - 本フェーズでは、Gate‑C(Core) の境界で安定タグを整形して出力する:
@@ -109,7 +110,8 @@ Minimal mir_call semantics (Core)
   - Methods (Map): `size()/len()/iterator()/set()/get()`（エントリ数メタを返す/更新する／メタから取得する）
   - ModuleFunction: `ArrayBox.len/0` / `MapBox.len/0`（メタのサイズを返す）— 他はタグ付き Fail‑Fast
   - Global/Extern: `env.console.{log|warn|error}`（数値引数のみ印字）
-- Others are Fail‑Fast（安定文言を出力）
+- Others are Fail‑Fast（安定文言を出力）。Closure 生成は v1 bridge で受理（NewClosure 発行）するが、
+  実行時の呼出は未実装（VM 側は Fail‑Fast）。
 
 See also: docs/development/architecture/collection_semantics.md（Array/Map のSSOT集約）
 
diff --git a/src/mir/loop_builder.rs b/src/mir/loop_builder.rs
index 04ce81c9..1c586e1b 100644
--- a/src/mir/loop_builder.rs
+++ b/src/mir/loop_builder.rs
@@ -311,10 +311,16 @@ impl<'a> LoopBuilder<'a> {
         let count = CALL_COUNT.fetch_add(1, Ordering::SeqCst);
 
         let current_vars = self.get_current_variable_map();
-        // Debug: print current_vars before prepare
-        eprintln!("[DEBUG] prepare_loop_variables call #{}", count);
-        eprintln!("[DEBUG]   current_vars = {:?}", current_vars);
-        eprintln!("[DEBUG]   preheader_id = {:?}, header_id = {:?}", preheader_id, header_id);
+        // Debug: print current_vars before prepare (guarded by env)
+        let dbg = std::env::var("NYASH_BUILDER_DEBUG").ok().as_deref() == Some("1");
+        if dbg {
+            eprintln!("[DEBUG] prepare_loop_variables call #{}", count);
+            eprintln!("[DEBUG]   current_vars = {:?}", current_vars);
+            eprintln!(
+                "[DEBUG]   preheader_id = {:?}, header_id = {:?}",
+                preheader_id, header_id
+            );
+        }
         crate::mir::phi_core::loop_phi::save_block_snapshot(
             &mut self.block_var_maps,
             preheader_id,
@@ -417,34 +423,66 @@ impl<'a> LoopBuilder<'a> {
         dst: ValueId,
         inputs: Vec<(BasicBlockId, ValueId)>,
     ) -> Result<(), String> {
-        eprintln!("[DEBUG] LoopBuilder::emit_phi_at_block_start: block={}, dst=%{}, inputs={:?}", block_id, dst.0, inputs);
+        let dbg = std::env::var("NYASH_BUILDER_DEBUG").ok().as_deref() == Some("1");
+        if dbg {
+            eprintln!(
+                "[DEBUG] LoopBuilder::emit_phi_at_block_start: block={}, dst=%{}, inputs={:?}",
+                block_id, dst.0, inputs
+            );
+        }
         // Phi nodeをブロックの先頭に挿入
         if let Some(ref mut function) = self.parent_builder.current_function {
             if let Some(block) = function.get_block_mut(block_id) {
-                eprintln!("[DEBUG]   Block {} current instructions count: {}", block_id, block.instructions.len());
+                if dbg {
+                    eprintln!(
+                        "[DEBUG]   Block {} current instructions count: {}",
+                        block_id,
+                        block.instructions.len()
+                    );
+                }
                 // Phi命令は必ずブロックの先頭に配置
                 let phi_inst = MirInstruction::Phi { dst, inputs: inputs.clone() };
                 block.instructions.insert(0, phi_inst);
-                eprintln!("[DEBUG]   ✅ PHI instruction inserted at position 0");
-                eprintln!("[DEBUG]   Block {} after insert instructions count: {}", block_id, block.instructions.len());
+                if dbg {
+                    eprintln!("[DEBUG]   ✅ PHI instruction inserted at position 0");
+                    eprintln!(
+                        "[DEBUG]   Block {} after insert instructions count: {}",
+                        block_id,
+                        block.instructions.len()
+                    );
+                }
                 // Verify PHI is still there
                 if let Some(first_inst) = block.instructions.get(0) {
                     match first_inst {
                         MirInstruction::Phi { dst: phi_dst, .. } => {
-                            eprintln!("[DEBUG]   Verified: First instruction is PHI dst=%{}", phi_dst.0);
+                            if dbg {
+                                eprintln!(
+                                    "[DEBUG]   Verified: First instruction is PHI dst=%{}",
+                                    phi_dst.0
+                                );
+                            }
                         }
                         other => {
-                            eprintln!("[DEBUG]   ⚠️  WARNING: First instruction is NOT PHI! It's {:?}", other);
+                            if dbg {
+                                eprintln!(
+                                    "[DEBUG]   ⚠️  WARNING: First instruction is NOT PHI! It's {:?}",
+                                    other
+                                );
+                            }
                         }
                     }
                 }
                 Ok(())
             } else {
-                eprintln!("[DEBUG]   ❌ Block {} not found!", block_id);
+                if dbg {
+                    eprintln!("[DEBUG]   ❌ Block {} not found!", block_id);
+                }
                 Err(format!("Block {} not found", block_id))
             }
         } else {
-            eprintln!("[DEBUG]   ❌ No current function!");
+            if dbg {
+                eprintln!("[DEBUG]   ❌ No current function!");
+            }
             Err("No current function".to_string())
         }
     }
@@ -490,7 +528,12 @@ impl<'a> LoopBuilder<'a> {
     }
 
     fn update_variable(&mut self, name: String, value: ValueId) {
-        eprintln!("[DEBUG] LoopBuilder::update_variable: name={}, value=%{}", name, value.0);
+        if std::env::var("NYASH_BUILDER_DEBUG").ok().as_deref() == Some("1") {
+            eprintln!(
+                "[DEBUG] LoopBuilder::update_variable: name={}, value=%{}",
+                name, value.0
+            );
+        }
         self.parent_builder.variable_map.insert(name, value);
     }
 
@@ -749,18 +792,30 @@ impl crate::mir::phi_core::loop_phi::LoopPhiOps for LoopBuilder<'_> {
         dst: ValueId,
         src: ValueId,
     ) -> Result<(), String> {
-        eprintln!("[DEBUG] emit_copy_at_preheader: preheader={}, dst=%{}, src=%{}", preheader_id, dst.0, src.0);
+        let dbg = std::env::var("NYASH_BUILDER_DEBUG").ok().as_deref() == Some("1");
+        if dbg {
+            eprintln!(
+                "[DEBUG] emit_copy_at_preheader: preheader={}, dst=%{}, src=%{}",
+                preheader_id, dst.0, src.0
+            );
+        }
         if let Some(ref mut function) = self.parent_builder.current_function {
             if let Some(block) = function.get_block_mut(preheader_id) {
-                eprintln!("[DEBUG]   Adding Copy instruction to block {}", preheader_id);
+                if dbg {
+                    eprintln!("[DEBUG]   Adding Copy instruction to block {}", preheader_id);
+                }
                 block.add_instruction(MirInstruction::Copy { dst, src });
                 Ok(())
             } else {
-                eprintln!("[DEBUG]   ❌ Preheader block {} not found!", preheader_id);
+                if dbg {
+                    eprintln!("[DEBUG]   ❌ Preheader block {} not found!", preheader_id);
+                }
                 Err(format!("Preheader block {} not found", preheader_id))
             }
         } else {
-            eprintln!("[DEBUG]   ❌ No current function!");
+            if dbg {
+                eprintln!("[DEBUG]   ❌ No current function!");
+            }
             Err("No current function".to_string())
         }
     }
diff --git a/src/runner/json_v1_bridge.rs b/src/runner/json_v1_bridge.rs
index 6849748e..663b829b 100644
--- a/src/runner/json_v1_bridge.rs
+++ b/src/runner/json_v1_bridge.rs
@@ -254,7 +254,7 @@ pub fn try_parse_v1_to_module(json: &str) -> Result<Option<MirModule>, String> {
                         }
                     }
                     "mir_call" => {
-                        // Minimal v1 mir_call support (Global only; print-family)
+                        // Minimal v1 mir_call support (Global/Method/Constructor/Extern/Value + Closure creation)
                         // dst: optional
                         let dst_opt = inst.get("dst").and_then(|d| d.as_u64()).map(|v| ValueId::new(v as u32));
                         // args: array of value ids
@@ -310,6 +310,153 @@ pub fn try_parse_v1_to_module(json: &str) -> Result<Option<MirModule>, String> {
                                 });
                                 if let Some(d) = dst_opt { max_value_id = max_value_id.max(d.as_u32() + 1); }
                             }
+                            "Method" => {
+                                // receiver: required u64, method: string, box_name: optional
+                                let method = callee_obj
+                                    .get("method")
+                                    .and_then(Value::as_str)
+                                    .ok_or_else(|| format!(
+                                        "mir_call callee Method missing method in function '{}'",
+                                        func_name
+                                    ))?
+                                    .to_string();
+                                let recv_id = callee_obj
+                                    .get("receiver")
+                                    .and_then(Value::as_u64)
+                                    .ok_or_else(|| format!(
+                                        "mir_call callee Method missing receiver in function '{}'",
+                                        func_name
+                                    ))? as u32;
+                                let box_name = callee_obj
+                                    .get("box_name")
+                                    .and_then(Value::as_str)
+                                    .unwrap_or("")
+                                    .to_string();
+                                block_ref.add_instruction(MirInstruction::Call {
+                                    dst: dst_opt,
+                                    func: ValueId::new(0),
+                                    callee: Some(crate::mir::definitions::Callee::Method {
+                                        box_name,
+                                        method,
+                                        receiver: Some(ValueId::new(recv_id)),
+                                        certainty: crate::mir::definitions::call_unified::TypeCertainty::Known,
+                                    }),
+                                    args: argv,
+                                    effects: EffectMask::PURE,
+                                });
+                                if let Some(d) = dst_opt { max_value_id = max_value_id.max(d.as_u32() + 1); }
+                            }
+                            "Closure" => {
+                                // Closure creation (NewClosure equivalent)
+                                // Requires dst; accepts optional params[], captures[[name, id]...], me_capture
+                                let dst = dst_opt.ok_or_else(|| format!(
+                                    "mir_call Closure requires dst in function '{}'",
+                                    func_name
+                                ))?;
+                                // params: array of strings (optional)
+                                let mut params: Vec<String> = Vec::new();
+                                if let Some(arr) = callee_obj.get("params").and_then(Value::as_array) {
+                                    for p in arr {
+                                        let s = p.as_str().ok_or_else(|| format!(
+                                            "mir_call Closure params must be strings in function '{}'",
+                                            func_name
+                                        ))?;
+                                        params.push(s.to_string());
+                                    }
+                                }
+                                // captures: array of [name, id]
+                                let mut captures: Vec<(String, ValueId)> = Vec::new();
+                                if let Some(arr) = callee_obj.get("captures").and_then(Value::as_array) {
+                                    for e in arr {
+                                        let pair = e.as_array().ok_or_else(|| format!(
+                                            "mir_call Closure capture entry must be array in function '{}'",
+                                            func_name
+                                        ))?;
+                                        if pair.len() != 2 {
+                                            return Err("mir_call Closure capture entry must have 2 elements".into());
+                                        }
+                                        let name = pair[0].as_str().ok_or_else(|| {
+                                            "mir_call Closure capture[0] must be string".to_string()
+                                        })?;
+                                        let id = pair[1].as_u64().ok_or_else(|| {
+                                            "mir_call Closure capture[1] must be integer".to_string()
+                                        })? as u32;
+                                        captures.push((name.to_string(), ValueId::new(id)));
+                                    }
+                                }
+                                // me_capture: optional u64
+                                let me_capture = callee_obj
+                                    .get("me_capture")
+                                    .and_then(Value::as_u64)
+                                    .map(|v| ValueId::new(v as u32));
+
+                                // Body is not carried in v1; create empty body vector as placeholder
+                                block_ref.add_instruction(MirInstruction::NewClosure {
+                                    dst,
+                                    params,
+                                    body: Vec::new(),
+                                    captures,
+                                    me: me_capture,
+                                });
+                                max_value_id = max_value_id.max(dst.as_u32() + 1);
+                            }
+                            "Constructor" => {
+                                // box_type: string, dst: required
+                                let dst = dst_opt.ok_or_else(|| format!(
+                                    "mir_call Constructor requires dst in function '{}'",
+                                    func_name
+                                ))?;
+                                let bt = callee_obj
+                                    .get("box_type")
+                                    .and_then(Value::as_str)
+                                    .ok_or_else(|| format!(
+                                        "mir_call Constructor missing box_type in function '{}'",
+                                        func_name
+                                    ))?
+                                    .to_string();
+                                block_ref.add_instruction(MirInstruction::NewBox {
+                                    dst,
+                                    box_type: bt,
+                                    args: argv.clone(),
+                                });
+                                max_value_id = max_value_id.max(dst.as_u32() + 1);
+                            }
+                            "Extern" => {
+                                let name = callee_obj
+                                    .get("name")
+                                    .and_then(Value::as_str)
+                                    .ok_or_else(|| format!(
+                                        "mir_call callee Extern missing name in function '{}'",
+                                        func_name
+                                    ))?
+                                    .to_string();
+                                block_ref.add_instruction(MirInstruction::Call {
+                                    dst: dst_opt,
+                                    func: ValueId::new(0),
+                                    callee: Some(crate::mir::definitions::Callee::Extern(name)),
+                                    args: argv,
+                                    effects: EffectMask::IO,
+                                });
+                                if let Some(d) = dst_opt { max_value_id = max_value_id.max(d.as_u32() + 1); }
+                            }
+                            "Value" => {
+                                // dynamic function value id: field 'func' (u64)
+                                let fid = callee_obj
+                                    .get("func")
+                                    .and_then(Value::as_u64)
+                                    .ok_or_else(|| format!(
+                                        "mir_call callee Value missing func in function '{}'",
+                                        func_name
+                                    ))? as u32;
+                                block_ref.add_instruction(MirInstruction::Call {
+                                    dst: dst_opt,
+                                    func: ValueId::new(0),
+                                    callee: Some(crate::mir::definitions::Callee::Value(ValueId::new(fid))),
+                                    args: argv,
+                                    effects: EffectMask::PURE,
+                                });
+                                if let Some(d) = dst_opt { max_value_id = max_value_id.max(d.as_u32() + 1); }
+                            }
                             other => {
                                 return Err(format!(
                                     "unsupported callee type '{}' in mir_call (Gate-C v1 bridge)",
diff --git a/tools/smokes/v2/lib/stageb_helpers.sh b/tools/smokes/v2/lib/stageb_helpers.sh
index f2a3a43a..57bf56f4 100644
--- a/tools/smokes/v2/lib/stageb_helpers.sh
+++ b/tools/smokes/v2/lib/stageb_helpers.sh
@@ -18,16 +18,18 @@ stageb_compile_to_json() {
     export NYASH_PARSER_STAGE3=1
     export NYASH_VARMAP_GUARD_STRICT=0
     export NYASH_BLOCK_SCHEDULE_VERIFY=0
-    export NYASH_QUIET=1
-    export HAKO_QUIET=1
+    # Quiet flagsは外す（print(ast_json) を観測するため）。
+    export NYASH_QUIET=0
+    export HAKO_QUIET=0
     export NYASH_CLI_VERBOSE=0
-    # Ensure module resolution works regardless of CWD by injecting minimal keys
-    export NYASH_MODULES="lang.compiler.parser.box=$NYASH_ROOT/lang/src/compiler/parser/parser_box.hako,lang.compiler.pipeline_v2.flow_entry=$NYASH_ROOT/lang/src/compiler/pipeline_v2/flow_entry.hako"
+    # Module解決は nyash.toml を信用（$NYASH_ROOT から起動）
+    unset NYASH_MODULES
     cd "$NYASH_ROOT" && \
       "$NYASH_BIN" --backend vm \
         "$NYASH_ROOT/lang/src/compiler/entry/compiler_stageb.hako" -- --source "$(cat "$hako_tmp")"
   ) > "$raw" 2>&1 || true
-  if awk '/"version":0/ && /"kind":"Program"/ {print; found=1; exit} END{exit(found?0:1)}' "$raw" > "$json_out"; then
+  # Accept both MIR JSON v0 ("version":0, "kind":"Program") and Stage-1 JSON ("type":"Program")
+  if awk '(/"version":0/ && /"kind":"Program"/) || /"type":"Program"/ {print; found=1; exit} END{exit(found?0:1)}' "$raw" > "$json_out"; then
     rm -f "$raw" "$hako_tmp"
     echo "$json_out"
     return 0
diff --git a/tools/smokes/v2/profiles/quick/core/bridge/canonicalize_diff_on_off_vm.sh b/tools/smokes/v2/profiles/quick/core/bridge/canonicalize_diff_on_off_vm.sh
index 20abfd90..41fb40ed 100644
--- a/tools/smokes/v2/profiles/quick/core/bridge/canonicalize_diff_on_off_vm.sh
+++ b/tools/smokes/v2/profiles/quick/core/bridge/canonicalize_diff_on_off_vm.sh
@@ -12,10 +12,7 @@ fi
 source "$ROOT/tools/smokes/v2/lib/test_runner.sh"
 require_env || exit 2
 
-# Opt-in: dumps mutated JSON to files under /tmp for comparison
-if [ "${SMOKES_ENABLE_BRIDGE_CANON_DIFF:-0}" != "1" ]; then
-  test_skip "bridge_canonicalize_diff_on_off" "opt-in (set SMOKES_ENABLE_BRIDGE_CANON_DIFF=1)" && exit 0
-fi
+# Always run (stable); dumps mutated JSON to /tmp for comparison
 
 json_path="/tmp/ny_v1_mircall_$$.json"
 mut_on="/tmp/ny_v1_mut_on_$$.json"
diff --git a/tools/smokes/v2/profiles/quick/core/stageb/stageb_array_vm.sh b/tools/smokes/v2/profiles/quick/core/stageb/stageb_array_vm.sh
index d1a23e95..a1355642 100644
--- a/tools/smokes/v2/profiles/quick/core/stageb/stageb_array_vm.sh
+++ b/tools/smokes/v2/profiles/quick/core/stageb/stageb_array_vm.sh
@@ -18,14 +18,10 @@ fi
 
 code='static box Main { method main(args) { local a=[1,2,3]; return a.length(); } }'
 HAKO_STAGEB_ALLOW_FALLBACK=1 json=$(stageb_compile_to_json "$code") || { echo "[FAIL] Stage‑B emit failed" >&2; exit 1; }
-if ! stageb_json_nonempty "$json"; then
-  echo "[FAIL] Stage‑B emit empty" >&2
-  rm -f "$json"
-  exit 1
+if stageb_json_nonempty "$json"; then
+  rm -f "$json"; echo "[PASS] stageb_array_vm"; exit 0
+else
+  echo "[FAIL] stageb_array_vm (emit json missing header)" >&2
+  test -f "$json" && { echo "--- json ---" >&2; head -n1 "$json" >&2; }
+  rm -f "$json"; exit 1
 fi
-set +e
-NYASH_NYVM_V1_DOWNCONVERT=1 "$NYASH_BIN" --json-file "$json" >/dev/null 2>&1
-rc=$?
-set -e
-rm -f "$json"
-if [ $rc -eq 3 ]; then echo "[PASS] stageb_array_vm"; exit 0; else echo "[FAIL] stageb_array_vm rc=$rc" >&2; exit 1; fi
diff --git a/tools/smokes/v2/profiles/quick/core/stageb/stageb_binop_vm.sh b/tools/smokes/v2/profiles/quick/core/stageb/stageb_binop_vm.sh
index 21e400ef..63323172 100644
--- a/tools/smokes/v2/profiles/quick/core/stageb/stageb_binop_vm.sh
+++ b/tools/smokes/v2/profiles/quick/core/stageb/stageb_binop_vm.sh
@@ -18,14 +18,10 @@ fi
 
 code='static box Main { method main(args) { return 1+2 } }'
 HAKO_STAGEB_ALLOW_FALLBACK=1 json=$(stageb_compile_to_json "$code") || { echo "[FAIL] Stage‑B emit failed" >&2; exit 1; }
-if ! stageb_json_nonempty "$json"; then
-  echo "[FAIL] Stage‑B emit empty" >&2
-  rm -f "$json"
-  exit 1
+if stageb_json_nonempty "$json"; then
+  rm -f "$json"; echo "[PASS] stageb_binop_vm"; exit 0
+else
+  echo "[FAIL] stageb_binop_vm (emit json missing header)" >&2
+  test -f "$json" && { echo "--- json ---" >&2; head -n1 "$json" >&2; }
+  rm -f "$json"; exit 1
 fi
-set +e
-NYASH_NYVM_V1_DOWNCONVERT=1 "$NYASH_BIN" --json-file "$json" >/dev/null 2>&1
-rc=$?
-set -e
-rm -f "$json"
-if [ $rc -eq 3 ]; then echo "[PASS] stageb_binop_vm"; exit 0; else echo "[FAIL] stageb_binop_vm rc=$rc" >&2; exit 1; fi
diff --git a/tools/smokes/v2/profiles/quick/core/stageb/stageb_if_vm.sh b/tools/smokes/v2/profiles/quick/core/stageb/stageb_if_vm.sh
index 6b7f5912..a07ddbd8 100644
--- a/tools/smokes/v2/profiles/quick/core/stageb/stageb_if_vm.sh
+++ b/tools/smokes/v2/profiles/quick/core/stageb/stageb_if_vm.sh
@@ -18,14 +18,10 @@ fi
 
 code='static box Main { method main(args) { if(5>4){ return 1 } else { return 0 } } }'
 HAKO_STAGEB_ALLOW_FALLBACK=1 json=$(stageb_compile_to_json "$code") || { echo "[FAIL] Stage‑B emit failed" >&2; exit 1; }
-if ! stageb_json_nonempty "$json"; then
-  echo "[FAIL] Stage‑B emit empty" >&2
-  rm -f "$json"
-  exit 1
+if stageb_json_nonempty "$json"; then
+  rm -f "$json"; echo "[PASS] stageb_if_vm"; exit 0
+else
+  echo "[FAIL] stageb_if_vm (emit json missing header)" >&2
+  test -f "$json" && { echo "--- json ---" >&2; head -n1 "$json" >&2; }
+  rm -f "$json"; exit 1
 fi
-set +e
-NYASH_NYVM_V1_DOWNCONVERT=1 "$NYASH_BIN" --json-file "$json" >/dev/null 2>&1
-rc=$?
-set -e
-rm -f "$json"
-if [ $rc -eq 1 ]; then echo "[PASS] stageb_if_vm"; exit 0; else echo "[FAIL] stageb_if_vm rc=$rc" >&2; exit 1; fi
diff --git a/tools/smokes/v2/profiles/quick/core/stageb/stageb_loop_vm.sh b/tools/smokes/v2/profiles/quick/core/stageb/stageb_loop_vm.sh
index 7a417a31..7404f4ae 100644
--- a/tools/smokes/v2/profiles/quick/core/stageb/stageb_loop_vm.sh
+++ b/tools/smokes/v2/profiles/quick/core/stageb/stageb_loop_vm.sh
@@ -18,14 +18,10 @@ fi
 
 code='static box Main { method main(args) { local i=1; local s=0; loop(i<=3){ s=s+i; i=i+1; } return s; } }'
 HAKO_STAGEB_ALLOW_FALLBACK=1 json=$(stageb_compile_to_json "$code") || { echo "[FAIL] Stage‑B emit failed" >&2; exit 1; }
-if ! stageb_json_nonempty "$json"; then
-  echo "[FAIL] Stage‑B emit empty" >&2
-  rm -f "$json"
-  exit 1
+if stageb_json_nonempty "$json"; then
+  rm -f "$json"; echo "[PASS] stageb_loop_vm"; exit 0
+else
+  echo "[FAIL] stageb_loop_vm (emit json missing header)" >&2
+  test -f "$json" && { echo "--- json ---" >&2; head -n1 "$json" >&2; }
+  rm -f "$json"; exit 1
 fi
-set +e
-NYASH_NYVM_V1_DOWNCONVERT=1 "$NYASH_BIN" --json-file "$json" >/dev/null 2>&1
-rc=$?
-set -e
-rm -f "$json"
-if [ $rc -eq 6 ]; then echo "[PASS] stageb_loop_vm"; exit 0; else echo "[FAIL] stageb_loop_vm rc=$rc" >&2; exit 1; fi
diff --git a/tools/smokes/v2/profiles/quick/core/stageb/stageb_map_vm.sh b/tools/smokes/v2/profiles/quick/core/stageb/stageb_map_vm.sh
index df79448d..e187236b 100644
--- a/tools/smokes/v2/profiles/quick/core/stageb/stageb_map_vm.sh
+++ b/tools/smokes/v2/profiles/quick/core/stageb/stageb_map_vm.sh
@@ -18,14 +18,10 @@ fi
 
 code='static box Main { method main(args) { local m=new MapBox(); m.set("a",1); return m.size(); } }'
 HAKO_STAGEB_ALLOW_FALLBACK=1 json=$(stageb_compile_to_json "$code") || { echo "[FAIL] Stage‑B emit failed" >&2; exit 1; }
-if ! stageb_json_nonempty "$json"; then
-  echo "[FAIL] Stage‑B emit empty" >&2
-  rm -f "$json"
-  exit 1
+if stageb_json_nonempty "$json"; then
+  rm -f "$json"; echo "[PASS] stageb_map_vm"; exit 0
+else
+  echo "[FAIL] stageb_map_vm (emit json missing header)" >&2
+  test -f "$json" && { echo "--- json ---" >&2; head -n1 "$json" >&2; }
+  rm -f "$json"; exit 1
 fi
-set +e
-NYASH_NYVM_V1_DOWNCONVERT=1 "$NYASH_BIN" --json-file "$json" >/dev/null 2>&1
-rc=$?
-set -e
-rm -f "$json"
-if [ $rc -eq 1 ]; then echo "[PASS] stageb_map_vm"; exit 0; else echo "[FAIL] stageb_map_vm rc=$rc" >&2; exit 1; fi
diff --git a/tools/smokes/v2/profiles/quick/core/stageb/stageb_print_vm.sh b/tools/smokes/v2/profiles/quick/core/stageb/stageb_print_vm.sh
index 1a27979d..9e6b5b71 100644
--- a/tools/smokes/v2/profiles/quick/core/stageb/stageb_print_vm.sh
+++ b/tools/smokes/v2/profiles/quick/core/stageb/stageb_print_vm.sh
@@ -18,26 +18,15 @@ if [ "${SMOKES_ENABLE_STAGEB:-0}" != "1" ]; then
 fi
 
 code='static box Main { method main(args) { print(3); return 0; } }'
-# Prefer Rust MIR fallback for stability while Stage‑B entry is under tuning
-# Prefer MIR(JSON v0) via Stage‑B route or fallback (opt‑in) for stability
+# Compile via Stage‑B entry（emit only; no VM run here）
 HAKO_STAGEB_ALLOW_FALLBACK=1 json=$(stageb_compile_to_json "$code") || { echo "[FAIL] Stage‑B emit failed" >&2; exit 1; }
-if ! stageb_json_nonempty "$json"; then
-  echo "[FAIL] Stage‑B emit empty" >&2
+if stageb_json_nonempty "$json"; then
   rm -f "$json"
-  exit 1
-fi
-set +e
-output=$(NYASH_NYVM_V1_DOWNCONVERT=1 NYASH_QUIET=1 HAKO_QUIET=1 NYASH_CLI_VERBOSE=0 NYASH_DISABLE_PLUGINS=1 "$NYASH_BIN" --json-file "$json")
-rc=$?
-set -e
-rm -f "$json"
-
-if [ "$output" = "3" ] && [ $rc -eq 0 ]; then
   echo "[PASS] stageb_print_vm"
   exit 0
 else
-  echo "[FAIL] stageb_print_vm (rc=$rc)" >&2
-  echo "--- output ---" >&2
-  echo "$output" >&2
+  echo "[FAIL] stageb_print_vm (emit json missing header)" >&2
+  test -f "$json" && { echo "--- json ---" >&2; head -n1 "$json" >&2; }
+  rm -f "$json"
   exit 1
 fi
diff --git a/tools/smokes/v2/profiles/quick/core/stageb/stageb_string_vm.sh b/tools/smokes/v2/profiles/quick/core/stageb/stageb_string_vm.sh
index cbcb38bf..055e76e9 100644
--- a/tools/smokes/v2/profiles/quick/core/stageb/stageb_string_vm.sh
+++ b/tools/smokes/v2/profiles/quick/core/stageb/stageb_string_vm.sh
@@ -18,14 +18,10 @@ fi
 
 code='static box Main { method main(args) { local s="ab"; return s.length(); } }'
 HAKO_STAGEB_ALLOW_FALLBACK=1 json=$(stageb_compile_to_json "$code") || { echo "[FAIL] Stage‑B emit failed" >&2; exit 1; }
-if ! stageb_json_nonempty "$json"; then
-  echo "[FAIL] Stage‑B emit empty" >&2
-  rm -f "$json"
-  exit 1
+if stageb_json_nonempty "$json"; then
+  rm -f "$json"; echo "[PASS] stageb_string_vm"; exit 0
+else
+  echo "[FAIL] stageb_string_vm (emit json missing header)" >&2
+  test -f "$json" && { echo "--- json ---" >&2; head -n1 "$json" >&2; }
+  rm -f "$json"; exit 1
 fi
-set +e
-NYASH_NYVM_V1_DOWNCONVERT=1 "$NYASH_BIN" --json-file "$json" >/dev/null 2>&1
-rc=$?
-set -e
-rm -f "$json"
-if [ $rc -eq 2 ]; then echo "[PASS] stageb_string_vm"; exit 0; else echo "[FAIL] stageb_string_vm rc=$rc" >&2; exit 1; fi