oxlint-plugin-react-doctor 0.7.7-dev.287dff7 → 0.7.7-dev.4190897

package/dist/index.js

@@ -4573,6 +4573,23 @@ const hasPossibleStaticPropertyWrite = (identifier, propertyName, scopes) => {
 		return writtenPropertyName === null || writtenPropertyName === propertyName;
 	}));
 };
+const canExecuteBefore = (candidateNode, referenceNode, scopes) => {
+	const candidateBoundary = findExecutionBoundary(candidateNode);
+	const referenceBoundary = findExecutionBoundary(referenceNode);
+	if (!candidateBoundary || !referenceBoundary) return true;
+	if (candidateBoundary === referenceBoundary) return candidateNode.range[0] < referenceNode.range[0];
+	if (!isFunctionLike$1(candidateBoundary)) return true;
+	return isFunctionSynchronouslyInvokedBefore(candidateBoundary, referenceNode, scopes);
+};
+const hasPossibleStaticPropertyWriteBefore = (identifier, propertyName, referenceNode, scopes) => {
+	if (!isNodeOfType(identifier, "Identifier")) return false;
+	return getPotentiallyAliasedSymbols(identifier, scopes).some((symbol) => symbol.references.some((reference) => {
+		const writeTarget = getMemberWriteTarget(reference.identifier);
+		if (!writeTarget || !canExecuteBefore(writeTarget, referenceNode, scopes)) return false;
+		const writtenPropertyName = getResolvedStaticPropertyName(writeTarget, scopes);
+		return writtenPropertyName === null || writtenPropertyName === propertyName;
+	}));
+};
 const hasPossibleStaticPropertyMutationOrEscape = (identifier, propertyName, scopes) => {
 	if (!isNodeOfType(identifier, "Identifier")) return false;
 	if (hasPossibleStaticPropertyWrite(identifier, propertyName, scopes)) return true;
@@ -11673,6 +11690,25 @@ const getFunctionBindingName$1 = (functionNode) => getFunctionBindingIdentifier(
 //#region src/plugin/utils/is-event-handler-attribute.ts
 const isEventHandlerAttribute = (node) => isNodeOfType(node, "JSXAttribute") && isNodeOfType(node.name, "JSXIdentifier") && /^on[A-Z]/.test(node.name.name);
 //#endregion
+//#region src/plugin/utils/is-ast-descendant.ts
+/**
+* True when `inner` is `outer` itself or any descendant in the AST
+* `parent` chain. Walks `inner.parent` upward and stops at either a
+* match (`true`) or the chain's root (`false`).
+*
+* Was duplicated byte-identical in:
+* - exhaustive-deps-symbol-stability.ts
+* - semantic/closure-captures.ts
+*/
+const isAstDescendant = (inner, outer) => {
+	let current = inner;
+	while (current) {
+		if (current === outer) return true;
+		current = current.parent ?? null;
+	}
+	return false;
+};
+//#endregion
 //#region src/plugin/utils/react-ref-origin.ts
 const resolveReactRefSymbol = (memberExpression, scopes) => {
 	const receiver = isNodeOfType(memberExpression, "MemberExpression") ? stripParenExpression(memberExpression.object) : null;
@@ -12322,26 +12358,39 @@ const callbackReturnsCleanupForUsage = (callback, usage, context) => {
 	});
 	return doMatchingNodesCoverEveryPathFromFunctionEntry(callback, matchingCleanupReturns, context);
 };
+const findDirectHandleGuardForRelease = (releaseCall, owner, usage, context) => {
+	if (usage.handleKey === null) return null;
+	const doesTestRequireLiveHandle = (test) => {
+		if (resolveExpressionKey(test, context) === usage.handleKey) return true;
+		const unwrappedTest = stripParenExpression(test);
+		if (!isNodeOfType(unwrappedTest, "BinaryExpression") || unwrappedTest.operator !== "!=" && unwrappedTest.operator !== "!==") return false;
+		const isNullishOperand = (operand) => {
+			const unwrappedOperand = stripParenExpression(operand);
+			return isNodeOfType(unwrappedOperand, "Literal") && unwrappedOperand.value === null || isNodeOfType(unwrappedOperand, "Identifier") && unwrappedOperand.name === "undefined" && context.scopes.isGlobalReference(unwrappedOperand);
+		};
+		return resolveExpressionKey(unwrappedTest.left, context) === usage.handleKey && isNullishOperand(unwrappedTest.right) || resolveExpressionKey(unwrappedTest.right, context) === usage.handleKey && isNullishOperand(unwrappedTest.left);
+	};
+	let ancestor = releaseCall.parent;
+	while (ancestor && ancestor !== owner) {
+		if (isNodeOfType(ancestor, "IfStatement")) {
+			if (ancestor.alternate !== null || !doesTestRequireLiveHandle(ancestor.test) || !doMatchingNodesCoverEveryPathAfterUsage(ancestor.consequent, [releaseCall], context)) return null;
+			return ancestor;
+		}
+		ancestor = ancestor.parent;
+	}
+	return null;
+};
 const hasRerunReleaseBeforeUsage = (callback, usage, context) => {
 	if (!isNodeOfType(callback, "ArrowFunctionExpression") && !isNodeOfType(callback, "FunctionExpression") || !isNodeOfType(callback.body, "BlockStatement")) return false;
 	const functionCfg = context.cfg.cfgFor(callback);
 	const usageBlock = functionCfg?.blockOf(usage.node);
 	const usageStart = getRangeStart(usage.node);
 	if (!functionCfg || !usageBlock || usageStart === null) return false;
-	const findHandleGuard = (releaseCall) => {
-		if (usage.handleKey === null) return null;
-		let ancestor = releaseCall.parent;
-		while (ancestor && ancestor !== callback.body) {
-			if (isNodeOfType(ancestor, "IfStatement")) return ancestor.alternate === null && resolveExpressionKey(ancestor.test, context) === usage.handleKey && getRangeStart(ancestor) !== null && (getRangeStart(ancestor) ?? usageStart) < usageStart ? ancestor : null;
-			ancestor = ancestor.parent;
-		}
-		return null;
-	};
 	const matchingReleaseAnchors = [];
 	walkInsideStatementBlocks(callback.body, (child) => {
 		if (!isNodeOfType(child, "CallExpression")) return;
 		const releaseStart = getRangeStart(child);
-		const handleGuard = findHandleGuard(child);
+		const handleGuard = findDirectHandleGuardForRelease(child, callback, usage, context);
 		if (releaseStart === null || releaseStart >= usageStart || functionCfg.blockOf(child) !== usageBlock && !handleGuard) return;
 		if (doesReleaseCallMatchUsage(child, usage, context)) {
 			matchingReleaseAnchors.push(handleGuard ?? child);
@@ -12371,12 +12420,12 @@ const hasStableUnmountCleanupForUsage = (callback, usage, context) => {
 	return didFindUnmountCleanup;
 };
 const hasSplitLifecycleCleanup = (callback, usage, context) => usage.handleKey !== null && hasRerunReleaseBeforeUsage(callback, usage, context) && hasStableUnmountCleanupForUsage(callback, usage, context);
-const collectBlockingBooleanStates = (expression, blockedExpressionValue, context) => {
+const collectBlockingBooleanStates = (expression, blockedExpressionValue, guardNode, context) => {
 	const unwrappedExpression = stripParenExpression(expression);
-	if (isNodeOfType(unwrappedExpression, "UnaryExpression") && unwrappedExpression.operator === "!") return collectBlockingBooleanStates(unwrappedExpression.argument, !blockedExpressionValue, context);
+	if (isNodeOfType(unwrappedExpression, "UnaryExpression") && unwrappedExpression.operator === "!") return collectBlockingBooleanStates(unwrappedExpression.argument, !blockedExpressionValue, guardNode, context);
 	if (isNodeOfType(unwrappedExpression, "LogicalExpression")) {
 		if (!(unwrappedExpression.operator === "||" && blockedExpressionValue || unwrappedExpression.operator === "&&" && !blockedExpressionValue)) return [];
-		return [...collectBlockingBooleanStates(unwrappedExpression.left, blockedExpressionValue, context), ...collectBlockingBooleanStates(unwrappedExpression.right, blockedExpressionValue, context)];
+		return [...collectBlockingBooleanStates(unwrappedExpression.left, blockedExpressionValue, guardNode, context), ...collectBlockingBooleanStates(unwrappedExpression.right, blockedExpressionValue, guardNode, context)];
 	}
 	if (isNodeOfType(unwrappedExpression, "BinaryExpression") && [
 		"===",
@@ -12387,35 +12436,59 @@ const collectBlockingBooleanStates = (expression, blockedExpressionValue, contex
 		const leftValue = readStaticBoolean(unwrappedExpression.left);
 		const rightValue = readStaticBoolean(unwrappedExpression.right);
 		const booleanValue = leftValue ?? rightValue;
-		const comparedKey = resolveExpressionKey(leftValue === null ? unwrappedExpression.left : unwrappedExpression.right, context);
+		const comparedExpression = leftValue === null ? unwrappedExpression.left : unwrappedExpression.right;
+		const comparedKey = resolveExpressionKey(comparedExpression, context);
 		if (booleanValue === null || comparedKey === null) return [];
+		const isEquality = unwrappedExpression.operator === "===" || unwrappedExpression.operator === "==";
 		return [{
+			bindingIdentifier: isNodeOfType(comparedExpression, "Identifier") ? context.scopes.symbolFor(comparedExpression)?.bindingIdentifier ?? null : null,
+			guardNode,
 			key: comparedKey,
-			value: (unwrappedExpression.operator === "===" || unwrappedExpression.operator === "==") === blockedExpressionValue ? booleanValue : !booleanValue
+			value: isEquality === blockedExpressionValue ? booleanValue : !booleanValue
 		}];
 	}
 	const expressionKey = resolveExpressionKey(unwrappedExpression, context);
 	return expressionKey === null ? [] : [{
+		bindingIdentifier: isNodeOfType(unwrappedExpression, "Identifier") ? context.scopes.symbolFor(unwrappedExpression)?.bindingIdentifier ?? null : null,
+		guardNode,
 		key: expressionKey,
 		value: blockedExpressionValue
 	}];
 };
-const isDirectEarlyReturnConsequent = (ifStatement) => {
-	if (!isNodeOfType(ifStatement, "IfStatement") || ifStatement.alternate) return false;
-	if (isNodeOfType(ifStatement.consequent, "ReturnStatement")) return true;
-	return isNodeOfType(ifStatement.consequent, "BlockStatement") && ifStatement.consequent.body.length === 1 && isNodeOfType(ifStatement.consequent.body[0], "ReturnStatement");
+const canNodeReachLaterNodeWithinFunction = (sourceNode, targetNode, owner, context) => {
+	const functionCfg = context.cfg.cfgFor(owner);
+	const sourceBlock = functionCfg?.blockOf(sourceNode);
+	const targetBlock = functionCfg?.blockOf(targetNode);
+	const sourceStart = getRangeStart(sourceNode);
+	const targetStart = getRangeStart(targetNode);
+	if (!functionCfg || !sourceBlock || !targetBlock || sourceStart === null || targetStart === null) return true;
+	if (!isNodeReachableWithinFunction(sourceNode, context)) return false;
+	if (sourceBlock === targetBlock) return sourceStart < targetStart;
+	const visitedBlocks = new Set([sourceBlock]);
+	const pendingBlocks = [sourceBlock];
+	while (pendingBlocks.length > 0) {
+		const currentBlock = pendingBlocks.pop();
+		if (!currentBlock) break;
+		for (const edge of currentBlock.successors) {
+			if (edge.to === targetBlock) return true;
+			if (visitedBlocks.has(edge.to)) continue;
+			visitedBlocks.add(edge.to);
+			pendingBlocks.push(edge.to);
+		}
+	}
+	return false;
 };
 const collectDeferredUsageGuardStates = (callback, usageNode, context) => {
 	if (!isFunctionLike$1(callback) || callback.async) return [];
 	const guardStates = [];
 	walkAst(callback.body, (child) => {
 		if (child !== callback.body && isFunctionLike$1(child)) return false;
-		if (isNodeOfType(child, "IfStatement") && isDirectEarlyReturnConsequent(child) && doMatchingNodesCoverEveryPathBeforeUsage(usageNode, [child], callback, context)) guardStates.push(...collectBlockingBooleanStates(child.test, true, context));
+		if (isNodeOfType(child, "IfStatement") && !child.alternate && !canNodeReachLaterNodeWithinFunction(child.consequent, usageNode, callback, context) && doMatchingNodesCoverEveryPathBeforeUsage(usageNode, [child], callback, context)) guardStates.push(...collectBlockingBooleanStates(child.test, true, child, context));
 	});
 	let descendant = usageNode;
 	let ancestor = descendant.parent;
 	while (ancestor && ancestor !== callback) {
-		if (isNodeOfType(ancestor, "IfStatement") && ancestor.consequent === descendant) guardStates.push(...collectBlockingBooleanStates(ancestor.test, false, context));
+		if (isNodeOfType(ancestor, "IfStatement") && ancestor.consequent === descendant) guardStates.push(...collectBlockingBooleanStates(ancestor.test, false, ancestor, context));
 		descendant = ancestor;
 		ancestor = ancestor.parent;
 	}
@@ -12424,7 +12497,7 @@ const collectDeferredUsageGuardStates = (callback, usageNode, context) => {
 const cleanupReturnInvalidatesGuard = (cleanupReturn, guardState, context) => {
 	if (!isNodeOfType(cleanupReturn, "ReturnStatement") || !cleanupReturn.argument) return false;
 	const cleanupFunction = resolveStableValue(cleanupReturn.argument, context);
-	if (!cleanupFunction || !isFunctionLike$1(cleanupFunction) || cleanupFunction.async) return false;
+	if (!cleanupFunction || !isFunctionLike$1(cleanupFunction) || cleanupFunction.async || cleanupFunction.generator) return false;
 	let didInvalidateGuard = false;
 	walkAst(cleanupFunction.body, (child) => {
 		if (didInvalidateGuard) return false;
@@ -12453,11 +12526,110 @@ const deferredUsageWritesGuardBeforeUsage = (callback, usageNode, guardState, co
 	});
 	return didWriteGuard;
 };
+const canInterruptionReachUsageThroughCatch = (interruptionNode, usageNode, owner, context) => {
+	let descendant = interruptionNode;
+	let ancestor = descendant.parent;
+	while (ancestor && ancestor !== owner) {
+		if (isNodeOfType(ancestor, "TryStatement") && ancestor.block === descendant && ancestor.handler && canNodeReachLaterNodeWithinFunction(ancestor.handler.body, usageNode, owner, context)) return true;
+		descendant = ancestor;
+		ancestor = ancestor.parent;
+	}
+	return false;
+};
+const isEffectLocalLifecycleGuard = (callback, guardState, cleanupFunctions, context) => {
+	if (!guardState.bindingIdentifier) return false;
+	const guardSymbol = context.scopes.symbolFor(guardState.bindingIdentifier);
+	if (!guardSymbol || guardSymbol.kind !== "let" && guardSymbol.kind !== "var" || !isNodeOfType(guardSymbol.declarationNode, "VariableDeclarator") || findEnclosingFunction$1(guardSymbol.declarationNode) !== callback) return false;
+	return guardSymbol.references.every((reference) => {
+		if (!isWithinAssignmentTarget(reference.identifier)) return true;
+		const assignmentTarget = findTransparentExpressionRoot(reference.identifier);
+		const assignment = assignmentTarget.parent;
+		return isNodeOfType(assignment, "AssignmentExpression") && assignment.operator === "=" && assignment.left === assignmentTarget && readStaticBoolean(assignment.right) === guardState.value && cleanupFunctions.includes(findEnclosingFunction$1(assignment) ?? assignment);
+	});
+};
+const hasPotentialInterruptionAfterGuard = (callback, guardState, usageNode, context) => {
+	if (!isFunctionLike$1(callback)) return true;
+	const guardStart = getRangeStart(guardState.guardNode);
+	const usageStart = getRangeStart(usageNode);
+	if (guardStart === null || usageStart === null) return true;
+	let hasPotentialInterruption = false;
+	walkAst(callback.body, (child) => {
+		if (hasPotentialInterruption) return false;
+		if (child !== callback.body && isFunctionLike$1(child)) return false;
+		const childStart = getRangeStart(child);
+		if (childStart === null || childStart <= guardStart || childStart >= usageStart) return;
+		if (isNodeOfType(child, "CallExpression") || isNodeOfType(child, "AwaitExpression") || isNodeOfType(child, "YieldExpression")) {
+			if (canNodeReachLaterNodeWithinFunction(child, usageNode, callback, context) || canInterruptionReachUsageThroughCatch(child, usageNode, callback, context)) {
+				hasPotentialInterruption = true;
+				return false;
+			}
+		}
+	});
+	return hasPotentialInterruption;
+};
 const hasGuardedDeferredCleanup = (callback, usage, cleanupReturns, context) => {
 	const usageFunction = findEnclosingFunction$1(usage.node);
 	const promiseChainCall = usageFunction ? getPromiseChainCallForCallback(usageFunction) : null;
-	if (usage.handleKey === null || !usageFunction || usageFunction === callback || !promiseChainCall || !collectEffectInvokedFunctions(callback).has(usageFunction) || !doMatchingNodesCoverEveryPathAfterUsage(promiseChainCall, cleanupReturns, context)) return false;
-	return collectDeferredUsageGuardStates(usageFunction, usage.node, context).some((guardState) => !deferredUsageWritesGuardBeforeUsage(usageFunction, usage.node, guardState, context) && cleanupReturns.every((cleanupReturn) => cleanupReturnInvalidatesGuard(cleanupReturn, guardState, context)));
+	if (usage.kind !== "timer" || usage.handleKey === null || !usageFunction || !isFunctionLike$1(usageFunction) || usageFunction === callback || usageFunction.async || usageFunction.generator || !isNodeOfType(usage.node, "CallExpression") || !isNodeOfType(usage.node.callee, "Identifier") || !context.scopes.isGlobalReference(usage.node.callee) || !promiseChainCall || !collectEffectInvokedFunctions(callback).has(usageFunction) || !doMatchingNodesCoverEveryPathAfterUsage(promiseChainCall, cleanupReturns, context)) return false;
+	const usageExpression = findTransparentExpressionRoot(usage.node);
+	const usageAssignment = usageExpression.parent;
+	if (!isNodeOfType(usageAssignment, "AssignmentExpression") || usageAssignment.operator !== "=" || usageAssignment.right !== usageExpression || !isNodeOfType(usageAssignment.left, "Identifier")) return false;
+	const handleSymbol = context.scopes.symbolFor(usageAssignment.left);
+	if (!handleSymbol || handleSymbol.kind !== "let" && handleSymbol.kind !== "var" || !isNodeOfType(handleSymbol.declarationNode, "VariableDeclarator") || findEnclosingFunction$1(handleSymbol.declarationNode) !== callback) return false;
+	const cleanupFunctions = cleanupReturns.flatMap((cleanupReturn) => {
+		if (!isNodeOfType(cleanupReturn, "ReturnStatement") || !cleanupReturn.argument) return [];
+		const cleanupFunction = resolveStableValue(cleanupReturn.argument, context);
+		return cleanupFunction && isFunctionLike$1(cleanupFunction) ? [cleanupFunction] : [];
+	});
+	if (cleanupFunctions.length !== cleanupReturns.length) return false;
+	const globalReleaseProofsByCleanup = /* @__PURE__ */ new Map();
+	for (const cleanupFunction of cleanupFunctions) {
+		if (!isFunctionLike$1(cleanupFunction)) return false;
+		const globalReleaseProofs = [];
+		walkAst(cleanupFunction.body, (child) => {
+			if (child !== cleanupFunction.body && isFunctionLike$1(child)) return false;
+			if (isNodeOfType(child, "CallExpression") && isNodeOfType(child.callee, "Identifier") && context.scopes.isGlobalReference(child.callee) && doesReleaseCallMatchUsage(child, usage, context)) {
+				const handleGuard = findDirectHandleGuardForRelease(child, cleanupFunction, usage, context);
+				globalReleaseProofs.push({
+					anchor: handleGuard ?? child,
+					call: child,
+					handleGuard
+				});
+			}
+		});
+		if (!doMatchingNodesCoverEveryPathFromFunctionEntry(cleanupFunction, globalReleaseProofs.map((releaseProof) => releaseProof.anchor), context)) return false;
+		globalReleaseProofsByCleanup.set(cleanupFunction, globalReleaseProofs);
+	}
+	const handleAssignments = handleSymbol.references.filter((reference) => isWithinAssignmentTarget(reference.identifier));
+	const hasUsageAssignment = handleAssignments.some((handleAssignment) => findTransparentExpressionRoot(handleAssignment.identifier).parent === usageAssignment);
+	const hasUnsafeHandleAssignment = handleAssignments.some((handleAssignment) => {
+		const assignmentTarget = findTransparentExpressionRoot(handleAssignment.identifier);
+		const assignment = assignmentTarget.parent;
+		if (assignment === usageAssignment) return false;
+		if (!isNodeOfType(assignment, "AssignmentExpression") || assignment.operator !== "=" || assignment.left !== assignmentTarget) return true;
+		const assignedValue = stripParenExpression(assignment.right);
+		if (!(isNodeOfType(assignedValue, "Literal") && assignedValue.value === null || isNodeOfType(assignedValue, "Identifier") && assignedValue.name === "undefined" && context.scopes.isGlobalReference(assignedValue))) return true;
+		const cleanupFunction = findEnclosingFunction$1(assignment);
+		const globalReleaseProofs = cleanupFunction ? globalReleaseProofsByCleanup.get(cleanupFunction) : void 0;
+		return !(cleanupFunction && globalReleaseProofs && doMatchingNodesCoverEveryPathBeforeUsage(assignment, globalReleaseProofs.map((releaseProof) => releaseProof.handleGuard && isAstDescendant(assignment, releaseProof.handleGuard.consequent) ? releaseProof.call : releaseProof.anchor), cleanupFunction, context));
+	});
+	if (!hasUsageAssignment || hasUnsafeHandleAssignment) return false;
+	let usageAncestor = usage.node.parent;
+	while (usageAncestor && usageAncestor !== usageFunction) {
+		if (isNodeOfType(usageAncestor, "ForStatement") || isNodeOfType(usageAncestor, "ForInStatement") || isNodeOfType(usageAncestor, "ForOfStatement") || isNodeOfType(usageAncestor, "WhileStatement") || isNodeOfType(usageAncestor, "DoWhileStatement")) return false;
+		usageAncestor = usageAncestor.parent;
+	}
+	let hasPotentialInterruption = false;
+	for (const argument of usage.node.arguments ?? []) walkAst(argument, (argumentChild) => {
+		if (hasPotentialInterruption) return false;
+		if (isFunctionLike$1(argumentChild)) return false;
+		if (isNodeOfType(argumentChild, "CallExpression") || isNodeOfType(argumentChild, "AwaitExpression") || isNodeOfType(argumentChild, "YieldExpression")) {
+			hasPotentialInterruption = true;
+			return false;
+		}
+	});
+	if (hasPotentialInterruption) return false;
+	return collectDeferredUsageGuardStates(usageFunction, usage.node, context).some((guardState) => isEffectLocalLifecycleGuard(callback, guardState, cleanupFunctions, context) && !hasPotentialInterruptionAfterGuard(usageFunction, guardState, usage.node, context) && !deferredUsageWritesGuardBeforeUsage(usageFunction, usage.node, guardState, context) && cleanupReturns.every((cleanupReturn) => cleanupReturnInvalidatesGuard(cleanupReturn, guardState, context)));
 };
 const effectHasCleanupForUsage = (callback, usage, context) => {
 	if (!isNodeOfType(callback, "ArrowFunctionExpression") && !isNodeOfType(callback, "FunctionExpression")) return false;
@@ -13023,7 +13195,7 @@ const effectNeedsCleanup = defineRule({
 				const hookName = getCalleeName$2(node) ?? "effect";
 				context.report({
 					node,
-					message: `\`${firstUsage.resourceName}\` creates a ${resourceNoun} in ${hookName} without returning cleanup. Return a cleanup function so it does not leak after unmount.`
+					message: `\`${firstUsage.resourceName}\` creates a ${resourceNoun} in ${hookName} without guaranteed cleanup. Return a cleanup function that owns every allocation so it does not leak after unmount.`
 				});
 			},
 			FunctionDeclaration(node) {
@@ -14454,7 +14626,7 @@ const buildAsyncEffectMessage = (hookName) => `\`${hookName}\` was given an asyn
 const buildUnknownCallbackMessage = (hookName) => `\`${hookName}\`'s callback is defined elsewhere, so dependencies can't be checked and stale values can slip through.`;
 const buildUnstableDepMessage = (hookName, depName) => `\`${depName}\` is rebuilt every render, so \`${hookName}\` runs every time.`;
 const buildForwardedUnstableDepMessage = (depName) => `\`${depName}\` is rebuilt every render and reaches a Hook dependency inside this custom Hook.`;
-const buildSetStateWithoutDepsMessage = (hookName, setterName) => `\`${hookName}\` calls \`${setterName}\` with no dependency array, so it can loop forever & freeze the component.`;
+const buildSetStateWithoutDepsMessage = (hookName, setterName) => `\`${hookName}\` calls \`${setterName}\` with a value that can change on every render and no dependency array, so it can keep triggering renders.`;
 const buildRefCleanupMessage = (depName) => `Your cleanup may read the wrong node since the ref \`${depName}\` can change before it runs.`;
 const buildAssignmentMessage = (name) => `Assigning to \`${name}\` inside a hook is thrown away after each render, so the next render reads the old value.`;
 //#endregion
@@ -14473,25 +14645,6 @@ const resolveExhaustiveDepsSettings = (settings) => {
 	};
 };
 //#endregion
-//#region src/plugin/utils/is-ast-descendant.ts
-/**
-* True when `inner` is `outer` itself or any descendant in the AST
-* `parent` chain. Walks `inner.parent` upward and stops at either a
-* match (`true`) or the chain's root (`false`).
-*
-* Was duplicated byte-identical in:
-* - exhaustive-deps-symbol-stability.ts
-* - semantic/closure-captures.ts
-*/
-const isAstDescendant = (inner, outer) => {
-	let current = inner;
-	while (current) {
-		if (current === outer) return true;
-		current = current.parent ?? null;
-	}
-	return false;
-};
-//#endregion
 //#region src/plugin/rules/react-builtins/exhaustive-deps-sole-writer-guard.ts
 const EQUALITY_BINARY_OPERATORS = new Set(["===", "!=="]);
 const getUseStateSetterSymbol = (stateSymbol, scopes) => {
@@ -15233,26 +15386,125 @@ const isExtraDepAllowedForHook = (hookName, node, scopes) => {
 };
 const hasDirectIdentifierDeclarator = (symbol) => isNodeOfType(symbol.declarationNode, "VariableDeclarator") && isNodeOfType(symbol.declarationNode.id, "Identifier") || isNodeOfType(symbol.declarationNode, "ClassDeclaration");
 const isFunctionValueSymbol = (symbol) => getFunctionValueNode(symbol) !== null;
-const isStableSetterLikeSymbol = (symbol, scopes) => {
-	if (!symbolHasStableHookOrigin(symbol, scopes)) return false;
-	return symbol.name.startsWith("set") || symbol.name.startsWith("dispatch") || symbol.name.startsWith("startTransition");
+const FRESH_STATE_CONSTRUCTOR_NAMES = new Set([
+	"Array",
+	"Date",
+	"Error",
+	"Map",
+	"Object",
+	"RegExp",
+	"Set",
+	"WeakMap",
+	"WeakSet"
+]);
+const getBindingIdentifier = (node) => {
+	if (!node) return null;
+	const candidate = isNodeOfType(node, "AssignmentPattern") ? node.left : node;
+	return isNodeOfType(candidate, "Identifier") ? candidate : null;
 };
-const isConvergingFunctionalUpdater = (node, scopes) => {
-	const updater = unwrapExpression$3(node);
-	if (!isNodeOfType(updater, "ArrowFunctionExpression") && !isNodeOfType(updater, "FunctionExpression")) return false;
-	const previousValueParameter = updater.params?.[0];
-	if (!previousValueParameter || !isNodeOfType(previousValueParameter, "Identifier")) return false;
-	let returnedExpression = updater.body;
-	if (isNodeOfType(updater.body, "BlockStatement")) {
-		returnedExpression = null;
-		for (const statement of updater.body.body ?? []) if (isNodeOfType(statement, "ReturnStatement") && statement.argument) {
-			returnedExpression = statement.argument;
-			break;
+const resolveStateSetterSymbol = (identifier, scopes) => {
+	const visitedSymbolIds = /* @__PURE__ */ new Set();
+	let symbol = scopes.symbolFor(identifier);
+	while (symbol?.kind === "const" && isNodeOfType(symbol.declarationNode, "VariableDeclarator") && symbol.declarationNode.id === symbol.bindingIdentifier && symbol.initializer) {
+		if (visitedSymbolIds.has(symbol.id)) return null;
+		visitedSymbolIds.add(symbol.id);
+		const initializer = unwrapExpression$3(symbol.initializer);
+		if (!isNodeOfType(initializer, "Identifier")) return symbol;
+		symbol = scopes.symbolFor(initializer);
+	}
+	return symbol;
+};
+const getStateSetterDescriptor = (identifier, scopes) => {
+	const setterSymbol = resolveStateSetterSymbol(identifier, scopes);
+	if (!setterSymbol || !isNodeOfType(setterSymbol.declarationNode, "VariableDeclarator")) return null;
+	const declarator = setterSymbol.declarationNode;
+	if (!isNodeOfType(declarator.id, "ArrayPattern")) return null;
+	const setterElement = declarator.id.elements?.[1];
+	const setterBinding = isAstNode(setterElement) ? getBindingIdentifier(setterElement) : null;
+	if (!setterBinding || setterBinding !== setterSymbol.bindingIdentifier) return null;
+	const initializer = declarator.init ? unwrapExpression$3(declarator.init) : null;
+	if (!initializer || !isNodeOfType(initializer, "CallExpression") || !isReactApiCall(initializer, "useState", scopes, {
+		allowGlobalReactNamespace: true,
+		allowUnboundBareCalls: true,
+		resolveNamedAliases: true
+	})) return null;
+	const stateElement = declarator.id.elements?.[0];
+	const stateBinding = isAstNode(stateElement) ? getBindingIdentifier(stateElement) : null;
+	return {
+		setterSymbol,
+		stateSymbol: stateBinding ? scopes.symbolFor(stateBinding) : null
+	};
+};
+const expressionReadsSymbol = (node, symbol, scopes, visitedSymbolIds = /* @__PURE__ */ new Set()) => {
+	if (!symbol) return false;
+	const candidate = unwrapExpression$3(node);
+	if (isNodeOfType(candidate, "Identifier")) {
+		const reference = scopes.referenceFor(candidate);
+		if (reference?.flag !== "write" && reference?.resolvedSymbol?.id === symbol.id) return true;
+		const candidateSymbol = reference?.resolvedSymbol;
+		if (candidateSymbol?.kind === "const" && candidateSymbol.initializer && !isOutsideAllFunctions(candidateSymbol) && !visitedSymbolIds.has(candidateSymbol.id)) {
+			const nextVisitedSymbolIds = new Set(visitedSymbolIds);
+			nextVisitedSymbolIds.add(candidateSymbol.id);
+			return expressionReadsSymbol(candidateSymbol.initializer, symbol, scopes, nextVisitedSymbolIds);
 		}
+		return false;
+	}
+	const record = candidate;
+	for (const key of Object.keys(record)) {
+		if (key === "parent") continue;
+		const child = record[key];
+		if (Array.isArray(child)) {
+			if (child.some((item) => isAstNode(item) && expressionReadsSymbol(item, symbol, scopes))) return true;
+		} else if (isAstNode(child) && expressionReadsSymbol(child, symbol, scopes)) return true;
+	}
+	return false;
+};
+const isGuaranteedFreshStateValue = (node, scopes, visitedSymbolIds = /* @__PURE__ */ new Set()) => {
+	const candidate = unwrapExpression$3(node);
+	if (isNodeOfType(candidate, "ObjectExpression") || isNodeOfType(candidate, "ArrayExpression") || isNodeOfType(candidate, "JSXElement") || isNodeOfType(candidate, "JSXFragment") || isRegExpLiteral(candidate)) return true;
+	if (isNodeOfType(candidate, "SequenceExpression")) {
+		const finalExpression = candidate.expressions.at(-1);
+		return Boolean(finalExpression && isGuaranteedFreshStateValue(finalExpression, scopes));
 	}
-	const conditional = returnedExpression ? unwrapExpression$3(returnedExpression) : null;
-	if (!conditional || !isNodeOfType(conditional, "ConditionalExpression")) return false;
-	const test = unwrapExpression$3(conditional.test);
+	if (isNodeOfType(candidate, "ConditionalExpression")) return isGuaranteedFreshStateValue(candidate.consequent, scopes, visitedSymbolIds) && isGuaranteedFreshStateValue(candidate.alternate, scopes, visitedSymbolIds);
+	if (isNodeOfType(candidate, "LogicalExpression")) return isGuaranteedFreshStateValue(candidate.left, scopes, visitedSymbolIds) && isGuaranteedFreshStateValue(candidate.right, scopes, visitedSymbolIds);
+	if (isNodeOfType(candidate, "CallExpression")) {
+		const callee = unwrapExpression$3(candidate.callee);
+		return isNodeOfType(callee, "Identifier") && scopes.isGlobalReference(callee) && (callee.name === "Array" || callee.name === "Object") && (callee.name === "Array" || candidate.arguments.length === 0);
+	}
+	if (isNodeOfType(candidate, "NewExpression")) {
+		const callee = unwrapExpression$3(candidate.callee);
+		return isNodeOfType(callee, "Identifier") && scopes.isGlobalReference(callee) && FRESH_STATE_CONSTRUCTOR_NAMES.has(callee.name) && (callee.name !== "Object" || candidate.arguments.length === 0);
+	}
+	if (!isNodeOfType(candidate, "Identifier")) return false;
+	const symbol = scopes.symbolFor(candidate);
+	if (!symbol || symbol.kind !== "const" || !symbol.initializer || isOutsideAllFunctions(symbol) || visitedSymbolIds.has(symbol.id)) return false;
+	const nextVisitedSymbolIds = new Set(visitedSymbolIds);
+	nextVisitedSymbolIds.add(symbol.id);
+	return isGuaranteedFreshStateValue(symbol.initializer, scopes, nextVisitedSymbolIds);
+};
+const isNonZeroLiteral = (node) => {
+	const candidate = unwrapExpression$3(node);
+	return isNodeOfType(candidate, "Literal") && (typeof candidate.value === "number" && candidate.value !== 0 || typeof candidate.value === "bigint" && candidate.value !== 0n || typeof candidate.value === "string" && candidate.value.length > 0);
+};
+const isProvablyChangingExpression = (node, previousValueSymbol, scopes) => {
+	const candidate = unwrapExpression$3(node);
+	if (isGuaranteedFreshStateValue(candidate, scopes)) return true;
+	if (isNodeOfType(candidate, "ConditionalExpression")) {
+		const isConsequentChanging = isProvablyChangingExpression(candidate.consequent, previousValueSymbol, scopes);
+		const isAlternateChanging = isProvablyChangingExpression(candidate.alternate, previousValueSymbol, scopes);
+		return expressionReadsSymbol(candidate.test, previousValueSymbol, scopes) ? isConsequentChanging && isAlternateChanging : isConsequentChanging || isAlternateChanging;
+	}
+	if (!expressionReadsSymbol(candidate, previousValueSymbol, scopes)) return false;
+	if (isNodeOfType(candidate, "UnaryExpression")) return candidate.operator === "!";
+	if (isNodeOfType(candidate, "UpdateExpression")) return true;
+	if (!isNodeOfType(candidate, "BinaryExpression")) return false;
+	return (candidate.operator === "+" || candidate.operator === "-") && expressionReadsSymbol(candidate.left, previousValueSymbol, scopes) && isNonZeroLiteral(candidate.right);
+};
+const isFreshEqualityGuardUpdater = (node, previousValueSymbol, scopes) => {
+	const candidate = unwrapExpression$3(node);
+	if (!isNodeOfType(candidate, "ConditionalExpression")) return false;
+	const test = unwrapExpression$3(candidate.test);
 	if (!isNodeOfType(test, "BinaryExpression") || ![
 		"===",
 		"!==",
@@ -15260,38 +15512,50 @@ const isConvergingFunctionalUpdater = (node, scopes) => {
 		"!="
 	].includes(test.operator)) return false;
 	const isPreviousValue = (expression) => {
-		const candidate = unwrapExpression$3(expression);
-		return isNodeOfType(candidate, "Identifier") && candidate.name === previousValueParameter.name;
+		const expressionCandidate = unwrapExpression$3(expression);
+		return isNodeOfType(expressionCandidate, "Identifier") && scopes.symbolFor(expressionCandidate)?.id === previousValueSymbol?.id;
 	};
 	let comparedValue = null;
 	if (isPreviousValue(test.left)) comparedValue = test.right;
-	else if (isPreviousValue(test.right)) comparedValue = test.left;
-	if (!comparedValue) return false;
-	if (isPotentiallyFreshComparedValue(comparedValue, scopes)) return false;
-	const isSameComparedValue = (expression) => {
-		const candidate = unwrapExpression$3(expression);
-		const compared = unwrapExpression$3(comparedValue);
-		if (isNodeOfType(candidate, "Identifier") && isNodeOfType(compared, "Identifier")) return candidate.name === compared.name;
-		if (isNodeOfType(candidate, "Literal") && isNodeOfType(compared, "Literal")) return candidate.value === compared.value;
-		return false;
+	if (isPreviousValue(test.right)) comparedValue = test.left;
+	if (!comparedValue || !isPotentiallyFreshComparedValue(comparedValue, scopes)) return false;
+	const isComparedValue = (expression) => {
+		const expressionCandidate = unwrapExpression$3(expression);
+		const comparedCandidate = unwrapExpression$3(comparedValue);
+		if (isNodeOfType(expressionCandidate, "Identifier")) return isNodeOfType(comparedCandidate, "Identifier") && scopes.symbolFor(expressionCandidate)?.id === scopes.symbolFor(comparedCandidate)?.id;
+		return isNodeOfType(expressionCandidate, "Literal") && isNodeOfType(comparedCandidate, "Literal") && expressionCandidate.value === comparedCandidate.value;
 	};
-	return test.operator === "===" || test.operator === "==" ? isPreviousValue(conditional.consequent) && isSameComparedValue(conditional.alternate) : isSameComparedValue(conditional.consequent) && isPreviousValue(conditional.alternate);
+	return test.operator === "===" || test.operator === "==" ? isPreviousValue(candidate.consequent) && isComparedValue(candidate.alternate) : isComparedValue(candidate.consequent) && isPreviousValue(candidate.alternate);
 };
-const isGuardedStableSetterCall = (identifier, symbol, scopes) => {
-	const parent = identifier.parent;
-	if (!parent || !isNodeOfType(parent, "CallExpression") || parent.callee !== identifier || !isStableSetterLikeSymbol(symbol, scopes)) return false;
-	const writtenValue = parent.arguments?.[0];
-	return Boolean(writtenValue && isConvergingFunctionalUpdater(writtenValue, scopes));
-};
-const findStableSetterReference = (node, scopes) => {
+const isProvablyChangingFunctionalUpdater = (node, scopes) => {
+	const updater = unwrapExpression$3(node);
+	if (!isNodeOfType(updater, "ArrowFunctionExpression") && !isNodeOfType(updater, "FunctionExpression")) return false;
+	const previousValueParameter = updater.params?.[0];
+	if (!previousValueParameter || !isNodeOfType(previousValueParameter, "Identifier")) return false;
+	const previousValueSymbol = scopes.symbolFor(previousValueParameter);
+	if (!isNodeOfType(updater.body, "BlockStatement")) return isFreshEqualityGuardUpdater(updater.body, previousValueSymbol, scopes) || isProvablyChangingExpression(updater.body, previousValueSymbol, scopes);
+	if (updater.body.body.length !== 1) return false;
+	const soleStatement = updater.body.body[0];
+	if (!isNodeOfType(soleStatement, "ReturnStatement") || !isAstNode(soleStatement.argument)) return false;
+	return isFreshEqualityGuardUpdater(soleStatement.argument, previousValueSymbol, scopes) || isProvablyChangingExpression(soleStatement.argument, previousValueSymbol, scopes);
+};
+const isProvablyRenderChangingSetterCall = (identifier, scopes) => {
+	const setterCall = identifier.parent;
+	if (!setterCall || !isNodeOfType(setterCall, "CallExpression") || setterCall.callee !== identifier) return false;
+	const descriptor = getStateSetterDescriptor(identifier, scopes);
+	const writtenValue = setterCall.arguments?.[0];
+	if (!descriptor || !writtenValue || !isAstNode(writtenValue)) return false;
+	return isProvablyChangingFunctionalUpdater(writtenValue, scopes) ? true : isProvablyChangingExpression(writtenValue, descriptor.stateSymbol, scopes);
+};
+const findRenderChangingStateSetterName = (node, scopes) => {
 	let setterName = null;
 	const visit = (current) => {
 		if (setterName) return;
 		if (current !== node && (isNodeOfType(current, "FunctionDeclaration") || isNodeOfType(current, "FunctionExpression") || isNodeOfType(current, "ArrowFunctionExpression"))) return;
 		if (isNodeOfType(current, "Identifier")) {
-			const symbol = scopes.referenceFor(current)?.resolvedSymbol;
-			if (symbol && isStableSetterLikeSymbol(symbol, scopes) && !isGuardedStableSetterCall(current, symbol, scopes)) {
-				setterName = symbol.name;
+			const descriptor = getStateSetterDescriptor(current, scopes);
+			if (descriptor && isProvablyRenderChangingSetterCall(current, scopes)) {
+				setterName = descriptor.setterSymbol.name;
 				return;
 			}
 		}
@@ -15618,7 +15882,7 @@ If the missing value is recreated every render, move it inside the hook or stabi
 			}
 			if (!depsArgumentRaw) {
 				if (callbackToAnalyze && EFFECT_HOOKS_ALLOWING_EXTRA_REACTIVE_DEPS.has(hookName)) {
-					const setterName = findStableSetterReference(callbackToAnalyze, context.scopes);
+					const setterName = findRenderChangingStateSetterName(callbackToAnalyze, context.scopes);
 					if (setterName) {
 						context.report({
 							node: callbackToAnalyze,
@@ -20011,14 +20275,14 @@ const isIndexOfResultUsedAsMembershipTest = (node) => {
 	if (isNegativeOneLiteral(otherOperand)) return true;
 	return isZeroLiteral(otherOperand) && (parent.operator === ">=" || parent.operator === "<");
 };
-const getTypeAnnotation = (node) => {
+const getTypeAnnotation$1 = (node) => {
 	if (!node || !("typeAnnotation" in node)) return null;
 	const annotation = node.typeAnnotation;
 	if (!annotation || !isNodeOfType(annotation, "TSTypeAnnotation")) return null;
 	return annotation.typeAnnotation;
 };
 const getDeclaredPropertyType = (members, propertyName) => {
-	for (const member of members) if (isNodeOfType(member, "TSPropertySignature") && isNodeOfType(member.key, "Identifier") && member.key.name === propertyName) return getTypeAnnotation(member);
+	for (const member of members) if (isNodeOfType(member, "TSPropertySignature") && isNodeOfType(member.key, "Identifier") && member.key.name === propertyName) return getTypeAnnotation$1(member);
 	return null;
 };
 const getArrayElementType = (typeNode) => {
@@ -20037,7 +20301,7 @@ const getDestructuredDeclaredType = (identifier) => {
 	const property = binding.bindingIdentifier.parent;
 	const objectPattern = property?.parent;
 	if (!isNodeOfType(property, "Property") || !isNodeOfType(property.key, "Identifier") || !isNodeOfType(objectPattern, "ObjectPattern")) return null;
-	const propsType = getTypeAnnotation(objectPattern);
+	const propsType = getTypeAnnotation$1(objectPattern);
 	if (!propsType) return null;
 	if (isNodeOfType(propsType, "TSTypeLiteral")) return getDeclaredPropertyType(propsType.members ?? [], property.key.name);
 	if (!isNodeOfType(propsType, "TSTypeReference") || !isNodeOfType(propsType.typeName, "Identifier")) return null;
@@ -20054,7 +20318,7 @@ const getIdentifierDeclaredType = (identifier, visitedBindingIdentifiers = /* @_
 	const binding = findVariableInitializer(identifier, identifier.name);
 	if (!binding || visitedBindingIdentifiers.has(binding.bindingIdentifier)) return null;
 	visitedBindingIdentifiers.add(binding.bindingIdentifier);
-	const directType = getTypeAnnotation(binding.bindingIdentifier);
+	const directType = getTypeAnnotation$1(binding.bindingIdentifier);
 	if (directType) return directType;
 	const initializer = binding.initializer;
 	if (isNodeOfType(initializer, "TSAsExpression") || isNodeOfType(initializer, "TSTypeAssertion") || isNodeOfType(initializer, "TSSatisfiesExpression")) return initializer.typeAnnotation;
@@ -27219,6 +27483,211 @@ const computeExternallyDriven = (analysis, declarator) => {
 	return hasDeferredCallSite;
 };
 //#endregion
+//#region src/plugin/rules/state-and-effects/utils/effect/is-proven-native-read-method.ts
+const ARRAY_READ_METHOD_NAMES$1 = new Set([
+	"at",
+	"concat",
+	"entries",
+	"every",
+	"filter",
+	"find",
+	"findIndex",
+	"findLast",
+	"findLastIndex",
+	"flat",
+	"flatMap",
+	"forEach",
+	"includes",
+	"indexOf",
+	"join",
+	"keys",
+	"lastIndexOf",
+	"map",
+	"reduce",
+	"reduceRight",
+	"slice",
+	"some",
+	"toLocaleString",
+	"toReversed",
+	"toSorted",
+	"toSpliced",
+	"toString",
+	"values",
+	"with"
+]);
+const MAP_READ_METHOD_NAMES = new Set([
+	"entries",
+	"forEach",
+	"get",
+	"has",
+	"keys",
+	"values"
+]);
+const SET_READ_METHOD_NAMES = new Set([
+	"difference",
+	"entries",
+	"forEach",
+	"has",
+	"intersection",
+	"isDisjointFrom",
+	"isSubsetOf",
+	"isSupersetOf",
+	"keys",
+	"symmetricDifference",
+	"union",
+	"values"
+]);
+const FUNCTION_READ_METHOD_NAMES = new Set(["bind"]);
+const PROMISE_READ_METHOD_NAMES = new Set([
+	"catch",
+	"finally",
+	"then"
+]);
+const STRING_READ_METHOD_NAMES$1 = new Set([
+	"at",
+	"charAt",
+	"charCodeAt",
+	"codePointAt",
+	"concat",
+	"endsWith",
+	"includes",
+	"indexOf",
+	"isWellFormed",
+	"lastIndexOf",
+	"localeCompare",
+	"match",
+	"matchAll",
+	"normalize",
+	"padEnd",
+	"padStart",
+	"repeat",
+	"replace",
+	"replaceAll",
+	"search",
+	"slice",
+	"split",
+	"startsWith",
+	"substring",
+	"toLocaleLowerCase",
+	"toLocaleUpperCase",
+	"toLowerCase",
+	"toString",
+	"toUpperCase",
+	"toWellFormed",
+	"trim",
+	"trimEnd",
+	"trimStart",
+	"valueOf"
+]);
+const NATIVE_TYPE_NAMES = new Set([
+	"Array",
+	"Map",
+	"Promise",
+	"PromiseLike",
+	"ReadonlyArray",
+	"ReadonlyMap",
+	"ReadonlySet",
+	"Set"
+]);
+const nativeTypeDeclarationsByProgram = /* @__PURE__ */ new WeakMap();
+const shadowedNativeTypeNamesByBinding = /* @__PURE__ */ new WeakMap();
+const isWithinNode = (node, ancestor) => {
+	let current = node;
+	while (current) {
+		if (current === ancestor) return true;
+		current = current.parent;
+	}
+	return false;
+};
+const findTypeDeclarationScope = (declaration) => {
+	let current = declaration.parent;
+	while (current) {
+		if (isNodeOfType(current, "Program") || isNodeOfType(current, "BlockStatement") || isNodeOfType(current, "TSModuleBlock") || isNodeOfType(current, "StaticBlock")) return current;
+		current = current.parent;
+	}
+	return null;
+};
+const getDeclaredTypeName = (declaration) => {
+	if (!isNodeOfType(declaration, "ClassDeclaration") && !isNodeOfType(declaration, "TSEnumDeclaration") && !isNodeOfType(declaration, "TSImportEqualsDeclaration") && !isNodeOfType(declaration, "TSInterfaceDeclaration") && !isNodeOfType(declaration, "TSModuleDeclaration") && !isNodeOfType(declaration, "TSTypeAliasDeclaration")) return null;
+	return declaration.id && isNodeOfType(declaration.id, "Identifier") ? declaration.id.name : null;
+};
+const getNativeTypeDeclarations = (program) => {
+	const cachedDeclarations = nativeTypeDeclarationsByProgram.get(program);
+	if (cachedDeclarations) return cachedDeclarations;
+	const declarations = [];
+	walkAst(program, (candidate) => {
+		if (isNodeOfType(candidate, "ImportDeclaration")) {
+			for (const specifier of candidate.specifiers) if (NATIVE_TYPE_NAMES.has(specifier.local.name)) declarations.push({
+				name: specifier.local.name,
+				scope: program
+			});
+			return;
+		}
+		const declaredTypeName = getDeclaredTypeName(candidate);
+		if (!declaredTypeName || !NATIVE_TYPE_NAMES.has(declaredTypeName)) return;
+		const declarationScope = findTypeDeclarationScope(candidate);
+		if (declarationScope) declarations.push({
+			name: declaredTypeName,
+			scope: declarationScope
+		});
+	});
+	nativeTypeDeclarationsByProgram.set(program, declarations);
+	return declarations;
+};
+const getShadowedNativeTypeNames = (binding) => {
+	const cachedNames = shadowedNativeTypeNamesByBinding.get(binding);
+	if (cachedNames) return cachedNames;
+	const shadowedNames = /* @__PURE__ */ new Set();
+	for (const typeName of NATIVE_TYPE_NAMES) if (hasEnclosingTypeParameterNamed(binding, typeName)) shadowedNames.add(typeName);
+	const program = findProgramRoot(binding);
+	if (program) {
+		for (const declaration of getNativeTypeDeclarations(program)) if (isWithinNode(binding, declaration.scope)) shadowedNames.add(declaration.name);
+	}
+	shadowedNativeTypeNamesByBinding.set(binding, shadowedNames);
+	return shadowedNames;
+};
+const getParameterBinding = (definitionName) => {
+	if (isNodeOfType(definitionName, "Identifier")) return definitionName;
+	if (!isNodeOfType(definitionName, "AssignmentPattern")) return null;
+	return isNodeOfType(definitionName.left, "Identifier") ? definitionName.left : null;
+};
+const getTypeAnnotation = (binding) => {
+	if (!isNodeOfType(binding, "Identifier")) return null;
+	const annotation = binding.typeAnnotation;
+	return annotation && isNodeOfType(annotation, "TSTypeAnnotation") ? annotation.typeAnnotation : null;
+};
+const isNullishType = (typeNode) => isNodeOfType(typeNode, "TSNullKeyword") || isNodeOfType(typeNode, "TSUndefinedKeyword");
+const isNativeReadMethod = (typeNode, methodName, shadowedTypeNames) => {
+	if (isNodeOfType(typeNode, "TSArrayType") || isNodeOfType(typeNode, "TSTupleType")) return ARRAY_READ_METHOD_NAMES$1.has(methodName);
+	if (isNodeOfType(typeNode, "TSStringKeyword")) return STRING_READ_METHOD_NAMES$1.has(methodName);
+	if (isNodeOfType(typeNode, "TSFunctionType")) return FUNCTION_READ_METHOD_NAMES.has(methodName);
+	if (isNodeOfType(typeNode, "TSLiteralType") && isNodeOfType(typeNode.literal, "Literal") && typeof typeNode.literal.value === "string") return STRING_READ_METHOD_NAMES$1.has(methodName);
+	if (isNodeOfType(typeNode, "TSTypeOperator") && typeNode.operator === "readonly" && typeNode.typeAnnotation) return isNativeReadMethod(typeNode.typeAnnotation, methodName, shadowedTypeNames);
+	if (isNodeOfType(typeNode, "TSUnionType")) {
+		let hasNonNullishMember = false;
+		for (const memberType of typeNode.types) {
+			if (isNullishType(memberType)) continue;
+			hasNonNullishMember = true;
+			if (!isNativeReadMethod(memberType, methodName, shadowedTypeNames)) return false;
+		}
+		return hasNonNullishMember;
+	}
+	if (!isNodeOfType(typeNode, "TSTypeReference") || !isNodeOfType(typeNode.typeName, "Identifier")) return false;
+	if (shadowedTypeNames.has(typeNode.typeName.name)) return false;
+	if (typeNode.typeName.name === "Array" || typeNode.typeName.name === "ReadonlyArray") return ARRAY_READ_METHOD_NAMES$1.has(methodName);
+	if (typeNode.typeName.name === "Map" || typeNode.typeName.name === "ReadonlyMap") return MAP_READ_METHOD_NAMES.has(methodName);
+	if (typeNode.typeName.name === "Set" || typeNode.typeName.name === "ReadonlySet") return SET_READ_METHOD_NAMES.has(methodName);
+	if (typeNode.typeName.name === "Promise" || typeNode.typeName.name === "PromiseLike") return PROMISE_READ_METHOD_NAMES.has(methodName);
+	return false;
+};
+const isProvenNativeReadMethod = (ref, methodName) => Boolean(ref.resolved?.defs.some((definition) => {
+	if (definition.type !== "Parameter") return false;
+	const parameterBinding = getParameterBinding(definition.name);
+	if (!parameterBinding) return false;
+	const typeAnnotation = getTypeAnnotation(parameterBinding);
+	return Boolean(typeAnnotation && isNativeReadMethod(typeAnnotation, methodName, getShadowedNativeTypeNames(parameterBinding)));
+}));
+//#endregion
 //#region src/plugin/rules/state-and-effects/utils/effect/react.ts
 const KNOWN_PURE_HOC_NAMES = new Set(["memo", "forwardRef"]);
 const startsWithUppercase = (name) => Boolean(name && name.length > 0 && name[0] >= "A" && name[0] <= "Z");
@@ -27445,7 +27914,132 @@ const isRefCurrent = (ref) => {
 const isStateSetterCall = (analysis, ref) => isEventualCallTo(analysis, ref, (innerRef) => isStateSetter(analysis, innerRef));
 const isSyncStateSetterCall = (analysis, ref, effectFn) => isStateSetterCall(analysis, ref) && isSynchronous(ref.identifier, effectFn) && !resolvesToAsyncFunction(ref);
 const HANDLER_NAMED_METHOD_PATTERN = /^(on|handle)[A-Z]/;
-const isPropCallbackInvocationRef = (analysis, ref) => {
+const SYNCHRONOUS_CALLBACK_ARGUMENT_INDEX_BY_METHOD = new Map([
+	["every", 0],
+	["filter", 0],
+	["find", 0],
+	["findIndex", 0],
+	["findLast", 0],
+	["findLastIndex", 0],
+	["flatMap", 0],
+	["forEach", 0],
+	["map", 0],
+	["reduce", 0],
+	["reduceRight", 0],
+	["replace", 1],
+	["replaceAll", 1],
+	["some", 0]
+]);
+const addSimpleBindingNames = (pattern, names) => {
+	if (isNodeOfType(pattern, "Identifier")) {
+		if (names.has(pattern.name)) return false;
+		names.add(pattern.name);
+		return true;
+	}
+	if (isNodeOfType(pattern, "AssignmentPattern")) return addSimpleBindingNames(pattern.left, names);
+	if (isNodeOfType(pattern, "RestElement")) return addSimpleBindingNames(pattern.argument, names);
+	if (isNodeOfType(pattern, "ObjectPattern")) {
+		let didAddName = false;
+		for (const property of pattern.properties) didAddName = addSimpleBindingNames(isNodeOfType(property, "Property") ? property.value : property, names) || didAddName;
+		return didAddName;
+	}
+	if (isNodeOfType(pattern, "ArrayPattern")) {
+		let didAddName = false;
+		for (const element of pattern.elements) if (element) didAddName = addSimpleBindingNames(element, names) || didAddName;
+		return didAddName;
+	}
+	return false;
+};
+const getSimpleParameterNames = (callback) => {
+	if (!isFunctionLike$1(callback)) return /* @__PURE__ */ new Set();
+	const names = /* @__PURE__ */ new Set();
+	for (const parameter of callback.params ?? []) addSimpleBindingNames(parameter, names);
+	return names;
+};
+const inlineCallbackInvokesParameter = (callback) => {
+	const parameterNames = getSimpleParameterNames(callback);
+	if (parameterNames.size === 0 || !isFunctionLike$1(callback)) return false;
+	let didAddAlias = true;
+	while (didAddAlias) {
+		didAddAlias = false;
+		walkAst(callback.body, (candidate) => {
+			if (candidate !== callback.body && isFunctionLike$1(candidate)) return false;
+			if (isNodeOfType(candidate, "AssignmentExpression") && candidate.operator === "=" && isNodeOfType(candidate.left, "Identifier")) {
+				const assignedValueRoot = getRootIdentifier$1(candidate.right);
+				if (isNodeOfType(assignedValueRoot, "Identifier") && parameterNames.has(assignedValueRoot.name) && !parameterNames.has(candidate.left.name)) {
+					parameterNames.add(candidate.left.name);
+					didAddAlias = true;
+				}
+				return;
+			}
+			if (!isNodeOfType(candidate, "VariableDeclarator") || !candidate.init) return;
+			const initializerRoot = getRootIdentifier$1(candidate.init);
+			if (!isNodeOfType(initializerRoot, "Identifier") || !parameterNames.has(initializerRoot.name)) return;
+			if (addSimpleBindingNames(candidate.id, parameterNames)) didAddAlias = true;
+		});
+	}
+	let didInvokeParameter = false;
+	walkAst(callback.body, (candidate) => {
+		if (didInvokeParameter) return false;
+		if (candidate !== callback.body && isFunctionLike$1(candidate)) return false;
+		if (!isNodeOfType(candidate, "CallExpression")) return;
+		const callee = stripParenExpression(candidate.callee);
+		if (isNodeOfType(callee, "Identifier") && parameterNames.has(callee.name)) {
+			didInvokeParameter = true;
+			return false;
+		}
+		if (isNodeOfType(callee, "MemberExpression")) {
+			const receiverRoot = getRootIdentifier$1(callee.object);
+			if (receiverRoot && parameterNames.has(receiverRoot.name)) {
+				didInvokeParameter = true;
+				return false;
+			}
+		}
+	});
+	return didInvokeParameter;
+};
+const callbackInvokesPropCallback = (analysis, callback) => {
+	if (!isFunctionLike$1(callback)) return false;
+	let didInvokePropCallback = false;
+	walkAst(callback.body, (candidate) => {
+		if (didInvokePropCallback) return false;
+		if (candidate !== callback.body && isFunctionLike$1(candidate)) return false;
+		if (!isNodeOfType(candidate, "CallExpression")) return;
+		if (getDownstreamRefs(analysis, stripParenExpression(candidate.callee)).some((reference) => isPropCallbackInvocationRef(analysis, reference))) {
+			didInvokePropCallback = true;
+			return false;
+		}
+	});
+	return didInvokePropCallback;
+};
+const isNativeMethodSuppressionSafe = (analysis, callExpression, methodName, scopes) => {
+	if (!isNodeOfType(callExpression, "CallExpression")) return false;
+	const callee = stripParenExpression(callExpression.callee);
+	if (!isNodeOfType(callee, "MemberExpression")) return false;
+	const receiver = stripParenExpression(callee.object);
+	if (!isNodeOfType(receiver, "Identifier")) return false;
+	const receiverSymbol = scopes.symbolFor(receiver);
+	if (!receiverSymbol || hasSymbolWriteBefore(receiverSymbol, callExpression, scopes) || hasPossibleStaticPropertyWriteBefore(receiver, methodName, callExpression, scopes)) return false;
+	let callResult = callExpression;
+	let callResultConsumer = callResult.parent;
+	while (callResultConsumer && (TRANSPARENT_EXPRESSION_WRAPPER_TYPES.has(callResultConsumer.type) && "expression" in callResultConsumer && callResultConsumer.expression === callResult || isNodeOfType(callResultConsumer, "MemberExpression") && callResultConsumer.object === callResult)) {
+		callResult = callResultConsumer;
+		callResultConsumer = callResult.parent;
+	}
+	if (isNodeOfType(callResultConsumer, "CallExpression") && callResultConsumer.callee === callResult) return false;
+	const callbackArgumentIndex = SYNCHRONOUS_CALLBACK_ARGUMENT_INDEX_BY_METHOD.get(methodName);
+	if (callbackArgumentIndex === void 0) return true;
+	const callbackArgument = callExpression.arguments?.[callbackArgumentIndex];
+	if (!callbackArgument) return true;
+	const callbackValue = stripParenExpression(callbackArgument);
+	if (isFunctionLike$1(callbackValue)) return !inlineCallbackInvokesParameter(callbackValue) && !callbackInvokesPropCallback(analysis, callbackValue);
+	if (!isNodeOfType(callbackValue, "Identifier")) return false;
+	const callbackRef = getRef(analysis, callbackValue);
+	if (!callbackRef || isPropAlias(analysis, callbackRef)) return false;
+	const callbackFunction = resolveToFunction(callbackRef);
+	return Boolean(callbackFunction && isFunctionLike$1(callbackFunction) && !inlineCallbackInvokesParameter(callbackFunction) && !callbackInvokesPropCallback(analysis, callbackFunction));
+};
+const isPropCallbackInvocationRef = (analysis, ref, options = {}) => {
 	if (!isPropAlias(analysis, ref)) return false;
 	let effectiveNode = ref.identifier;
 	let parent = effectiveNode.parent;
@@ -27458,7 +28052,9 @@ const isPropCallbackInvocationRef = (analysis, ref) => {
 	if (isNodeOfType(parent, "MemberExpression") && parent.object === effectiveNode) {
 		const memberParent = parent.parent;
 		if (isNodeOfType(memberParent, "CallExpression") && memberParent.callee === parent) {
-			if (!parent.computed && isNodeOfType(parent.property, "Identifier") && HANDLER_NAMED_METHOD_PATTERN.test(parent.property.name)) return true;
+			const propertyName = getStaticPropertyName(parent);
+			if (propertyName && HANDLER_NAMED_METHOD_PATTERN.test(propertyName)) return true;
+			if (options.nativeMethodScopes && isCustomHookParameter(ref) && propertyName && isProvenNativeReadMethod(ref, propertyName) && isNativeMethodSuppressionSafe(analysis, memberParent, propertyName, options.nativeMethodScopes)) return false;
 			return isWholePropsObjectReference(analysis, ref);
 		}
 	}
@@ -30652,6 +31248,514 @@ const noCascadingSetState = defineRetiredRule({
 	recommendation: "Retired: React batches synchronous state updates from one effect into the same follow-up commit, so setter count does not prove repeated redraws."
 });
 //#endregion
+//#region src/plugin/rules/state-and-effects/utils/create-state-trigger-reachability.ts
+const getRefCurrentSymbol = (node, context) => {
+	const expression = stripParenExpression(node);
+	if (!isNodeOfType(expression, "MemberExpression") || getStaticMemberPropertyName(expression) !== "current" || !isNodeOfType(expression.object, "Identifier")) return null;
+	return context.scopes.symbolFor(expression.object);
+};
+const expressionReadsState = (analysis, expression) => getDownstreamRefs(analysis, expression).some((reference) => getUpstreamRefs(analysis, reference).some((upstreamReference) => isState(analysis, upstreamReference)));
+const expressionReadsProp = (analysis, expression) => getDownstreamRefs(analysis, expression).some((reference) => getUpstreamRefs(analysis, reference).some((upstreamReference) => isProp(analysis, upstreamReference)));
+const hasNonInitializerWrite = (analysis, identifier) => {
+	const reference = getRef(analysis, identifier);
+	return Boolean(reference?.resolved?.references.some((candidateReference) => candidateReference.isWrite() && !candidateReference.init));
+};
+const isStableParameterDefault = (expression) => {
+	const candidate = stripParenExpression(expression);
+	if (isNodeOfType(candidate, "Literal")) return candidate.value === null || [
+		"bigint",
+		"boolean",
+		"number",
+		"string"
+	].includes(typeof candidate.value);
+	return Boolean(isNodeOfType(candidate, "TemplateLiteral") && (candidate.expressions ?? []).length === 0);
+};
+const isDirectComponentPropBinding = (symbol) => {
+	const parameter = symbol.declarationNode;
+	if (parameter === symbol.bindingIdentifier) return true;
+	if (isNodeOfType(parameter, "AssignmentPattern")) return parameter.left === symbol.bindingIdentifier && isStableParameterDefault(parameter.right);
+	if (!isNodeOfType(parameter, "ObjectPattern")) return false;
+	return parameter.properties.some((property) => {
+		if (!isNodeOfType(property, "Property")) return false;
+		const propertyValue = property.value;
+		if (propertyValue === symbol.bindingIdentifier) return true;
+		return Boolean(isNodeOfType(propertyValue, "AssignmentPattern") && propertyValue.left === symbol.bindingIdentifier && isStableParameterDefault(propertyValue.right));
+	});
+};
+const REFLEXIVE_TYPE_NODE_TYPES = new Set([
+	"TSBigIntKeyword",
+	"TSBooleanKeyword",
+	"TSNeverKeyword",
+	"TSNullKeyword",
+	"TSObjectKeyword",
+	"TSStringKeyword",
+	"TSSymbolKeyword",
+	"TSUndefinedKeyword"
+]);
+const PRIMITIVE_TYPE_NODE_TYPES = new Set([
+	"TSBigIntKeyword",
+	"TSBooleanKeyword",
+	"TSNeverKeyword",
+	"TSNullKeyword",
+	"TSNumberKeyword",
+	"TSStringKeyword",
+	"TSSymbolKeyword",
+	"TSUndefinedKeyword"
+]);
+const isDefinitelyReflexiveType = (typeNode) => {
+	if (REFLEXIVE_TYPE_NODE_TYPES.has(typeNode.type)) return true;
+	if (isNodeOfType(typeNode, "TSLiteralType")) return Boolean(isNodeOfType(typeNode.literal, "Literal") && (typeof typeNode.literal.value !== "number" || !Number.isNaN(typeNode.literal.value)));
+	if (isNodeOfType(typeNode, "TSUnionType")) return (typeNode.types ?? []).every((member) => isDefinitelyReflexiveType(member));
+	return false;
+};
+const isDefinitelyPrimitiveType = (typeNode) => {
+	if (PRIMITIVE_TYPE_NODE_TYPES.has(typeNode.type)) return true;
+	if (isNodeOfType(typeNode, "TSLiteralType")) return true;
+	if (isNodeOfType(typeNode, "TSUnionType")) return (typeNode.types ?? []).every((member) => isDefinitelyPrimitiveType(member));
+	return false;
+};
+const isDefinitelyPrimitiveExpression = (expression, context) => {
+	const candidate = stripParenExpression(expression);
+	if (isNodeOfType(candidate, "Literal")) return true;
+	if (!isNodeOfType(candidate, "Identifier")) return false;
+	const symbol = context.scopes.symbolFor(candidate);
+	const typeAnnotation = symbol ? getSymbolTypeAnnotation(symbol) : null;
+	return Boolean(typeAnnotation && isDefinitelyPrimitiveType(typeAnnotation));
+};
+const isDefinitelyReflexiveExpression = (expression, analysis, context, visitedSymbolIds = /* @__PURE__ */ new Set()) => {
+	const candidate = stripParenExpression(expression);
+	if (isNodeOfType(candidate, "Literal")) return typeof candidate.value !== "number" || !Number.isNaN(candidate.value);
+	if (isNodeOfType(candidate, "TemplateLiteral") || isNodeOfType(candidate, "ArrayExpression") || isNodeOfType(candidate, "ObjectExpression") || isFunctionLike$1(candidate)) return true;
+	if (isNodeOfType(candidate, "UnaryExpression")) return [
+		"!",
+		"typeof",
+		"void",
+		"~"
+	].includes(candidate.operator);
+	if (isNodeOfType(candidate, "BinaryExpression")) return [
+		"&",
+		"|",
+		"^",
+		"<<",
+		">>",
+		">>>"
+	].includes(candidate.operator);
+	if (isNodeOfType(candidate, "CallExpression")) {
+		const callee = stripParenExpression(candidate.callee);
+		return Boolean(isNodeOfType(callee, "Identifier") && ["Boolean", "String"].includes(callee.name) && context.scopes.isGlobalReference(callee));
+	}
+	if (!isNodeOfType(candidate, "Identifier")) return false;
+	if (candidate.name === "undefined" && context.scopes.isGlobalReference(candidate)) return true;
+	const symbol = context.scopes.symbolFor(candidate);
+	if (!symbol || visitedSymbolIds.has(symbol.id)) return false;
+	const typeAnnotation = getSymbolTypeAnnotation(symbol);
+	if (typeAnnotation && isDefinitelyReflexiveType(typeAnnotation)) return true;
+	if (!symbol.initializer || hasNonInitializerWrite(analysis, candidate)) return false;
+	const nextVisitedSymbolIds = new Set(visitedSymbolIds);
+	nextVisitedSymbolIds.add(symbol.id);
+	return isDefinitelyReflexiveExpression(symbol.initializer, analysis, context, nextVisitedSymbolIds);
+};
+const isSupportedPropProjection = (analysis, expression, context, visitedBindings = /* @__PURE__ */ new Set()) => {
+	const candidate = stripParenExpression(expression);
+	if (isNodeOfType(candidate, "Identifier")) {
+		const reference = getRef(analysis, candidate);
+		if (!reference) return false;
+		if (isProp(analysis, reference)) {
+			if (isCustomHookParameter(reference)) return false;
+			const symbol = context.scopes.symbolFor(candidate);
+			return Boolean(symbol && isDirectComponentPropBinding(symbol));
+		}
+		if (!reference.resolved || visitedBindings.has(reference.resolved)) return false;
+		if (hasNonInitializerWrite(analysis, candidate)) return false;
+		const declarator = reference.resolved.defs.map((definition) => definition.node).find((definitionNode) => isNodeOfType(definitionNode, "VariableDeclarator"));
+		if (!declarator || !isNodeOfType(declarator, "VariableDeclarator") || !isNodeOfType(declarator.id, "Identifier") || !declarator.init) return false;
+		const nextVisitedBindings = new Set(visitedBindings);
+		nextVisitedBindings.add(reference.resolved);
+		return isSupportedPropProjection(analysis, declarator.init, context, nextVisitedBindings);
+	}
+	if (isNodeOfType(candidate, "MemberExpression")) return false;
+	if (isNodeOfType(candidate, "UnaryExpression") && candidate.operator === "~") return Boolean(isDefinitelyPrimitiveExpression(candidate.argument, context) && isSupportedPropProjection(analysis, candidate.argument, context, visitedBindings));
+	if (isNodeOfType(candidate, "BinaryExpression") && [
+		"&",
+		"|",
+		"^",
+		"<<",
+		">>",
+		">>>"
+	].includes(candidate.operator)) return [candidate.left, candidate.right].every((operand) => {
+		const projectionOperand = stripParenExpression(operand);
+		return isNodeOfType(projectionOperand, "Literal") || isDefinitelyPrimitiveExpression(projectionOperand, context) && isSupportedPropProjection(analysis, projectionOperand, context, visitedBindings);
+	});
+	if (isNodeOfType(candidate, "CallExpression")) {
+		const callee = stripParenExpression(candidate.callee);
+		if (isNodeOfType(callee, "Identifier") && ["Boolean", "String"].includes(callee.name) && context.scopes.isGlobalReference(callee) && (candidate.arguments ?? []).length === 1) {
+			const argument = candidate.arguments?.[0];
+			return Boolean(argument && isDefinitelyPrimitiveExpression(argument, context) && isSupportedPropProjection(analysis, argument, context, visitedBindings));
+		}
+		return false;
+	}
+	return false;
+};
+const getStableCurrentValueKey = (analysis, expression, context) => {
+	if (expressionReadsState(analysis, expression)) return null;
+	if (!expressionReadsProp(analysis, expression)) return null;
+	if (!isSupportedPropProjection(analysis, expression, context)) return null;
+	return resolveExpressionKey$1(expression, context);
+};
+const getSnapshotShape = (analysis, expression, context) => {
+	const candidate = stripParenExpression(expression);
+	if (isNodeOfType(candidate, "ArrayExpression")) {
+		const elementKeys = [];
+		for (const element of candidate.elements ?? []) {
+			if (!element || isNodeOfType(element, "SpreadElement")) return null;
+			const elementKey = getStableCurrentValueKey(analysis, element, context);
+			if (!elementKey) return null;
+			elementKeys.push(elementKey);
+		}
+		return {
+			scalarKey: null,
+			elementKeys
+		};
+	}
+	const scalarKey = getStableCurrentValueKey(analysis, candidate, context);
+	return scalarKey ? {
+		scalarKey,
+		elementKeys: null
+	} : null;
+};
+const snapshotShapesMatch = (left, right) => {
+	if (left.scalarKey !== right.scalarKey) return false;
+	if (left.elementKeys === null || right.elementKeys === null) return left.elementKeys === right.elementKeys;
+	return left.elementKeys.length === right.elementKeys.length && left.elementKeys.every((elementKey, index) => elementKey === right.elementKeys?.[index]);
+};
+const collectSnapshotEnvironment = (analysis, effectFunction, context) => {
+	const assignmentsByRefSymbolId = /* @__PURE__ */ new Map();
+	const refSymbolsById = /* @__PURE__ */ new Map();
+	walkAst(effectFunction, (child) => {
+		if (child !== effectFunction && isFunctionLike$1(child)) return false;
+		if (!isNodeOfType(child, "AssignmentExpression") || child.operator !== "=") return;
+		const refSymbol = getRefCurrentSymbol(child.left, context);
+		if (!refSymbol) return;
+		const assignments = assignmentsByRefSymbolId.get(refSymbol.id) ?? [];
+		assignments.push(child);
+		assignmentsByRefSymbolId.set(refSymbol.id, assignments);
+		refSymbolsById.set(refSymbol.id, refSymbol);
+	});
+	const refShapes = /* @__PURE__ */ new Map();
+	for (const [refSymbolId, assignments] of assignmentsByRefSymbolId) {
+		if (assignments.length !== 1) continue;
+		const assignment = assignments[0];
+		if (!assignment || !isNodeOfType(assignment, "AssignmentExpression")) continue;
+		if (context.cfg.enclosingFunction(assignment) !== effectFunction) continue;
+		if (!context.cfg.isUnconditionalFromEntry(assignment)) continue;
+		const declarator = refSymbolsById.get(refSymbolId)?.declarationNode ?? null;
+		if (!declarator || !isGenuineReactHookDeclarator(analysis, declarator, "useRef") || !isNodeOfType(declarator, "VariableDeclarator") || !isNodeOfType(declarator.init, "CallExpression")) continue;
+		const refIdentifier = isNodeOfType(declarator.id, "Identifier") ? declarator.id : null;
+		const declarationSymbol = refIdentifier ? context.scopes.symbolFor(refIdentifier) : null;
+		if (!declarationSymbol || declarationSymbol.id !== refSymbolId) continue;
+		if (declarationSymbol.references.some((reference) => {
+			const member = reference.identifier.parent;
+			if (!member || !isNodeOfType(member, "MemberExpression") || member.object !== reference.identifier || getStaticMemberPropertyName(member) !== "current") return true;
+			const parent = member.parent;
+			if (!parent) return false;
+			if (isNodeOfType(parent, "UpdateExpression")) return true;
+			if (isNodeOfType(parent, "AssignmentExpression") && parent.left === member) return parent !== assignment;
+			return false;
+		})) continue;
+		const initializer = declarator.init.arguments?.[0];
+		if (!initializer) continue;
+		const initialShape = getSnapshotShape(analysis, initializer, context);
+		const assignedShape = getSnapshotShape(analysis, assignment.right, context);
+		if (!initialShape || !assignedShape || !snapshotShapesMatch(initialShape, assignedShape)) continue;
+		refShapes.set(refSymbolId, assignedShape);
+	}
+	const previousValueKeys = /* @__PURE__ */ new Map();
+	walkAst(effectFunction, (child) => {
+		if (child !== effectFunction && isFunctionLike$1(child)) return false;
+		if (!isNodeOfType(child, "VariableDeclarator") || !child.init) return;
+		const refSymbol = getRefCurrentSymbol(child.init, context);
+		if (!refSymbol) return;
+		const snapshotShape = refShapes.get(refSymbol.id);
+		if (!snapshotShape) return;
+		if (isNodeOfType(child.id, "Identifier") && snapshotShape.scalarKey) {
+			const previousSymbol = context.scopes.symbolFor(child.id);
+			if (previousSymbol && previousSymbol.kind === "const") previousValueKeys.set(previousSymbol.id, snapshotShape.scalarKey);
+			return;
+		}
+		if (!isNodeOfType(child.id, "ArrayPattern") || !snapshotShape.elementKeys) return;
+		for (let elementIndex = 0; elementIndex < child.id.elements.length; elementIndex += 1) {
+			const element = child.id.elements[elementIndex];
+			const elementKey = snapshotShape.elementKeys[elementIndex];
+			if (!element || !elementKey || !isNodeOfType(element, "Identifier")) continue;
+			const previousSymbol = context.scopes.symbolFor(element);
+			if (previousSymbol && previousSymbol.kind === "const") previousValueKeys.set(previousSymbol.id, elementKey);
+		}
+	});
+	return {
+		refShapes,
+		previousValueKeys
+	};
+};
+const getSnapshotValueKey = (expression, environment) => {
+	const candidate = stripParenExpression(expression);
+	const refSymbol = getRefCurrentSymbol(candidate, environment.context);
+	if (refSymbol) return environment.snapshotEnvironment.refShapes.get(refSymbol.id)?.scalarKey ?? null;
+	if (!isNodeOfType(candidate, "Identifier")) return null;
+	const symbol = environment.context.scopes.symbolFor(candidate);
+	if (!symbol) return null;
+	const substitutedExpression = environment.substitutions.get(symbol.id);
+	if (substitutedExpression) return getSnapshotValueKey(substitutedExpression, environment);
+	const directKey = environment.snapshotEnvironment.previousValueKeys.get(symbol.id);
+	if (directKey) return directKey;
+	if (symbol.kind !== "const" || !symbol.initializer || environment.visitedSymbolIds.has(symbol.id)) return null;
+	const nextVisitedSymbolIds = new Set(environment.visitedSymbolIds);
+	nextVisitedSymbolIds.add(symbol.id);
+	return getSnapshotValueKey(symbol.initializer, {
+		...environment,
+		visitedSymbolIds: nextVisitedSymbolIds
+	});
+};
+const evaluateComparison = (expression, environment) => {
+	if (!isNodeOfType(expression, "BinaryExpression")) return null;
+	if (![
+		"===",
+		"!==",
+		"==",
+		"!="
+	].includes(expression.operator)) return null;
+	const resolveSubstitutedExpression = (operand) => {
+		const candidate = stripParenExpression(operand);
+		if (!isNodeOfType(candidate, "Identifier")) return candidate;
+		const symbol = environment.context.scopes.symbolFor(candidate);
+		return (symbol && environment.substitutions.get(symbol.id)) ?? candidate;
+	};
+	const leftExpression = resolveSubstitutedExpression(expression.left);
+	const rightExpression = resolveSubstitutedExpression(expression.right);
+	const leftSnapshotKey = getSnapshotValueKey(leftExpression, environment);
+	const rightSnapshotKey = getSnapshotValueKey(rightExpression, environment);
+	const leftCurrentKey = getStableCurrentValueKey(environment.analysis, leftExpression, environment.context);
+	const rightCurrentKey = getStableCurrentValueKey(environment.analysis, rightExpression, environment.context);
+	const currentExpression = leftSnapshotKey !== null && leftSnapshotKey === rightCurrentKey ? rightExpression : rightSnapshotKey !== null && rightSnapshotKey === leftCurrentKey ? leftExpression : null;
+	if (!currentExpression || !isDefinitelyReflexiveExpression(currentExpression, environment.analysis, environment.context)) return null;
+	return expression.operator === "===" || expression.operator === "==";
+};
+const hasDirectGlobalObjectIsWrite = (objectIdentifier, context) => {
+	const program = findProgramRoot(objectIdentifier);
+	if (!program) return true;
+	let didFindWrite = false;
+	walkAst(program, (candidate) => {
+		if (didFindWrite) return false;
+		let writeTarget = null;
+		if (isNodeOfType(candidate, "AssignmentExpression")) writeTarget = candidate.left;
+		else if (isNodeOfType(candidate, "UpdateExpression")) writeTarget = candidate.argument;
+		else if (isNodeOfType(candidate, "UnaryExpression") && candidate.operator === "delete") writeTarget = candidate.argument;
+		if (!writeTarget) return;
+		const target = stripParenExpression(writeTarget);
+		if (isNodeOfType(target, "Identifier")) {
+			didFindWrite = target.name === "Object" && context.scopes.isGlobalReference(target);
+			return;
+		}
+		if (isNodeOfType(target, "MemberExpression") && isNodeOfType(target.object, "Identifier") && target.object.name === "Object" && context.scopes.isGlobalReference(target.object)) {
+			const propertyName = getStaticMemberPropertyName(target);
+			didFindWrite = propertyName === null || propertyName === "is";
+		}
+	});
+	return didFindWrite;
+};
+const evaluateObjectIs = (expression, environment) => {
+	if (!isNodeOfType(expression, "CallExpression")) return null;
+	const callee = stripParenExpression(expression.callee);
+	if (!isNodeOfType(callee, "MemberExpression") || !isNodeOfType(callee.object, "Identifier") || callee.object.name !== "Object" || !environment.context.scopes.isGlobalReference(callee.object) || getStaticMemberPropertyName(callee) !== "is") return null;
+	if (hasPossibleStaticPropertyWrite(callee.object, "is", environment.context.scopes) || hasDirectGlobalObjectIsWrite(callee.object, environment.context)) return null;
+	const argumentsToCompare = expression.arguments ?? [];
+	if (argumentsToCompare.length !== 2) return null;
+	const resolveSubstitutedExpression = (operand) => {
+		const candidate = stripParenExpression(operand);
+		if (!isNodeOfType(candidate, "Identifier")) return candidate;
+		const symbol = environment.context.scopes.symbolFor(candidate);
+		return (symbol && environment.substitutions.get(symbol.id)) ?? candidate;
+	};
+	const leftExpression = resolveSubstitutedExpression(argumentsToCompare[0]);
+	const rightExpression = resolveSubstitutedExpression(argumentsToCompare[1]);
+	const leftSnapshotKey = getSnapshotValueKey(leftExpression, environment);
+	const rightSnapshotKey = getSnapshotValueKey(rightExpression, environment);
+	const leftCurrentKey = getStableCurrentValueKey(environment.analysis, leftExpression, environment.context);
+	const rightCurrentKey = getStableCurrentValueKey(environment.analysis, rightExpression, environment.context);
+	return leftSnapshotKey !== null && leftSnapshotKey === rightCurrentKey ? true : rightSnapshotKey !== null && rightSnapshotKey === leftCurrentKey ? true : null;
+};
+const getHelperReturnExpression = (functionNode) => {
+	if (!isFunctionLike$1(functionNode)) return null;
+	if (Boolean(functionNode.async) || Boolean(functionNode.generator)) return null;
+	if (!isNodeOfType(functionNode.body, "BlockStatement")) return functionNode.body;
+	const statements = functionNode.body.body ?? [];
+	if (statements.length !== 1 || !isNodeOfType(statements[0], "ReturnStatement")) return null;
+	return statements[0].argument ? statements[0].argument : null;
+};
+const evaluateBoolean = (expression, environment) => {
+	const candidate = stripParenExpression(expression);
+	if (isNodeOfType(candidate, "Literal") && typeof candidate.value === "boolean") return candidate.value;
+	if (isNodeOfType(candidate, "Identifier")) {
+		const symbol = environment.context.scopes.symbolFor(candidate);
+		if (!symbol) return null;
+		const substitutedExpression = environment.substitutions.get(symbol.id);
+		if (substitutedExpression) return evaluateBoolean(substitutedExpression, environment);
+		if (symbol.kind !== "const" || !symbol.initializer || environment.visitedSymbolIds.has(symbol.id)) return null;
+		const nextVisitedSymbolIds = new Set(environment.visitedSymbolIds);
+		nextVisitedSymbolIds.add(symbol.id);
+		return evaluateBoolean(symbol.initializer, {
+			...environment,
+			visitedSymbolIds: nextVisitedSymbolIds
+		});
+	}
+	if (isNodeOfType(candidate, "UnaryExpression") && candidate.operator === "!") {
+		const argumentValue = evaluateBoolean(candidate.argument, environment);
+		return argumentValue === null ? null : !argumentValue;
+	}
+	if (isNodeOfType(candidate, "LogicalExpression")) {
+		const leftValue = evaluateBoolean(candidate.left, environment);
+		if (candidate.operator === "&&") {
+			if (leftValue === false) return false;
+			const rightValue = evaluateBoolean(candidate.right, environment);
+			if (leftValue === true) return rightValue;
+			return rightValue === false ? false : null;
+		}
+		if (candidate.operator === "||") {
+			if (leftValue === true) return true;
+			const rightValue = evaluateBoolean(candidate.right, environment);
+			if (leftValue === false) return rightValue;
+			return rightValue === true ? true : null;
+		}
+		return null;
+	}
+	const objectIsValue = evaluateObjectIs(candidate, environment);
+	if (objectIsValue !== null) return objectIsValue;
+	const comparisonValue = evaluateComparison(candidate, environment);
+	if (comparisonValue !== null) return comparisonValue;
+	if (!environment.allowHelperCall || !isNodeOfType(candidate, "CallExpression")) return null;
+	const callee = stripParenExpression(candidate.callee);
+	if (!isNodeOfType(callee, "Identifier")) return null;
+	const calleeReference = getRef(environment.analysis, callee);
+	if (calleeReference?.resolved?.references.some((candidateReference) => candidateReference.isWrite() && !candidateReference.init)) return null;
+	const helperFunction = calleeReference ? resolveToFunction(calleeReference) : null;
+	const returnExpression = helperFunction ? getHelperReturnExpression(helperFunction) : null;
+	if (!helperFunction || !returnExpression || !isFunctionLike$1(helperFunction)) return null;
+	const parameters = helperFunction.params ?? [];
+	const argumentsForHelper = candidate.arguments ?? [];
+	if (parameters.length !== argumentsForHelper.length) return null;
+	const substitutions = new Map(environment.substitutions);
+	for (let parameterIndex = 0; parameterIndex < parameters.length; parameterIndex += 1) {
+		const parameter = parameters[parameterIndex];
+		const argument = argumentsForHelper[parameterIndex];
+		if (!parameter || !argument || !isNodeOfType(parameter, "Identifier")) return null;
+		const parameterSymbol = environment.context.scopes.symbolFor(parameter);
+		if (!parameterSymbol) return null;
+		substitutions.set(parameterSymbol.id, argument);
+	}
+	return evaluateBoolean(returnExpression, {
+		...environment,
+		substitutions,
+		visitedSymbolIds: /* @__PURE__ */ new Set(),
+		allowHelperCall: false
+	});
+};
+const statementCanCompleteNormally = (statement, environment) => {
+	if (isNodeOfType(statement, "ReturnStatement") || isNodeOfType(statement, "ThrowStatement") || isNodeOfType(statement, "BreakStatement") || isNodeOfType(statement, "ContinueStatement")) return false;
+	if (isNodeOfType(statement, "BlockStatement")) return (statement.body ?? []).every((childStatement) => statementCanCompleteNormally(childStatement, environment));
+	if (isNodeOfType(statement, "IfStatement")) {
+		const testValue = evaluateBoolean(statement.test, environment);
+		if (testValue === true) return statementCanCompleteNormally(statement.consequent, environment);
+		if (testValue === false) return statement.alternate ? statementCanCompleteNormally(statement.alternate, environment) : true;
+		const consequentCanComplete = statementCanCompleteNormally(statement.consequent, environment);
+		const alternateCanComplete = statement.alternate ? statementCanCompleteNormally(statement.alternate, environment) : true;
+		return consequentCanComplete || alternateCanComplete;
+	}
+	if (isNodeOfType(statement, "LabeledStatement")) {
+		const labelName = isNodeOfType(statement.label, "Identifier") ? statement.label.name : null;
+		if (labelName && statementCanCompleteWithBreakToLabel(statement.body, labelName, environment)) return true;
+		return statementCanCompleteNormallyForLabel(statement.body, environment);
+	}
+	return true;
+};
+const statementCanCompleteNormallyForLabel = (statement, environment) => {
+	if (isNodeOfType(statement, "ReturnStatement") || isNodeOfType(statement, "ThrowStatement") || isNodeOfType(statement, "BreakStatement") || isNodeOfType(statement, "ContinueStatement")) return false;
+	if (isNodeOfType(statement, "BlockStatement")) return (statement.body ?? []).every((childStatement) => statementCanCompleteNormallyForLabel(childStatement, environment));
+	if (isNodeOfType(statement, "IfStatement")) {
+		const testValue = evaluateBoolean(statement.test, environment);
+		if (testValue === true) return statementCanCompleteNormallyForLabel(statement.consequent, environment);
+		if (testValue === false) return statement.alternate ? statementCanCompleteNormallyForLabel(statement.alternate, environment) : true;
+		const consequentCanComplete = statementCanCompleteNormallyForLabel(statement.consequent, environment);
+		const alternateCanComplete = statement.alternate ? statementCanCompleteNormallyForLabel(statement.alternate, environment) : true;
+		return consequentCanComplete || alternateCanComplete;
+	}
+	if (isNodeOfType(statement, "LabeledStatement")) return statementCanCompleteNormally(statement, environment);
+	return isNodeOfType(statement, "ExpressionStatement") || isNodeOfType(statement, "VariableDeclaration") || isNodeOfType(statement, "EmptyStatement") || isNodeOfType(statement, "DebuggerStatement");
+};
+const statementCanCompleteWithBreakToLabel = (statement, labelName, environment) => {
+	if (isNodeOfType(statement, "BreakStatement")) return Boolean(isNodeOfType(statement.label, "Identifier") && statement.label.name === labelName);
+	if (isNodeOfType(statement, "ReturnStatement") || isNodeOfType(statement, "ThrowStatement") || isNodeOfType(statement, "ContinueStatement")) return false;
+	if (isNodeOfType(statement, "BlockStatement")) {
+		for (const childStatement of statement.body ?? []) {
+			if (statementCanCompleteWithBreakToLabel(childStatement, labelName, environment)) return true;
+			if (!statementCanCompleteNormallyForLabel(childStatement, environment)) return false;
+		}
+		return false;
+	}
+	if (isNodeOfType(statement, "IfStatement")) {
+		const testValue = evaluateBoolean(statement.test, environment);
+		if (testValue === true) return statementCanCompleteWithBreakToLabel(statement.consequent, labelName, environment);
+		if (testValue === false) return Boolean(statement.alternate && statementCanCompleteWithBreakToLabel(statement.alternate, labelName, environment));
+		return statementCanCompleteWithBreakToLabel(statement.consequent, labelName, environment) || Boolean(statement.alternate && statementCanCompleteWithBreakToLabel(statement.alternate, labelName, environment));
+	}
+	if (isNodeOfType(statement, "LabeledStatement")) return statementCanCompleteWithBreakToLabel(statement.body, labelName, environment);
+	return false;
+};
+const isReachableUnderSnapshotEnvironment = (target, effectFunction, environment) => {
+	if (environment.context.cfg.enclosingFunction(target) !== effectFunction) return true;
+	let current = target;
+	while (current !== effectFunction) {
+		const parent = current.parent;
+		if (!parent) return true;
+		if (isFunctionLike$1(parent) && parent !== effectFunction) return true;
+		if (isNodeOfType(parent, "IfStatement")) {
+			const testValue = evaluateBoolean(parent.test, environment);
+			if (isAstDescendant(current, parent.consequent) && testValue === false) return false;
+			if (parent.alternate && isAstDescendant(current, parent.alternate) && testValue === true) return false;
+		}
+		if (isNodeOfType(parent, "LogicalExpression") && parent.right === current) {
+			const leftValue = evaluateBoolean(parent.left, environment);
+			if (parent.operator === "&&" && leftValue === false) return false;
+			if (parent.operator === "||" && leftValue === true) return false;
+		}
+		if (isNodeOfType(parent, "ConditionalExpression")) {
+			const testValue = evaluateBoolean(parent.test, environment);
+			if (parent.consequent === current && testValue === false) return false;
+			if (parent.alternate === current && testValue === true) return false;
+		}
+		if (isNodeOfType(parent, "BlockStatement")) {
+			const containingStatementIndex = (parent.body ?? []).findIndex((statement) => isAstDescendant(current, statement));
+			if (containingStatementIndex >= 0) {
+				if ((parent.body ?? []).slice(0, containingStatementIndex).some((statement) => !statementCanCompleteNormally(statement, environment))) return false;
+			}
+		}
+		current = parent;
+	}
+	return true;
+};
+const createStateTriggerReachability = ({ analysis, context, effectFunction }) => {
+	const snapshotEnvironment = collectSnapshotEnvironment(analysis, effectFunction, context);
+	if (snapshotEnvironment.refShapes.size === 0) return () => true;
+	const environment = {
+		analysis,
+		context,
+		effectFunction,
+		snapshotEnvironment,
+		substitutions: /* @__PURE__ */ new Map(),
+		visitedSymbolIds: /* @__PURE__ */ new Set(),
+		allowHelperCall: true
+	};
+	return (target) => isReachableUnderSnapshotEnvironment(target, effectFunction, environment);
+};
+//#endregion
 //#region src/plugin/rules/state-and-effects/no-chain-state-updates.ts
 const getUseStateDeclarator = (ref) => (ref.resolved?.defs ?? []).map((def) => def.node).find((node) => isNodeOfType(node, "VariableDeclarator") && isNodeOfType(node.id, "ArrayPattern")) ?? null;
 const isDeclaredWithin = (node, container) => {
@@ -30717,11 +31821,17 @@ const noChainStateUpdates = defineRule({
 		if (stateDeps.length === 0) return;
 		if (stateDeps.every((ref) => isExternallyDrivenState(analysis, ref))) return;
 		const stateDepDeclarators = new Set(stateDeps.map((ref) => getUseStateDeclarator(ref)).filter((declarator) => declarator !== null));
+		const isReachableFromStateTrigger = createStateTriggerReachability({
+			analysis,
+			context,
+			effectFunction: effectFn
+		});
 		const domSyncedStateDeclarators = /* @__PURE__ */ new Set();
 		for (const ref of effectFnRefs) {
 			if (!isSyncStateSetterCall(analysis, ref, effectFn)) continue;
 			const callExpr = getCallExpr(ref);
 			if (!callExpr) continue;
+			if (!isReachableFromStateTrigger(callExpr)) continue;
 			if (!readsPostMountValueThroughLocals(callExpr, effectFn, { ignoreBareRefCurrent: true })) continue;
 			const declarator = getUseStateDeclarator(ref);
 			if (declarator) domSyncedStateDeclarators.add(declarator);
@@ -30730,6 +31840,7 @@ const noChainStateUpdates = defineRule({
 			if (!isSyncStateSetterCall(analysis, ref, effectFn)) continue;
 			const callExpr = getCallExpr(ref);
 			if (!callExpr) continue;
+			if (!isReachableFromStateTrigger(callExpr)) continue;
 			if (getArgsUpstreamRefs(analysis, ref).some((argRef) => isState(analysis, argRef))) continue;
 			const setterDeclarator = getUseStateDeclarator(ref);
 			if (setterDeclarator && domSyncedStateDeclarators.has(setterDeclarator)) continue;
@@ -40929,7 +42040,7 @@ const noPropCallbackInRender = defineRule({
 		if (!analysis) return;
 		const callee = stripParenExpression(node.callee);
 		if (isFunctionLike$1(callee)) return;
-		if (!getDownstreamRefs(analysis, callee).some((reference) => isPropCallbackInvocationRef(analysis, reference))) return;
+		if (!getDownstreamRefs(analysis, callee).some((reference) => isPropCallbackInvocationRef(analysis, reference, { nativeMethodScopes: context.scopes }))) return;
 		context.report({
 			node,
 			message: "This prop callback runs during render. React can replay or discard render work, so the callback can fire more than once or for UI that never commits."
@@ -58893,6 +60004,78 @@ const inferDestructureSourceKey = (bindingIdentifier) => {
 	return null;
 };
 const isReactUseHook = (hookName) => hookName === "use";
+const isReactHookCapabilityValue = (expression, scopes, visitedSymbolIds = /* @__PURE__ */ new Set()) => {
+	const unwrappedExpression = stripParenExpression(expression);
+	if (isNodeOfType(unwrappedExpression, "Identifier")) {
+		const symbol = scopes.symbolFor(unwrappedExpression);
+		if (!symbol || visitedSymbolIds.has(symbol.id)) return false;
+		visitedSymbolIds.add(symbol.id);
+		if (symbol.kind === "import") return isReactImport(symbol) && isReactHookName(getImportedName(symbol.declarationNode) ?? "");
+		if (symbol.kind !== "const" || !symbol.initializer || !isNodeOfType(symbol.declarationNode, "VariableDeclarator")) return false;
+		const destructuredPropertyName = getDestructuredBindingPropertyName(symbol.bindingIdentifier);
+		if (destructuredPropertyName) {
+			const namespaceExpression = stripParenExpression(symbol.initializer);
+			return isReactHookName(destructuredPropertyName) && isNodeOfType(namespaceExpression, "Identifier") && isReactNamespaceImport(namespaceExpression, scopes) && !hasPossibleStaticPropertyMutationOrEscape(namespaceExpression, destructuredPropertyName, scopes);
+		}
+		if (symbol.declarationNode.id !== symbol.bindingIdentifier) return false;
+		return isReactHookCapabilityValue(symbol.initializer, scopes, visitedSymbolIds);
+	}
+	if (!isNodeOfType(unwrappedExpression, "MemberExpression")) return false;
+	const propertyName = getStaticPropertyName(unwrappedExpression);
+	if (!propertyName || !isReactHookName(propertyName)) return false;
+	const namespaceExpression = stripParenExpression(unwrappedExpression.object);
+	return isNodeOfType(namespaceExpression, "Identifier") && isReactNamespaceImport(namespaceExpression, scopes) && !hasPossibleStaticPropertyMutationOrEscape(namespaceExpression, propertyName, scopes);
+};
+const isReactHookCapabilityComparisonOperand = (expression, scopes) => {
+	const unwrappedExpression = stripParenExpression(expression);
+	if (isReactHookCapabilityValue(unwrappedExpression, scopes)) return true;
+	return isNodeOfType(unwrappedExpression, "UnaryExpression") && unwrappedExpression.operator === "typeof" && isReactHookCapabilityValue(unwrappedExpression.argument, scopes);
+};
+const isStaticCapabilityComparisonValue = (expression, scopes) => {
+	const unwrappedExpression = stripParenExpression(expression);
+	if (isNodeOfType(unwrappedExpression, "Literal")) return true;
+	return isNodeOfType(unwrappedExpression, "Identifier") && unwrappedExpression.name === "undefined" && scopes.isGlobalReference(unwrappedExpression);
+};
+const CAPABILITY_COMPARISON_OPERATORS = new Set([
+	"==",
+	"!=",
+	"===",
+	"!=="
+]);
+const isInvariantReactHookCapabilityCondition = (expression, scopes) => {
+	const unwrappedExpression = stripParenExpression(expression);
+	if (isReactHookCapabilityValue(unwrappedExpression, scopes)) return true;
+	if (isNodeOfType(unwrappedExpression, "UnaryExpression") && unwrappedExpression.operator === "!") return isInvariantReactHookCapabilityCondition(unwrappedExpression.argument, scopes);
+	if (isNodeOfType(unwrappedExpression, "LogicalExpression")) return isInvariantReactHookCapabilityCondition(unwrappedExpression.left, scopes) && isInvariantReactHookCapabilityCondition(unwrappedExpression.right, scopes);
+	if (!isNodeOfType(unwrappedExpression, "BinaryExpression") || !CAPABILITY_COMPARISON_OPERATORS.has(unwrappedExpression.operator)) return false;
+	return isReactHookCapabilityComparisonOperand(unwrappedExpression.left, scopes) && isStaticCapabilityComparisonValue(unwrappedExpression.right, scopes) || isReactHookCapabilityComparisonOperand(unwrappedExpression.right, scopes) && isStaticCapabilityComparisonValue(unwrappedExpression.left, scopes);
+};
+const statementContainsOwnAbruptCompletion = (statement) => {
+	let doesContainAbruptCompletion = false;
+	walkAst(statement, (child) => {
+		if (child !== statement && isFunctionLike$1(child)) return false;
+		if (isNodeOfType(child, "ReturnStatement") || isNodeOfType(child, "ThrowStatement")) {
+			doesContainAbruptCompletion = true;
+			return false;
+		}
+	});
+	return doesContainAbruptCompletion;
+};
+const isInvariantReactHookCapabilityExit = (statement, scopes) => isNodeOfType(statement, "IfStatement") && statement.alternate === null && statementAlwaysExits(statement.consequent) && isInvariantReactHookCapabilityCondition(statement.test, scopes);
+const isAfterOnlyInvariantReactHookCapabilityExits = (node, enclosingFunction, scopes) => {
+	if (!isFunctionLike$1(enclosingFunction) || !isNodeOfType(enclosingFunction.body, "BlockStatement")) return false;
+	let containingStatement = node;
+	while (containingStatement.parent && containingStatement.parent !== enclosingFunction.body) {
+		if (isFunctionLike$1(containingStatement.parent)) return false;
+		if (isNodeOfType(containingStatement.parent, "IfStatement") || isNodeOfType(containingStatement.parent, "SwitchStatement") || isNodeOfType(containingStatement.parent, "SwitchCase") || isNodeOfType(containingStatement.parent, "ConditionalExpression") || isNodeOfType(containingStatement.parent, "LogicalExpression")) return false;
+		containingStatement = containingStatement.parent;
+	}
+	if (containingStatement.parent !== enclosingFunction.body) return false;
+	const statementIndex = enclosingFunction.body.body.findIndex((statement) => statement === containingStatement);
+	if (statementIndex <= 0) return false;
+	const bypassingStatements = enclosingFunction.body.body.slice(0, statementIndex).filter((statement) => statementContainsOwnAbruptCompletion(statement));
+	return bypassingStatements.length > 0 && bypassingStatements.every((statement) => isInvariantReactHookCapabilityExit(statement, scopes));
+};
 const getCallExpressionCalleeName = (callExpression) => {
 	const callee = callExpression.callee;
 	if (isNodeOfType(callee, "Identifier")) return callee.name;
@@ -59188,7 +60371,7 @@ const rulesOfHooks = defineRule({
 					});
 					return;
 				}
-				if (!context.cfg.isUnconditionalFromEntry(node)) context.report({
+				if (!context.cfg.isUnconditionalFromEntry(node) && !isAfterOnlyInvariantReactHookCapabilityExits(node, enclosing.node, context.scopes)) context.report({
 					node: node.callee,
 					message: buildConditionalMessage(hookName)
 				});