Further clean up for windows

Signed-off-by: James Sturtevant <jsturtevant@gmail.com>

Author: jsturtevant

.copilot/skills/justfile-ci/SKILL.md

@@ -19,7 +19,7 @@ This repo uses a **hierarchical Justfile** structure with a matching **GitHub Ac
 ```
 Justfile (root)                    ← orchestrates everything
 ├── mod wasm 'src/wasm_sandbox/Justfile'
-├── mod jssandbox 'src/javascript_sandbox/Justfile'
+├── mod js 'src/javascript_sandbox/Justfile'
 ├── mod nanvix 'src/nanvix_sandbox/Justfile'
 ├── mod python 'src/sdk/python/Justfile'
 └── mod examples_mod 'examples/Justfile'
@@ -99,3 +99,47 @@ test-rust:
 lint-rust:
     cargo clippy -p hyperlight-sandbox --all-targets --features test-utils -- -D warnings
 ```
+
+## Cross-Platform (Windows/Linux) Patterns
+
+### Windows Shell
+- Add `set windows-shell := ["pwsh", "-NoLogo", "-Command"]` at the top of subproject Justfiles that need Windows support
+- Each recipe line is passed as a `-Command` argument; use `\` line continuations for multi-line PowerShell
+- Do NOT use `#!/usr/bin/env pwsh` shebangs — `just` writes temp files without `.ps1` extension and PowerShell refuses to run them
+
+### Paths on Windows
+- `invocation_directory()` returns MSYS-style paths (`/c/Users/...`) when `just` is invoked with `set windows-shell` it breaks
+- Use `invocation_directory_native()` instead — always returns native OS paths (`C:\Users\...` on Windows, `/home/...` on Linux)
+- No `replace()` needed — PowerShell and cargo handle both `\` and `/`
+- Standard pattern: `repo-root := invocation_directory_native()`
+
+### Environment Variables
+- Use `export WIT_WORLD := ...` instead of `WIT_WORLD=... command` prefix (bash-only syntax)
+- `export` is cross-platform and sets the env var for all recipes automatically
+
+### Platform-Specific Recipes
+- Use `[unix]` and `[windows]` attributes for platform-specific recipe variants
+- Both variants must have the same recipe name; `just` picks the right one automatically
+- Prefix with `_` to hide helper recipes from `just --list`
+
+```just
+[unix]
+_clean-stale:
+    #!/usr/bin/env bash
+    rm -rf some/path
+
+[windows]
+_clean-stale:
+    Remove-Item -Recurse -Force 'some/path' -ErrorAction SilentlyContinue
+```
+
+### Bash → PowerShell Equivalents
+
+| Bash | PowerShell |
+|------|------------|
+| `compgen -G "pattern"` | `Get-ChildItem -Path $dir -Filter 'pattern' -ErrorAction SilentlyContinue` |
+| `[ ! -f path ]` | `-not (Test-Path path)` |
+| `rm -rf path` | `Remove-Item -Recurse -Force path -ErrorAction SilentlyContinue` |
+| `echo "msg"` | `Write-Host 'msg'` |
+| `for x in a b; do ... done` | `foreach ($x in @('a','b')) { ... }` |
+| `command -v tool` | `Get-Command tool -ErrorAction SilentlyContinue` |

.copilot/skills/justfile-ci/references/architecture.md

@@ -4,13 +4,13 @@
 
 | Recipe | Delegates to | Purpose |
 |--------|-------------|---------|
-| `build-all` | `wasm::build`, `jssandbox::build`, `nanvix::build`, `python::build` | Build everything |
+| `build-all` | `wasm::build`, `jss::build`, `nanvix::build`, `python::build` | Build everything |
 | `test` | `test-rust`, `wasm::test`, `python::python-test` | All tests |
 | `test-rust` | (direct cargo) | Core crate unit + integration tests |
-| `lint` | `lint-rust`, `wasm::lint`, `jssandbox::lint`, `python::lint` | All linters |
+| `lint` | `lint-rust`, `wasm::lint`, `js::lint`, `python::lint` | All linters |
 | `fmt` | `fmt-rust`, `python::fmt` | Format all code |
 | `fmt-check` | `fmt-check-rust`, `python::fmt-check` | Check formatting |
-| `examples` | `wasm::examples`, `jssandbox::examples`, `python::examples` | Run all examples |
+| `examples` | `wasm::examples`, `js::examples`, `python::examples` | Run all examples |
 | `fuzz` | `python::python-fuzz` | Python fuzz tests |
 | `benchmark` | `python::python-sandbox-benchmark` | Python benchmark |
 | `clean` | `wasm::clean`, `python::clean` | Clean build artifacts |
@@ -21,7 +21,7 @@
 ci.yml
 ├── rust           — fmt-check-rust, lint-rust, test-rust
 ├── wasm-sandbox   — wasm build, lint, test, examples + python fmt-check/lint/build/examples/python-test/fuzz/benchmark/integration-examples
-├── javascript-sandbox — jssandbox build, lint, test, examples
+├── javascript-sandbox — js build, lint, test, examples
 └── nanvix-sandbox — nanvix build (examples skipped pending upstream)
 ```
 
@@ -34,7 +34,7 @@ ci.yml
 - Recipes: `guest-build`, `js-guest-build`, `build`, `test`, `examples`, `lint`, `clean`
 - `examples` is a flat recipe listing all `cargo run` commands (no per-example sub-recipes)
 
-### jssandbox (`src/javascript_sandbox/Justfile`)
+### js (`src/javascript_sandbox/Justfile`)
 - Needs WIT world from wasm for compilation
 - Recipes: `build`, `test`, `examples`, `lint`
 - `examples` is a flat recipe listing all `cargo run` commands

.github/copilot-instructions.md

@@ -2,7 +2,7 @@
 
 - When running examples in this repository, use the `Justfile` recipes instead of invoking `cargo run` or `python` directly.
 - Use `just examples` from the repository root to run the full example suite.
-- To run examples for a specific sandbox, use module-scoped recipes: `just wasm examples`, `just jssandbox examples`, `just python examples`.
+- To run examples for a specific sandbox, use module-scoped recipes: `just wasm examples`, `just js examples`, `just python examples`.
 - Use `just build-all` from the repository root to build all subprojects and SDKs.
 - Reason: the example commands depend on `WIT_WORLD` being set to `src/wasm_sandbox/wit/sandbox-world.wasm`; the `Justfile` handles that setup.
 

.github/workflows/ci.yml

@@ -103,7 +103,7 @@ jobs:
       # Build JS sandbox first — the Python hyperlight-js backend shares the root
       # workspace target/ and needs hyperlight-js-runtime to be compiled.
       - name: Build JS sandbox
-        run: just jssandbox build
+        run: just js build
 
       - name: Python SDK Format check
         run: just python fmt-check
@@ -137,6 +137,9 @@ jobs:
   python-wheelhouse:
     name: Python SDK wheelhouse test  (${{ matrix.os }})
     runs-on: ${{ matrix.os }}
+    strategy:
+      matrix:
+        os: [ubuntu-latest, windows-latest]
     steps:
       - uses: actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd  # v6.0.2
 
@@ -215,16 +218,16 @@ jobs:
         run: just wasm guest-compile-wit
 
       - name: Build
-        run: just jssandbox build
+        run: just js build
 
       - name: Lint
-        run: just jssandbox lint
+        run: just js lint
 
       - name: Tests
-        run: just jssandbox test
+        run: just js test
 
       - name: Run examples
-        run: just jssandbox examples
+        run: just js examples
 
   nanvix-sandbox:
     name: Nanvix Sandbox · build

Justfile

@@ -1,7 +1,7 @@
 set unstable := true
 
 mod wasm 'src/wasm_sandbox/Justfile'
-mod jssandbox 'src/javascript_sandbox/Justfile'
+mod js 'src/javascript_sandbox/Justfile'
 mod nanvix 'src/nanvix_sandbox/Justfile'
 mod python 'src/sdk/python/Justfile'
 mod examples_mod 'examples/Justfile'
@@ -13,9 +13,9 @@ clean: wasm::clean python::clean
 
 #### BUILD TARGETS ####
 
-build-all target=default-target: (wasm::build target) (jssandbox::build target) nanvix::build python::build
+build-all target=default-target: (wasm::build target) (js::build target) nanvix::build python::build
 
-lint: lint-rust wasm::lint jssandbox::lint python::lint
+lint: lint-rust wasm::lint js::lint python::lint
 
 lint-rust:
     cargo clippy -p hyperlight-sandbox --all-targets --features test-utils -- -D warnings
@@ -41,11 +41,11 @@ test-rust:
 
 benchmark: python::python-sandbox-benchmark
 
-python-dist: (wasm::build "release") (jssandbox::build "release") python::python-dist
+python-dist: (wasm::build "release") (js::build "release") python::python-dist
 
 python-wheelhouse-test: python-dist python::python-wheelhouse-test
 
-examples target=default-target: (wasm::examples target) (jssandbox::examples target) python::examples
+examples target=default-target: (wasm::examples target) (js::examples target) python::examples
 
 integration-examples target=default-target: (wasm::guest-build target) wasm::js-guest-build python::build examples_mod::integration-examples
 
@@ -60,6 +60,7 @@ slides:
 
 ##### Run GitHub Actions CI locally using act (https://nektosact.com) #######
 
+[unix]
 ci job="":
     #!/usr/bin/env bash
     if ! command -v act &>/dev/null; then

examples/Justfile

@@ -1,6 +1,4 @@
-repo-root := replace(invocation_directory(), "\\", "/")
-wit-world := "WIT_WORLD=" + repo-root + "/src/wasm_sandbox/wit/sandbox-world.wasm"
-
+repo-root := invocation_directory_native()
 integration-copilot-sdk-deps:
     uv sync --group copilot-sdk --inexact --no-install-package hyperlight-sandbox-backend-wasm --no-install-package hyperlight-sandbox-backend-hyperlight-js
 
@@ -11,15 +9,15 @@ integration-agent-framework-devui-deps:
     uv sync --group agent-framework-devui
 
 copilot-sdk-example: integration-copilot-sdk-deps
-    {{ wit-world }} uv run python {{repo-root}}/examples/copilot-sdk/copilot_sdk_tools.py
+    uv run python {{repo-root}}/examples/copilot-sdk/copilot_sdk_tools.py
 
 agent-framework-example: integration-agent-framework-deps
-    {{ wit-world }} uv run python {{repo-root}}/examples/agent-framework/copilot_agent.py --no-wait
+    uv run python {{repo-root}}/examples/agent-framework/copilot_agent.py --no-wait
 
 agent-framework-example-interactive: integration-agent-framework-deps
-    {{ wit-world }} uv run python {{repo-root}}/examples/agent-framework/copilot_agent.py --interactive
+    uv run python {{repo-root}}/examples/agent-framework/copilot_agent.py --interactive
 
 agent-framework-example-devui: integration-agent-framework-deps integration-agent-framework-devui-deps
-    {{ wit-world }} uv run python {{repo-root}}/examples/agent-framework/copilot_agent.py --devui
+    uv run python {{repo-root}}/examples/agent-framework/copilot_agent.py --devui
 
 integration-examples: copilot-sdk-example agent-framework-example

src/javascript_sandbox/Justfile

@@ -1,12 +1,13 @@
+set windows-shell := ["pwsh", "-NoLogo", "-Command"]
 default-target := "debug"
-repo-root := replace(invocation_directory(), "\\", "/")
-wit-world := "WIT_WORLD=" + repo-root + "/src/wasm_sandbox/wit/sandbox-world.wasm"
+repo-root := invocation_directory_native()
 
-build target=default-target:
+# If cargo fingerprints exist but the runtime binary is missing, clean stale state
+# to force hyperlight-js's build script to re-run. This can happen when rust-cache
+# restores partial artifacts.
+[unix]
+_clean-stale:
     #!/usr/bin/env bash
-    # If cargo fingerprints exist but the runtime binary is missing, clean stale state
-    # to force hyperlight-js's build script to re-run. This can happen when rust-cache
-    # restores partial artifacts.
     for profile in debug release; do
         if compgen -G "{{repo-root}}/target/$profile/build/hyperlight-js-*" > /dev/null && \
            [ ! -f "{{repo-root}}/target/hyperlight-js-runtime/x86_64-hyperlight-none/$profile/hyperlight-js-runtime" ]; then
@@ -16,19 +17,38 @@ build target=default-target:
                    {{repo-root}}/target/$profile/.fingerprint/hyperlight-js-*
         fi
     done
-    {{ wit-world }} cargo build --manifest-path {{repo-root}}/src/javascript_sandbox/Cargo.toml --profile={{ if target == "debug" {"dev"} else { target } }}
+
+[windows]
+_clean-stale:
+    foreach ($profile in @('debug', 'release')) { \
+        $bp = '{{repo-root}}/target/' + $profile + '/build'; \
+        $rp = '{{repo-root}}/target/hyperlight-js-runtime/x86_64-hyperlight-none/' + $profile + '/hyperlight-js-runtime'; \
+        if ((Get-ChildItem -Path $bp -Filter 'hyperlight-js-*' -ErrorAction SilentlyContinue) -and \
+            -not (Test-Path $rp)) { \
+            Write-Host ('Cleaning stale hyperlight-js ' + $profile + ' build artifacts...'); \
+            Remove-Item -Recurse -Force '{{repo-root}}/target/hyperlight-js-runtime' -ErrorAction SilentlyContinue; \
+            Get-ChildItem -Path $bp -Filter 'hyperlight-js-*' | Remove-Item -Recurse -Force; \
+            $fp = '{{repo-root}}/target/' + $profile + '/.fingerprint'; \
+            if (Test-Path $fp) { \
+                Get-ChildItem -Path $fp -Filter 'hyperlight-js-*' | Remove-Item -Recurse -Force \
+            } \
+        } \
+    }
+
+build target=default-target: _clean-stale
+    cargo build --manifest-path {{repo-root}}/src/javascript_sandbox/Cargo.toml --profile={{ if target == "debug" {"dev"} else { target } }}
 
 #### EXAMPLES ####
 
 examples target=default-target:
-    {{ wit-world }} cargo run --manifest-path {{repo-root}}/src/javascript_sandbox/Cargo.toml --profile={{ if target == "debug" {"dev"} else { target } }} --example basics
-    {{ wit-world }} cargo run --manifest-path {{repo-root}}/src/javascript_sandbox/Cargo.toml --profile={{ if target == "debug" {"dev"} else { target } }} --example network_demo
-    {{ wit-world }} cargo run --manifest-path {{repo-root}}/src/javascript_sandbox/Cargo.toml --profile={{ if target == "debug" {"dev"} else { target } }} --example filesystem_demo
+    cargo run --manifest-path {{repo-root}}/src/javascript_sandbox/Cargo.toml --profile={{ if target == "debug" {"dev"} else { target } }} --example basics
+    cargo run --manifest-path {{repo-root}}/src/javascript_sandbox/Cargo.toml --profile={{ if target == "debug" {"dev"} else { target } }} --example network_demo
+    cargo run --manifest-path {{repo-root}}/src/javascript_sandbox/Cargo.toml --profile={{ if target == "debug" {"dev"} else { target } }} --example filesystem_demo
 
 #### TESTS ####
 
 lint:
-    {{ wit-world }} cargo clippy -p hyperlight-javascript-sandbox --all-targets -- -D warnings
+    cargo clippy -p hyperlight-javascript-sandbox --all-targets -- -D warnings
 
 test:
-    {{ wit-world }} cargo test -p hyperlight-javascript-sandbox
+    cargo test -p hyperlight-javascript-sandbox

src/nanvix_sandbox/Justfile

@@ -1,4 +1,4 @@
-repo-root := replace(invocation_directory(), "\\", "/")
+repo-root := invocation_directory_native()
 nanvix-rev := "f4bc205a40ed072cbb5f26b141498477985782f7"
 skip-msg := "echo 'Skipping nanvix (not supported on Windows)'"