@scriptc/compiler 0.1.2 → 0.1.4

package/surface-manifest.json

@@ -1,6 +1,6 @@
 {
   "schemaVersion": 1,
-  "compilerVersion": "0.1.2",
+  "compilerVersion": "0.1.4",
   "coverage": [
     "Entries are projected mechanically from the compiler's own decision tables: the diagnostics registry, the unsupported-syntax dispatch tables, the stdlib and node-builtin lowering tables, and the supported-builtin-module list. Nothing is hand-maintained; the manifest regenerates byte-identically from the source tree at this version.",
     "Absence from this manifest means 'not projected', never 'unsupported'. Surfaces lowered through dedicated code paths rather than tables are not yet projected: console, JSON, Promise/async and the timer surface, the net/http/tls/https/dgram/dns/assert/test/stream/readline module member surfaces, template literals, the regex slice, global functions (parseInt, parseFloat, isNaN, isFinite), and the process surface outside its ambient slice.",
@@ -88,7 +88,7 @@
       "name": "loose equality (== and !=)",
       "status": "unsupported",
       "code": "SC1040",
-      "note": "use === / !== ('x == null' / 'x != null' — the null-or-undefined test — is supported; other loose comparisons need dynamic coercion semantics)"
+      "note": "primitive and primitive-union coercions plus the x == null / x != null idiom compile statically; object-to-primitive comparisons can execute valueOf/toString — convert the object explicitly first"
     },
     {
       "id": "diagnostic.sc1042",
@@ -206,7 +206,7 @@
     {
       "id": "diagnostic.sc2001",
       "kind": "diagnostic-fence",
-      "name": "values of types outside the compilable set (bigint and symbol primitives, constructor objects, and library-derived or unresolved generic shapes)",
+      "name": "values of types outside the compilable set (constructor objects and library-derived or unresolved generic shapes)",
       "status": "unsupported",
       "code": "SC2001"
     },
@@ -329,7 +329,7 @@
       "name": "assert.deepEqual",
       "status": "unsupported",
       "code": "SC2020",
-      "note": "loose == equality has no lowering — the strict forms compare with Object.is/structural equality like Node's assert/strict module, where equal IS strictEqual"
+      "note": "legacy deep equality has no lowering yet — deepStrictEqual and notDeepStrictEqual compare structures with Node's modern semantics"
     },
     {
       "id": "node-builtin.assert.doesNotReject",
@@ -347,14 +347,6 @@
       "code": "SC2020",
       "note": "call the function directly — an unexpected throw already fails the test"
     },
-    {
-      "id": "node-builtin.assert.equal",
-      "kind": "node-builtin",
-      "name": "assert.equal",
-      "status": "unsupported",
-      "code": "SC2020",
-      "note": "loose == equality has no lowering — the strict forms compare with Object.is/structural equality like Node's assert/strict module, where equal IS strictEqual"
-    },
     {
       "id": "node-builtin.assert.ifError",
       "kind": "node-builtin",
@@ -369,15 +361,7 @@
       "name": "assert.notDeepEqual",
       "status": "unsupported",
       "code": "SC2020",
-      "note": "loose == equality has no lowering — the strict forms compare with Object.is/structural equality like Node's assert/strict module, where equal IS strictEqual"
-    },
-    {
-      "id": "node-builtin.assert.notEqual",
-      "kind": "node-builtin",
-      "name": "assert.notEqual",
-      "status": "unsupported",
-      "code": "SC2020",
-      "note": "loose == equality has no lowering — the strict forms compare with Object.is/structural equality like Node's assert/strict module, where equal IS strictEqual"
+      "note": "legacy deep equality has no lowering yet — deepStrictEqual and notDeepStrictEqual compare structures with Node's modern semantics"
     },
     {
       "id": "node-builtin.assert.rejects",
@@ -461,7 +445,7 @@
       "name": "child_process.execFile",
       "status": "unsupported",
       "code": "SC2020",
-      "note": "the callback form has no lowering — promisify it: const execFileAsync = promisify(execFile) (from node:util), or use execFileSync"
+      "note": "the callback forms execFile(file, callback), execFile(file, args, callback), and execFile(file, args, { encoding: 'utf8', maxBuffer: N }, callback) lower; maxBuffer is not enforced by the growing native capture; other options and reached no-callback calls remain fenced, while util.promisify(execFile) retains its wider options slice"
     },
     {
       "id": "node-builtin.child_process.execFileSync",
@@ -475,6 +459,12 @@
       "name": "child_process.execSync",
       "status": "static"
     },
+    {
+      "id": "node-builtin.child_process.fork",
+      "kind": "node-builtin",
+      "name": "child_process.fork",
+      "status": "static"
+    },
     {
       "id": "node-builtin.child_process.spawn",
       "kind": "node-builtin",
@@ -566,17 +556,13 @@
       "id": "node-builtin.crypto.createHash",
       "kind": "node-builtin",
       "name": "crypto.createHash",
-      "status": "unsupported",
-      "code": "SC2020",
-      "note": "the one lowered shape is the composed chain createHash(\"sha256\").update(data).digest(\"hex\") — the Hash handle itself has no lowering"
+      "status": "static"
     },
     {
       "id": "node-builtin.crypto.createHmac",
       "kind": "node-builtin",
       "name": "crypto.createHmac",
-      "status": "unsupported",
-      "code": "SC2020",
-      "note": "HMAC has no lowering yet — the lowered crypto surface is randomUUID, randomBytes, the createHash(\"sha256\"|\"sha1\") chain, and the introspection statics"
+      "status": "static"
     },
     {
       "id": "node-builtin.crypto.createPrivateKey",
@@ -678,9 +664,7 @@
       "id": "node-builtin.crypto.hash",
       "kind": "node-builtin",
       "name": "crypto.hash",
-      "status": "unsupported",
-      "code": "SC2020",
-      "note": "the one-shot digest has no lowering — the composed chain createHash(\"sha256\").update(data).digest(\"hex\") is the lowered hashing surface"
+      "status": "static"
     },
     {
       "id": "node-builtin.crypto.hkdf",
@@ -702,17 +686,13 @@
       "id": "node-builtin.crypto.pbkdf2",
       "kind": "node-builtin",
       "name": "crypto.pbkdf2",
-      "status": "unsupported",
-      "code": "SC2020",
-      "note": "key-derivation functions have no lowering yet — the lowered crypto surface is hashing, randomness, and the introspection statics"
+      "status": "static"
     },
     {
       "id": "node-builtin.crypto.pbkdf2Sync",
       "kind": "node-builtin",
       "name": "crypto.pbkdf2Sync",
-      "status": "unsupported",
-      "code": "SC2020",
-      "note": "key-derivation functions have no lowering yet — the lowered crypto surface is hashing, randomness, and the introspection statics"
+      "status": "static"
     },
     {
       "id": "node-builtin.crypto.privateDecrypt",
@@ -752,6 +732,18 @@
       "name": "crypto.randomBytes",
       "status": "static"
     },
+    {
+      "id": "node-builtin.crypto.randomFillSync",
+      "kind": "node-builtin",
+      "name": "crypto.randomFillSync",
+      "status": "static"
+    },
+    {
+      "id": "node-builtin.crypto.randomInt",
+      "kind": "node-builtin",
+      "name": "crypto.randomInt",
+      "status": "static"
+    },
     {
       "id": "node-builtin.crypto.randomUUID",
       "kind": "node-builtin",
@@ -790,6 +782,12 @@
       "code": "SC2020",
       "note": "asymmetric-key operations need a public-key stack (bignum, RSA/EC/EdDSA math) and a KeyObject value model — neither exists in the static runtime, so no faithful lowering can be small; the lowered crypto surface is hashing, randomness, and the introspection statics"
     },
+    {
+      "id": "node-builtin.crypto.timingSafeEqual",
+      "kind": "node-builtin",
+      "name": "crypto.timingSafeEqual",
+      "status": "static"
+    },
     {
       "id": "node-builtin.crypto.verify",
       "kind": "node-builtin",
@@ -913,6 +911,30 @@
       "name": "fs.existsSync",
       "status": "static"
     },
+    {
+      "id": "node-builtin.fs.fchmodSync",
+      "kind": "node-builtin",
+      "name": "fs.fchmodSync",
+      "status": "static"
+    },
+    {
+      "id": "node-builtin.fs.fstatSync",
+      "kind": "node-builtin",
+      "name": "fs.fstatSync",
+      "status": "static"
+    },
+    {
+      "id": "node-builtin.fs.fsyncSync",
+      "kind": "node-builtin",
+      "name": "fs.fsyncSync",
+      "status": "static"
+    },
+    {
+      "id": "node-builtin.fs.linkSync",
+      "kind": "node-builtin",
+      "name": "fs.linkSync",
+      "status": "static"
+    },
     {
       "id": "node-builtin.fs.lstatSync",
       "kind": "node-builtin",
@@ -950,6 +972,12 @@
       "name": "fs/promises.chmod",
       "status": "static"
     },
+    {
+      "id": "node-builtin.fs.promises.lstat",
+      "kind": "node-builtin",
+      "name": "fs/promises.lstat",
+      "status": "static"
+    },
     {
       "id": "node-builtin.fs.promises.mkdir",
       "kind": "node-builtin",
@@ -974,6 +1002,12 @@
       "name": "fs/promises.readdir",
       "status": "static"
     },
+    {
+      "id": "node-builtin.fs.promises.realpath",
+      "kind": "node-builtin",
+      "name": "fs/promises.realpath",
+      "status": "static"
+    },
     {
       "id": "node-builtin.fs.promises.rename",
       "kind": "node-builtin",
@@ -1132,7 +1166,7 @@
       "name": "module.createRequire",
       "status": "unsupported",
       "code": "SC2020",
-      "note": "the lowered shape is a const binding over createRequire(import.meta.url) (or __filename) whose require calls take STATIC string literals — builtins, relative .json documents, and installed npm packages (under --dynamic) resolve at build time; dynamic specifiers cannot exist in a compiled binary's fixed module graph"
+      "note": "the lowered shape is a const binding over createRequire(import.meta.url) (or __filename) whose require calls take STATIC string literals — builtins, project modules (including #imports), relative .json documents, --npm-static packages, and installed npm packages under --dynamic resolve at build time; dynamic specifiers cannot exist in a compiled binary's fixed module graph"
     },
     {
       "id": "node-builtin.module.isBuiltin",
@@ -1140,7 +1174,7 @@
       "name": "module.isBuiltin",
       "status": "unsupported",
       "code": "SC2020",
-      "note": "builtinModules.includes(name) answers the same question over the baked list (strip a node: prefix first; the prefix-only builtins appear with it, as node:test)"
+      "note": "the lowered call checks a string against the baked Node v24 list, including bare/node: aliases and prefix-only builtins"
     },
     {
       "id": "node-builtin.module.syncBuiltinESMExports",
@@ -1148,7 +1182,7 @@
       "name": "module.syncBuiltinESMExports",
       "status": "unsupported",
       "code": "SC2020",
-      "note": "a compiled program has no live builtin ESM namespace bindings to synchronize — nothing a compiled surface can mutate makes the call observable; remove it"
+      "note": "the direct zero-argument call is a no-op because compiled builtin exports are immutable and cannot become stale"
     },
     {
       "id": "node-builtin.net",
@@ -1534,6 +1568,13 @@
       "status": "static",
       "note": "process.exit and the process._exiting flag read are one surface"
     },
+    {
+      "id": "node-builtin.process.exitCode",
+      "kind": "node-builtin",
+      "name": "process.exitCode",
+      "status": "static",
+      "note": "numeric writes in statement position set the implicit exit status; process.exit() reads it"
+    },
     {
       "id": "node-builtin.process.getgid",
       "kind": "node-builtin",
@@ -1814,7 +1855,7 @@
       "name": "util.promisify",
       "status": "unsupported",
       "code": "SC2020",
-      "note": "the one lowered shape is a const binding over child_process.execFile: const execFileAsync = promisify(execFile), then call execFileAsync directly"
+      "note": "the lowered shapes are const bindings over child_process.execFile and fs.readFile; call the bound function directly"
     },
     {
       "id": "node-builtin.util.types",
@@ -1857,7 +1898,7 @@
       "name": "zlib.brotliCompressSync",
       "status": "unsupported",
       "code": "SC2020",
-      "note": "deflateSync and inflateSync are the lowered zlib surface"
+      "note": "the default-options deflate/inflate, raw, gzip/gunzip, and unzip sync/callback forms plus crc32 are the lowered zlib surface"
     },
     {
       "id": "node-builtin.zlib.brotliDecompressSync",
@@ -1865,7 +1906,31 @@
       "name": "zlib.brotliDecompressSync",
       "status": "unsupported",
       "code": "SC2020",
-      "note": "deflateSync and inflateSync are the lowered zlib surface"
+      "note": "the default-options deflate/inflate, raw, gzip/gunzip, and unzip sync/callback forms plus crc32 are the lowered zlib surface"
+    },
+    {
+      "id": "node-builtin.zlib.crc32",
+      "kind": "node-builtin",
+      "name": "zlib.crc32",
+      "status": "static"
+    },
+    {
+      "id": "node-builtin.zlib.deflate",
+      "kind": "node-builtin",
+      "name": "zlib.deflate",
+      "status": "static"
+    },
+    {
+      "id": "node-builtin.zlib.deflateRaw",
+      "kind": "node-builtin",
+      "name": "zlib.deflateRaw",
+      "status": "static"
+    },
+    {
+      "id": "node-builtin.zlib.deflateRawSync",
+      "kind": "node-builtin",
+      "name": "zlib.deflateRawSync",
+      "status": "static"
     },
     {
       "id": "node-builtin.zlib.deflateSync",
@@ -1873,21 +1938,47 @@
       "name": "zlib.deflateSync",
       "status": "static"
     },
+    {
+      "id": "node-builtin.zlib.gunzip",
+      "kind": "node-builtin",
+      "name": "zlib.gunzip",
+      "status": "static"
+    },
     {
       "id": "node-builtin.zlib.gunzipSync",
       "kind": "node-builtin",
       "name": "zlib.gunzipSync",
-      "status": "unsupported",
-      "code": "SC2020",
-      "note": "deflateSync and inflateSync are the lowered zlib surface"
+      "status": "static"
+    },
+    {
+      "id": "node-builtin.zlib.gzip",
+      "kind": "node-builtin",
+      "name": "zlib.gzip",
+      "status": "static"
     },
     {
       "id": "node-builtin.zlib.gzipSync",
       "kind": "node-builtin",
       "name": "zlib.gzipSync",
-      "status": "unsupported",
-      "code": "SC2020",
-      "note": "deflateSync and inflateSync are the lowered zlib surface"
+      "status": "static"
+    },
+    {
+      "id": "node-builtin.zlib.inflate",
+      "kind": "node-builtin",
+      "name": "zlib.inflate",
+      "status": "static"
+    },
+    {
+      "id": "node-builtin.zlib.inflateRaw",
+      "kind": "node-builtin",
+      "name": "zlib.inflateRaw",
+      "status": "static"
+    },
+    {
+      "id": "node-builtin.zlib.inflateRawSync",
+      "kind": "node-builtin",
+      "name": "zlib.inflateRawSync",
+      "status": "static"
     },
     {
       "id": "node-builtin.zlib.inflateSync",
@@ -1895,13 +1986,17 @@
       "name": "zlib.inflateSync",
       "status": "static"
     },
+    {
+      "id": "node-builtin.zlib.unzip",
+      "kind": "node-builtin",
+      "name": "zlib.unzip",
+      "status": "static"
+    },
     {
       "id": "node-builtin.zlib.unzipSync",
       "kind": "node-builtin",
       "name": "zlib.unzipSync",
-      "status": "unsupported",
-      "code": "SC2020",
-      "note": "deflateSync and inflateSync are the lowered zlib surface"
+      "status": "static"
     },
     {
       "id": "stdlib.abort-controller.abort",
@@ -2288,6 +2383,13 @@
       "status": "static",
       "note": "the live clock"
     },
+    {
+      "id": "stdlib.date.parse",
+      "kind": "stdlib",
+      "name": "Date.parse",
+      "status": "static",
+      "note": "one date string, using the bounded parser shared with new Date(dateString).getTime()"
+    },
     {
       "id": "stdlib.date.toISOString",
       "kind": "stdlib",
@@ -3552,6 +3654,13 @@
       "status": "static",
       "note": "LIFO asynchronous disposal through [Symbol.asyncDispose], with synchronous fallback"
     },
+    {
+      "id": "syntax.bigint-literals",
+      "kind": "syntax",
+      "name": "bigint literals",
+      "status": "static",
+      "note": "arbitrary-precision values in decimal, binary, octal, and hexadecimal spelling"
+    },
     {
       "id": "syntax.class-declarations-inside-functions",
       "kind": "syntax",
@@ -3710,8 +3819,8 @@
       "id": "syntax.spread-arguments",
       "kind": "syntax",
       "name": "spread arguments",
-      "status": "unsupported",
-      "code": "SC1090"
+      "status": "static",
+      "note": "non-empty fixed tuples flatten into fixed signatures with evaluate-once ordering; arrays, Sets, and statically represented class iterables spread into typed rest parameters"
     },
     {
       "id": "syntax.typeof-expressions",