From 0ed670a2c60ca206b122039155f158669e931cfe Mon Sep 17 00:00:00 2001
From: project6-dev <dev@project6.ai>
Date: Wed, 12 Aug 2026 06:22:36 +0000
Subject: [PATCH] fix: prebuilt expects 13 .so (add corex_moe_topk_softmax
 slot)
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

install_prebuilt_corex.sh: 12 → 13 artifacts
patch_ops.sh: remove runtime compile fallback — prebuilt path only

After compiling on real machine, place .so into:
  prebuilt/corex-3.2.3-ivcore10/corex_moe_topk_softmax.so
Then update SHA256SUMS.
---
 qwen3_6_scripts/install_prebuilt_corex.sh | 4 ++--
 qwen3_6_scripts/patch_ops.sh              | 7 -------
 2 files changed, 2 insertions(+), 9 deletions(-)

diff --git a/qwen3_6_scripts/install_prebuilt_corex.sh b/qwen3_6_scripts/install_prebuilt_corex.sh
index aca8052c..9821ce16 100755
--- a/qwen3_6_scripts/install_prebuilt_corex.sh
+++ b/qwen3_6_scripts/install_prebuilt_corex.sh
@@ -16,8 +16,8 @@ MANIFEST=${BUNDLE_DIR}/SHA256SUMS
 }
 
 mapfile -t artifacts < <(awk '{print $2}' "$MANIFEST")
-[[ "${#artifacts[@]}" -eq 12 ]] || {
-    printf 'expected 12 prebuilt CoreX artifacts, found %s\n' \
+[[ "${#artifacts[@]}" -eq 13 ]] || {
+    printf 'expected 13 prebuilt CoreX artifacts, found %s\n' \
         "${#artifacts[@]}" >&2
     exit 2
 }
diff --git a/qwen3_6_scripts/patch_ops.sh b/qwen3_6_scripts/patch_ops.sh
index 8f83b5ec..3f70c7cf 100755
--- a/qwen3_6_scripts/patch_ops.sh
+++ b/qwen3_6_scripts/patch_ops.sh
@@ -143,13 +143,6 @@ install_patch_file \
 build_stage "installing hash-pinned CoreX 3.2.3 extensions"
 bash ./install_prebuilt_corex.sh "${VLLM_ROOT}"
 
-build_stage "compiling CoreX MoE topk+softmax kernel"
-if [[ ! -f "${VLLM_ROOT}/corex_moe_topk_softmax.so" ]]; then
-    bash ./build_corex_moe_topk_softmax.sh "${VLLM_ROOT}" 2>&1 || {
-        printf '[warn] CoreX MoE topk+softmax build failed — will use PyTorch fallback\n' >&2
-    }
-fi
-
 build_stage "installing BI100 runtime modules"
 cp ./bi100_env.py "${VLLM_ROOT}/bi100_env.py"
 cp ./bi100_profile.py "${VLLM_ROOT}/bi100_profile.py"