@scriptc/compiler 0.1.1 → 0.1.3

package/surface-manifest.json

@@ -1,6 +1,6 @@
 {
   "schemaVersion": 1,
-  "compilerVersion": "0.1.1",
+  "compilerVersion": "0.1.3",
   "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.",
@@ -185,7 +185,7 @@
       "name": "converting typed values to 'unknown'",
       "status": "unsupported",
       "code": "SC1101",
-      "note": "numbers, strings, booleans, JSON-safe records/arrays/unions (a deep copy — the 'unknown' value never aliases the original), and functions over those (boxed, identity preserved) convert into 'unknown' slots; this value's type has no dynamic representation yet"
+      "note": "numbers, strings, booleans, JSON-safe records/arrays/unions (a deep copy), functions, program class instances, and supported native handles convert into 'unknown' slots; functions, exact-class round trips, and handles preserve identity, while this value's type has no dynamic representation yet"
     },
     {
       "id": "diagnostic.sc1120",
@@ -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"
     },
@@ -566,17 +566,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 +674,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 +696,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 +742,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 +792,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",
@@ -2888,7 +2896,7 @@
       "name": "ReadableStream.[Symbol.asyncIterator]",
       "status": "unsupported",
       "code": "SC2020",
-      "note": "Node 24.15.0 / Undici 7.24.4; symbol-keyed async iterator handles have no compiler lowering in either tier; use values() with --dynamic"
+      "note": "Node 24.15.0 / Undici 7.24.4; direct for-await consumption compiles statically; explicit symbol access and stored iterator handles have no compiler lowering in either tier"
     },
     {
       "id": "stdlib.readable-stream.tee",
@@ -2904,7 +2912,7 @@
       "name": "ReadableStream.values",
       "status": "dynamic-only",
       "code": "SC2020",
-      "note": "Node 24.15.0 / Undici 7.24.4; the wider Web Streams graph is outside the native readable-stream slice"
+      "note": "Node 24.15.0 / Undici 7.24.4; direct for-await consumption compiles statically; storing or driving the first-class iterator handle requires --dynamic"
     },
     {
       "id": "stdlib.request.arrayBuffer",
@@ -3538,6 +3546,27 @@
       "status": "static",
       "note": "the lowered call form takes no arguments"
     },
+    {
+      "id": "syntax.async-generators",
+      "kind": "syntax",
+      "name": "typed async generator functions and methods",
+      "status": "static",
+      "note": "lazy bodies with queued next/return/throw requests, await, direct yield, and Node-compatible completion promises"
+    },
+    {
+      "id": "syntax.await-using-declarations",
+      "kind": "syntax",
+      "name": "block- and function-scoped await using declarations",
+      "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",
@@ -3650,6 +3679,41 @@
       "status": "unsupported",
       "code": "SC1090"
     },
+    {
+      "id": "syntax.finally-abrupt-completions",
+      "kind": "syntax",
+      "name": "abrupt completions through finally",
+      "status": "static",
+      "note": "return, throw, break, continue, and labeled jumps run crossed finally blocks; a finally completion replaces the pending one"
+    },
+    {
+      "id": "syntax.for-await-async-generators",
+      "kind": "syntax",
+      "name": "for await over typed async generators",
+      "status": "static",
+      "note": "awaits each IteratorResult and closes the generator on early break"
+    },
+    {
+      "id": "syntax.for-await-class-async-iterators",
+      "kind": "syntax",
+      "name": "for await over statically represented class async iterators",
+      "status": "static",
+      "note": "drives zero-parameter next methods returning Promise<{ value, done? }> and awaits an optional zero-parameter return method on abrupt completion"
+    },
+    {
+      "id": "syntax.for-await-readable-streams",
+      "kind": "syntax",
+      "name": "for await over Node Readable and Web ReadableStream values",
+      "status": "static",
+      "note": "closes on every abrupt completion, with destroyOnReturn and preventCancel literal options"
+    },
+    {
+      "id": "syntax.for-using-of",
+      "kind": "syntax",
+      "name": "for (using ... of ...) over arrays",
+      "status": "static",
+      "note": "each array element is disposed at the end of its iteration, including break and continue paths"
+    },
     {
       "id": "syntax.namespaces",
       "kind": "syntax",
@@ -3671,6 +3735,13 @@
       "status": "unsupported",
       "code": "SC1090"
     },
+    {
+      "id": "syntax.using-declarations",
+      "kind": "syntax",
+      "name": "block- and function-scoped using declarations",
+      "status": "static",
+      "note": "LIFO disposal on normal and abrupt scope exit through [Symbol.dispose]"
+    },
     {
       "id": "syntax.with-statements",
       "kind": "syntax",