@scriptc/compiler 0.4.4 → 0.4.5

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

@@ -0,0 +1,33 @@
+import * as ts from "../../ts7/adapter.js";
+import { type Lowerer } from "../lowerer.js";
+import { type IrExpr, type IrFunction, type IrType, type SrcLoc } from "../../../ir/ir.js";
+/** Whether `t` is the X509Certificate record (its hidden publicKey slot
+ * marks the shape; no program can name that field). */
+export declare function isX509Type(lowerer: Lowerer, t: IrType | null | undefined): boolean;
+/** A certificate in an `unknown` or `any` slot would cross as a plain
+ * object of its fields, which Node's certificate is not: its fields are
+ * prototype getters, and toString() and toJSON() give its PEM. Every such
+ * conversion in the lowered program, including a certificate inside an
+ * array or record that converts, is refused where it happens. */
+export declare function refuseX509DynValues(lowerer: Lowerer, functions: readonly IrFunction[]): void;
+/** String(x509), `${x509}` and x509 + "": the certificate's toString(),
+ * its PEM. */
+export declare function x509ToString(record: IrExpr, loc: SrcLoc): IrExpr;
+/** Node keeps a certificate's fields as prototype getters, so own-key
+ * walks (Object.keys/values/entries, for-in, spread, hasOwnProperty) see
+ * none of them. Those walks over a certificate fence instead of listing
+ * the fields. */
+export declare function fenceX509KeyWalk(lowerer: Lowerer, t: IrType | null | undefined, node: ts.Node, what: string): void;
+/** `x509.publicKey`: the cached KeyObject (a lifted helper fills the
+ * hidden slot on the first read). */
+export declare function lowerX509PublicKey(lowerer: Lowerer, access: ts.PropertyAccessExpression): IrExpr | null;
+/** The X509Certificate methods: verify, checkPrivateKey, checkIssued,
+ * checkHost, checkEmail, checkIP, toLegacyObject, toString and toJSON. */
+export declare function lowerX509Call(lowerer: Lowerer, call: ts.CallExpression): IrExpr | null;
+/** The TLS socket certificate accessors. getPeerCertificate([detailed])
+ * and getCertificate() answer Node's legacy object (scr_tls_x509.c):
+ * Node reads `detailed` only when it is true. getPeerX509Certificate() and
+ * getX509Certificate() build a new X509Certificate from the certificate's
+ * DER on each call, or answer undefined without one. Null for other
+ * members. */
+export declare function lowerTlsCertificateCall(lowerer: Lowerer, call: ts.CallExpression, name: string, receiver: () => IrExpr): IrExpr | null;

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

@@ -0,0 +1,431 @@
+import * as ts from "../../ts7/adapter.js";
+import {} from "../lowerer.js";
+import { locOf } from "../../program.js";
+import { BOOL, BYTES_U8, DYN, F64, STRING, UNDEFINED_T, } from "../../../ir/ir.js";
+import { everyStmtList } from "../../../ir/traverse.js";
+import { unsupportedDiag } from "../../../diagnostics/diagnostic.js";
+import { X509_DER_FIELD, X509_PUBLIC_KEY_FIELD } from "../../type-mapper.js";
+import { keyedHelperName } from "../stable-names.js";
+import { x509RecordCall } from "../lower-classes.js";
+/* node:crypto's X509Certificate members beyond its fields: the methods
+ * and the publicKey getter. A certificate is the Dirent-style record
+ * (type-mapper.ts), and each member reads the record's hidden copy of its
+ * DER, which writes into the `raw` Buffer leave alone, as in Node. checkHost,
+ * checkEmail, checkIP, checkIssued, toLegacyObject and the PEM of
+ * toString/toJSON run in scr_x509.c;
+ * publicKey, verify and checkPrivateKey read keys in scr_pki.c. The first
+ * publicKey read stores the KeyObject in the record's hidden slot, so
+ * every read answers the same object, as in Node. */
+/** Whether `t` is the X509Certificate record (its hidden publicKey slot
+ * marks the shape; no program can name that field). */
+export function isX509Type(lowerer, t) {
+    return (t?.kind === "record" &&
+        lowerer.shapes.get(t.shapeId)?.fields.some((f) => f.name === X509_PUBLIC_KEY_FIELD) === true);
+}
+/** Whether `node` is an X509Certificate record. */
+function isX509Record(lowerer, node) {
+    const type = lowerer.typeOf(node);
+    const sym = type.getSymbol();
+    if (!sym || ts.symbolName(sym) !== "X509Certificate" || !lowerer.isStdlibSymbol(sym))
+        return false;
+    return isX509Type(lowerer, lowerer.mapTypeOf(type));
+}
+/** A certificate in an `unknown` or `any` slot would cross as a plain
+ * object of its fields, which Node's certificate is not: its fields are
+ * prototype getters, and toString() and toJSON() give its PEM. Every such
+ * conversion in the lowered program, including a certificate inside an
+ * array or record that converts, is refused where it happens. */
+export function refuseX509DynValues(lowerer, functions) {
+    // Certificates exist only where `new X509Certificate` built one.
+    if (!lowerer.valueHelpers.has("x509.record:bytes") &&
+        !lowerer.valueHelpers.has("x509.record:str") &&
+        !lowerer.valueHelpers.has("x509.record:der"))
+        return;
+    const seen = new Map();
+    const holds = (t) => {
+        switch (t.kind) {
+            case "record": {
+                const known = seen.get(t.shapeId);
+                if (known !== undefined)
+                    return known;
+                seen.set(t.shapeId, false);
+                const shape = lowerer.shapes.get(t.shapeId);
+                const result = isX509Type(lowerer, t) ||
+                    (shape !== undefined &&
+                        (shape.fields.some((f) => holds(f.type)) ||
+                            (shape.indexValue !== undefined && holds(shape.indexValue))));
+                seen.set(t.shapeId, result);
+                return result;
+            }
+            case "array":
+            case "set":
+                return holds(t.elem);
+            case "map":
+                return holds(t.key) || holds(t.value);
+            case "promise":
+                return holds(t.inner);
+            case "union":
+                return lowerer.unions.get(t.unionId)?.arms.some(holds) === true;
+            default:
+                return false;
+        }
+    };
+    const visitor = {
+        expr: (e) => {
+            if (e.kind === "dynFrom" && holds(e.value.type)) {
+                lowerer.pushDiag(unsupportedDiag("SC1090", e.loc, "X509Certificate values in 'unknown' or 'any' slots (Node keeps a certificate's fields as prototype getters, and its toString() and toJSON() give the PEM; keep the X509Certificate type)"));
+            }
+            return true;
+        },
+        stmt: () => true,
+    };
+    for (const fn of functions)
+        everyStmtList(fn.body, visitor);
+}
+/** String(x509), `${x509}` and x509 + "": the certificate's toString(),
+ * its PEM. */
+export function x509ToString(record, loc) {
+    return { kind: "libCall", fn: "crypto.x509Pem", args: [derOf(record, loc)], type: STRING, loc };
+}
+/** Node keeps a certificate's fields as prototype getters, so own-key
+ * walks (Object.keys/values/entries, for-in, spread, hasOwnProperty) see
+ * none of them. Those walks over a certificate fence instead of listing
+ * the fields. */
+export function fenceX509KeyWalk(lowerer, t, node, what) {
+    if (!isX509Type(lowerer, t))
+        return;
+    lowerer.unsupported("SC1090", node, `${what} over X509Certificate values (Node keeps their fields as prototype getters, so own-key walks see none; read the fields)`);
+}
+function derOf(record, loc) {
+    if (record.type.kind !== "record")
+        return record;
+    return {
+        kind: "recordGet",
+        obj: record,
+        shapeId: record.type.shapeId,
+        field: X509_DER_FIELD,
+        type: BYTES_U8,
+        loc,
+    };
+}
+const dynUndefined = (loc) => ({
+    kind: "dynFrom",
+    value: { kind: "unitLit", unit: "undefined", type: UNDEFINED_T, loc },
+    type: DYN,
+    loc,
+});
+/** The method's string answer as `string | undefined`: "" is undefined.
+ * A lifted helper takes the text once. */
+function optionalString(lowerer, text, type, loc) {
+    if (type.kind !== "union")
+        return text;
+    const def = lowerer.unions.get(type.unionId);
+    const stringTag = def ? def.arms.findIndex((a) => a.kind === "string") : -1;
+    const undefinedTag = def ? def.arms.findIndex((a) => a.kind === "undefinedT") : -1;
+    if (stringTag < 0 || undefinedTag < 0)
+        return text;
+    const key = `x509.optional:${type.unionId}`;
+    let helper = lowerer.valueHelpers.get(key);
+    if (!helper) {
+        helper = keyedHelperName(lowerer, "%x509.optional", key);
+        lowerer.valueHelpers.set(key, helper);
+        const s = { kind: "varRef", localId: "s.0", type: STRING, loc };
+        lowerer.liftedFns.push({
+            name: helper,
+            params: [{ localId: "s.0", name: "s", type: STRING }],
+            returnType: type,
+            locals: [{ id: "s.0", name: "s", type: STRING, mutable: false }],
+            body: [
+                {
+                    kind: "return",
+                    value: {
+                        kind: "ternary",
+                        cond: {
+                            kind: "strEq",
+                            negated: false,
+                            left: s,
+                            right: { kind: "strLit", value: "", type: STRING, loc },
+                            type: BOOL,
+                            loc,
+                        },
+                        then: {
+                            kind: "unionWrap",
+                            unionId: type.unionId,
+                            tag: undefinedTag,
+                            value: { kind: "unitLit", unit: "undefined", type: UNDEFINED_T, loc },
+                            type,
+                            loc,
+                        },
+                        else_: {
+                            kind: "unionWrap",
+                            unionId: type.unionId,
+                            tag: stringTag,
+                            value: s,
+                            type,
+                            loc,
+                        },
+                        type,
+                        loc,
+                    },
+                    loc,
+                },
+            ],
+            loc,
+        });
+    }
+    return { kind: "call", callee: helper, args: [text], type, loc };
+}
+/** `x509.publicKey`: the cached KeyObject (a lifted helper fills the
+ * hidden slot on the first read). */
+export function lowerX509PublicKey(lowerer, access) {
+    if (access.name.text !== "publicKey" || access.questionDotToken)
+        return null;
+    if (!isX509Record(lowerer, access.expression))
+        return null;
+    const loc = locOf(access);
+    const record = lowerer.lowerExpr(access.expression);
+    if (record.type.kind !== "record")
+        return null;
+    const shapeId = record.type.shapeId;
+    const key = `x509.publicKey:${shapeId}`;
+    let helper = lowerer.valueHelpers.get(key);
+    if (!helper) {
+        helper = keyedHelperName(lowerer, "%x509.publicKey", key);
+        lowerer.valueHelpers.set(key, helper);
+        const c = { kind: "varRef", localId: "c.0", type: record.type, loc };
+        const slot = {
+            kind: "recordGet",
+            obj: c,
+            shapeId,
+            field: X509_PUBLIC_KEY_FIELD,
+            type: DYN,
+            loc,
+        };
+        lowerer.liftedFns.push({
+            name: helper,
+            params: [{ localId: "c.0", name: "c", type: record.type }],
+            returnType: DYN,
+            locals: [{ id: "c.0", name: "c", type: record.type, mutable: false }],
+            body: [
+                {
+                    kind: "if",
+                    cond: { kind: "dynTest", test: "undefined", value: slot, type: BOOL, loc },
+                    then: [
+                        {
+                            kind: "recordSet",
+                            obj: c,
+                            shapeId,
+                            field: X509_PUBLIC_KEY_FIELD,
+                            value: {
+                                kind: "libCall",
+                                fn: "crypto.x509PublicKey",
+                                args: [derOf(c, loc)],
+                                type: DYN,
+                                loc,
+                            },
+                            loc,
+                        },
+                    ],
+                    else_: null,
+                    loc,
+                },
+                { kind: "return", value: slot, loc },
+            ],
+            loc,
+        });
+    }
+    return { kind: "call", callee: helper, args: [record], type: DYN, loc };
+}
+const METHODS = new Map([
+    ["verify", { fn: "crypto.x509Verify", min: 1, max: 1, form: "verify(publicKey)" }],
+    [
+        "checkPrivateKey",
+        { fn: "crypto.x509CheckPrivateKey", min: 1, max: 1, form: "checkPrivateKey(privateKey)" },
+    ],
+    ["checkIssued", { fn: "crypto.x509CheckIssued", min: 1, max: 1, form: "checkIssued(otherCert)" }],
+    ["checkHost", { fn: "crypto.x509CheckHost", min: 1, max: 2, form: "checkHost(name[, options])" }],
+    [
+        "checkEmail",
+        { fn: "crypto.x509CheckEmail", min: 1, max: 2, form: "checkEmail(email[, options])" },
+    ],
+    ["checkIP", { fn: "crypto.x509CheckIP", min: 1, max: 2, form: "checkIP(ip[, options])" }],
+    ["toLegacyObject", { fn: "crypto.x509LegacyObject", min: 0, max: 0, form: "toLegacyObject()" }],
+    ["toString", { fn: "crypto.x509Pem", min: 0, max: 0, form: "toString()" }],
+    ["toJSON", { fn: "crypto.x509Pem", min: 0, max: 0, form: "toJSON()" }],
+]);
+/** The X509Certificate methods: verify, checkPrivateKey, checkIssued,
+ * checkHost, checkEmail, checkIP, toLegacyObject, toString and toJSON. */
+export function lowerX509Call(lowerer, call) {
+    if (call.questionDotToken || !ts.isPropertyAccessExpression(call.expression))
+        return null;
+    const access = call.expression;
+    if (access.questionDotToken)
+        return null;
+    const method = METHODS.get(access.name.text);
+    if (!method)
+        return null;
+    if (!isX509Record(lowerer, access.expression))
+        return null;
+    const loc = locOf(call);
+    const args = call.arguments.nodes;
+    if (args.length < method.min || args.length > method.max || args.some(ts.isSpreadElement)) {
+        lowerer.noLowering(`X509Certificate.${access.name.text} with ${args.length} argument(s)`, call, `the supported form is ${method.form}`);
+    }
+    const raw = derOf(lowerer.lowerExpr(access.expression), loc);
+    if (method.fn === "crypto.x509LegacyObject") {
+        return { kind: "libCall", fn: method.fn, args: [raw], type: DYN, loc };
+    }
+    if (method.fn === "crypto.x509Pem")
+        return { kind: "libCall", fn: method.fn, args: [raw], type: STRING, loc };
+    if (method.fn === "crypto.x509CheckIssued") {
+        if (!isX509Record(lowerer, args[0])) {
+            // Node's validation of otherCert, after both operands evaluate.
+            return {
+                kind: "seqExpr",
+                stmts: [{ kind: "exprStmt", expr: raw, loc }],
+                result: {
+                    kind: "libCall",
+                    fn: "error.argTypeThrow",
+                    args: [
+                        { kind: "strLit", value: "otherCert", type: STRING, loc },
+                        { kind: "strLit", value: "an instance of X509Certificate", type: STRING, loc },
+                        lowerer.lowerExprExpecting(args[0], DYN),
+                    ],
+                    type: BOOL,
+                    loc,
+                },
+                type: BOOL,
+                loc,
+            };
+        }
+        const other = derOf(lowerer.lowerExpr(args[0]), loc);
+        return { kind: "libCall", fn: method.fn, args: [raw, other], type: BOOL, loc };
+    }
+    const first = lowerer.lowerExprExpecting(args[0], DYN);
+    if (method.fn === "crypto.x509Verify" || method.fn === "crypto.x509CheckPrivateKey") {
+        return { kind: "libCall", fn: method.fn, args: [raw, first], type: BOOL, loc };
+    }
+    const options = args.length > 1 ? lowerer.lowerExprExpecting(args[1], DYN) : dynUndefined(loc);
+    const text = {
+        kind: "libCall",
+        fn: method.fn,
+        args: [raw, first, options],
+        type: STRING,
+        loc,
+    };
+    return optionalString(lowerer, text, lowerer.mapTypeOf(lowerer.typeOf(call)) ?? STRING, loc);
+}
+/** The TLS socket certificate accessors. getPeerCertificate([detailed])
+ * and getCertificate() answer Node's legacy object (scr_tls_x509.c):
+ * Node reads `detailed` only when it is true. getPeerX509Certificate() and
+ * getX509Certificate() build a new X509Certificate from the certificate's
+ * DER on each call, or answer undefined without one. Null for other
+ * members. */
+export function lowerTlsCertificateCall(lowerer, call, name, receiver) {
+    const loc = locOf(call);
+    const args = call.arguments.nodes;
+    if (name === "getPeerCertificate" || name === "getCertificate") {
+        const max = name === "getPeerCertificate" ? 1 : 0;
+        if (args.length > max || args.some(ts.isSpreadElement)) {
+            lowerer.noLowering(`${name} with ${args.length} argument(s)`, call, name === "getPeerCertificate"
+                ? "the form is getPeerCertificate(detailed?)"
+                : "getCertificate() takes no arguments");
+        }
+        const socket = receiver();
+        const value = name === "getCertificate"
+            ? { kind: "libCall", fn: "tls.sockGetCertificate", args: [socket], type: DYN, loc }
+            : {
+                kind: "libCall",
+                fn: "tls.sockGetPeerCertificate",
+                args: [
+                    socket,
+                    args.length > 0 ? lowerer.lowerExprExpecting(args[0], DYN) : dynUndefined(loc),
+                ],
+                type: DYN,
+                loc,
+            };
+        const declared = lowerer.mapTypeOf(lowerer.typeOf(call));
+        return declared === null || declared.kind === "dyn"
+            ? value
+            : lowerer.coerceInto(call, value, declared);
+    }
+    if (name !== "getPeerX509Certificate" && name !== "getX509Certificate")
+        return null;
+    if (args.length > 0) {
+        lowerer.noLowering(`${name} with ${args.length} argument(s)`, call, `${name}() takes no arguments`);
+    }
+    const type = lowerer.mapTypeOf(lowerer.typeOf(call));
+    const def = type?.kind === "union" ? lowerer.unions.get(type.unionId) : undefined;
+    const recordTag = def ? def.arms.findIndex((arm) => isX509Type(lowerer, arm)) : -1;
+    const undefinedTag = def ? def.arms.findIndex((arm) => arm.kind === "undefinedT") : -1;
+    if (type?.kind !== "union" || !def || recordTag < 0 || undefinedTag < 0) {
+        lowerer.noLowering(`tlsSocket.${name} with this result type`, call, "its type is X509Certificate | undefined");
+    }
+    const record = def.arms[recordTag];
+    const der = {
+        kind: "libCall",
+        fn: name === "getPeerX509Certificate" ? "tls.sockPeerCertDer" : "tls.sockOwnCertDer",
+        args: [receiver()],
+        type: BYTES_U8,
+        loc,
+    };
+    const key = `tls.x509:${type.unionId}`;
+    let helper = lowerer.valueHelpers.get(key);
+    if (!helper) {
+        helper = keyedHelperName(lowerer, "%tls.x509", key);
+        lowerer.valueHelpers.set(key, helper);
+        const d = { kind: "varRef", localId: "d.0", type: BYTES_U8, loc };
+        lowerer.liftedFns.push({
+            name: helper,
+            params: [{ localId: "d.0", name: "der", type: BYTES_U8 }],
+            returnType: type,
+            locals: [{ id: "d.0", name: "der", type: BYTES_U8, mutable: false }],
+            body: [
+                {
+                    kind: "return",
+                    value: {
+                        kind: "ternary",
+                        cond: {
+                            kind: "bin",
+                            op: "===",
+                            left: {
+                                kind: "bytesIntrinsic",
+                                method: "length",
+                                receiver: d,
+                                args: [],
+                                type: F64,
+                                loc,
+                            },
+                            right: { kind: "numLit", value: 0, type: F64, loc },
+                            type: BOOL,
+                            loc,
+                        },
+                        then: {
+                            kind: "unionWrap",
+                            unionId: type.unionId,
+                            tag: undefinedTag,
+                            value: { kind: "unitLit", unit: "undefined", type: UNDEFINED_T, loc },
+                            type,
+                            loc,
+                        },
+                        else_: {
+                            kind: "unionWrap",
+                            unionId: type.unionId,
+                            tag: recordTag,
+                            // The handshake's DER, read without PEM detection.
+                            value: x509RecordCall(lowerer, d, record, loc, true),
+                            type,
+                            loc,
+                        },
+                        type,
+                        loc,
+                    },
+                    loc,
+                },
+            ],
+            loc,
+        });
+    }
+    return { kind: "call", callee: helper, args: [der], type, loc };
+}
+//# sourceMappingURL=x509.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"x509.js","sourceRoot":"","sources":["../../../../src/frontend/lowering/builtins/x509.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAC3C,OAAO,EAAgB,MAAM,eAAe,CAAC;AAC7C,OAAO,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AACzC,OAAO,EACL,IAAI,EACJ,QAAQ,EACR,GAAG,EACH,GAAG,EACH,MAAM,EACN,WAAW,GAMZ,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAC;AACxD,OAAO,EAAE,eAAe,EAAE,MAAM,oCAAoC,CAAC;AACrE,OAAO,EAAE,cAAc,EAAE,qBAAqB,EAAE,MAAM,sBAAsB,CAAC;AAC7E,OAAO,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AACrD,OAAO,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AAErD;;;;;;;;qDAQqD;AAErD;uDACuD;AACvD,MAAM,UAAU,UAAU,CAAC,OAAgB,EAAE,CAA4B;IACvE,OAAO,CACL,CAAC,EAAE,IAAI,KAAK,QAAQ;QACpB,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,qBAAqB,CAAC,KAAK,IAAI,CAC7F,CAAC;AACJ,CAAC;AAED,mDAAmD;AACnD,SAAS,YAAY,CAAC,OAAgB,EAAE,IAAmB;IACzD,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAClC,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,EAAE,CAAC;IAC7B,IAAI,CAAC,GAAG,IAAI,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,KAAK,iBAAiB,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC;QAClF,OAAO,KAAK,CAAC;IACf,OAAO,UAAU,CAAC,OAAO,EAAE,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC;AACtD,CAAC;AAED;;;;iEAIiE;AACjE,MAAM,UAAU,mBAAmB,CAAC,OAAgB,EAAE,SAAgC;IACpF,iEAAiE;IACjE,IACE,CAAC,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,mBAAmB,CAAC;QAC9C,CAAC,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,iBAAiB,CAAC;QAC5C,CAAC,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,iBAAiB,CAAC;QAE5C,OAAO;IACT,MAAM,IAAI,GAAG,IAAI,GAAG,EAAmB,CAAC;IACxC,MAAM,KAAK,GAAG,CAAC,CAAS,EAAW,EAAE;QACnC,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;YACf,KAAK,QAAQ,EAAE,CAAC;gBACd,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;gBAClC,IAAI,KAAK,KAAK,SAAS;oBAAE,OAAO,KAAK,CAAC;gBACtC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;gBAC3B,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;gBAC5C,MAAM,MAAM,GACV,UAAU,CAAC,OAAO,EAAE,CAAC,CAAC;oBACtB,CAAC,KAAK,KAAK,SAAS;wBAClB,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;4BACtC,CAAC,KAAK,CAAC,UAAU,KAAK,SAAS,IAAI,KAAK,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;gBACpE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;gBAC5B,OAAO,MAAM,CAAC;YAChB,CAAC;YACD,KAAK,OAAO,CAAC;YACb,KAAK,KAAK;gBACR,OAAO,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YACvB,KAAK,KAAK;gBACR,OAAO,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YACxC,KAAK,SAAS;gBACZ,OAAO,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YACxB,KAAK,OAAO;gBACV,OAAO,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC;YAClE;gBACE,OAAO,KAAK,CAAC;QACjB,CAAC;IACH,CAAC,CAAC;IACF,MAAM,OAAO,GAAG;QACd,IAAI,EAAE,CAAC,CAAS,EAAW,EAAE;YAC3B,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;gBAChD,OAAO,CAAC,QAAQ,CACd,eAAe,CACb,QAAQ,EACR,CAAC,CAAC,GAAG,EACL,0LAA0L,CAC3L,CACF,CAAC;YACJ,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;QACD,IAAI,EAAE,GAAY,EAAE,CAAC,IAAI;KAC1B,CAAC;IACF,KAAK,MAAM,EAAE,IAAI,SAAS;QAAE,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;AAC9D,CAAC;AAED;cACc;AACd,MAAM,UAAU,YAAY,CAAC,MAAc,EAAE,GAAW;IACtD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,gBAAgB,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;AAClG,CAAC;AAED;;;iBAGiB;AACjB,MAAM,UAAU,gBAAgB,CAC9B,OAAgB,EAChB,CAA4B,EAC5B,IAAa,EACb,IAAY;IAEZ,IAAI,CAAC,UAAU,CAAC,OAAO,EAAE,CAAC,CAAC;QAAE,OAAO;IACpC,OAAO,CAAC,WAAW,CACjB,QAAQ,EACR,IAAI,EACJ,GAAG,IAAI,yHAAyH,CACjI,CAAC;AACJ,CAAC;AAED,SAAS,KAAK,CAAC,MAAc,EAAE,GAAW;IACxC,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,MAAM,CAAC;IACjD,OAAO;QACL,IAAI,EAAE,WAAW;QACjB,GAAG,EAAE,MAAM;QACX,OAAO,EAAE,MAAM,CAAC,IAAI,CAAC,OAAO;QAC5B,KAAK,EAAE,cAAc;QACrB,IAAI,EAAE,QAAQ;QACd,GAAG;KACJ,CAAC;AACJ,CAAC;AAED,MAAM,YAAY,GAAG,CAAC,GAAW,EAAU,EAAE,CAAC,CAAC;IAC7C,IAAI,EAAE,SAAS;IACf,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE;IACrE,IAAI,EAAE,GAAG;IACT,GAAG;CACJ,CAAC,CAAC;AAEH;0CAC0C;AAC1C,SAAS,cAAc,CAAC,OAAgB,EAAE,IAAY,EAAE,IAAY,EAAE,GAAW;IAC/E,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,IAAI,CAAC;IACvC,MAAM,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC7C,MAAM,SAAS,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC5E,MAAM,YAAY,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACnF,IAAI,SAAS,GAAG,CAAC,IAAI,YAAY,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IACnD,MAAM,GAAG,GAAG,iBAAiB,IAAI,CAAC,OAAO,EAAE,CAAC;IAC5C,IAAI,MAAM,GAAG,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC3C,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,MAAM,GAAG,eAAe,CAAC,OAAO,EAAE,gBAAgB,EAAE,GAAG,CAAC,CAAC;QACzD,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QACtC,MAAM,CAAC,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;QACxE,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC;YACrB,IAAI,EAAE,MAAM;YACZ,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;YACrD,UAAU,EAAE,IAAI;YAChB,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;YAChE,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,QAAQ;oBACd,KAAK,EAAE;wBACL,IAAI,EAAE,SAAS;wBACf,IAAI,EAAE;4BACJ,IAAI,EAAE,OAAO;4BACb,OAAO,EAAE,KAAK;4BACd,IAAI,EAAE,CAAC;4BACP,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE;4BACvD,IAAI,EAAE,IAAI;4BACV,GAAG;yBACJ;wBACD,IAAI,EAAE;4BACJ,IAAI,EAAE,WAAW;4BACjB,OAAO,EAAE,IAAI,CAAC,OAAO;4BACrB,GAAG,EAAE,YAAY;4BACjB,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE;4BACrE,IAAI;4BACJ,GAAG;yBACJ;wBACD,KAAK,EAAE;4BACL,IAAI,EAAE,WAAW;4BACjB,OAAO,EAAE,IAAI,CAAC,OAAO;4BACrB,GAAG,EAAE,SAAS;4BACd,KAAK,EAAE,CAAC;4BACR,IAAI;4BACJ,GAAG;yBACJ;wBACD,IAAI;wBACJ,GAAG;qBACJ;oBACD,GAAG;iBACJ;aACF;YACD,GAAG;SACJ,CAAC,CAAC;IACL,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;AACnE,CAAC;AAED;qCACqC;AACrC,MAAM,UAAU,kBAAkB,CAChC,OAAgB,EAChB,MAAmC;IAEnC,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,WAAW,IAAI,MAAM,CAAC,gBAAgB;QAAE,OAAO,IAAI,CAAC;IAC7E,IAAI,CAAC,YAAY,CAAC,OAAO,EAAE,MAAM,CAAC,UAAU,CAAC;QAAE,OAAO,IAAI,CAAC;IAC3D,MAAM,GAAG,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC;IAC1B,MAAM,MAAM,GAAG,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;IACpD,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IAC/C,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC;IACpC,MAAM,GAAG,GAAG,kBAAkB,OAAO,EAAE,CAAC;IACxC,IAAI,MAAM,GAAG,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC3C,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,MAAM,GAAG,eAAe,CAAC,OAAO,EAAE,iBAAiB,EAAE,GAAG,CAAC,CAAC;QAC1D,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QACtC,MAAM,CAAC,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC;QAC7E,MAAM,IAAI,GAAW;YACnB,IAAI,EAAE,WAAW;YACjB,GAAG,EAAE,CAAC;YACN,OAAO;YACP,KAAK,EAAE,qBAAqB;YAC5B,IAAI,EAAE,GAAG;YACT,GAAG;SACJ,CAAC;QACF,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC;YACrB,IAAI,EAAE,MAAM;YACZ,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC;YAC1D,UAAU,EAAE,GAAG;YACf,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;YACrE,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,IAAI;oBACV,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;oBAC1E,IAAI,EAAE;wBACJ;4BACE,IAAI,EAAE,WAAW;4BACjB,GAAG,EAAE,CAAC;4BACN,OAAO;4BACP,KAAK,EAAE,qBAAqB;4BAC5B,KAAK,EAAE;gCACL,IAAI,EAAE,SAAS;gCACf,EAAE,EAAE,sBAAsB;gCAC1B,IAAI,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;gCACrB,IAAI,EAAE,GAAG;gCACT,GAAG;6BACJ;4BACD,GAAG;yBACJ;qBACF;oBACD,KAAK,EAAE,IAAI;oBACX,GAAG;iBACJ;gBACD,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE;aACrC;YACD,GAAG;SACJ,CAAC,CAAC;IACL,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;AAC1E,CAAC;AAID,MAAM,OAAO,GAAoC,IAAI,GAAG,CAAqB;IAC3E,CAAC,QAAQ,EAAE,EAAE,EAAE,EAAE,mBAAmB,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,IAAI,EAAE,mBAAmB,EAAE,CAAC;IAClF;QACE,iBAAiB;QACjB,EAAE,EAAE,EAAE,4BAA4B,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,IAAI,EAAE,6BAA6B,EAAE;KAC1F;IACD,CAAC,aAAa,EAAE,EAAE,EAAE,EAAE,wBAAwB,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,IAAI,EAAE,wBAAwB,EAAE,CAAC;IACjG,CAAC,WAAW,EAAE,EAAE,EAAE,EAAE,sBAAsB,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,IAAI,EAAE,4BAA4B,EAAE,CAAC;IACjG;QACE,YAAY;QACZ,EAAE,EAAE,EAAE,uBAAuB,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,IAAI,EAAE,8BAA8B,EAAE;KACtF;IACD,CAAC,SAAS,EAAE,EAAE,EAAE,EAAE,oBAAoB,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,IAAI,EAAE,wBAAwB,EAAE,CAAC;IACzF,CAAC,gBAAgB,EAAE,EAAE,EAAE,EAAE,yBAAyB,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,IAAI,EAAE,kBAAkB,EAAE,CAAC;IAC/F,CAAC,UAAU,EAAE,EAAE,EAAE,EAAE,gBAAgB,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC;IAC1E,CAAC,QAAQ,EAAE,EAAE,EAAE,EAAE,gBAAgB,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC;CACvE,CAAC,CAAC;AAEH;0EAC0E;AAC1E,MAAM,UAAU,aAAa,CAAC,OAAgB,EAAE,IAAuB;IACrE,IAAI,IAAI,CAAC,gBAAgB,IAAI,CAAC,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,UAAU,CAAC;QAAE,OAAO,IAAI,CAAC;IAC1F,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC;IAC/B,IAAI,MAAM,CAAC,gBAAgB;QAAE,OAAO,IAAI,CAAC;IACzC,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7C,IAAI,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IACzB,IAAI,CAAC,YAAY,CAAC,OAAO,EAAE,MAAM,CAAC,UAAU,CAAC;QAAE,OAAO,IAAI,CAAC;IAC3D,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC;IAClC,IAAI,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC,GAAG,IAAI,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC,GAAG,IAAI,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,EAAE,CAAC;QAC1F,OAAO,CAAC,UAAU,CAChB,mBAAmB,MAAM,CAAC,IAAI,CAAC,IAAI,SAAS,IAAI,CAAC,MAAM,cAAc,EACrE,IAAI,EACJ,yBAAyB,MAAM,CAAC,IAAI,EAAE,CACvC,CAAC;IACJ,CAAC;IACD,MAAM,GAAG,GAAG,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,GAAG,CAAC,CAAC;IAC7D,IAAI,MAAM,CAAC,EAAE,KAAK,yBAAyB,EAAE,CAAC;QAC5C,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,MAAM,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IACzE,CAAC;IACD,IAAI,MAAM,CAAC,EAAE,KAAK,gBAAgB;QAChC,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,MAAM,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;IAC5E,IAAI,MAAM,CAAC,EAAE,KAAK,wBAAwB,EAAE,CAAC;QAC3C,IAAI,CAAC,YAAY,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAE,CAAC,EAAE,CAAC;YACrC,gEAAgE;YAChE,OAAO;gBACL,IAAI,EAAE,SAAS;gBACf,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;gBAC7C,MAAM,EAAE;oBACN,IAAI,EAAE,SAAS;oBACf,EAAE,EAAE,oBAAoB;oBACxB,IAAI,EAAE;wBACJ,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,WAAW,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE;wBACzD,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,gCAAgC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE;wBAC9E,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,GAAG,CAAC;qBAC1C;oBACD,IAAI,EAAE,IAAI;oBACV,GAAG;iBACJ;gBACD,IAAI,EAAE,IAAI;gBACV,GAAG;aACJ,CAAC;QACJ,CAAC;QACD,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,EAAE,GAAG,CAAC,CAAC;QACtD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,MAAM,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IACjF,CAAC;IACD,MAAM,KAAK,GAAG,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,GAAG,CAAC,CAAC;IACxD,IAAI,MAAM,CAAC,EAAE,KAAK,mBAAmB,IAAI,MAAM,CAAC,EAAE,KAAK,4BAA4B,EAAE,CAAC;QACpF,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,MAAM,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IACjF,CAAC;IACD,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC;IAChG,MAAM,IAAI,GAAW;QACnB,IAAI,EAAE,SAAS;QACf,EAAE,EAAE,MAAM,CAAC,EAAE;QACb,IAAI,EAAE,CAAC,GAAG,EAAE,KAAK,EAAE,OAAO,CAAC;QAC3B,IAAI,EAAE,MAAM;QACZ,GAAG;KACJ,CAAC;IACF,OAAO,cAAc,CAAC,OAAO,EAAE,IAAI,EAAE,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,MAAM,EAAE,GAAG,CAAC,CAAC;AAC/F,CAAC;AAED;;;;;cAKc;AACd,MAAM,UAAU,uBAAuB,CACrC,OAAgB,EAChB,IAAuB,EACvB,IAAY,EACZ,QAAsB;IAEtB,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC;IAClC,IAAI,IAAI,KAAK,oBAAoB,IAAI,IAAI,KAAK,gBAAgB,EAAE,CAAC;QAC/D,MAAM,GAAG,GAAG,IAAI,KAAK,oBAAoB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAClD,IAAI,IAAI,CAAC,MAAM,GAAG,GAAG,IAAI,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,EAAE,CAAC;YACvD,OAAO,CAAC,UAAU,CAChB,GAAG,IAAI,SAAS,IAAI,CAAC,MAAM,cAAc,EACzC,IAAI,EACJ,IAAI,KAAK,oBAAoB;gBAC3B,CAAC,CAAC,2CAA2C;gBAC7C,CAAC,CAAC,qCAAqC,CAC1C,CAAC;QACJ,CAAC;QACD,MAAM,MAAM,GAAG,QAAQ,EAAE,CAAC;QAC1B,MAAM,KAAK,GACT,IAAI,KAAK,gBAAgB;YACvB,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,wBAAwB,EAAE,IAAI,EAAE,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;YACnF,CAAC,CAAC;gBACE,IAAI,EAAE,SAAS;gBACf,EAAE,EAAE,4BAA4B;gBAChC,IAAI,EAAE;oBACJ,MAAM;oBACN,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC;iBAChF;gBACD,IAAI,EAAE,GAAG;gBACT,GAAG;aACJ,CAAC;QACR,MAAM,QAAQ,GAAG,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;QACzD,OAAO,QAAQ,KAAK,IAAI,IAAI,QAAQ,CAAC,IAAI,KAAK,KAAK;YACjD,CAAC,CAAC,KAAK;YACP,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,IAAI,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC;IAChD,CAAC;IACD,IAAI,IAAI,KAAK,wBAAwB,IAAI,IAAI,KAAK,oBAAoB;QAAE,OAAO,IAAI,CAAC;IACpF,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpB,OAAO,CAAC,UAAU,CAChB,GAAG,IAAI,SAAS,IAAI,CAAC,MAAM,cAAc,EACzC,IAAI,EACJ,GAAG,IAAI,uBAAuB,CAC/B,CAAC;IACJ,CAAC;IACD,MAAM,IAAI,GAAG,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;IACrD,MAAM,GAAG,GAAG,IAAI,EAAE,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAClF,MAAM,SAAS,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,UAAU,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACnF,MAAM,YAAY,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACvF,IAAI,IAAI,EAAE,IAAI,KAAK,OAAO,IAAI,CAAC,GAAG,IAAI,SAAS,GAAG,CAAC,IAAI,YAAY,GAAG,CAAC,EAAE,CAAC;QACxE,OAAO,CAAC,UAAU,CAChB,aAAa,IAAI,wBAAwB,EACzC,IAAI,EACJ,yCAAyC,CAC1C,CAAC;IACJ,CAAC;IACD,MAAM,MAAM,GAAG,GAAG,CAAC,IAAI,CAAC,SAAS,CAAgC,CAAC;IAClE,MAAM,GAAG,GAAW;QAClB,IAAI,EAAE,SAAS;QACf,EAAE,EAAE,IAAI,KAAK,wBAAwB,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,oBAAoB;QACpF,IAAI,EAAE,CAAC,QAAQ,EAAE,CAAC;QAClB,IAAI,EAAE,QAAQ;QACd,GAAG;KACJ,CAAC;IACF,MAAM,GAAG,GAAG,YAAY,IAAI,CAAC,OAAO,EAAE,CAAC;IACvC,IAAI,MAAM,GAAG,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC3C,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,MAAM,GAAG,eAAe,CAAC,OAAO,EAAE,WAAW,EAAE,GAAG,CAAC,CAAC;QACpD,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QACtC,MAAM,CAAC,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC;QAC1E,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC;YACrB,IAAI,EAAE,MAAM;YACZ,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;YACzD,UAAU,EAAE,IAAI;YAChB,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;YACpE,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,QAAQ;oBACd,KAAK,EAAE;wBACL,IAAI,EAAE,SAAS;wBACf,IAAI,EAAE;4BACJ,IAAI,EAAE,KAAK;4BACX,EAAE,EAAE,KAAK;4BACT,IAAI,EAAE;gCACJ,IAAI,EAAE,gBAAgB;gCACtB,MAAM,EAAE,QAAQ;gCAChB,QAAQ,EAAE,CAAC;gCACX,IAAI,EAAE,EAAE;gCACR,IAAI,EAAE,GAAG;gCACT,GAAG;6BACJ;4BACD,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;4BACnD,IAAI,EAAE,IAAI;4BACV,GAAG;yBACJ;wBACD,IAAI,EAAE;4BACJ,IAAI,EAAE,WAAW;4BACjB,OAAO,EAAE,IAAI,CAAC,OAAO;4BACrB,GAAG,EAAE,YAAY;4BACjB,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE;4BACrE,IAAI;4BACJ,GAAG;yBACJ;wBACD,KAAK,EAAE;4BACL,IAAI,EAAE,WAAW;4BACjB,OAAO,EAAE,IAAI,CAAC,OAAO;4BACrB,GAAG,EAAE,SAAS;4BACd,mDAAmD;4BACnD,KAAK,EAAE,cAAc,CAAC,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,CAAC;4BACpD,IAAI;4BACJ,GAAG;yBACJ;wBACD,IAAI;wBACJ,GAAG;qBACJ;oBACD,GAAG;iBACJ;aACF;YACD,GAAG;SACJ,CAAC,CAAC;IACL,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;AAClE,CAAC"}

package/dist/frontend/lowering/call-arguments.js

@@ -12,6 +12,7 @@ import { checkedIterableSpread } from "./checked-iterable-spread.js";
 import {} from "./call-signatures.js";
 import { arrayValueRead, arrayValueType } from "./array-values.js";
 import { buildArrayConversion } from "./coercions/builders.js";
+import { lowerArraySpreadItems, lowerArrayValueItems } from "./containers/array-construction.js";
 import { restTupleElementTypes, typeKey } from "../type-mapper.js";
 function fixedTupleSpreadInfo(lowerer, node) {
     const type = forwardedTupleType(lowerer, node) ?? lowerer.mapTypeOf(lowerer.typeOf(node));
@@ -364,6 +365,49 @@ leading) {
         }
         if (restType.kind !== "array")
             lowerer.unsupported("SC1090", blame, "this call form");
+        // A `(T | undefined)[]` rest (stored as T elements) packs undefined
+        // arguments as present undefined elements.
+        const restNodes = sources.slice(restAt);
+        // Plain arguments and spreads, also together with spread tuple fields
+        // (pre-lowered): each item, in argument order.
+        if (restType.optionalElements === true &&
+            (!restNodes.some(isIr) || restNodes.some((a) => !isIr(a) && ts.isSpreadElement(a)))) {
+            const items = [];
+            for (const a of restNodes) {
+                if (isIr(a))
+                    items.push(a.ir);
+                else
+                    items.push(a);
+            }
+            out.push(lowerArraySpreadItems(lowerer, items, restType.elem, restType, loc));
+            return out;
+        }
+        // Tuple-spread values (pre-lowered) and plain arguments pack the same
+        // way. Each value evaluates once, in argument order.
+        if (restType.optionalElements === true &&
+            !restNodes.some((a) => !isIr(a) && ts.isSpreadElement(a))) {
+            const stmts = [];
+            const values = restNodes.map((a) => {
+                // A tuple field is read where its spread appears: a later
+                // argument may write the tuple.
+                let value;
+                if (isIr(a)) {
+                    value = a.ir;
+                    if (value.kind === "seqExpr") {
+                        stmts.push(...value.stmts);
+                        value = value.result;
+                    }
+                }
+                else
+                    value = lowerer.lowerExpr(a);
+                const saved = lowerer.declareHiddenLocal("%callArg", value.type);
+                stmts.push({ kind: "varDecl", localId: saved.id, init: value, loc: value.loc });
+                return { kind: "varRef", localId: saved.id, type: value.type, loc: value.loc };
+            });
+            const items = lowerArrayValueItems(lowerer, values, restType.elem, restType, loc);
+            out.push(stmts.length === 0 ? items : { kind: "seqExpr", stmts, result: items, type: restType, loc });
+            return out;
+        }
         // The rest pack is a fresh array per call; surplus SPREADS copy
         // their elements in (JS-exact — `f(a, ...xs, b, ...ys)` packs in
         // order, sources untouched).