jz 0.8.0 → 0.9.0

package/module/date.js

@@ -9,7 +9,7 @@
  * @module date
  */
 
-import { typed, asF64, toNumF64, allocPtr, temp } from '../src/ir.js'
+import { typed, asF64, toNumF64, allocPtr, temp, NULL_WAT } from '../src/ir.js'
 import { emit, deps } from '../src/bridge.js'
 import { inc, PTR } from '../src/ctx.js'
 import { VAL } from '../src/reps.js'
@@ -51,10 +51,23 @@ export default (ctx) => {
     __date_write2: [],
     __date_write3: [],
     __date_write4: [],
-    __date_to_iso_string: ['__mkstr', '__alloc', '__itoa', '__date_year_from_time', '__date_month_from_time', '__date_date_from_time', '__date_hour_from_time', '__date_min_from_time', '__date_sec_from_time', '__date_ms_from_time', '__date_write2', '__date_write3', '__date_write4'],
-    __date_to_utc_string: ['__mkstr', '__alloc', '__itoa', '__date_weekday', '__date_date_from_time', '__date_month_from_time', '__date_year_from_time', '__date_hour_from_time', '__date_min_from_time', '__date_sec_from_time', '__date_write2', '__date_write4'],
+    __date_to_iso_string: ['__mkstr', '__alloc', '__date_year_from_time', '__date_month_from_time', '__date_date_from_time', '__date_hour_from_time', '__date_min_from_time', '__date_sec_from_time', '__date_ms_from_time', '__date_write2', '__date_write3', '__date_write4'],
+    __date_to_utc_string: ['__mkstr', '__alloc', '__itoa', '__date_wd_name', '__date_mon_name', '__date_weekday', '__date_date_from_time', '__date_month_from_time', '__date_year_from_time', '__date_hour_from_time', '__date_min_from_time', '__date_sec_from_time', '__date_write2', '__date_write4'],
+    __date_wd_name: [],
+    __date_mon_name: [],
+    __date_invalid_string: ['__alloc', '__mkstr'],
+    __date_to_date_string: ['__mkstr', '__alloc', '__itoa', '__date_invalid_string', '__date_wd_name', '__date_mon_name', '__date_weekday', '__date_month_from_time', '__date_date_from_time', '__date_year_from_time', '__date_write2', '__date_write4'],
+    __date_to_time_string: ['__mkstr', '__alloc', '__date_invalid_string', '__date_hour_from_time', '__date_min_from_time', '__date_sec_from_time', '__date_write2'],
+    __date_to_json: ['__date_to_iso_string'],
   })
 
+  // Brand: dates carry their own registered 1-slot schema (a key no user
+  // identifier can produce) instead of aux=0 — which aliases schema id 0, the
+  // first real literal shape, so dyn-get / {...date} / structuredClone would
+  // read that schema's layout against the date's single-slot block. With the
+  // brand, every generic OBJECT consumer sees the true shape.
+  ctx.schema.dateSid = ctx.schema.register(['\x00time'])
+
   const dateArg = (node, fallback, required = false) => {
     if (node === undefined) return typed(['f64.const', required ? NaN : fallback], 'f64')
     if (Array.isArray(node) && node[0] == null && node[1] === undefined) return typed(['f64.const', NaN], 'f64')
@@ -381,27 +394,59 @@ export default (ctx) => {
     (i32.store8 (i32.add (local.get $buf) (i32.const 2)) (i32.add (i32.const 48) (local.get $d)))
     (i32.store8 (i32.add (local.get $buf) (i32.const 3)) (i32.add (i32.const 48) (i32.rem_u (local.get $v) (i32.const 10)))))`
 
+  // ── Name tables & fixed text ──────────────────────────────────────────────
+  // 3-letter weekday/month names as generated if-chains of byte stores — one
+  // table shared by toUTCString and toDateString.
+
+  const name3 = (fn, names) => `(func $${fn} (param $p i32) (param $i i32)
+    ${names.map((n, i) => `(if (i32.eq (local.get $i) (i32.const ${i}))
+      (then
+        (i32.store8 (local.get $p) (i32.const ${n.charCodeAt(0)}))
+        (i32.store8 (i32.add (local.get $p) (i32.const 1)) (i32.const ${n.charCodeAt(1)}))
+        (i32.store8 (i32.add (local.get $p) (i32.const 2)) (i32.const ${n.charCodeAt(2)}))))`).join('\n    ')})`
+
+  ctx.core.stdlib['__date_wd_name'] = name3('__date_wd_name', ['Sun', 'Mon', 'Tue', 'Wed', 'Thu', 'Fri', 'Sat'])
+  ctx.core.stdlib['__date_mon_name'] = name3('__date_mon_name', ['Jan', 'Feb', 'Mar', 'Apr', 'May', 'Jun', 'Jul', 'Aug', 'Sep', 'Oct', 'Nov', 'Dec'])
+
+  // WAT fragment: store a fixed ASCII run at cursor $p, advance $p past it.
+  const storeLit = (s) => {
+    let out = ''
+    for (let k = 0; k < s.length; k++)
+      out += `(i32.store8 ${k ? `(i32.add (local.get $p) (i32.const ${k}))` : '(local.get $p)'} (i32.const ${s.charCodeAt(k)}))\n    `
+    return out + `(local.set $p (i32.add (local.get $p) (i32.const ${s.length})))`
+  }
+
+  ctx.core.stdlib['__date_invalid_string'] = `(func $__date_invalid_string (result f64)
+    (local $buf i32) (local $p i32)
+    (local.set $buf (call $__alloc (i32.const 12)))
+    (local.set $p (local.get $buf))
+    ${storeLit('Invalid Date')}
+    (call $__mkstr (local.get $buf) (i32.const 12)))`
+
   // ── toISOString ───────────────────────────────────────────────────────────
 
   ctx.core.stdlib['__date_to_iso_string'] = `(func $__date_to_iso_string (param $t f64) (result f64)
-    (local $buf i32) (local $p i32) (local $year f64) (local $yv i32) (local $nd i32)
+    (local $buf i32) (local $p i32) (local $year f64) (local $yv i32)
     (if (f64.ne (local.get $t) (local.get $t)) (then (return (call $__mkstr (i32.const 0) (i32.const 0)))))
     (local.set $buf (call $__alloc (i32.const 40)))
     (local.set $p (local.get $buf))
     (local.set $year (call $__date_year_from_time (local.get $t)))
-    (if (f64.lt (local.get $year) (f64.const 0))
+    (if (i32.and (f64.ge (local.get $year) (f64.const 0)) (f64.le (local.get $year) (f64.const 9999)))
       (then
-        (i32.store8 (local.get $p) (i32.const 45))
-        (local.set $p (i32.add (local.get $p) (i32.const 1)))
-        (local.set $year (f64.neg (local.get $year)))))
-    (local.set $yv (i32.trunc_sat_f64_u (local.get $year)))
-    (if (i32.le_u (local.get $yv) (i32.const 9999))
-      (then
-        (call $__date_write4 (local.get $p) (local.get $yv))
+        (call $__date_write4 (local.get $p) (i32.trunc_sat_f64_u (local.get $year)))
         (local.set $p (i32.add (local.get $p) (i32.const 4))))
       (else
-        (local.set $nd (call $__itoa (local.get $yv) (local.get $p)))
-        (local.set $p (i32.add (local.get $p) (local.get $nd)))))
+        ;; expanded years (spec: DateString): explicit sign + 6-digit zero-padded
+        (if (f64.lt (local.get $year) (f64.const 0))
+          (then
+            (i32.store8 (local.get $p) (i32.const 45))
+            (local.set $year (f64.neg (local.get $year))))
+          (else (i32.store8 (local.get $p) (i32.const 43))))
+        (local.set $p (i32.add (local.get $p) (i32.const 1)))
+        (local.set $yv (i32.trunc_sat_f64_u (local.get $year)))
+        (call $__date_write2 (local.get $p) (i32.div_u (local.get $yv) (i32.const 10000)))
+        (call $__date_write4 (i32.add (local.get $p) (i32.const 2)) (i32.rem_u (local.get $yv) (i32.const 10000)))
+        (local.set $p (i32.add (local.get $p) (i32.const 6)))))
     (i32.store8 (local.get $p) (i32.const 45))
     (local.set $p (i32.add (local.get $p) (i32.const 1)))
     (call $__date_write2 (local.get $p) (i32.add (i32.trunc_sat_f64_s (call $__date_month_from_time (local.get $t))) (i32.const 1)))
@@ -433,118 +478,19 @@ export default (ctx) => {
   // ── toUTCString ───────────────────────────────────────────────────────────
 
   ctx.core.stdlib['__date_to_utc_string'] = `(func $__date_to_utc_string (param $t f64) (result f64)
-    (local $buf i32) (local $p i32) (local $wd i32) (local $year f64) (local $yv i32) (local $nd i32) (local $month i32)
+    (local $buf i32) (local $p i32) (local $year f64) (local $yv i32) (local $nd i32)
     (if (f64.ne (local.get $t) (local.get $t)) (then (return (call $__mkstr (i32.const 0) (i32.const 0)))))
     (local.set $buf (call $__alloc (i32.const 48)))
     (local.set $p (local.get $buf))
-    (local.set $wd (i32.trunc_sat_f64_s (call $__date_weekday (local.get $t))))
-    (if (i32.eq (local.get $wd) (i32.const 0))
-      (then
-        (i32.store8 (local.get $p) (i32.const 83))
-        (i32.store8 (i32.add (local.get $p) (i32.const 1)) (i32.const 117))
-        (i32.store8 (i32.add (local.get $p) (i32.const 2)) (i32.const 110))))
-    (if (i32.eq (local.get $wd) (i32.const 1))
-      (then
-        (i32.store8 (local.get $p) (i32.const 77))
-        (i32.store8 (i32.add (local.get $p) (i32.const 1)) (i32.const 111))
-        (i32.store8 (i32.add (local.get $p) (i32.const 2)) (i32.const 110))))
-    (if (i32.eq (local.get $wd) (i32.const 2))
-      (then
-        (i32.store8 (local.get $p) (i32.const 84))
-        (i32.store8 (i32.add (local.get $p) (i32.const 1)) (i32.const 117))
-        (i32.store8 (i32.add (local.get $p) (i32.const 2)) (i32.const 101))))
-    (if (i32.eq (local.get $wd) (i32.const 3))
-      (then
-        (i32.store8 (local.get $p) (i32.const 87))
-        (i32.store8 (i32.add (local.get $p) (i32.const 1)) (i32.const 101))
-        (i32.store8 (i32.add (local.get $p) (i32.const 2)) (i32.const 100))))
-    (if (i32.eq (local.get $wd) (i32.const 4))
-      (then
-        (i32.store8 (local.get $p) (i32.const 84))
-        (i32.store8 (i32.add (local.get $p) (i32.const 1)) (i32.const 104))
-        (i32.store8 (i32.add (local.get $p) (i32.const 2)) (i32.const 117))))
-    (if (i32.eq (local.get $wd) (i32.const 5))
-      (then
-        (i32.store8 (local.get $p) (i32.const 70))
-        (i32.store8 (i32.add (local.get $p) (i32.const 1)) (i32.const 114))
-        (i32.store8 (i32.add (local.get $p) (i32.const 2)) (i32.const 105))))
-    (if (i32.eq (local.get $wd) (i32.const 6))
-      (then
-        (i32.store8 (local.get $p) (i32.const 83))
-        (i32.store8 (i32.add (local.get $p) (i32.const 1)) (i32.const 97))
-        (i32.store8 (i32.add (local.get $p) (i32.const 2)) (i32.const 116))))
+    (call $__date_wd_name (local.get $p) (i32.trunc_sat_f64_s (call $__date_weekday (local.get $t))))
     (local.set $p (i32.add (local.get $p) (i32.const 3)))
-    (i32.store8 (local.get $p) (i32.const 44))
-    (i32.store8 (i32.add (local.get $p) (i32.const 1)) (i32.const 32))
-    (local.set $p (i32.add (local.get $p) (i32.const 2)))
+    ${storeLit(', ')}
     (call $__date_write2 (local.get $p) (i32.trunc_sat_f64_s (call $__date_date_from_time (local.get $t))))
     (local.set $p (i32.add (local.get $p) (i32.const 2)))
-    (i32.store8 (local.get $p) (i32.const 32))
-    (local.set $p (i32.add (local.get $p) (i32.const 1)))
-    (local.set $month (i32.trunc_sat_f64_s (call $__date_month_from_time (local.get $t))))
-    (if (i32.eq (local.get $month) (i32.const 0))
-      (then
-        (i32.store8 (local.get $p) (i32.const 74))
-        (i32.store8 (i32.add (local.get $p) (i32.const 1)) (i32.const 97))
-        (i32.store8 (i32.add (local.get $p) (i32.const 2)) (i32.const 110))))
-    (if (i32.eq (local.get $month) (i32.const 1))
-      (then
-        (i32.store8 (local.get $p) (i32.const 70))
-        (i32.store8 (i32.add (local.get $p) (i32.const 1)) (i32.const 101))
-        (i32.store8 (i32.add (local.get $p) (i32.const 2)) (i32.const 98))))
-    (if (i32.eq (local.get $month) (i32.const 2))
-      (then
-        (i32.store8 (local.get $p) (i32.const 77))
-        (i32.store8 (i32.add (local.get $p) (i32.const 1)) (i32.const 97))
-        (i32.store8 (i32.add (local.get $p) (i32.const 2)) (i32.const 114))))
-    (if (i32.eq (local.get $month) (i32.const 3))
-      (then
-        (i32.store8 (local.get $p) (i32.const 65))
-        (i32.store8 (i32.add (local.get $p) (i32.const 1)) (i32.const 112))
-        (i32.store8 (i32.add (local.get $p) (i32.const 2)) (i32.const 114))))
-    (if (i32.eq (local.get $month) (i32.const 4))
-      (then
-        (i32.store8 (local.get $p) (i32.const 77))
-        (i32.store8 (i32.add (local.get $p) (i32.const 1)) (i32.const 97))
-        (i32.store8 (i32.add (local.get $p) (i32.const 2)) (i32.const 121))))
-    (if (i32.eq (local.get $month) (i32.const 5))
-      (then
-        (i32.store8 (local.get $p) (i32.const 74))
-        (i32.store8 (i32.add (local.get $p) (i32.const 1)) (i32.const 117))
-        (i32.store8 (i32.add (local.get $p) (i32.const 2)) (i32.const 110))))
-    (if (i32.eq (local.get $month) (i32.const 6))
-      (then
-        (i32.store8 (local.get $p) (i32.const 74))
-        (i32.store8 (i32.add (local.get $p) (i32.const 1)) (i32.const 117))
-        (i32.store8 (i32.add (local.get $p) (i32.const 2)) (i32.const 108))))
-    (if (i32.eq (local.get $month) (i32.const 7))
-      (then
-        (i32.store8 (local.get $p) (i32.const 65))
-        (i32.store8 (i32.add (local.get $p) (i32.const 1)) (i32.const 117))
-        (i32.store8 (i32.add (local.get $p) (i32.const 2)) (i32.const 103))))
-    (if (i32.eq (local.get $month) (i32.const 8))
-      (then
-        (i32.store8 (local.get $p) (i32.const 83))
-        (i32.store8 (i32.add (local.get $p) (i32.const 1)) (i32.const 101))
-        (i32.store8 (i32.add (local.get $p) (i32.const 2)) (i32.const 112))))
-    (if (i32.eq (local.get $month) (i32.const 9))
-      (then
-        (i32.store8 (local.get $p) (i32.const 79))
-        (i32.store8 (i32.add (local.get $p) (i32.const 1)) (i32.const 99))
-        (i32.store8 (i32.add (local.get $p) (i32.const 2)) (i32.const 116))))
-    (if (i32.eq (local.get $month) (i32.const 10))
-      (then
-        (i32.store8 (local.get $p) (i32.const 78))
-        (i32.store8 (i32.add (local.get $p) (i32.const 1)) (i32.const 111))
-        (i32.store8 (i32.add (local.get $p) (i32.const 2)) (i32.const 118))))
-    (if (i32.eq (local.get $month) (i32.const 11))
-      (then
-        (i32.store8 (local.get $p) (i32.const 68))
-        (i32.store8 (i32.add (local.get $p) (i32.const 1)) (i32.const 101))
-        (i32.store8 (i32.add (local.get $p) (i32.const 2)) (i32.const 99))))
+    ${storeLit(' ')}
+    (call $__date_mon_name (local.get $p) (i32.trunc_sat_f64_s (call $__date_month_from_time (local.get $t))))
     (local.set $p (i32.add (local.get $p) (i32.const 3)))
-    (i32.store8 (local.get $p) (i32.const 32))
-    (local.set $p (i32.add (local.get $p) (i32.const 1)))
+    ${storeLit(' ')}
     (local.set $year (call $__date_year_from_time (local.get $t)))
     (if (f64.lt (local.get $year) (f64.const 0))
       (then
@@ -578,6 +524,63 @@ export default (ctx) => {
     (local.set $p (i32.add (local.get $p) (i32.const 4)))
     (call $__mkstr (local.get $buf) (i32.sub (local.get $p) (local.get $buf))))`
 
+  // ── toDateString / toTimeString / toJSON ──────────────────────────────────
+  // jz is UTC-only: the "local" date/time slices are the UTC ones and the zone
+  // suffix is the fixed UTC designation — a documented divergence, same policy
+  // as getHours ≡ getUTCHours.
+
+  ctx.core.stdlib['__date_to_date_string'] = `(func $__date_to_date_string (param $t f64) (result f64)
+    (local $buf i32) (local $p i32) (local $year f64) (local $yv i32) (local $nd i32)
+    (if (f64.ne (local.get $t) (local.get $t)) (then (return (call $__date_invalid_string))))
+    (local.set $buf (call $__alloc (i32.const 32)))
+    (local.set $p (local.get $buf))
+    (call $__date_wd_name (local.get $p) (i32.trunc_sat_f64_s (call $__date_weekday (local.get $t))))
+    (local.set $p (i32.add (local.get $p) (i32.const 3)))
+    ${storeLit(' ')}
+    (call $__date_mon_name (local.get $p) (i32.trunc_sat_f64_s (call $__date_month_from_time (local.get $t))))
+    (local.set $p (i32.add (local.get $p) (i32.const 3)))
+    ${storeLit(' ')}
+    (call $__date_write2 (local.get $p) (i32.trunc_sat_f64_s (call $__date_date_from_time (local.get $t))))
+    (local.set $p (i32.add (local.get $p) (i32.const 2)))
+    ${storeLit(' ')}
+    (local.set $year (call $__date_year_from_time (local.get $t)))
+    (if (f64.lt (local.get $year) (f64.const 0))
+      (then
+        (i32.store8 (local.get $p) (i32.const 45))
+        (local.set $p (i32.add (local.get $p) (i32.const 1)))
+        (local.set $year (f64.neg (local.get $year)))))
+    (local.set $yv (i32.trunc_sat_f64_u (local.get $year)))
+    (if (i32.le_u (local.get $yv) (i32.const 9999))
+      (then
+        (call $__date_write4 (local.get $p) (local.get $yv))
+        (local.set $p (i32.add (local.get $p) (i32.const 4))))
+      (else
+        (local.set $nd (call $__itoa (local.get $yv) (local.get $p)))
+        (local.set $p (i32.add (local.get $p) (local.get $nd)))))
+    (call $__mkstr (local.get $buf) (i32.sub (local.get $p) (local.get $buf))))`
+
+  ctx.core.stdlib['__date_to_time_string'] = `(func $__date_to_time_string (param $t f64) (result f64)
+    (local $buf i32) (local $p i32)
+    (if (f64.ne (local.get $t) (local.get $t)) (then (return (call $__date_invalid_string))))
+    (local.set $buf (call $__alloc (i32.const 48)))
+    (local.set $p (local.get $buf))
+    (call $__date_write2 (local.get $p) (i32.trunc_sat_f64_s (call $__date_hour_from_time (local.get $t))))
+    (local.set $p (i32.add (local.get $p) (i32.const 2)))
+    ${storeLit(':')}
+    (call $__date_write2 (local.get $p) (i32.trunc_sat_f64_s (call $__date_min_from_time (local.get $t))))
+    (local.set $p (i32.add (local.get $p) (i32.const 2)))
+    ${storeLit(':')}
+    (call $__date_write2 (local.get $p) (i32.trunc_sat_f64_s (call $__date_sec_from_time (local.get $t))))
+    (local.set $p (i32.add (local.get $p) (i32.const 2)))
+    ${storeLit(' GMT+0000 (Coordinated Universal Time)')}
+    (call $__mkstr (local.get $buf) (i32.sub (local.get $p) (local.get $buf))))`
+
+  // Serialization protocol: invalid date → null (JSON.stringify emits null),
+  // finite date → ISO string.
+  ctx.core.stdlib['__date_to_json'] = `(func $__date_to_json (param $t f64) (result f64)
+    (if (f64.ne (local.get $t) (local.get $t)) (then (return ${NULL_WAT})))
+    (call $__date_to_iso_string (local.get $t)))`
+
   // === Minimal Date value object ===
   // Represented as PTR.OBJECT with a single f64 slot at offset 0 (the time value).
   // No schemaId (aux=0); dynamic property access falls through to undefined.
@@ -603,7 +606,7 @@ export default (ctx) => {
       inc('__date_from_value')
       timeVal = typed(['call', '$__date_from_value', ['i64.reinterpret_f64', asF64(emit(ms))]], 'f64')
     }
-    const out = allocPtr({ type: PTR.OBJECT, len: 1, cap: 1, stride: 8, tag: 'date' })
+    const out = allocPtr({ type: PTR.OBJECT, aux: ctx.schema.dateSid, len: 1, cap: 1, stride: 8, tag: 'date' })
     return typed(['block', ['result', 'f64'],
       out.init,
       ['f64.store', ['local.get', `$${out.local}`], timeVal],
@@ -801,4 +804,23 @@ export default (ctx) => {
     return typed(['call', '$__date_to_utc_string', emitDateLoad(dateExpr)], 'f64')
   }
   ctx.core.emit[`.${VAL.DATE}:toUTCString`] = ctx.core.emit['.toUTCString']
+
+  ctx.core.emit['.toDateString'] = (dateExpr) => {
+    inc('__date_to_date_string')
+    return typed(['call', '$__date_to_date_string', emitDateLoad(dateExpr)], 'f64')
+  }
+  ctx.core.emit[`.${VAL.DATE}:toDateString`] = ctx.core.emit['.toDateString']
+
+  ctx.core.emit['.toTimeString'] = (dateExpr) => {
+    inc('__date_to_time_string')
+    return typed(['call', '$__date_to_time_string', emitDateLoad(dateExpr)], 'f64')
+  }
+  ctx.core.emit[`.${VAL.DATE}:toTimeString`] = ctx.core.emit['.toTimeString']
+
+  // Typed-key only: users legitimately define `toJSON` on plain objects, so the
+  // bare generic key stays free — only a *proven* Date routes here.
+  ctx.core.emit[`.${VAL.DATE}:toJSON`] = (dateExpr) => {
+    inc('__date_to_json')
+    return typed(['call', '$__date_to_json', emitDateLoad(dateExpr)], 'f64')
+  }
 }

package/module/fs.js

@@ -0,0 +1,144 @@
+/**
+ * fs — basic file IO over WASI (host:'wasi' only).
+ *
+ * `fs.read(path)` → string, `fs.write(path, data)` → undefined. Synchronous by
+ * construction — WASI preview1 IS synchronous, so no event-loop breach. Paths
+ * resolve against the FIRST PREOPEN (fd 3, the wasi convention): run under
+ * wasmtime/node:wasi with a preopened directory. jz strings are raw UTF-8
+ * bytes, so read/write are binary-lossless (a byte is `s.charCodeAt(i)`).
+ *
+ * Failures throw the WASI errno as a number (e.g. 44 = NOENT) — jz errors are
+ * values; catch and inspect. host:'js' rejects at compile with a wiring hint.
+ *
+ * @module fs
+ */
+
+import { typed, asI64 } from '../src/ir.js'
+import { emit, hostImport } from '../src/bridge.js'
+import { inc, err, LAYOUT } from '../src/ctx.js'
+
+const setupWasi = (ctx) => {
+  const needPathOpen = () => hostImport('wasi_snapshot_preview1', 'path_open',
+    ['func', '$__path_open', ['param', 'i32'], ['param', 'i32'], ['param', 'i32'], ['param', 'i32'], ['param', 'i32'], ['param', 'i64'], ['param', 'i64'], ['param', 'i32'], ['param', 'i32'], ['result', 'i32']])
+  const needFdRead = () => hostImport('wasi_snapshot_preview1', 'fd_read',
+    ['func', '$__fd_read', ['param', 'i32'], ['param', 'i32'], ['param', 'i32'], ['param', 'i32'], ['result', 'i32']])
+  const needFdWrite = () => hostImport('wasi_snapshot_preview1', 'fd_write',
+    ['func', '$__fd_write', ['param', 'i32'], ['param', 'i32'], ['param', 'i32'], ['param', 'i32'], ['result', 'i32']])
+  const needFdClose = () => hostImport('wasi_snapshot_preview1', 'fd_close',
+    ['func', '$__fd_close', ['param', 'i32'], ['result', 'i32']])
+  const needFilestat = () => hostImport('wasi_snapshot_preview1', 'fd_filestat_get',
+    ['func', '$__fd_filestat_get', ['param', 'i32'], ['param', 'i32'], ['result', 'i32']])
+
+  // Stage a jz string's bytes into linear memory → packed (ptr<<32)|len in an
+  // i64 (SSO strings live in the box, heap strings in place — no copy).
+  ctx.core.stdlib['__fs_path'] = `(func $__fs_path (param $str i64) (result i64)
+    (local $aux i32) (local $len i32) (local $off i32) (local $buf i32)
+    (local.set $aux (call $__ptr_aux (local.get $str)))
+    (if (i32.and (local.get $aux) (i32.const ${LAYOUT.SSO_BIT}))
+      (then
+        (local.set $len (i32.and (i32.shr_u (local.get $aux) (i32.const 10)) (i32.const 7)))
+        (local.set $buf (call $__alloc (local.get $len)))
+        (local.set $off (i32.const 0))
+        (block $done (loop $loop
+          (br_if $done (i32.ge_s (local.get $off) (local.get $len)))
+          (i32.store8 (i32.add (local.get $buf) (local.get $off))
+            (call $__sso_char (local.get $str) (local.get $off)))
+          (local.set $off (i32.add (local.get $off) (i32.const 1)))
+          (br $loop))))
+      (else
+        (local.set $buf (call $__ptr_offset (local.get $str)))
+        (local.set $len (call $__str_len (local.get $str)))))
+    (i64.or (i64.shl (i64.extend_i32_u (local.get $buf)) (i64.const 32))
+      (i64.extend_i32_u (local.get $len))))`
+
+  // read: path_open(preopen fd 3) → filestat size → exact alloc → read loop → string
+  ctx.core.stdlib['__fs_read'] = `(func $__fs_read (param $path i64) (result f64)
+    (local $pl i64) (local $scratch i32) (local $fd i32) (local $e i32)
+    (local $size i32) (local $buf i32) (local $total i32) (local $n i32)
+    (local.set $pl (call $__fs_path (local.get $path)))
+    (local.set $scratch (call $__alloc (i32.const 64)))
+    ;; rights: FD_READ(2) | FD_FILESTAT_GET(1<<21)
+    (local.set $e (call $__path_open (i32.const 3) (i32.const 1)
+      (i32.wrap_i64 (i64.shr_u (local.get $pl) (i64.const 32)))
+      (i32.wrap_i64 (i64.and (local.get $pl) (i64.const 0xffffffff)))
+      (i32.const 0) (i64.const ${2 | (1 << 21)}) (i64.const 0) (i32.const 0)
+      (local.get $scratch)))
+    (if (local.get $e) (then (throw $__jz_err (f64.convert_i32_u (local.get $e)))))
+    (local.set $fd (i32.load (local.get $scratch)))
+    (local.set $e (call $__fd_filestat_get (local.get $fd) (local.get $scratch)))
+    (if (local.get $e) (then
+      (drop (call $__fd_close (local.get $fd)))
+      (throw $__jz_err (f64.convert_i32_u (local.get $e)))))
+    ;; filestat.size at offset 32 (u64; jz caps at i32 addressable)
+    (local.set $size (i32.wrap_i64 (i64.load offset=32 (local.get $scratch))))
+    (local.set $buf (call $__alloc (local.get $size)))
+    (local.set $total (i32.const 0))
+    (block $eof (loop $read
+      (br_if $eof (i32.ge_u (local.get $total) (local.get $size)))
+      (i32.store (local.get $scratch) (i32.add (local.get $buf) (local.get $total)))
+      (i32.store offset=4 (local.get $scratch) (i32.sub (local.get $size) (local.get $total)))
+      (local.set $e (call $__fd_read (local.get $fd) (local.get $scratch) (i32.const 1)
+        (i32.add (local.get $scratch) (i32.const 8))))
+      (if (local.get $e) (then
+        (drop (call $__fd_close (local.get $fd)))
+        (throw $__jz_err (f64.convert_i32_u (local.get $e)))))
+      (local.set $n (i32.load offset=8 (local.get $scratch)))
+      (br_if $eof (i32.eqz (local.get $n)))
+      (local.set $total (i32.add (local.get $total) (local.get $n)))
+      (br $read)))
+    (drop (call $__fd_close (local.get $fd)))
+    (call $__mkstr (local.get $buf) (local.get $total)))`
+
+  // write: path_open CREAT|TRUNC → fd_write loop → close
+  ctx.core.stdlib['__fs_write'] = `(func $__fs_write (param $path i64) (param $data i64)
+    (local $pl i64) (local $dl i64) (local $scratch i32) (local $fd i32) (local $e i32)
+    (local $buf i32) (local $len i32) (local $total i32) (local $n i32)
+    (local.set $pl (call $__fs_path (local.get $path)))
+    (local.set $dl (call $__fs_path (local.get $data)))
+    (local.set $scratch (call $__alloc (i32.const 16)))
+    ;; oflags: CREAT(1)|TRUNC(8); rights: FD_WRITE(64)
+    (local.set $e (call $__path_open (i32.const 3) (i32.const 1)
+      (i32.wrap_i64 (i64.shr_u (local.get $pl) (i64.const 32)))
+      (i32.wrap_i64 (i64.and (local.get $pl) (i64.const 0xffffffff)))
+      (i32.const 9) (i64.const 64) (i64.const 0) (i32.const 0)
+      (local.get $scratch)))
+    (if (local.get $e) (then (throw $__jz_err (f64.convert_i32_u (local.get $e)))))
+    (local.set $fd (i32.load (local.get $scratch)))
+    (local.set $buf (i32.wrap_i64 (i64.shr_u (local.get $dl) (i64.const 32))))
+    (local.set $len (i32.wrap_i64 (i64.and (local.get $dl) (i64.const 0xffffffff))))
+    (local.set $total (i32.const 0))
+    (block $done (loop $write
+      (br_if $done (i32.ge_u (local.get $total) (local.get $len)))
+      (i32.store (local.get $scratch) (i32.add (local.get $buf) (local.get $total)))
+      (i32.store offset=4 (local.get $scratch) (i32.sub (local.get $len) (local.get $total)))
+      (local.set $e (call $__fd_write (local.get $fd) (local.get $scratch) (i32.const 1)
+        (i32.add (local.get $scratch) (i32.const 8))))
+      (if (local.get $e) (then
+        (drop (call $__fd_close (local.get $fd)))
+        (throw $__jz_err (f64.convert_i32_u (local.get $e)))))
+      (local.set $n (i32.load offset=8 (local.get $scratch)))
+      (br_if $done (i32.eqz (local.get $n)))
+      (local.set $total (i32.add (local.get $total) (local.get $n)))
+      (br $write)))
+    (drop (call $__fd_close (local.get $fd))))`
+
+  ctx.core.emit['fs.read'] = (path) => {
+    needPathOpen(); needFdRead(); needFdClose(); needFilestat()
+    inc('__fs_path'); inc('__fs_read')
+    return typed(['call', '$__fs_read', asI64(emit(path))], 'f64')
+  }
+  ctx.core.emit['fs.write'] = (path, data) => {
+    needPathOpen(); needFdWrite(); needFdClose()
+    inc('__fs_path'); inc('__fs_write')
+    return ['call', '$__fs_write', asI64(emit(path)), asI64(emit(data))]
+  }
+}
+
+export default (ctx) => {
+  if (ctx.transform.host === 'wasi') setupWasi(ctx)
+  else {
+    const reject = (m) => () => err(`fs.${m} needs a WASI host — compile with host:'wasi' (CLI --host wasi), or wire your own file access via {imports}`)
+    ctx.core.emit['fs.read'] = reject('read')
+    ctx.core.emit['fs.write'] = reject('write')
+  }
+}

package/module/function.js

@@ -10,7 +10,7 @@
  * @module fn
  */
 
-import { typed, asF64, asI32, mkPtrIR, temp, tempI32, MAX_CLOSURE_ARITY, UNDEF_NAN, appendStaticSlots } from '../src/ir.js'
+import { typed, asF64, asI32, mkPtrIR, temp, tempI32, MAX_CLOSURE_ARITY, UNDEF_NAN, appendStaticSlots, carrierF64 } from '../src/ir.js'
 import { emit } from '../src/bridge.js'
 import { isReassigned } from '../src/ast.js'
 import { findFreeVars } from '../src/compile/analyze.js'
@@ -297,12 +297,15 @@ export default (ctx) => {
             ['i64.const', LAYOUT.AUX_MASK]]]]], 'f64')
     }
 
-    // Inline path: emit each arg, pad missing slots with UNDEF
+    // Inline path: emit each arg, pad missing slots with UNDEF. Closure ABI slots
+    // are untyped boxed-value positions — a bool arg crosses as its atom box so
+    // the callee observes boolean identity (typeof/String/strict-eq); pre-emitted
+    // IR (has .type) has no AST node to consult and keeps the plain box.
     const n = args.length
     if (n > MAX_CLOSURE_ARITY) err(`Closure call with ${n} args exceeds MAX_CLOSURE_ARITY=${MAX_CLOSURE_ARITY}`)
     const W = ctx.closure.width ?? MAX_CLOSURE_ARITY
     const slots = []
-    for (let i = 0; i < n; i++) slots.push(asF64(args[i]?.type ? args[i] : emit(args[i])))
+    for (let i = 0; i < n; i++) slots.push(args[i]?.type ? asF64(args[i]) : carrierF64(args[i], emit(args[i])))
     for (let i = n; i < W; i++) slots.push(UNDEF_LIT())
 
     return typed(['block', ['result', 'f64'],

package/module/index.js

@@ -10,8 +10,11 @@ import collection from './collection.js'
 import symbol from './symbol.js'
 import console from './console.js'
 import json from './json.js'
+import atomics from './atomics.js'
 import regex from './regex.js'
 import timer from './timer.js'
 import date from './date.js'
 import simd from './simd.js'
-export { math, core, array, object, string, number, fn, typedarray, collection, symbol, console, json, regex, timer, date, simd }
+import fs from './fs.js'
+import web from './web.js'
+export { math, core, array, object, string, number, fn, typedarray, collection, symbol, console, json, regex, timer, date, simd , atomics, fs, web }