@scriptc/compiler 0.4.1 → 0.4.2

package/dist/frontend/lowering/structural-positions.js

@@ -0,0 +1,108 @@
+import * as ts from "../ts7/adapter.js";
+import { keyedHelperName } from "./stable-names.js";
+/** The declaration kinds whose names anchor the positions inside them. */
+const ANCHOR_KINDS = new Set([
+    ts.SyntaxKind.FunctionDeclaration,
+    ts.SyntaxKind.ClassDeclaration,
+    ts.SyntaxKind.ClassExpression,
+    ts.SyntaxKind.VariableDeclaration,
+    ts.SyntaxKind.MethodDeclaration,
+    ts.SyntaxKind.GetAccessor,
+    ts.SyntaxKind.SetAccessor,
+    ts.SyntaxKind.PropertyDeclaration,
+    ts.SyntaxKind.PropertyAssignment,
+    ts.SyntaxKind.ModuleDeclaration,
+    ts.SyntaxKind.EnumDeclaration,
+    ts.SyntaxKind.Constructor,
+    ts.SyntaxKind.InterfaceDeclaration,
+    ts.SyntaxKind.TypeAliasDeclaration,
+]);
+/** The name of `node` when it is a named declaration that anchors the
+ * positions of the nodes inside it, or null. */
+function anchorName(node) {
+    return ts.declarationNameAt(node, node.index, ANCHOR_KINDS);
+}
+/** The nearest enclosing anchor of `node` (not `node` itself), or its
+ * source file. */
+function anchorOf(node) {
+    for (let parent = node.parent; parent !== undefined; parent = parent.parent) {
+        if (ts.isSourceFile(parent) || anchorName(parent) !== null)
+            return parent;
+    }
+    return ts.getSourceFileOfNode(node);
+}
+/** Source positions that stay the same when code outside the enclosing
+ * declaration changes. A node's structural position is its file, the chain
+ * of enclosing named declarations (each with its kind, its name and its
+ * ordinal among the declarations of the same kind and name in its own
+ * anchor), and its ordinal among the nodes of its kind whose nearest anchor
+ * is the same declaration. Editing another declaration, or code nested in another
+ * named declaration of the same anchor, leaves the position unchanged. */
+export class StructuralPositions {
+    fileKey;
+    /** Per anchor and key: the indices of the nodes with that key whose
+     * nearest anchor it is, in preorder (anchoredNodes). */
+    nodesByKey = new Map();
+    paths = new Map();
+    /** `fileKey` names a source file in positions (its file name when
+     * absent). */
+    constructor(fileKey) {
+        this.fileKey = fileKey;
+    }
+    /** The ordinal of `node` among the nodes of `anchor` with its key. */
+    ordinalIn(anchor, node, key) {
+        let byKey = this.nodesByKey.get(anchor);
+        if (byKey === undefined)
+            this.nodesByKey.set(anchor, (byKey = new Map()));
+        let indices = byKey.get(key);
+        if (indices === undefined) {
+            indices = ts.anchoredNodes(anchor, key, ANCHOR_KINDS);
+            byKey.set(key, indices);
+        }
+        // Indices increase in preorder.
+        let low = 0;
+        let high = indices.length - 1;
+        while (low <= high) {
+            const middle = (low + high) >> 1;
+            const at = indices[middle];
+            if (at === node.index)
+                return middle;
+            if (at < node.index)
+                low = middle + 1;
+            else
+                high = middle - 1;
+        }
+        return -1;
+    }
+    /** The anchor chain of `anchor` from the file down. */
+    pathOf(anchor) {
+        const cached = this.paths.get(anchor);
+        if (cached !== undefined)
+            return cached;
+        let path;
+        if (ts.isSourceFile(anchor))
+            path = this.fileKey?.(anchor) ?? anchor.fileName;
+        else {
+            const parent = anchorOf(anchor);
+            // The kind keeps declarations of one name apart: a getter and its
+            // setter, or a class and the namespace merged with it.
+            const key = `${anchor.kind}:${anchorName(anchor)}`;
+            path = `${this.pathOf(parent)}/${key}#${this.ordinalIn(parent, anchor, key)}`;
+        }
+        this.paths.set(anchor, path);
+        return path;
+    }
+    /** The structural position of `node`. */
+    of(node) {
+        const anchor = anchorOf(node);
+        const name = anchorName(node);
+        const key = name === null ? `${node.kind}` : `${node.kind}:${name}`;
+        return `${this.pathOf(anchor)}|${key}#${this.ordinalIn(anchor, node, key)}`;
+    }
+}
+/** A short tag for `node`'s structural position, for names that must stay
+ * unique per source node (class expressions, namespace blocks). */
+export function positionTag(owner, node) {
+    return keyedHelperName(owner, "", owner.positions.of(node), "");
+}
+//# sourceMappingURL=structural-positions.js.map

package/dist/frontend/lowering/structural-positions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"structural-positions.js","sourceRoot":"","sources":["../../../src/frontend/lowering/structural-positions.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,mBAAmB,CAAC;AACxC,OAAO,EAAE,eAAe,EAAuB,MAAM,mBAAmB,CAAC;AAEzE,0EAA0E;AAC1E,MAAM,YAAY,GAAwB,IAAI,GAAG,CAAS;IACxD,EAAE,CAAC,UAAU,CAAC,mBAAmB;IACjC,EAAE,CAAC,UAAU,CAAC,gBAAgB;IAC9B,EAAE,CAAC,UAAU,CAAC,eAAe;IAC7B,EAAE,CAAC,UAAU,CAAC,mBAAmB;IACjC,EAAE,CAAC,UAAU,CAAC,iBAAiB;IAC/B,EAAE,CAAC,UAAU,CAAC,WAAW;IACzB,EAAE,CAAC,UAAU,CAAC,WAAW;IACzB,EAAE,CAAC,UAAU,CAAC,mBAAmB;IACjC,EAAE,CAAC,UAAU,CAAC,kBAAkB;IAChC,EAAE,CAAC,UAAU,CAAC,iBAAiB;IAC/B,EAAE,CAAC,UAAU,CAAC,eAAe;IAC7B,EAAE,CAAC,UAAU,CAAC,WAAW;IACzB,EAAE,CAAC,UAAU,CAAC,oBAAoB;IAClC,EAAE,CAAC,UAAU,CAAC,oBAAoB;CACnC,CAAC,CAAC;AAEH;gDACgD;AAChD,SAAS,UAAU,CAAC,IAAa;IAC/B,OAAO,EAAE,CAAC,iBAAiB,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;AAC9D,CAAC;AAED;kBACkB;AAClB,SAAS,QAAQ,CAAC,IAAa;IAC7B,KAAK,IAAI,MAAM,GAAG,IAAI,CAAC,MAAM,EAAE,MAAM,KAAK,SAAS,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC;QAC5E,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,UAAU,CAAC,MAAM,CAAC,KAAK,IAAI;YAAE,OAAO,MAAM,CAAC;IAC5E,CAAC;IACD,OAAO,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;AACtC,CAAC;AAED;;;;;;0EAM0E;AAC1E,MAAM,OAAO,mBAAmB;IAQD,OAAO;IAPpC;4DACwD;IACvC,UAAU,GAAG,IAAI,GAAG,EAAkC,CAAC;IACvD,KAAK,GAAG,IAAI,GAAG,EAAmB,CAAC;IAEpD;kBACc;IACd,YAA6B,OAAuC;uBAAvC,OAAO;IAAmC,CAAC;IAExE,sEAAsE;IAC9D,SAAS,CAAC,MAAe,EAAE,IAAa,EAAE,GAAW;QAC3D,IAAI,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACxC,IAAI,KAAK,KAAK,SAAS;YAAE,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,KAAK,GAAG,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC;QAC1E,IAAI,OAAO,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC7B,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,OAAO,GAAG,EAAE,CAAC,aAAa,CAAC,MAAM,EAAE,GAAG,EAAE,YAAY,CAAC,CAAC;YACtD,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;QAC1B,CAAC;QACD,gCAAgC;QAChC,IAAI,GAAG,GAAG,CAAC,CAAC;QACZ,IAAI,IAAI,GAAG,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC;QAC9B,OAAO,GAAG,IAAI,IAAI,EAAE,CAAC;YACnB,MAAM,MAAM,GAAG,CAAC,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC;YACjC,MAAM,EAAE,GAAG,OAAO,CAAC,MAAM,CAAE,CAAC;YAC5B,IAAI,EAAE,KAAK,IAAI,CAAC,KAAK;gBAAE,OAAO,MAAM,CAAC;YACrC,IAAI,EAAE,GAAG,IAAI,CAAC,KAAK;gBAAE,GAAG,GAAG,MAAM,GAAG,CAAC,CAAC;;gBACjC,IAAI,GAAG,MAAM,GAAG,CAAC,CAAC;QACzB,CAAC;QACD,OAAO,CAAC,CAAC,CAAC;IACZ,CAAC;IAED,uDAAuD;IAC/C,MAAM,CAAC,MAAe;QAC5B,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACtC,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,MAAM,CAAC;QACxC,IAAI,IAAY,CAAC;QACjB,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC;YAAE,IAAI,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,QAAQ,CAAC;aACzE,CAAC;YACJ,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC;YAChC,kEAAkE;YAClE,uDAAuD;YACvD,MAAM,GAAG,GAAG,GAAG,MAAM,CAAC,IAAI,IAAI,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC;YACnD,IAAI,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,GAAG,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,MAAM,EAAE,GAAG,CAAC,EAAE,CAAC;QAChF,CAAC;QACD,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QAC7B,OAAO,IAAI,CAAC;IACd,CAAC;IAED,yCAAyC;IACzC,EAAE,CAAC,IAAa;QACd,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;QAC9B,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;QAC9B,MAAM,GAAG,GAAG,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,IAAI,IAAI,IAAI,EAAE,CAAC;QACpE,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,GAAG,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,GAAG,CAAC,EAAE,CAAC;IAC9E,CAAC;CACF;AAOD;mEACmE;AACnE,MAAM,UAAU,WAAW,CAAC,KAAuB,EAAE,IAAa;IAChE,OAAO,eAAe,CAAC,KAAK,EAAE,EAAE,EAAE,KAAK,CAAC,SAAS,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC;AAClE,CAAC"}

package/dist/frontend/lowering/surfaces.js

@@ -1409,6 +1409,16 @@ export const BUILTIN_MODULE_FNS = {
         createSecretKey: { fn: "crypto.createSecretKey", params: [DYN, DYN], result: DYN },
         generateKeySync: { fn: "crypto.generateKeySync", params: [DYN, DYN], result: DYN },
         generateKey: { fn: "crypto.generateKeyCb", params: [], result: VOID },
+        // Asymmetric keys and signatures (lowerPkiCall): checked-dynamic
+        // arguments, results converted to the call site's type.
+        createPrivateKey: { fn: "crypto.createPrivateKey", params: [DYN], result: DYN },
+        createPublicKey: { fn: "crypto.createPublicKey", params: [DYN], result: DYN },
+        createSign: { fn: "crypto.createSign", params: [DYN], result: DYN },
+        createVerify: { fn: "crypto.createVerify", params: [DYN], result: DYN },
+        generateKeyPairSync: { fn: "crypto.generateKeyPairSync", params: [], result: DYN },
+        generateKeyPair: { fn: "crypto.generateKeyPairCb", params: [], result: VOID },
+        sign: { fn: "crypto.signOneshot", params: [], result: DYN },
+        verify: { fn: "crypto.verifyOneshot", params: [], result: DYN },
         pbkdf2Sync: {
             fn: "crypto.pbkdf2",
             params: [BYTES_U8, BYTES_U8, F64, F64, STRING],
@@ -1430,6 +1440,12 @@ export const BUILTIN_MODULE_FNS = {
         // A checked-dynamic curve name; the result is a native ECDH handle
         // (lowerCreateEcdh).
         createECDH: { fn: "crypto.ecdhNew", params: [DYN], result: DYN },
+        // Checked-dynamic arguments; the result is a native DiffieHellman or
+        // DiffieHellmanGroup handle (lowerCreateDiffieHellman and
+        // lowerGetDiffieHellman).
+        createDiffieHellman: { fn: "crypto.dhNew", params: [DYN, DYN, DYN, DYN], result: DYN },
+        getDiffieHellman: { fn: "crypto.dhGroupNew", params: [DYN], result: DYN },
+        createDiffieHellmanGroup: { fn: "crypto.dhGroupNew", params: [DYN], result: DYN },
     },
     zlib: {
         // The default-options convenience family is special-cased in
@@ -1950,6 +1966,8 @@ export const BUILTIN_MODULE_FN_ALIASES = {
         glob: ["fsp.globTypes"],
         // The Uint8Array/Buffer-data form.
         appendFile: ["fsp.appendFileBytes"],
+        // The options forms.
+        rm: ["fsp.rmOpts", "fsp.rmRetry"],
     },
     crypto: {
         // The composed randomBytes(n).toString(enc) chain keeps its one-libCall
@@ -2034,15 +2052,28 @@ export const AMBIENT_SURFACE_FNS = [
         id: "stdlib.webcrypto.subtle",
         kind: "stdlib",
         name: "globalThis.crypto.subtle",
-        fns: ["webcrypto.importKey", "webcrypto.sign", "webcrypto.verify", "webcrypto.digest"],
-        note: "importKey('raw') for HMAC keys, HMAC sign and verify, and SHA-1/SHA-2 digest; other methods, algorithms and key formats are refused",
+        fns: [
+            "webcrypto.generateKey",
+            "webcrypto.importKey",
+            "webcrypto.exportKey",
+            "webcrypto.encrypt",
+            "webcrypto.decrypt",
+            "webcrypto.wrapKey",
+            "webcrypto.unwrapKey",
+            "webcrypto.deriveBits",
+            "webcrypto.deriveKey",
+            "webcrypto.sign",
+            "webcrypto.verify",
+            "webcrypto.digest",
+        ],
+        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: "stdlib.webcrypto.CryptoKey",
         kind: "stdlib",
         name: "CryptoKey",
         fns: ["webcrypto.isCryptoKey"],
-        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.atomics",
@@ -2086,6 +2117,8 @@ export const AMBIENT_SURFACE_FNS = [
             "date.newLocal",
             "date.nativeNewFields",
             "date.nativeNewValue",
+            "date.argumentsTime",
+            "date.classOperation",
         ],
         note: "zero arguments, one milliseconds/date-string argument, or local-time year/month fields; values are the read-only TimeClip scalar slice",
     },
@@ -2838,29 +2871,14 @@ export const BUILTIN_MODULE_FENCE_HINTS = {
             "maxBuffer is not enforced by the growing native capture; other options and reached no-callback calls remain fenced, while util.promisify(execFile) retains its wider options slice",
     },
     crypto: {
-        ...Object.fromEntries([
-            "generateKeyPair",
-            "generateKeyPairSync",
-            "createPrivateKey",
-            "createPublicKey",
-            "createSign",
-            "createVerify",
-            "sign",
-            "verify",
-            "createDiffieHellman",
-            "createDiffieHellmanGroup",
-            "getDiffieHellman",
-            "diffieHellman",
-            "publicEncrypt",
-            "publicDecrypt",
-            "privateEncrypt",
-            "privateDecrypt",
-        ].map((m) => [
+        ...Object.fromEntries(["publicEncrypt", "publicDecrypt", "privateEncrypt", "privateDecrypt"].map((m) => [
             m,
-            "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",
+            "RSA encryption has no lowering — the asymmetric crypto surface is " +
+                "RSA and EC KeyObjects (generateKeyPair, createPrivateKey, createPublicKey), sign, verify, " +
+                "createSign, createVerify, createECDH, and createDiffieHellman",
         ])),
+        diffieHellman: "crypto.diffieHellman takes DH, EC or X25519 KeyObjects and has no lowering; " +
+            "the objects of createDiffieHellman, getDiffieHellman and createECDH compute shared secrets",
         ...Object.fromEntries(["getCipherInfo"].map((m) => [
             m,
             "cipher metadata has no lowering — createCipheriv and createDecipheriv support " +
@@ -2868,8 +2886,6 @@ export const BUILTIN_MODULE_FENCE_HINTS = {
         ])),
         setFips: "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",
-        webcrypto: "the WebCrypto object has no lowering — the lowered crypto surface is randomUUID, " +
-            "randomBytes, and the createHash chain",
     },
     zlib: {
         brotliCompressSync: BROTLI_HINT,