sourceverity 1.0.2 → 1.0.4

package/dist/analysis/controlFlowGuards.js

@@ -0,0 +1,119 @@
+import { unwrapExpression } from "./values.js";
+/**
+ * Checks if a statement definitely exits control flow (return, throw, break, continue).
+ */
+export function statementExitsControlFlow(stmt, ts) {
+    if (ts.isReturnStatement(stmt) ||
+        ts.isThrowStatement(stmt) ||
+        ts.isBreakStatement(stmt) ||
+        ts.isContinueStatement(stmt)) {
+        return true;
+    }
+    if (ts.isBlock(stmt)) {
+        const stmts = stmt.statements;
+        if (stmts.length === 0)
+            return false;
+        const last = stmts[stmts.length - 1];
+        return last !== undefined && statementExitsControlFlow(last, ts);
+    }
+    return false;
+}
+function isAssignmentOperator(kind, ts) {
+    return (kind === ts.SyntaxKind.EqualsToken ||
+        kind === ts.SyntaxKind.PlusEqualsToken ||
+        kind === ts.SyntaxKind.MinusEqualsToken ||
+        kind === ts.SyntaxKind.AsteriskEqualsToken ||
+        kind === ts.SyntaxKind.AsteriskAsteriskEqualsToken ||
+        kind === ts.SyntaxKind.SlashEqualsToken ||
+        kind === ts.SyntaxKind.PercentEqualsToken ||
+        kind === ts.SyntaxKind.LessThanLessThanEqualsToken ||
+        kind === ts.SyntaxKind.GreaterThanGreaterThanEqualsToken ||
+        kind === ts.SyntaxKind.GreaterThanGreaterThanGreaterThanEqualsToken ||
+        kind === ts.SyntaxKind.AmpersandEqualsToken ||
+        kind === ts.SyntaxKind.BarEqualsToken ||
+        kind === ts.SyntaxKind.CaretEqualsToken ||
+        kind === ts.SyntaxKind.BarBarEqualsToken ||
+        kind === ts.SyntaxKind.AmpersandAmpersandEqualsToken ||
+        kind === ts.SyntaxKind.QuestionQuestionEqualsToken);
+}
+export function hasVariableReassignment(node, targetName, targetSymbol, ts, checker, beforePos, afterPos) {
+    let reassigned = false;
+    function checkTargetMatch(ident) {
+        if (checker && targetSymbol) {
+            let sym = checker.getSymbolAtLocation(ident);
+            if (sym && (sym.flags & ts.SymbolFlags.Alias) !== 0) {
+                try {
+                    sym = checker.getAliasedSymbol(sym);
+                }
+                catch {
+                    // ignore
+                }
+            }
+            if (sym) {
+                return sym === targetSymbol;
+            }
+        }
+        return targetSymbol === undefined && ident.text === targetName;
+    }
+    function checkLeftAssignment(leftExpr) {
+        const unwrapped = unwrapExpression(leftExpr, ts);
+        if (ts.isIdentifier(unwrapped)) {
+            return checkTargetMatch(unwrapped);
+        }
+        if (ts.isArrayLiteralExpression(unwrapped)) {
+            return unwrapped.elements.some((el) => {
+                if (ts.isOmittedExpression(el))
+                    return false;
+                if (ts.isSpreadElement(el)) {
+                    return checkLeftAssignment(el.expression);
+                }
+                return checkLeftAssignment(el);
+            });
+        }
+        if (ts.isObjectLiteralExpression(unwrapped)) {
+            return unwrapped.properties.some((prop) => {
+                if (ts.isShorthandPropertyAssignment(prop)) {
+                    return checkTargetMatch(prop.name);
+                }
+                if (ts.isPropertyAssignment(prop) && ts.isExpression(prop.initializer)) {
+                    return checkLeftAssignment(prop.initializer);
+                }
+                if (ts.isSpreadAssignment(prop)) {
+                    return checkLeftAssignment(prop.expression);
+                }
+                return false;
+            });
+        }
+        return false;
+    }
+    function walk(n) {
+        if (reassigned)
+            return;
+        const nStart = n.getStart();
+        const nEnd = n.getEnd();
+        if (beforePos !== undefined && nStart > beforePos)
+            return;
+        if (afterPos !== undefined && nEnd < afterPos)
+            return;
+        const inRange = (afterPos === undefined || nStart >= afterPos) && (beforePos === undefined || nStart <= beforePos);
+        if (inRange && ts.isBinaryExpression(n) && isAssignmentOperator(n.operatorToken.kind, ts)) {
+            if (checkLeftAssignment(n.left)) {
+                reassigned = true;
+                return;
+            }
+        }
+        if (inRange &&
+            (ts.isPrefixUnaryExpression(n) || ts.isPostfixUnaryExpression(n)) &&
+            (n.operator === ts.SyntaxKind.PlusPlusToken || n.operator === ts.SyntaxKind.MinusMinusToken)) {
+            const operand = unwrapExpression(n.operand, ts);
+            if (ts.isIdentifier(operand) && checkTargetMatch(operand)) {
+                reassigned = true;
+                return;
+            }
+        }
+        n.forEachChild(walk);
+    }
+    walk(node);
+    return reassigned;
+}
+//# sourceMappingURL=controlFlowGuards.js.map

package/dist/analysis/controlFlowGuards.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"controlFlowGuards.js","sourceRoot":"","sources":["../../src/analysis/controlFlowGuards.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAC;AAE/C;;GAEG;AACH,MAAM,UAAU,yBAAyB,CAAC,IAAsB,EAAE,EAAiB;IACjF,IACE,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC;QAC1B,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;QACzB,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;QACzB,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAC5B,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QACrB,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC;QAC9B,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,KAAK,CAAC;QACrC,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACrC,OAAO,IAAI,KAAK,SAAS,IAAI,yBAAyB,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IACnE,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,oBAAoB,CAAC,IAAuB,EAAE,EAAiB;IACtE,OAAO,CACL,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QAClC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,eAAe;QACtC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB;QACvC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,mBAAmB;QAC1C,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,2BAA2B;QAClD,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB;QACvC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,kBAAkB;QACzC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,2BAA2B;QAClD,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,iCAAiC;QACxD,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,4CAA4C;QACnE,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,oBAAoB;QAC3C,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,cAAc;QACrC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB;QACvC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,iBAAiB;QACxC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,6BAA6B;QACpD,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,2BAA2B,CACnD,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,uBAAuB,CACrC,IAAiB,EACjB,UAAkB,EAClB,YAAuC,EACvC,EAAiB,EACjB,OAAwC,EACxC,SAAkB,EAClB,QAAiB;IAEjB,IAAI,UAAU,GAAG,KAAK,CAAC;IAEvB,SAAS,gBAAgB,CAAC,KAAwB;QAChD,IAAI,OAAO,IAAI,YAAY,EAAE,CAAC;YAC5B,IAAI,GAAG,GAAG,OAAO,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAC;YAC7C,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,GAAG,EAAE,CAAC,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;gBACpD,IAAI,CAAC;oBACH,GAAG,GAAG,OAAO,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC;gBACtC,CAAC;gBAAC,MAAM,CAAC;oBACP,SAAS;gBACX,CAAC;YACH,CAAC;YACD,IAAI,GAAG,EAAE,CAAC;gBACR,OAAO,GAAG,KAAK,YAAY,CAAC;YAC9B,CAAC;QACH,CAAC;QACD,OAAO,YAAY,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,CAAC;IACjE,CAAC;IAED,SAAS,mBAAmB,CAAC,QAA2B;QACtD,MAAM,SAAS,GAAG,gBAAgB,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;QACjD,IAAI,EAAE,CAAC,YAAY,CAAC,SAAS,CAAC,EAAE,CAAC;YAC/B,OAAO,gBAAgB,CAAC,SAAS,CAAC,CAAC;QACrC,CAAC;QACD,IAAI,EAAE,CAAC,wBAAwB,CAAC,SAAS,CAAC,EAAE,CAAC;YAC3C,OAAO,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE;gBACpC,IAAI,EAAE,CAAC,mBAAmB,CAAC,EAAE,CAAC;oBAAE,OAAO,KAAK,CAAC;gBAC7C,IAAI,EAAE,CAAC,eAAe,CAAC,EAAE,CAAC,EAAE,CAAC;oBAC3B,OAAO,mBAAmB,CAAC,EAAE,CAAC,UAAU,CAAC,CAAC;gBAC5C,CAAC;gBACD,OAAO,mBAAmB,CAAC,EAAE,CAAC,CAAC;YACjC,CAAC,CAAC,CAAC;QACL,CAAC;QACD,IAAI,EAAE,CAAC,yBAAyB,CAAC,SAAS,CAAC,EAAE,CAAC;YAC5C,OAAO,SAAS,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE;gBACxC,IAAI,EAAE,CAAC,6BAA6B,CAAC,IAAI,CAAC,EAAE,CAAC;oBAC3C,OAAO,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACrC,CAAC;gBACD,IAAI,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC;oBACvE,OAAO,mBAAmB,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;gBAC/C,CAAC;gBACD,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,EAAE,CAAC;oBAChC,OAAO,mBAAmB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;gBAC9C,CAAC;gBACD,OAAO,KAAK,CAAC;YACf,CAAC,CAAC,CAAC;QACL,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,SAAS,IAAI,CAAC,CAAc;QAC1B,IAAI,UAAU;YAAE,OAAO;QACvB,MAAM,MAAM,GAAG,CAAC,CAAC,QAAQ,EAAE,CAAC;QAC5B,MAAM,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC;QACxB,IAAI,SAAS,KAAK,SAAS,IAAI,MAAM,GAAG,SAAS;YAAE,OAAO;QAC1D,IAAI,QAAQ,KAAK,SAAS,IAAI,IAAI,GAAG,QAAQ;YAAE,OAAO;QAEtD,MAAM,OAAO,GAAG,CAAC,QAAQ,KAAK,SAAS,IAAI,MAAM,IAAI,QAAQ,CAAC,IAAI,CAAC,SAAS,KAAK,SAAS,IAAI,MAAM,IAAI,SAAS,CAAC,CAAC;QAEnH,IAAI,OAAO,IAAI,EAAE,CAAC,kBAAkB,CAAC,CAAC,CAAC,IAAI,oBAAoB,CAAC,CAAC,CAAC,aAAa,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC;YAC1F,IAAI,mBAAmB,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;gBAChC,UAAU,GAAG,IAAI,CAAC;gBAClB,OAAO;YACT,CAAC;QACH,CAAC;QAED,IACE,OAAO;YACP,CAAC,EAAE,CAAC,uBAAuB,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,wBAAwB,CAAC,CAAC,CAAC,CAAC;YACjE,CAAC,CAAC,CAAC,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa,IAAI,CAAC,CAAC,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,eAAe,CAAC,EAC5F,CAAC;YACD,MAAM,OAAO,GAAG,gBAAgB,CAAC,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;YAChD,IAAI,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,gBAAgB,CAAC,OAAO,CAAC,EAAE,CAAC;gBAC1D,UAAU,GAAG,IAAI,CAAC;gBAClB,OAAO;YACT,CAAC;QACH,CAAC;QAED,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;IACvB,CAAC;IAED,IAAI,CAAC,IAAI,CAAC,CAAC;IACX,OAAO,UAAU,CAAC;AACpB,CAAC"}

package/dist/analysis/controlFlowTypes.d.ts

@@ -0,0 +1,5 @@
+export interface GuardCheckResult {
+    readonly isGuarded: boolean;
+    readonly evidence?: string | undefined;
+}
+//# sourceMappingURL=controlFlowTypes.d.ts.map

package/dist/analysis/controlFlowTypes.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"controlFlowTypes.d.ts","sourceRoot":"","sources":["../../src/analysis/controlFlowTypes.ts"],"names":[],"mappings":"AAEA,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;IAC5B,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;CACxC"}

package/dist/analysis/controlFlowTypes.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=controlFlowTypes.js.map

package/dist/analysis/controlFlowTypes.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"controlFlowTypes.js","sourceRoot":"","sources":["../../src/analysis/controlFlowTypes.ts"],"names":[],"mappings":""}

package/dist/analysis/frameworks.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"frameworks.d.ts","sourceRoot":"","sources":["../../src/analysis/frameworks.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,MAAM,MAAM,YAAY,CAAC;AAG1C,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;IAC5B,QAAQ,CAAC,gBAAgB,CAAC,EAAE,OAAO,GAAG,SAAS,CAAC;IAChD,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;CACtC;AAyDD;;GAEG;AACH,wBAAgB,4BAA4B,CAC1C,QAAQ,EAAE,MAAM,CAAC,cAAc,EAC/B,EAAE,EAAE,OAAO,MAAM,EACjB,OAAO,CAAC,EAAE,MAAM,CAAC,WAAW,GAAG,SAAS,GACvC,uBAAuB,CAyNzB"}
+{"version":3,"file":"frameworks.d.ts","sourceRoot":"","sources":["../../src/analysis/frameworks.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,MAAM,MAAM,YAAY,CAAC;AAG1C,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;IAC5B,QAAQ,CAAC,gBAAgB,CAAC,EAAE,OAAO,GAAG,SAAS,CAAC;IAChD,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;CACtC;AAiGD;;GAEG;AACH,wBAAgB,4BAA4B,CAC1C,QAAQ,EAAE,MAAM,CAAC,cAAc,EAC/B,EAAE,EAAE,OAAO,MAAM,EACjB,OAAO,CAAC,EAAE,MAAM,CAAC,WAAW,GAAG,SAAS,GACvC,uBAAuB,CAgPzB"}

package/dist/analysis/frameworks.js

@@ -45,6 +45,38 @@ function isCallableArgument(arg, ts, checker) {
     }
     return false;
 }
+/**
+ * Determines whether a declaration originates from an authentic React Router / Remix package or import.
+ */
+function isReactRouterDeclaration(decl) {
+    const fileName = decl.getSourceFile().fileName.replace(/\\/g, "/");
+    if (fileName.includes("react-router/") ||
+        fileName.includes("react-router-dom/") ||
+        fileName.includes("@remix-run/router/") ||
+        fileName.includes("react-router-native/") ||
+        fileName.includes("@types/react-router/") ||
+        fileName.includes("@types/react-router-dom/")) {
+        return true;
+    }
+    let current = decl;
+    while (current) {
+        if ("moduleSpecifier" in current &&
+            current.moduleSpecifier &&
+            typeof current.moduleSpecifier === "object" &&
+            "text" in current.moduleSpecifier &&
+            typeof current.moduleSpecifier.text === "string") {
+            const mod = current.moduleSpecifier.text;
+            if (mod === "react-router" ||
+                mod === "react-router-dom" ||
+                mod === "@remix-run/router" ||
+                mod === "react-router-native") {
+                return true;
+            }
+        }
+        current = current.parent;
+    }
+    return false;
+}
 /**
  * Evaluates whether a CallExpression represents a verified, handled framework API call.
  */
@@ -77,11 +109,49 @@ export function evaluateFrameworkPromiseCall(callExpr, ts, checker) {
         }
     }
     const declarations = [...(targetSymbol?.getDeclarations() ?? [])];
+    // If target is a variable initialized by a function call (e.g. const goto = useNavigate()),
+    // also collect declarations from the initializer's callee symbol
+    if (targetSymbol?.valueDeclaration && ts.isVariableDeclaration(targetSymbol.valueDeclaration) && targetSymbol.valueDeclaration.initializer) {
+        const initExpr = unwrapExpression(targetSymbol.valueDeclaration.initializer, ts);
+        if (ts.isCallExpression(initExpr)) {
+            const initCallee = unwrapExpression(initExpr.expression, ts);
+            const initSym = checker.getSymbolAtLocation(initCallee);
+            let resolvedInitSym = initSym;
+            if (resolvedInitSym && (resolvedInitSym.flags & ts.SymbolFlags.Alias)) {
+                try {
+                    resolvedInitSym = checker.getAliasedSymbol(resolvedInitSym);
+                }
+                catch {
+                    // ignore
+                }
+            }
+            const initDecls = resolvedInitSym?.getDeclarations() ?? initSym?.getDeclarations();
+            if (initDecls) {
+                declarations.push(...initDecls);
+            }
+        }
+    }
     // Also collect declarations from the type of the callee/target (e.g. NavigateFunction)
     try {
         const typeAtLoc = checker.getTypeAtLocation(targetIdentifier);
-        const typeSymbol = typeAtLoc.getSymbol() ?? typeAtLoc.aliasSymbol;
-        if (typeSymbol) {
+        const typeSymbols = [];
+        const mainSym = typeAtLoc.getSymbol();
+        if (mainSym)
+            typeSymbols.push(mainSym);
+        const aliasSym = typeAtLoc.aliasSymbol;
+        if (aliasSym)
+            typeSymbols.push(aliasSym);
+        if (typeAtLoc.isUnion()) {
+            for (const member of typeAtLoc.types) {
+                const mSym = member.getSymbol();
+                if (mSym)
+                    typeSymbols.push(mSym);
+                const mAlias = member.aliasSymbol;
+                if (mAlias)
+                    typeSymbols.push(mAlias);
+            }
+        }
+        for (const typeSymbol of typeSymbols) {
             let resolvedTypeSymbol = typeSymbol;
             if (resolvedTypeSymbol.flags & ts.SymbolFlags.Alias) {
                 try {
@@ -91,12 +161,6 @@ export function evaluateFrameworkPromiseCall(callExpr, ts, checker) {
                     // ignore
                 }
             }
-            if (resolvedTypeSymbol?.name === "NavigateFunction") {
-                return {
-                    isHandled: true,
-                    reason: "React Router NavigateFunction optional navigation contract.",
-                };
-            }
             const typeDecls = resolvedTypeSymbol?.getDeclarations();
             if (typeDecls) {
                 declarations.push(...typeDecls);
@@ -134,30 +198,18 @@ export function evaluateFrameworkPromiseCall(callExpr, ts, checker) {
             }
         }
         // 2. i18next: i18n.init(...)
-        const isI18next = fileName.includes("i18next/") ||
-            fileName.includes("i18next") ||
-            (decl.parent &&
-                (ts.isInterfaceDeclaration(decl.parent) || ts.isTypeAliasDeclaration(decl.parent)) &&
-                /^(i18n|i18next|I18n|I18nInstance)$/i.test(decl.parent.name.text));
-        if (isI18next) {
-            if (methodName === "init") {
-                // i18next init has two callback signatures:
-                // 1. i18n.init(callback) -> 1 argument where arg[0] is callable
-                // 2. i18n.init(options, callback) -> 2 arguments where arg[1] is callable
-                const args = callExpr.arguments;
-                const hasCallback = (args.length === 1 && args[0] !== undefined && isCallableArgument(args[0], ts, checker)) ||
-                    (args.length >= 2 && args[1] !== undefined && isCallableArgument(args[1], ts, checker));
-                if (hasCallback) {
-                    return {
-                        isHandled: true,
-                        reason: "i18next init called with error/completion callback handler.",
-                    };
-                }
-                // Bare i18n.init(options) returns a Promise that can reject on init failure; must not be blanket-suppressed
+        const isI18next = fileName.includes("/node_modules/i18next/");
+        if (isI18next && methodName === "init") {
+            // i18next init has two callback signatures:
+            // 1. i18n.init(callback) -> 1 argument where arg[0] is callable
+            // 2. i18n.init(options, callback) -> 2 arguments where arg[1] is callable
+            const args = callExpr.arguments;
+            const hasCallback = (args.length === 1 && args[0] !== undefined && isCallableArgument(args[0], ts, checker)) ||
+                (args.length >= 2 && args[1] !== undefined && isCallableArgument(args[1], ts, checker));
+            if (hasCallback) {
                 return {
-                    isHandled: false,
-                    isKnownRejecting: true,
-                    reason: "i18next 'init' returns a Promise that rejects on initialization failure, which will escape unhandled if not caught.",
+                    isHandled: true,
+                    reason: "i18next init called with error/completion callback handler.",
                 };
             }
         }
@@ -173,10 +225,18 @@ export function evaluateFrameworkPromiseCall(callExpr, ts, checker) {
             }
         }
         // 4. React Router / Remix: NavigateFunction
-        if (fileName.includes("react-router/") ||
-            fileName.includes("react-router-dom/") ||
-            fileName.includes("@remix-run/router/")) {
-            if (methodName === "navigate" || targetSymbol.name === "NavigateFunction") {
+        if (isReactRouterDeclaration(decl)) {
+            const declNamed = decl;
+            const declName = declNamed.name?.text ?? "";
+            const isNavigateContract = declName === "NavigateFunction" ||
+                declName === "useNavigate" ||
+                declName === "navigate" ||
+                (ts.isInterfaceDeclaration(decl) && decl.name.text === "NavigateFunction") ||
+                (ts.isTypeAliasDeclaration(decl) && decl.name.text === "NavigateFunction") ||
+                (ts.isFunctionDeclaration(decl) && decl.name?.text === "useNavigate") ||
+                methodName === "navigate" ||
+                targetSymbol?.name === "NavigateFunction";
+            if (isNavigateContract) {
                 return {
                     isHandled: true,
                     reason: "React Router NavigateFunction optional navigation contract.",

package/dist/analysis/frameworks.js.map

@@ -1 +1 @@
-{"version":3,"file":"frameworks.js","sourceRoot":"","sources":["../../src/analysis/frameworks.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,gBAAgB,EAAE,oBAAoB,EAAE,MAAM,aAAa,CAAC;AAQrE;;GAEG;AACH,SAAS,qBAAqB,CAC5B,IAAkC,EAClC,EAAiB,EACjB,OAA2B;IAE3B,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,MAAM,SAAS,GAAG,gBAAgB,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QAC5C,IAAI,EAAE,CAAC,yBAAyB,CAAC,SAAS,CAAC,EAAE,CAAC;YAC5C,KAAK,MAAM,IAAI,IAAI,SAAS,CAAC,UAAU,EAAE,CAAC;gBACxC,IAAI,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,EAAE,CAAC;oBAClC,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;oBACrC,IAAI,QAAQ,KAAK,cAAc,EAAE,CAAC;wBAChC,MAAM,GAAG,GAAG,oBAAoB,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;wBAChE,IAAI,GAAG,CAAC,QAAQ,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS,IAAI,GAAG,CAAC,KAAK,KAAK,IAAI,EAAE,CAAC;4BACjE,OAAO,IAAI,CAAC;wBACd,CAAC;wBACD,IAAI,IAAI,CAAC,WAAW,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC;4BACxD,OAAO,IAAI,CAAC;wBACd,CAAC;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;GAEG;AACH,SAAS,kBAAkB,CACzB,GAAsB,EACtB,EAAiB,EACjB,OAAwC;IAExC,MAAM,SAAS,GAAG,gBAAgB,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;IAC5C,IAAI,EAAE,CAAC,eAAe,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,SAAS,CAAC,EAAE,CAAC;QACxE,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,OAAO,EAAE,CAAC;QACZ,IAAI,CAAC;YACH,MAAM,IAAI,GAAG,OAAO,CAAC,iBAAiB,CAAC,SAAS,CAAC,CAAC;YAClD,IAAI,IAAI,CAAC,iBAAiB,EAAE,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACxC,OAAO,IAAI,CAAC;YACd,CAAC;QACH,CAAC;QAAC,MAAM,CAAC;YACP,SAAS;QACX,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,4BAA4B,CAC1C,QAA+B,EAC/B,EAAiB,EACjB,OAAwC;IAExC,IAAI,CAAC,OAAO;QAAE,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC;IAE1C,MAAM,MAAM,GAAG,gBAAgB,CAAC,QAAQ,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;IACzD,IAAI,gBAAyC,CAAC;IAC9C,IAAI,UAAU,GAAG,EAAE,CAAC;IAEpB,IAAI,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC,EAAE,CAAC;QAC1C,gBAAgB,GAAG,MAAM,CAAC,IAAI,CAAC;QAC/B,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;IAChC,CAAC;SAAM,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,CAAC;QACnC,gBAAgB,GAAG,MAAM,CAAC;QAC1B,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC;IAC3B,CAAC;IAED,IAAI,CAAC,gBAAgB;QAAE,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC;IAEnD,MAAM,MAAM,GAAG,OAAO,CAAC,mBAAmB,CAAC,gBAAgB,CAAC,CAAC;IAC7D,IAAI,CAAC,MAAM;QAAE,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC;IAEzC,IAAI,YAAY,GAA8B,MAAM,CAAC;IACrD,IAAI,YAAY,CAAC,KAAK,GAAG,EAAE,CAAC,WAAW,CAAC,KAAK,EAAE,CAAC;QAC9C,IAAI,CAAC;YACH,YAAY,GAAG,OAAO,CAAC,gBAAgB,CAAC,YAAY,CAAC,CAAC;QACxD,CAAC;QAAC,MAAM,CAAC;YACP,SAAS;QACX,CAAC;IACH,CAAC;IAED,MAAM,YAAY,GAAG,CAAC,GAAG,CAAC,YAAY,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;IAElE,uFAAuF;IACvF,IAAI,CAAC;QACH,MAAM,SAAS,GAAG,OAAO,CAAC,iBAAiB,CAAC,gBAAgB,CAAC,CAAC;QAC9D,MAAM,UAAU,GAAG,SAAS,CAAC,SAAS,EAAE,IAAI,SAAS,CAAC,WAAW,CAAC;QAClE,IAAI,UAAU,EAAE,CAAC;YACf,IAAI,kBAAkB,GAA8B,UAAU,CAAC;YAC/D,IAAI,kBAAkB,CAAC,KAAK,GAAG,EAAE,CAAC,WAAW,CAAC,KAAK,EAAE,CAAC;gBACpD,IAAI,CAAC;oBACH,kBAAkB,GAAG,OAAO,CAAC,gBAAgB,CAAC,kBAAkB,CAAC,CAAC;gBACpE,CAAC;gBAAC,MAAM,CAAC;oBACP,SAAS;gBACX,CAAC;YACH,CAAC;YACD,IAAI,kBAAkB,EAAE,IAAI,KAAK,kBAAkB,EAAE,CAAC;gBACpD,OAAO;oBACL,SAAS,EAAE,IAAI;oBACf,MAAM,EAAE,6DAA6D;iBACtE,CAAC;YACJ,CAAC;YACD,MAAM,SAAS,GAAG,kBAAkB,EAAE,eAAe,EAAE,CAAC;YACxD,IAAI,SAAS,EAAE,CAAC;gBACd,YAAY,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,CAAC;YAClC,CAAC;QACH,CAAC;IACH,CAAC;IAAC,MAAM,CAAC;QACP,SAAS;IACX,CAAC;IAED,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC;IAE3D,KAAK,MAAM,IAAI,IAAI,YAAY,EAAE,CAAC;QAChC,MAAM,QAAQ,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QAEnE,iHAAiH;QACjH,IACE,QAAQ,CAAC,QAAQ,CAAC,sBAAsB,CAAC;YACzC,QAAQ,CAAC,QAAQ,CAAC,uBAAuB,CAAC;YAC1C,QAAQ,CAAC,QAAQ,CAAC,cAAc,CAAC,EACjC,CAAC;YACD,IACE,UAAU,KAAK,mBAAmB;gBAClC,UAAU,KAAK,cAAc;gBAC7B,UAAU,KAAK,eAAe;gBAC9B,UAAU,KAAK,eAAe;gBAC9B,UAAU,KAAK,gBAAgB;gBAC/B,UAAU,KAAK,cAAc,EAC7B,CAAC;gBACD,oGAAoG;gBACpG,IAAI,qBAAqB,CAAC,QAAQ,CAAC,SAAS,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,CAAC;oBAC3D,OAAO;wBACL,SAAS,EAAE,KAAK;wBAChB,MAAM,EAAE,6EAA6E;qBACtF,CAAC;gBACJ,CAAC;gBAED,OAAO;oBACL,SAAS,EAAE,IAAI;oBACf,MAAM,EAAE,kGAAkG;iBAC3G,CAAC;YACJ,CAAC;QACH,CAAC;QAED,6BAA6B;QAC7B,MAAM,SAAS,GACb,QAAQ,CAAC,QAAQ,CAAC,UAAU,CAAC;YAC7B,QAAQ,CAAC,QAAQ,CAAC,SAAS,CAAC;YAC5B,CAAC,IAAI,CAAC,MAAM;gBACV,CAAC,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;gBAClF,qCAAqC,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;QAEvE,IAAI,SAAS,EAAE,CAAC;YACd,IAAI,UAAU,KAAK,MAAM,EAAE,CAAC;gBAC1B,4CAA4C;gBAC5C,gEAAgE;gBAChE,0EAA0E;gBAC1E,MAAM,IAAI,GAAG,QAAQ,CAAC,SAAS,CAAC;gBAChC,MAAM,WAAW,GACf,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,SAAS,IAAI,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;oBACxF,CAAC,IAAI,CAAC,MAAM,IAAI,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,SAAS,IAAI,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC,CAAC;gBAE1F,IAAI,WAAW,EAAE,CAAC;oBAChB,OAAO;wBACL,SAAS,EAAE,IAAI;wBACf,MAAM,EAAE,6DAA6D;qBACtE,CAAC;gBACJ,CAAC;gBACD,4GAA4G;gBAC5G,OAAO;oBACL,SAAS,EAAE,KAAK;oBAChB,gBAAgB,EAAE,IAAI;oBACtB,MAAM,EAAE,qHAAqH;iBAC9H,CAAC;YACJ,CAAC;QACH,CAAC;QAED,+EAA+E;QAC/E,IAAI,QAAQ,CAAC,QAAQ,CAAC,kBAAkB,CAAC,EAAE,CAAC;YAC1C,IACE,UAAU,KAAK,UAAU;gBACzB,UAAU,KAAK,QAAQ;gBACvB,YAAY,CAAC,IAAI,KAAK,eAAe,EACrC,CAAC;gBACD,OAAO;oBACL,SAAS,EAAE,IAAI;oBACf,MAAM,EAAE,oFAAoF;iBAC7F,CAAC;YACJ,CAAC;QACH,CAAC;QAED,4CAA4C;QAC5C,IACE,QAAQ,CAAC,QAAQ,CAAC,eAAe,CAAC;YAClC,QAAQ,CAAC,QAAQ,CAAC,mBAAmB,CAAC;YACtC,QAAQ,CAAC,QAAQ,CAAC,oBAAoB,CAAC,EACvC,CAAC;YACD,IAAI,UAAU,KAAK,UAAU,IAAI,YAAY,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;gBAC1E,OAAO;oBACL,SAAS,EAAE,IAAI;oBACf,MAAM,EAAE,6DAA6D;iBACtE,CAAC;YACJ,CAAC;QACH,CAAC;QACD,IACE,QAAQ,CAAC,QAAQ,CAAC,WAAW,CAAC;YAC9B,QAAQ,CAAC,QAAQ,CAAC,uBAAuB,CAAC;YAC1C,QAAQ,CAAC,QAAQ,CAAC,gBAAgB,CAAC;YACnC,QAAQ,CAAC,QAAQ,CAAC,qCAAqC,CAAC,EACxD,CAAC;YACD,IACE,UAAU,KAAK,MAAM;gBACrB,UAAU,KAAK,UAAU;gBACzB,UAAU,KAAK,IAAI;gBACnB,UAAU,KAAK,OAAO;gBACtB,UAAU,KAAK,QAAQ;gBACvB,UAAU,KAAK,OAAO;gBACtB,UAAU,KAAK,YAAY;gBAC3B,UAAU,KAAK,WAAW;gBAC1B,UAAU,KAAK,MAAM;gBACrB,UAAU,KAAK,MAAM;gBACrB,UAAU,KAAK,MAAM;gBACrB,YAAY,CAAC,IAAI,KAAK,MAAM;gBAC5B,YAAY,CAAC,IAAI,KAAK,UAAU;gBAChC,YAAY,CAAC,IAAI,KAAK,OAAO;gBAC7B,YAAY,CAAC,IAAI,KAAK,IAAI;gBAC1B,YAAY,CAAC,IAAI,KAAK,QAAQ;gBAC9B,YAAY,CAAC,IAAI,KAAK,SAAS,EAC/B,CAAC;gBACD,OAAO;oBACL,SAAS,EAAE,IAAI;oBACf,MAAM,EAAE,2GAA2G;iBACpH,CAAC;YACJ,CAAC;QACH,CAAC;QAED,kEAAkE;QAClE,IACE,QAAQ,CAAC,QAAQ,CAAC,UAAU,CAAC;YAC7B,QAAQ,CAAC,QAAQ,CAAC,uBAAuB,CAAC,EAC1C,CAAC;YACD,IACE,UAAU,KAAK,SAAS;gBACxB,UAAU,KAAK,aAAa;gBAC5B,UAAU,KAAK,gBAAgB;gBAC/B,UAAU,KAAK,MAAM;gBACrB,UAAU,KAAK,OAAO;gBACtB,UAAU,KAAK,SAAS;gBACxB,UAAU,KAAK,QAAQ;gBACvB,UAAU,KAAK,MAAM;gBACrB,UAAU,KAAK,QAAQ;gBACvB,UAAU,KAAK,SAAS;gBACxB,UAAU,KAAK,SAAS;gBACxB,YAAY,CAAC,IAAI,KAAK,SAAS;gBAC/B,YAAY,CAAC,IAAI,KAAK,aAAa;gBACnC,YAAY,CAAC,IAAI,KAAK,aAAa;gBACnC,YAAY,CAAC,IAAI,KAAK,OAAO;gBAC7B,YAAY,CAAC,IAAI,KAAK,UAAU,EAChC,CAAC;gBACD,OAAO;oBACL,SAAS,EAAE,IAAI;oBACf,MAAM,EAAE,iHAAiH;iBAC1H,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC;AAC9B,CAAC"}
+{"version":3,"file":"frameworks.js","sourceRoot":"","sources":["../../src/analysis/frameworks.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,gBAAgB,EAAE,oBAAoB,EAAE,MAAM,aAAa,CAAC;AAQrE;;GAEG;AACH,SAAS,qBAAqB,CAC5B,IAAkC,EAClC,EAAiB,EACjB,OAA2B;IAE3B,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,MAAM,SAAS,GAAG,gBAAgB,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QAC5C,IAAI,EAAE,CAAC,yBAAyB,CAAC,SAAS,CAAC,EAAE,CAAC;YAC5C,KAAK,MAAM,IAAI,IAAI,SAAS,CAAC,UAAU,EAAE,CAAC;gBACxC,IAAI,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,EAAE,CAAC;oBAClC,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;oBACrC,IAAI,QAAQ,KAAK,cAAc,EAAE,CAAC;wBAChC,MAAM,GAAG,GAAG,oBAAoB,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;wBAChE,IAAI,GAAG,CAAC,QAAQ,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS,IAAI,GAAG,CAAC,KAAK,KAAK,IAAI,EAAE,CAAC;4BACjE,OAAO,IAAI,CAAC;wBACd,CAAC;wBACD,IAAI,IAAI,CAAC,WAAW,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC;4BACxD,OAAO,IAAI,CAAC;wBACd,CAAC;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;GAEG;AACH,SAAS,kBAAkB,CACzB,GAAsB,EACtB,EAAiB,EACjB,OAAwC;IAExC,MAAM,SAAS,GAAG,gBAAgB,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;IAC5C,IAAI,EAAE,CAAC,eAAe,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,SAAS,CAAC,EAAE,CAAC;QACxE,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,OAAO,EAAE,CAAC;QACZ,IAAI,CAAC;YACH,MAAM,IAAI,GAAG,OAAO,CAAC,iBAAiB,CAAC,SAAS,CAAC,CAAC;YAClD,IAAI,IAAI,CAAC,iBAAiB,EAAE,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACxC,OAAO,IAAI,CAAC;YACd,CAAC;QACH,CAAC;QAAC,MAAM,CAAC;YACP,SAAS;QACX,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AACD;;GAEG;AACH,SAAS,wBAAwB,CAAC,IAAwB;IACxD,MAAM,QAAQ,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IACnE,IACE,QAAQ,CAAC,QAAQ,CAAC,eAAe,CAAC;QAClC,QAAQ,CAAC,QAAQ,CAAC,mBAAmB,CAAC;QACtC,QAAQ,CAAC,QAAQ,CAAC,oBAAoB,CAAC;QACvC,QAAQ,CAAC,QAAQ,CAAC,sBAAsB,CAAC;QACzC,QAAQ,CAAC,QAAQ,CAAC,sBAAsB,CAAC;QACzC,QAAQ,CAAC,QAAQ,CAAC,0BAA0B,CAAC,EAC7C,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI,OAAO,GAA4B,IAAI,CAAC;IAC5C,OAAO,OAAO,EAAE,CAAC;QACf,IACE,iBAAiB,IAAI,OAAO;YAC5B,OAAO,CAAC,eAAe;YACvB,OAAO,OAAO,CAAC,eAAe,KAAK,QAAQ;YAC3C,MAAM,IAAI,OAAO,CAAC,eAAe;YACjC,OAAO,OAAO,CAAC,eAAe,CAAC,IAAI,KAAK,QAAQ,EAChD,CAAC;YACD,MAAM,GAAG,GAAG,OAAO,CAAC,eAAe,CAAC,IAAI,CAAC;YACzC,IACE,GAAG,KAAK,cAAc;gBACtB,GAAG,KAAK,kBAAkB;gBAC1B,GAAG,KAAK,mBAAmB;gBAC3B,GAAG,KAAK,qBAAqB,EAC7B,CAAC;gBACD,OAAO,IAAI,CAAC;YACd,CAAC;QACH,CAAC;QACD,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC;IAC3B,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAGD;;GAEG;AACH,MAAM,UAAU,4BAA4B,CAC1C,QAA+B,EAC/B,EAAiB,EACjB,OAAwC;IAExC,IAAI,CAAC,OAAO;QAAE,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC;IAE1C,MAAM,MAAM,GAAG,gBAAgB,CAAC,QAAQ,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;IACzD,IAAI,gBAAyC,CAAC;IAC9C,IAAI,UAAU,GAAG,EAAE,CAAC;IAEpB,IAAI,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC,EAAE,CAAC;QAC1C,gBAAgB,GAAG,MAAM,CAAC,IAAI,CAAC;QAC/B,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;IAChC,CAAC;SAAM,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,CAAC;QACnC,gBAAgB,GAAG,MAAM,CAAC;QAC1B,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC;IAC3B,CAAC;IAED,IAAI,CAAC,gBAAgB;QAAE,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC;IAEnD,MAAM,MAAM,GAAG,OAAO,CAAC,mBAAmB,CAAC,gBAAgB,CAAC,CAAC;IAC7D,IAAI,CAAC,MAAM;QAAE,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC;IAEzC,IAAI,YAAY,GAA8B,MAAM,CAAC;IACrD,IAAI,YAAY,CAAC,KAAK,GAAG,EAAE,CAAC,WAAW,CAAC,KAAK,EAAE,CAAC;QAC9C,IAAI,CAAC;YACH,YAAY,GAAG,OAAO,CAAC,gBAAgB,CAAC,YAAY,CAAC,CAAC;QACxD,CAAC;QAAC,MAAM,CAAC;YACP,SAAS;QACX,CAAC;IACH,CAAC;IAED,MAAM,YAAY,GAAG,CAAC,GAAG,CAAC,YAAY,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;IAElE,4FAA4F;IAC5F,iEAAiE;IACjE,IAAI,YAAY,EAAE,gBAAgB,IAAI,EAAE,CAAC,qBAAqB,CAAC,YAAY,CAAC,gBAAgB,CAAC,IAAI,YAAY,CAAC,gBAAgB,CAAC,WAAW,EAAE,CAAC;QAC3I,MAAM,QAAQ,GAAG,gBAAgB,CAAC,YAAY,CAAC,gBAAgB,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;QACjF,IAAI,EAAE,CAAC,gBAAgB,CAAC,QAAQ,CAAC,EAAE,CAAC;YAClC,MAAM,UAAU,GAAG,gBAAgB,CAAC,QAAQ,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;YAC7D,MAAM,OAAO,GAAG,OAAO,CAAC,mBAAmB,CAAC,UAAU,CAAC,CAAC;YACxD,IAAI,eAAe,GAAG,OAAO,CAAC;YAC9B,IAAI,eAAe,IAAI,CAAC,eAAe,CAAC,KAAK,GAAG,EAAE,CAAC,WAAW,CAAC,KAAK,CAAC,EAAE,CAAC;gBACtE,IAAI,CAAC;oBACH,eAAe,GAAG,OAAO,CAAC,gBAAgB,CAAC,eAAe,CAAC,CAAC;gBAC9D,CAAC;gBAAC,MAAM,CAAC;oBACP,SAAS;gBACX,CAAC;YACH,CAAC;YACD,MAAM,SAAS,GAAG,eAAe,EAAE,eAAe,EAAE,IAAI,OAAO,EAAE,eAAe,EAAE,CAAC;YACnF,IAAI,SAAS,EAAE,CAAC;gBACd,YAAY,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,CAAC;YAClC,CAAC;QACH,CAAC;IACH,CAAC;IAED,uFAAuF;IACvF,IAAI,CAAC;QACH,MAAM,SAAS,GAAG,OAAO,CAAC,iBAAiB,CAAC,gBAAgB,CAAC,CAAC;QAC9D,MAAM,WAAW,GAAoB,EAAE,CAAC;QACxC,MAAM,OAAO,GAAG,SAAS,CAAC,SAAS,EAAE,CAAC;QACtC,IAAI,OAAO;YAAE,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACvC,MAAM,QAAQ,GAAG,SAAS,CAAC,WAAW,CAAC;QACvC,IAAI,QAAQ;YAAE,WAAW,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACzC,IAAI,SAAS,CAAC,OAAO,EAAE,EAAE,CAAC;YACxB,KAAK,MAAM,MAAM,IAAI,SAAS,CAAC,KAAK,EAAE,CAAC;gBACrC,MAAM,IAAI,GAAG,MAAM,CAAC,SAAS,EAAE,CAAC;gBAChC,IAAI,IAAI;oBAAE,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACjC,MAAM,MAAM,GAAG,MAAM,CAAC,WAAW,CAAC;gBAClC,IAAI,MAAM;oBAAE,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACvC,CAAC;QACH,CAAC;QACD,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE,CAAC;YACrC,IAAI,kBAAkB,GAA8B,UAAU,CAAC;YAC/D,IAAI,kBAAkB,CAAC,KAAK,GAAG,EAAE,CAAC,WAAW,CAAC,KAAK,EAAE,CAAC;gBACpD,IAAI,CAAC;oBACH,kBAAkB,GAAG,OAAO,CAAC,gBAAgB,CAAC,kBAAkB,CAAC,CAAC;gBACpE,CAAC;gBAAC,MAAM,CAAC;oBACP,SAAS;gBACX,CAAC;YACH,CAAC;YACD,MAAM,SAAS,GAAG,kBAAkB,EAAE,eAAe,EAAE,CAAC;YACxD,IAAI,SAAS,EAAE,CAAC;gBACd,YAAY,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,CAAC;YAClC,CAAC;QACH,CAAC;IACH,CAAC;IAAC,MAAM,CAAC;QACP,SAAS;IACX,CAAC;IAED,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC;IAE3D,KAAK,MAAM,IAAI,IAAI,YAAY,EAAE,CAAC;QAChC,MAAM,QAAQ,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QAEnE,iHAAiH;QACjH,IACE,QAAQ,CAAC,QAAQ,CAAC,sBAAsB,CAAC;YACzC,QAAQ,CAAC,QAAQ,CAAC,uBAAuB,CAAC;YAC1C,QAAQ,CAAC,QAAQ,CAAC,cAAc,CAAC,EACjC,CAAC;YACD,IACE,UAAU,KAAK,mBAAmB;gBAClC,UAAU,KAAK,cAAc;gBAC7B,UAAU,KAAK,eAAe;gBAC9B,UAAU,KAAK,eAAe;gBAC9B,UAAU,KAAK,gBAAgB;gBAC/B,UAAU,KAAK,cAAc,EAC7B,CAAC;gBACD,oGAAoG;gBACpG,IAAI,qBAAqB,CAAC,QAAQ,CAAC,SAAS,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,CAAC;oBAC3D,OAAO;wBACL,SAAS,EAAE,KAAK;wBAChB,MAAM,EAAE,6EAA6E;qBACtF,CAAC;gBACJ,CAAC;gBAED,OAAO;oBACL,SAAS,EAAE,IAAI;oBACf,MAAM,EAAE,kGAAkG;iBAC3G,CAAC;YACJ,CAAC;QACH,CAAC;QAED,6BAA6B;QAC7B,MAAM,SAAS,GAAG,QAAQ,CAAC,QAAQ,CAAC,wBAAwB,CAAC,CAAC;QAE9D,IAAI,SAAS,IAAI,UAAU,KAAK,MAAM,EAAE,CAAC;YACvC,4CAA4C;YAC5C,gEAAgE;YAChE,0EAA0E;YAC1E,MAAM,IAAI,GAAG,QAAQ,CAAC,SAAS,CAAC;YAChC,MAAM,WAAW,GACf,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,SAAS,IAAI,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;gBACxF,CAAC,IAAI,CAAC,MAAM,IAAI,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,SAAS,IAAI,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC,CAAC;YAE1F,IAAI,WAAW,EAAE,CAAC;gBAChB,OAAO;oBACL,SAAS,EAAE,IAAI;oBACf,MAAM,EAAE,6DAA6D;iBACtE,CAAC;YACJ,CAAC;QACH,CAAC;QAED,+EAA+E;QAC/E,IAAI,QAAQ,CAAC,QAAQ,CAAC,kBAAkB,CAAC,EAAE,CAAC;YAC1C,IACE,UAAU,KAAK,UAAU;gBACzB,UAAU,KAAK,QAAQ;gBACvB,YAAY,CAAC,IAAI,KAAK,eAAe,EACrC,CAAC;gBACD,OAAO;oBACL,SAAS,EAAE,IAAI;oBACf,MAAM,EAAE,oFAAoF;iBAC7F,CAAC;YACJ,CAAC;QACH,CAAC;QAED,4CAA4C;QAC5C,IAAI,wBAAwB,CAAC,IAAI,CAAC,EAAE,CAAC;YACnC,MAAM,SAAS,GAAG,IAAoC,CAAC;YACvD,MAAM,QAAQ,GAAG,SAAS,CAAC,IAAI,EAAE,IAAI,IAAI,EAAE,CAAC;YAC5C,MAAM,kBAAkB,GACtB,QAAQ,KAAK,kBAAkB;gBAC/B,QAAQ,KAAK,aAAa;gBAC1B,QAAQ,KAAK,UAAU;gBACvB,CAAC,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,kBAAkB,CAAC;gBAC1E,CAAC,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,kBAAkB,CAAC;gBAC1E,CAAC,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,EAAE,IAAI,KAAK,aAAa,CAAC;gBACrE,UAAU,KAAK,UAAU;gBACzB,YAAY,EAAE,IAAI,KAAK,kBAAkB,CAAC;YAE5C,IAAI,kBAAkB,EAAE,CAAC;gBACvB,OAAO;oBACL,SAAS,EAAE,IAAI;oBACf,MAAM,EAAE,6DAA6D;iBACtE,CAAC;YACJ,CAAC;QACH,CAAC;QACD,IACE,QAAQ,CAAC,QAAQ,CAAC,WAAW,CAAC;YAC9B,QAAQ,CAAC,QAAQ,CAAC,uBAAuB,CAAC;YAC1C,QAAQ,CAAC,QAAQ,CAAC,gBAAgB,CAAC;YACnC,QAAQ,CAAC,QAAQ,CAAC,qCAAqC,CAAC,EACxD,CAAC;YACD,IACE,UAAU,KAAK,MAAM;gBACrB,UAAU,KAAK,UAAU;gBACzB,UAAU,KAAK,IAAI;gBACnB,UAAU,KAAK,OAAO;gBACtB,UAAU,KAAK,QAAQ;gBACvB,UAAU,KAAK,OAAO;gBACtB,UAAU,KAAK,YAAY;gBAC3B,UAAU,KAAK,WAAW;gBAC1B,UAAU,KAAK,MAAM;gBACrB,UAAU,KAAK,MAAM;gBACrB,UAAU,KAAK,MAAM;gBACrB,YAAY,CAAC,IAAI,KAAK,MAAM;gBAC5B,YAAY,CAAC,IAAI,KAAK,UAAU;gBAChC,YAAY,CAAC,IAAI,KAAK,OAAO;gBAC7B,YAAY,CAAC,IAAI,KAAK,IAAI;gBAC1B,YAAY,CAAC,IAAI,KAAK,QAAQ;gBAC9B,YAAY,CAAC,IAAI,KAAK,SAAS,EAC/B,CAAC;gBACD,OAAO;oBACL,SAAS,EAAE,IAAI;oBACf,MAAM,EAAE,2GAA2G;iBACpH,CAAC;YACJ,CAAC;QACH,CAAC;QAED,kEAAkE;QAClE,IACE,QAAQ,CAAC,QAAQ,CAAC,UAAU,CAAC;YAC7B,QAAQ,CAAC,QAAQ,CAAC,uBAAuB,CAAC,EAC1C,CAAC;YACD,IACE,UAAU,KAAK,SAAS;gBACxB,UAAU,KAAK,aAAa;gBAC5B,UAAU,KAAK,gBAAgB;gBAC/B,UAAU,KAAK,MAAM;gBACrB,UAAU,KAAK,OAAO;gBACtB,UAAU,KAAK,SAAS;gBACxB,UAAU,KAAK,QAAQ;gBACvB,UAAU,KAAK,MAAM;gBACrB,UAAU,KAAK,QAAQ;gBACvB,UAAU,KAAK,SAAS;gBACxB,UAAU,KAAK,SAAS;gBACxB,YAAY,CAAC,IAAI,KAAK,SAAS;gBAC/B,YAAY,CAAC,IAAI,KAAK,aAAa;gBACnC,YAAY,CAAC,IAAI,KAAK,aAAa;gBACnC,YAAY,CAAC,IAAI,KAAK,OAAO;gBAC7B,YAAY,CAAC,IAAI,KAAK,UAAU,EAChC,CAAC;gBACD,OAAO;oBACL,SAAS,EAAE,IAAI;oBACf,MAAM,EAAE,iHAAiH;iBAC1H,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC;AAC9B,CAAC"}

package/dist/analysis/functions.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"functions.d.ts","sourceRoot":"","sources":["../../src/analysis/functions.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,MAAM,MAAM,YAAY,CAAC;AAI1C,MAAM,MAAM,eAAe,GACvB,0BAA0B,GAC1B,YAAY,GACZ,YAAY,GACZ,SAAS,CAAC;AAEd,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,GAAG,SAAS,CAAC;IAC5C,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,kBAAkB,EAAE,OAAO,CAAC;IACrC,QAAQ,CAAC,2BAA2B,EAAE,OAAO,CAAC;IAC9C,QAAQ,CAAC,eAAe,EAAE,eAAe,CAAC;IAC1C,QAAQ,CAAC,qBAAqB,EAAE,OAAO,CAAC;CACzC;AAED;;GAEG;AACH,qBAAa,sBAAsB;IAK/B,QAAQ,CAAC,EAAE,EAAE,OAAO,MAAM;IAC1B,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,WAAW,GAAG,SAAS;IALnD,OAAO,CAAC,QAAQ,CAAC,KAAK,CAA2C;IACjE,OAAO,CAAC,QAAQ,CAAC,UAAU,CAA0B;gBAG1C,EAAE,EAAE,OAAO,MAAM,EACjB,OAAO,CAAC,EAAE,MAAM,CAAC,WAAW,GAAG,SAAS;IAGnD,UAAU,CAAC,QAAQ,EAAE,MAAM,CAAC,IAAI,GAAG,eAAe;CAwBnD;AAoiBD;;GAEG;AACH,wBAAgB,kBAAkB,CAChC,QAAQ,EAAE,MAAM,CAAC,IAAI,EACrB,EAAE,EAAE,OAAO,MAAM,EACjB,OAAO,CAAC,EAAE,MAAM,CAAC,WAAW,GAAG,SAAS,EACxC,OAAO,CAAC,EAAE,sBAAsB,GAAG,SAAS,GAC3C,eAAe,CAgBjB;AAwCD,wBAAgB,wCAAwC,CACtD,QAAQ,EAAE,MAAM,CAAC,cAAc,EAC/B,EAAE,EAAE,OAAO,MAAM,EACjB,OAAO,CAAC,EAAE,MAAM,CAAC,WAAW,GAAG,SAAS,GACvC,MAAM,CAAC,IAAI,GAAG,SAAS,CAgBzB"}
+{"version":3,"file":"functions.d.ts","sourceRoot":"","sources":["../../src/analysis/functions.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,MAAM,MAAM,YAAY,CAAC;AAS1C,MAAM,MAAM,eAAe,GACvB,0BAA0B,GAC1B,YAAY,GACZ,YAAY,GACZ,SAAS,CAAC;AAEd,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,GAAG,SAAS,CAAC;IAC5C,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,kBAAkB,EAAE,OAAO,CAAC;IACrC,QAAQ,CAAC,2BAA2B,EAAE,OAAO,CAAC;IAC9C,QAAQ,CAAC,eAAe,EAAE,eAAe,CAAC;IAC1C,QAAQ,CAAC,qBAAqB,EAAE,OAAO,CAAC;CACzC;AAED;;GAEG;AACH,qBAAa,sBAAsB;IAK/B,QAAQ,CAAC,EAAE,EAAE,OAAO,MAAM;IAC1B,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,WAAW,GAAG,SAAS;IALnD,OAAO,CAAC,QAAQ,CAAC,KAAK,CAA2C;IACjE,OAAO,CAAC,QAAQ,CAAC,UAAU,CAA0B;gBAG1C,EAAE,EAAE,OAAO,MAAM,EACjB,OAAO,CAAC,EAAE,MAAM,CAAC,WAAW,GAAG,SAAS;IAGnD,UAAU,CAAC,QAAQ,EAAE,MAAM,CAAC,IAAI,GAAG,eAAe;CAwBnD;AAioBD;;GAEG;AACH,wBAAgB,kBAAkB,CAChC,QAAQ,EAAE,MAAM,CAAC,IAAI,EACrB,EAAE,EAAE,OAAO,MAAM,EACjB,OAAO,CAAC,EAAE,MAAM,CAAC,WAAW,GAAG,SAAS,EACxC,OAAO,CAAC,EAAE,sBAAsB,GAAG,SAAS,GAC3C,eAAe,CAgBjB;AA2CD,wBAAgB,wCAAwC,CACtD,QAAQ,EAAE,MAAM,CAAC,cAAc,EAC/B,EAAE,EAAE,OAAO,MAAM,EACjB,OAAO,CAAC,EAAE,MAAM,CAAC,WAAW,GAAG,SAAS,GACvC,MAAM,CAAC,IAAI,GAAG,SAAS,CAgBzB"}

package/dist/analysis/functions.js

@@ -1,4 +1,4 @@
-import { isPromiseLike } from "../engine/symbols.js";
+import { isDOMAbortController, isDOMGlobal, isPromiseLike, resolveReactHook, } from "../engine/symbols.js";
 import { unwrapExpression } from "./values.js";
 import { evaluateFrameworkPromiseCall } from "./frameworks.js";
 /**
@@ -93,38 +93,54 @@ function containsAwaitOrThrow(node, ts, context) {
     return found;
 }
 /**
- * Checks if a call expression is a known, non-throwing logging or lifecycle utility.
- * e.g. console.log/error/warn/info/debug/trace, clearTimeout, clearInterval, clearImmediate,
- * standard AbortController.abort(), or standard React state setters (set[A-Z]...).
+ * Checks whether an identifier is the second element returned by React useState.
  */
-function isKnownSafeSynchronousCall(callExpr, ts) {
+function isReactStateSetter(identifier, ts, checker) {
+    if (!checker)
+        return false;
+    const symbol = checker.getSymbolAtLocation(identifier);
+    const declaration = symbol?.valueDeclaration ?? symbol?.declarations?.[0];
+    if (!declaration || !ts.isBindingElement(declaration))
+        return false;
+    const bindingPattern = declaration.parent;
+    const variableDeclaration = bindingPattern.parent;
+    if (!ts.isArrayBindingPattern(bindingPattern) ||
+        bindingPattern.elements[1] !== declaration ||
+        !ts.isVariableDeclaration(variableDeclaration) ||
+        !variableDeclaration.initializer) {
+        return false;
+    }
+    const initializer = unwrapExpression(variableDeclaration.initializer, ts);
+    return ts.isCallExpression(initializer) && resolveReactHook(initializer, checker, "useState");
+}
+/**
+ * Checks whether a call is resolved to a known non-throwing standard or React API.
+ */
+function isKnownSafeSynchronousCall(callExpr, ts, checker) {
+    if (!checker)
+        return false;
     const callee = unwrapExpression(callExpr.expression, ts);
-    // 1. Standard console logging methods: console.log / console.error / console.warn / console.info / console.debug / console.trace
     if (ts.isPropertyAccessExpression(callee)) {
-        const obj = unwrapExpression(callee.expression, ts);
-        if (ts.isIdentifier(obj)) {
-            if (obj.text === "console") {
-                return true;
-            }
-            if (obj.text === "abortController" || obj.text === "controller") {
-                if (callee.name.text === "abort")
-                    return true;
-            }
-        }
-    }
-    // 2. Standard timer and dispatch utilities: clearTimeout, clearInterval, clearImmediate
-    if (ts.isIdentifier(callee)) {
-        if (callee.text === "clearTimeout" ||
-            callee.text === "clearInterval" ||
-            callee.text === "clearImmediate") {
-            return true;
-        }
-        // React state setters: setFoo(false), setScanning(false)
-        if (/^set[A-Z]/.test(callee.text)) {
+        const object = unwrapExpression(callee.expression, ts);
+        if (ts.isIdentifier(object) &&
+            isDOMGlobal(object, checker, "console") &&
+            (callee.name.text === "log" ||
+                callee.name.text === "error" ||
+                callee.name.text === "warn" ||
+                callee.name.text === "info" ||
+                callee.name.text === "debug" ||
+                callee.name.text === "trace")) {
             return true;
         }
+        return callee.name.text === "abort" && isDOMAbortController(object, checker, ts);
     }
-    return false;
+    if (!ts.isIdentifier(callee))
+        return false;
+    if ((callee.text === "clearTimeout" || callee.text === "clearInterval") &&
+        isDOMGlobal(callee, checker, callee.text)) {
+        return true;
+    }
+    return isReactStateSetter(callee, ts, checker);
 }
 /**
  * Checks if an expression is proven non-throwing.
@@ -141,6 +157,32 @@ function isProvenNonThrowingExpression(expr, ts, checker) {
         unwrapped.kind === ts.SyntaxKind.UndefinedKeyword) {
         return true;
     }
+    if (ts.isArrowFunction(unwrapped) || ts.isFunctionExpression(unwrapped)) {
+        return true;
+    }
+    if (ts.isArrayLiteralExpression(unwrapped)) {
+        return unwrapped.elements.every((el) => {
+            if (ts.isOmittedExpression(el))
+                return true;
+            if (ts.isSpreadElement(el))
+                return isProvenNonThrowingExpression(el.expression, ts, checker);
+            return isProvenNonThrowingExpression(el, ts, checker);
+        });
+    }
+    if (ts.isObjectLiteralExpression(unwrapped)) {
+        return unwrapped.properties.every((prop) => {
+            if (ts.isPropertyAssignment(prop) && ts.isExpression(prop.initializer)) {
+                return isProvenNonThrowingExpression(prop.initializer, ts, checker);
+            }
+            if (ts.isShorthandPropertyAssignment(prop)) {
+                return isProvenNonThrowingExpression(prop.name, ts, checker);
+            }
+            if (ts.isSpreadAssignment(prop)) {
+                return isProvenNonThrowingExpression(prop.expression, ts, checker);
+            }
+            return false;
+        });
+    }
     if (ts.isBinaryExpression(unwrapped)) {
         return (isProvenNonThrowingExpression(unwrapped.left, ts, checker) &&
             isProvenNonThrowingExpression(unwrapped.right, ts, checker));
@@ -152,11 +194,16 @@ function isProvenNonThrowingExpression(expr, ts, checker) {
         if (checker) {
             try {
                 const objType = checker.getTypeAtLocation(unwrapped.expression);
-                if ((objType.flags & (ts.TypeFlags.Null | ts.TypeFlags.Undefined | ts.TypeFlags.Void)) !== 0) {
+                const nullishOrUnknown = ts.TypeFlags.Null |
+                    ts.TypeFlags.Undefined |
+                    ts.TypeFlags.Void |
+                    ts.TypeFlags.Any |
+                    ts.TypeFlags.Unknown;
+                if ((objType.flags & nullishOrUnknown) !== 0) {
                     return false;
                 }
                 if (objType.isUnion()) {
-                    const hasNullish = objType.types.some((t) => (t.flags & (ts.TypeFlags.Null | ts.TypeFlags.Undefined | ts.TypeFlags.Void)) !== 0);
+                    const hasNullish = objType.types.some((t) => (t.flags & nullishOrUnknown) !== 0);
                     if (hasNullish)
                         return false;
                 }
@@ -164,11 +211,15 @@ function isProvenNonThrowingExpression(expr, ts, checker) {
             catch {
                 return false;
             }
+            return isProvenNonThrowingExpression(unwrapped.expression, ts, checker);
         }
-        return isProvenNonThrowingExpression(unwrapped.expression, ts, checker);
+        return false;
     }
     if (ts.isCallExpression(unwrapped)) {
-        return isKnownSafeSynchronousCall(unwrapped, ts);
+        if (!isKnownSafeSynchronousCall(unwrapped, ts, checker)) {
+            return false;
+        }
+        return unwrapped.arguments.every((arg) => isProvenNonThrowingExpression(arg, ts, checker));
     }
     return false;
 }
@@ -224,7 +275,7 @@ function isBlockProvenNonThrowing(block, ts, checker) {
                 return false;
             }
             if (ts.isCallExpression(expr)) {
-                if (!isKnownSafeSynchronousCall(expr, ts)) {
+                if (!isKnownSafeSynchronousCall(expr, ts, checker)) {
                     return false;
                 }
                 // Verify call arguments are non-throwing
@@ -282,6 +333,9 @@ function isSafeSynchronousPreamble(stmt, ts, checker) {
     if (containsAwaitOrThrow(stmt, ts)) {
         return false;
     }
+    if (ts.isFunctionDeclaration(stmt) || ts.isEmptyStatement(stmt)) {
+        return true;
+    }
     if (ts.isVariableStatement(stmt)) {
         for (const decl of stmt.declarationList.declarations) {
             if (decl.initializer && !isProvenNonThrowingExpression(decl.initializer, ts, checker)) {
@@ -359,6 +413,30 @@ function containsUncaughtAwaitOrThrow(node, ts, context) {
     walk(node);
     return found;
 }
+/**
+ * Distinguishes an explicit asynchronous or throwing path from unproven synchronous work.
+ */
+function containsAwaitOrExplicitThrow(node, ts) {
+    let found = false;
+    function walk(n) {
+        if (found)
+            return;
+        if (n !== node &&
+            (ts.isFunctionDeclaration(n) ||
+                ts.isArrowFunction(n) ||
+                ts.isFunctionExpression(n) ||
+                ts.isMethodDeclaration(n))) {
+            return;
+        }
+        if (ts.isAwaitExpression(n) || ts.isThrowStatement(n)) {
+            found = true;
+            return;
+        }
+        n.forEachChild(walk);
+    }
+    walk(node);
+    return found;
+}
 /**
  * Analyzes the body of an async function to determine its rejection-handling behavior.
  */
@@ -397,13 +475,13 @@ function analyzeAsyncFunctionBody(body, context) {
             }
         }
         else {
-            if (containsAwaitOrThrow(stmt, ts, context)) {
+            if (containsAwaitOrThrow(stmt, ts, context) || !isSafeSynchronousPreamble(stmt, ts, checker)) {
                 hasUncaught = true;
             }
         }
     }
     if (hasUncaught) {
-        return "propagates";
+        return containsAwaitOrExplicitThrow(body, ts) ? "propagates" : "may-reject";
     }
     if (hasTryWithCatch) {
         return "handles-known-rejections";
@@ -529,7 +607,10 @@ function resolveFunctionFromInitializer(init, ts, checker) {
     // useCallback(async () => ...)
     if (ts.isCallExpression(unwrapped)) {
         const callee = unwrapExpression(unwrapped.expression, ts);
-        if (ts.isIdentifier(callee) && callee.text === "useCallback") {
+        const isCallback = checker
+            ? resolveReactHook(unwrapped, checker, "useCallback")
+            : (ts.isIdentifier(callee) && callee.text === "useCallback");
+        if (isCallback) {
             const cbArg = unwrapped.arguments[0];
             if (cbArg) {
                 return resolveFunctionFromInitializer(cbArg, ts, checker);
@@ -612,7 +693,10 @@ function computeResolveLocalOrProjectFunctionDeclaration(callExpr, ts, checker)
                 const init = unwrapExpression(decl.initializer, ts);
                 if (ts.isCallExpression(init)) {
                     const initCallee = unwrapExpression(init.expression, ts);
-                    if (ts.isIdentifier(initCallee) && initCallee.text === "useRef") {
+                    const isRef = checker
+                        ? resolveReactHook(init, checker, "useRef")
+                        : (ts.isIdentifier(initCallee) && initCallee.text === "useRef");
+                    if (isRef) {
                         const refArg = init.arguments[0];
                         if (refArg) {
                             if (ts.isIdentifier(refArg)) {