diff --git a/tools/smokes/v2/profiles/quick/core/phase2043/mirbuilder_prefer_mirbuilder_if_intint_core_exec_canary_vm.sh b/tools/smokes/v2/profiles/quick/core/phase2043/mirbuilder_prefer_mirbuilder_if_intint_core_exec_canary_vm.sh
new file mode 100644
index 00000000..1e7297c6
--- /dev/null
+++ b/tools/smokes/v2/profiles/quick/core/phase2043/mirbuilder_prefer_mirbuilder_if_intint_core_exec_canary_vm.sh
@@ -0,0 +1,28 @@
+#!/usr/bin/env bash
+set -euo pipefail
+
+SCRIPT_DIR="$(cd "$(dirname "$0")" && pwd)"; if ROOT_GIT=$(git -C "$SCRIPT_DIR" rev-parse --show-toplevel 2>/dev/null); then ROOT="$ROOT_GIT"; else ROOT="$(cd "$SCRIPT_DIR/../../../../../../../../.." && pwd)"; fi
+source "$ROOT/tools/smokes/v2/lib/test_runner.sh"; require_env || exit 2
+
+tmp_prog="/tmp/prog_prefer_mirbuilder_if_intint_$$.json"
+cat >"$tmp_prog" <<'JSON'
+{"version":0,"kind":"Program","body":[
+  {"type":"If","cond":{"type":"Compare","op":"<","lhs":{"type":"Int","value":5},"rhs":{"type":"Int","value":7}},
+    "then":[{"type":"Return","expr":{"type":"Int","value":1}}],
+    "else":[{"type":"Return","expr":{"type":"Int","value":2}}]
+  }
+]}
+JSON
+
+set +e
+HAKO_PREFER_MIRBUILDER=1 HAKO_VERIFY_PRIMARY=core verify_program_via_builder_to_core "$tmp_prog" >/dev/null 2>&1
+rc=$?
+set -e
+rm -f "$tmp_prog" || true
+
+if [ "$rc" -eq 1 ]; then
+  echo "[PASS] mirbuilder_prefer_mirbuilder_if_intint_core_exec_canary_vm"
+  exit 0
+fi
+echo "[FAIL] mirbuilder_prefer_mirbuilder_if_intint_core_exec_canary_vm (rc=$rc, expect 1)" >&2; exit 1
+