sourceverity 1.0.3 → 1.0.5

package/dist/analysis/arrayIterationBounds.js

@@ -0,0 +1,578 @@
+import { arraysMatch, hasMutationBeforeNode, isLowerBoundNegativeGuard, isNodeDescendantOf, normalizeArrayTarget, normalizeIndexExpression, parseArrayLengthOffset, } from "./arrayBoundsCore.js";
+import { statementExitsControlFlow } from "./controlFlowGuards.js";
+import { unwrapExpression } from "./values.js";
+/**
+ * Checks if a call expression is a genuine Array.prototype method call (e.g. map or forEach).
+ */
+function isBuiltinArrayMethodCall(call, methodName, ts, checker) {
+    if (!ts.isPropertyAccessExpression(call.expression) || call.expression.name.text !== methodName) {
+        return false;
+    }
+    const callerExpr = unwrapExpression(call.expression.expression, ts);
+    // Array literals: [1, 2].map(...)
+    if (ts.isArrayLiteralExpression(callerExpr)) {
+        return true;
+    }
+    if (checker) {
+        const callerType = checker.getTypeAtLocation(callerExpr);
+        if (checker.isArrayType(callerType) || checker.isTupleType(callerType)) {
+            return true;
+        }
+        const methodSym = checker.getSymbolAtLocation(call.expression);
+        if (methodSym) {
+            const decls = methodSym.getDeclarations();
+            if (decls && decls.length > 0) {
+                for (const d of decls) {
+                    const sf = d.getSourceFile();
+                    if (sf.isDeclarationFile &&
+                        (sf.fileName.includes("lib.es") ||
+                            sf.fileName.includes("lib.core") ||
+                            sf.fileName.includes("lib.d.ts") ||
+                            sf.fileName.includes("typescript/lib"))) {
+                        const parentName = d.parent && ts.isInterfaceDeclaration(d.parent) ? d.parent.name.text : undefined;
+                        if (parentName === "Array" ||
+                            parentName === "ReadonlyArray" ||
+                            parentName === "ConcatArray" ||
+                            parentName?.includes("Array")) {
+                            return true;
+                        }
+                    }
+                }
+            }
+        }
+        return false;
+    }
+    return false;
+}
+/**
+ * Checks if an element access index is bounded by an enclosing for-loop or array iteration callback.
+ */
+function isLoopOrCallbackBoundedIndex(node, operand, ts, checker) {
+    const indexInfo = normalizeIndexExpression(operand.argumentExpression, ts, checker);
+    if (!indexInfo)
+        return undefined;
+    const arrayTarget = normalizeArrayTarget(operand.expression, ts, checker);
+    if (!arrayTarget)
+        return undefined;
+    let curr = node;
+    while (curr.parent && !ts.isSourceFile(curr.parent)) {
+        // 1. Enclosing classic ForStatement: for (let i = 0; i < arr.length - K; i++)
+        if (ts.isForStatement(curr.parent)) {
+            const forStmt = curr.parent;
+            if (forStmt.condition) {
+                const conjuncts = [];
+                function collectConjuncts(e) {
+                    const u = unwrapExpression(e, ts);
+                    if (ts.isBinaryExpression(u) && u.operatorToken.kind === ts.SyntaxKind.AmpersandAmpersandToken) {
+                        collectConjuncts(u.left);
+                        collectConjuncts(u.right);
+                    }
+                    else if (ts.isBinaryExpression(u)) {
+                        conjuncts.push(u);
+                    }
+                }
+                collectConjuncts(forStmt.condition);
+                for (const cond of conjuncts) {
+                    const left = unwrapExpression(cond.left, ts);
+                    if (ts.isIdentifier(left) && left.text === indexInfo.baseText) {
+                        const op = cond.operatorToken.kind;
+                        const right = unwrapExpression(cond.right, ts);
+                        // Parse loop start index (e.g. let i = 0 or let i = 1)
+                        let initVal = 0;
+                        if (forStmt.initializer && ts.isVariableDeclarationList(forStmt.initializer)) {
+                            const decl = forStmt.initializer.declarations[0];
+                            if (decl && decl.initializer && ts.isNumericLiteral(decl.initializer)) {
+                                initVal = Number(decl.initializer.text);
+                            }
+                        }
+                        // Condition: i < array.length (K = 0)
+                        if (op === ts.SyntaxKind.LessThanToken &&
+                            ts.isPropertyAccessExpression(right) &&
+                            right.name.text === "length") {
+                            const condArr = normalizeArrayTarget(right.expression, ts, checker);
+                            if (condArr && condArr.text === arrayTarget.text) {
+                                if (initVal + indexInfo.offset >= 0 && indexInfo.offset <= 0) {
+                                    return {
+                                        isGuarded: true,
+                                        evidence: `Index '${indexInfo.baseText}' is bounded by enclosing loop condition '${cond.getText()}'.`,
+                                    };
+                                }
+                            }
+                        }
+                        // Condition: i < array.length - K (allows 0 <= offset <= K)
+                        if (op === ts.SyntaxKind.LessThanToken &&
+                            ts.isBinaryExpression(right) &&
+                            right.operatorToken.kind === ts.SyntaxKind.MinusToken) {
+                            const rightLeft = unwrapExpression(right.left, ts);
+                            const rightRight = unwrapExpression(right.right, ts);
+                            if (ts.isPropertyAccessExpression(rightLeft) &&
+                                rightLeft.name.text === "length" &&
+                                ts.isNumericLiteral(rightRight)) {
+                                const k = Number(rightRight.text);
+                                const condArr = normalizeArrayTarget(rightLeft.expression, ts, checker);
+                                if (condArr && condArr.text === arrayTarget.text) {
+                                    if (initVal + indexInfo.offset >= 0 && indexInfo.offset >= 0 && indexInfo.offset <= k) {
+                                        return {
+                                            isGuarded: true,
+                                            evidence: `Index '${indexInfo.baseText}${indexInfo.offset ? ` + ${indexInfo.offset}` : ""}' is bounded by enclosing loop condition '${cond.getText()}'.`,
+                                        };
+                                    }
+                                }
+                            }
+                        }
+                        // Condition: i <= array.length - 1 - K (allows 0 <= offset <= K)
+                        if (op === ts.SyntaxKind.LessThanEqualsToken &&
+                            ts.isBinaryExpression(right) &&
+                            right.operatorToken.kind === ts.SyntaxKind.MinusToken) {
+                            const rightLeft = unwrapExpression(right.left, ts);
+                            const rightRight = unwrapExpression(right.right, ts);
+                            if (ts.isPropertyAccessExpression(rightLeft) &&
+                                rightLeft.name.text === "length" &&
+                                ts.isNumericLiteral(rightRight)) {
+                                const minusVal = Number(rightRight.text);
+                                const k = minusVal - 1;
+                                const condArr = normalizeArrayTarget(rightLeft.expression, ts, checker);
+                                if (condArr && condArr.text === arrayTarget.text) {
+                                    if (initVal + indexInfo.offset >= 0 && indexInfo.offset >= 0 && indexInfo.offset <= k) {
+                                        return {
+                                            isGuarded: true,
+                                            evidence: `Index '${indexInfo.baseText}${indexInfo.offset ? ` + ${indexInfo.offset}` : ""}' is bounded by enclosing loop condition '${cond.getText()}'.`,
+                                        };
+                                    }
+                                }
+                            }
+                        }
+                    }
+                }
+            }
+        }
+        // 2. Enclosing .map(...) or .forEach(...) callback
+        if ((ts.isArrowFunction(curr.parent) || ts.isFunctionExpression(curr.parent)) &&
+            curr.parent.parent &&
+            ts.isCallExpression(curr.parent.parent)) {
+            const call = curr.parent.parent;
+            if (ts.isPropertyAccessExpression(call.expression)) {
+                const method = call.expression.name.text;
+                if (method === "map" || method === "forEach") {
+                    if (isBuiltinArrayMethodCall(call, method, ts, checker)) {
+                        const callback = curr.parent;
+                        const indexParam = callback.parameters[1];
+                        const arrayParam = callback.parameters[2];
+                        if (indexParam && ts.isIdentifier(indexParam.name) && indexParam.name.text === indexInfo.baseText) {
+                            const callerExpr = call.expression.expression;
+                            const directCallerArr = normalizeArrayTarget(callerExpr, ts, checker);
+                            const arrayParamTarget = arrayParam && ts.isIdentifier(arrayParam.name)
+                                ? normalizeArrayTarget(arrayParam.name, ts, checker)
+                                : undefined;
+                            const collectionTargets = [];
+                            if (directCallerArr)
+                                collectionTargets.push(directCallerArr);
+                            if (arrayParamTarget)
+                                collectionTargets.push(arrayParamTarget);
+                            const isIteratedCollectionAccess = collectionTargets.some((t) => arraysMatch(arrayTarget, t));
+                            if (isIteratedCollectionAccess) {
+                                // Check if any mutation occurred before node in the callback
+                                let hasMutation = false;
+                                for (const target of collectionTargets) {
+                                    if (hasMutationBeforeNode(callback, node, target.text, ts, checker, target.symbol)) {
+                                        hasMutation = true;
+                                        break;
+                                    }
+                                }
+                                if (!hasMutation) {
+                                    // Sub-case 2a: Direct index access (offset 0): arr[i]! or array[i]!
+                                    if (indexInfo.offset === 0) {
+                                        const targetName = arrayParamTarget && arraysMatch(arrayTarget, arrayParamTarget)
+                                            ? arrayParamTarget.text
+                                            : directCallerArr
+                                                ? directCallerArr.text
+                                                : arrayTarget.text;
+                                        return {
+                                            isGuarded: true,
+                                            evidence: `Index '${indexInfo.baseText}' is callback index parameter for '${directCallerArr ? directCallerArr.text : targetName}.${method}'.`,
+                                        };
+                                    }
+                                    // Sub-case 2b: Offset > 0 e.g. array[i + 1]! or arr[i + 1]!
+                                    // Check if inside callback there is an enclosing guard or dominating exit guard
+                                    let innerNode = node;
+                                    while (innerNode && innerNode !== callback) {
+                                        // Form 1: if (i < arr.length - K) or if (i < array.length - K)
+                                        if (innerNode.parent && ts.isIfStatement(innerNode.parent)) {
+                                            if (innerNode.parent.thenStatement === innerNode ||
+                                                (ts.isBlock(innerNode.parent.thenStatement) &&
+                                                    innerNode.parent.thenStatement.statements.includes(innerNode)) ||
+                                                isNodeDescendantOf(innerNode, innerNode.parent.thenStatement)) {
+                                                const ifCond = innerNode.parent.expression;
+                                                const unwrappedCond = unwrapExpression(ifCond, ts);
+                                                if (ts.isBinaryExpression(unwrappedCond)) {
+                                                    const condLeft = unwrapExpression(unwrappedCond.left, ts);
+                                                    const condRight = unwrapExpression(unwrappedCond.right, ts);
+                                                    const condOp = unwrappedCond.operatorToken.kind;
+                                                    if (ts.isIdentifier(condLeft) && condLeft.text === indexInfo.baseText) {
+                                                        if (condOp === ts.SyntaxKind.LessThanToken) {
+                                                            const lengthMinus = parseArrayLengthOffset(condRight, collectionTargets, ts, checker);
+                                                            if (lengthMinus !== undefined && indexInfo.offset >= 0 && indexInfo.offset <= lengthMinus) {
+                                                                return {
+                                                                    isGuarded: true,
+                                                                    evidence: `Callback index '${indexInfo.baseText}' is guarded non-negative and bounded by '${innerNode.parent.expression.getText()}'.`,
+                                                                };
+                                                            }
+                                                        }
+                                                        if (condOp === ts.SyntaxKind.LessThanEqualsToken) {
+                                                            const lengthMinus = parseArrayLengthOffset(condRight, collectionTargets, ts, checker);
+                                                            if (lengthMinus !== undefined &&
+                                                                lengthMinus >= 1 &&
+                                                                indexInfo.offset >= 0 &&
+                                                                indexInfo.offset <= lengthMinus - 1) {
+                                                                return {
+                                                                    isGuarded: true,
+                                                                    evidence: `Callback index '${indexInfo.baseText}' is guarded non-negative and bounded by '${innerNode.parent.expression.getText()}'.`,
+                                                                };
+                                                            }
+                                                        }
+                                                    }
+                                                }
+                                            }
+                                        }
+                                        // Form 2: JSX logical AND expression: {i < array.length - K && <Element ... />}
+                                        if (innerNode.parent &&
+                                            ts.isBinaryExpression(innerNode.parent) &&
+                                            innerNode.parent.operatorToken.kind === ts.SyntaxKind.AmpersandAmpersandToken) {
+                                            let checkLeft = innerNode;
+                                            while (checkLeft.parent &&
+                                                ts.isBinaryExpression(checkLeft.parent) &&
+                                                checkLeft.parent.operatorToken.kind === ts.SyntaxKind.AmpersandAmpersandToken &&
+                                                checkLeft.parent.right === checkLeft) {
+                                                const condLeft = unwrapExpression(checkLeft.parent.left, ts);
+                                                if (ts.isBinaryExpression(condLeft)) {
+                                                    const cLeft = unwrapExpression(condLeft.left, ts);
+                                                    const cRight = unwrapExpression(condLeft.right, ts);
+                                                    const cOp = condLeft.operatorToken.kind;
+                                                    if (ts.isIdentifier(cLeft) && cLeft.text === indexInfo.baseText) {
+                                                        if (cOp === ts.SyntaxKind.LessThanToken) {
+                                                            const lengthMinus = parseArrayLengthOffset(cRight, collectionTargets, ts, checker);
+                                                            if (lengthMinus !== undefined && indexInfo.offset >= 0 && indexInfo.offset <= lengthMinus) {
+                                                                return {
+                                                                    isGuarded: true,
+                                                                    evidence: `Callback index '${indexInfo.baseText}' is guarded non-negative and bounded by '${condLeft.getText()}'.`,
+                                                                };
+                                                            }
+                                                        }
+                                                        if (cOp === ts.SyntaxKind.LessThanEqualsToken) {
+                                                            const lengthMinus = parseArrayLengthOffset(cRight, collectionTargets, ts, checker);
+                                                            if (lengthMinus !== undefined &&
+                                                                lengthMinus >= 1 &&
+                                                                indexInfo.offset >= 0 &&
+                                                                indexInfo.offset <= lengthMinus - 1) {
+                                                                return {
+                                                                    isGuarded: true,
+                                                                    evidence: `Callback index '${indexInfo.baseText}' is guarded non-negative and bounded by '${condLeft.getText()}'.`,
+                                                                };
+                                                            }
+                                                        }
+                                                    }
+                                                }
+                                                checkLeft = checkLeft.parent;
+                                            }
+                                        }
+                                        innerNode = innerNode.parent;
+                                    }
+                                    // Form 3: Dominating exit guard in statements of callback body
+                                    if (ts.isBlock(callback.body)) {
+                                        let stmtNode = node;
+                                        while (stmtNode.parent && stmtNode.parent !== callback.body) {
+                                            stmtNode = stmtNode.parent;
+                                        }
+                                        const cbStmts = callback.body.statements;
+                                        const targetIdx = cbStmts.indexOf(stmtNode);
+                                        if (targetIdx > 0) {
+                                            for (let s = 0; s < targetIdx; s++) {
+                                                const prior = cbStmts[s];
+                                                if (prior && ts.isIfStatement(prior) && statementExitsControlFlow(prior.thenStatement, ts)) {
+                                                    const unwrappedCond = unwrapExpression(prior.expression, ts);
+                                                    if (ts.isBinaryExpression(unwrappedCond)) {
+                                                        const cLeft = unwrapExpression(unwrappedCond.left, ts);
+                                                        const cRight = unwrapExpression(unwrappedCond.right, ts);
+                                                        const cOp = unwrappedCond.operatorToken.kind;
+                                                        if (ts.isIdentifier(cLeft) && cLeft.text === indexInfo.baseText) {
+                                                            if (cOp === ts.SyntaxKind.GreaterThanEqualsToken) {
+                                                                const lengthMinus = parseArrayLengthOffset(cRight, collectionTargets, ts, checker);
+                                                                if (lengthMinus !== undefined && indexInfo.offset >= 0 && indexInfo.offset <= lengthMinus) {
+                                                                    return {
+                                                                        isGuarded: true,
+                                                                        evidence: `Callback index '${indexInfo.baseText}' is guarded non-negative and bounded by exit guard '${prior.expression.getText()}'.`,
+                                                                    };
+                                                                }
+                                                            }
+                                                            if (cOp === ts.SyntaxKind.GreaterThanToken) {
+                                                                const lengthMinus = parseArrayLengthOffset(cRight, collectionTargets, ts, checker);
+                                                                if (lengthMinus !== undefined &&
+                                                                    lengthMinus >= 1 &&
+                                                                    indexInfo.offset >= 0 &&
+                                                                    indexInfo.offset <= lengthMinus - 1) {
+                                                                    return {
+                                                                        isGuarded: true,
+                                                                        evidence: `Callback index '${indexInfo.baseText}' is guarded non-negative and bounded by exit guard '${prior.expression.getText()}'.`,
+                                                                    };
+                                                                }
+                                                            }
+                                                        }
+                                                    }
+                                                }
+                                            }
+                                        }
+                                    }
+                                }
+                            }
+                            // Sub-case 2c: Sliced caller array: arr.slice(0, -K).map((_, i) => arr[i + offset]!)
+                            if (ts.isCallExpression(callerExpr) && ts.isPropertyAccessExpression(callerExpr.expression)) {
+                                const sliceMethod = callerExpr.expression.name.text;
+                                if (sliceMethod === "slice") {
+                                    const sliceReceiver = normalizeArrayTarget(callerExpr.expression.expression, ts, checker);
+                                    if (sliceReceiver && arraysMatch(sliceReceiver, arrayTarget)) {
+                                        const sliceArgs = callerExpr.arguments;
+                                        let startZero = false;
+                                        let endMinusK;
+                                        if (sliceArgs.length === 2) {
+                                            const arg0 = unwrapExpression(sliceArgs[0], ts);
+                                            const arg1 = unwrapExpression(sliceArgs[1], ts);
+                                            if (ts.isNumericLiteral(arg0) && arg0.text === "0") {
+                                                startZero = true;
+                                            }
+                                            if (ts.isPrefixUnaryExpression(arg1) &&
+                                                arg1.operator === ts.SyntaxKind.MinusToken &&
+                                                ts.isNumericLiteral(arg1.operand)) {
+                                                endMinusK = Number(arg1.operand.text);
+                                            }
+                                        }
+                                        if (startZero && endMinusK !== undefined && endMinusK >= 1) {
+                                            if (indexInfo.offset >= 0 && indexInfo.offset <= endMinusK) {
+                                                return {
+                                                    isGuarded: true,
+                                                    evidence: `Index '${indexInfo.baseText} + ${indexInfo.offset}' is bounded by '${sliceReceiver.text}.slice(0, -${endMinusK})' callback index bounds.`,
+                                                };
+                                            }
+                                        }
+                                    }
+                                }
+                            }
+                        }
+                    }
+                }
+            }
+        }
+        curr = curr.parent;
+    }
+    return undefined;
+}
+/**
+ * Checks if an element access index is the result of array.findIndex() proven non-negative by dominating guard.
+ */
+function isFindIndexBoundedIndex(node, operand, ts, checker) {
+    const indexInfo = normalizeIndexExpression(operand.argumentExpression, ts, checker);
+    if (!indexInfo || indexInfo.offset !== 0)
+        return undefined;
+    const arrayTarget = normalizeArrayTarget(operand.expression, ts, checker);
+    if (!arrayTarget)
+        return undefined;
+    const unwrappedIndex = unwrapExpression(operand.argumentExpression, ts);
+    if (!ts.isIdentifier(unwrappedIndex))
+        return undefined;
+    let symbol = checker?.getSymbolAtLocation(unwrappedIndex);
+    if (!symbol)
+        return undefined;
+    if (symbol.flags & ts.SymbolFlags.Alias) {
+        try {
+            symbol = checker?.getAliasedSymbol(symbol);
+        }
+        catch {
+            // ignore
+        }
+    }
+    const decls = symbol?.getDeclarations();
+    if (!decls || decls.length === 0)
+        return undefined;
+    const decl = decls[0];
+    if (!decl || !ts.isVariableDeclaration(decl) || !decl.initializer)
+        return undefined;
+    const init = unwrapExpression(decl.initializer, ts);
+    if (!ts.isCallExpression(init))
+        return undefined;
+    const callee = unwrapExpression(init.expression, ts);
+    if (!ts.isPropertyAccessExpression(callee) || callee.name.text !== "findIndex")
+        return undefined;
+    const findReceiver = normalizeArrayTarget(callee.expression, ts, checker);
+    if (!findReceiver)
+        return undefined;
+    if (findReceiver.symbol && arrayTarget.symbol) {
+        if (findReceiver.symbol !== arrayTarget.symbol)
+            return undefined;
+    }
+    else if (findReceiver.text !== arrayTarget.text) {
+        return undefined;
+    }
+    const targetBaseText = indexInfo.baseText;
+    const targetArrayText = arrayTarget.text;
+    const targetIndexInfo = indexInfo;
+    const isConst = decl.parent && ts.isVariableDeclarationList(decl.parent) && Boolean(decl.parent.flags & ts.NodeFlags.Const);
+    if (!isConst) {
+        let scope = decl;
+        while (scope.parent && !ts.isBlock(scope.parent) && !ts.isSourceFile(scope.parent)) {
+            scope = scope.parent;
+        }
+        const container = scope.parent;
+        let reassigned = false;
+        function checkReassign(n) {
+            if (reassigned)
+                return;
+            if (ts.isBinaryExpression(n) && n.operatorToken.kind === ts.SyntaxKind.EqualsToken) {
+                const left = unwrapExpression(n.left, ts);
+                if (ts.isIdentifier(left) && left.text === targetBaseText) {
+                    reassigned = true;
+                    return;
+                }
+            }
+            n.forEachChild(checkReassign);
+        }
+        if (container)
+            container.forEachChild(checkReassign);
+        if (reassigned)
+            return undefined;
+    }
+    function isExitNegativeCheck(cond) {
+        const disjuncts = [];
+        function collectOrs(e) {
+            const u = unwrapExpression(e, ts);
+            if (ts.isBinaryExpression(u) && u.operatorToken.kind === ts.SyntaxKind.BarBarToken) {
+                collectOrs(u.left);
+                collectOrs(u.right);
+            }
+            else {
+                disjuncts.push(u);
+            }
+        }
+        collectOrs(cond);
+        return disjuncts.some((d) => isLowerBoundNegativeGuard(d, targetIndexInfo, ts));
+    }
+    function isPositiveEntryCheck(cond) {
+        const conjuncts = [];
+        function collectAnds(e) {
+            const u = unwrapExpression(e, ts);
+            if (ts.isBinaryExpression(u) && u.operatorToken.kind === ts.SyntaxKind.AmpersandAmpersandToken) {
+                collectAnds(u.left);
+                collectAnds(u.right);
+            }
+            else {
+                conjuncts.push(u);
+            }
+        }
+        collectAnds(cond);
+        return conjuncts.some((c) => {
+            const u = unwrapExpression(c, ts);
+            if (!ts.isBinaryExpression(u))
+                return false;
+            const left = unwrapExpression(u.left, ts);
+            const right = unwrapExpression(u.right, ts);
+            const op = u.operatorToken.kind;
+            if (op === ts.SyntaxKind.ExclamationEqualsToken || op === ts.SyntaxKind.ExclamationEqualsEqualsToken) {
+                if (ts.isIdentifier(left) && left.text === targetBaseText) {
+                    if (ts.isPrefixUnaryExpression(right) && right.operator === ts.SyntaxKind.MinusToken && ts.isNumericLiteral(right.operand) && right.operand.text === "1") {
+                        return true;
+                    }
+                }
+                if (ts.isIdentifier(right) && right.text === targetBaseText) {
+                    if (ts.isPrefixUnaryExpression(left) && left.operator === ts.SyntaxKind.MinusToken && ts.isNumericLiteral(left.operand) && left.operand.text === "1") {
+                        return true;
+                    }
+                }
+            }
+            if (op === ts.SyntaxKind.GreaterThanEqualsToken) {
+                if (ts.isIdentifier(left) && left.text === targetBaseText && ts.isNumericLiteral(right) && right.text === "0") {
+                    return true;
+                }
+            }
+            if (op === ts.SyntaxKind.GreaterThanToken) {
+                if (ts.isIdentifier(left) && left.text === targetBaseText && ts.isPrefixUnaryExpression(right) && right.operator === ts.SyntaxKind.MinusToken && ts.isNumericLiteral(right.operand) && right.operand.text === "1") {
+                    return true;
+                }
+            }
+            return false;
+        });
+    }
+    let isGuarded = false;
+    let guardEvidence = "";
+    let curr = node;
+    while (curr.parent && !ts.isSourceFile(curr.parent)) {
+        if (ts.isIfStatement(curr.parent) && curr.parent.thenStatement === curr) {
+            if (isPositiveEntryCheck(curr.parent.expression)) {
+                isGuarded = true;
+                guardEvidence = `Enclosing guard '${curr.parent.expression.getText()}' establishes non-negative return from findIndex for '${targetArrayText}'.`;
+                break;
+            }
+        }
+        if (ts.isBlock(curr.parent) || ts.isSourceFile(curr.parent)) {
+            const stmts = curr.parent.statements;
+            const targetIdx = stmts.indexOf(curr);
+            if (targetIdx > 0) {
+                let guardIdx = -1;
+                let hasPriorMutation = false;
+                function checkMutation(n) {
+                    if (hasPriorMutation)
+                        return;
+                    if (ts.isCallExpression(n) && ts.isPropertyAccessExpression(n.expression)) {
+                        const target = normalizeArrayTarget(n.expression.expression, ts, checker);
+                        if (target && target.text === targetArrayText) {
+                            const method = n.expression.name.text;
+                            if (method === "splice" || method === "pop" || method === "shift" || method === "unshift" || method === "push") {
+                                hasPriorMutation = true;
+                                return;
+                            }
+                        }
+                    }
+                    if (ts.isBinaryExpression(n) && n.operatorToken.kind === ts.SyntaxKind.EqualsToken) {
+                        if (ts.isPropertyAccessExpression(n.left) && n.left.name.text === "length") {
+                            const target = normalizeArrayTarget(n.left.expression, ts, checker);
+                            if (target && target.text === targetArrayText) {
+                                hasPriorMutation = true;
+                                return;
+                            }
+                        }
+                    }
+                    n.forEachChild(checkMutation);
+                }
+                for (let i = 0; i < targetIdx; i++) {
+                    const prior = stmts[i];
+                    if (!prior)
+                        continue;
+                    if (ts.isIfStatement(prior) && statementExitsControlFlow(prior.thenStatement, ts)) {
+                        if (isExitNegativeCheck(prior.expression)) {
+                            guardIdx = i;
+                            guardEvidence = `Dominating guard '${prior.expression.getText()}' establishes non-negative return from findIndex for '${targetArrayText}'.`;
+                            break;
+                        }
+                    }
+                }
+                if (guardIdx !== -1) {
+                    for (let i = guardIdx + 1; i < targetIdx; i++) {
+                        const between = stmts[i];
+                        if (between)
+                            checkMutation(between);
+                    }
+                    if (!hasPriorMutation) {
+                        isGuarded = true;
+                        break;
+                    }
+                }
+            }
+        }
+        if (isGuarded)
+            break;
+        curr = curr.parent;
+    }
+    if (isGuarded) {
+        return { isGuarded: true, evidence: guardEvidence };
+    }
+    return undefined;
+}
+export { isFindIndexBoundedIndex, isLoopOrCallbackBoundedIndex, };
+//# sourceMappingURL=arrayIterationBounds.js.map

package/dist/analysis/arrayIterationBounds.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"arrayIterationBounds.js","sourceRoot":"","sources":["../../src/analysis/arrayIterationBounds.ts"],"names":[],"mappings":"AACA,OAAO,EACL,WAAW,EACX,qBAAqB,EACrB,yBAAyB,EACzB,kBAAkB,EAElB,oBAAoB,EACpB,wBAAwB,EACxB,sBAAsB,GACvB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,yBAAyB,EAAE,MAAM,wBAAwB,CAAC;AAGnE,OAAO,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAC;AAE/C;;GAEG;AACH,SAAS,wBAAwB,CAC/B,IAA2B,EAC3B,UAA6B,EAC7B,EAAiB,EACjB,OAAwC;IAExC,IAAI,CAAC,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAChG,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,UAAU,GAAG,gBAAgB,CAAC,IAAI,CAAC,UAAU,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;IAEpE,kCAAkC;IAClC,IAAI,EAAE,CAAC,wBAAwB,CAAC,UAAU,CAAC,EAAE,CAAC;QAC5C,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI,OAAO,EAAE,CAAC;QACZ,MAAM,UAAU,GAAG,OAAO,CAAC,iBAAiB,CAAC,UAAU,CAAC,CAAC;QACzD,IAAI,OAAO,CAAC,WAAW,CAAC,UAAU,CAAC,IAAI,OAAO,CAAC,WAAW,CAAC,UAAU,CAAC,EAAE,CAAC;YACvE,OAAO,IAAI,CAAC;QACd,CAAC;QAED,MAAM,SAAS,GAAG,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC/D,IAAI,SAAS,EAAE,CAAC;YACd,MAAM,KAAK,GAAG,SAAS,CAAC,eAAe,EAAE,CAAC;YAC1C,IAAI,KAAK,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC9B,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;oBACtB,MAAM,EAAE,GAAG,CAAC,CAAC,aAAa,EAAE,CAAC;oBAC7B,IACE,EAAE,CAAC,iBAAiB;wBACpB,CAAC,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,QAAQ,CAAC;4BAC7B,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,UAAU,CAAC;4BAChC,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,UAAU,CAAC;4BAChC,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,gBAAgB,CAAC,CAAC,EACzC,CAAC;wBACD,MAAM,UAAU,GAAG,CAAC,CAAC,MAAM,IAAI,EAAE,CAAC,sBAAsB,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;wBACpG,IACE,UAAU,KAAK,OAAO;4BACtB,UAAU,KAAK,eAAe;4BAC9B,UAAU,KAAK,aAAa;4BAC5B,UAAU,EAAE,QAAQ,CAAC,OAAO,CAAC,EAC7B,CAAC;4BACD,OAAO,IAAI,CAAC;wBACd,CAAC;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QAED,OAAO,KAAK,CAAC;IACf,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;GAEG;AACH,SAAS,4BAA4B,CACnC,IAA8B,EAC9B,OAAuC,EACvC,EAAiB,EACjB,OAAwC;IAExC,MAAM,SAAS,GAAG,wBAAwB,CAAC,OAAO,CAAC,kBAAkB,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;IACpF,IAAI,CAAC,SAAS;QAAE,OAAO,SAAS,CAAC;IAEjC,MAAM,WAAW,GAAG,oBAAoB,CAAC,OAAO,CAAC,UAAU,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;IAC1E,IAAI,CAAC,WAAW;QAAE,OAAO,SAAS,CAAC;IAEnC,IAAI,IAAI,GAAgB,IAAI,CAAC;IAC7B,OAAO,IAAI,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;QACpD,8EAA8E;QAC9E,IAAI,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;YACnC,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC;YAC5B,IAAI,OAAO,CAAC,SAAS,EAAE,CAAC;gBACtB,MAAM,SAAS,GAA8B,EAAE,CAAC;gBAChD,SAAS,gBAAgB,CAAC,CAAoB;oBAC5C,MAAM,CAAC,GAAG,gBAAgB,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;oBAClC,IAAI,EAAE,CAAC,kBAAkB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,uBAAuB,EAAE,CAAC;wBAC/F,gBAAgB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;wBACzB,gBAAgB,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;oBAC5B,CAAC;yBAAM,IAAI,EAAE,CAAC,kBAAkB,CAAC,CAAC,CAAC,EAAE,CAAC;wBACpC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;oBACpB,CAAC;gBACH,CAAC;gBACD,gBAAgB,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;gBAEpC,KAAK,MAAM,IAAI,IAAI,SAAS,EAAE,CAAC;oBAC7B,MAAM,IAAI,GAAG,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;oBAC7C,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC,QAAQ,EAAE,CAAC;wBAC9D,MAAM,EAAE,GAAG,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC;wBACnC,MAAM,KAAK,GAAG,gBAAgB,CAAC,IAAI,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;wBAE/C,uDAAuD;wBACvD,IAAI,OAAO,GAAG,CAAC,CAAC;wBAChB,IAAI,OAAO,CAAC,WAAW,IAAI,EAAE,CAAC,yBAAyB,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,CAAC;4BAC7E,MAAM,IAAI,GAAG,OAAO,CAAC,WAAW,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;4BACjD,IAAI,IAAI,IAAI,IAAI,CAAC,WAAW,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC;gCACtE,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;4BAC1C,CAAC;wBACH,CAAC;wBAED,sCAAsC;wBACtC,IACE,EAAE,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa;4BAClC,EAAE,CAAC,0BAA0B,CAAC,KAAK,CAAC;4BACpC,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,EAC5B,CAAC;4BACD,MAAM,OAAO,GAAG,oBAAoB,CAAC,KAAK,CAAC,UAAU,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;4BACpE,IAAI,OAAO,IAAI,OAAO,CAAC,IAAI,KAAK,WAAW,CAAC,IAAI,EAAE,CAAC;gCACjD,IAAI,OAAO,GAAG,SAAS,CAAC,MAAM,IAAI,CAAC,IAAI,SAAS,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;oCAC7D,OAAO;wCACL,SAAS,EAAE,IAAI;wCACf,QAAQ,EAAE,UAAU,SAAS,CAAC,QAAQ,6CAA6C,IAAI,CAAC,OAAO,EAAE,IAAI;qCACtG,CAAC;gCACJ,CAAC;4BACH,CAAC;wBACH,CAAC;wBAED,4DAA4D;wBAC5D,IACE,EAAE,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa;4BAClC,EAAE,CAAC,kBAAkB,CAAC,KAAK,CAAC;4BAC5B,KAAK,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,UAAU,EACrD,CAAC;4BACD,MAAM,SAAS,GAAG,gBAAgB,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;4BACnD,MAAM,UAAU,GAAG,gBAAgB,CAAC,KAAK,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;4BACrD,IACE,EAAE,CAAC,0BAA0B,CAAC,SAAS,CAAC;gCACxC,SAAS,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;gCAChC,EAAE,CAAC,gBAAgB,CAAC,UAAU,CAAC,EAC/B,CAAC;gCACD,MAAM,CAAC,GAAG,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;gCAClC,MAAM,OAAO,GAAG,oBAAoB,CAAC,SAAS,CAAC,UAAU,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;gCACxE,IAAI,OAAO,IAAI,OAAO,CAAC,IAAI,KAAK,WAAW,CAAC,IAAI,EAAE,CAAC;oCACjD,IAAI,OAAO,GAAG,SAAS,CAAC,MAAM,IAAI,CAAC,IAAI,SAAS,CAAC,MAAM,IAAI,CAAC,IAAI,SAAS,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;wCACtF,OAAO;4CACL,SAAS,EAAE,IAAI;4CACf,QAAQ,EAAE,UAAU,SAAS,CAAC,QAAQ,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,6CAA6C,IAAI,CAAC,OAAO,EAAE,IAAI;yCACzJ,CAAC;oCACJ,CAAC;gCACH,CAAC;4BACH,CAAC;wBACH,CAAC;wBAED,iEAAiE;wBACjE,IACE,EAAE,KAAK,EAAE,CAAC,UAAU,CAAC,mBAAmB;4BACxC,EAAE,CAAC,kBAAkB,CAAC,KAAK,CAAC;4BAC5B,KAAK,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,UAAU,EACrD,CAAC;4BACD,MAAM,SAAS,GAAG,gBAAgB,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;4BACnD,MAAM,UAAU,GAAG,gBAAgB,CAAC,KAAK,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;4BACrD,IACE,EAAE,CAAC,0BAA0B,CAAC,SAAS,CAAC;gCACxC,SAAS,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;gCAChC,EAAE,CAAC,gBAAgB,CAAC,UAAU,CAAC,EAC/B,CAAC;gCACD,MAAM,QAAQ,GAAG,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;gCACzC,MAAM,CAAC,GAAG,QAAQ,GAAG,CAAC,CAAC;gCACvB,MAAM,OAAO,GAAG,oBAAoB,CAAC,SAAS,CAAC,UAAU,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;gCACxE,IAAI,OAAO,IAAI,OAAO,CAAC,IAAI,KAAK,WAAW,CAAC,IAAI,EAAE,CAAC;oCACjD,IAAI,OAAO,GAAG,SAAS,CAAC,MAAM,IAAI,CAAC,IAAI,SAAS,CAAC,MAAM,IAAI,CAAC,IAAI,SAAS,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;wCACtF,OAAO;4CACL,SAAS,EAAE,IAAI;4CACf,QAAQ,EAAE,UAAU,SAAS,CAAC,QAAQ,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,6CAA6C,IAAI,CAAC,OAAO,EAAE,IAAI;yCACzJ,CAAC;oCACJ,CAAC;gCACH,CAAC;4BACH,CAAC;wBACH,CAAC;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QAED,mDAAmD;QACnD,IACE,CAAC,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACzE,IAAI,CAAC,MAAM,CAAC,MAAM;YAClB,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EACvC,CAAC;YACD,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;YAChC,IAAI,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;gBACnD,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC;gBACzC,IAAI,MAAM,KAAK,KAAK,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;oBAC7C,IAAI,wBAAwB,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,CAAC;wBACxD,MAAM,QAAQ,GAAG,IAAI,CAAC,MAA0D,CAAC;wBACjF,MAAM,UAAU,GAAG,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;wBAC1C,MAAM,UAAU,GAAG,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;wBAE1C,IAAI,UAAU,IAAI,EAAE,CAAC,YAAY,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC,QAAQ,EAAE,CAAC;4BAClG,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC;4BAC9C,MAAM,eAAe,GAAG,oBAAoB,CAAC,UAAU,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;4BACtE,MAAM,gBAAgB,GACpB,UAAU,IAAI,EAAE,CAAC,YAAY,CAAC,UAAU,CAAC,IAAI,CAAC;gCAC5C,CAAC,CAAC,oBAAoB,CAAC,UAAU,CAAC,IAAI,EAAE,EAAE,EAAE,OAAO,CAAC;gCACpD,CAAC,CAAC,SAAS,CAAC;4BAEhB,MAAM,iBAAiB,GAAsB,EAAE,CAAC;4BAChD,IAAI,eAAe;gCAAE,iBAAiB,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;4BAC7D,IAAI,gBAAgB;gCAAE,iBAAiB,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;4BAE/D,MAAM,0BAA0B,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,CAAC;4BAE9F,IAAI,0BAA0B,EAAE,CAAC;gCAC/B,6DAA6D;gCAC7D,IAAI,WAAW,GAAG,KAAK,CAAC;gCACxB,KAAK,MAAM,MAAM,IAAI,iBAAiB,EAAE,CAAC;oCACvC,IAAI,qBAAqB,CAAC,QAAQ,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,EAAE,EAAE,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;wCACnF,WAAW,GAAG,IAAI,CAAC;wCACnB,MAAM;oCACR,CAAC;gCACH,CAAC;gCAED,IAAI,CAAC,WAAW,EAAE,CAAC;oCACjB,oEAAoE;oCACpE,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;wCAC3B,MAAM,UAAU,GACd,gBAAgB,IAAI,WAAW,CAAC,WAAW,EAAE,gBAAgB,CAAC;4CAC5D,CAAC,CAAC,gBAAgB,CAAC,IAAI;4CACvB,CAAC,CAAC,eAAe;gDACjB,CAAC,CAAC,eAAe,CAAC,IAAI;gDACtB,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC;wCACvB,OAAO;4CACL,SAAS,EAAE,IAAI;4CACf,QAAQ,EAAE,UAAU,SAAS,CAAC,QAAQ,sCAAsC,eAAe,CAAC,CAAC,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU,IAAI,MAAM,IAAI;yCAC9I,CAAC;oCACJ,CAAC;oCAED,4DAA4D;oCAC5D,gFAAgF;oCAChF,IAAI,SAAS,GAAgB,IAAI,CAAC;oCAClC,OAAO,SAAS,IAAI,SAAS,KAAK,QAAQ,EAAE,CAAC;wCAC3C,+DAA+D;wCAC/D,IAAI,SAAS,CAAC,MAAM,IAAI,EAAE,CAAC,aAAa,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC;4CAC3D,IACE,SAAS,CAAC,MAAM,CAAC,aAAa,KAAK,SAAS;gDAC5C,CAAC,EAAE,CAAC,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,aAAa,CAAC;oDACzC,SAAS,CAAC,MAAM,CAAC,aAAa,CAAC,UAAU,CAAC,QAAQ,CAAC,SAA6B,CAAC,CAAC;gDACpF,kBAAkB,CAAC,SAAS,EAAE,SAAS,CAAC,MAAM,CAAC,aAAa,CAAC,EAC7D,CAAC;gDACD,MAAM,MAAM,GAAG,SAAS,CAAC,MAAM,CAAC,UAAU,CAAC;gDAC3C,MAAM,aAAa,GAAG,gBAAgB,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;gDACnD,IAAI,EAAE,CAAC,kBAAkB,CAAC,aAAa,CAAC,EAAE,CAAC;oDACzC,MAAM,QAAQ,GAAG,gBAAgB,CAAC,aAAa,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;oDAC1D,MAAM,SAAS,GAAG,gBAAgB,CAAC,aAAa,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;oDAC5D,MAAM,MAAM,GAAG,aAAa,CAAC,aAAa,CAAC,IAAI,CAAC;oDAChD,IAAI,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC,IAAI,KAAK,SAAS,CAAC,QAAQ,EAAE,CAAC;wDACtE,IAAI,MAAM,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa,EAAE,CAAC;4DAC3C,MAAM,WAAW,GAAG,sBAAsB,CAAC,SAAS,EAAE,iBAAiB,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;4DACtF,IAAI,WAAW,KAAK,SAAS,IAAI,SAAS,CAAC,MAAM,IAAI,CAAC,IAAI,SAAS,CAAC,MAAM,IAAI,WAAW,EAAE,CAAC;gEAC1F,OAAO;oEACL,SAAS,EAAE,IAAI;oEACf,QAAQ,EAAE,mBAAmB,SAAS,CAAC,QAAQ,6CAA6C,SAAS,CAAC,MAAM,CAAC,UAAU,CAAC,OAAO,EAAE,IAAI;iEACtI,CAAC;4DACJ,CAAC;wDACH,CAAC;wDACD,IAAI,MAAM,KAAK,EAAE,CAAC,UAAU,CAAC,mBAAmB,EAAE,CAAC;4DACjD,MAAM,WAAW,GAAG,sBAAsB,CAAC,SAAS,EAAE,iBAAiB,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;4DACtF,IACE,WAAW,KAAK,SAAS;gEACzB,WAAW,IAAI,CAAC;gEAChB,SAAS,CAAC,MAAM,IAAI,CAAC;gEACrB,SAAS,CAAC,MAAM,IAAI,WAAW,GAAG,CAAC,EACnC,CAAC;gEACD,OAAO;oEACL,SAAS,EAAE,IAAI;oEACf,QAAQ,EAAE,mBAAmB,SAAS,CAAC,QAAQ,6CAA6C,SAAS,CAAC,MAAM,CAAC,UAAU,CAAC,OAAO,EAAE,IAAI;iEACtI,CAAC;4DACJ,CAAC;wDACH,CAAC;oDACH,CAAC;gDACH,CAAC;4CACH,CAAC;wCACH,CAAC;wCAED,gFAAgF;wCAChF,IACE,SAAS,CAAC,MAAM;4CAChB,EAAE,CAAC,kBAAkB,CAAC,SAAS,CAAC,MAAM,CAAC;4CACvC,SAAS,CAAC,MAAM,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,uBAAuB,EAC7E,CAAC;4CACD,IAAI,SAAS,GAAgB,SAAS,CAAC;4CACvC,OACE,SAAS,CAAC,MAAM;gDAChB,EAAE,CAAC,kBAAkB,CAAC,SAAS,CAAC,MAAM,CAAC;gDACvC,SAAS,CAAC,MAAM,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,uBAAuB;gDAC7E,SAAS,CAAC,MAAM,CAAC,KAAK,KAAK,SAAS,EACpC,CAAC;gDACD,MAAM,QAAQ,GAAG,gBAAgB,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;gDAC7D,IAAI,EAAE,CAAC,kBAAkB,CAAC,QAAQ,CAAC,EAAE,CAAC;oDACpC,MAAM,KAAK,GAAG,gBAAgB,CAAC,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;oDAClD,MAAM,MAAM,GAAG,gBAAgB,CAAC,QAAQ,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;oDACpD,MAAM,GAAG,GAAG,QAAQ,CAAC,aAAa,CAAC,IAAI,CAAC;oDACxC,IAAI,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,QAAQ,EAAE,CAAC;wDAChE,IAAI,GAAG,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa,EAAE,CAAC;4DACxC,MAAM,WAAW,GAAG,sBAAsB,CAAC,MAAM,EAAE,iBAAiB,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;4DACnF,IAAI,WAAW,KAAK,SAAS,IAAI,SAAS,CAAC,MAAM,IAAI,CAAC,IAAI,SAAS,CAAC,MAAM,IAAI,WAAW,EAAE,CAAC;gEAC1F,OAAO;oEACL,SAAS,EAAE,IAAI;oEACf,QAAQ,EAAE,mBAAmB,SAAS,CAAC,QAAQ,6CAA6C,QAAQ,CAAC,OAAO,EAAE,IAAI;iEACnH,CAAC;4DACJ,CAAC;wDACH,CAAC;wDACD,IAAI,GAAG,KAAK,EAAE,CAAC,UAAU,CAAC,mBAAmB,EAAE,CAAC;4DAC9C,MAAM,WAAW,GAAG,sBAAsB,CAAC,MAAM,EAAE,iBAAiB,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;4DACnF,IACE,WAAW,KAAK,SAAS;gEACzB,WAAW,IAAI,CAAC;gEAChB,SAAS,CAAC,MAAM,IAAI,CAAC;gEACrB,SAAS,CAAC,MAAM,IAAI,WAAW,GAAG,CAAC,EACnC,CAAC;gEACD,OAAO;oEACL,SAAS,EAAE,IAAI;oEACf,QAAQ,EAAE,mBAAmB,SAAS,CAAC,QAAQ,6CAA6C,QAAQ,CAAC,OAAO,EAAE,IAAI;iEACnH,CAAC;4DACJ,CAAC;wDACH,CAAC;oDACH,CAAC;gDACH,CAAC;gDACD,SAAS,GAAG,SAAS,CAAC,MAAM,CAAC;4CAC/B,CAAC;wCACH,CAAC;wCAED,SAAS,GAAG,SAAS,CAAC,MAAM,CAAC;oCAC/B,CAAC;oCAED,+DAA+D;oCAC/D,IAAI,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;wCAC9B,IAAI,QAAQ,GAAgB,IAAI,CAAC;wCACjC,OAAO,QAAQ,CAAC,MAAM,IAAI,QAAQ,CAAC,MAAM,KAAK,QAAQ,CAAC,IAAI,EAAE,CAAC;4CAC5D,QAAQ,GAAG,QAAQ,CAAC,MAAM,CAAC;wCAC7B,CAAC;wCACD,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC;wCACzC,MAAM,SAAS,GAAG,OAAO,CAAC,OAAO,CAAC,QAA4B,CAAC,CAAC;wCAChE,IAAI,SAAS,GAAG,CAAC,EAAE,CAAC;4CAClB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,EAAE,CAAC,EAAE,EAAE,CAAC;gDACnC,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;gDACzB,IAAI,KAAK,IAAI,EAAE,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,yBAAyB,CAAC,KAAK,CAAC,aAAa,EAAE,EAAE,CAAC,EAAE,CAAC;oDAC3F,MAAM,aAAa,GAAG,gBAAgB,CAAC,KAAK,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;oDAC7D,IAAI,EAAE,CAAC,kBAAkB,CAAC,aAAa,CAAC,EAAE,CAAC;wDACzC,MAAM,KAAK,GAAG,gBAAgB,CAAC,aAAa,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;wDACvD,MAAM,MAAM,GAAG,gBAAgB,CAAC,aAAa,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;wDACzD,MAAM,GAAG,GAAG,aAAa,CAAC,aAAa,CAAC,IAAI,CAAC;wDAC7C,IAAI,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,QAAQ,EAAE,CAAC;4DAChE,IAAI,GAAG,KAAK,EAAE,CAAC,UAAU,CAAC,sBAAsB,EAAE,CAAC;gEACjD,MAAM,WAAW,GAAG,sBAAsB,CAAC,MAAM,EAAE,iBAAiB,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;gEACnF,IAAI,WAAW,KAAK,SAAS,IAAI,SAAS,CAAC,MAAM,IAAI,CAAC,IAAI,SAAS,CAAC,MAAM,IAAI,WAAW,EAAE,CAAC;oEAC1F,OAAO;wEACL,SAAS,EAAE,IAAI;wEACf,QAAQ,EAAE,mBAAmB,SAAS,CAAC,QAAQ,wDAAwD,KAAK,CAAC,UAAU,CAAC,OAAO,EAAE,IAAI;qEACtI,CAAC;gEACJ,CAAC;4DACH,CAAC;4DACD,IAAI,GAAG,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB,EAAE,CAAC;gEAC3C,MAAM,WAAW,GAAG,sBAAsB,CAAC,MAAM,EAAE,iBAAiB,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;gEACnF,IACE,WAAW,KAAK,SAAS;oEACzB,WAAW,IAAI,CAAC;oEAChB,SAAS,CAAC,MAAM,IAAI,CAAC;oEACrB,SAAS,CAAC,MAAM,IAAI,WAAW,GAAG,CAAC,EACnC,CAAC;oEACD,OAAO;wEACL,SAAS,EAAE,IAAI;wEACf,QAAQ,EAAE,mBAAmB,SAAS,CAAC,QAAQ,wDAAwD,KAAK,CAAC,UAAU,CAAC,OAAO,EAAE,IAAI;qEACtI,CAAC;gEACJ,CAAC;4DACH,CAAC;wDACH,CAAC;oDACH,CAAC;gDACH,CAAC;4CACH,CAAC;wCACH,CAAC;oCACH,CAAC;gCACH,CAAC;4BACH,CAAC;4BACD,qFAAqF;4BACrF,IAAI,EAAE,CAAC,gBAAgB,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC,0BAA0B,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;gCAC5F,MAAM,WAAW,GAAG,UAAU,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC;gCACpD,IAAI,WAAW,KAAK,OAAO,EAAE,CAAC;oCAC5B,MAAM,aAAa,GAAG,oBAAoB,CAAC,UAAU,CAAC,UAAU,CAAC,UAAU,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;oCAC1F,IAAI,aAAa,IAAI,WAAW,CAAC,aAAa,EAAE,WAAW,CAAC,EAAE,CAAC;wCAC7D,MAAM,SAAS,GAAG,UAAU,CAAC,SAAS,CAAC;wCACvC,IAAI,SAAS,GAAG,KAAK,CAAC;wCACtB,IAAI,SAA6B,CAAC;wCAElC,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;4CAC3B,MAAM,IAAI,GAAG,gBAAgB,CAAC,SAAS,CAAC,CAAC,CAAE,EAAE,EAAE,CAAC,CAAC;4CACjD,MAAM,IAAI,GAAG,gBAAgB,CAAC,SAAS,CAAC,CAAC,CAAE,EAAE,EAAE,CAAC,CAAC;4CACjD,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,GAAG,EAAE,CAAC;gDACnD,SAAS,GAAG,IAAI,CAAC;4CACnB,CAAC;4CACD,IACE,EAAE,CAAC,uBAAuB,CAAC,IAAI,CAAC;gDAChC,IAAI,CAAC,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,UAAU;gDAC1C,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,OAAO,CAAC,EACjC,CAAC;gDACD,SAAS,GAAG,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;4CACxC,CAAC;wCACH,CAAC;wCAED,IAAI,SAAS,IAAI,SAAS,KAAK,SAAS,IAAI,SAAS,IAAI,CAAC,EAAE,CAAC;4CAC3D,IAAI,SAAS,CAAC,MAAM,IAAI,CAAC,IAAI,SAAS,CAAC,MAAM,IAAI,SAAS,EAAE,CAAC;gDAC3D,OAAO;oDACL,SAAS,EAAE,IAAI;oDACf,QAAQ,EAAE,UAAU,SAAS,CAAC,QAAQ,MAAM,SAAS,CAAC,MAAM,oBAAoB,aAAa,CAAC,IAAI,cAAc,SAAS,2BAA2B;iDACrJ,CAAC;4CACJ,CAAC;wCACH,CAAC;oCACH,CAAC;gCACH,CAAC;4BACH,CAAC;wBACH,CAAC;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QAED,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC;IACrB,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC;AAGD;;GAEG;AACH,SAAS,uBAAuB,CAC9B,IAA8B,EAC9B,OAAuC,EACvC,EAAiB,EACjB,OAAwC;IAExC,MAAM,SAAS,GAAG,wBAAwB,CAAC,OAAO,CAAC,kBAAkB,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;IACpF,IAAI,CAAC,SAAS,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAE3D,MAAM,WAAW,GAAG,oBAAoB,CAAC,OAAO,CAAC,UAAU,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;IAC1E,IAAI,CAAC,WAAW;QAAE,OAAO,SAAS,CAAC;IAEnC,MAAM,cAAc,GAAG,gBAAgB,CAAC,OAAO,CAAC,kBAAkB,EAAE,EAAE,CAAC,CAAC;IACxE,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,cAAc,CAAC;QAAE,OAAO,SAAS,CAAC;IAEvD,IAAI,MAAM,GAAG,OAAO,EAAE,mBAAmB,CAAC,cAAc,CAAC,CAAC;IAC1D,IAAI,CAAC,MAAM;QAAE,OAAO,SAAS,CAAC;IAC9B,IAAI,MAAM,CAAC,KAAK,GAAG,EAAE,CAAC,WAAW,CAAC,KAAK,EAAE,CAAC;QACxC,IAAI,CAAC;YACH,MAAM,GAAG,OAAO,EAAE,gBAAgB,CAAC,MAAM,CAAC,CAAC;QAC7C,CAAC;QAAC,MAAM,CAAC;YACP,SAAS;QACX,CAAC;IACH,CAAC;IACD,MAAM,KAAK,GAAG,MAAM,EAAE,eAAe,EAAE,CAAC;IACxC,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAEnD,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;IACtB,IAAI,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW;QAAE,OAAO,SAAS,CAAC;IAEpF,MAAM,IAAI,GAAG,gBAAgB,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;IACpD,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;QAAE,OAAO,SAAS,CAAC;IAEjD,MAAM,MAAM,GAAG,gBAAgB,CAAC,IAAI,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;IACrD,IAAI,CAAC,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,WAAW;QAAE,OAAO,SAAS,CAAC;IAEjG,MAAM,YAAY,GAAG,oBAAoB,CAAC,MAAM,CAAC,UAAU,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;IAC1E,IAAI,CAAC,YAAY;QAAE,OAAO,SAAS,CAAC;IAEpC,IAAI,YAAY,CAAC,MAAM,IAAI,WAAW,CAAC,MAAM,EAAE,CAAC;QAC9C,IAAI,YAAY,CAAC,MAAM,KAAK,WAAW,CAAC,MAAM;YAAE,OAAO,SAAS,CAAC;IACnE,CAAC;SAAM,IAAI,YAAY,CAAC,IAAI,KAAK,WAAW,CAAC,IAAI,EAAE,CAAC;QAClD,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,cAAc,GAAG,SAAS,CAAC,QAAQ,CAAC;IAC1C,MAAM,eAAe,GAAG,WAAW,CAAC,IAAI,CAAC;IACzC,MAAM,eAAe,GAAG,SAAS,CAAC;IAElC,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,IAAI,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IAC5H,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,IAAI,KAAK,GAAgB,IAAI,CAAC;QAC9B,OAAO,KAAK,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;YACnF,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC;QACvB,CAAC;QACD,MAAM,SAAS,GAAG,KAAK,CAAC,MAAM,CAAC;QAC/B,IAAI,UAAU,GAAG,KAAK,CAAC;QACvB,SAAS,aAAa,CAAC,CAAc;YACnC,IAAI,UAAU;gBAAE,OAAO;YACvB,IAAI,EAAE,CAAC,kBAAkB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC;gBACnF,MAAM,IAAI,GAAG,gBAAgB,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;gBAC1C,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;oBAC1D,UAAU,GAAG,IAAI,CAAC;oBAClB,OAAO;gBACT,CAAC;YACH,CAAC;YACD,CAAC,CAAC,YAAY,CAAC,aAAa,CAAC,CAAC;QAChC,CAAC;QACD,IAAI,SAAS;YAAE,SAAS,CAAC,YAAY,CAAC,aAAa,CAAC,CAAC;QACrD,IAAI,UAAU;YAAE,OAAO,SAAS,CAAC;IACnC,CAAC;IAED,SAAS,mBAAmB,CAAC,IAAuB;QAClD,MAAM,SAAS,GAAwB,EAAE,CAAC;QAC1C,SAAS,UAAU,CAAC,CAAoB;YACtC,MAAM,CAAC,GAAG,gBAAgB,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YAClC,IAAI,EAAE,CAAC,kBAAkB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC;gBACnF,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;gBACnB,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YACtB,CAAC;iBAAM,CAAC;gBACN,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACpB,CAAC;QACH,CAAC;QACD,UAAU,CAAC,IAAI,CAAC,CAAC;QAEjB,OAAO,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,yBAAyB,CAAC,CAAC,EAAE,eAAe,EAAE,EAAE,CAAC,CAAC,CAAC;IAClF,CAAC;IAED,SAAS,oBAAoB,CAAC,IAAuB;QACnD,MAAM,SAAS,GAAwB,EAAE,CAAC;QAC1C,SAAS,WAAW,CAAC,CAAoB;YACvC,MAAM,CAAC,GAAG,gBAAgB,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YAClC,IAAI,EAAE,CAAC,kBAAkB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,uBAAuB,EAAE,CAAC;gBAC/F,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;gBACpB,WAAW,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YACvB,CAAC;iBAAM,CAAC;gBACN,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACpB,CAAC;QACH,CAAC;QACD,WAAW,CAAC,IAAI,CAAC,CAAC;QAElB,OAAO,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE;YAC1B,MAAM,CAAC,GAAG,gBAAgB,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YAClC,IAAI,CAAC,EAAE,CAAC,kBAAkB,CAAC,CAAC,CAAC;gBAAE,OAAO,KAAK,CAAC;YAC5C,MAAM,IAAI,GAAG,gBAAgB,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YAC1C,MAAM,KAAK,GAAG,gBAAgB,CAAC,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;YAC5C,MAAM,EAAE,GAAG,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC;YAEhC,IAAI,EAAE,KAAK,EAAE,CAAC,UAAU,CAAC,sBAAsB,IAAI,EAAE,KAAK,EAAE,CAAC,UAAU,CAAC,4BAA4B,EAAE,CAAC;gBACrG,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;oBAC1D,IAAI,EAAE,CAAC,uBAAuB,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,UAAU,IAAI,EAAE,CAAC,gBAAgB,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,GAAG,EAAE,CAAC;wBACzJ,OAAO,IAAI,CAAC;oBACd,CAAC;gBACH,CAAC;gBACD,IAAI,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;oBAC5D,IAAI,EAAE,CAAC,uBAAuB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,UAAU,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC,OAAO,CAAC,IAAI,KAAK,GAAG,EAAE,CAAC;wBACrJ,OAAO,IAAI,CAAC;oBACd,CAAC;gBACH,CAAC;YACH,CAAC;YAED,IAAI,EAAE,KAAK,EAAE,CAAC,UAAU,CAAC,sBAAsB,EAAE,CAAC;gBAChD,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,cAAc,IAAI,EAAE,CAAC,gBAAgB,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,IAAI,KAAK,GAAG,EAAE,CAAC;oBAC9G,OAAO,IAAI,CAAC;gBACd,CAAC;YACH,CAAC;YAED,IAAI,EAAE,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB,EAAE,CAAC;gBAC1C,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,cAAc,IAAI,EAAE,CAAC,uBAAuB,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,UAAU,IAAI,EAAE,CAAC,gBAAgB,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,GAAG,EAAE,CAAC;oBAClN,OAAO,IAAI,CAAC;gBACd,CAAC;YACH,CAAC;YAED,OAAO,KAAK,CAAC;QACf,CAAC,CAAC,CAAC;IACL,CAAC;IAED,IAAI,SAAS,GAAG,KAAK,CAAC;IACtB,IAAI,aAAa,GAAG,EAAE,CAAC;IAEvB,IAAI,IAAI,GAAgB,IAAI,CAAC;IAC7B,OAAO,IAAI,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;QACpD,IAAI,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,aAAa,KAAK,IAAI,EAAE,CAAC;YACxE,IAAI,oBAAoB,CAAC,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC;gBACjD,SAAS,GAAG,IAAI,CAAC;gBACjB,aAAa,GAAG,oBAAoB,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,OAAO,EAAE,yDAAyD,eAAe,IAAI,CAAC;gBACjJ,MAAM;YACR,CAAC;QACH,CAAC;QAED,IAAI,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;YAC5D,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC;YACrC,MAAM,SAAS,GAAG,KAAK,CAAC,OAAO,CAAC,IAAwB,CAAC,CAAC;YAC1D,IAAI,SAAS,GAAG,CAAC,EAAE,CAAC;gBAClB,IAAI,QAAQ,GAAG,CAAC,CAAC,CAAC;gBAClB,IAAI,gBAAgB,GAAG,KAAK,CAAC;gBAE7B,SAAS,aAAa,CAAC,CAAc;oBACnC,IAAI,gBAAgB;wBAAE,OAAO;oBAC7B,IAAI,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,0BAA0B,CAAC,CAAC,CAAC,UAAU,CAAC,EAAE,CAAC;wBAC1E,MAAM,MAAM,GAAG,oBAAoB,CAAC,CAAC,CAAC,UAAU,CAAC,UAAU,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;wBAC1E,IAAI,MAAM,IAAI,MAAM,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;4BAC9C,MAAM,MAAM,GAAG,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC;4BACtC,IAAI,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,KAAK,IAAI,MAAM,KAAK,OAAO,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,KAAK,MAAM,EAAE,CAAC;gCAC/G,gBAAgB,GAAG,IAAI,CAAC;gCACxB,OAAO;4BACT,CAAC;wBACH,CAAC;oBACH,CAAC;oBACD,IAAI,EAAE,CAAC,kBAAkB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC;wBACnF,IAAI,EAAE,CAAC,0BAA0B,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;4BAC3E,MAAM,MAAM,GAAG,oBAAoB,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;4BACpE,IAAI,MAAM,IAAI,MAAM,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;gCAC9C,gBAAgB,GAAG,IAAI,CAAC;gCACxB,OAAO;4BACT,CAAC;wBACH,CAAC;oBACH,CAAC;oBACD,CAAC,CAAC,YAAY,CAAC,aAAa,CAAC,CAAC;gBAChC,CAAC;gBAED,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,EAAE,CAAC,EAAE,EAAE,CAAC;oBACnC,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;oBACvB,IAAI,CAAC,KAAK;wBAAE,SAAS;oBACrB,IAAI,EAAE,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,yBAAyB,CAAC,KAAK,CAAC,aAAa,EAAE,EAAE,CAAC,EAAE,CAAC;wBAClF,IAAI,mBAAmB,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE,CAAC;4BAC1C,QAAQ,GAAG,CAAC,CAAC;4BACb,aAAa,GAAG,qBAAqB,KAAK,CAAC,UAAU,CAAC,OAAO,EAAE,yDAAyD,eAAe,IAAI,CAAC;4BAC5I,MAAM;wBACR,CAAC;oBACH,CAAC;gBACH,CAAC;gBAED,IAAI,QAAQ,KAAK,CAAC,CAAC,EAAE,CAAC;oBACpB,KAAK,IAAI,CAAC,GAAG,QAAQ,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,EAAE,CAAC,EAAE,EAAE,CAAC;wBAC9C,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;wBACzB,IAAI,OAAO;4BAAE,aAAa,CAAC,OAAO,CAAC,CAAC;oBACtC,CAAC;oBACD,IAAI,CAAC,gBAAgB,EAAE,CAAC;wBACtB,SAAS,GAAG,IAAI,CAAC;wBACjB,MAAM;oBACR,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QACD,IAAI,SAAS;YAAE,MAAM;QACrB,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC;IACrB,CAAC;IAED,IAAI,SAAS,EAAE,CAAC;QACd,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,QAAQ,EAAE,aAAa,EAAE,CAAC;IACtD,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,OAAO,EACL,uBAAuB,EACvB,4BAA4B,GAC7B,CAAC"}

package/dist/analysis/{controlFlow.d.ts → controlFlowGuards.d.ts}

@@ -1,15 +1,7 @@
 import type * as tsType from "typescript";
-export interface GuardCheckResult {
-    readonly isGuarded: boolean;
-    readonly evidence?: string | undefined;
-}
 /**
  * Checks if a statement definitely exits control flow (return, throw, break, continue).
  */
 export declare function statementExitsControlFlow(stmt: tsType.Statement, ts: typeof tsType): boolean;
 export declare function hasVariableReassignment(node: tsType.Node, targetName: string, targetSymbol: tsType.Symbol | undefined, ts: typeof tsType, checker?: tsType.TypeChecker | undefined, beforePos?: number, afterPos?: number): boolean;
-/**
- * Checks if a non-null assertion operand is guarded against null/undefined or out-of-bounds access.
- */
-export declare function isGuardedNonNullAssertion(node: tsType.NonNullExpression, ts: typeof tsType, checker?: tsType.TypeChecker | undefined): GuardCheckResult;
-//# sourceMappingURL=controlFlow.d.ts.map
+//# sourceMappingURL=controlFlowGuards.d.ts.map