@scriptc/compiler 0.1.3 → 0.1.5

package/surface-manifest.json

@@ -1,6 +1,6 @@
 {
   "schemaVersion": 1,
-  "compilerVersion": "0.1.3",
+  "compilerVersion": "0.1.5",
   "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",
@@ -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",
@@ -921,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",
@@ -958,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",
@@ -982,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",
@@ -1097,6 +1123,13 @@
       "status": "static",
       "note": "recognized module (bare and node:-prefixed specifiers)"
     },
+    {
+      "id": "node-builtin.http.maxHeaderSize",
+      "kind": "node-builtin",
+      "name": "http.maxHeaderSize",
+      "status": "static",
+      "note": "constant value read"
+    },
     {
       "id": "node-builtin.http2",
       "kind": "node-builtin",
@@ -1140,7 +1173,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",
@@ -1148,7 +1181,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",
@@ -1156,7 +1189,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",
@@ -1542,6 +1575,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",
@@ -1822,7 +1862,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",
@@ -1865,7 +1905,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",
@@ -1873,7 +1913,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",
@@ -1881,21 +1945,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",
@@ -1903,13 +1993,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",
@@ -2088,6 +2182,12 @@
       "name": "Array.prototype.join",
       "status": "static"
     },
+    {
+      "id": "stdlib.array.lastIndexOf",
+      "kind": "stdlib",
+      "name": "Array.prototype.lastIndexOf",
+      "status": "static"
+    },
     {
       "id": "stdlib.array.map",
       "kind": "stdlib",
@@ -2296,6 +2396,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",
@@ -2589,36 +2696,36 @@
       "id": "stdlib.math.acos",
       "kind": "stdlib",
       "name": "Math.acos",
-      "status": "dynamic-only",
-      "code": "SC2012"
+      "status": "static",
+      "note": "compiles statically at arity 1; other declared call shapes run only in the embedded dynamic engine (SC2012 without --dynamic)"
     },
     {
       "id": "stdlib.math.asin",
       "kind": "stdlib",
       "name": "Math.asin",
-      "status": "dynamic-only",
-      "code": "SC2012"
+      "status": "static",
+      "note": "compiles statically at arity 1; other declared call shapes run only in the embedded dynamic engine (SC2012 without --dynamic)"
     },
     {
       "id": "stdlib.math.atan",
       "kind": "stdlib",
       "name": "Math.atan",
-      "status": "dynamic-only",
-      "code": "SC2012"
+      "status": "static",
+      "note": "compiles statically at arity 1; other declared call shapes run only in the embedded dynamic engine (SC2012 without --dynamic)"
     },
     {
       "id": "stdlib.math.atan2",
       "kind": "stdlib",
       "name": "Math.atan2",
-      "status": "dynamic-only",
-      "code": "SC2012"
+      "status": "static",
+      "note": "compiles statically at arity 2; other declared call shapes run only in the embedded dynamic engine (SC2012 without --dynamic)"
     },
     {
       "id": "stdlib.math.cbrt",
       "kind": "stdlib",
       "name": "Math.cbrt",
-      "status": "dynamic-only",
-      "code": "SC2012"
+      "status": "static",
+      "note": "compiles statically at arity 1; other declared call shapes run only in the embedded dynamic engine (SC2012 without --dynamic)"
     },
     {
       "id": "stdlib.math.ceil",
@@ -2631,15 +2738,15 @@
       "id": "stdlib.math.cos",
       "kind": "stdlib",
       "name": "Math.cos",
-      "status": "dynamic-only",
-      "code": "SC2012"
+      "status": "static",
+      "note": "compiles statically at arity 1; other declared call shapes run only in the embedded dynamic engine (SC2012 without --dynamic)"
     },
     {
       "id": "stdlib.math.exp",
       "kind": "stdlib",
       "name": "Math.exp",
-      "status": "dynamic-only",
-      "code": "SC2012"
+      "status": "static",
+      "note": "compiles statically at arity 1; other declared call shapes run only in the embedded dynamic engine (SC2012 without --dynamic)"
     },
     {
       "id": "stdlib.math.floor",
@@ -2652,29 +2759,29 @@
       "id": "stdlib.math.hypot",
       "kind": "stdlib",
       "name": "Math.hypot",
-      "status": "dynamic-only",
-      "code": "SC2012"
+      "status": "static",
+      "note": "compiles statically at any arity, including number[] spreads"
     },
     {
       "id": "stdlib.math.log",
       "kind": "stdlib",
       "name": "Math.log",
-      "status": "dynamic-only",
-      "code": "SC2012"
+      "status": "static",
+      "note": "compiles statically at arity 1; other declared call shapes run only in the embedded dynamic engine (SC2012 without --dynamic)"
     },
     {
       "id": "stdlib.math.log10",
       "kind": "stdlib",
       "name": "Math.log10",
-      "status": "dynamic-only",
-      "code": "SC2012"
+      "status": "static",
+      "note": "compiles statically at arity 1; other declared call shapes run only in the embedded dynamic engine (SC2012 without --dynamic)"
     },
     {
       "id": "stdlib.math.log2",
       "kind": "stdlib",
       "name": "Math.log2",
-      "status": "dynamic-only",
-      "code": "SC2012"
+      "status": "static",
+      "note": "compiles statically at arity 1; other declared call shapes run only in the embedded dynamic engine (SC2012 without --dynamic)"
     },
     {
       "id": "stdlib.math.max",
@@ -2694,8 +2801,8 @@
       "id": "stdlib.math.pow",
       "kind": "stdlib",
       "name": "Math.pow",
-      "status": "dynamic-only",
-      "code": "SC2012"
+      "status": "static",
+      "note": "compiles statically at arity 2; other declared call shapes run only in the embedded dynamic engine (SC2012 without --dynamic)"
     },
     {
       "id": "stdlib.math.random",
@@ -2715,29 +2822,29 @@
       "id": "stdlib.math.sign",
       "kind": "stdlib",
       "name": "Math.sign",
-      "status": "dynamic-only",
-      "code": "SC2012"
+      "status": "static",
+      "note": "compiles statically at arity 1; other declared call shapes run only in the embedded dynamic engine (SC2012 without --dynamic)"
     },
     {
       "id": "stdlib.math.sin",
       "kind": "stdlib",
       "name": "Math.sin",
-      "status": "dynamic-only",
-      "code": "SC2012"
+      "status": "static",
+      "note": "compiles statically at arity 1; other declared call shapes run only in the embedded dynamic engine (SC2012 without --dynamic)"
     },
     {
       "id": "stdlib.math.sqrt",
       "kind": "stdlib",
       "name": "Math.sqrt",
-      "status": "dynamic-only",
-      "code": "SC2012"
+      "status": "static",
+      "note": "compiles statically at arity 1; other declared call shapes run only in the embedded dynamic engine (SC2012 without --dynamic)"
     },
     {
       "id": "stdlib.math.tan",
       "kind": "stdlib",
       "name": "Math.tan",
-      "status": "dynamic-only",
-      "code": "SC2012"
+      "status": "static",
+      "note": "compiles statically at arity 1; other declared call shapes run only in the embedded dynamic engine (SC2012 without --dynamic)"
     },
     {
       "id": "stdlib.math.trunc",
@@ -3390,35 +3497,35 @@
       "kind": "stdlib",
       "name": "string.prototype.charAt",
       "status": "static",
-      "note": "the lowered call form takes exactly 1 argument"
+      "note": "the lowered call form takes 0 to 1 arguments"
     },
     {
       "id": "stdlib.string.charCodeAt",
       "kind": "stdlib",
       "name": "string.prototype.charCodeAt",
       "status": "static",
-      "note": "the lowered call form takes exactly 1 argument"
+      "note": "the lowered call form takes 0 to 1 arguments"
     },
     {
       "id": "stdlib.string.endsWith",
       "kind": "stdlib",
       "name": "string.prototype.endsWith",
       "status": "static",
-      "note": "the lowered call form takes exactly 1 argument"
+      "note": "the lowered call form takes 0 to 2 arguments"
     },
     {
       "id": "stdlib.string.includes",
       "kind": "stdlib",
       "name": "string.prototype.includes",
       "status": "static",
-      "note": "the lowered call form takes 1 to 2 arguments"
+      "note": "the lowered call form takes 0 to 2 arguments"
     },
     {
       "id": "stdlib.string.indexOf",
       "kind": "stdlib",
       "name": "string.prototype.indexOf",
       "status": "static",
-      "note": "the lowered call form takes 1 to 2 arguments"
+      "note": "the lowered call form takes 0 to 2 arguments"
     },
     {
       "id": "stdlib.string.isWellFormed",
@@ -3432,14 +3539,14 @@
       "kind": "stdlib",
       "name": "string.prototype.padEnd",
       "status": "static",
-      "note": "the lowered call form takes 1 to 2 arguments"
+      "note": "the lowered call form takes 0 to 2 arguments"
     },
     {
       "id": "stdlib.string.padStart",
       "kind": "stdlib",
       "name": "string.prototype.padStart",
       "status": "static",
-      "note": "the lowered call form takes 1 to 2 arguments"
+      "note": "the lowered call form takes 0 to 2 arguments"
     },
     {
       "id": "stdlib.string.repeat",
@@ -3481,14 +3588,14 @@
       "kind": "stdlib",
       "name": "string.prototype.startsWith",
       "status": "static",
-      "note": "the lowered call form takes exactly 1 argument"
+      "note": "the lowered call form takes 0 to 2 arguments"
     },
     {
       "id": "stdlib.string.substring",
       "kind": "stdlib",
       "name": "string.prototype.substring",
       "status": "static",
-      "note": "the lowered call form takes 1 to 2 arguments"
+      "note": "the lowered call form takes 0 to 2 arguments"
     },
     {
       "id": "stdlib.string.toLowerCase",
@@ -3725,8 +3832,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",