@scriptc/compiler 0.2.7 → 0.2.8

package/dist/frontend/lowering/runtime-optional-ownership.d.ts

@@ -0,0 +1,63 @@
+import * as ts from "../ts7/adapter.js";
+/** Program queries for the array-ownership proof. */
+export interface OwnershipHost {
+    symbolOf(node: ts.Node): ts.Symbol | null;
+    declarationOf(symbol: ts.Symbol): ts.Node | undefined;
+    /** The node's checker type; null when the checker cannot answer. */
+    typeOf(node: ts.Node): ts.Type | null;
+    /** An instance of `owner` can be assigned to a value of type `target`. */
+    instanceAssignableTo(owner: ts.ClassLikeDeclaration, target: ts.Type): boolean;
+    isGlobal(node: ts.Expression, name: string): boolean;
+    isArray(node: ts.Expression): boolean;
+    /** Element keys of the native arrays a field's declared type holds. */
+    fieldKeys(declaration: ts.PropertyDeclaration): readonly string[];
+    /** Element keys of native arrays that some `any` or `unknown` value is
+     * converted to. Such a conversion can view an array reached through
+     * reflection (`(x as any).field`, `Object.values(x)`). */
+    dynamicViewKeys(): ReadonlySet<string>;
+}
+/** Proves that an array is owned by one storage slot: a local variable or
+ * a private instance field that only ever holds arrays allocated for it,
+ * whose every use reads elements or the length, mutates the array in
+ * place, or copies its elements into a new value (a spread, an iteration,
+ * a copying method), and never lets the array itself flow anywhere else.
+ * Facts about the slot's holes and undefined values then belong to the
+ * slot alone rather than to every array with the same element type.
+ *
+ * A private field can also be reached without naming its symbol: an object
+ * spread or destructuring of its instance, a literal-key access, or
+ * reflection that yields an `any` value. The first two must not apply to a
+ * value that can hold an instance, and no `any` or `unknown` value may be
+ * converted to the field's array type, which is the only way a reflected
+ * array becomes a native array again. */
+export declare class ArrayOwnership {
+    private readonly files;
+    private readonly host;
+    private references;
+    /** Object spreads, which copy every own field out. */
+    private readonly copiedObjects;
+    /** Object destructuring patterns by the property names they read; ""
+     * collects patterns with a computed key or rest, which read any field. */
+    private readonly destructurings;
+    /** Receivers of `x["name"]` and `x.name`, by name. */
+    private readonly literalKeyAccesses;
+    private readonly namedAccesses;
+    /** Values whose fields are read by a computed key, an object walker, or
+     * a for-in loop. */
+    private readonly reflected;
+    private readonly ownedRoots;
+    constructor(files: readonly ts.SourceFile[], host: OwnershipHost);
+    /** The owning slot `node` reads, when it directly references one. */
+    ownerOf(node: ts.Expression): ts.Symbol | null;
+    /** The owning slot a freshly built array initializes or is assigned to. */
+    allocationOwner(allocation: ts.Expression): ts.Symbol | null;
+    private rootOf;
+    private fieldRoot;
+    private owned;
+    private computeOwned;
+    private ownedUse;
+    /** Nothing reaches the field's array without naming the field. */
+    private unexposed;
+    private isFreshArray;
+    private index;
+}

package/dist/frontend/lowering/runtime-optional-ownership.js

@@ -0,0 +1,382 @@
+import * as ts from "../ts7/adapter.js";
+/** Array methods returning their receiver: a used result aliases it. */
+const RETURNS_RECEIVER = new Set(["sort", "reverse", "fill", "copyWithin"]);
+/** Array methods whose callback receives the array itself, by the
+ * position of that parameter. */
+const ARRAY_ARGUMENT_AT = new Map([
+    ["map", 2],
+    ["filter", 2],
+    ["forEach", 2],
+    ["some", 2],
+    ["every", 2],
+    ["find", 2],
+    ["findIndex", 2],
+    ["findLast", 2],
+    ["findLastIndex", 2],
+    ["flatMap", 2],
+    ["reduce", 3],
+    ["reduceRight", 3],
+]);
+/** Iterator factories: their iterator reads the array later, so they are
+ * only an owned use directly as a for-of source. */
+const ITERATORS = new Set(["values", "entries", "keys"]);
+/** Array methods that return a newly allocated array. */
+const FRESH_METHODS = new Set([
+    "map",
+    "filter",
+    "slice",
+    "concat",
+    "flat",
+    "flatMap",
+    "toSorted",
+    "toReversed",
+    "toSpliced",
+    "with",
+]);
+/** Proves that an array is owned by one storage slot: a local variable or
+ * a private instance field that only ever holds arrays allocated for it,
+ * whose every use reads elements or the length, mutates the array in
+ * place, or copies its elements into a new value (a spread, an iteration,
+ * a copying method), and never lets the array itself flow anywhere else.
+ * Facts about the slot's holes and undefined values then belong to the
+ * slot alone rather than to every array with the same element type.
+ *
+ * A private field can also be reached without naming its symbol: an object
+ * spread or destructuring of its instance, a literal-key access, or
+ * reflection that yields an `any` value. The first two must not apply to a
+ * value that can hold an instance, and no `any` or `unknown` value may be
+ * converted to the field's array type, which is the only way a reflected
+ * array becomes a native array again. */
+export class ArrayOwnership {
+    files;
+    host;
+    references = null;
+    /** Object spreads, which copy every own field out. */
+    copiedObjects = [];
+    /** Object destructuring patterns by the property names they read; ""
+     * collects patterns with a computed key or rest, which read any field. */
+    destructurings = new Map();
+    /** Receivers of `x["name"]` and `x.name`, by name. */
+    literalKeyAccesses = new Map();
+    namedAccesses = new Map();
+    /** Values whose fields are read by a computed key, an object walker, or
+     * a for-in loop. */
+    reflected = [];
+    ownedRoots = new Map();
+    constructor(files, host) {
+        this.files = files;
+        this.host = host;
+    }
+    /** The owning slot `node` reads, when it directly references one. */
+    ownerOf(node) {
+        const root = this.rootOf(node);
+        return root !== null && this.owned(root) ? root.symbol : null;
+    }
+    /** The owning slot a freshly built array initializes or is assigned to. */
+    allocationOwner(allocation) {
+        let child = allocation;
+        let parent = allocation.parent;
+        while (parent &&
+            (ts.isParenthesizedExpression(parent) ||
+                ts.isAsExpression(parent) ||
+                ts.isTypeAssertion(parent) ||
+                ts.isSatisfiesExpression(parent))) {
+            child = parent;
+            parent = parent.parent;
+        }
+        let root = null;
+        if (parent && ts.isVariableDeclaration(parent) && parent.initializer === child) {
+            if (ts.isIdentifier(parent.name))
+                root = this.rootOf(parent.name);
+        }
+        else if (parent &&
+            ts.isBinaryExpression(parent) &&
+            parent.operatorToken.kind === ts.SyntaxKind.EqualsToken &&
+            parent.right === child) {
+            root = this.rootOf(parent.left);
+        }
+        else if (parent && ts.isPropertyDeclaration(parent) && parent.initializer === child) {
+            root = this.fieldRoot(parent);
+        }
+        return root !== null && this.owned(root) ? root.symbol : null;
+    }
+    rootOf(node) {
+        const e = peel(node);
+        if (ts.isIdentifier(e)) {
+            const symbol = this.host.symbolOf(e);
+            const declaration = symbol ? this.host.declarationOf(symbol) : undefined;
+            if (!symbol ||
+                !declaration ||
+                !ts.isVariableDeclaration(declaration) ||
+                !ts.isIdentifier(declaration.name) ||
+                !ts.isVariableDeclarationList(declaration.parent) ||
+                !ts.isVariableStatement(declaration.parent.parent))
+                return null;
+            return { symbol, name: e.text, field: null };
+        }
+        if (ts.isPropertyAccessExpression(e)) {
+            const symbol = this.host.symbolOf(e.name);
+            const declaration = symbol ? this.host.declarationOf(symbol) : undefined;
+            return declaration && ts.isPropertyDeclaration(declaration)
+                ? this.fieldRoot(declaration)
+                : null;
+        }
+        return null;
+    }
+    fieldRoot(declaration) {
+        const owner = declaration.parent;
+        if (!ts.isClassDeclaration(owner) && !ts.isClassExpression(owner))
+            return null;
+        const name = declaration.name;
+        const flags = ts.getCombinedModifierFlags(declaration);
+        const isPrivate = ts.isPrivateIdentifier(name) ||
+            (flags & (ts.ModifierFlags.Private | ts.ModifierFlags.Protected)) !== 0;
+        if (!isPrivate || (flags & ts.ModifierFlags.Static) !== 0)
+            return null;
+        if (!ts.isIdentifier(name) && !ts.isPrivateIdentifier(name))
+            return null;
+        const symbol = this.host.symbolOf(name);
+        return symbol ? { symbol, name: name.text, field: declaration } : null;
+    }
+    owned(root) {
+        const cached = this.ownedRoots.get(root.symbol);
+        if (cached !== undefined)
+            return cached;
+        const result = this.computeOwned(root);
+        this.ownedRoots.set(root.symbol, result);
+        return result;
+    }
+    computeOwned(root) {
+        const references = this.index().get(root.name) ?? [];
+        for (const reference of references) {
+            if (this.host.symbolOf(reference) !== root.symbol)
+                continue;
+            if (!this.ownedUse(reference, root))
+                return false;
+        }
+        return root.field === null || this.unexposed(root, root.field);
+    }
+    ownedUse(reference, root) {
+        const parent = reference.parent;
+        if (parent &&
+            (ts.isVariableDeclaration(parent) || ts.isPropertyDeclaration(parent)) &&
+            parent.name === reference)
+            return parent.initializer === undefined || this.isFreshArray(parent.initializer);
+        let use = reference;
+        if (root.field !== null) {
+            if (!parent || !ts.isPropertyAccessExpression(parent) || parent.name !== reference)
+                return false;
+            use = parent;
+        }
+        else if (!ts.isIdentifier(reference))
+            return false;
+        while (use.parent &&
+            (ts.isParenthesizedExpression(use.parent) || ts.isNonNullExpression(use.parent)))
+            use = use.parent;
+        const user = use.parent;
+        if (!user)
+            return false;
+        if (ts.isElementAccessExpression(user) && user.expression === use)
+            return true;
+        if (ts.isSpreadElement(user))
+            return true;
+        if (ts.isForOfStatement(user) && user.expression === use)
+            return true;
+        if (ts.isPropertyAccessExpression(user) && user.expression === use) {
+            const method = user.name.text;
+            if (method === "length")
+                return true;
+            const call = user.parent;
+            if (!call || !ts.isCallExpression(call) || call.expression !== user)
+                return false;
+            if (ITERATORS.has(method))
+                return !!call.parent && ts.isForOfStatement(call.parent) && call.parent.expression === call;
+            if (RETURNS_RECEIVER.has(method))
+                return !!call.parent && ts.isExpressionStatement(call.parent);
+            const arrayAt = ARRAY_ARGUMENT_AT.get(method);
+            if (arrayAt !== undefined) {
+                // An inline callback that cannot see its array argument.
+                const callback = call.arguments[0];
+                return (callback !== undefined &&
+                    (ts.isArrowFunction(callback) ||
+                        (ts.isFunctionExpression(callback) && !usesArguments(callback))) &&
+                    callback.parameters.length <= arrayAt &&
+                    !callback.parameters.some((parameter) => parameter.dotDotDotToken));
+            }
+            return this.host.isArray(user.expression);
+        }
+        if (ts.isBinaryExpression(user) &&
+            user.left === use &&
+            user.operatorToken.kind === ts.SyntaxKind.EqualsToken)
+            return this.isFreshArray(user.right);
+        if (ts.isCallExpression(user) && user.arguments[0] === use) {
+            const callee = peel(user.expression);
+            return (ts.isPropertyAccessExpression(callee) &&
+                ((callee.name.text === "hasOwn" && this.host.isGlobal(callee.expression, "Object")) ||
+                    (callee.name.text === "isArray" && this.host.isGlobal(callee.expression, "Array")) ||
+                    (callee.name.text === "from" &&
+                        user.arguments.length === 1 &&
+                        this.host.isGlobal(callee.expression, "Array"))));
+        }
+        return false;
+    }
+    /** Nothing reaches the field's array without naming the field. */
+    unexposed(root, field) {
+        const owner = field.parent;
+        const mayHoldInstance = (node) => {
+            const type = this.host.typeOf(node);
+            if (type === null)
+                return true;
+            if ((type.flags &
+                (ts.TypeFlags.Any |
+                    ts.TypeFlags.Unknown |
+                    ts.TypeFlags.NonPrimitive |
+                    ts.TypeFlags.TypeParameter)) !==
+                0)
+                return true;
+            return this.host.instanceAssignableTo(owner, type);
+        };
+        this.index();
+        for (const pattern of [
+            ...(this.destructurings.get(root.name) ?? []),
+            ...(this.destructurings.get("") ?? []),
+        ]) {
+            // Only a declaration's initializer names the destructured value.
+            const owner = pattern.parent;
+            if (!ts.isVariableDeclaration(owner) || !owner.initializer)
+                return false;
+            if (mayHoldInstance(owner.initializer))
+                return false;
+        }
+        if (this.copiedObjects.some(mayHoldInstance))
+            return false;
+        if ((this.literalKeyAccesses.get(root.name) ?? []).some(mayHoldInstance))
+            return false;
+        // A dynamic read can only reach the field through a value whose type
+        // admits the instance; its `any` result must then become a native
+        // array again.
+        const dynamic = (node) => {
+            const type = this.host.typeOf(node);
+            return type === null || (type.flags & (ts.TypeFlags.Any | ts.TypeFlags.TypeParameter)) !== 0;
+        };
+        const reflectedReads = this.reflected.some(mayHoldInstance) ||
+            (this.namedAccesses.get(root.name) ?? []).some(dynamic);
+        if (!reflectedReads)
+            return true;
+        const views = this.host.dynamicViewKeys();
+        if (views.has("*"))
+            return false;
+        return this.host.fieldKeys(field).every((key) => !views.has(key));
+    }
+    isFreshArray(node) {
+        const e = peel(node);
+        if (ts.isArrayLiteralExpression(e))
+            return true;
+        if (!ts.isNewExpression(e) && !ts.isCallExpression(e))
+            return false;
+        const callee = peel(e.expression);
+        if (ts.isIdentifier(callee))
+            return this.host.isGlobal(callee, "Array");
+        if (!ts.isPropertyAccessExpression(callee))
+            return false;
+        const method = callee.name.text;
+        if ((method === "from" || method === "of") && this.host.isGlobal(callee.expression, "Array"))
+            return true;
+        if (method === "fill")
+            return this.isFreshArray(callee.expression);
+        return FRESH_METHODS.has(method) && this.host.isArray(callee.expression);
+    }
+    index() {
+        if (this.references)
+            return this.references;
+        const references = new Map();
+        const add = (name, node) => {
+            const list = references.get(name);
+            if (list)
+                list.push(node);
+            else
+                references.set(name, [node]);
+        };
+        for (const file of this.files) {
+            ts.walkPreorder(file, (node) => {
+                if (ts.isIdentifier(node) || ts.isPrivateIdentifier(node))
+                    add(node.text, node);
+                else if (ts.isPropertyAccessExpression(node)) {
+                    const list = this.namedAccesses.get(node.name.text);
+                    if (list)
+                        list.push(node.expression);
+                    else
+                        this.namedAccesses.set(node.name.text, [node.expression]);
+                }
+                else if (ts.isElementAccessExpression(node)) {
+                    const key = peel(node.argumentExpression);
+                    if (ts.isStringLiteral(key) || ts.isNoSubstitutionTemplateLiteral(key)) {
+                        const list = this.literalKeyAccesses.get(key.text);
+                        if (list)
+                            list.push(node.expression);
+                        else
+                            this.literalKeyAccesses.set(key.text, [node.expression]);
+                    }
+                    else if (!ts.isNumericLiteral(key))
+                        this.reflected.push(node.expression);
+                }
+                else if (ts.isSpreadAssignment(node))
+                    this.copiedObjects.push(node.expression);
+                else if (ts.isForInStatement(node))
+                    this.reflected.push(node.expression);
+                else if (ts.isCallExpression(node)) {
+                    const callee = peel(node.expression);
+                    const walker = ts.isPropertyAccessExpression(callee) &&
+                        (this.host.isGlobal(callee.expression, "Object") ||
+                            this.host.isGlobal(callee.expression, "Reflect"));
+                    const clone = ts.isIdentifier(callee) && this.host.isGlobal(callee, "structuredClone");
+                    if (walker || clone)
+                        for (const arg of node.arguments)
+                            this.reflected.push(ts.isSpreadElement(arg) ? arg.expression : arg);
+                }
+                else if (ts.isObjectBindingPattern(node)) {
+                    for (const element of node.elements) {
+                        const name = element.propertyName ?? element.name;
+                        // A rest element copies every remaining field.
+                        const key = !element.dotDotDotToken &&
+                            (ts.isIdentifier(name) || ts.isPrivateIdentifier(name) || ts.isStringLiteral(name))
+                            ? name.text
+                            : "";
+                        const list = this.destructurings.get(key);
+                        if (list)
+                            list.push(node);
+                        else
+                            this.destructurings.set(key, [node]);
+                    }
+                }
+                return undefined;
+            });
+        }
+        this.references = references;
+        return references;
+    }
+}
+function usesArguments(fn) {
+    let found = false;
+    const visit = (node) => {
+        if (found)
+            return;
+        if (ts.isIdentifier(node) && node.text === "arguments")
+            found = true;
+        else if (!ts.isFunctionDeclaration(node) && !ts.isFunctionExpression(node))
+            node.forEachChild(visit);
+    };
+    fn.body?.forEachChild(visit);
+    return found;
+}
+function peel(node) {
+    let e = node;
+    while (ts.isParenthesizedExpression(e) ||
+        ts.isAsExpression(e) ||
+        ts.isTypeAssertion(e) ||
+        ts.isSatisfiesExpression(e) ||
+        ts.isNonNullExpression(e))
+        e = e.expression;
+    return e;
+}
+//# sourceMappingURL=runtime-optional-ownership.js.map

package/dist/frontend/lowering/runtime-optional-ownership.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"runtime-optional-ownership.js","sourceRoot":"","sources":["../../../src/frontend/lowering/runtime-optional-ownership.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,mBAAmB,CAAC;AA2BxC,wEAAwE;AACxE,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC;AAE5E;iCACiC;AACjC,MAAM,iBAAiB,GAAG,IAAI,GAAG,CAAC;IAChC,CAAC,KAAK,EAAE,CAAC,CAAC;IACV,CAAC,QAAQ,EAAE,CAAC,CAAC;IACb,CAAC,SAAS,EAAE,CAAC,CAAC;IACd,CAAC,MAAM,EAAE,CAAC,CAAC;IACX,CAAC,OAAO,EAAE,CAAC,CAAC;IACZ,CAAC,MAAM,EAAE,CAAC,CAAC;IACX,CAAC,WAAW,EAAE,CAAC,CAAC;IAChB,CAAC,UAAU,EAAE,CAAC,CAAC;IACf,CAAC,eAAe,EAAE,CAAC,CAAC;IACpB,CAAC,SAAS,EAAE,CAAC,CAAC;IACd,CAAC,QAAQ,EAAE,CAAC,CAAC;IACb,CAAC,aAAa,EAAE,CAAC,CAAC;CACnB,CAAC,CAAC;AAEH;oDACoD;AACpD,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,CAAC,QAAQ,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC;AAEzD,yDAAyD;AACzD,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC;IAC5B,KAAK;IACL,QAAQ;IACR,OAAO;IACP,QAAQ;IACR,MAAM;IACN,SAAS;IACT,UAAU;IACV,YAAY;IACZ,WAAW;IACX,MAAM;CACP,CAAC,CAAC;AAEH;;;;;;;;;;;;;yCAayC;AACzC,MAAM,OAAO,cAAc;IAgBN,KAAK;IACL,IAAI;IAhBf,UAAU,GAAkC,IAAI,CAAC;IACzD,sDAAsD;IACrC,aAAa,GAAoB,EAAE,CAAC;IACrD;8EAC0E;IACzD,cAAc,GAAG,IAAI,GAAG,EAAqC,CAAC;IAC/E,sDAAsD;IACrC,kBAAkB,GAAG,IAAI,GAAG,EAA2B,CAAC;IACxD,aAAa,GAAG,IAAI,GAAG,EAA2B,CAAC;IACpE;wBACoB;IACH,SAAS,GAAoB,EAAE,CAAC;IAChC,UAAU,GAAG,IAAI,GAAG,EAAsB,CAAC;IAE5D,YACmB,KAA+B,EAC/B,IAAmB;qBADnB,KAAK;oBACL,IAAI;IACpB,CAAC;IAEJ,qEAAqE;IACrE,OAAO,CAAC,IAAmB;QACzB,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAC/B,OAAO,IAAI,KAAK,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC;IAChE,CAAC;IAED,2EAA2E;IAC3E,eAAe,CAAC,UAAyB;QACvC,IAAI,KAAK,GAAY,UAAU,CAAC;QAChC,IAAI,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC;QAC/B,OACE,MAAM;YACN,CAAC,EAAE,CAAC,yBAAyB,CAAC,MAAM,CAAC;gBACnC,EAAE,CAAC,cAAc,CAAC,MAAM,CAAC;gBACzB,EAAE,CAAC,eAAe,CAAC,MAAM,CAAC;gBAC1B,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC,CAAC,EACnC,CAAC;YACD,KAAK,GAAG,MAAM,CAAC;YACf,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC;QACzB,CAAC;QACD,IAAI,IAAI,GAAgB,IAAI,CAAC;QAC7B,IAAI,MAAM,IAAI,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,WAAW,KAAK,KAAK,EAAE,CAAC;YAC/E,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC;gBAAE,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACpE,CAAC;aAAM,IACL,MAAM;YACN,EAAE,CAAC,kBAAkB,CAAC,MAAM,CAAC;YAC7B,MAAM,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;YACvD,MAAM,CAAC,KAAK,KAAK,KAAK,EACtB,CAAC;YACD,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAClC,CAAC;aAAM,IAAI,MAAM,IAAI,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,WAAW,KAAK,KAAK,EAAE,CAAC;YACtF,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;QAChC,CAAC;QACD,OAAO,IAAI,KAAK,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC;IAChE,CAAC;IAEO,MAAM,CAAC,IAAmB;QAChC,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC;QACrB,IAAI,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC;YACvB,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;YACrC,MAAM,WAAW,GAAG,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YACzE,IACE,CAAC,MAAM;gBACP,CAAC,WAAW;gBACZ,CAAC,EAAE,CAAC,qBAAqB,CAAC,WAAW,CAAC;gBACtC,CAAC,EAAE,CAAC,YAAY,CAAC,WAAW,CAAC,IAAI,CAAC;gBAClC,CAAC,EAAE,CAAC,yBAAyB,CAAC,WAAW,CAAC,MAAM,CAAC;gBACjD,CAAC,EAAE,CAAC,mBAAmB,CAAC,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC;gBAElD,OAAO,IAAI,CAAC;YACd,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;QAC/C,CAAC;QACD,IAAI,EAAE,CAAC,0BAA0B,CAAC,CAAC,CAAC,EAAE,CAAC;YACrC,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAC1C,MAAM,WAAW,GAAG,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YACzE,OAAO,WAAW,IAAI,EAAE,CAAC,qBAAqB,CAAC,WAAW,CAAC;gBACzD,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC;gBAC7B,CAAC,CAAC,IAAI,CAAC;QACX,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAEO,SAAS,CAAC,WAAmC;QACnD,MAAM,KAAK,GAAG,WAAW,CAAC,MAAM,CAAC;QACjC,IAAI,CAAC,EAAE,CAAC,kBAAkB,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,iBAAiB,CAAC,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;QAC/E,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,CAAC;QAC9B,MAAM,KAAK,GAAG,EAAE,CAAC,wBAAwB,CAAC,WAAW,CAAC,CAAC;QACvD,MAAM,SAAS,GACb,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC;YAC5B,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC,aAAa,CAAC,OAAO,GAAG,EAAE,CAAC,aAAa,CAAC,SAAS,CAAC,CAAC,KAAK,CAAC,CAAC;QAC1E,IAAI,CAAC,SAAS,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC,aAAa,CAAC,MAAM,CAAC,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;QACvE,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC;QACzE,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QACxC,OAAO,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;IACzE,CAAC;IAEO,KAAK,CAAC,IAAU;QACtB,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAChD,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,MAAM,CAAC;QACxC,MAAM,MAAM,GAAG,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;QACvC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QACzC,OAAO,MAAM,CAAC;IAChB,CAAC;IAEO,YAAY,CAAC,IAAU;QAC7B,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;QACrD,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;YACnC,IAAI,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,KAAK,IAAI,CAAC,MAAM;gBAAE,SAAS;YAC5D,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,SAAS,EAAE,IAAI,CAAC;gBAAE,OAAO,KAAK,CAAC;QACpD,CAAC;QACD,OAAO,IAAI,CAAC,KAAK,KAAK,IAAI,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;IACjE,CAAC;IAEO,QAAQ,CAAC,SAAkB,EAAE,IAAU;QAC7C,MAAM,MAAM,GAAG,SAAS,CAAC,MAAM,CAAC;QAChC,IACE,MAAM;YACN,CAAC,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC,CAAC;YACtE,MAAM,CAAC,IAAI,KAAK,SAAS;YAEzB,OAAO,MAAM,CAAC,WAAW,KAAK,SAAS,IAAI,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;QACnF,IAAI,GAAG,GAAY,SAAS,CAAC;QAC7B,IAAI,IAAI,CAAC,KAAK,KAAK,IAAI,EAAE,CAAC;YACxB,IAAI,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS;gBAChF,OAAO,KAAK,CAAC;YACf,GAAG,GAAG,MAAM,CAAC;QACf,CAAC;aAAM,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,SAAS,CAAC;YAAE,OAAO,KAAK,CAAC;QACrD,OACE,GAAG,CAAC,MAAM;YACV,CAAC,EAAE,CAAC,yBAAyB,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,mBAAmB,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YAEhF,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC;QACnB,MAAM,IAAI,GAAG,GAAG,CAAC,MAAM,CAAC;QACxB,IAAI,CAAC,IAAI;YAAE,OAAO,KAAK,CAAC;QACxB,IAAI,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,UAAU,KAAK,GAAG;YAAE,OAAO,IAAI,CAAC;QAC/E,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC;QAC1C,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,UAAU,KAAK,GAAG;YAAE,OAAO,IAAI,CAAC;QACtE,IAAI,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,UAAU,KAAK,GAAG,EAAE,CAAC;YACnE,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;YAC9B,IAAI,MAAM,KAAK,QAAQ;gBAAE,OAAO,IAAI,CAAC;YACrC,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC;YACzB,IAAI,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,UAAU,KAAK,IAAI;gBAAE,OAAO,KAAK,CAAC;YAClF,IAAI,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC;gBACvB,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,UAAU,KAAK,IAAI,CAAC;YAC9F,IAAI,gBAAgB,CAAC,GAAG,CAAC,MAAM,CAAC;gBAC9B,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YAChE,MAAM,OAAO,GAAG,iBAAiB,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YAC9C,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;gBAC1B,yDAAyD;gBACzD,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;gBACnC,OAAO,CACL,QAAQ,KAAK,SAAS;oBACtB,CAAC,EAAE,CAAC,eAAe,CAAC,QAAQ,CAAC;wBAC3B,CAAC,EAAE,CAAC,oBAAoB,CAAC,QAAQ,CAAC,IAAI,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC,CAAC;oBAClE,QAAQ,CAAC,UAAU,CAAC,MAAM,IAAI,OAAO;oBACrC,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,cAAc,CAAC,CACnE,CAAC;YACJ,CAAC;YACD,OAAO,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC5C,CAAC;QACD,IACE,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC;YAC3B,IAAI,CAAC,IAAI,KAAK,GAAG;YACjB,IAAI,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;YAErD,OAAO,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACvC,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;YAC3D,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YACrC,OAAO,CACL,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC;gBACrC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;oBACjF,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;oBAClF,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM;wBAC1B,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;wBAC3B,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC,CAAC,CACrD,CAAC;QACJ,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,kEAAkE;IAC1D,SAAS,CAAC,IAAU,EAAE,KAA6B;QACzD,MAAM,KAAK,GAAG,KAAK,CAAC,MAAiC,CAAC;QACtD,MAAM,eAAe,GAAG,CAAC,IAAa,EAAW,EAAE;YACjD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YACpC,IAAI,IAAI,KAAK,IAAI;gBAAE,OAAO,IAAI,CAAC;YAC/B,IACE,CAAC,IAAI,CAAC,KAAK;gBACT,CAAC,EAAE,CAAC,SAAS,CAAC,GAAG;oBACf,EAAE,CAAC,SAAS,CAAC,OAAO;oBACpB,EAAE,CAAC,SAAS,CAAC,YAAY;oBACzB,EAAE,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC;gBAChC,CAAC;gBAED,OAAO,IAAI,CAAC;YACd,OAAO,IAAI,CAAC,IAAI,CAAC,oBAAoB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QACrD,CAAC,CAAC;QACF,IAAI,CAAC,KAAK,EAAE,CAAC;QACb,KAAK,MAAM,OAAO,IAAI;YACpB,GAAG,CAAC,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;YAC7C,GAAG,CAAC,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC;SACvC,EAAE,CAAC;YACF,iEAAiE;YACjE,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC;YAC7B,IAAI,CAAC,EAAE,CAAC,qBAAqB,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,WAAW;gBAAE,OAAO,KAAK,CAAC;YACzE,IAAI,eAAe,CAAC,KAAK,CAAC,WAAW,CAAC;gBAAE,OAAO,KAAK,CAAC;QACvD,CAAC;QACD,IAAI,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,eAAe,CAAC;YAAE,OAAO,KAAK,CAAC;QAC3D,IAAI,CAAC,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC;YAAE,OAAO,KAAK,CAAC;QACvF,qEAAqE;QACrE,kEAAkE;QAClE,eAAe;QACf,MAAM,OAAO,GAAG,CAAC,IAAmB,EAAW,EAAE;YAC/C,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YACpC,OAAO,IAAI,KAAK,IAAI,IAAI,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC,GAAG,GAAG,EAAE,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC,KAAK,CAAC,CAAC;QAC/F,CAAC,CAAC;QACF,MAAM,cAAc,GAClB,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,eAAe,CAAC;YACpC,CAAC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC1D,IAAI,CAAC,cAAc;YAAE,OAAO,IAAI,CAAC;QACjC,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,eAAe,EAAE,CAAC;QAC1C,IAAI,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,OAAO,KAAK,CAAC;QACjC,OAAO,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;IACpE,CAAC;IAEO,YAAY,CAAC,IAAmB;QACtC,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC;QACrB,IAAI,EAAE,CAAC,wBAAwB,CAAC,CAAC,CAAC;YAAE,OAAO,IAAI,CAAC;QAChD,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC;YAAE,OAAO,KAAK,CAAC;QACpE,MAAM,MAAM,GAAG,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;QAClC,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC;YAAE,OAAO,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QACxE,IAAI,CAAC,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC;YAAE,OAAO,KAAK,CAAC;QACzD,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;QAChC,IAAI,CAAC,MAAM,KAAK,MAAM,IAAI,MAAM,KAAK,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,UAAU,EAAE,OAAO,CAAC;YAC1F,OAAO,IAAI,CAAC;QACd,IAAI,MAAM,KAAK,MAAM;YAAE,OAAO,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;QACnE,OAAO,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;IAC3E,CAAC;IAEO,KAAK;QACX,IAAI,IAAI,CAAC,UAAU;YAAE,OAAO,IAAI,CAAC,UAAU,CAAC;QAC5C,MAAM,UAAU,GAAG,IAAI,GAAG,EAAqB,CAAC;QAChD,MAAM,GAAG,GAAG,CAAC,IAAY,EAAE,IAAa,EAAQ,EAAE;YAChD,MAAM,IAAI,GAAG,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAClC,IAAI,IAAI;gBAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;;gBACrB,UAAU,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;QACpC,CAAC,CAAC;QACF,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YAC9B,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;gBAC7B,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC;oBAAE,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;qBAC3E,IAAI,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,EAAE,CAAC;oBAC7C,MAAM,IAAI,GAAG,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;oBACpD,IAAI,IAAI;wBAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;;wBAChC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC;gBACjE,CAAC;qBAAM,IAAI,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,EAAE,CAAC;oBAC9C,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;oBAC1C,IAAI,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,+BAA+B,CAAC,GAAG,CAAC,EAAE,CAAC;wBACvE,MAAM,IAAI,GAAG,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;wBACnD,IAAI,IAAI;4BAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;;4BAChC,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC;oBAChE,CAAC;yBAAM,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,GAAG,CAAC;wBAAE,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;gBAC7E,CAAC;qBAAM,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC;oBAAE,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;qBAC5E,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;oBAAE,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;qBACpE,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;oBACnC,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;oBACrC,MAAM,MAAM,GACV,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC;wBACrC,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,UAAU,EAAE,QAAQ,CAAC;4BAC9C,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC,CAAC;oBACtD,MAAM,KAAK,GAAG,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAC;oBACvF,IAAI,MAAM,IAAI,KAAK;wBACjB,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,SAAS;4BAC9B,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;gBAC1E,CAAC;qBAAM,IAAI,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,EAAE,CAAC;oBAC3C,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;wBACpC,MAAM,IAAI,GAAG,OAAO,CAAC,YAAY,IAAI,OAAO,CAAC,IAAI,CAAC;wBAClD,+CAA+C;wBAC/C,MAAM,GAAG,GACP,CAAC,OAAO,CAAC,cAAc;4BACvB,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC;4BACjF,CAAC,CAAC,IAAI,CAAC,IAAI;4BACX,CAAC,CAAC,EAAE,CAAC;wBACT,MAAM,IAAI,GAAG,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;wBAC1C,IAAI,IAAI;4BAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;;4BACrB,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;oBAC5C,CAAC;gBACH,CAAC;gBACD,OAAO,SAAS,CAAC;YACnB,CAAC,CAAC,CAAC;QACL,CAAC;QACD,IAAI,CAAC,UAAU,GAAG,UAAU,CAAC;QAC7B,OAAO,UAAU,CAAC;IACpB,CAAC;CACF;AAED,SAAS,aAAa,CAAC,EAAyB;IAC9C,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,MAAM,KAAK,GAAG,CAAC,IAAa,EAAQ,EAAE;QACpC,IAAI,KAAK;YAAE,OAAO;QAClB,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW;YAAE,KAAK,GAAG,IAAI,CAAC;aAChE,IAAI,CAAC,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC;YACxE,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;IAC7B,CAAC,CAAC;IACF,EAAE,CAAC,IAAI,EAAE,YAAY,CAAC,KAAK,CAAC,CAAC;IAC7B,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,IAAI,CAAC,IAAmB;IAC/B,IAAI,CAAC,GAAG,IAAI,CAAC;IACb,OACE,EAAE,CAAC,yBAAyB,CAAC,CAAC,CAAC;QAC/B,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC;QACpB,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC;QACrB,EAAE,CAAC,qBAAqB,CAAC,CAAC,CAAC;QAC3B,EAAE,CAAC,mBAAmB,CAAC,CAAC,CAAC;QAEzB,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC;IACnB,OAAO,CAAC,CAAC;AACX,CAAC"}

package/dist/frontend/lowering/runtime-optional-provenance.d.ts

@@ -1,6 +1,7 @@
 import * as ts from "../ts7/adapter.js";
 /** Debug-only record of why the indexed-read analysis widened a binding,
- * parameter, return, or field to a runtime-optional representation. It is
+ * parameter, return, or field to a runtime-optional representation, and
+ * why an array element ABI can hold undefined values or holes. It is
  * enabled by SCRIPTC_DEBUG_RUNTIME_OPTIONAL=1 and writes one line per
  * widening to stderr; the disabled path records nothing. Not a public API:
  * the output format may change at any time. */

package/dist/frontend/lowering/runtime-optional-provenance.js

@@ -1,6 +1,7 @@
 import * as ts from "../ts7/adapter.js";
 /** Debug-only record of why the indexed-read analysis widened a binding,
- * parameter, return, or field to a runtime-optional representation. It is
+ * parameter, return, or field to a runtime-optional representation, and
+ * why an array element ABI can hold undefined values or holes. It is
  * enabled by SCRIPTC_DEBUG_RUNTIME_OPTIONAL=1 and writes one line per
  * widening to stderr; the disabled path records nothing. Not a public API:
  * the output format may change at any time. */

package/dist/frontend/lowering/runtime-optional-provenance.js.map

@@ -1 +1 @@
-{"version":3,"file":"runtime-optional-provenance.js","sourceRoot":"","sources":["../../../src/frontend/lowering/runtime-optional-provenance.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAExC;;;;+CAI+C;AAC/C,MAAM,OAAO,yBAAyB;IACnB,KAAK,GAAa,EAAE,CAAC;IACrB,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAE1C,MAAM,CAAC,eAAe;QACpB,OAAO,OAAO,CAAC,GAAG,CAAC,gCAAgC,CAAC,KAAK,GAAG;YAC1D,CAAC,CAAC,IAAI,yBAAyB,EAAE;YACjC,CAAC,CAAC,IAAI,CAAC;IACX,CAAC;IAED;uCACmC;IACnC,IAAI,CAAC,IAAY,EAAE,MAA2B,EAAE,KAA0B,EAAE,MAAM,GAAG,EAAE;QACrF,MAAM,IAAI,GAAG,GAAG,IAAI,IAAI,QAAQ,CAAC,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,IAAI,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QAC9F,IAAI,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,OAAO;QAChC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACpB,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxB,CAAC;IAED,KAAK;QACH,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK;YAAE,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,4BAA4B,IAAI,IAAI,CAAC,CAAC;QAC1F,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;IACxB,CAAC;CACF;AAED,SAAS,QAAQ,CAAC,IAAyB;IACzC,IAAI,CAAC,IAAI;QAAE,OAAO,GAAG,CAAC;IACtB,MAAM,EAAE,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC;IAChC,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAC;IAC9B,MAAM,GAAG,GAAG,EAAE,CAAC,6BAA6B,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;IACxD,MAAM,IAAI,GAAG,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IACjE,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,GAAG,EAAE,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;IAClE,OAAO,GAAG,EAAE,CAAC,QAAQ,IAAI,GAAG,CAAC,IAAI,GAAG,CAAC,IAAI,GAAG,CAAC,SAAS,GAAG,CAAC,MAAM,KAAK,IAAI,CAAC;AAC5E,CAAC"}
+{"version":3,"file":"runtime-optional-provenance.js","sourceRoot":"","sources":["../../../src/frontend/lowering/runtime-optional-provenance.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAExC;;;;;+CAK+C;AAC/C,MAAM,OAAO,yBAAyB;IACnB,KAAK,GAAa,EAAE,CAAC;IACrB,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAE1C,MAAM,CAAC,eAAe;QACpB,OAAO,OAAO,CAAC,GAAG,CAAC,gCAAgC,CAAC,KAAK,GAAG;YAC1D,CAAC,CAAC,IAAI,yBAAyB,EAAE;YACjC,CAAC,CAAC,IAAI,CAAC;IACX,CAAC;IAED;uCACmC;IACnC,IAAI,CAAC,IAAY,EAAE,MAA2B,EAAE,KAA0B,EAAE,MAAM,GAAG,EAAE;QACrF,MAAM,IAAI,GAAG,GAAG,IAAI,IAAI,QAAQ,CAAC,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,IAAI,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QAC9F,IAAI,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,OAAO;QAChC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACpB,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxB,CAAC;IAED,KAAK;QACH,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK;YAAE,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,4BAA4B,IAAI,IAAI,CAAC,CAAC;QAC1F,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;IACxB,CAAC;CACF;AAED,SAAS,QAAQ,CAAC,IAAyB;IACzC,IAAI,CAAC,IAAI;QAAE,OAAO,GAAG,CAAC;IACtB,MAAM,EAAE,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC;IAChC,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAC;IAC9B,MAAM,GAAG,GAAG,EAAE,CAAC,6BAA6B,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;IACxD,MAAM,IAAI,GAAG,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IACjE,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,GAAG,EAAE,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;IAClE,OAAO,GAAG,EAAE,CAAC,QAAQ,IAAI,GAAG,CAAC,IAAI,GAAG,CAAC,IAAI,GAAG,CAAC,SAAS,GAAG,CAAC,MAAM,KAAK,IAAI,CAAC;AAC5E,CAAC"}

package/dist/frontend/lowering/string-index-bounds.d.ts

@@ -0,0 +1,36 @@
+import * as ts from "../ts7/adapter.js";
+export declare class StringIndexBounds {
+    private readonly symbolAt;
+    private readonly declarationOf;
+    private readonly isString;
+    private readonly proofs;
+    private readonly bindings;
+    private readonly indexFacts;
+    private readonly identifiers;
+    constructor(symbolAt: (node: ts.Node) => ts.Symbol | null, declarationOf: (symbol: ts.Symbol) => ts.Node | undefined, isString: (node: ts.Expression) => boolean);
+    /** True when `read` (an element access on a string receiver) is proven
+     * to name an existing code unit. */
+    inBounds(read: ts.ElementAccessExpression): boolean;
+    private prove;
+    private namesIn;
+    /** Every write of a block-scoped local or parameter, or null for any
+     * other binding (module imports, var, class members, ...). */
+    private binding;
+    private scanBinding;
+    private valueFacts;
+    /** `text.length` on a string binding: its symbol, else null. */
+    private lengthOf;
+    private indexFactsOf;
+    /** `text.length`, or a const binding initialized from it while `text`
+     * itself is never reassigned. */
+    private isLength;
+    /** `text.length - k` for an integer k >= 1. */
+    private isLengthMinusOne;
+    private isIndex;
+    /** Does `cond` evaluating to `truthy` establish the bound? The index is
+     * an integer and lengths are numbers, so a false comparison is its
+     * negation. */
+    private holds;
+    /** Find a guard establishing `bound` that still holds at `read`. */
+    private guarded;
+}