@scriptc/compiler 0.4.0 → 0.4.2

package/shims/undici/v5.ts

@@ -0,0 +1,119 @@
+// scriptc's built-in implementation of the `undici` package, 5.x API.
+//
+// Programs whose installed undici is 5.x compile this module in its place
+// (see packages/compiler/src/frontend/package-shims.ts). It implements the
+// HTTP/1.1 client subset over node:net / node:tls: Dispatcher, Client, Pool,
+// Agent, request(), buildConnector, errors, the global dispatcher, fetch and
+// the diagnostics_channel publications. Anything else undici exports is not
+// declared here, so using it is a compile-time error.
+import { Agent as CoreAgent } from "./core/agent.ts";
+import {
+  getGlobalDispatcher as coreGetGlobalDispatcher,
+  request as coreRequest,
+  setGlobalDispatcher as coreSetGlobalDispatcher,
+} from "./core/api.ts";
+import type { TopLevelRequestOptions } from "./core/api.ts";
+import { Client as CoreClient } from "./core/client.ts";
+import { buildConnector as coreBuildConnector } from "./core/connector.ts";
+import { Dispatcher } from "./core/dispatcher.ts";
+import type { ResponseData } from "./core/dispatcher.ts";
+import { undiciFetch } from "./core/fetch.ts";
+import type { UndiciRequestInit } from "./core/fetch.ts";
+import { Pool as CorePool, PoolStats as CorePoolStats } from "./core/pool.ts";
+import type {
+  AgentOptions,
+  ClientOptions,
+  Connector,
+  ConnectorBuildOptions,
+  ConnectorCallback,
+  ConnectorOptions,
+  DispatchOptions,
+  PoolOptions,
+  Profile,
+} from "./core/types.ts";
+import type { SocketInfo as CoreSocketInfo } from "./core/errors.ts";
+
+const profile: Profile = { major: 5 };
+
+export { Dispatcher };
+export type { DiagnosticsChannel } from "./core/diagnostics-types.ts";
+export * as errors from "./core/errors-v5.ts";
+
+export class Client extends CoreClient {
+  constructor(url: string | URL, options?: Client.Options) {
+    super(url, options, profile);
+  }
+}
+
+export declare namespace Client {
+  type Options = ClientOptions;
+  type SocketInfo = CoreSocketInfo;
+}
+
+export class Pool extends CorePool {
+  constructor(url: string | URL, options?: Pool.Options) {
+    super(url, options, profile);
+  }
+
+  __createClient(origin: URL, options: ClientOptions): Dispatcher {
+    return new Client(origin, options);
+  }
+}
+
+export declare namespace Pool {
+  type Options = PoolOptions;
+  type PoolStats = CorePoolStats;
+}
+
+export class Agent extends CoreAgent {
+  constructor(options?: Agent.Options) {
+    super(options, profile);
+  }
+
+  __createClient(origin: string | URL, options: PoolOptions): Dispatcher {
+    return new Client(origin, options);
+  }
+
+  __createPool(origin: string | URL, options: PoolOptions): Dispatcher {
+    return new Pool(origin, options);
+  }
+}
+
+export declare namespace Agent {
+  type Options = AgentOptions;
+  type DispatchOptions = import("./core/types.ts").DispatchOptions;
+}
+
+export function buildConnector(options?: buildConnector.BuildOptions): buildConnector.connector {
+  return coreBuildConnector(options ?? {});
+}
+
+export declare namespace buildConnector {
+  type BuildOptions = ConnectorBuildOptions;
+  type Options = ConnectorOptions;
+  type Callback = ConnectorCallback;
+  type connector = Connector;
+}
+
+export function setGlobalDispatcher(dispatcher: Dispatcher): void {
+  coreSetGlobalDispatcher(dispatcher);
+}
+
+export function getGlobalDispatcher(): Dispatcher {
+  return coreGetGlobalDispatcher(() => new Agent());
+}
+
+export function request(
+  url: string | URL,
+  options?: TopLevelRequestOptions,
+): Promise<ResponseData> {
+  return coreRequest(url, options, () => new Agent(), profile);
+}
+
+export function fetch(input: string | URL, init?: UndiciRequestInit): Promise<Response> {
+  return undiciFetch(input, init, () => new Agent(), profile);
+}
+
+// undici's Headers is the WHATWG class the runtime implements natively.
+export import Headers = globalThis.Headers;
+export type { DispatchOptions };

package/shims/undici/v7.ts

@@ -0,0 +1,119 @@
+// scriptc's built-in implementation of the `undici` package, 7.x API.
+//
+// Programs whose installed undici is 7.x compile this module in its place
+// (see packages/compiler/src/frontend/package-shims.ts). It implements the
+// HTTP/1.1 client subset over node:net / node:tls: Dispatcher, Client, Pool,
+// Agent, request(), buildConnector, errors, the global dispatcher, fetch and
+// the diagnostics_channel publications. Anything else undici exports is not
+// declared here, so using it is a compile-time error.
+import { Agent as CoreAgent } from "./core/agent.ts";
+import {
+  getGlobalDispatcher as coreGetGlobalDispatcher,
+  request as coreRequest,
+  setGlobalDispatcher as coreSetGlobalDispatcher,
+} from "./core/api.ts";
+import type { TopLevelRequestOptions } from "./core/api.ts";
+import { Client as CoreClient } from "./core/client.ts";
+import { buildConnector as coreBuildConnector } from "./core/connector.ts";
+import { Dispatcher } from "./core/dispatcher.ts";
+import type { ResponseData } from "./core/dispatcher.ts";
+import { undiciFetch } from "./core/fetch.ts";
+import type { UndiciRequestInit } from "./core/fetch.ts";
+import { Pool as CorePool, PoolStats as CorePoolStats } from "./core/pool.ts";
+import type {
+  AgentOptions,
+  ClientOptions,
+  Connector,
+  ConnectorBuildOptions,
+  ConnectorCallback,
+  ConnectorOptions,
+  DispatchOptions,
+  PoolOptions,
+  Profile,
+} from "./core/types.ts";
+import type { SocketInfo as CoreSocketInfo } from "./core/errors.ts";
+
+const profile: Profile = { major: 7 };
+
+export { Dispatcher };
+export type { DiagnosticsChannel } from "./core/diagnostics-types.ts";
+export * as errors from "./core/errors-v7.ts";
+
+export class Client extends CoreClient {
+  constructor(url: string | URL, options?: Client.Options) {
+    super(url, options, profile);
+  }
+}
+
+export declare namespace Client {
+  type Options = ClientOptions;
+  type SocketInfo = CoreSocketInfo;
+}
+
+export class Pool extends CorePool {
+  constructor(url: string | URL, options?: Pool.Options) {
+    super(url, options, profile);
+  }
+
+  __createClient(origin: URL, options: ClientOptions): Dispatcher {
+    return new Client(origin, options);
+  }
+}
+
+export declare namespace Pool {
+  type Options = PoolOptions;
+  type PoolStats = CorePoolStats;
+}
+
+export class Agent extends CoreAgent {
+  constructor(options?: Agent.Options) {
+    super(options, profile);
+  }
+
+  __createClient(origin: string | URL, options: PoolOptions): Dispatcher {
+    return new Client(origin, options);
+  }
+
+  __createPool(origin: string | URL, options: PoolOptions): Dispatcher {
+    return new Pool(origin, options);
+  }
+}
+
+export declare namespace Agent {
+  type Options = AgentOptions;
+  type DispatchOptions = import("./core/types.ts").DispatchOptions;
+}
+
+export function buildConnector(options?: buildConnector.BuildOptions): buildConnector.connector {
+  return coreBuildConnector(options ?? {});
+}
+
+export declare namespace buildConnector {
+  type BuildOptions = ConnectorBuildOptions;
+  type Options = ConnectorOptions;
+  type Callback = ConnectorCallback;
+  type connector = Connector;
+}
+
+export function setGlobalDispatcher(dispatcher: Dispatcher): void {
+  coreSetGlobalDispatcher(dispatcher);
+}
+
+export function getGlobalDispatcher(): Dispatcher {
+  return coreGetGlobalDispatcher(() => new Agent());
+}
+
+export function request(
+  url: string | URL,
+  options?: TopLevelRequestOptions,
+): Promise<ResponseData> {
+  return coreRequest(url, options, () => new Agent(), profile);
+}
+
+export function fetch(input: string | URL, init?: UndiciRequestInit): Promise<Response> {
+  return undiciFetch(input, init, () => new Agent(), profile);
+}
+
+// undici's Headers is the WHATWG class the runtime implements natively.
+export import Headers = globalThis.Headers;
+export type { DispatchOptions };

package/surface-manifest.json

@@ -1,6 +1,6 @@
 {
   "schemaVersion": 2,
-  "compilerVersion": "0.4.0",
+  "compilerVersion": "0.4.2",
   "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.",
@@ -496,25 +496,19 @@
       "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 public and private KeyObjects — neither exists in the static runtime, so no faithful lowering can be small; the lowered crypto surface is hashing, randomness, secret KeyObjects, and the introspection statics"
+      "status": "static"
     },
     {
       "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 public and private KeyObjects — neither exists in the static runtime, so no faithful lowering can be small; the lowered crypto surface is hashing, randomness, secret KeyObjects, and the introspection statics"
+      "status": "static"
     },
     {
       "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 public and private KeyObjects — neither exists in the static runtime, so no faithful lowering can be small; the lowered crypto surface is hashing, randomness, secret KeyObjects, and the introspection statics"
+      "status": "static"
     },
     {
       "id": "node-builtin.crypto.createHash",
@@ -532,17 +526,13 @@
       "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 public and private KeyObjects — neither exists in the static runtime, so no faithful lowering can be small; the lowered crypto surface is hashing, randomness, secret KeyObjects, and the introspection statics"
+      "status": "static"
     },
     {
       "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 public and private KeyObjects — neither exists in the static runtime, so no faithful lowering can be small; the lowered crypto surface is hashing, randomness, secret KeyObjects, and the introspection statics"
+      "status": "static"
     },
     {
       "id": "node-builtin.crypto.createSecretKey",
@@ -554,17 +544,13 @@
       "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 public and private KeyObjects — neither exists in the static runtime, so no faithful lowering can be small; the lowered crypto surface is hashing, randomness, secret KeyObjects, and the introspection statics"
+      "status": "static"
     },
     {
       "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 public and private KeyObjects — neither exists in the static runtime, so no faithful lowering can be small; the lowered crypto surface is hashing, randomness, secret KeyObjects, and the introspection statics"
+      "status": "static"
     },
     {
       "id": "node-builtin.crypto.diffieHellman",
@@ -572,7 +558,7 @@
       "name": "crypto.diffieHellman",
       "status": "unsupported",
       "code": "SC2020",
-      "note": "asymmetric-key operations need a public-key stack (bignum, RSA/EC/EdDSA math) and public and private KeyObjects — neither exists in the static runtime, so no faithful lowering can be small; the lowered crypto surface is hashing, randomness, secret KeyObjects, and the introspection statics"
+      "note": "crypto.diffieHellman takes DH, EC or X25519 KeyObjects and has no lowering; the objects of createDiffieHellman, getDiffieHellman and createECDH compute shared secrets"
     },
     {
       "id": "node-builtin.crypto.generateKey",
@@ -584,17 +570,13 @@
       "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 public and private KeyObjects — neither exists in the static runtime, so no faithful lowering can be small; the lowered crypto surface is hashing, randomness, secret KeyObjects, and the introspection statics"
+      "status": "static"
     },
     {
       "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 public and private KeyObjects — neither exists in the static runtime, so no faithful lowering can be small; the lowered crypto surface is hashing, randomness, secret KeyObjects, and the introspection statics"
+      "status": "static"
     },
     {
       "id": "node-builtin.crypto.generateKeySync",
@@ -614,9 +596,7 @@
       "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 public and private KeyObjects — neither exists in the static runtime, so no faithful lowering can be small; the lowered crypto surface is hashing, randomness, secret KeyObjects, and the introspection statics"
+      "status": "static"
     },
     {
       "id": "node-builtin.crypto.getRandomValues",
@@ -660,7 +640,7 @@
       "name": "crypto.privateDecrypt",
       "status": "unsupported",
       "code": "SC2020",
-      "note": "asymmetric-key operations need a public-key stack (bignum, RSA/EC/EdDSA math) and public and private KeyObjects — neither exists in the static runtime, so no faithful lowering can be small; the lowered crypto surface is hashing, randomness, secret KeyObjects, and the introspection statics"
+      "note": "RSA encryption has no lowering — the asymmetric crypto surface is RSA and EC KeyObjects (generateKeyPair, createPrivateKey, createPublicKey), sign, verify, createSign, createVerify, createECDH, and createDiffieHellman"
     },
     {
       "id": "node-builtin.crypto.privateEncrypt",
@@ -668,7 +648,7 @@
       "name": "crypto.privateEncrypt",
       "status": "unsupported",
       "code": "SC2020",
-      "note": "asymmetric-key operations need a public-key stack (bignum, RSA/EC/EdDSA math) and public and private KeyObjects — neither exists in the static runtime, so no faithful lowering can be small; the lowered crypto surface is hashing, randomness, secret KeyObjects, and the introspection statics"
+      "note": "RSA encryption has no lowering — the asymmetric crypto surface is RSA and EC KeyObjects (generateKeyPair, createPrivateKey, createPublicKey), sign, verify, createSign, createVerify, createECDH, and createDiffieHellman"
     },
     {
       "id": "node-builtin.crypto.publicDecrypt",
@@ -676,7 +656,7 @@
       "name": "crypto.publicDecrypt",
       "status": "unsupported",
       "code": "SC2020",
-      "note": "asymmetric-key operations need a public-key stack (bignum, RSA/EC/EdDSA math) and public and private KeyObjects — neither exists in the static runtime, so no faithful lowering can be small; the lowered crypto surface is hashing, randomness, secret KeyObjects, and the introspection statics"
+      "note": "RSA encryption has no lowering — the asymmetric crypto surface is RSA and EC KeyObjects (generateKeyPair, createPrivateKey, createPublicKey), sign, verify, createSign, createVerify, createECDH, and createDiffieHellman"
     },
     {
       "id": "node-builtin.crypto.publicEncrypt",
@@ -684,7 +664,7 @@
       "name": "crypto.publicEncrypt",
       "status": "unsupported",
       "code": "SC2020",
-      "note": "asymmetric-key operations need a public-key stack (bignum, RSA/EC/EdDSA math) and public and private KeyObjects — neither exists in the static runtime, so no faithful lowering can be small; the lowered crypto surface is hashing, randomness, secret KeyObjects, and the introspection statics"
+      "note": "RSA encryption has no lowering — the asymmetric crypto surface is RSA and EC KeyObjects (generateKeyPair, createPrivateKey, createPublicKey), sign, verify, createSign, createVerify, createECDH, and createDiffieHellman"
     },
     {
       "id": "node-builtin.crypto.randomBytes",
@@ -746,9 +726,7 @@
       "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 public and private KeyObjects — neither exists in the static runtime, so no faithful lowering can be small; the lowered crypto surface is hashing, randomness, secret KeyObjects, and the introspection statics"
+      "status": "static"
     },
     {
       "id": "node-builtin.crypto.timingSafeEqual",
@@ -760,17 +738,7 @@
       "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 public and private KeyObjects — neither exists in the static runtime, so no faithful lowering can be small; the lowered crypto surface is hashing, randomness, secret KeyObjects, 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"
+      "status": "static"
     },
     {
       "id": "node-builtin.dgram",
@@ -5721,14 +5689,14 @@
       "kind": "stdlib",
       "name": "CryptoKey",
       "status": "static",
-      "note": "secret HMAC keys with type, extractable, algorithm and usages, and instanceof CryptoKey"
+      "note": "secret HMAC, AES, PBKDF2 and HKDF keys with type, extractable, algorithm and usages, and instanceof CryptoKey"
     },
     {
       "id": "stdlib.webcrypto.subtle",
       "kind": "stdlib",
       "name": "globalThis.crypto.subtle",
       "status": "static",
-      "note": "importKey('raw') for HMAC keys, HMAC sign and verify, and SHA-1/SHA-2 digest; other methods, algorithms and key formats are refused"
+      "note": "importKey, generateKey and exportKey (raw and jwk) for HMAC and AES keys, importKey for PBKDF2 and HKDF keys, AES-GCM, AES-CBC and AES-CTR encrypt and decrypt, wrapKey and unwrapKey of secret keys with AES-KW or those ciphers, PBKDF2 and HKDF deriveBits and deriveKey, HMAC sign and verify, generateKey, importKey, exportKey, sign and verify for ECDSA, Ed25519, RSASSA-PKCS1-v1_5 and RSA-PSS, and SHA-1/SHA-2 digest; other methods, algorithms and key formats are refused"
     },
     {
       "id": "syntax.async-generators",