@scriptc/compiler 0.0.9 → 0.0.11

package/surface-manifest.json

@@ -1,9 +1,10 @@
 {
   "schemaVersion": 1,
-  "compilerVersion": "0.0.9",
+  "compilerVersion": "0.0.11",
   "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, process, 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, and global functions (parseInt, parseFloat, isNaN, isFinite).",
+    "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.",
+    "The ambient-nondeterminism and ambient-authority surfaces the library sidecar's determinism attestation scans ARE projected even where they lower through dedicated code paths — the Date compositions (stdlib.date.*), perf_hooks' performance.now, and the process global's ambient reads and authority calls (node-builtin.process.*) — so a determinism fence can name every surface the attestation demotes on.",
     "stdlib and node-builtin member entries name surface whose LOWERED call forms are constrained (arity, argument shapes); declared call forms outside the lowered set are refused per site, with code SC2020 for standard-library and node-builtin surface.",
     "Entries with status 'unsupported' or 'dynamic-only' describe where the named code is raised: forms of the construct outside the supported subset are refused with that code — not that every form of the named feature is refused. Supported forms appear as their own static entries where a table projects them.",
     "Entries with status 'dynamic-only' compile when the build embeds the dynamic engine (--dynamic); without the flag each use site is refused with the entry's code.",
@@ -17,7 +18,7 @@
       "name": "package imports",
       "status": "unsupported",
       "code": "SC1010",
-      "note": "relative imports (./file, ../dir/file), package.json-mediated project imports (#alias via the imports field, self-name references via exports), installed npm packages (their code runs under --dynamic), and the built-in fs, fs/promises, path, os, url, crypto, zlib, child_process, net, http, tls, https, http2, dgram, dns, util, util/types, string_decoder, querystring, readline, events, stream, stream/promises, buffer, assert, assert/strict, worker_threads, cluster, tty, async_hooks, timers, timers/promises, diagnostics_channel, perf_hooks, and node:test and node:module modules (bare or node:-prefixed) are supported"
+      "note": "relative imports (./file, ../dir/file), package.json-mediated project imports (#alias via the imports field, self-name references via exports), installed npm packages (their code runs under --dynamic), and the built-in fs, fs/promises, path, os, url, crypto, zlib, child_process, net, http, tls, https, http2, dgram, dns, util, util/types, string_decoder, querystring, readline, events, stream, stream/promises, stream/consumers, buffer, assert, assert/strict, worker_threads, cluster, tty, async_hooks, timers, timers/promises, diagnostics_channel, perf_hooks, and node:test and node:module modules (bare or node:-prefixed) are supported"
     },
     {
       "id": "diagnostic.sc1012",
@@ -54,7 +55,8 @@
       "kind": "diagnostic-fence",
       "name": "circular imports",
       "status": "unsupported",
-      "code": "SC1016"
+      "code": "SC1016",
+      "note": "cycles of ES modules with declaration-only top levels whose cycle-crossing bindings are only used inside function bodies compile as-is; move the named top-level read or call into a function body (or break the named edge) so nothing runs during the cycle's init window"
     },
     {
       "id": "diagnostic.sc1020",
@@ -188,7 +190,7 @@
       "name": "this regex feature",
       "status": "unsupported",
       "code": "SC1120",
-      "note": "supported: literal regexes with the g/i/m/s/u/y flags — .test(), .source/.flags, and string replace/replaceAll/split with string replacement templates"
+      "note": "supported: literal regexes with the g/i/m/s/u/y flags — .test(), .exec()/.match()/.matchAll(), named capture groups (.groups, $<name> templates, \\k<name>), .source/.flags, and string replace/replaceAll/split with string replacement templates"
     },
     {
       "id": "diagnostic.sc1121",
@@ -833,7 +835,23 @@
       "name": "module.createRequire",
       "status": "unsupported",
       "code": "SC2020",
-      "note": "createRequire loads CommonJS from disk at RUNTIME (the config/plugin-loading pattern) — a compiled program's modules are fixed at build time, so no lowering can exist; in JS sources the call defers to a runtime error naming this pattern"
+      "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"
+    },
+    {
+      "id": "node-builtin.module.isBuiltin",
+      "kind": "node-builtin",
+      "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)"
+    },
+    {
+      "id": "node-builtin.module.syncBuiltinESMExports",
+      "kind": "node-builtin",
+      "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"
     },
     {
       "id": "node-builtin.net",
@@ -1148,6 +1166,135 @@
       "status": "static",
       "note": "recognized module (bare and node:-prefixed specifiers)"
     },
+    {
+      "id": "node-builtin.perf_hooks.performance.now",
+      "kind": "node-builtin",
+      "name": "perf_hooks.performance.now",
+      "status": "static",
+      "note": "the global performance object and the performance.now.bind(performance) function value reach the same clock"
+    },
+    {
+      "id": "node-builtin.process.argv",
+      "kind": "node-builtin",
+      "name": "process.argv",
+      "status": "static"
+    },
+    {
+      "id": "node-builtin.process.availableMemory",
+      "kind": "node-builtin",
+      "name": "process.availableMemory",
+      "status": "static"
+    },
+    {
+      "id": "node-builtin.process.chdir",
+      "kind": "node-builtin",
+      "name": "process.chdir",
+      "status": "static"
+    },
+    {
+      "id": "node-builtin.process.columns",
+      "kind": "node-builtin",
+      "name": "process.columns",
+      "status": "static",
+      "note": "the columns read on the process stdio streams (terminal geometry)"
+    },
+    {
+      "id": "node-builtin.process.constrainedMemory",
+      "kind": "node-builtin",
+      "name": "process.constrainedMemory",
+      "status": "static"
+    },
+    {
+      "id": "node-builtin.process.cpuUsage",
+      "kind": "node-builtin",
+      "name": "process.cpuUsage",
+      "status": "static",
+      "note": "the plain-sample and previous-value diff forms are one surface"
+    },
+    {
+      "id": "node-builtin.process.cwd",
+      "kind": "node-builtin",
+      "name": "process.cwd",
+      "status": "static"
+    },
+    {
+      "id": "node-builtin.process.env",
+      "kind": "node-builtin",
+      "name": "process.env",
+      "status": "static",
+      "note": "reads, writes, deletes, and enumeration of the process environment (the process global)"
+    },
+    {
+      "id": "node-builtin.process.execPath",
+      "kind": "node-builtin",
+      "name": "process.execPath",
+      "status": "static"
+    },
+    {
+      "id": "node-builtin.process.exit",
+      "kind": "node-builtin",
+      "name": "process.exit",
+      "status": "static",
+      "note": "process.exit and the process._exiting flag read are one surface"
+    },
+    {
+      "id": "node-builtin.process.getgid",
+      "kind": "node-builtin",
+      "name": "process.getgid",
+      "status": "static"
+    },
+    {
+      "id": "node-builtin.process.getuid",
+      "kind": "node-builtin",
+      "name": "process.getuid",
+      "status": "static"
+    },
+    {
+      "id": "node-builtin.process.isTTY",
+      "kind": "node-builtin",
+      "name": "process.isTTY",
+      "status": "static",
+      "note": "the isTTY read on process.stdin/stdout/stderr — one surface across the three streams"
+    },
+    {
+      "id": "node-builtin.process.kill",
+      "kind": "node-builtin",
+      "name": "process.kill",
+      "status": "static",
+      "note": "the signal-name and signal-number forms are one surface"
+    },
+    {
+      "id": "node-builtin.process.pid",
+      "kind": "node-builtin",
+      "name": "process.pid",
+      "status": "static"
+    },
+    {
+      "id": "node-builtin.process.resourceUsage",
+      "kind": "node-builtin",
+      "name": "process.resourceUsage",
+      "status": "static",
+      "note": "getrusage's 16 fields — every field read samples live machine state"
+    },
+    {
+      "id": "node-builtin.process.threadCpuUsage",
+      "kind": "node-builtin",
+      "name": "process.threadCpuUsage",
+      "status": "static",
+      "note": "the plain-sample and previous-value diff forms are one surface"
+    },
+    {
+      "id": "node-builtin.process.umask",
+      "kind": "node-builtin",
+      "name": "process.umask",
+      "status": "static"
+    },
+    {
+      "id": "node-builtin.process.uptime",
+      "kind": "node-builtin",
+      "name": "process.uptime",
+      "status": "static"
+    },
     {
       "id": "node-builtin.querystring",
       "kind": "node-builtin",
@@ -1211,6 +1358,29 @@
       "status": "static",
       "note": "recognized module (bare and node:-prefixed specifiers)"
     },
+    {
+      "id": "node-builtin.stream.consumers",
+      "kind": "node-builtin",
+      "name": "stream/consumers",
+      "status": "static",
+      "note": "recognized module (bare and node:-prefixed specifiers)"
+    },
+    {
+      "id": "node-builtin.stream.consumers.arrayBuffer",
+      "kind": "node-builtin",
+      "name": "stream/consumers.arrayBuffer",
+      "status": "unsupported",
+      "code": "SC2020",
+      "note": "no free-standing ArrayBuffer value exists here (typed arrays own their storage) — buffer(stream) collects the same bytes as a Buffer"
+    },
+    {
+      "id": "node-builtin.stream.consumers.blob",
+      "kind": "node-builtin",
+      "name": "stream/consumers.blob",
+      "status": "unsupported",
+      "code": "SC2020",
+      "note": "Blob values have no representation in a compiled binary — buffer(stream) collects the same bytes as a Buffer, text(stream) the decoded text"
+    },
     {
       "id": "node-builtin.stream.promises",
       "kind": "node-builtin",
@@ -1529,6 +1699,34 @@
       "name": "Array.prototype.some",
       "status": "static"
     },
+    {
+      "id": "stdlib.date.UTC",
+      "kind": "stdlib",
+      "name": "Date.UTC",
+      "status": "static",
+      "note": "the lowered call form takes 1 to 7 number arguments"
+    },
+    {
+      "id": "stdlib.date.getTime",
+      "kind": "stdlib",
+      "name": "Date.prototype.getTime",
+      "status": "static",
+      "note": "the composed new Date(dateString).getTime() form; new Date().getTime() is stdlib.date.now's surface"
+    },
+    {
+      "id": "stdlib.date.now",
+      "kind": "stdlib",
+      "name": "Date.now",
+      "status": "static",
+      "note": "the live clock; the zero-argument new Date() compositions read it too"
+    },
+    {
+      "id": "stdlib.date.toISOString",
+      "kind": "stdlib",
+      "name": "Date.prototype.toISOString",
+      "status": "static",
+      "note": "the composed new Date(ms?).toISOString() form"
+    },
     {
       "id": "stdlib.map.clear",
       "kind": "stdlib",
@@ -1625,8 +1823,8 @@
       "id": "stdlib.math.ceil",
       "kind": "stdlib",
       "name": "Math.ceil",
-      "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.cos",
@@ -1744,8 +1942,8 @@
       "id": "stdlib.math.trunc",
       "kind": "stdlib",
       "name": "Math.trunc",
-      "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.number.toFixed",