@scriptc/compiler 0.2.4 → 0.2.5

package/dist/frontend/lowering/builtins/crypto.js

@@ -0,0 +1,517 @@
+import { lowerBuiltinByteInput, errorFirstBytesCallback } from "./arguments.js";
+import { dynUndefinedExpr } from "../../../ir/build.js";
+import * as ts from "../../ts7/adapter.js";
+import { own } from "../lowerer.js";
+import { locOf } from "../../program.js";
+import { CRYPTO_CIPHERS, CRYPTO_CURVES, CRYPTO_HASHES } from "../crypto-tables.js";
+import { BOOL, BYTES_U8, CRYPTOHASH_T, CRYPTOHMAC_T, DYN, F64, STRING, VOID, arrayOf, } from "../../../ir/ir.js";
+/** The composed crypto pattern: `randomBytes(n).toString(enc)` lowers
+ * as ONE string-producing libCall — the Buffer between the two calls
+ * never exists at runtime. Only literal "hex"/"base64" encodings lower
+ * (the runtime implements exactly those); wider forms fall through to
+ * the ordinary Buffer lowering. Null when this is not a toString on a
+ * crypto.randomBytes call. */
+export function lowerCryptoComposedCall(lowerer, call, access) {
+    if (call.questionDotToken || access.questionDotToken)
+        return null;
+    if (access.name.text === "digest")
+        return lowerHashDigestChain(lowerer, call, access);
+    if (access.name.text !== "toString")
+        return null;
+    const recv = access.expression;
+    if (!ts.isCallExpression(recv) || recv.questionDotToken)
+        return null;
+    if (!ts.isIdentifier(recv.expression))
+        return null;
+    const bi = lowerer.builtinImportOf(recv.expression);
+    if (!bi || bi.module !== "crypto" || bi.member !== "randomBytes")
+        return null;
+    const loc = locOf(call);
+    // Only the exact composed shape fuses — one size argument, one literal
+    // "hex"/"base64" encoding. Anything else falls through (null): bare
+    // randomBytes lowers to a real Buffer through the crypto table, and
+    // the .toString rides the ordinary Buffer method lowering.
+    if (recv.arguments.length !== 1)
+        return null;
+    const encNode = call.arguments[0];
+    const encT = encNode ? lowerer.typeOf(encNode) : undefined;
+    if (call.arguments.length !== 1 ||
+        !encT?.isStringLiteralType() ||
+        (encT.value !== "hex" && encT.value !== "base64")) {
+        return null;
+    }
+    const size = lowerer.lowerExprExpecting(recv.arguments[0], F64);
+    const enc = lowerer.lowerExprExpecting(encNode, STRING);
+    return {
+        kind: "libCall",
+        fn: "crypto.randomBytesToString",
+        args: [size, enc],
+        type: STRING,
+        loc,
+    };
+}
+/** Fast path for the exact single-update hash chain. Wider algorithms,
+ * stored handles, multiple updates, Buffer digests, and input encodings
+ * fall through to the first-class Hash lowering below. */
+function lowerHashDigestChain(lowerer, call, access) {
+    const updateCall = access.expression;
+    if (!ts.isCallExpression(updateCall) || updateCall.questionDotToken)
+        return null;
+    const updAccess = updateCall.expression;
+    if (!ts.isPropertyAccessExpression(updAccess) ||
+        updAccess.questionDotToken ||
+        updAccess.name.text !== "update") {
+        return null;
+    }
+    const chCall = updAccess.expression;
+    if (!ts.isCallExpression(chCall) || chCall.questionDotToken)
+        return null;
+    const callee = chCall.expression;
+    const bi = ts.isIdentifier(callee)
+        ? lowerer.builtinImportOf(callee)
+        : ts.isPropertyAccessExpression(callee)
+            ? lowerer.builtinMemberOf(callee)
+            : null;
+    if (!bi || bi.module !== "crypto" || bi.member !== "createHash")
+        return null;
+    const loc = locOf(call);
+    const algT = chCall.arguments.length === 1 ? lowerer.typeOf(chCall.arguments[0]) : undefined;
+    if (!algT?.isStringLiteralType() || (algT.value !== "sha256" && algT.value !== "sha1"))
+        return null;
+    if (updateCall.arguments.length !== 1) {
+        return null;
+    }
+    const encT = call.arguments.length === 1 ? lowerer.typeOf(call.arguments[0]) : undefined;
+    if (!encT?.isStringLiteralType() || (encT.value !== "hex" && encT.value !== "base64")) {
+        return null;
+    }
+    // alg and enc are proven literals (fenced above), so lowering them
+    // out of source position observes nothing; the data lowers between
+    // them in its own source order.
+    const alg = lowerer.lowerExprExpecting(chCall.arguments[0], STRING);
+    // The data picks the runtime entry by its static type, the
+    // fileURLToPath convention: strings hash their UTF-8 bytes (Node's
+    // default input encoding), Buffers/typed arrays hash their bytes.
+    const dataNode = updateCall.arguments[0];
+    const dataIr = lowerer.mapTypeOf(lowerer.typeOf(dataNode));
+    if (dataIr?.kind === "bytes") {
+        const data = lowerer.lowerExpr(dataNode);
+        const enc = lowerer.lowerExprExpecting(call.arguments[0], STRING);
+        return {
+            kind: "libCall",
+            fn: "crypto.hashDigestBytes",
+            args: [alg, data, enc],
+            type: STRING,
+            loc,
+        };
+    }
+    if (dataIr?.kind === "string") {
+        const data = lowerer.lowerExprExpecting(dataNode, STRING);
+        const enc = lowerer.lowerExprExpecting(call.arguments[0], STRING);
+        return {
+            kind: "libCall",
+            fn: "crypto.hashDigestStr",
+            args: [alg, data, enc],
+            type: STRING,
+            loc,
+        };
+    }
+    return null;
+}
+function cryptoEncoding(lowerer, node, use) {
+    const type = lowerer.typeOf(node);
+    if (!type.isStringLiteralType() || (type.value !== "hex" && type.value !== "base64")) {
+        lowerer.noLowering(`${use} with this encoding`, node, 'the lowered output encodings are "hex" and "base64"');
+    }
+    return lowerer.lowerExprExpecting(node, STRING);
+}
+function cryptoAlgorithm(lowerer, node, use) {
+    const type = lowerer.typeOf(node);
+    if (type.isStringLiteralType() &&
+        !["md5", "sha1", "sha224", "sha256", "sha384", "sha512"].includes(type.value.toLowerCase())) {
+        lowerer.noLowering(`${use} with algorithm '${type.value}'`, node, "md5, sha1, sha224, sha256, sha384, and sha512 are the lowered digest algorithms");
+    }
+    return lowerer.lowerExprExpecting(node, STRING);
+}
+function cryptoKdfInput(lowerer, node) {
+    const loc = locOf(node);
+    const type = lowerer.mapTypeOf(lowerer.typeOf(node));
+    if (type?.kind === "string" || (type?.kind === "bytes" && type.elem === "u8"))
+        return lowerBuiltinByteInput(lowerer, node, loc, "crypto");
+    const symbol = lowerer.typeOf(node).getSymbol();
+    if (type?.kind === "bytes" ||
+        (symbol?.name === "ArrayBuffer" && lowerer.isStdlibSymbol(symbol))) {
+        const value = lowerer.coerceInto(node, lowerer.lowerExpr(node), DYN);
+        return { kind: "libCall", fn: "bytes.bufferSource", args: [value], type: BYTES_U8, loc };
+    }
+    lowerer.noLowering("crypto key derivation with this input", node, "strings, Buffers, numeric typed arrays, DataViews, and fixed-length ArrayBuffers are supported; KeyObjects are not yet lowered");
+}
+/** The node:crypto utility and introspection statics. Hash/Hmac are real
+ * native handles; one-shot hashing, constant-time equality, random-fill/
+ * integer, and PBKDF2 share the same runtime primitives as the island.
+ * The name lists remain build-time constants. */
+export function lowerCryptoModuleCall(lowerer, expr, bi, loc) {
+    if (bi.module !== "crypto")
+        return null;
+    const args = expr.arguments;
+    if (args.some(ts.isSpreadElement)) {
+        lowerer.noLowering(`crypto.${bi.member} with spread arguments`, expr);
+    }
+    if (bi.member === "randomBytes") {
+        if (args.length === 1)
+            return null;
+        if (args.length !== 2) {
+            lowerer.noLowering(`crypto.randomBytes with ${args.length} arguments`, expr, "randomBytes(size) and randomBytes(size, callback) are supported");
+        }
+        return {
+            kind: "libCall",
+            fn: "crypto.randomBytesCb",
+            args: [
+                lowerer.lowerExprExpecting(args[0], F64),
+                errorFirstBytesCallback(lowerer, args[1], "crypto"),
+            ],
+            type: VOID,
+            loc,
+        };
+    }
+    if (bi.member === "pbkdf2") {
+        if (args.length !== 6) {
+            lowerer.noLowering(`crypto.pbkdf2 with ${args.length} arguments`, expr, "pbkdf2(password, salt, iterations, keylen, digest, callback) is supported");
+        }
+        return {
+            kind: "libCall",
+            fn: "crypto.pbkdf2Cb",
+            args: [
+                lowerBuiltinByteInput(lowerer, args[0], locOf(args[0]), "crypto"),
+                lowerBuiltinByteInput(lowerer, args[1], locOf(args[1]), "crypto"),
+                lowerer.lowerExprExpecting(args[2], F64),
+                lowerer.lowerExprExpecting(args[3], F64),
+                cryptoAlgorithm(lowerer, args[4], "crypto.pbkdf2"),
+                errorFirstBytesCallback(lowerer, args[5], "crypto"),
+            ],
+            type: VOID,
+            loc,
+        };
+    }
+    if (bi.member === "hkdf" || bi.member === "hkdfSync") {
+        const async = bi.member === "hkdf";
+        if (args.length !== (async ? 6 : 5))
+            lowerer.noLowering(`crypto.${bi.member} with ${args.length} arguments`, expr);
+        const values = [
+            cryptoAlgorithm(lowerer, args[0], `crypto.${bi.member}`),
+            cryptoKdfInput(lowerer, args[1]),
+            cryptoKdfInput(lowerer, args[2]),
+            cryptoKdfInput(lowerer, args[3]),
+            lowerer.lowerExprExpecting(args[4], F64),
+        ];
+        if (async)
+            values.push(errorFirstBytesCallback(lowerer, args[5], "crypto.hkdf", true));
+        return {
+            kind: "libCall",
+            fn: async ? "crypto.hkdfCb" : "crypto.hkdf",
+            args: values,
+            type: async ? VOID : DYN,
+            loc,
+        };
+    }
+    if (bi.member === "scrypt" || bi.member === "scryptSync") {
+        const async = bi.member === "scrypt";
+        const minimum = async ? 4 : 3;
+        if (args.length < minimum || args.length > minimum + 1)
+            lowerer.noLowering(`crypto.${bi.member} with ${args.length} arguments`, expr);
+        const values = [
+            cryptoKdfInput(lowerer, args[0]),
+            cryptoKdfInput(lowerer, args[1]),
+            lowerer.lowerExprExpecting(args[2], F64),
+        ];
+        const options = args.length > minimum ? args[3] : undefined;
+        values.push(options
+            ? lowerer.coerceInto(options, lowerer.lowerExpr(options), DYN)
+            : dynUndefinedExpr(loc));
+        if (async)
+            values.push(errorFirstBytesCallback(lowerer, args[args.length - 1], "crypto.scrypt"));
+        return {
+            kind: "libCall",
+            fn: async ? "crypto.scryptCb" : "crypto.scrypt",
+            args: values,
+            type: async ? VOID : BYTES_U8,
+            loc,
+        };
+    }
+    if (bi.member === "createHash") {
+        if (args.length !== 1) {
+            lowerer.noLowering(`crypto.createHash with ${args.length} arguments`, expr, "createHash(algorithm) is supported; options are not yet lowered");
+        }
+        return {
+            kind: "libCall",
+            fn: "crypto.hashNew",
+            args: [cryptoAlgorithm(lowerer, args[0], "crypto.createHash")],
+            type: CRYPTOHASH_T,
+            loc,
+        };
+    }
+    if (bi.member === "createHmac") {
+        if (args.length !== 2) {
+            lowerer.noLowering(`crypto.createHmac with ${args.length} arguments`, expr, "createHmac(algorithm, stringOrBufferKey) is supported; options and KeyObject keys are not yet lowered");
+        }
+        const algorithm = cryptoAlgorithm(lowerer, args[0], "crypto.createHmac");
+        const key = lowerer.lowerExpr(args[1]);
+        if (key.type.kind === "string") {
+            return {
+                kind: "libCall",
+                fn: "crypto.hmacNewStr",
+                args: [algorithm, key],
+                type: CRYPTOHMAC_T,
+                loc,
+            };
+        }
+        if (key.type.kind === "bytes" && key.type.elem === "u8") {
+            return {
+                kind: "libCall",
+                fn: "crypto.hmacNewBytes",
+                args: [algorithm, key],
+                type: CRYPTOHMAC_T,
+                loc,
+            };
+        }
+        lowerer.noLowering(`crypto.createHmac with a '${lowerer.fmt(key.type)}' key`, args[1], "string and Buffer/Uint8Array keys are supported");
+    }
+    if (bi.member === "hash") {
+        if (args.length < 2 || args.length > 3) {
+            lowerer.noLowering(`crypto.hash with ${args.length} arguments`, expr, 'hash(algorithm, stringOrBuffer[, "hex" | "base64"]) is supported');
+        }
+        const algorithm = cryptoAlgorithm(lowerer, args[0], "crypto.hash");
+        const data = lowerer.lowerExpr(args[1]);
+        const encoding = args[2]
+            ? cryptoEncoding(lowerer, args[2], "crypto.hash")
+            : { kind: "strLit", value: "hex", type: STRING, loc };
+        if (data.type.kind === "string") {
+            return {
+                kind: "libCall",
+                fn: "crypto.hashDigestStr",
+                args: [algorithm, data, encoding],
+                type: STRING,
+                loc,
+            };
+        }
+        if (data.type.kind === "bytes" && data.type.elem === "u8") {
+            return {
+                kind: "libCall",
+                fn: "crypto.hashDigestBytes",
+                args: [algorithm, data, encoding],
+                type: STRING,
+                loc,
+            };
+        }
+        lowerer.noLowering(`crypto.hash of '${lowerer.fmt(data.type)}' data`, args[1], "string and Buffer/Uint8Array data are supported");
+    }
+    if (bi.member === "timingSafeEqual") {
+        if (args.length !== 2)
+            lowerer.noLowering(`crypto.timingSafeEqual with ${args.length} arguments`, expr);
+        return {
+            kind: "libCall",
+            fn: "crypto.timingSafeEqual",
+            args: [
+                lowerer.lowerExprExpecting(args[0], BYTES_U8),
+                lowerer.lowerExprExpecting(args[1], BYTES_U8),
+            ],
+            type: BOOL,
+            loc,
+        };
+    }
+    if (bi.member === "randomFillSync") {
+        if (args.length < 1 || args.length > 3) {
+            lowerer.noLowering(`crypto.randomFillSync with ${args.length} arguments`, expr, "randomFillSync(buffer[, offset[, size]]) is supported");
+        }
+        const buffer = lowerer.lowerExprExpecting(args[0], BYTES_U8);
+        const offset = args[1]
+            ? lowerer.lowerExprExpecting(args[1], F64)
+            : { kind: "numLit", value: 0, type: F64, loc };
+        if (args[2]) {
+            const size = lowerer.lowerExprExpecting(args[2], F64);
+            return {
+                kind: "libCall",
+                fn: "crypto.randomFill",
+                args: [buffer, offset, size],
+                type: BYTES_U8,
+                loc,
+            };
+        }
+        return {
+            kind: "libCall",
+            fn: "crypto.randomFillRest",
+            args: [buffer, offset],
+            type: BYTES_U8,
+            loc,
+        };
+    }
+    if (bi.member === "randomInt") {
+        if (args.length !== 1 && args.length !== 2) {
+            lowerer.noLowering(`crypto.randomInt with ${args.length} arguments`, expr, "the synchronous randomInt(max) and randomInt(min, max) forms are supported");
+        }
+        const min = args.length === 1
+            ? { kind: "numLit", value: 0, type: F64, loc }
+            : lowerer.lowerExprExpecting(args[0], F64);
+        const max = lowerer.lowerExprExpecting(args[args.length - 1], F64);
+        return { kind: "libCall", fn: "crypto.randomInt", args: [min, max], type: F64, loc };
+    }
+    if (bi.member === "pbkdf2Sync") {
+        if (args.length !== 5) {
+            lowerer.noLowering(`crypto.pbkdf2Sync with ${args.length} arguments`, expr, "pbkdf2Sync(password, salt, iterations, keylen, digest) is supported");
+        }
+        const password = lowerBuiltinByteInput(lowerer, args[0], locOf(args[0]), "crypto");
+        const salt = lowerBuiltinByteInput(lowerer, args[1], locOf(args[1]), "crypto");
+        return {
+            kind: "libCall",
+            fn: "crypto.pbkdf2",
+            args: [
+                password,
+                salt,
+                lowerer.lowerExprExpecting(args[2], F64),
+                lowerer.lowerExprExpecting(args[3], F64),
+                cryptoAlgorithm(lowerer, args[4], "crypto.pbkdf2Sync"),
+            ],
+            type: BYTES_U8,
+            loc,
+        };
+    }
+    const LISTS = {
+        getCiphers: CRYPTO_CIPHERS,
+        getHashes: CRYPTO_HASHES,
+        getCurves: CRYPTO_CURVES,
+    };
+    const list = own(LISTS, bi.member);
+    if (bi.member !== "getFips" && list === undefined)
+        return null;
+    if (expr.arguments.length !== 0) {
+        lowerer.noLowering(`crypto.${bi.member} with ${expr.arguments.length} arguments`, expr);
+    }
+    if (bi.member === "getFips") {
+        return { kind: "numLit", value: 0, type: F64, loc };
+    }
+    return {
+        kind: "arrayLit",
+        elems: list.map((s) => ({ kind: "strLit", value: s, type: STRING, loc })),
+        type: arrayOf(STRING),
+        loc,
+    };
+}
+/** Calls on native crypto.Hash/Hmac handles. The handle survives locals,
+ * aliases, loops, and returns; update() retains and returns the receiver,
+ * digest() finalizes it, and Hash.copy() snapshots the incremental state. */
+export function lowerCryptoHashMethodCall(lowerer, call, access) {
+    if (call.questionDotToken || access.questionDotToken)
+        return null;
+    const receiverType = lowerer.mapTypeOf(lowerer.typeOf(access.expression));
+    if (receiverType?.kind !== "cryptoHash" && receiverType?.kind !== "cryptoHmac")
+        return null;
+    if (!lowerer.isStdlibMember(access))
+        return null;
+    const name = access.name.text;
+    const loc = locOf(call);
+    const receiver = () => lowerer.lowerExprExpecting(access.expression, receiverType);
+    if (name === "update") {
+        if (call.arguments.length < 1 ||
+            call.arguments.length > 2 ||
+            call.arguments.some(ts.isSpreadElement)) {
+            lowerer.noLowering(`${receiverType.kind === "cryptoHash" ? "Hash" : "Hmac"}.update with ${call.arguments.length} arguments`, call, "update(stringOrBuffer[, inputEncoding]) is supported");
+        }
+        const dataNode = call.arguments[0];
+        const dataType = lowerer.mapTypeOf(lowerer.typeOf(dataNode));
+        // Indexed reads can retain optional storage after a nullish fallback
+        // or narrowing. Use the proven argument type through a checked coercion.
+        const data = dataType?.kind === "string" || dataType?.kind === "bytes"
+            ? lowerer.lowerExprExpecting(dataNode, dataType)
+            : lowerer.lowerExpr(dataNode);
+        const prefix = receiverType.kind === "cryptoHash" ? "crypto.hashUpdate" : "crypto.hmacUpdate";
+        if (data.type.kind === "bytes" && data.type.elem === "u8") {
+            if (call.arguments.length !== 1) {
+                lowerer.noLowering("Hash/Hmac.update with an encoding for Buffer data", call.arguments[1], "input encodings apply only to string data");
+            }
+            return {
+                kind: "libCall",
+                fn: `${prefix}Bytes`,
+                args: [receiver(), data],
+                type: receiverType,
+                loc,
+            };
+        }
+        if (data.type.kind === "string") {
+            const encodingNode = call.arguments[1];
+            if (encodingNode === undefined) {
+                return {
+                    kind: "libCall",
+                    fn: `${prefix}Str`,
+                    args: [receiver(), data],
+                    type: receiverType,
+                    loc,
+                };
+            }
+            const encodingType = lowerer.typeOf(encodingNode);
+            if (!encodingType.isStringLiteralType() ||
+                !["utf8", "utf-8", "hex", "base64"].includes(encodingType.value)) {
+                lowerer.noLowering("Hash/Hmac.update with this input encoding", encodingNode, "utf8, hex, and base64 string inputs are supported");
+            }
+            if (encodingType.value === "utf8" || encodingType.value === "utf-8") {
+                lowerer.lowerExprExpecting(encodingNode, STRING);
+                return {
+                    kind: "libCall",
+                    fn: `${prefix}Str`,
+                    args: [receiver(), data],
+                    type: receiverType,
+                    loc,
+                };
+            }
+            const encoded = {
+                kind: "libCall",
+                fn: "buffer.fromStr",
+                args: [data, lowerer.lowerExprExpecting(encodingNode, STRING)],
+                type: BYTES_U8,
+                loc,
+            };
+            return {
+                kind: "libCall",
+                fn: `${prefix}Bytes`,
+                args: [receiver(), encoded],
+                type: receiverType,
+                loc,
+            };
+        }
+        lowerer.noLowering(`Hash/Hmac.update of '${lowerer.fmt(data.type)}' values`, dataNode, "string and Buffer/Uint8Array inputs are supported");
+    }
+    if (name === "digest") {
+        if (call.arguments.length > 1 || call.arguments.some(ts.isSpreadElement)) {
+            lowerer.noLowering(`${receiverType.kind === "cryptoHash" ? "Hash" : "Hmac"}.digest with ${call.arguments.length} arguments`, call, 'digest() and digest("hex" | "base64") are supported');
+        }
+        if (call.arguments.length === 0) {
+            return {
+                kind: "libCall",
+                fn: receiverType.kind === "cryptoHash"
+                    ? "crypto.hashDigestBuffer"
+                    : "crypto.hmacDigestBuffer",
+                args: [receiver()],
+                type: BYTES_U8,
+                loc,
+            };
+        }
+        return {
+            kind: "libCall",
+            fn: receiverType.kind === "cryptoHash" ? "crypto.hashDigestString" : "crypto.hmacDigestString",
+            args: [
+                receiver(),
+                cryptoEncoding(lowerer, call.arguments[0], `${receiverType.kind === "cryptoHash" ? "Hash" : "Hmac"}.digest`),
+            ],
+            type: STRING,
+            loc,
+        };
+    }
+    if (name === "copy" && receiverType.kind === "cryptoHash") {
+        if (call.arguments.length !== 0)
+            lowerer.noLowering(`Hash.copy with ${call.arguments.length} arguments`, call, "copy() without options is supported");
+        return { kind: "libCall", fn: "crypto.hashCopy", args: [receiver()], type: CRYPTOHASH_T, loc };
+    }
+    lowerer.noLowering(`${receiverType.kind === "cryptoHash" ? "Hash" : "Hmac"}.${name}`, call, receiverType.kind === "cryptoHash"
+        ? "update(), digest(), and copy() are supported"
+        : "update() and digest() are supported", lowerer.checker.getSymbolAtLocation(access.name));
+}
+//# sourceMappingURL=crypto.js.map

package/dist/frontend/lowering/builtins/crypto.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"crypto.js","sourceRoot":"","sources":["../../../../src/frontend/lowering/builtins/crypto.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,qBAAqB,EAAE,uBAAuB,EAAE,MAAM,gBAAgB,CAAC;AAChF,OAAO,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AACxD,OAAO,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAC3C,OAAO,EAAgB,GAAG,EAAE,MAAM,eAAe,CAAC;AAClD,OAAO,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AACzC,OAAO,EAAE,cAAc,EAAE,aAAa,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACnF,OAAO,EACL,IAAI,EACJ,QAAQ,EACR,YAAY,EACZ,YAAY,EACZ,GAAG,EACH,GAAG,EAGH,MAAM,EAEN,IAAI,EACJ,OAAO,GACR,MAAM,mBAAmB,CAAC;AAE3B;;;;;8BAK8B;AAC9B,MAAM,UAAU,uBAAuB,CACrC,OAAgB,EAChB,IAAuB,EACvB,MAAmC;IAEnC,IAAI,IAAI,CAAC,gBAAgB,IAAI,MAAM,CAAC,gBAAgB;QAAE,OAAO,IAAI,CAAC;IAClE,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,oBAAoB,CAAC,OAAO,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;IACtF,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU;QAAE,OAAO,IAAI,CAAC;IACjD,MAAM,IAAI,GAAG,MAAM,CAAC,UAAU,CAAC;IAC/B,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,gBAAgB;QAAE,OAAO,IAAI,CAAC;IACrE,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC;QAAE,OAAO,IAAI,CAAC;IACnD,MAAM,EAAE,GAAG,OAAO,CAAC,eAAe,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACpD,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,MAAM,KAAK,QAAQ,IAAI,EAAE,CAAC,MAAM,KAAK,aAAa;QAAE,OAAO,IAAI,CAAC;IAC9E,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,uEAAuE;IACvE,oEAAoE;IACpE,oEAAoE;IACpE,2DAA2D;IAC3D,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAC7C,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IAClC,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC3D,IACE,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;QAC3B,CAAC,IAAI,EAAE,mBAAmB,EAAE;QAC5B,CAAC,IAAI,CAAC,KAAK,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,KAAK,QAAQ,CAAC,EACjD,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,IAAI,GAAG,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,EAAE,GAAG,CAAC,CAAC;IACjE,MAAM,GAAG,GAAG,OAAO,CAAC,kBAAkB,CAAC,OAAQ,EAAE,MAAM,CAAC,CAAC;IACzD,OAAO;QACL,IAAI,EAAE,SAAS;QACf,EAAE,EAAE,4BAA4B;QAChC,IAAI,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC;QACjB,IAAI,EAAE,MAAM;QACZ,GAAG;KACJ,CAAC;AACJ,CAAC;AAED;;0DAE0D;AAC1D,SAAS,oBAAoB,CAC3B,OAAgB,EAChB,IAAuB,EACvB,MAAmC;IAEnC,MAAM,UAAU,GAAG,MAAM,CAAC,UAAU,CAAC;IACrC,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,UAAU,CAAC,IAAI,UAAU,CAAC,gBAAgB;QAAE,OAAO,IAAI,CAAC;IACjF,MAAM,SAAS,GAAG,UAAU,CAAC,UAAU,CAAC;IACxC,IACE,CAAC,EAAE,CAAC,0BAA0B,CAAC,SAAS,CAAC;QACzC,SAAS,CAAC,gBAAgB;QAC1B,SAAS,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,EAChC,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,MAAM,GAAG,SAAS,CAAC,UAAU,CAAC;IACpC,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,gBAAgB;QAAE,OAAO,IAAI,CAAC;IACzE,MAAM,MAAM,GAAG,MAAM,CAAC,UAAU,CAAC;IACjC,MAAM,EAAE,GAAG,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC;QAChC,CAAC,CAAC,OAAO,CAAC,eAAe,CAAC,MAAM,CAAC;QACjC,CAAC,CAAC,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC;YACrC,CAAC,CAAC,OAAO,CAAC,eAAe,CAAC,MAAM,CAAC;YACjC,CAAC,CAAC,IAAI,CAAC;IACX,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,MAAM,KAAK,QAAQ,IAAI,EAAE,CAAC,MAAM,KAAK,YAAY;QAAE,OAAO,IAAI,CAAC;IAC7E,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,IAAI,GAAG,MAAM,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC9F,IAAI,CAAC,IAAI,EAAE,mBAAmB,EAAE,IAAI,CAAC,IAAI,CAAC,KAAK,KAAK,QAAQ,IAAI,IAAI,CAAC,KAAK,KAAK,MAAM,CAAC;QACpF,OAAO,IAAI,CAAC;IACd,IAAI,UAAU,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtC,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC1F,IAAI,CAAC,IAAI,EAAE,mBAAmB,EAAE,IAAI,CAAC,IAAI,CAAC,KAAK,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,KAAK,QAAQ,CAAC,EAAE,CAAC;QACtF,OAAO,IAAI,CAAC;IACd,CAAC;IACD,mEAAmE;IACnE,mEAAmE;IACnE,gCAAgC;IAChC,MAAM,GAAG,GAAG,OAAO,CAAC,kBAAkB,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAE,EAAE,MAAM,CAAC,CAAC;IACrE,2DAA2D;IAC3D,mEAAmE;IACnE,kEAAkE;IAClE,MAAM,QAAQ,GAAG,UAAU,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC;IAC1C,MAAM,MAAM,GAAG,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;IAC3D,IAAI,MAAM,EAAE,IAAI,KAAK,OAAO,EAAE,CAAC;QAC7B,MAAM,IAAI,GAAG,OAAO,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;QACzC,MAAM,GAAG,GAAG,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,EAAE,MAAM,CAAC,CAAC;QACnE,OAAO;YACL,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,wBAAwB;YAC5B,IAAI,EAAE,CAAC,GAAG,EAAE,IAAI,EAAE,GAAG,CAAC;YACtB,IAAI,EAAE,MAAM;YACZ,GAAG;SACJ,CAAC;IACJ,CAAC;IACD,IAAI,MAAM,EAAE,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC9B,MAAM,IAAI,GAAG,OAAO,CAAC,kBAAkB,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;QAC1D,MAAM,GAAG,GAAG,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,EAAE,MAAM,CAAC,CAAC;QACnE,OAAO;YACL,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,sBAAsB;YAC1B,IAAI,EAAE,CAAC,GAAG,EAAE,IAAI,EAAE,GAAG,CAAC;YACtB,IAAI,EAAE,MAAM;YACZ,GAAG;SACJ,CAAC;IACJ,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,cAAc,CAAC,OAAgB,EAAE,IAAmB,EAAE,GAAW;IACxE,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAClC,IAAI,CAAC,IAAI,CAAC,mBAAmB,EAAE,IAAI,CAAC,IAAI,CAAC,KAAK,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,KAAK,QAAQ,CAAC,EAAE,CAAC;QACrF,OAAO,CAAC,UAAU,CAChB,GAAG,GAAG,qBAAqB,EAC3B,IAAI,EACJ,qDAAqD,CACtD,CAAC;IACJ,CAAC;IACD,OAAO,OAAO,CAAC,kBAAkB,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;AAClD,CAAC;AAED,SAAS,eAAe,CAAC,OAAgB,EAAE,IAAmB,EAAE,GAAW;IACzE,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAClC,IACE,IAAI,CAAC,mBAAmB,EAAE;QAC1B,CAAC,CAAC,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC,EAC3F,CAAC;QACD,OAAO,CAAC,UAAU,CAChB,GAAG,GAAG,oBAAoB,IAAI,CAAC,KAAK,GAAG,EACvC,IAAI,EACJ,iFAAiF,CAClF,CAAC;IACJ,CAAC;IACD,OAAO,OAAO,CAAC,kBAAkB,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;AAClD,CAAC;AAED,SAAS,cAAc,CAAC,OAAgB,EAAE,IAAmB;IAC3D,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,IAAI,GAAG,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;IACrD,IAAI,IAAI,EAAE,IAAI,KAAK,QAAQ,IAAI,CAAC,IAAI,EAAE,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC;QAC3E,OAAO,qBAAqB,CAAC,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,QAAQ,CAAC,CAAC;IAC7D,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,CAAC;IAChD,IACE,IAAI,EAAE,IAAI,KAAK,OAAO;QACtB,CAAC,MAAM,EAAE,IAAI,KAAK,aAAa,IAAI,OAAO,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC,EAClE,CAAC;QACD,MAAM,KAAK,GAAG,OAAO,CAAC,UAAU,CAAC,IAAI,EAAE,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,CAAC;QACrE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,oBAAoB,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC;IAC3F,CAAC;IACD,OAAO,CAAC,UAAU,CAChB,uCAAuC,EACvC,IAAI,EACJ,gIAAgI,CACjI,CAAC;AACJ,CAAC;AAED;;;iDAGiD;AACjD,MAAM,UAAU,qBAAqB,CACnC,OAAgB,EAChB,IAAuB,EACvB,EAAsC,EACtC,GAAW;IAEX,IAAI,EAAE,CAAC,MAAM,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IACxC,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC;IAC5B,IAAI,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,EAAE,CAAC;QAClC,OAAO,CAAC,UAAU,CAAC,UAAU,EAAE,CAAC,MAAM,wBAAwB,EAAE,IAAI,CAAC,CAAC;IACxE,CAAC;IACD,IAAI,EAAE,CAAC,MAAM,KAAK,aAAa,EAAE,CAAC;QAChC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;QACnC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACtB,OAAO,CAAC,UAAU,CAChB,2BAA2B,IAAI,CAAC,MAAM,YAAY,EAClD,IAAI,EACJ,iEAAiE,CAClE,CAAC;QACJ,CAAC;QACD,OAAO;YACL,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,sBAAsB;YAC1B,IAAI,EAAE;gBACJ,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,GAAG,CAAC;gBACzC,uBAAuB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAE,EAAE,QAAQ,CAAC;aACrD;YACD,IAAI,EAAE,IAAI;YACV,GAAG;SACJ,CAAC;IACJ,CAAC;IACD,IAAI,EAAE,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;QAC3B,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACtB,OAAO,CAAC,UAAU,CAChB,sBAAsB,IAAI,CAAC,MAAM,YAAY,EAC7C,IAAI,EACJ,2EAA2E,CAC5E,CAAC;QACJ,CAAC;QACD,OAAO;YACL,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,iBAAiB;YACrB,IAAI,EAAE;gBACJ,qBAAqB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAE,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,EAAE,QAAQ,CAAC;gBACnE,qBAAqB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAE,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,EAAE,QAAQ,CAAC;gBACnE,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,GAAG,CAAC;gBACzC,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,GAAG,CAAC;gBACzC,eAAe,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAE,EAAE,eAAe,CAAC;gBACnD,uBAAuB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAE,EAAE,QAAQ,CAAC;aACrD;YACD,IAAI,EAAE,IAAI;YACV,GAAG;SACJ,CAAC;IACJ,CAAC;IACD,IAAI,EAAE,CAAC,MAAM,KAAK,MAAM,IAAI,EAAE,CAAC,MAAM,KAAK,UAAU,EAAE,CAAC;QACrD,MAAM,KAAK,GAAG,EAAE,CAAC,MAAM,KAAK,MAAM,CAAC;QACnC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACjC,OAAO,CAAC,UAAU,CAAC,UAAU,EAAE,CAAC,MAAM,SAAS,IAAI,CAAC,MAAM,YAAY,EAAE,IAAI,CAAC,CAAC;QAChF,MAAM,MAAM,GAAG;YACb,eAAe,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAE,EAAE,UAAU,EAAE,CAAC,MAAM,EAAE,CAAC;YACzD,cAAc,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAE,CAAC;YACjC,cAAc,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAE,CAAC;YACjC,cAAc,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAE,CAAC;YACjC,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,GAAG,CAAC;SAC1C,CAAC;QACF,IAAI,KAAK;YAAE,MAAM,CAAC,IAAI,CAAC,uBAAuB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAE,EAAE,aAAa,EAAE,IAAI,CAAC,CAAC,CAAC;QACxF,OAAO;YACL,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,aAAa;YAC3C,IAAI,EAAE,MAAM;YACZ,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG;YACxB,GAAG;SACJ,CAAC;IACJ,CAAC;IACD,IAAI,EAAE,CAAC,MAAM,KAAK,QAAQ,IAAI,EAAE,CAAC,MAAM,KAAK,YAAY,EAAE,CAAC;QACzD,MAAM,KAAK,GAAG,EAAE,CAAC,MAAM,KAAK,QAAQ,CAAC;QACrC,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9B,IAAI,IAAI,CAAC,MAAM,GAAG,OAAO,IAAI,IAAI,CAAC,MAAM,GAAG,OAAO,GAAG,CAAC;YACpD,OAAO,CAAC,UAAU,CAAC,UAAU,EAAE,CAAC,MAAM,SAAS,IAAI,CAAC,MAAM,YAAY,EAAE,IAAI,CAAC,CAAC;QAChF,MAAM,MAAM,GAAG;YACb,cAAc,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAE,CAAC;YACjC,cAAc,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAE,CAAC;YACjC,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,GAAG,CAAC;SAC1C,CAAC;QACF,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,SAAS,CAAC;QAC7D,MAAM,CAAC,IAAI,CACT,OAAO;YACL,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,OAAO,EAAE,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,GAAG,CAAC;YAC9D,CAAC,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAC1B,CAAC;QACF,IAAI,KAAK;YACP,MAAM,CAAC,IAAI,CAAC,uBAAuB,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAE,EAAE,eAAe,CAAC,CAAC,CAAC;QACzF,OAAO;YACL,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,eAAe;YAC/C,IAAI,EAAE,MAAM;YACZ,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ;YAC7B,GAAG;SACJ,CAAC;IACJ,CAAC;IACD,IAAI,EAAE,CAAC,MAAM,KAAK,YAAY,EAAE,CAAC;QAC/B,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACtB,OAAO,CAAC,UAAU,CAChB,0BAA0B,IAAI,CAAC,MAAM,YAAY,EACjD,IAAI,EACJ,iEAAiE,CAClE,CAAC;QACJ,CAAC;QACD,OAAO;YACL,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,gBAAgB;YACpB,IAAI,EAAE,CAAC,eAAe,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAE,EAAE,mBAAmB,CAAC,CAAC;YAC/D,IAAI,EAAE,YAAY;YAClB,GAAG;SACJ,CAAC;IACJ,CAAC;IACD,IAAI,EAAE,CAAC,MAAM,KAAK,YAAY,EAAE,CAAC;QAC/B,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACtB,OAAO,CAAC,UAAU,CAChB,0BAA0B,IAAI,CAAC,MAAM,YAAY,EACjD,IAAI,EACJ,uGAAuG,CACxG,CAAC;QACJ,CAAC;QACD,MAAM,SAAS,GAAG,eAAe,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAE,EAAE,mBAAmB,CAAC,CAAC;QAC1E,MAAM,GAAG,GAAG,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,CAAC;QACxC,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC/B,OAAO;gBACL,IAAI,EAAE,SAAS;gBACf,EAAE,EAAE,mBAAmB;gBACvB,IAAI,EAAE,CAAC,SAAS,EAAE,GAAG,CAAC;gBACtB,IAAI,EAAE,YAAY;gBAClB,GAAG;aACJ,CAAC;QACJ,CAAC;QACD,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;YACxD,OAAO;gBACL,IAAI,EAAE,SAAS;gBACf,EAAE,EAAE,qBAAqB;gBACzB,IAAI,EAAE,CAAC,SAAS,EAAE,GAAG,CAAC;gBACtB,IAAI,EAAE,YAAY;gBAClB,GAAG;aACJ,CAAC;QACJ,CAAC;QACD,OAAO,CAAC,UAAU,CAChB,6BAA6B,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,EACzD,IAAI,CAAC,CAAC,CAAE,EACR,iDAAiD,CAClD,CAAC;IACJ,CAAC;IACD,IAAI,EAAE,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;QACzB,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACvC,OAAO,CAAC,UAAU,CAChB,oBAAoB,IAAI,CAAC,MAAM,YAAY,EAC3C,IAAI,EACJ,kEAAkE,CACnE,CAAC;QACJ,CAAC;QACD,MAAM,SAAS,GAAG,eAAe,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAE,EAAE,aAAa,CAAC,CAAC;QACpE,MAAM,IAAI,GAAG,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,CAAC;QACzC,MAAM,QAAQ,GAAG,IAAI,CAAC,CAAC,CAAC;YACtB,CAAC,CAAC,cAAc,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAE,EAAE,aAAa,CAAC;YAClD,CAAC,CAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAoB,CAAC;QAC3E,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAChC,OAAO;gBACL,IAAI,EAAE,SAAS;gBACf,EAAE,EAAE,sBAAsB;gBAC1B,IAAI,EAAE,CAAC,SAAS,EAAE,IAAI,EAAE,QAAQ,CAAC;gBACjC,IAAI,EAAE,MAAM;gBACZ,GAAG;aACJ,CAAC;QACJ,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;YAC1D,OAAO;gBACL,IAAI,EAAE,SAAS;gBACf,EAAE,EAAE,wBAAwB;gBAC5B,IAAI,EAAE,CAAC,SAAS,EAAE,IAAI,EAAE,QAAQ,CAAC;gBACjC,IAAI,EAAE,MAAM;gBACZ,GAAG;aACJ,CAAC;QACJ,CAAC;QACD,OAAO,CAAC,UAAU,CAChB,mBAAmB,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,EACjD,IAAI,CAAC,CAAC,CAAE,EACR,iDAAiD,CAClD,CAAC;IACJ,CAAC;IACD,IAAI,EAAE,CAAC,MAAM,KAAK,iBAAiB,EAAE,CAAC;QACpC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;YACnB,OAAO,CAAC,UAAU,CAAC,+BAA+B,IAAI,CAAC,MAAM,YAAY,EAAE,IAAI,CAAC,CAAC;QACnF,OAAO;YACL,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,wBAAwB;YAC5B,IAAI,EAAE;gBACJ,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,QAAQ,CAAC;gBAC9C,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,QAAQ,CAAC;aAC/C;YACD,IAAI,EAAE,IAAI;YACV,GAAG;SACJ,CAAC;IACJ,CAAC;IACD,IAAI,EAAE,CAAC,MAAM,KAAK,gBAAgB,EAAE,CAAC;QACnC,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACvC,OAAO,CAAC,UAAU,CAChB,8BAA8B,IAAI,CAAC,MAAM,YAAY,EACrD,IAAI,EACJ,uDAAuD,CACxD,CAAC;QACJ,CAAC;QACD,MAAM,MAAM,GAAG,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,QAAQ,CAAC,CAAC;QAC9D,MAAM,MAAM,GAAG,IAAI,CAAC,CAAC,CAAC;YACpB,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,GAAG,CAAC;YAC3C,CAAC,CAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAoB,CAAC;QACpE,IAAI,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;YACZ,MAAM,IAAI,GAAG,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,GAAG,CAAC,CAAC;YACvD,OAAO;gBACL,IAAI,EAAE,SAAS;gBACf,EAAE,EAAE,mBAAmB;gBACvB,IAAI,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC;gBAC5B,IAAI,EAAE,QAAQ;gBACd,GAAG;aACJ,CAAC;QACJ,CAAC;QACD,OAAO;YACL,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,uBAAuB;YAC3B,IAAI,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC;YACtB,IAAI,EAAE,QAAQ;YACd,GAAG;SACJ,CAAC;IACJ,CAAC;IACD,IAAI,EAAE,CAAC,MAAM,KAAK,WAAW,EAAE,CAAC;QAC9B,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC3C,OAAO,CAAC,UAAU,CAChB,yBAAyB,IAAI,CAAC,MAAM,YAAY,EAChD,IAAI,EACJ,4EAA4E,CAC7E,CAAC;QACJ,CAAC;QACD,MAAM,GAAG,GACP,IAAI,CAAC,MAAM,KAAK,CAAC;YACf,CAAC,CAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAoB;YACjE,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,GAAG,CAAC,CAAC;QAChD,MAAM,GAAG,GAAG,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAE,EAAE,GAAG,CAAC,CAAC;QACpE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,kBAAkB,EAAE,IAAI,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IACvF,CAAC;IACD,IAAI,EAAE,CAAC,MAAM,KAAK,YAAY,EAAE,CAAC;QAC/B,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACtB,OAAO,CAAC,UAAU,CAChB,0BAA0B,IAAI,CAAC,MAAM,YAAY,EACjD,IAAI,EACJ,qEAAqE,CACtE,CAAC;QACJ,CAAC;QACD,MAAM,QAAQ,GAAG,qBAAqB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAE,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,EAAE,QAAQ,CAAC,CAAC;QACrF,MAAM,IAAI,GAAG,qBAAqB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAE,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,EAAE,QAAQ,CAAC,CAAC;QACjF,OAAO;YACL,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,eAAe;YACnB,IAAI,EAAE;gBACJ,QAAQ;gBACR,IAAI;gBACJ,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,GAAG,CAAC;gBACzC,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,GAAG,CAAC;gBACzC,eAAe,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAE,EAAE,mBAAmB,CAAC;aACxD;YACD,IAAI,EAAE,QAAQ;YACd,GAAG;SACJ,CAAC;IACJ,CAAC;IACD,MAAM,KAAK,GAAkD;QAC3D,UAAU,EAAE,cAAc;QAC1B,SAAS,EAAE,aAAa;QACxB,SAAS,EAAE,aAAa;KACzB,CAAC;IACF,MAAM,IAAI,GAAG,GAAG,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC;IACnC,IAAI,EAAE,CAAC,MAAM,KAAK,SAAS,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IAC/D,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAChC,OAAO,CAAC,UAAU,CAAC,UAAU,EAAE,CAAC,MAAM,SAAS,IAAI,CAAC,SAAS,CAAC,MAAM,YAAY,EAAE,IAAI,CAAC,CAAC;IAC1F,CAAC;IACD,IAAI,EAAE,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QAC5B,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IACtD,CAAC;IACD,OAAO;QACL,IAAI,EAAE,UAAU;QAChB,KAAK,EAAE,IAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC;QAClF,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC;QACrB,GAAG;KACJ,CAAC;AACJ,CAAC;AAED;;6EAE6E;AAC7E,MAAM,UAAU,yBAAyB,CACvC,OAAgB,EAChB,IAAuB,EACvB,MAAmC;IAEnC,IAAI,IAAI,CAAC,gBAAgB,IAAI,MAAM,CAAC,gBAAgB;QAAE,OAAO,IAAI,CAAC;IAClE,MAAM,YAAY,GAAG,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC;IAC1E,IAAI,YAAY,EAAE,IAAI,KAAK,YAAY,IAAI,YAAY,EAAE,IAAI,KAAK,YAAY;QAAE,OAAO,IAAI,CAAC;IAC5F,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC,MAAM,CAAC;QAAE,OAAO,IAAI,CAAC;IACjD,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;IAC9B,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,QAAQ,GAAG,GAAW,EAAE,CAAC,OAAO,CAAC,kBAAkB,CAAC,MAAM,CAAC,UAAU,EAAE,YAAY,CAAC,CAAC;IAC3F,IAAI,IAAI,KAAK,QAAQ,EAAE,CAAC;QACtB,IACE,IAAI,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC;YACzB,IAAI,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC;YACzB,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,EACvC,CAAC;YACD,OAAO,CAAC,UAAU,CAChB,GAAG,YAAY,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,gBAAgB,IAAI,CAAC,SAAS,CAAC,MAAM,YAAY,EACxG,IAAI,EACJ,sDAAsD,CACvD,CAAC;QACJ,CAAC;QACD,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC;QACpC,MAAM,QAAQ,GAAG,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;QAC7D,qEAAqE;QACrE,yEAAyE;QACzE,MAAM,IAAI,GACR,QAAQ,EAAE,IAAI,KAAK,QAAQ,IAAI,QAAQ,EAAE,IAAI,KAAK,OAAO;YACvD,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAAC,QAAQ,EAAE,QAAQ,CAAC;YAChD,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;QAClC,MAAM,MAAM,GAAG,YAAY,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,mBAAmB,CAAC;QAC9F,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;YAC1D,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAChC,OAAO,CAAC,UAAU,CAChB,mDAAmD,EACnD,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,EAClB,2CAA2C,CAC5C,CAAC;YACJ,CAAC;YACD,OAAO;gBACL,IAAI,EAAE,SAAS;gBACf,EAAE,EAAE,GAAG,MAAM,OAAkB;gBAC/B,IAAI,EAAE,CAAC,QAAQ,EAAE,EAAE,IAAI,CAAC;gBACxB,IAAI,EAAE,YAAY;gBAClB,GAAG;aACJ,CAAC;QACJ,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAChC,MAAM,YAAY,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;YACvC,IAAI,YAAY,KAAK,SAAS,EAAE,CAAC;gBAC/B,OAAO;oBACL,IAAI,EAAE,SAAS;oBACf,EAAE,EAAE,GAAG,MAAM,KAAgB;oBAC7B,IAAI,EAAE,CAAC,QAAQ,EAAE,EAAE,IAAI,CAAC;oBACxB,IAAI,EAAE,YAAY;oBAClB,GAAG;iBACJ,CAAC;YACJ,CAAC;YACD,MAAM,YAAY,GAAG,OAAO,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC;YAClD,IACE,CAAC,YAAY,CAAC,mBAAmB,EAAE;gBACnC,CAAC,CAAC,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC,QAAQ,CAAC,YAAY,CAAC,KAAK,CAAC,EAChE,CAAC;gBACD,OAAO,CAAC,UAAU,CAChB,2CAA2C,EAC3C,YAAY,EACZ,mDAAmD,CACpD,CAAC;YACJ,CAAC;YACD,IAAI,YAAY,CAAC,KAAK,KAAK,MAAM,IAAI,YAAY,CAAC,KAAK,KAAK,OAAO,EAAE,CAAC;gBACpE,OAAO,CAAC,kBAAkB,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC;gBACjD,OAAO;oBACL,IAAI,EAAE,SAAS;oBACf,EAAE,EAAE,GAAG,MAAM,KAAgB;oBAC7B,IAAI,EAAE,CAAC,QAAQ,EAAE,EAAE,IAAI,CAAC;oBACxB,IAAI,EAAE,YAAY;oBAClB,GAAG;iBACJ,CAAC;YACJ,CAAC;YACD,MAAM,OAAO,GAAW;gBACtB,IAAI,EAAE,SAAS;gBACf,EAAE,EAAE,gBAAgB;gBACpB,IAAI,EAAE,CAAC,IAAI,EAAE,OAAO,CAAC,kBAAkB,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC;gBAC9D,IAAI,EAAE,QAAQ;gBACd,GAAG;aACJ,CAAC;YACF,OAAO;gBACL,IAAI,EAAE,SAAS;gBACf,EAAE,EAAE,GAAG,MAAM,OAAkB;gBAC/B,IAAI,EAAE,CAAC,QAAQ,EAAE,EAAE,OAAO,CAAC;gBAC3B,IAAI,EAAE,YAAY;gBAClB,GAAG;aACJ,CAAC;QACJ,CAAC;QACD,OAAO,CAAC,UAAU,CAChB,wBAAwB,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,EACxD,QAAQ,EACR,mDAAmD,CACpD,CAAC;IACJ,CAAC;IACD,IAAI,IAAI,KAAK,QAAQ,EAAE,CAAC;QACtB,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,EAAE,CAAC;YACzE,OAAO,CAAC,UAAU,CAChB,GAAG,YAAY,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,gBAAgB,IAAI,CAAC,SAAS,CAAC,MAAM,YAAY,EACxG,IAAI,EACJ,qDAAqD,CACtD,CAAC;QACJ,CAAC;QACD,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAChC,OAAO;gBACL,IAAI,EAAE,SAAS;gBACf,EAAE,EACA,YAAY,CAAC,IAAI,KAAK,YAAY;oBAChC,CAAC,CAAC,yBAAyB;oBAC3B,CAAC,CAAC,yBAAyB;gBAC/B,IAAI,EAAE,CAAC,QAAQ,EAAE,CAAC;gBAClB,IAAI,EAAE,QAAQ;gBACd,GAAG;aACJ,CAAC;QACJ,CAAC;QACD,OAAO;YACL,IAAI,EAAE,SAAS;YACf,EAAE,EACA,YAAY,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,yBAAyB,CAAC,CAAC,CAAC,yBAAyB;YAC5F,IAAI,EAAE;gBACJ,QAAQ,EAAE;gBACV,cAAc,CACZ,OAAO,EACP,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,EAClB,GAAG,YAAY,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,SAAS,CACjE;aACF;YACD,IAAI,EAAE,MAAM;YACZ,GAAG;SACJ,CAAC;IACJ,CAAC;IACD,IAAI,IAAI,KAAK,MAAM,IAAI,YAAY,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QAC1D,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;YAC7B,OAAO,CAAC,UAAU,CAChB,kBAAkB,IAAI,CAAC,SAAS,CAAC,MAAM,YAAY,EACnD,IAAI,EACJ,qCAAqC,CACtC,CAAC;QACJ,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,iBAAiB,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,CAAC;IACjG,CAAC;IACD,OAAO,CAAC,UAAU,CAChB,GAAG,YAAY,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,IAAI,IAAI,EAAE,EACjE,IAAI,EACJ,YAAY,CAAC,IAAI,KAAK,YAAY;QAChC,CAAC,CAAC,8CAA8C;QAChD,CAAC,CAAC,qCAAqC,EACzC,OAAO,CAAC,OAAO,CAAC,mBAAmB,CAAC,MAAM,CAAC,IAAI,CAAC,CACjD,CAAC;AACJ,CAAC"}

package/dist/frontend/lowering/builtins/dates.d.ts

@@ -0,0 +1,7 @@
+import * as ts from "../../ts7/adapter.js";
+import { type Lowerer } from "../lowerer.js";
+import { type IrExpr } from "../../../ir/ir.js";
+/** The Date slice: statics plus read-only Date values backed by one
+ * TimeClip'd millisecond scalar. Construction lives in lowerNew;
+ * identity and mutating methods remain fenced. */
+export declare function lowerDateCall(lowerer: Lowerer, call: ts.CallExpression, access: ts.PropertyAccessExpression): IrExpr | null;

package/dist/frontend/lowering/builtins/dates.js

@@ -0,0 +1,101 @@
+import * as ts from "../../ts7/adapter.js";
+import { own } from "../lowerer.js";
+import { locOf } from "../../program.js";
+import { F64, STRING } from "../../../ir/ir.js";
+const DATE_GETTER_FNS = {
+    getFullYear: "date.getFullYear",
+    getUTCFullYear: "date.getUTCFullYear",
+    getMonth: "date.getMonth",
+    getUTCMonth: "date.getUTCMonth",
+    getDate: "date.getDate",
+    getUTCDate: "date.getUTCDate",
+    getDay: "date.getDay",
+    getUTCDay: "date.getUTCDay",
+    getHours: "date.getHours",
+    getUTCHours: "date.getUTCHours",
+    getMinutes: "date.getMinutes",
+    getUTCMinutes: "date.getUTCMinutes",
+    getSeconds: "date.getSeconds",
+    getUTCSeconds: "date.getUTCSeconds",
+    getMilliseconds: "date.getMilliseconds",
+    getUTCMilliseconds: "date.getUTCMilliseconds",
+    getTimezoneOffset: "date.getTimezoneOffset",
+};
+const DATE_METHOD_HINT = "getTime(), valueOf(), toISOString(), the local/UTC calendar getters, and getTimezoneOffset() are supported; Date setters and locale/string formatters have no lowering";
+/** The Date slice: statics plus read-only Date values backed by one
+ * TimeClip'd millisecond scalar. Construction lives in lowerNew;
+ * identity and mutating methods remain fenced. */
+export function lowerDateCall(lowerer, call, access) {
+    if (call.questionDotToken || access.questionDotToken)
+        return null;
+    const loc = locOf(call);
+    if (lowerer.stdlibGlobalMember(access, "Date") === "now") {
+        if (call.arguments.length !== 0) {
+            lowerer.noLowering(`Date.now with ${call.arguments.length} arguments`, call);
+        }
+        return { kind: "libCall", fn: "date.now", args: [], type: F64, loc };
+    }
+    // Date.parse uses the same bounded date-string parser as
+    // new Date(dateString).getTime(); keep their NaN and TimeClip behavior
+    // identical for the ISO timestamps used by CLI applications.
+    if (lowerer.stdlibGlobalMember(access, "Date") === "parse") {
+        if (call.arguments.length !== 1 || ts.isSpreadElement(call.arguments[0])) {
+            lowerer.noLowering(`Date.parse with ${call.arguments.length} arguments`, call);
+        }
+        const input = lowerer.lowerExprExpecting(call.arguments[0], STRING);
+        return { kind: "libCall", fn: "date.parse", args: [input], type: F64, loc };
+    }
+    // Date.UTC(year[, month[, date[, hours[, minutes[, seconds[, ms]]]]]]):
+    // a pure function of its numbers — the runtime's MakeDay/MakeTime/
+    // TimeClip. Omitted trailing arguments complete with the spec's
+    // defaults (month 0, date 1, time parts 0); tsc pins every present
+    // argument to number, so the seven-f64 ABI is exact.
+    if (lowerer.stdlibGlobalMember(access, "Date") === "UTC") {
+        if (call.arguments.length < 1 ||
+            call.arguments.length > 7 ||
+            call.arguments.some((a) => ts.isSpreadElement(a))) {
+            lowerer.noLowering(`Date.UTC with ${call.arguments.length} arguments`, call);
+        }
+        const defaults = [0, 0, 1, 0, 0, 0, 0]; // year is always present (arity ≥ 1)
+        const args = [];
+        for (let i = 0; i < 7; i++) {
+            const a = call.arguments[i];
+            args.push(a !== undefined
+                ? lowerer.lowerExprExpecting(a, F64)
+                : { kind: "numLit", value: defaults[i], type: F64, loc });
+        }
+        return { kind: "libCall", fn: "date.utc", args, type: F64, loc };
+    }
+    if (lowerer.mapTypeOf(lowerer.typeOf(access.expression))?.kind !== "date")
+        return null;
+    if (!lowerer.isStdlibMember(access))
+        return null;
+    const name = access.name.text;
+    if (call.arguments.length !== 0) {
+        lowerer.noLowering(`Date.prototype.${name} with arguments`, call, DATE_METHOD_HINT);
+    }
+    const raw = lowerer.lowerExpr(access.expression);
+    const receiver = raw.type.kind === "dyn"
+        ? { kind: "libCall", fn: "date.checkedValue", args: [raw], type: { kind: "date" }, loc }
+        : raw;
+    if (receiver.type.kind !== "date")
+        lowerer.badType(access.expression, lowerer.typeOf(access.expression));
+    if (name === "getTime" || name === "valueOf") {
+        return {
+            kind: "libCall",
+            fn: name === "getTime" ? "date.getTime" : "date.valueOf",
+            args: [receiver],
+            type: F64,
+            loc,
+        };
+    }
+    if (name === "toISOString") {
+        return { kind: "libCall", fn: "date.toISOStringValue", args: [receiver], type: STRING, loc };
+    }
+    const fn = own(DATE_GETTER_FNS, name);
+    if (fn !== undefined) {
+        return { kind: "libCall", fn, args: [receiver], type: F64, loc };
+    }
+    lowerer.noLowering(`Date.prototype.${name}`, call, DATE_METHOD_HINT, lowerer.checker.getSymbolAtLocation(access.name));
+}
+//# sourceMappingURL=dates.js.map