@scriptc/compiler 0.1.7 → 0.2.0

package/surface-manifest.json

@@ -1,6 +1,6 @@
 {
   "schemaVersion": 1,
-  "compilerVersion": "0.1.7",
+  "compilerVersion": "0.2.0",
   "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.",
@@ -21,7 +21,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, stream/consumers, buffer, assert, assert/strict, worker_threads, cluster, tty, async_hooks, timers, timers/promises, diagnostics_channel, perf_hooks, and module modules (bare or node:-prefixed) and node:test (node:-prefixed only, like in Node) 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, module, and console modules (bare or node:-prefixed) and node:test (node:-prefixed only, like in Node) are supported"
     },
     {
       "id": "diagnostic.sc1012",
@@ -505,6 +505,21 @@
       "status": "static",
       "note": "constant value read"
     },
+    {
+      "id": "node-builtin.console",
+      "kind": "node-builtin",
+      "name": "console",
+      "status": "static",
+      "note": "recognized module (bare and node:-prefixed specifiers)"
+    },
+    {
+      "id": "node-builtin.console.Console",
+      "kind": "node-builtin",
+      "name": "console.Console",
+      "status": "unsupported",
+      "code": "SC2020",
+      "note": "custom Console instances are not supported yet; direct node:console log/info/debug/error/warn calls use the process output streams"
+    },
     {
       "id": "node-builtin.crypto",
       "kind": "node-builtin",
@@ -1062,6 +1077,12 @@
       "name": "fs.realpathSync",
       "status": "static"
     },
+    {
+      "id": "node-builtin.fs.realpathSync.native",
+      "kind": "node-builtin",
+      "name": "fs.realpathSync.native",
+      "status": "static"
+    },
     {
       "id": "node-builtin.fs.rename",
       "kind": "node-builtin",
@@ -1173,7 +1194,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, 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"
+      "note": "the lowered shape is a const binding (or a proven stable top-level let/var) 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",
@@ -1582,6 +1603,13 @@
       "status": "static",
       "note": "numeric writes in statement position set the implicit exit status; process.exit() reads it"
     },
+    {
+      "id": "node-builtin.process.getBuiltinModule",
+      "kind": "node-builtin",
+      "name": "process.getBuiltinModule",
+      "status": "static",
+      "note": "native path and os export subsets plus main-thread worker_threads metadata; other modules and exports throw SC2020"
+    },
     {
       "id": "node-builtin.process.getgid",
       "kind": "node-builtin",
@@ -1594,6 +1622,13 @@
       "name": "process.getuid",
       "status": "static"
     },
+    {
+      "id": "node-builtin.process.hrtime",
+      "kind": "node-builtin",
+      "name": "process.hrtime",
+      "status": "static",
+      "note": "native monotonic tuple clock and bigint member; direct calls and stored JavaScript callable values"
+    },
     {
       "id": "node-builtin.process.isTTY",
       "kind": "node-builtin",
@@ -1647,6 +1682,13 @@
       "name": "process.uptime",
       "status": "static"
     },
+    {
+      "id": "node-builtin.process.versions",
+      "kind": "node-builtin",
+      "name": "process.versions",
+      "status": "static",
+      "note": "shared version dictionary containing node and openssl; other components are absent unless defined by the program"
+    },
     {
       "id": "node-builtin.querystring",
       "kind": "node-builtin",
@@ -1723,7 +1765,7 @@
       "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"
+      "note": "collecting a stream directly into an ArrayBuffer has no native lowering yet; buffer(stream) collects the same bytes as a Buffer"
     },
     {
       "id": "node-builtin.stream.consumers.blob",
@@ -3406,9 +3448,8 @@
       "id": "stdlib.response.arrayBuffer",
       "kind": "stdlib",
       "name": "Response.arrayBuffer",
-      "status": "dynamic-only",
-      "code": "SC2020",
-      "note": "Node 24.15.0 / Undici 7.24.4; free-standing ArrayBuffer values have no static representation; use Response.bytes()"
+      "status": "static",
+      "note": "Node 24.15.0 / Undici 7.24.4; facets: body-consumption, promise-settlement, state-machine, error-shape; differential evidence: fixture:static"
     },
     {
       "id": "stdlib.response.blob",
@@ -3710,15 +3751,15 @@
       "id": "stdlib.string.replace",
       "kind": "stdlib",
       "name": "string.prototype.replace",
-      "status": "dynamic-only",
-      "code": "SC2012"
+      "status": "static",
+      "note": "string patterns with primitive replacements or typed callbacks; regex forms have separate lowering"
     },
     {
       "id": "stdlib.string.replaceAll",
       "kind": "stdlib",
       "name": "string.prototype.replaceAll",
-      "status": "dynamic-only",
-      "code": "SC2012"
+      "status": "static",
+      "note": "string patterns with primitive replacements or typed callbacks; regex forms have separate lowering"
     },
     {
       "id": "stdlib.string.slice",
@@ -3825,13 +3866,6 @@
       "status": "static",
       "note": "arbitrary-precision values in decimal, binary, octal, and hexadecimal spelling"
     },
-    {
-      "id": "syntax.class-declarations-inside-functions",
-      "kind": "syntax",
-      "name": "class declarations inside functions",
-      "status": "unsupported",
-      "code": "SC1090"
-    },
     {
       "id": "syntax.class-expressions",
       "kind": "syntax",

package/dist/backend/c/async.d.ts

@@ -1,171 +0,0 @@
-import type { CEmitter } from "./c-emitter.js";
-import { IrType } from "../../ir/ir.js";
-/** Per-async-function machinery: an argument pack, a fiber trampoline
-   * (unpacks, runs the ordinary compiled body, settles the promise), and a
-   * spawn wrapper call sites use. Lifted async lambdas additionally thread
-   * their closure env through the pack (+1, released after the body). */
-export declare function emitAsyncScaffolding(emitter: CEmitter, out: string[]): void;
-/** Interned per-union child exit adapter: the runtime invokes
-   * adapter(cb, has_code, code, signal_name); the adapter builds the
-   * `number | null` union value (tags are program data — the frontend
-   * guaranteed the param IS that union) and calls the listener, which
-   * owns the union param per the universal convention (unit-arm
-   * instances are immortal; their release is a no-op). The one-param
-   * shape ignores the signal. */
-export declare function childExitThunkFor(emitter: CEmitter, param: IrType): string;
-/** The TWO-parameter exit adapter — Node's `(code, signal)` listener:
-   * the code union as above plus the signal as its own `string | null`
-   * union (a fresh string from the runtime's static signal name when a
-   * signal killed the child, the null arm otherwise). */
-export declare function childExitSignalThunkFor(emitter: CEmitter, codeParam: IrType, sigParam: IrType): string;
-/** Interned per-union child-stream data adapter: the runtime invokes
-   * adapter(cb, chunk) with the chunk BORROWED; the adapter wraps a
-   * retained chunk at the union's Buffer arm (the frontend guaranteed
-   * the arm exists — the ngrok `Buffer | string` listener; strings never
-   * fire from a pipe) and calls the listener, which owns the union param
-   * per the universal convention. */
-export declare function childDataThunkFor(emitter: CEmitter, param: IrType): string;
-/** Interned per-union bound-close adapter (`server.close.bind(server)`
-   * as a value): invoked through the closure ABI with the callback-union
-   * argument, it closes the server DIRECTLY (never through the override —
-   * the proxy-through idiom cannot recurse), registering a present
-   * callback as a once-'close' listener — a ONE-param callback (Node's
-   * `(err?: Error) => void`) behind an emitted zero-arg trampoline that
-   * fires it with the undefined arm (a clean close carries no error) —
-   * and answers the +1 server (Node's chaining return). */
-export declare function closeBindThunkFor(emitter: CEmitter, cbUnion: IrType, retServer: boolean): string;
-/** Interned close-override zero-arg wrapper (`server.close = fn`): the
-   * stored override must be invocable by the runtime WITHOUT program
-   * types, so this wrapper carries the user function and fires it with
-   * the undefined-arm callback argument (tags are program data),
-   * releasing the chaining-return server when the signature answers one. */
-export declare function closeOverrideWrapFor(emitter: CEmitter, cbUnion: IrType, retServer: boolean): string;
-/** Interned per-shape dgram message adapter for the TWO-parameter
-   * (msg: Buffer, rinfo) listener: the rinfo RECORD is program data, so
-   * the adapter builds it from the runtime's parts (address/family
-   * borrowed and retained in; port/size by value) and calls the listener,
-   * which owns both params per the universal convention (msg retains like
-   * the net data thunk). Zero/one-param listeners take the runtime's own
-   * scr_dgram_msg_thunk0/1. */
-export declare function dgramMsgThunkFor(emitter: CEmitter, param: IrType): string;
-/** Interned dns.lookup callback adapter, per (union id, param count):
-   * the runtime invokes adapter(cb, errmsg-or-NULL, address, family) with
-   * everything borrowed; the adapter builds the `Error | null` first
-   * argument (tags are program data — the frontend pinned the union) and
-   * calls the listener with as many arguments as it declared, each owned
-   * per the universal convention. */
-export declare function dnsLookupThunkFor(emitter: CEmitter, cbT: IrType): string;
-/** Interned fs.rename callback adapter. The runtime supplies a borrowed
- * ScrError (or NULL); the adapter builds the callback's program-specific
- * Error | null union, or a dyn error/null for checkJs callbacks. */
-export declare function fsRenameThunkFor(emitter: CEmitter, cbT: IrType): string;
-/** Callback adapter for randomBytes/pbkdf2. The runtime transfers one
- * owned Buffer; the adapter materializes the callback's Error | null (or
- * checked-dynamic null) first argument and either transfers or boxes the
- * Buffer according to the program-specific callback signature. */
-export declare function cryptoBytesThunkFor(emitter: CEmitter, cbT: IrType): string;
-/** Error-first Buffer callback adapter for worker-backed zlib operations.
- * The runtime transfers the success Buffer and borrows the failure Error;
- * exactly one is non-NULL. */
-export declare function zlibBytesThunkFor(emitter: CEmitter, cbT: IrType): string;
-/** Interned CONNECT-listener adapter for a UNION socket slot — the h2
-   * compat listener (`(req, resOrSocket: Http2ServerResponse | net.Socket)
-   * => void`): the runtime fires (cb, req, sock, head) like an upgrade;
-   * the adapter wraps the socket at the union's netSocket arm (its tag is
-   * program data) and drops `head` when the listener declares two params.
-   * All three runtime args arrive +1; the union takes the socket's. */
-export declare function connectSockThunkFor(emitter: CEmitter, cbT: IrType): string;
-export declare function connectResThunkFor(emitter: CEmitter, cbT: IrType): string;
-/** Interned net.connect-lookup answer thunk: the fn of the runtime-minted
-   * callback the caller's `lookup` option receives (the SNI-answer
-   * pattern). COMPILED code calls it per its static type — `(err:
-   * ErrnoException | null, addresses: { address: string, ... }[]) =>
-   * void` — so the thunk decodes the program-interned err union (null
-   * tag) and the addresses record's field layout down to the runtime's
-   * (has_err, message, ip-list) answer. Params arrive +1 and release
-   * here; the extracted message/ips hand over +1. */
-export declare function netLookupAnswerThunkFor(emitter: CEmitter, cbT: IrType): string;
-/** Interned SNI answer-closure thunk: the fn of the runtime-minted `cb`
-   * a TLS server's SNICallback receives. COMPILED code calls cb per its
-   * static type — `(err: Error | null, ctx?: SecureContext) => void`, or
-   * a shorter declared shape — so the thunk's signature is that ABI, and
-   * it decodes the program-interned unions (tags are program data) down
-   * to the runtime's (has_err, ctx-or-NULL) answer. The thunk owns its
-   * union params per the universal convention (the ctx payload retains
-   * +1 before its union releases; ownership moves to the runtime). */
-export declare function sniAnswerThunkFor(emitter: CEmitter, cbT: IrType): string;
-/** Interned Promise.race fulfillment adapter: converts a settled entry's
-   * payload (inner type `from`) into the result promise's inner type `to`
-   * and fulfills the destination. Three shapes, mirroring the frontend's
-   * compatibility fence: identical types share the runtime's raw copy;
-   * a plain entry under a union result wraps into its arm; a sub-union
-   * entry re-tags arm-wise (canonical arm order makes the mapping a
-   * typeKey lookup). Rejections never reach adapters — the runtime copies
-   * them raw. */
-export declare function raceAdapterFor(emitter: CEmitter, from: IrType, to: IrType): string;
-/** Interned generator-resume result builder: reads the post-resume state
-   * of a generator into a fresh IteratorResult record `{ done, value }`.
-   * One helper per generator type (every next/return/throw on it shares
-   * the record shape). The value slot: while suspended, the yielded value
-   * moves out of the OUT slot into its arm of V (the yield type retags
-   * arm-wise into a superset V, the raceAdapterFor technique); once done,
-   * a present completion value wraps the same way and an empty OUT is
-   * JS's undefined (the interned undefined arm — or the dyn undefined
-   * when V is dyn, the any/unknown channel). */
-export declare function genResultThunkFor(emitter: CEmitter, genT: IrType & {
-    kind: "generator";
-}, recT: IrType & {
-    kind: "record";
-}): string;
-/** Interned per inner-type resolve thunk for ref-kind new Promise. */
-export declare function resolveThunkFor(emitter: CEmitter, inner: IrType): string;
-/** The EventEmitter listener invoke adapter for one listener signature:
- * `void (ScrClosure *, va_list)` — va_args exactly the listener's own
- * parameter prefix of the emit site's typed tail (the frontend unified
- * the tuple, so reads agree with writes), retains each refcounted value
- * (the callee owns +1 per the universal convention; f64/bool copy), and
- * calls cb->fn behind its exact C signature. Interned per func-type key. */
-export declare function emitterInvokeThunkFor(emitter: CEmitter, cbT: IrType): string;
-/** child_process.execFile's error-first callback adapter. The runtime owns
- * one +1 callback plus +1 error/output values at settlement; the adapter
- * wraps the nullable error with this program's union tags, transfers every
- * declared argument into the compiled closure, and releases ignored suffix
- * values for callbacks that declare fewer than three parameters. */
-export declare function execFileThunkFor(emitter: CEmitter, cbT: IrType & {
-    kind: "func";
-}): string;
-/** Fork IPC message adapter: parse results arrive as a borrowed dyn tree,
- * then validate into the listener's static JSON shape. Async listener
- * promises are deliberately released without attaching a handler, matching
- * EventEmitter's ignored return value. */
-export declare function ipcMessageThunkFor(emitter: CEmitter, cbT: IrType & {
-    kind: "func";
-}): string;
-/** Fork IPC send completion adapter. The nullable +1 runtime Error moves
- * into the callback's Error|null union, or is released for a zero-argument
- * callback. */
-export declare function ipcSendThunkFor(emitter: CEmitter, cbT: IrType & {
-    kind: "func";
-}): string;
-/** The stream-'data' listener invoke adapter for one listener func type:
- * the runtime's 'data' emission carries BOTH payload slots (ScrBytes *b,
- * ScrStr *s — exactly one non-NULL; encoded streams deliver strings),
- * and this thunk unwraps the listener's declared side. A listener
- * declaring the WRONG side for the stream's runtime mode gets a clear
- * TypeError instead of a type-confused payload (Node, untyped, would
- * just hand the value over — SEMANTICS.md). Zero-parameter listeners
- * ignore both slots; DYN-parameter listeners (the JS lane's adapter,
- * emitter.onDataDyn) box by tag, which is always right. */
-export declare function streamDataThunkFor(emitter: CEmitter, cbT: IrType): string;
-/** The stream option-callback invoke adapter for one (kind, callback
- * type): the runtime calls the user's read/write/final/destroy/transform/
- * flush closure through it. The stream rides first (the leading `this`
- * param every option callback's lifted fn takes); the user may have
- * declared any PREFIX of the Node signature, so the adapter passes
- * exactly the declared prefix (retaining each ref per the callee-owns
- * convention) and materializes the completion-callback closure only when
- * declared — an undeclared completion callback means the operation can
- * never complete, exactly Node. Kinds: "r" read(size), "w" write(chunk,
- * enc, cb), "f" final(cb), "d" destroy(err, cb), "t" transform(chunk,
- * enc, cb), "l" flush(cb). */
-export declare function streamCbThunkFor(emitter: CEmitter, kind: "r" | "w" | "f" | "d" | "t" | "l" | "e", cbT: IrType): string;