Upgrade the latest HL

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

@@ -25,7 +25,7 @@ Justfile (root)                    ← orchestrates everything
 └── mod examples_mod 'examples/Justfile'
 ```
 
-- Root recipes (`test`, `build-all`, `lint`, `fmt`) delegate to subproject recipes via `mod::recipe` syntax
+- Root recipes (`test`, `build`, `lint`, `fmt`) delegate to subproject recipes via `mod::recipe` syntax
 - Subproject Justfiles own environment setup (e.g. `WIT_WORLD` for WASM)
 - Root Justfile uses `set unstable := true` to enable module imports
 - Justfiles are organized with `#### SECTION ####` headers (BUILD TARGETS, TESTS, DOCS, etc.)
@@ -41,7 +41,7 @@ See `references/architecture.md` for the full CI job layout and Justfile recipe
 ## Workflow: Adding a New Step
 
 1. **Add the recipe to the subproject Justfile** — include any env setup, deps, and the actual command
-2. **Wire it into the root Justfile** if it should be part of `test`, `lint`, `fmt`, `build-all`, or `examples`
+2. **Wire it into the root Justfile** if it should be part of `test`, `lint`, `fmt`, `build`, or `examples`
 3. **Add the CI step** — call the `just` recipe from the appropriate CI job
 4. **Verify alignment** — root `just test` should run the same test steps that CI runs
 

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

@@ -4,7 +4,7 @@
 
 | Recipe | Delegates to | Purpose |
 |--------|-------------|---------|
-| `build-all` | `wasm::build`, `jss::build`, `nanvix::build`, `python::build` | Build everything |
+| `build` | `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`, `js::lint`, `python::lint` | All linters |

.github/copilot-instructions.md

@@ -3,11 +3,11 @@
 - 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 js examples`, `just python examples`.
-- Use `just build-all` from the repository root to build all subprojects and SDKs.
+- Use `just build` 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.
 
 Make things cross-platform where possible (window/mac/linux).  Mac supprot for hyperlight isn't avaliable yet but is coming.
 
-- **After changing WIT interfaces**: you must run `just build-all` (or at minimum rebuild the guest `.wasm` and `.aot` files) before running examples. The pre-compiled guest binaries embed the WIT signature; a mismatch causes "Host function vector parameter missing length" errors at runtime.
+- **After changing WIT interfaces**: you must run `just build` (or at minimum rebuild the guest `.wasm` and `.aot` files) before running examples. The pre-compiled guest binaries embed the WIT signature; a mismatch causes "Host function vector parameter missing length" errors at runtime.
 
 - **Formatting and linting**: always use `just fmt` and `just fmt-check` from the repository root instead of invoking `cargo fmt`, `ruff format`, or `ruff check` directly. The Justfile recipes run multiple tools in sequence (e.g. `ruff format` + `ruff check --fix` for Python) and missing a step causes CI failures.

.github/hooks/hooks.json

@@ -3,7 +3,7 @@
     "PostToolUse": [
       {
         "type": "command",
-        "command": "bash .vscode/run-just-post-session.sh",
+        "command": "bash ./run-just-post-session.sh",
         "timeout": 1800
       }
     ]