@scriptc/compiler 0.0.12 → 0.0.13

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@scriptc/compiler",
-  "version": "0.0.12",
+  "version": "0.0.13",
   "description": "The scriptc compiler — TypeScript/JavaScript frontend, typed IR, LLVM and C backends",
   "license": "Apache-2.0",
   "homepage": "https://scriptc.dev",
@@ -30,7 +30,7 @@
   "dependencies": {
     "typescript": "7.0.2",
     "typescript5": "npm:typescript@5.9.3",
-    "@scriptc/runtime": "0.0.12"
+    "@scriptc/runtime": "0.0.13"
   },
   "scripts": {
     "build": "node node_modules/typescript5/bin/tsc -p tsconfig.json"

package/surface-manifest.json

@@ -1,6 +1,6 @@
 {
   "schemaVersion": 1,
-  "compilerVersion": "0.0.12",
+  "compilerVersion": "0.0.13",
   "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.",
@@ -519,6 +519,46 @@
       "status": "static",
       "note": "recognized module (bare and node:-prefixed specifiers)"
     },
+    {
+      "id": "node-builtin.crypto.createCipheriv",
+      "kind": "node-builtin",
+      "name": "crypto.createCipheriv",
+      "status": "unsupported",
+      "code": "SC2020",
+      "note": "symmetric ciphers need a cipher stack the static runtime does not vendor — the lowered crypto surface is hashing, randomness, and the introspection statics"
+    },
+    {
+      "id": "node-builtin.crypto.createDecipheriv",
+      "kind": "node-builtin",
+      "name": "crypto.createDecipheriv",
+      "status": "unsupported",
+      "code": "SC2020",
+      "note": "symmetric ciphers need a cipher stack the static runtime does not vendor — the lowered crypto surface is hashing, randomness, and the introspection statics"
+    },
+    {
+      "id": "node-builtin.crypto.createDiffieHellman",
+      "kind": "node-builtin",
+      "name": "crypto.createDiffieHellman",
+      "status": "unsupported",
+      "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.createDiffieHellmanGroup",
+      "kind": "node-builtin",
+      "name": "crypto.createDiffieHellmanGroup",
+      "status": "unsupported",
+      "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.createECDH",
+      "kind": "node-builtin",
+      "name": "crypto.createECDH",
+      "status": "unsupported",
+      "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.createHash",
       "kind": "node-builtin",
@@ -527,6 +567,182 @@
       "code": "SC2020",
       "note": "the one lowered shape is the composed chain createHash(\"sha256\").update(data).digest(\"hex\") — the Hash handle itself has no lowering"
     },
+    {
+      "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"
+    },
+    {
+      "id": "node-builtin.crypto.createPrivateKey",
+      "kind": "node-builtin",
+      "name": "crypto.createPrivateKey",
+      "status": "unsupported",
+      "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.createPublicKey",
+      "kind": "node-builtin",
+      "name": "crypto.createPublicKey",
+      "status": "unsupported",
+      "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.createSecretKey",
+      "kind": "node-builtin",
+      "name": "crypto.createSecretKey",
+      "status": "unsupported",
+      "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.createSign",
+      "kind": "node-builtin",
+      "name": "crypto.createSign",
+      "status": "unsupported",
+      "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.createVerify",
+      "kind": "node-builtin",
+      "name": "crypto.createVerify",
+      "status": "unsupported",
+      "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.diffieHellman",
+      "kind": "node-builtin",
+      "name": "crypto.diffieHellman",
+      "status": "unsupported",
+      "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.generateKey",
+      "kind": "node-builtin",
+      "name": "crypto.generateKey",
+      "status": "unsupported",
+      "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.generateKeyPair",
+      "kind": "node-builtin",
+      "name": "crypto.generateKeyPair",
+      "status": "unsupported",
+      "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.generateKeyPairSync",
+      "kind": "node-builtin",
+      "name": "crypto.generateKeyPairSync",
+      "status": "unsupported",
+      "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.generateKeySync",
+      "kind": "node-builtin",
+      "name": "crypto.generateKeySync",
+      "status": "unsupported",
+      "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.getCipherInfo",
+      "kind": "node-builtin",
+      "name": "crypto.getCipherInfo",
+      "status": "unsupported",
+      "code": "SC2020",
+      "note": "symmetric ciphers need a cipher stack the static runtime does not vendor — the lowered crypto surface is hashing, randomness, and the introspection statics"
+    },
+    {
+      "id": "node-builtin.crypto.getDiffieHellman",
+      "kind": "node-builtin",
+      "name": "crypto.getDiffieHellman",
+      "status": "unsupported",
+      "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.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"
+    },
+    {
+      "id": "node-builtin.crypto.hkdf",
+      "kind": "node-builtin",
+      "name": "crypto.hkdf",
+      "status": "unsupported",
+      "code": "SC2020",
+      "note": "key-derivation functions have no lowering yet — the lowered crypto surface is hashing, randomness, and the introspection statics"
+    },
+    {
+      "id": "node-builtin.crypto.hkdfSync",
+      "kind": "node-builtin",
+      "name": "crypto.hkdfSync",
+      "status": "unsupported",
+      "code": "SC2020",
+      "note": "key-derivation functions have no lowering yet — the lowered crypto surface is hashing, randomness, and the introspection statics"
+    },
+    {
+      "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"
+    },
+    {
+      "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"
+    },
+    {
+      "id": "node-builtin.crypto.privateDecrypt",
+      "kind": "node-builtin",
+      "name": "crypto.privateDecrypt",
+      "status": "unsupported",
+      "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.privateEncrypt",
+      "kind": "node-builtin",
+      "name": "crypto.privateEncrypt",
+      "status": "unsupported",
+      "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.publicDecrypt",
+      "kind": "node-builtin",
+      "name": "crypto.publicDecrypt",
+      "status": "unsupported",
+      "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.publicEncrypt",
+      "kind": "node-builtin",
+      "name": "crypto.publicEncrypt",
+      "status": "unsupported",
+      "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.randomBytes",
       "kind": "node-builtin",
@@ -539,6 +755,54 @@
       "name": "crypto.randomUUID",
       "status": "static"
     },
+    {
+      "id": "node-builtin.crypto.scrypt",
+      "kind": "node-builtin",
+      "name": "crypto.scrypt",
+      "status": "unsupported",
+      "code": "SC2020",
+      "note": "key-derivation functions have no lowering yet — the lowered crypto surface is hashing, randomness, and the introspection statics"
+    },
+    {
+      "id": "node-builtin.crypto.scryptSync",
+      "kind": "node-builtin",
+      "name": "crypto.scryptSync",
+      "status": "unsupported",
+      "code": "SC2020",
+      "note": "key-derivation functions have no lowering yet — the lowered crypto surface is hashing, randomness, and the introspection statics"
+    },
+    {
+      "id": "node-builtin.crypto.setFips",
+      "kind": "node-builtin",
+      "name": "crypto.setFips",
+      "status": "unsupported",
+      "code": "SC2020",
+      "note": "a compiled binary has no FIPS provider to enable, and Node itself throws on setFips(true) in a non-FIPS build — getFips() answers 0 here"
+    },
+    {
+      "id": "node-builtin.crypto.sign",
+      "kind": "node-builtin",
+      "name": "crypto.sign",
+      "status": "unsupported",
+      "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.verify",
+      "kind": "node-builtin",
+      "name": "crypto.verify",
+      "status": "unsupported",
+      "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.webcrypto",
+      "kind": "node-builtin",
+      "name": "crypto.webcrypto",
+      "status": "unsupported",
+      "code": "SC2020",
+      "note": "the WebCrypto object has no lowering — the lowered crypto surface is randomUUID, randomBytes, and the createHash chain"
+    },
     {
       "id": "node-builtin.dgram",
       "kind": "node-builtin",
@@ -1451,6 +1715,27 @@
       "code": "SC2020",
       "note": "the lowered form is createSecureContext({ cert, key }) — an opaque SecureContext handle for SNI callbacks (http2.createSecureServer accepts SNICallback); other options fence by name"
     },
+    {
+      "id": "node-builtin.tls.getCACertificates",
+      "kind": "node-builtin",
+      "name": "tls.getCACertificates",
+      "status": "static",
+      "note": "the per-type cached PEM bundle: 'default' and 'extra' additionally read NODE_EXTRA_CA_CERTS, 'system' the platform store"
+    },
+    {
+      "id": "node-builtin.tls.rootCertificates",
+      "kind": "node-builtin",
+      "name": "tls.rootCertificates",
+      "status": "static",
+      "note": "the value read; answers the same bundled array as getCACertificates('bundled'), but fenced under its own id — the spelling an author writes"
+    },
+    {
+      "id": "node-builtin.tls.setDefaultCACertificates",
+      "kind": "node-builtin",
+      "name": "tls.setDefaultCACertificates",
+      "status": "static",
+      "note": "replaces the default set and the client trust anchors for the rest of the process"
+    },
     {
       "id": "node-builtin.tty",
       "kind": "node-builtin",