From 752bde0187595d8987bb15b103b154df5b8e3c8c Mon Sep 17 00:00:00 2001
From: Ludvig Liljenberg <4257730+ludfjig@users.noreply.github.com>
Date: Wed, 16 Sep 2026 16:04:18 -0700
Subject: [PATCH] Rename Hyperlight Wasm Pulley JCO runtime

Signed-off-by: Ludvig Liljenberg <4257730+ludfjig@users.noreply.github.com>
---
 crates/server/src/main.rs | 7 ++++---
 shared/catalog.ts         | 2 +-
 2 files changed, 5 insertions(+), 4 deletions(-)

diff --git a/crates/server/src/main.rs b/crates/server/src/main.rs
index 8a4b042..2d05227 100644
--- a/crates/server/src/main.rs
+++ b/crates/server/src/main.rs
@@ -336,7 +336,8 @@ enum Runtime {
     HyperlightDummy,
     #[value(name = "hyperlight-wasm-jco")]
     HyperlightWASMJco,
-    HyperlightWASMPulley,
+    #[value(name = "hyperlight-wasm-pulley-jco")]
+    HyperlightWASMPulleyJco,
     HyperlightWASMPulleyQjs,
     HyperlightWASMPulleyDummy,
     HyperlightWASMQjs,
@@ -379,7 +380,7 @@ impl Runtime {
             Self::HyperlightWASMJco => hyperlight_wasm(JCO_AOT, JCO_MEMORY),
             Self::HyperlightWASMQjs => hyperlight_wasm(QJS_AOT, QJS_MEMORY),
             Self::HyperlightWASMDummy => hyperlight_wasm(RUST_AOT, RUST_MEMORY),
-            Self::HyperlightWASMPulley => hyperlight_wasm(JCO_PULLEY, JCO_PULLEY_MEMORY),
+            Self::HyperlightWASMPulleyJco => hyperlight_wasm(JCO_PULLEY, JCO_PULLEY_MEMORY),
             Self::HyperlightWASMPulleyQjs => hyperlight_wasm(QJS_PULLEY, QJS_MEMORY),
             Self::HyperlightWASMPulleyDummy => hyperlight_wasm(RUST_PULLEY, RUST_MEMORY),
             Self::HyperlightJS => {
@@ -451,7 +452,7 @@ fn main() -> Result<(), Box<dyn std::error::Error + Send + Sync>> {
     let pool_size = args.pool_size;
     let sandbox_mode = args.strategy;
     let runtime = args.runtime;
-    let is_pulley = matches!(runtime, Runtime::HyperlightWASMPulley | Runtime::HyperlightWASMPulleyQjs | Runtime::HyperlightWASMPulleyDummy);
+    let is_pulley = matches!(runtime, Runtime::HyperlightWASMPulleyJco | Runtime::HyperlightWASMPulleyQjs | Runtime::HyperlightWASMPulleyDummy);
     let is_native_wasm = matches!(runtime, Runtime::HyperlightWASMJco | Runtime::HyperlightWASMQjs | Runtime::HyperlightWASMDummy);
     if (is_pulley && !cfg!(feature = "pulley")) || (is_native_wasm && cfg!(feature = "pulley")) {
         return Err("Hyperlight Wasm runtime does not match this binary's pulley feature".into());
diff --git a/shared/catalog.ts b/shared/catalog.ts
index 32025d5..b6de5b5 100644
--- a/shared/catalog.ts
+++ b/shared/catalog.ts
@@ -5,7 +5,7 @@ const definitions = [
   { id: 'hyperlight-dummy', engine: 'Native', description: 'Minimal native Hyperlight guest.' },
   { id: 'hyperlight-js', engine: 'QuickJS', description: 'Native QuickJS inside Hyperlight.' },
   { id: 'hyperlight-wasm-jco', engine: 'StarlingMonkey', description: 'jco component, native AOT, inside Hyperlight.' },
-  { id: 'hyperlight-wasm-pulley', engine: 'StarlingMonkey', description: 'jco component, Pulley interpreter, inside Hyperlight.' },
+  { id: 'hyperlight-wasm-pulley-jco', engine: 'StarlingMonkey', description: 'jco component, Pulley interpreter, inside Hyperlight.' },
   { id: 'hyperlight-wasm-qjs', engine: 'QuickJS', description: 'QuickJS component, native AOT, inside Hyperlight.' },
   { id: 'hyperlight-wasm-dummy', engine: 'Rust', description: 'Rust Wasm component, native AOT, inside Hyperlight.' },
   { id: 'wasmtime-jco', engine: 'StarlingMonkey', description: 'jco component compiled at context creation.' },