giles 67d2f32512 Fix type-check-strict compiler match + deploy HS to WASM ...

- Compiler match for type-check-strict was still using old name type-check!
- Deploy updated HS source files to shared/static/wasm/sx/
- Sandbox runner validates 16/16 hard cases pass with cek-eval
  (no runtime let-binding hacks needed in WASM context)

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2026-04-08 21:25:23 +00:00

22 KiB

Raw Blame History

View Raw