legend-doctor 0.1.0

package/dist/src/rules/observable-tracking/subscription-coverage.js

@@ -0,0 +1,114 @@
+import { isRuntimeFunctionLike, visit } from "../../core/ast.js";
+import { isTrackingHookCall, provenObservablePath } from "../observable-reads/observable-paths.js";
+import { staticPathHasBinding, staticPropertyPath, unwrapTransparentExpression, } from "../../core/analysis-ast.js";
+import ts from "typescript";
+const MAX_ALIAS_DEPTH = 10;
+const subscriptionsByOwner = new WeakMap();
+const aliasesBySource = new WeakMap();
+/**
+ * True when a `useValue` (or legacy selector hook) call in the owner's own render already
+ * subscribes to `path` or to one of its ancestors, so an untracked read of `path` still
+ * re-renders with every change it could observe.
+ */
+export function hasCoveringSubscription(owner, path, scan) {
+    const read = canonicalPath(path, scan);
+    return subscribedPaths(owner, scan).some((subscribed) => subscribed.length <= read.length &&
+        subscribed.every((segment, index) => segment === read[index]));
+}
+function subscribedPaths(owner, scan) {
+    const cached = subscriptionsByOwner.get(owner);
+    if (cached) {
+        return cached;
+    }
+    const paths = [];
+    const walk = (node) => {
+        if (ts.isCallExpression(node) && isTrackingHookCall(node, scan.imports)) {
+            const [selector] = node.arguments;
+            if (selector) {
+                paths.push(...selectorPaths(selector, scan));
+            }
+            return;
+        }
+        if (isRuntimeFunctionLike(node) && node !== owner) {
+            return;
+        }
+        node.forEachChild(walk);
+    };
+    if (owner.body) {
+        walk(owner.body);
+    }
+    subscriptionsByOwner.set(owner, paths);
+    return paths;
+}
+function selectorPaths(selector, scan) {
+    const direct = provenObservablePath(selector, scan.observableBindings);
+    if (direct) {
+        const path = staticPropertyPath(direct);
+        return path ? [canonicalPath(path, scan)] : [];
+    }
+    const body = unwrapTransparentExpression(selector);
+    if (!ts.isArrowFunction(body) && !ts.isFunctionExpression(body)) {
+        return [];
+    }
+    const paths = [];
+    visit(body.body, (node) => {
+        const receiver = trackedGetReceiver(node);
+        const observable = receiver && provenObservablePath(receiver, scan.observableBindings);
+        const path = observable && staticPropertyPath(observable);
+        if (path) {
+            paths.push(canonicalPath(path, scan));
+        }
+    });
+    return paths;
+}
+function trackedGetReceiver(node) {
+    if (!ts.isCallExpression(node) ||
+        node.arguments.length > 1 ||
+        !ts.isPropertyAccessExpression(node.expression) ||
+        node.expression.name.text !== "get") {
+        return null;
+    }
+    return unwrapTransparentExpression(node.expression.expression);
+}
+function canonicalPath(path, scan) {
+    const aliases = observableAliases(scan);
+    let current = path;
+    for (let depth = 0; depth < MAX_ALIAS_DEPTH; depth += 1) {
+        const [root, ...rest] = current;
+        const target = root === undefined ? undefined : aliases.get(root);
+        if (!target) {
+            return current;
+        }
+        current = [...target, ...rest];
+    }
+    return current;
+}
+function observableAliases(scan) {
+    const cached = aliasesBySource.get(scan.sourceFile);
+    if (cached) {
+        return cached;
+    }
+    const declarationCounts = new Map();
+    const candidates = new Map();
+    visit(scan.sourceFile, (node) => {
+        if (!ts.isVariableDeclaration(node) || !ts.isIdentifier(node.name)) {
+            return;
+        }
+        const name = node.name.text;
+        declarationCounts.set(name, (declarationCounts.get(name) ?? 0) + 1);
+        const initializer = node.initializer && unwrapTransparentExpression(node.initializer);
+        if (!initializer ||
+            !ts.isPropertyAccessExpression(initializer) ||
+            !staticPathHasBinding(initializer, scan.observableBindings)) {
+            return;
+        }
+        const path = staticPropertyPath(initializer);
+        if (path) {
+            candidates.set(name, path);
+        }
+    });
+    const aliases = new Map([...candidates].filter(([name]) => declarationCounts.get(name) === 1));
+    aliasesBySource.set(scan.sourceFile, aliases);
+    return aliases;
+}
+//# sourceMappingURL=subscription-coverage.js.map

package/dist/src/rules/observable-tracking/subscription-coverage.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"subscription-coverage.js","sourceRoot":"","sources":["../../../../src/rules/observable-tracking/subscription-coverage.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,qBAAqB,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AACjE,OAAO,EAAE,kBAAkB,EAAE,oBAAoB,EAAE,MAAM,yCAAyC,CAAC;AACnG,OAAO,EACL,oBAAoB,EACpB,kBAAkB,EAClB,2BAA2B,GAC5B,MAAM,4BAA4B,CAAC;AAGpC,OAAO,EAAE,MAAM,YAAY,CAAC;AAI5B,MAAM,eAAe,GAAG,EAAE,CAAC;AAE3B,MAAM,oBAAoB,GAAG,IAAI,OAAO,EAA6C,CAAC;AACtF,MAAM,eAAe,GAAG,IAAI,OAAO,EAAsD,CAAC;AAE1F;;;;GAIG;AACH,MAAM,UAAU,uBAAuB,CACrC,KAAqB,EACrB,IAAoB,EACpB,IAAkB;IAElB,MAAM,IAAI,GAAG,aAAa,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IACvC,OAAO,eAAe,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,IAAI,CACtC,CAAC,UAAU,EAAE,EAAE,CACb,UAAU,CAAC,MAAM,IAAI,IAAI,CAAC,MAAM;QAChC,UAAU,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE,CAAC,OAAO,KAAK,IAAI,CAAC,KAAK,CAAC,CAAC,CAChE,CAAC;AACJ,CAAC;AAED,SAAS,eAAe,CAAC,KAAqB,EAAE,IAAkB;IAChE,MAAM,MAAM,GAAG,oBAAoB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAC/C,IAAI,MAAM,EAAE,CAAC;QACX,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,MAAM,KAAK,GAAqB,EAAE,CAAC;IACnC,MAAM,IAAI,GAAG,CAAC,IAAa,EAAQ,EAAE;QACnC,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,kBAAkB,CAAC,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;YACxE,MAAM,CAAC,QAAQ,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC;YAClC,IAAI,QAAQ,EAAE,CAAC;gBACb,KAAK,CAAC,IAAI,CAAC,GAAG,aAAa,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC;YAC/C,CAAC;YACD,OAAO;QACT,CAAC;QACD,IAAI,qBAAqB,CAAC,IAAI,CAAC,IAAI,IAAI,KAAK,KAAK,EAAE,CAAC;YAClD,OAAO;QACT,CAAC;QACD,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;IAC1B,CAAC,CAAC;IACF,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC;QACf,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACnB,CAAC;IACD,oBAAoB,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IACvC,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,aAAa,CAAC,QAAuB,EAAE,IAAkB;IAChE,MAAM,MAAM,GAAG,oBAAoB,CAAC,QAAQ,EAAE,IAAI,CAAC,kBAAkB,CAAC,CAAC;IACvE,IAAI,MAAM,EAAE,CAAC;QACX,MAAM,IAAI,GAAG,kBAAkB,CAAC,MAAM,CAAC,CAAC;QACxC,OAAO,IAAI,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACjD,CAAC;IACD,MAAM,IAAI,GAAG,2BAA2B,CAAC,QAAQ,CAAC,CAAC;IACnD,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,EAAE,CAAC;QAChE,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,MAAM,KAAK,GAAqB,EAAE,CAAC;IACnC,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QACxB,MAAM,QAAQ,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC;QAC1C,MAAM,UAAU,GAAG,QAAQ,IAAI,oBAAoB,CAAC,QAAQ,EAAE,IAAI,CAAC,kBAAkB,CAAC,CAAC;QACvF,MAAM,IAAI,GAAG,UAAU,IAAI,kBAAkB,CAAC,UAAU,CAAC,CAAC;QAC1D,IAAI,IAAI,EAAE,CAAC;YACT,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;QACxC,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,kBAAkB,CAAC,IAAa;IACvC,IACE,CAAC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;QAC1B,IAAI,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC;QACzB,CAAC,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,UAAU,CAAC;QAC/C,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,EACnC,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,2BAA2B,CAAC,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;AACjE,CAAC;AAED,SAAS,aAAa,CAAC,IAAoB,EAAE,IAAkB;IAC7D,MAAM,OAAO,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC;IACxC,IAAI,OAAO,GAAG,IAAI,CAAC;IACnB,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,eAAe,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACxD,MAAM,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,GAAG,OAAO,CAAC;QAChC,MAAM,MAAM,GAAG,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAClE,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,OAAO,OAAO,CAAC;QACjB,CAAC;QACD,OAAO,GAAG,CAAC,GAAG,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC;IACjC,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,iBAAiB,CAAC,IAAkB;IAC3C,MAAM,MAAM,GAAG,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACpD,IAAI,MAAM,EAAE,CAAC;QACX,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,MAAM,iBAAiB,GAAG,IAAI,GAAG,EAAkB,CAAC;IACpD,MAAM,UAAU,GAAG,IAAI,GAAG,EAA0B,CAAC;IACrD,KAAK,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC,IAAI,EAAE,EAAE;QAC9B,IAAI,CAAC,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACnE,OAAO;QACT,CAAC;QACD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;QAC5B,iBAAiB,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,iBAAiB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACpE,MAAM,WAAW,GAAG,IAAI,CAAC,WAAW,IAAI,2BAA2B,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACtF,IACE,CAAC,WAAW;YACZ,CAAC,EAAE,CAAC,0BAA0B,CAAC,WAAW,CAAC;YAC3C,CAAC,oBAAoB,CAAC,WAAW,EAAE,IAAI,CAAC,kBAAkB,CAAC,EAC3D,CAAC;YACD,OAAO;QACT,CAAC;QACD,MAAM,IAAI,GAAG,kBAAkB,CAAC,WAAW,CAAC,CAAC;QAC7C,IAAI,IAAI,EAAE,CAAC;YACT,UAAU,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAC7B,CAAC;IACH,CAAC,CAAC,CAAC;IACH,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,UAAU,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAC/F,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IAC9C,OAAO,OAAO,CAAC;AACjB,CAAC"}

package/dist/src/rules/react-commit-sensitivity/binding-resolution.d.ts

@@ -0,0 +1,10 @@
+import type { HookImports } from "../../core/imports.js";
+import type { RuntimeFunctionLike } from "../../core/ast.js";
+import ts from "typescript";
+type ReactHookImportName = "startTransition" | "useCallback" | "useEffect" | "useInsertionEffect" | "useLayoutEffect" | "useRef" | "useTransition";
+export declare function constInitializer(owner: RuntimeFunctionLike, name: string): ts.Expression | null;
+export declare function isSoleReference(owner: RuntimeFunctionLike, value: ts.Identifier): boolean;
+export declare function isImportedReactCall(call: ts.CallExpression, imports: HookImports, hook: ReactHookImportName): boolean;
+export declare function bindingIsUnshadowed(node: ts.Node, name: string): boolean;
+export {};
+//# sourceMappingURL=binding-resolution.d.ts.map

package/dist/src/rules/react-commit-sensitivity/binding-resolution.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"binding-resolution.d.ts","sourceRoot":"","sources":["../../../../src/rules/react-commit-sensitivity/binding-resolution.ts"],"names":[],"mappings":"AAaA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACzD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAC7D,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,KAAK,mBAAmB,GACpB,iBAAiB,GACjB,aAAa,GACb,WAAW,GACX,oBAAoB,GACpB,iBAAiB,GACjB,QAAQ,GACR,eAAe,CAAC;AAEpB,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,mBAAmB,EAAE,IAAI,EAAE,MAAM,GAAG,EAAE,CAAC,UAAU,GAAG,IAAI,CAU/F;AAED,wBAAgB,eAAe,CAAC,KAAK,EAAE,mBAAmB,EAAE,KAAK,EAAE,EAAE,CAAC,UAAU,GAAG,OAAO,CAiBzF;AAqBD,wBAAgB,mBAAmB,CACjC,IAAI,EAAE,EAAE,CAAC,cAAc,EACvB,OAAO,EAAE,WAAW,EACpB,IAAI,EAAE,mBAAmB,GACxB,OAAO,CAGT;AAED,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAGxE"}

package/dist/src/rules/react-commit-sensitivity/binding-resolution.js

@@ -0,0 +1,108 @@
+import { bindingContainsName, uniqueVariableDeclaration } from "../state-proofs/binding-lookup.js";
+import { collectBindingNames, isDeclarationName, isNonValueIdentifier, unwrapTransparentExpression, } from "../../core/analysis-ast.js";
+import { findAncestor, isRuntimeFunctionLike, visit, visitSkippingNestedRuntimeFunctions, } from "../../core/ast.js";
+import ts from "typescript";
+export function constInitializer(owner, name) {
+    const declaration = uniqueVariableDeclaration(owner, name);
+    if (!declaration?.initializer ||
+        !ts.isVariableDeclarationList(declaration.parent) ||
+        (declaration.parent.flags & ts.NodeFlags.Const) === 0) {
+        return null;
+    }
+    return unwrapTransparentExpression(declaration.initializer);
+}
+export function isSoleReference(owner, value) {
+    let references = 0;
+    let unique = true;
+    visit(owner.body, (node) => {
+        if (ts.isIdentifier(node) &&
+            node.text === value.text &&
+            !isDeclarationName(node) &&
+            !isNonValueIdentifier(node)) {
+            references += 1;
+            if (node !== value) {
+                unique = false;
+            }
+        }
+    });
+    return unique && references === 1;
+}
+function reactCallBinding(expression, imports, hook) {
+    if (ts.isIdentifier(expression) && imports[hook].has(expression.text)) {
+        return expression.text;
+    }
+    if (ts.isPropertyAccessExpression(expression) &&
+        ts.isIdentifier(expression.expression) &&
+        imports.reactNamespaces.has(expression.expression.text) &&
+        expression.name.text === hook) {
+        return expression.expression.text;
+    }
+    return null;
+}
+export function isImportedReactCall(call, imports, hook) {
+    const binding = reactCallBinding(call.expression, imports, hook);
+    return binding !== null && bindingIsUnshadowed(call, binding);
+}
+export function bindingIsUnshadowed(node, name) {
+    const owner = findAncestor(node, isRuntimeFunctionLike);
+    return owner === null || !hasLexicalBindingAt(node, owner, name);
+}
+const functionScopedBindingsByOwner = new WeakMap();
+function functionScopedBindings(owner, body) {
+    const cached = functionScopedBindingsByOwner.get(owner);
+    if (cached) {
+        return cached;
+    }
+    const collected = new Set();
+    visitSkippingNestedRuntimeFunctions(body, (current) => {
+        if (ts.isVariableDeclaration(current) &&
+            ts.isVariableDeclarationList(current.parent) &&
+            (current.parent.flags & (ts.NodeFlags.Let | ts.NodeFlags.Const)) === 0) {
+            collectBindingNames(current.name, collected);
+        }
+    });
+    functionScopedBindingsByOwner.set(owner, collected);
+    return collected;
+}
+function enclosingScopeDeclares(node, owner, name) {
+    for (let current = node.parent; current && current !== owner; current = current.parent) {
+        if (scopeDirectlyDeclares(current, name)) {
+            return true;
+        }
+    }
+    return false;
+}
+function hasLexicalBindingAt(node, owner, name) {
+    if (owner.parameters.some((parameter) => bindingContainsName(parameter.name, name))) {
+        return true;
+    }
+    if (!owner.body) {
+        return false;
+    }
+    return (functionScopedBindings(owner, owner.body).has(name) || enclosingScopeDeclares(node, owner, name));
+}
+function scopeDirectlyDeclares(scope, name) {
+    if (ts.isCatchClause(scope) && scope.variableDeclaration) {
+        return bindingContainsName(scope.variableDeclaration.name, name);
+    }
+    if (ts.isForStatement(scope) &&
+        scope.initializer &&
+        ts.isVariableDeclarationList(scope.initializer)) {
+        return scope.initializer.declarations.some((declaration) => bindingContainsName(declaration.name, name));
+    }
+    if ((ts.isForInStatement(scope) || ts.isForOfStatement(scope)) &&
+        ts.isVariableDeclarationList(scope.initializer)) {
+        return scope.initializer.declarations.some((declaration) => bindingContainsName(declaration.name, name));
+    }
+    if (!ts.isBlock(scope)) {
+        return false;
+    }
+    return scope.statements.some((statement) => {
+        if (ts.isVariableStatement(statement)) {
+            return statement.declarationList.declarations.some((declaration) => bindingContainsName(declaration.name, name));
+        }
+        return ((ts.isFunctionDeclaration(statement) || ts.isClassDeclaration(statement)) &&
+            statement.name?.text === name);
+    });
+}
+//# sourceMappingURL=binding-resolution.js.map

package/dist/src/rules/react-commit-sensitivity/binding-resolution.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"binding-resolution.js","sourceRoot":"","sources":["../../../../src/rules/react-commit-sensitivity/binding-resolution.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,mBAAmB,EAAE,yBAAyB,EAAE,MAAM,mCAAmC,CAAC;AACnG,OAAO,EACL,mBAAmB,EACnB,iBAAiB,EACjB,oBAAoB,EACpB,2BAA2B,GAC5B,MAAM,4BAA4B,CAAC;AACpC,OAAO,EACL,YAAY,EACZ,qBAAqB,EACrB,KAAK,EACL,mCAAmC,GACpC,MAAM,mBAAmB,CAAC;AAG3B,OAAO,EAAE,MAAM,YAAY,CAAC;AAW5B,MAAM,UAAU,gBAAgB,CAAC,KAA0B,EAAE,IAAY;IACvE,MAAM,WAAW,GAAG,yBAAyB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAC3D,IACE,CAAC,WAAW,EAAE,WAAW;QACzB,CAAC,EAAE,CAAC,yBAAyB,CAAC,WAAW,CAAC,MAAM,CAAC;QACjD,CAAC,WAAW,CAAC,MAAM,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,EACrD,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,2BAA2B,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC;AAC9D,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,KAA0B,EAAE,KAAoB;IAC9E,IAAI,UAAU,GAAG,CAAC,CAAC;IACnB,IAAI,MAAM,GAAG,IAAI,CAAC;IAClB,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QACzB,IACE,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;YACrB,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI;YACxB,CAAC,iBAAiB,CAAC,IAAI,CAAC;YACxB,CAAC,oBAAoB,CAAC,IAAI,CAAC,EAC3B,CAAC;YACD,UAAU,IAAI,CAAC,CAAC;YAChB,IAAI,IAAI,KAAK,KAAK,EAAE,CAAC;gBACnB,MAAM,GAAG,KAAK,CAAC;YACjB,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,MAAM,IAAI,UAAU,KAAK,CAAC,CAAC;AACpC,CAAC;AAED,SAAS,gBAAgB,CACvB,UAAqC,EACrC,OAAoB,EACpB,IAAyB;IAEzB,IAAI,EAAE,CAAC,YAAY,CAAC,UAAU,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;QACtE,OAAO,UAAU,CAAC,IAAI,CAAC;IACzB,CAAC;IACD,IACE,EAAE,CAAC,0BAA0B,CAAC,UAAU,CAAC;QACzC,EAAE,CAAC,YAAY,CAAC,UAAU,CAAC,UAAU,CAAC;QACtC,OAAO,CAAC,eAAe,CAAC,GAAG,CAAC,UAAU,CAAC,UAAU,CAAC,IAAI,CAAC;QACvD,UAAU,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,EAC7B,CAAC;QACD,OAAO,UAAU,CAAC,UAAU,CAAC,IAAI,CAAC;IACpC,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,mBAAmB,CACjC,IAAuB,EACvB,OAAoB,EACpB,IAAyB;IAEzB,MAAM,OAAO,GAAG,gBAAgB,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC;IACjE,OAAO,OAAO,KAAK,IAAI,IAAI,mBAAmB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;AAChE,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,IAAa,EAAE,IAAY;IAC7D,MAAM,KAAK,GAAG,YAAY,CAAC,IAAI,EAAE,qBAAqB,CAAC,CAAC;IACxD,OAAO,KAAK,KAAK,IAAI,IAAI,CAAC,mBAAmB,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;AACnE,CAAC;AAED,MAAM,6BAA6B,GAAG,IAAI,OAAO,EAA4C,CAAC;AAE9F,SAAS,sBAAsB,CAAC,KAA0B,EAAE,IAAa;IACvE,MAAM,MAAM,GAAG,6BAA6B,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACxD,IAAI,MAAM,EAAE,CAAC;QACX,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;IACpC,mCAAmC,CAAC,IAAI,EAAE,CAAC,OAAO,EAAE,EAAE;QACpD,IACE,EAAE,CAAC,qBAAqB,CAAC,OAAO,CAAC;YACjC,EAAE,CAAC,yBAAyB,CAAC,OAAO,CAAC,MAAM,CAAC;YAC5C,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC,GAAG,GAAG,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,EACtE,CAAC;YACD,mBAAmB,CAAC,OAAO,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;QAC/C,CAAC;IACH,CAAC,CAAC,CAAC;IACH,6BAA6B,CAAC,GAAG,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;IACpD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,sBAAsB,CAAC,IAAa,EAAE,KAA0B,EAAE,IAAY;IACrF,KACE,IAAI,OAAO,GAAwB,IAAI,CAAC,MAAM,EAC9C,OAAO,IAAI,OAAO,KAAK,KAAK,EAC5B,OAAO,GAAG,OAAO,CAAC,MAAM,EACxB,CAAC;QACD,IAAI,qBAAqB,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE,CAAC;YACzC,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,mBAAmB,CAAC,IAAa,EAAE,KAA0B,EAAE,IAAY;IAClF,IAAI,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,mBAAmB,CAAC,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC;QACpF,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;QAChB,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,CACL,sBAAsB,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,sBAAsB,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,CACjG,CAAC;AACJ,CAAC;AAED,SAAS,qBAAqB,CAAC,KAAc,EAAE,IAAY;IACzD,IAAI,EAAE,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,mBAAmB,EAAE,CAAC;QACzD,OAAO,mBAAmB,CAAC,KAAK,CAAC,mBAAmB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IACnE,CAAC;IACD,IACE,EAAE,CAAC,cAAc,CAAC,KAAK,CAAC;QACxB,KAAK,CAAC,WAAW;QACjB,EAAE,CAAC,yBAAyB,CAAC,KAAK,CAAC,WAAW,CAAC,EAC/C,CAAC;QACD,OAAO,KAAK,CAAC,WAAW,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,EAAE,CACzD,mBAAmB,CAAC,WAAW,CAAC,IAAI,EAAE,IAAI,CAAC,CAC5C,CAAC;IACJ,CAAC;IACD,IACE,CAAC,EAAE,CAAC,gBAAgB,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAC;QAC1D,EAAE,CAAC,yBAAyB,CAAC,KAAK,CAAC,WAAW,CAAC,EAC/C,CAAC;QACD,OAAO,KAAK,CAAC,WAAW,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,EAAE,CACzD,mBAAmB,CAAC,WAAW,CAAC,IAAI,EAAE,IAAI,CAAC,CAC5C,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACvB,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE;QACzC,IAAI,EAAE,CAAC,mBAAmB,CAAC,SAAS,CAAC,EAAE,CAAC;YACtC,OAAO,SAAS,CAAC,eAAe,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,EAAE,CACjE,mBAAmB,CAAC,WAAW,CAAC,IAAI,EAAE,IAAI,CAAC,CAC5C,CAAC;QACJ,CAAC;QACD,OAAO,CACL,CAAC,EAAE,CAAC,qBAAqB,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,kBAAkB,CAAC,SAAS,CAAC,CAAC;YACzE,SAAS,CAAC,IAAI,EAAE,IAAI,KAAK,IAAI,CAC9B,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC"}

package/dist/src/rules/react-commit-sensitivity/direct-transitions.d.ts

@@ -0,0 +1,11 @@
+import type { HookImports } from "../../core/imports.js";
+import type { RuntimeFunctionLike } from "../../core/ast.js";
+import ts from "typescript";
+interface DirectTransitionContext {
+    callbacks: readonly RuntimeFunctionLike[];
+    eventCallbacks: ReadonlySet<RuntimeFunctionLike>;
+}
+export declare function directTransitionContext(owner: RuntimeFunctionLike, imports: HookImports): DirectTransitionContext | null;
+export declare function isTransitionReference(node: ts.Node, imports: HookImports): boolean;
+export {};
+//# sourceMappingURL=direct-transitions.d.ts.map

package/dist/src/rules/react-commit-sensitivity/direct-transitions.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"direct-transitions.d.ts","sourceRoot":"","sources":["../../../../src/rules/react-commit-sensitivity/direct-transitions.ts"],"names":[],"mappings":"AAiBA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACzD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAG7D,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,UAAU,uBAAuB;IAC/B,SAAS,EAAE,SAAS,mBAAmB,EAAE,CAAC;IAC1C,cAAc,EAAE,WAAW,CAAC,mBAAmB,CAAC,CAAC;CAClD;AAYD,wBAAgB,uBAAuB,CACrC,KAAK,EAAE,mBAAmB,EAC1B,OAAO,EAAE,WAAW,GACnB,uBAAuB,GAAG,IAAI,CAkBhC;AAkJD,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,OAAO,EAAE,WAAW,GAAG,OAAO,CAclF"}

package/dist/src/rules/react-commit-sensitivity/direct-transitions.js

@@ -0,0 +1,147 @@
+import { bindingIsUnshadowed, constInitializer, isImportedReactCall, isSoleReference, } from "./binding-resolution.js";
+import { findAncestor, isRuntimeFunctionLike, visit, visitSkippingNestedRuntimeFunctions, } from "../../core/ast.js";
+import { isDeclarationName, isNonValueIdentifier, unwrapTransparentExpression, } from "../../core/analysis-ast.js";
+import { callbackIsEventRooted } from "../state-proofs/event-roots.js";
+import { localFunctionBinding } from "../state-proofs/binding-lookup.js";
+import ts from "typescript";
+export function directTransitionContext(owner, imports) {
+    if (!owner.body) {
+        return null;
+    }
+    const walk = {
+        bindings: transitionStartBindings(owner.body, imports),
+        body: owner.body,
+        callbacks: [],
+        eventCallbacks: new Set(),
+        imports,
+        owner,
+        safe: true,
+    };
+    collectDirectTransitions(walk);
+    if (!walk.safe || transitionsEscapeCallPosition(walk)) {
+        return null;
+    }
+    return { callbacks: walk.callbacks, eventCallbacks: walk.eventCallbacks };
+}
+function transitionStartBindings(body, imports) {
+    const bindings = new Set();
+    visitSkippingNestedRuntimeFunctions(body, (node) => {
+        if (ts.isVariableDeclaration(node) &&
+            ts.isArrayBindingPattern(node.name) &&
+            node.initializer &&
+            ts.isCallExpression(node.initializer) &&
+            isImportedReactCall(node.initializer, imports, "useTransition")) {
+            const [, start] = node.name.elements;
+            if (start && !ts.isOmittedExpression(start) && ts.isIdentifier(start.name)) {
+                bindings.add(start.name.text);
+            }
+        }
+    });
+    return bindings;
+}
+function collectDirectTransitions(walk) {
+    visit(walk.body, (node) => {
+        if (walk.safe && ts.isCallExpression(node)) {
+            collectTransitionCall(node, walk);
+        }
+    });
+}
+function isDirectTransitionCall(node, walk) {
+    return ((ts.isIdentifier(node.expression) && walk.bindings.has(node.expression.text)) ||
+        isImportedReactCall(node, walk.imports, "startTransition"));
+}
+function collectTransitionCall(node, walk) {
+    if (!isDirectTransitionCall(node, walk)) {
+        return;
+    }
+    const callback = node.arguments[0]
+        ? directTransitionCallback(node.arguments[0], walk.owner)
+        : null;
+    if (!callback) {
+        walk.safe = false;
+        return;
+    }
+    walk.safe = !callbackReadsOwnerFunction(callback, walk.owner);
+    walk.callbacks.push(callback);
+    if (isEventRootedTransition(node, walk.owner)) {
+        walk.eventCallbacks.add(callback);
+    }
+}
+function callbackReadsOwnerFunction(callback, owner) {
+    let reads = false;
+    visit(callback.body, (reference) => {
+        if (ts.isIdentifier(reference) &&
+            !isDeclarationName(reference) &&
+            !isNonValueIdentifier(reference) &&
+            localFunctionBinding(owner, reference.text)) {
+            reads = true;
+        }
+    });
+    return reads;
+}
+function isEventRootedTransition(node, owner) {
+    const caller = findAncestor(node, isRuntimeFunctionLike);
+    return (caller !== null &&
+        caller !== owner &&
+        (ts.isArrowFunction(caller) ||
+            ts.isFunctionDeclaration(caller) ||
+            ts.isFunctionExpression(caller)) &&
+        callbackIsEventRooted({ callback: caller, owner, dependencyName: "", seen: new Set() }));
+}
+function referenceIsCalledOrListed(node) {
+    return ((ts.isCallExpression(node.parent) && node.parent.expression === node) ||
+        ts.isArrayLiteralExpression(node.parent));
+}
+function isBareTransitionIdentifier(node, transitionBindings) {
+    return (ts.isIdentifier(node) &&
+        transitionBindings.has(node.text) &&
+        !isDeclarationName(node) &&
+        !isNonValueIdentifier(node) &&
+        !referenceIsCalledOrListed(node));
+}
+function isBareNamespacedStartTransition(node, imports) {
+    return (ts.isPropertyAccessExpression(node) &&
+        ts.isIdentifier(node.expression) &&
+        imports.reactNamespaces.has(node.expression.text) &&
+        node.name.text === "startTransition" &&
+        !referenceIsCalledOrListed(node));
+}
+function transitionsEscapeCallPosition(walk) {
+    const transitionBindings = new Set([...walk.bindings, ...walk.imports.startTransition]);
+    let escapes = false;
+    visit(walk.body, (node) => {
+        if (isBareTransitionIdentifier(node, transitionBindings) ||
+            isBareNamespacedStartTransition(node, walk.imports)) {
+            escapes = true;
+        }
+    });
+    return escapes;
+}
+function directTransitionCallback(expression, owner) {
+    const value = unwrapTransparentExpression(expression);
+    if (ts.isArrowFunction(value) || ts.isFunctionExpression(value)) {
+        return value;
+    }
+    if (!ts.isIdentifier(value)) {
+        return null;
+    }
+    const callback = constInitializer(owner, value.text);
+    if (callback === null || (!ts.isArrowFunction(callback) && !ts.isFunctionExpression(callback))) {
+        return null;
+    }
+    return isSoleReference(owner, value) ? callback : null;
+}
+export function isTransitionReference(node, imports) {
+    if (ts.isCallExpression(node) && isImportedReactCall(node, imports, "useTransition")) {
+        return true;
+    }
+    if (ts.isIdentifier(node)) {
+        return imports.startTransition.has(node.text) && bindingIsUnshadowed(node, node.text);
+    }
+    return (ts.isPropertyAccessExpression(node) &&
+        ts.isIdentifier(node.expression) &&
+        imports.reactNamespaces.has(node.expression.text) &&
+        node.name.text === "startTransition" &&
+        bindingIsUnshadowed(node, node.expression.text));
+}
+//# sourceMappingURL=direct-transitions.js.map

package/dist/src/rules/react-commit-sensitivity/direct-transitions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"direct-transitions.js","sourceRoot":"","sources":["../../../../src/rules/react-commit-sensitivity/direct-transitions.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,mBAAmB,EACnB,gBAAgB,EAChB,mBAAmB,EACnB,eAAe,GAChB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EACL,YAAY,EACZ,qBAAqB,EACrB,KAAK,EACL,mCAAmC,GACpC,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EACL,iBAAiB,EACjB,oBAAoB,EACpB,2BAA2B,GAC5B,MAAM,4BAA4B,CAAC;AAGpC,OAAO,EAAE,qBAAqB,EAAE,MAAM,gCAAgC,CAAC;AACvE,OAAO,EAAE,oBAAoB,EAAE,MAAM,mCAAmC,CAAC;AACzE,OAAO,EAAE,MAAM,YAAY,CAAC;AAiB5B,MAAM,UAAU,uBAAuB,CACrC,KAA0B,EAC1B,OAAoB;IAEpB,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;QAChB,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,IAAI,GAAmB;QAC3B,QAAQ,EAAE,uBAAuB,CAAC,KAAK,CAAC,IAAI,EAAE,OAAO,CAAC;QACtD,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,SAAS,EAAE,EAAE;QACb,cAAc,EAAE,IAAI,GAAG,EAAE;QACzB,OAAO;QACP,KAAK;QACL,IAAI,EAAE,IAAI;KACX,CAAC;IACF,wBAAwB,CAAC,IAAI,CAAC,CAAC;IAC/B,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,6BAA6B,CAAC,IAAI,CAAC,EAAE,CAAC;QACtD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,cAAc,EAAE,IAAI,CAAC,cAAc,EAAE,CAAC;AAC5E,CAAC;AAED,SAAS,uBAAuB,CAAC,IAAa,EAAE,OAAoB;IAClE,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,mCAAmC,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QACjD,IACE,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;YAC9B,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC;YACnC,IAAI,CAAC,WAAW;YAChB,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,WAAW,CAAC;YACrC,mBAAmB,CAAC,IAAI,CAAC,WAAW,EAAE,OAAO,EAAE,eAAe,CAAC,EAC/D,CAAC;YACD,MAAM,CAAC,EAAE,KAAK,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC;YACrC,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC3E,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAChC,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,wBAAwB,CAAC,IAAoB;IACpD,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QACxB,IAAI,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC3C,qBAAqB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACpC,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,sBAAsB,CAAC,IAAuB,EAAE,IAAoB;IAC3E,OAAO,CACL,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;QAC7E,mBAAmB,CAAC,IAAI,EAAE,IAAI,CAAC,OAAO,EAAE,iBAAiB,CAAC,CAC3D,CAAC;AACJ,CAAC;AAED,SAAS,qBAAqB,CAAC,IAAuB,EAAE,IAAoB;IAC1E,IAAI,CAAC,sBAAsB,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC;QACxC,OAAO;IACT,CAAC;IACD,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC;QAChC,CAAC,CAAC,wBAAwB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,EAAE,IAAI,CAAC,KAAK,CAAC;QAC1D,CAAC,CAAC,IAAI,CAAC;IACT,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,IAAI,CAAC,IAAI,GAAG,KAAK,CAAC;QAClB,OAAO;IACT,CAAC;IACD,IAAI,CAAC,IAAI,GAAG,CAAC,0BAA0B,CAAC,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;IAC9D,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC9B,IAAI,uBAAuB,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QAC9C,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IACpC,CAAC;AACH,CAAC;AAED,SAAS,0BAA0B,CACjC,QAA6B,EAC7B,KAA0B;IAE1B,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,KAAK,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,SAAS,EAAE,EAAE;QACjC,IACE,EAAE,CAAC,YAAY,CAAC,SAAS,CAAC;YAC1B,CAAC,iBAAiB,CAAC,SAAS,CAAC;YAC7B,CAAC,oBAAoB,CAAC,SAAS,CAAC;YAChC,oBAAoB,CAAC,KAAK,EAAE,SAAS,CAAC,IAAI,CAAC,EAC3C,CAAC;YACD,KAAK,GAAG,IAAI,CAAC;QACf,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,uBAAuB,CAAC,IAAuB,EAAE,KAA0B;IAClF,MAAM,MAAM,GAAG,YAAY,CAAC,IAAI,EAAE,qBAAqB,CAAC,CAAC;IACzD,OAAO,CACL,MAAM,KAAK,IAAI;QACf,MAAM,KAAK,KAAK;QAChB,CAAC,EAAE,CAAC,eAAe,CAAC,MAAM,CAAC;YACzB,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC;YAChC,EAAE,CAAC,oBAAoB,CAAC,MAAM,CAAC,CAAC;QAClC,qBAAqB,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,cAAc,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC,CACxF,CAAC;AACJ,CAAC;AAED,SAAS,yBAAyB,CAAC,IAAa;IAC9C,OAAO,CACL,CAAC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,UAAU,KAAK,IAAI,CAAC;QACrE,EAAE,CAAC,wBAAwB,CAAC,IAAI,CAAC,MAAM,CAAC,CACzC,CAAC;AACJ,CAAC;AAED,SAAS,0BAA0B,CACjC,IAAa,EACb,kBAAuC;IAEvC,OAAO,CACL,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;QACrB,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC;QACjC,CAAC,iBAAiB,CAAC,IAAI,CAAC;QACxB,CAAC,oBAAoB,CAAC,IAAI,CAAC;QAC3B,CAAC,yBAAyB,CAAC,IAAI,CAAC,CACjC,CAAC;AACJ,CAAC;AAED,SAAS,+BAA+B,CAAC,IAAa,EAAE,OAAoB;IAC1E,OAAO,CACL,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC;QACnC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC;QAChC,OAAO,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;QACjD,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,iBAAiB;QACpC,CAAC,yBAAyB,CAAC,IAAI,CAAC,CACjC,CAAC;AACJ,CAAC;AAED,SAAS,6BAA6B,CAAC,IAAoB;IACzD,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,QAAQ,EAAE,GAAG,IAAI,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC,CAAC;IACxF,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QACxB,IACE,0BAA0B,CAAC,IAAI,EAAE,kBAAkB,CAAC;YACpD,+BAA+B,CAAC,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,EACnD,CAAC;YACD,OAAO,GAAG,IAAI,CAAC;QACjB,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,wBAAwB,CAC/B,UAAyB,EACzB,KAA0B;IAE1B,MAAM,KAAK,GAAG,2BAA2B,CAAC,UAAU,CAAC,CAAC;IACtD,IAAI,EAAE,CAAC,eAAe,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,KAAK,CAAC,EAAE,CAAC;QAChE,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,EAAE,CAAC;QAC5B,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,QAAQ,GAAG,gBAAgB,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;IACrD,IAAI,QAAQ,KAAK,IAAI,IAAI,CAAC,CAAC,EAAE,CAAC,eAAe,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC;QAC/F,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,eAAe,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC;AACzD,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,IAAa,EAAE,OAAoB;IACvE,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,mBAAmB,CAAC,IAAI,EAAE,OAAO,EAAE,eAAe,CAAC,EAAE,CAAC;QACrF,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1B,OAAO,OAAO,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,mBAAmB,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;IACxF,CAAC;IACD,OAAO,CACL,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC;QACnC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC;QAChC,OAAO,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;QACjD,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,iBAAiB;QACpC,mBAAmB,CAAC,IAAI,EAAE,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAChD,CAAC;AACJ,CAAC"}

package/dist/src/rules/react-commit-sensitivity/effect-lifecycle.d.ts

@@ -0,0 +1,14 @@
+import type { HookImports } from "../../core/imports.js";
+import type { RuntimeFunctionLike } from "../../core/ast.js";
+import ts from "typescript";
+interface LifecycleResolution {
+    readonly owner: RuntimeFunctionLike;
+    readonly imports: HookImports;
+    readonly seen: ReadonlySet<string>;
+}
+type LifecycleCallback = ts.ArrowFunction | ts.FunctionDeclaration | ts.FunctionExpression;
+export declare function resolveLifecycleCallback(expression: ts.Expression, resolution: LifecycleResolution): LifecycleCallback | null;
+export declare function hasNoDependencyArray(call: ts.CallExpression): boolean;
+export declare function isReactEffectCall(call: ts.CallExpression, imports: HookImports): boolean;
+export {};
+//# sourceMappingURL=effect-lifecycle.d.ts.map

package/dist/src/rules/react-commit-sensitivity/effect-lifecycle.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-lifecycle.d.ts","sourceRoot":"","sources":["../../../../src/rules/react-commit-sensitivity/effect-lifecycle.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACzD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAE7D,OAAO,EAAE,MAAM,YAAY,CAAC;AAG5B,UAAU,mBAAmB;IAC3B,QAAQ,CAAC,KAAK,EAAE,mBAAmB,CAAC;IACpC,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC;IAC9B,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CACpC;AAED,KAAK,iBAAiB,GAAG,EAAE,CAAC,aAAa,GAAG,EAAE,CAAC,mBAAmB,GAAG,EAAE,CAAC,kBAAkB,CAAC;AAE3F,wBAAgB,wBAAwB,CACtC,UAAU,EAAE,EAAE,CAAC,UAAU,EACzB,UAAU,EAAE,mBAAmB,GAC9B,iBAAiB,GAAG,IAAI,CAW1B;AA4BD,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,EAAE,CAAC,cAAc,GAAG,OAAO,CAarE;AAED,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,EAAE,CAAC,cAAc,EAAE,OAAO,EAAE,WAAW,GAAG,OAAO,CAMxF"}

package/dist/src/rules/react-commit-sensitivity/effect-lifecycle.js

@@ -0,0 +1,53 @@
+import { bindingIsUnshadowed, constInitializer, isImportedReactCall, } from "./binding-resolution.js";
+import { localFunctionBinding } from "../state-proofs/binding-lookup.js";
+import ts from "typescript";
+import { unwrapTransparentExpression } from "../../core/analysis-ast.js";
+export function resolveLifecycleCallback(expression, resolution) {
+    const value = unwrapTransparentExpression(expression);
+    if (ts.isArrowFunction(value) || ts.isFunctionExpression(value)) {
+        return value;
+    }
+    if (!ts.isIdentifier(value) || resolution.seen.has(value.text)) {
+        return null;
+    }
+    return (localFunctionBinding(resolution.owner, value.text) ?? resolveLifecycleAlias(value, resolution));
+}
+function resolveLifecycleAlias(value, resolution) {
+    const initializer = constInitializer(resolution.owner, value.text);
+    if (initializer === null) {
+        return null;
+    }
+    const next = { ...resolution, seen: new Set(resolution.seen).add(value.text) };
+    if (ts.isIdentifier(initializer)) {
+        return resolveLifecycleCallback(initializer, next);
+    }
+    if (ts.isCallExpression(initializer) &&
+        isImportedReactCall(initializer, resolution.imports, "useCallback") &&
+        initializer.arguments[0]) {
+        return resolveLifecycleCallback(initializer.arguments[0], next);
+    }
+    return null;
+}
+function isAbsentDependencyExpression(value) {
+    return value.kind === ts.SyntaxKind.NullKeyword || ts.isVoidExpression(value);
+}
+export function hasNoDependencyArray(call) {
+    const [, dependency] = call.arguments;
+    if (!dependency) {
+        return true;
+    }
+    const value = unwrapTransparentExpression(dependency);
+    if (isAbsentDependencyExpression(value)) {
+        return true;
+    }
+    if (!ts.isIdentifier(value) || value.text !== "undefined") {
+        return false;
+    }
+    return bindingIsUnshadowed(call, value.text);
+}
+export function isReactEffectCall(call, imports) {
+    return (isImportedReactCall(call, imports, "useEffect") ||
+        isImportedReactCall(call, imports, "useLayoutEffect") ||
+        isImportedReactCall(call, imports, "useInsertionEffect"));
+}
+//# sourceMappingURL=effect-lifecycle.js.map

package/dist/src/rules/react-commit-sensitivity/effect-lifecycle.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-lifecycle.js","sourceRoot":"","sources":["../../../../src/rules/react-commit-sensitivity/effect-lifecycle.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,mBAAmB,EACnB,gBAAgB,EAChB,mBAAmB,GACpB,MAAM,yBAAyB,CAAC;AAGjC,OAAO,EAAE,oBAAoB,EAAE,MAAM,mCAAmC,CAAC;AACzE,OAAO,EAAE,MAAM,YAAY,CAAC;AAC5B,OAAO,EAAE,2BAA2B,EAAE,MAAM,4BAA4B,CAAC;AAUzE,MAAM,UAAU,wBAAwB,CACtC,UAAyB,EACzB,UAA+B;IAE/B,MAAM,KAAK,GAAG,2BAA2B,CAAC,UAAU,CAAC,CAAC;IACtD,IAAI,EAAE,CAAC,eAAe,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,KAAK,CAAC,EAAE,CAAC;QAChE,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/D,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,CACL,oBAAoB,CAAC,UAAU,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,qBAAqB,CAAC,KAAK,EAAE,UAAU,CAAC,CAC/F,CAAC;AACJ,CAAC;AAED,SAAS,qBAAqB,CAC5B,KAAoB,EACpB,UAA+B;IAE/B,MAAM,WAAW,GAAG,gBAAgB,CAAC,UAAU,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;IACnE,IAAI,WAAW,KAAK,IAAI,EAAE,CAAC;QACzB,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,IAAI,GAAG,EAAE,GAAG,UAAU,EAAE,IAAI,EAAE,IAAI,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;IAC/E,IAAI,EAAE,CAAC,YAAY,CAAC,WAAW,CAAC,EAAE,CAAC;QACjC,OAAO,wBAAwB,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;IACrD,CAAC;IACD,IACE,EAAE,CAAC,gBAAgB,CAAC,WAAW,CAAC;QAChC,mBAAmB,CAAC,WAAW,EAAE,UAAU,CAAC,OAAO,EAAE,aAAa,CAAC;QACnE,WAAW,CAAC,SAAS,CAAC,CAAC,CAAC,EACxB,CAAC;QACD,OAAO,wBAAwB,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;IAClE,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,4BAA4B,CAAC,KAAoB;IACxD,OAAO,KAAK,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,IAAI,EAAE,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAC;AAChF,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,IAAuB;IAC1D,MAAM,CAAC,EAAE,UAAU,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC;IACtC,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,KAAK,GAAG,2BAA2B,CAAC,UAAU,CAAC,CAAC;IACtD,IAAI,4BAA4B,CAAC,KAAK,CAAC,EAAE,CAAC;QACxC,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC1D,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,mBAAmB,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;AAC/C,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,IAAuB,EAAE,OAAoB;IAC7E,OAAO,CACL,mBAAmB,CAAC,IAAI,EAAE,OAAO,EAAE,WAAW,CAAC;QAC/C,mBAAmB,CAAC,IAAI,EAAE,OAAO,EAAE,iBAAiB,CAAC;QACrD,mBAAmB,CAAC,IAAI,EAAE,OAAO,EAAE,oBAAoB,CAAC,CACzD,CAAC;AACJ,CAAC"}

package/dist/src/rules/react-commit-sensitivity/react-commit-sensitivity.d.ts

@@ -0,0 +1,12 @@
+import type { HookImports } from "../../core/imports.js";
+import type { RuntimeFunctionLike } from "../../core/ast.js";
+import ts from "typescript";
+export interface ReactCommitContext {
+    directTransitionCallbacks: ReadonlyMap<RuntimeFunctionLike, readonly RuntimeFunctionLike[]>;
+    eventTransitionCallbacks: ReadonlyMap<RuntimeFunctionLike, ReadonlySet<RuntimeFunctionLike>>;
+    effectCalls: readonly ts.CallExpression[];
+    lifecycleRegions: ReadonlySet<ts.Node>;
+    sensitiveOwners: ReadonlySet<RuntimeFunctionLike>;
+}
+export declare function collectReactCommitContext(sourceFile: ts.SourceFile, imports: HookImports): ReactCommitContext;
+//# sourceMappingURL=react-commit-sensitivity.d.ts.map

package/dist/src/rules/react-commit-sensitivity/react-commit-sensitivity.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"react-commit-sensitivity.d.ts","sourceRoot":"","sources":["../../../../src/rules/react-commit-sensitivity/react-commit-sensitivity.ts"],"names":[],"mappings":"AAOA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACzD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAG7D,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,MAAM,WAAW,kBAAkB;IACjC,yBAAyB,EAAE,WAAW,CAAC,mBAAmB,EAAE,SAAS,mBAAmB,EAAE,CAAC,CAAC;IAC5F,wBAAwB,EAAE,WAAW,CAAC,mBAAmB,EAAE,WAAW,CAAC,mBAAmB,CAAC,CAAC,CAAC;IAC7F,WAAW,EAAE,SAAS,EAAE,CAAC,cAAc,EAAE,CAAC;IAC1C,gBAAgB,EAAE,WAAW,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IACvC,eAAe,EAAE,WAAW,CAAC,mBAAmB,CAAC,CAAC;CACnD;AAeD,wBAAgB,yBAAyB,CACvC,UAAU,EAAE,EAAE,CAAC,UAAU,EACzB,OAAO,EAAE,WAAW,GACnB,kBAAkB,CAmBpB"}

package/dist/src/rules/react-commit-sensitivity/react-commit-sensitivity.js

@@ -0,0 +1,90 @@
+import { directTransitionContext, isTransitionReference } from "./direct-transitions.js";
+import { findAncestor, isRuntimeFunctionLike, visit } from "../../core/ast.js";
+import { hasNoDependencyArray, isReactEffectCall, resolveLifecycleCallback, } from "./effect-lifecycle.js";
+import { isImportedReactCall } from "./binding-resolution.js";
+import { refIdentityMayChange } from "./ref-identity.js";
+import ts from "typescript";
+export function collectReactCommitContext(sourceFile, imports) {
+    const scan = {
+        effectCalls: [],
+        lifecycleRegions: new Set(),
+        nonTransitionSensitiveOwners: new Set(),
+        sensitiveOwners: new Set(),
+        transitionOwners: new Set(),
+    };
+    visit(sourceFile, (node) => {
+        collectCommitNode(node, scan, imports);
+    });
+    const transitions = transitionCallbackMaps(scan, imports);
+    return {
+        directTransitionCallbacks: transitions.direct,
+        effectCalls: scan.effectCalls,
+        eventTransitionCallbacks: transitions.event,
+        lifecycleRegions: scan.lifecycleRegions,
+        sensitiveOwners: scan.sensitiveOwners,
+    };
+}
+function collectCommitNode(node, scan, imports) {
+    if (ts.isJsxAttribute(node) && node.name.getText() === "ref") {
+        collectRefAttribute(node, scan, imports);
+        return;
+    }
+    if (ts.isCallExpression(node) && isReactEffectCall(node, imports)) {
+        collectEffectCall(node, scan, imports);
+        return;
+    }
+    if (isTransitionReference(node, imports)) {
+        markRuntimeAncestors(node, scan.sensitiveOwners);
+        markRuntimeAncestors(node, scan.transitionOwners);
+    }
+}
+function markCommitSensitive(node, scan) {
+    markRuntimeAncestors(node, scan.sensitiveOwners);
+    markRuntimeAncestors(node, scan.nonTransitionSensitiveOwners);
+}
+function collectRefAttribute(node, scan, imports) {
+    const expression = node.initializer && ts.isJsxExpression(node.initializer) ? node.initializer.expression : null;
+    const owner = expression ? findAncestor(node, isRuntimeFunctionLike) : null;
+    if (expression && owner && refIdentityMayChange(expression, owner, imports)) {
+        markCommitSensitive(node, scan);
+    }
+}
+function collectEffectCall(node, scan, imports) {
+    scan.lifecycleRegions.add(node);
+    const owner = findAncestor(node, isRuntimeFunctionLike);
+    const callback = owner && node.arguments[0]
+        ? resolveLifecycleCallback(node.arguments[0], { imports, owner, seen: new Set() })
+        : null;
+    if (callback) {
+        scan.lifecycleRegions.add(callback);
+    }
+    if (isImportedReactCall(node, imports, "useEffect")) {
+        scan.effectCalls.push(node);
+    }
+    if (hasNoDependencyArray(node)) {
+        markCommitSensitive(node, scan);
+    }
+}
+function transitionCallbackMaps(scan, imports) {
+    const direct = new Map();
+    const event = new Map();
+    for (const owner of scan.transitionOwners) {
+        if (scan.nonTransitionSensitiveOwners.has(owner)) {
+            continue;
+        }
+        const transitions = directTransitionContext(owner, imports);
+        if (transitions) {
+            direct.set(owner, transitions.callbacks);
+            event.set(owner, transitions.eventCallbacks);
+        }
+    }
+    return { direct, event };
+}
+function markRuntimeAncestors(node, owners) {
+    for (let current = node.parent; current; current = current.parent) {
+        if (isRuntimeFunctionLike(current)) {
+            owners.add(current);
+        }
+    }
+}
+//# sourceMappingURL=react-commit-sensitivity.js.map

package/dist/src/rules/react-commit-sensitivity/react-commit-sensitivity.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"react-commit-sensitivity.js","sourceRoot":"","sources":["../../../../src/rules/react-commit-sensitivity/react-commit-sensitivity.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,uBAAuB,EAAE,qBAAqB,EAAE,MAAM,yBAAyB,CAAC;AACzF,OAAO,EAAE,YAAY,EAAE,qBAAqB,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAC/E,OAAO,EACL,oBAAoB,EACpB,iBAAiB,EACjB,wBAAwB,GACzB,MAAM,uBAAuB,CAAC;AAG/B,OAAO,EAAE,mBAAmB,EAAE,MAAM,yBAAyB,CAAC;AAC9D,OAAO,EAAE,oBAAoB,EAAE,MAAM,mBAAmB,CAAC;AACzD,OAAO,EAAE,MAAM,YAAY,CAAC;AAuB5B,MAAM,UAAU,yBAAyB,CACvC,UAAyB,EACzB,OAAoB;IAEpB,MAAM,IAAI,GAAe;QACvB,WAAW,EAAE,EAAE;QACf,gBAAgB,EAAE,IAAI,GAAG,EAAE;QAC3B,4BAA4B,EAAE,IAAI,GAAG,EAAE;QACvC,eAAe,EAAE,IAAI,GAAG,EAAE;QAC1B,gBAAgB,EAAE,IAAI,GAAG,EAAE;KAC5B,CAAC;IACF,KAAK,CAAC,UAAU,EAAE,CAAC,IAAI,EAAE,EAAE;QACzB,iBAAiB,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IACH,MAAM,WAAW,GAAG,sBAAsB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC1D,OAAO;QACL,yBAAyB,EAAE,WAAW,CAAC,MAAM;QAC7C,WAAW,EAAE,IAAI,CAAC,WAAW;QAC7B,wBAAwB,EAAE,WAAW,CAAC,KAAK;QAC3C,gBAAgB,EAAE,IAAI,CAAC,gBAAgB;QACvC,eAAe,EAAE,IAAI,CAAC,eAAe;KACtC,CAAC;AACJ,CAAC;AAED,SAAS,iBAAiB,CAAC,IAAa,EAAE,IAAgB,EAAE,OAAoB;IAC9E,IAAI,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,KAAK,EAAE,CAAC;QAC7D,mBAAmB,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;QACzC,OAAO;IACT,CAAC;IACD,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,iBAAiB,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,CAAC;QAClE,iBAAiB,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;QACvC,OAAO;IACT,CAAC;IACD,IAAI,qBAAqB,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,CAAC;QACzC,oBAAoB,CAAC,IAAI,EAAE,IAAI,CAAC,eAAe,CAAC,CAAC;QACjD,oBAAoB,CAAC,IAAI,EAAE,IAAI,CAAC,gBAAgB,CAAC,CAAC;IACpD,CAAC;AACH,CAAC;AAED,SAAS,mBAAmB,CAAC,IAAa,EAAE,IAAgB;IAC1D,oBAAoB,CAAC,IAAI,EAAE,IAAI,CAAC,eAAe,CAAC,CAAC;IACjD,oBAAoB,CAAC,IAAI,EAAE,IAAI,CAAC,4BAA4B,CAAC,CAAC;AAChE,CAAC;AAED,SAAS,mBAAmB,CAAC,IAAqB,EAAE,IAAgB,EAAE,OAAoB;IACxF,MAAM,UAAU,GACd,IAAI,CAAC,WAAW,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC;IAChG,MAAM,KAAK,GAAG,UAAU,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,EAAE,qBAAqB,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC5E,IAAI,UAAU,IAAI,KAAK,IAAI,oBAAoB,CAAC,UAAU,EAAE,KAAK,EAAE,OAAO,CAAC,EAAE,CAAC;QAC5E,mBAAmB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAClC,CAAC;AACH,CAAC;AAED,SAAS,iBAAiB,CAAC,IAAuB,EAAE,IAAgB,EAAE,OAAoB;IACxF,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAChC,MAAM,KAAK,GAAG,YAAY,CAAC,IAAI,EAAE,qBAAqB,CAAC,CAAC;IACxD,MAAM,QAAQ,GACZ,KAAK,IAAI,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC;QACxB,CAAC,CAAC,wBAAwB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC;QAClF,CAAC,CAAC,IAAI,CAAC;IACX,IAAI,QAAQ,EAAE,CAAC;QACb,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IACtC,CAAC;IACD,IAAI,mBAAmB,CAAC,IAAI,EAAE,OAAO,EAAE,WAAW,CAAC,EAAE,CAAC;QACpD,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9B,CAAC;IACD,IAAI,oBAAoB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/B,mBAAmB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAClC,CAAC;AACH,CAAC;AAED,SAAS,sBAAsB,CAAC,IAAgB,EAAE,OAAoB;IACpE,MAAM,MAAM,GAAG,IAAI,GAAG,EAAuD,CAAC;IAC9E,MAAM,KAAK,GAAG,IAAI,GAAG,EAAyD,CAAC;IAC/E,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,gBAAgB,EAAE,CAAC;QAC1C,IAAI,IAAI,CAAC,4BAA4B,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;YACjD,SAAS;QACX,CAAC;QACD,MAAM,WAAW,GAAG,uBAAuB,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QAC5D,IAAI,WAAW,EAAE,CAAC;YAChB,MAAM,CAAC,GAAG,CAAC,KAAK,EAAE,WAAW,CAAC,SAAS,CAAC,CAAC;YACzC,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,WAAW,CAAC,cAAc,CAAC,CAAC;QAC/C,CAAC;IACH,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;AAC3B,CAAC;AAED,SAAS,oBAAoB,CAAC,IAAa,EAAE,MAAgC;IAC3E,KAAK,IAAI,OAAO,GAAwB,IAAI,CAAC,MAAM,EAAE,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC;QACvF,IAAI,qBAAqB,CAAC,OAAO,CAAC,EAAE,CAAC;YACnC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACtB,CAAC;IACH,CAAC;AACH,CAAC"}

package/dist/src/rules/react-commit-sensitivity/ref-identity.d.ts

@@ -0,0 +1,5 @@
+import type { HookImports } from "../../core/imports.js";
+import type { RuntimeFunctionLike } from "../../core/ast.js";
+import ts from "typescript";
+export declare function refIdentityMayChange(expression: ts.Expression, owner: RuntimeFunctionLike, imports: HookImports): boolean;
+//# sourceMappingURL=ref-identity.d.ts.map

package/dist/src/rules/react-commit-sensitivity/ref-identity.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ref-identity.d.ts","sourceRoot":"","sources":["../../../../src/rules/react-commit-sensitivity/ref-identity.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACzD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAE7D,OAAO,EAAE,MAAM,YAAY,CAAC;AAc5B,wBAAgB,oBAAoB,CAClC,UAAU,EAAE,EAAE,CAAC,UAAU,EACzB,KAAK,EAAE,mBAAmB,EAC1B,OAAO,EAAE,WAAW,GACnB,OAAO,CAST"}