Skip to content

feat(wasm-host): add W3 type validation pass - #149

Merged
jamiesun merged 1 commit into
mainfrom
feat/wasm-host-w3-validator
Jun 26, 2026
Merged

feat(wasm-host): add W3 type validation pass#149
jamiesun merged 1 commit into
mainfrom
feat/wasm-host-w3-validator

Conversation

@jamiesun

Copy link
Copy Markdown
Collaborator

Summary

  • add a W3 static function-body type validation pass to scoot-wasm before execution
  • validate operand/control stack shapes, block/loop/if signatures, branch labels, direct/indirect calls, local/global access, memory/table presence, immutable globals, and start function shape for the current host subset
  • update Wasm host docs and changelogs to mark W3 as partial subset validation rather than full spec conformance

Closes part of #100.

Validation

  • env ZIG_GLOBAL_CACHE_DIR=/tmp/zig-cache zig build test --summary all
  • env ZIG_GLOBAL_CACHE_DIR=/tmp/zig-cache zig build -Dwasm-host=true --summary all
  • ./zig-out/bin/scoot-wasm check <empty.wasm>
  • pre-push local CI: zig fmt --check, zig build, zig build test, zig build -Doptimize=ReleaseSafe, CLI smoke

@jamiesun
jamiesun merged commit ce89b64 into main Jun 26, 2026
11 of 12 checks passed
@jamiesun
jamiesun deleted the feat/wasm-host-w3-validator branch June 26, 2026 17:08
@jamiesun jamiesun mentioned this pull request Jun 27, 2026
jamiesun added a commit that referenced this pull request Jun 27, 2026
- wasm host W0-W4: integer, WASI preview1, type validation, float execution (#145, #147, #148, #149, #162)
- feat: wasm_tool action for compute-only packages (#154)
- wasm: narrow plugin sandbox to stdin/stdout/stderr/argv as a new hard rule (#164)
- feat: committed playground test environment with full action coverage (#161)
- release: single ReleaseSafe flavor, ship scoot-wasm artifacts, Homebrew tap (#166)
- fix(release): reference SCOOT_DOCKERHUB_* secrets so Docker Hub login is attempted
- docs: README rewrite + infographic, English comment translation (#160, #165, #146, #153)

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant