oxlint-plugin-react-doctor 0.9.2-dev.1098b9c → 0.9.2-dev.1d01dd3

package/dist/index.js

@@ -388,7 +388,7 @@ const SOURCE_FILE_PATTERN = /\.(?:[cm]?[jt]sx?)$/i;
 const SCRIPT_SOURCE_FILE_PATTERN = /\.(?:[cm]?[jt]sx?|py|php)$/i;
 const DATABASE_SOURCE_FILE_PATTERN = /\.(?:[cm]?[jt]sx?|py)$/i;
 const SERVER_CONTEXT_PATTERN = /(?:^|\/)(?:api|backend|server|servers|middleware|route|routes|functions|lambdas|workers)(?:\/|$)|(?:^|\/)[^/]+\.server\.[cm]?[jt]sx?$/i;
-const TEST_CONTEXT_PATTERN = /(?:^|\/)(?:__fixtures__|__mocks__|__tests__|__integration__|fixtures|mocks|test|tests|testdata|test-data|e2e|playwright|cypress|specs?)(?:\/|$)|\.(?:test|spec|e2e|e2e-spec|integration-test|fixture|fixtures|stories|story)\.[cm]?[jt]sx?$|(?:^|\/)(?:playwright|cypress|vitest|jest|karma)[^/]*\.conf(?:ig)?\.[cm]?[jt]s$|(?:^|\/)(?:test_[^/]+|[^/]+_test|conftest)\.py$|\.env\.[^/]*(?:test|e2e)[^/]*$/i;
+const TEST_CONTEXT_PATTERN = /(?:^|\/)(?:__fixtures__|__mocks__|__tests__|__integration__|fixtures|mocks|test|tests|testdata|test-data|e2e|playwright|cypress|specs?)(?:\/|$)|^(?:test|spec)-[^/]+\.[cm]?[jt]sx?$|\.(?:test|spec|e2e|e2e-spec|integration-test|fixture|fixtures|stories|story)\.[cm]?[jt]sx?$|(?:^|\/)(?:playwright|cypress|vitest|jest|karma)[^/]*\.conf(?:ig)?\.[cm]?[jt]s$|(?:^|\/)(?:test_[^/]+|[^/]+_test|conftest)\.py$|\.env\.[^/]*(?:test|e2e)[^/]*$/i;
 const BUILD_CONFIG_FILE_PATTERN = /(?:^|\/)(?:vite|next|nuxt|astro|remix|webpack|rollup|rspack|rsbuild|esbuild|tsup|metro|expo|babel|tailwind|postcss|svelte|farm|parcel|snowpack)[^/]*\.config\.[cm]?[jt]sx?$/i;
 const BUILD_SCRIPT_CONTEXT_PATTERN = /(?:^|\/)scripts(?:\/|$)/i;
 const DEMO_CONTEXT_PATTERN = /(?:^|\/)(?:examples?|tutorials?|demos?|samples?|playgrounds?)(?:\/|$)/i;
@@ -665,19 +665,6 @@ const TRIVIAL_INITIALIZER_NAMES = new Set([
 	"parseInt",
 	"parseFloat"
 ]);
-const TRIVIAL_CONSTRUCTOR_NAMES = new Set([
-	"Date",
-	"Map",
-	"Set",
-	"WeakMap",
-	"WeakSet",
-	"WeakRef",
-	"RegExp",
-	"Error",
-	"URL",
-	"URLSearchParams",
-	"AbortController"
-]);
 const SETTER_PATTERN = /^set[A-Z]/;
 const RENDER_FUNCTION_PATTERN = /^render[A-Z]/;
 const UPPERCASE_PATTERN = /^[A-Z]/;
@@ -5887,6 +5874,7 @@ const isInlineFunctionExpression = (node) => Boolean(node && (isNodeOfType(node,
 //#endregion
 //#region src/plugin/rules/js-performance/async-await-in-loop.ts
 const LOOP_STATEMENT_TYPES$1 = new Set(LOOP_TYPES);
+const ORDERED_OUTPUT_INSERTION_METHOD_NAMES = new Set(["push", "unshift"]);
 const findFirstAwaitOutsideNestedFunctions = (block, skipNestedLoops = false) => {
 	let firstAwait = null;
 	walkAst(block, (child) => {
@@ -5953,7 +5941,151 @@ const isAwaitingManualPromiseWait = (awaitNode) => {
 	});
 	return isWaitLike;
 };
-const isIntentionallySequentialAwait = (awaitNode, context) => isAwaitingPossiblyMutatedMemberCall(awaitNode, context) || isAwaitingSleepLikeCall(awaitNode, context) || isAwaitingPromiseConcurrencyCall(awaitNode) || isAwaitingManualPromiseWait(awaitNode);
+const getRootObjectIdentifierName = (node) => {
+	let current = node;
+	while (isNodeOfType(current, "MemberExpression")) current = current.object;
+	return isNodeOfType(current, "Identifier") ? current.name : null;
+};
+const isScopeWithinFunction = (candidateScope, functionScope) => {
+	let currentScope = candidateScope;
+	while (currentScope) {
+		if (currentScope === functionScope) return true;
+		currentScope = currentScope.parent;
+	}
+	return false;
+};
+const isSymbolDirectlyReturned = (symbol, callerFunction) => Boolean(callerFunction) && symbol.references.some((reference) => {
+	const expressionRoot = findTransparentExpressionRoot(reference.identifier);
+	const parent = expressionRoot.parent;
+	return isNodeOfType(parent, "ReturnStatement") && parent.argument === expressionRoot && findEnclosingFunction$1(parent) === callerFunction;
+});
+const collectPatternBindingSymbolIds = (pattern, scopes, target) => {
+	if (isNodeOfType(pattern, "Identifier")) {
+		const symbol = scopes.symbolFor(pattern);
+		if (symbol) target.add(symbol.id);
+		return;
+	}
+	if (isNodeOfType(pattern, "ObjectPattern")) {
+		for (const property of pattern.properties ?? []) if (isNodeOfType(property, "Property") && property.value) collectPatternBindingSymbolIds(property.value, scopes, target);
+		else if (isNodeOfType(property, "RestElement") && property.argument) collectPatternBindingSymbolIds(property.argument, scopes, target);
+		return;
+	}
+	if (isNodeOfType(pattern, "ArrayPattern")) {
+		for (const element of pattern.elements ?? []) if (element) collectPatternBindingSymbolIds(element, scopes, target);
+		return;
+	}
+	if (isNodeOfType(pattern, "AssignmentPattern") && pattern.left) collectPatternBindingSymbolIds(pattern.left, scopes, target);
+};
+const collectReferencedSymbolIds = (expression, scopes) => {
+	const referencedSymbolIds = /* @__PURE__ */ new Set();
+	walkAst(expression, (child) => {
+		if (child !== expression && isFunctionLike$1(child)) return false;
+		if (!isNodeOfType(child, "Identifier")) return;
+		const symbol = scopes.symbolFor(child);
+		if (symbol) referencedSymbolIds.add(symbol.id);
+	});
+	return referencedSymbolIds;
+};
+const collectAwaitDerivedSymbolIds = (block, scopes) => {
+	const awaitDerivedSymbolIds = /* @__PURE__ */ new Set();
+	const bindingDependencies = [];
+	walkAst(block, (child) => {
+		if (child !== block && isFunctionLike$1(child)) return false;
+		if (isNodeOfType(child, "VariableDeclarator") && child.id && child.init) {
+			const declaredSymbolIds = /* @__PURE__ */ new Set();
+			collectPatternBindingSymbolIds(child.id, scopes, declaredSymbolIds);
+			if (containsDirectAwait(child.init)) for (const symbolId of declaredSymbolIds) awaitDerivedSymbolIds.add(symbolId);
+			const referencedSymbolIds = collectReferencedSymbolIds(child.init, scopes);
+			for (const declaredSymbolId of declaredSymbolIds) bindingDependencies.push({
+				declaredSymbolId,
+				referencedSymbolIds
+			});
+			return;
+		}
+		if (isNodeOfType(child, "AssignmentExpression") && child.left) {
+			const assignedSymbolIds = /* @__PURE__ */ new Set();
+			collectPatternBindingSymbolIds(child.left, scopes, assignedSymbolIds);
+			if (containsDirectAwait(child.right)) for (const symbolId of assignedSymbolIds) awaitDerivedSymbolIds.add(symbolId);
+			const referencedSymbolIds = collectReferencedSymbolIds(child.right, scopes);
+			for (const assignedSymbolId of assignedSymbolIds) bindingDependencies.push({
+				declaredSymbolId: assignedSymbolId,
+				referencedSymbolIds
+			});
+		}
+	});
+	let didGrow = true;
+	while (didGrow) {
+		didGrow = false;
+		for (const { declaredSymbolId, referencedSymbolIds } of bindingDependencies) {
+			if (awaitDerivedSymbolIds.has(declaredSymbolId)) continue;
+			for (const referencedSymbolId of referencedSymbolIds) {
+				if (!awaitDerivedSymbolIds.has(referencedSymbolId)) continue;
+				awaitDerivedSymbolIds.add(declaredSymbolId);
+				didGrow = true;
+				break;
+			}
+		}
+	}
+	return awaitDerivedSymbolIds;
+};
+const getSimpleParameterIdentifier = (parameter) => {
+	if (isNodeOfType(parameter, "Identifier")) return parameter;
+	if (isNodeOfType(parameter, "AssignmentPattern") && isNodeOfType(parameter.left, "Identifier")) return parameter.left;
+	return null;
+};
+const doesAwaitedLocalCallInsertAwaitDerivedOutput = (awaitNode, context) => {
+	if (!isNodeOfType(awaitNode, "AwaitExpression")) return false;
+	const callExpression = awaitNode.argument;
+	if (!isNodeOfType(callExpression, "CallExpression")) return false;
+	const localFunction = resolveStaticLocalCallFunction(callExpression, context.scopes);
+	if (!isFunctionLike$1(localFunction)) return false;
+	const callerFunction = findEnclosingFunction$1(callExpression);
+	const functionScope = context.scopes.ownScopeFor(localFunction);
+	if (!functionScope) return false;
+	const awaitDerivedSymbolIds = collectAwaitDerivedSymbolIds(localFunction.body, context.scopes);
+	const externallyReachableParameterSymbolIds = /* @__PURE__ */ new Set();
+	for (const [parameterIndex, parameter] of localFunction.params.entries()) {
+		const parameterIdentifier = getSimpleParameterIdentifier(parameter);
+		if (!parameterIdentifier) continue;
+		const argument = callExpression.arguments[parameterIndex];
+		if (!isNodeOfType(argument, "Identifier")) continue;
+		const parameterSymbol = context.scopes.symbolFor(parameterIdentifier);
+		const argumentSymbol = context.scopes.symbolFor(argument);
+		if (parameterSymbol && argumentSymbol && (isSymbolDirectlyReturned(argumentSymbol, callerFunction) || argumentSymbol.id === parameterSymbol.id)) externallyReachableParameterSymbolIds.add(parameterSymbol.id);
+	}
+	let doesInsertAwaitDerivedOutput = false;
+	walkAst(localFunction.body, (child) => {
+		if (doesInsertAwaitDerivedOutput) return false;
+		if (child !== localFunction.body && isFunctionLike$1(child)) return false;
+		if (!isNodeOfType(child, "CallExpression")) return;
+		const callee = child.callee;
+		if (!isNodeOfType(callee, "MemberExpression") || callee.computed || !isNodeOfType(callee.property, "Identifier") || !ORDERED_OUTPUT_INSERTION_METHOD_NAMES.has(callee.property.name)) return;
+		let doesMutationConsumeAwaitedValue = false;
+		for (const mutationArgument of child.arguments ?? []) {
+			if (containsDirectAwait(mutationArgument)) {
+				doesMutationConsumeAwaitedValue = true;
+				break;
+			}
+			const referencedSymbolIds = collectReferencedSymbolIds(mutationArgument, context.scopes);
+			for (const referencedSymbolId of referencedSymbolIds) if (awaitDerivedSymbolIds.has(referencedSymbolId)) {
+				doesMutationConsumeAwaitedValue = true;
+				break;
+			}
+			if (doesMutationConsumeAwaitedValue) break;
+		}
+		if (!doesMutationConsumeAwaitedValue) return;
+		let receiverIdentifier = callee.object;
+		while (isNodeOfType(receiverIdentifier, "MemberExpression")) receiverIdentifier = receiverIdentifier.object;
+		if (!isNodeOfType(receiverIdentifier, "Identifier")) return;
+		const receiverSymbol = context.scopes.symbolFor(receiverIdentifier);
+		if (receiverSymbol && (externallyReachableParameterSymbolIds.has(receiverSymbol.id) || !isScopeWithinFunction(receiverSymbol.scope, functionScope) && isSymbolDirectlyReturned(receiverSymbol, callerFunction))) {
+			doesInsertAwaitDerivedOutput = true;
+			return false;
+		}
+	});
+	return doesInsertAwaitDerivedOutput;
+};
+const isIntentionallySequentialAwait = (awaitNode, context) => isAwaitingPossiblyMutatedMemberCall(awaitNode, context) || isAwaitingSleepLikeCall(awaitNode, context) || isAwaitingPromiseConcurrencyCall(awaitNode) || isAwaitingManualPromiseWait(awaitNode) || doesAwaitedLocalCallInsertAwaitDerivedOutput(awaitNode, context);
 const collectPatternIdentifiers = (pattern, target) => {
 	if (isNodeOfType(pattern, "Identifier")) target.add(pattern.name);
 	else if (isNodeOfType(pattern, "ObjectPattern")) {
@@ -6099,11 +6231,6 @@ const loopBodyHasAwaitDependentEarlyExit = (block, loopLabelName) => {
 	});
 	return hasAwaitDependentExit;
 };
-const getRootObjectIdentifierName = (node) => {
-	let current = node;
-	while (isNodeOfType(current, "MemberExpression")) current = current.object;
-	return isNodeOfType(current, "Identifier") ? current.name : null;
-};
 const MUTATING_ARRAY_METHOD_NAMES$2 = new Set([
 	...ARRAY_MUTATION_METHOD_NAMES,
 	"pop",
@@ -17872,6 +17999,14 @@ const findRenderPhaseComponentOrHook = (node, scopes) => {
 //#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-early-exit-statement.ts
+const isEarlyExitStatement$1 = (statement) => {
+	if (!statement) return false;
+	if (statementAlwaysExits$1(statement)) return true;
+	if (isNodeOfType(statement, "BlockStatement")) return isEarlyExitStatement$1(statement.body.at(-1));
+	return isNodeOfType(statement, "ContinueStatement") || isNodeOfType(statement, "BreakStatement");
+};
+//#endregion
 //#region src/plugin/utils/is-ast-descendant.ts
 /**
 * True when `inner` is `outer` itself or any descendant in the AST
@@ -18090,13 +18225,15 @@ const isSynchronousIteratorCall = (callNode, callbackArgument, scopes) => {
 	}
 	return Boolean(methodName && EAGER_ITERATOR_METHOD_NAMES.has(methodName) && callNode.arguments[0] === callbackArgument && !isProvablyEmptyEagerCollection(callee.object, scopes) && (methodName === "forEach" ? isProvablyEagerForEachCollection(callee.object, scopes) : isProvablyEagerCollection(callee.object, scopes)));
 };
-const isSynchronousIteratorCallback = (functionNode) => {
-	const callNode = functionNode.parent;
-	if (!isNodeOfType(callNode, "CallExpression")) return false;
+const isSynchronousIteratorCallbackCall = (callNode, callbackArgument) => {
 	const callee = stripParenExpression(callNode.callee);
 	if (!isNodeOfType(callee, "MemberExpression") || callee.computed || !isNodeOfType(callee.property, "Identifier")) return false;
-	if (isNodeOfType(callee.object, "Identifier") && callee.object.name === "Array" && callee.property.name === "from") return callNode.arguments[1] === functionNode;
-	return SYNCHRONOUS_ITERATOR_METHOD_NAMES$2.has(callee.property.name) && callNode.arguments[0] === functionNode;
+	if (isNodeOfType(callee.object, "Identifier") && callee.object.name === "Array" && callee.property.name === "from") return callNode.arguments[1] === callbackArgument;
+	return SYNCHRONOUS_ITERATOR_METHOD_NAMES$2.has(callee.property.name) && callNode.arguments[0] === callbackArgument;
+};
+const isSynchronousIteratorCallback = (functionNode) => {
+	const callNode = functionNode.parent;
+	return Boolean(isNodeOfType(callNode, "CallExpression") && isSynchronousIteratorCallbackCall(callNode, functionNode));
 };
 //#endregion
 //#region src/plugin/utils/is-within-assignment-target.ts
@@ -18216,11 +18353,35 @@ const resolveEventListenerCaptureValueIdentityKey = (expression, context) => {
 	const rightIdentityKey = resolveEventListenerCaptureValueIdentityKey(unwrappedExpression.right, context);
 	return leftIdentityKey && rightIdentityKey ? `${unwrappedExpression.type}:${unwrappedExpression.operator}:${leftIdentityKey}:${rightIdentityKey}` : null;
 };
+const resolveReadOnlyEventListenerOptions = (optionsNode, context) => {
+	const unwrappedOptions = stripParenExpression(optionsNode);
+	if (!isNodeOfType(unwrappedOptions, "Identifier")) return resolveStableValue(unwrappedOptions, context);
+	const optionsSymbol = context.scopes.symbolFor(unwrappedOptions);
+	const initializer = optionsSymbol?.initializer ? stripParenExpression(optionsSymbol.initializer) : null;
+	if (!optionsSymbol || !initializer) return resolveStableValue(unwrappedOptions, context);
+	if (!isNodeOfType(initializer, "ObjectExpression")) {
+		if (isNodeOfType(initializer, "Identifier") || isNodeOfType(initializer, "MemberExpression")) return null;
+		return resolveStableValue(unwrappedOptions, context);
+	}
+	if (optionsSymbol.kind !== "const") return null;
+	return optionsSymbol.references.every((reference) => {
+		if (reference.flag !== "read" || isWithinAssignmentTarget(reference.identifier)) return false;
+		const referenceRoot = findTransparentExpressionRoot(reference.identifier);
+		const callNode = referenceRoot.parent;
+		if (!isNodeOfType(callNode, "CallExpression") || callNode.arguments[2] !== referenceRoot) return false;
+		const callee = stripParenExpression(callNode.callee);
+		if (!isNodeOfType(callee, "MemberExpression")) return false;
+		const methodName = getStaticPropertyKeyName(callee);
+		return methodName === "addEventListener" || methodName === "removeEventListener";
+	}) ? initializer : null;
+};
 const resolveEventListenerCaptureIdentityKey = (optionsNode, context, allowOpaqueOptionsIdentity) => {
-	const capture = resolveEventListenerCapture(optionsNode, { allowIndeterminateEntries: true });
+	const stableOptionsNode = optionsNode ? resolveReadOnlyEventListenerOptions(optionsNode, context) : null;
+	if (optionsNode && !stableOptionsNode) return null;
+	const capture = resolveEventListenerCapture(stableOptionsNode, { allowIndeterminateEntries: true });
 	if (capture !== null) return `capture:${String(capture)}`;
-	if (!optionsNode) return null;
-	const unwrappedOptions = stripParenExpression(optionsNode);
+	if (!stableOptionsNode) return null;
+	const unwrappedOptions = stripParenExpression(stableOptionsNode);
 	if (!isNodeOfType(unwrappedOptions, "ObjectExpression")) {
 		const optionsKey = allowOpaqueOptionsIdentity ? resolveEventListenerCaptureValueIdentityKey(unwrappedOptions, context) : null;
 		return optionsKey ? `options:${optionsKey}` : null;
@@ -18267,12 +18428,8 @@ const doEventListenerCapturesMatch = (registrationOptions, releaseOptions, conte
 	return registrationCaptureKey !== null && registrationCaptureKey === resolveEventListenerCaptureIdentityKey(releaseOptions, context, allowOpaqueOptionsIdentity);
 };
 const findAssignedResourceKey = (resourceNode, context) => {
-	let currentNode = resourceNode;
-	let parentNode = currentNode.parent;
-	while (isNodeOfType(parentNode, "ChainExpression")) {
-		currentNode = parentNode;
-		parentNode = currentNode.parent;
-	}
+	const currentNode = findTransparentExpressionRoot(resourceNode);
+	const parentNode = currentNode.parent;
 	if (isNodeOfType(parentNode, "VariableDeclarator") && parentNode.init === currentNode) return resolveExpressionKey(parentNode.id, context);
 	if (isNodeOfType(parentNode, "AssignmentExpression") && parentNode.right === currentNode) return resolveExpressionKey(parentNode.left, context);
 	return null;
@@ -18543,6 +18700,18 @@ const resolveIteratorCollectionKey = (expression, context) => {
 	}
 	return null;
 };
+const resolveReceiverIteratorCollectionKey = (expression, context) => {
+	if (!expression) return null;
+	const unwrappedExpression = stripParenExpression(expression);
+	if (!isNodeOfType(unwrappedExpression, "Identifier")) return null;
+	const collectionExpression = findForOfStatementForIteratorExpression(unwrappedExpression, context)?.right;
+	if (!collectionExpression) return null;
+	const collectionIdentifier = stripParenExpression(collectionExpression);
+	if (!isNodeOfType(collectionIdentifier, "Identifier") || !isPrivatePlainConstIdentifier(collectionIdentifier, context)) return null;
+	const collectionSymbol = context.scopes.symbolFor(collectionIdentifier);
+	const initializer = collectionSymbol?.initializer ? stripParenExpression(collectionSymbol.initializer) : null;
+	return collectionSymbol && isNodeOfType(initializer, "ArrayExpression") && hasOnlyReplayableCollectionReferences(collectionIdentifier, context, /* @__PURE__ */ new Set()) ? `symbol:${collectionSymbol.id}` : null;
+};
 const isStableLoopReceiver = (expression, context) => {
 	if (!expression) return false;
 	const unwrappedExpression = stripParenExpression(expression);
@@ -19313,6 +19482,28 @@ const isFunctionReturnedFromReactHook = (functionNode, context, requireRefProper
 	});
 };
 const isFunctionUsedAsReactRef = (functionNode, context) => isFunctionForwardedToReactRef(functionNode, context) || isFunctionReturnedFromReactHook(functionNode, context, true);
+const findCallbackRefReplacementReleaseGuard = (releaseCall, ownerFunction, releaseReceiverKey, registrationReceiverKey, context) => {
+	let descendant = releaseCall;
+	let ancestor = descendant.parent;
+	while (ancestor && ancestor !== ownerFunction) {
+		if (isNodeOfType(ancestor, "IfStatement") && ancestor.consequent === descendant && ancestor.alternate === null) {
+			const test = stripParenExpression(ancestor.test);
+			if (!isNodeOfType(test, "LogicalExpression") || test.operator !== "&&") return null;
+			const operands = [stripParenExpression(test.left), stripParenExpression(test.right)];
+			const hasLiveReceiverTest = operands.some((operand) => doesTestRequireLiveExpressionKey(operand, releaseReceiverKey, context));
+			const hasDifferentReceiverTest = operands.some((operand) => {
+				if (!isNodeOfType(operand, "BinaryExpression") || operand.operator !== "!==" && operand.operator !== "!=") return false;
+				const leftKey = resolveExpressionKey(operand.left, context);
+				const rightKey = resolveExpressionKey(operand.right, context);
+				return leftKey === releaseReceiverKey && rightKey === registrationReceiverKey || rightKey === releaseReceiverKey && leftKey === registrationReceiverKey;
+			});
+			return hasLiveReceiverTest && hasDifferentReceiverTest ? ancestor : null;
+		}
+		descendant = ancestor;
+		ancestor = descendant.parent;
+	}
+	return null;
+};
 const isReactRefListenerReplacementRelease = (releaseCall, usage, context) => {
 	if (!isNodeOfType(usage.node, "CallExpression")) return false;
 	const usageFunction = findEnclosingFunction$1(usage.node);
@@ -19333,7 +19524,7 @@ const isReactRefListenerReplacementRelease = (releaseCall, usage, context) => {
 		if (child !== usageFunctionBody && isFunctionLike$1(child)) return false;
 		if (isNodeOfType(child, "AssignmentExpression") && child.operator === "=" && resolveReactRefSymbol(stripParenExpression(child.left), context.scopes)?.id === releaseRefSymbol.id && resolveExpressionKey(child.right, context) === registrationReceiverKey && releaseStart !== null && (getRangeStart(child) ?? -1) > releaseStart) matchingOwnershipAssignments.push(child);
 	});
-	const releaseAnchor = findLiveExpressionGuardForRelease(releaseCall, usageFunction, releaseReceiverKey, context) ?? releaseCall;
+	const releaseAnchor = findLiveExpressionGuardForRelease(releaseCall, usageFunction, releaseReceiverKey, context) ?? findCallbackRefReplacementReleaseGuard(releaseCall, usageFunction, releaseReceiverKey, registrationReceiverKey, context) ?? releaseCall;
 	const safeOwnershipAssignments = matchingOwnershipAssignments.filter((assignment) => doMatchingNodesCoverEveryPathBeforeUsage(assignment, [releaseAnchor], usageFunction, context));
 	return doNodesCoverEveryPathFromFunctionEntry(usageFunction, [releaseAnchor], context) && doMatchingNodesCoverEveryPathBeforeUsage(usage.node, safeOwnershipAssignments, usageFunction, context);
 };
@@ -19483,14 +19674,21 @@ const doesReleaseCallMatchUsage = (node, usage, context) => {
 	if (usage.kind === "socket") return usage.handleKey !== null && releaseReceiverKey === usage.handleKey && (SOCKET_RELEASE_VERB_NAMES.has(releaseVerbName) || UNIVERSAL_RELEASE_VERB_NAMES.has(releaseVerbName));
 	if (usage.handleKey !== null && releaseReceiverKey === usage.handleKey && (releaseVerbName === "unsubscribe" || releaseVerbName === "unsub" || releaseVerbName === "close" || releaseVerbName === "unwatch" || releaseVerbName === "unlisten" || BOUND_RESOURCE_RELEASE_METHOD_NAMES.has(releaseVerbName))) return true;
 	if (releaseVerbName === "abort" && releaseReceiverKey === getListenerAbortControllerKey(usage, context)) return true;
-	if (usage.registrationVerbName === "addListener" && isNodeOfType(usage.node, "CallExpression") && usage.node.arguments?.length === 1) return isProvenLegacyMediaQueryListMethodCall(usage.node, "addListener", context) && releaseVerbName === "removeListener" && isProvenLegacyMediaQueryListMethodCall(callNode, "removeListener", context) && usage.receiverKey !== null && resolveStableMediaQueryListenerIdentityKey(callee.object, context) === usage.receiverKey && usage.handlerKey !== null && resolveStableMediaQueryListenerIdentityKey(callNode.arguments?.[0], context) === usage.handlerKey;
 	if (releaseVerbName === "abort" && isRetainedAbortControllerRefRelease(callee.object, usage, context)) return true;
+	if (usage.registrationVerbName === "addListener" && releaseVerbName === "removeListener" && isNodeOfType(usage.node, "CallExpression") && usage.node.arguments?.length === 1) {
+		if (callNode.arguments?.length !== 1) return false;
+		const registrationHandler = resolveStableValue(usage.node.arguments[0], context);
+		if (!isProvenLegacyMediaQueryListMethodCall(usage.node, "addListener", context) && !isFunctionLike$1(registrationHandler)) return false;
+	}
 	if (usage.registrationVerbName === "addEventListener" && releaseVerbName === "removeEventListener" && isNodeOfType(usage.node, "CallExpression")) {
 		if (!isNodeOfType(stripParenExpression(usage.node.callee), "MemberExpression")) return false;
 		if (!doEventListenerCapturesMatch(usage.node.arguments?.[2], callNode.arguments?.[2], context, true)) return false;
 	}
 	if (isNodeOfType(usage.node, "CallExpression") && !hasSafeForEachProjectionCleanup(usage.node, callNode, context)) return false;
-	if (usage.receiverKey === null || releaseReceiverKey !== usage.receiverKey) return false;
+	const registrationCallee = isNodeOfType(usage.node, "CallExpression") ? stripParenExpression(usage.node.callee) : null;
+	const registrationReceiverCollectionKey = isNodeOfType(registrationCallee, "MemberExpression") ? resolveReceiverIteratorCollectionKey(registrationCallee.object, context) : null;
+	const releaseReceiverCollectionKeyForPair = resolveReceiverIteratorCollectionKey(callee.object, context);
+	if (!(registrationReceiverCollectionKey !== null && registrationReceiverCollectionKey === releaseReceiverCollectionKeyForPair) && (usage.receiverKey === null || releaseReceiverKey !== usage.receiverKey)) return false;
 	if (usage.registrationVerbName === "subscribe" && (releaseVerbName === "unsubscribe" || releaseVerbName === "unsub") && usage.handleKey !== null && resolveExpressionKey(callNode.arguments?.[0], context) === usage.handleKey) return true;
 	const pairedVerbNames = usage.registrationVerbName ? PAIRED_RELEASE_VERB_NAMES_BY_REGISTRATION_VERB.get(usage.registrationVerbName) : null;
 	if (!pairedVerbNames || !matchesPairedReleaseVerb(releaseVerbName, pairedVerbNames)) return false;
@@ -19527,7 +19725,7 @@ const doesReleaseCallMatchUsage = (node, usage, context) => {
 		const usesUnaryListenerSignatureForCalls = isNodeOfType(usage.node, "CallExpression") && usesUnaryListenerSignature(usage.node, callNode);
 		const releaseHandler = usesUnaryListenerSignatureForCalls ? callNode.arguments?.[0] : callNode.arguments?.[1];
 		if (!releaseHandler) return releaseVerbName === "off";
-		const expectedHandlerKey = usesUnaryListenerSignatureForCalls ? usage.eventKey : usage.handlerKey;
+		const expectedHandlerKey = usesUnaryListenerSignatureForCalls ? usage.handlerKey ?? usage.eventKey : usage.handlerKey;
 		const registrationHandler = isNodeOfType(usage.node, "CallExpression") ? usage.node.arguments?.[usesUnaryListenerSignatureForCalls ? 0 : 1] : null;
 		return expectedHandlerKey !== null && resolveResourceIdentityKey(releaseHandler, context) === expectedHandlerKey || registrationHandler !== null && resolveStableValue(releaseHandler, context) === resolveStableValue(registrationHandler, context);
 	}
@@ -20001,6 +20199,7 @@ const findRetainedFunctionLeak = (retainedFunction, context, options) => {
 	walkAst(body, (child) => {
 		if (leak !== null) return false;
 		if (isFunctionLike$1(child)) return false;
+		if (!isNodeReachableWithinFunction(child, context)) return false;
 		if (isSocketConstruction(child) && !doesResourceResultEscape(child, allowReturnedSocketEscape, false, context)) {
 			const socketUsage = {
 				kind: "socket",
@@ -20253,6 +20452,164 @@ const isInlineRetainedHandlerFunction = (functionNode, context) => {
 	const objectParent = objectExpression.parent;
 	return (isNodeOfType(objectParent, "CallExpression") && objectParent.arguments.some((argument) => argument === objectExpression) || isNodeOfType(objectParent, "JSXExpressionContainer")) && findRenderPhaseComponentOrHook(parentNode, context.scopes) !== null;
 };
+const readInvocationArgumentValue = (expression, context) => {
+	if (!expression) return {
+		isDefinitelyUndefined: true,
+		truthiness: "falsy"
+	};
+	const target = stripParenExpression(expression);
+	if (isNodeOfType(target, "Literal")) return {
+		isDefinitelyUndefined: false,
+		truthiness: target.value ? "truthy" : "falsy"
+	};
+	if (isNodeOfType(target, "Identifier") && target.name === "undefined" && context.scopes.isGlobalReference(target)) return {
+		isDefinitelyUndefined: true,
+		truthiness: "falsy"
+	};
+	if (isNodeOfType(target, "UnaryExpression") && target.operator === "void") return {
+		isDefinitelyUndefined: true,
+		truthiness: "falsy"
+	};
+	if (isNodeOfType(target, "ArrayExpression") || isNodeOfType(target, "ArrowFunctionExpression") || isNodeOfType(target, "ClassExpression") || isNodeOfType(target, "FunctionExpression") || isNodeOfType(target, "NewExpression") || isNodeOfType(target, "ObjectExpression")) return {
+		isDefinitelyUndefined: false,
+		truthiness: "truthy"
+	};
+	return {
+		isDefinitelyUndefined: false,
+		truthiness: "unknown"
+	};
+};
+const readInvocationConditionTruthiness = (expression, parameterValues, context) => {
+	const target = stripParenExpression(expression);
+	const atomicValue = readInvocationArgumentValue(target, context);
+	if (atomicValue.truthiness !== "unknown") return atomicValue.truthiness;
+	if (isNodeOfType(target, "Identifier")) {
+		const symbol = context.scopes.symbolFor(target);
+		return symbol ? parameterValues.get(symbol.id)?.truthiness ?? "unknown" : "unknown";
+	}
+	if (isNodeOfType(target, "UnaryExpression") && target.operator === "!") {
+		const argumentTruthiness = readInvocationConditionTruthiness(target.argument, parameterValues, context);
+		return argumentTruthiness === "truthy" ? "falsy" : argumentTruthiness === "falsy" ? "truthy" : "unknown";
+	}
+	if (isNodeOfType(target, "LogicalExpression")) {
+		const leftTruthiness = readInvocationConditionTruthiness(target.left, parameterValues, context);
+		const rightTruthiness = readInvocationConditionTruthiness(target.right, parameterValues, context);
+		if (target.operator === "&&") {
+			if (leftTruthiness === "falsy" || rightTruthiness === "falsy") return "falsy";
+			return leftTruthiness === "truthy" && rightTruthiness === "truthy" ? "truthy" : "unknown";
+		}
+		if (target.operator === "||") {
+			if (leftTruthiness === "truthy" || rightTruthiness === "truthy") return "truthy";
+			return leftTruthiness === "falsy" && rightTruthiness === "falsy" ? "falsy" : "unknown";
+		}
+		return "unknown";
+	}
+	if (isNodeOfType(target, "ConditionalExpression")) {
+		const testTruthiness = readInvocationConditionTruthiness(target.test, parameterValues, context);
+		if (testTruthiness === "truthy") return readInvocationConditionTruthiness(target.consequent, parameterValues, context);
+		if (testTruthiness === "falsy") return readInvocationConditionTruthiness(target.alternate, parameterValues, context);
+		const consequentTruthiness = readInvocationConditionTruthiness(target.consequent, parameterValues, context);
+		return consequentTruthiness === readInvocationConditionTruthiness(target.alternate, parameterValues, context) ? consequentTruthiness : "unknown";
+	}
+	if (isNodeOfType(target, "CallExpression") && isNodeOfType(target.callee, "Identifier") && target.callee.name === "Boolean" && context.scopes.isGlobalReference(target.callee) && target.arguments[0] && isAstNode(target.arguments[0])) return readInvocationConditionTruthiness(target.arguments[0], parameterValues, context);
+	return "unknown";
+};
+const getInvocationParameterValues = (retainedFunction, invocation, leakNode, context) => {
+	const parameterValues = /* @__PURE__ */ new Map();
+	if (!isFunctionLike$1(retainedFunction) || !invocation.isDirect) return parameterValues;
+	for (const [parameterIndex, parameter] of retainedFunction.params.entries()) {
+		const argument = invocation.call.arguments[parameterIndex];
+		const argumentExpression = argument && isAstNode(argument) ? argument : null;
+		let parameterIdentifier = null;
+		let parameterValue = readInvocationArgumentValue(argumentExpression, context);
+		if (isNodeOfType(parameter, "Identifier")) parameterIdentifier = parameter;
+		else if (isNodeOfType(parameter, "AssignmentPattern") && isNodeOfType(parameter.left, "Identifier")) {
+			parameterIdentifier = parameter.left;
+			if (parameterValue.isDefinitelyUndefined) parameterValue = readInvocationArgumentValue(parameter.right, context);
+		} else if (isNodeOfType(parameter, "RestElement") && isNodeOfType(parameter.argument, "Identifier")) {
+			parameterIdentifier = parameter.argument;
+			parameterValue = {
+				isDefinitelyUndefined: false,
+				truthiness: "truthy"
+			};
+		}
+		if (!parameterIdentifier) continue;
+		const parameterSymbol = context.scopes.symbolFor(parameterIdentifier);
+		if (!parameterSymbol) continue;
+		const isWrittenBeforeLeak = parameterSymbol.references.some((reference) => reference.flag !== "read" && reference.identifier.range[0] < leakNode.range[0]);
+		parameterValues.set(parameterSymbol.id, isWrittenBeforeLeak ? {
+			isDefinitelyUndefined: false,
+			truthiness: "unknown"
+		} : parameterValue);
+	}
+	return parameterValues;
+};
+const isLeakPathDisabledForInvocation = (retainedFunction, leakNode, invocation, context) => {
+	if (!invocation.isDirect) return false;
+	const parameterValues = getInvocationParameterValues(retainedFunction, invocation, leakNode, context);
+	let child = leakNode;
+	let ancestor = leakNode.parent ?? null;
+	while (ancestor && ancestor !== retainedFunction) {
+		if (isNodeOfType(ancestor, "BlockStatement")) {
+			const childIndex = ancestor.body.findIndex((statement) => statement === child);
+			for (const precedingStatement of ancestor.body.slice(0, childIndex)) {
+				if (!isNodeOfType(precedingStatement, "IfStatement") || precedingStatement.alternate || !isEarlyExitStatement$1(precedingStatement.consequent)) continue;
+				if (readInvocationConditionTruthiness(precedingStatement.test, parameterValues, context) === "truthy") return true;
+			}
+		}
+		let requiredTruthiness = null;
+		let condition = null;
+		if (isNodeOfType(ancestor, "IfStatement")) {
+			condition = ancestor.test;
+			requiredTruthiness = ancestor.consequent === child ? "truthy" : "falsy";
+		} else if (isNodeOfType(ancestor, "ConditionalExpression")) {
+			condition = ancestor.test;
+			requiredTruthiness = ancestor.consequent === child ? "truthy" : "falsy";
+		} else if (isNodeOfType(ancestor, "LogicalExpression") && ancestor.right === child && ancestor.operator !== "??") {
+			condition = ancestor.left;
+			requiredTruthiness = ancestor.operator === "&&" ? "truthy" : "falsy";
+		} else if ((isNodeOfType(ancestor, "WhileStatement") || isNodeOfType(ancestor, "DoWhileStatement")) && ancestor.body === child) {
+			condition = ancestor.test;
+			requiredTruthiness = "truthy";
+		} else if (isNodeOfType(ancestor, "ForStatement") && ancestor.body === child && ancestor.test) {
+			condition = ancestor.test;
+			requiredTruthiness = "truthy";
+		}
+		if (condition && requiredTruthiness) {
+			const conditionTruthiness = readInvocationConditionTruthiness(condition, parameterValues, context);
+			if (conditionTruthiness !== "unknown" && conditionTruthiness !== requiredTruthiness) return true;
+		}
+		child = ancestor;
+		ancestor = ancestor.parent ?? null;
+	}
+	return false;
+};
+const getEffectRetainedInvocations = (retainedFunction, context) => {
+	if (!isFunctionLike$1(retainedFunction)) return [];
+	const componentFunction = findEnclosingFunction$1(retainedFunction);
+	if (!componentFunction || !isFunctionLike$1(componentFunction)) return [];
+	const invocations = [];
+	walkAst(componentFunction.body, (child) => {
+		if (!isNodeOfType(child, "CallExpression") || findEnclosingFunction$1(child) !== componentFunction || !isReactHookCall(child, CLEANUP_EFFECT_HOOK_NAMES, context.scopes)) return;
+		const effectCallback = getEffectCallback(child);
+		if (!effectCallback || !isFunctionLike$1(effectCallback)) return;
+		walkAst(effectCallback.body, (effectChild) => {
+			if (effectChild !== effectCallback.body && isFunctionLike$1(effectChild)) return false;
+			if (!isNodeOfType(effectChild, "CallExpression") || !isNodeReachableWithinFunction(effectChild, context)) return;
+			const isDirectInvocation = resolveRefOwnedCleanupFunction(effectChild.callee, context) === retainedFunction;
+			const isSynchronousIteratorInvocation = effectChild.arguments.some((argument) => isAstNode(argument) && resolveRefOwnedCleanupFunction(argument, context) === retainedFunction && isSynchronousIteratorCallbackCall(effectChild, argument));
+			if (isDirectInvocation) invocations.push({
+				call: effectChild,
+				isDirect: true
+			});
+			if (isSynchronousIteratorInvocation) invocations.push({
+				call: effectChild,
+				isDirect: false
+			});
+		});
+	});
+	return invocations;
+};
 const effectNeedsCleanup = defineRule({
 	id: "effect-needs-cleanup",
 	title: "Effect subscription or timer never cleaned up",
@@ -20263,13 +20620,19 @@ const effectNeedsCleanup = defineRule({
 		const reportRetainedLeak = (retainedFunction) => {
 			const refEffectUsage = getReactRefEffectUsage(retainedFunction, context);
 			if (!refEffectUsage && !isPotentiallyReachableFunction(retainedFunction, context)) return;
+			const effectInvocations = getEffectRetainedInvocations(retainedFunction, context);
+			const isEffectInvoked = effectInvocations.length > 0;
 			const leak = findRetainedFunctionLeak(retainedFunction, context, refEffectUsage ? {
 				allowReturnedResourceEscape: refEffectUsage.doesEffectOwnEveryResult,
 				allowReturnedTimerEscape: false,
 				includeOneShotTimers: true,
 				requireCallableReturnedResource: true
+			} : isEffectInvoked ? {
+				allowReturnedTimerEscape: false,
+				includeOneShotTimers: true
 			} : void 0);
 			if (!leak) return;
+			if (isEffectInvoked && leak.resourceName === "setTimeout" && (!isNodeReachableWithinFunction(leak.node, context) || isFunctionLike$1(retainedFunction) && retainedFunction.params.length > 0 && !context.cfg.isUnconditionalFromEntry(leak.node) && effectInvocations.every((invocation) => isLeakPathDisabledForInvocation(retainedFunction, leak.node, invocation, context)))) return;
 			const resourceNoun = RESOURCE_NOUN_BY_KIND[leak.kind];
 			context.report({
 				node: leak.node,
@@ -24689,14 +25052,14 @@ const getFirstLegendChild = (children, targetNode) => {
 		if (isNodeOfType(child, "JSXExpressionContainer")) {
 			const potentialLegends = [];
 			collectPotentialLegends(child.expression, potentialLegends);
-			const containingLegend = potentialLegends.find((legend) => isDescendantOf(targetNode, legend));
+			const containingLegend = potentialLegends.find((legend) => isDescendantOf$1(targetNode, legend));
 			if (containingLegend) return containingLegend;
 			if (potentialLegends[0]) return potentialLegends[0];
 		}
 	}
 	return null;
 };
-const isDescendantOf = (node, ancestor) => {
+const isDescendantOf$1 = (node, ancestor) => {
 	let current = node.parent;
 	while (current) {
 		if (current === ancestor) return true;
@@ -24721,7 +25084,7 @@ const isDisabledByFieldsetAncestor = (node, context) => {
 	while (ancestor) {
 		if (isNodeOfType(ancestor, "JSXElement") && resolveJsxElementType(ancestor.openingElement) === "fieldset" && openingElementMayBeDisabled(ancestor.openingElement, context)) {
 			const firstLegend = getFirstLegendChild(ancestor.children, node);
-			if (!firstLegend || !isDescendantOf(node, firstLegend)) return true;
+			if (!firstLegend || !isDescendantOf$1(node, firstLegend)) return true;
 		}
 		ancestor = ancestor.parent;
 	}
@@ -29098,6 +29461,11 @@ const jsCacheStorage = defineRule({
 });
 //#endregion
 //#region src/plugin/rules/js-performance/js-combine-iterations.ts
+const SMALL_ARRAY_NON_MUTATING_METHODS = new Set([
+	...CHAINABLE_ITERATION_METHODS,
+	"find",
+	"some"
+]);
 const isIteratorProducingCall = (callExpression, generatorNamesInFile) => {
 	const callee = callExpression.callee;
 	if (isNodeOfType(callee, "MemberExpression")) {
@@ -29209,21 +29577,34 @@ const isStringSplitRootedChain = (receiverNode) => {
 	return false;
 };
 const isSmallLiteralArray = (node) => {
-	if (!isNodeOfType(node, "ArrayExpression")) return false;
-	const elements = node.elements ?? [];
-	if (elements.length === 0 || elements.length > 8) return false;
+	const arrayNode = stripParenExpression(node);
+	if (!isNodeOfType(arrayNode, "ArrayExpression")) return false;
+	const elements = arrayNode.elements ?? [];
+	if (elements.length === 0 || elements.length > 9) return false;
 	for (const element of elements) {
 		if (!element) continue;
 		if (isNodeOfType(element, "SpreadElement")) return false;
 	}
 	return true;
 };
-const isSmallLiteralArrayRootedChain = (receiverNode, smallConstArrayNames) => {
+const isNonMutatingSmallArrayMethodReference = (identifier) => {
+	const identifierRoot = findTransparentExpressionRoot(identifier);
+	const memberExpression = identifierRoot.parent;
+	if (!isNodeOfType(memberExpression, "MemberExpression") || memberExpression.object !== identifierRoot || !isNodeOfType(memberExpression.property, "Identifier") || !SMALL_ARRAY_NON_MUTATING_METHODS.has(memberExpression.property.name)) return false;
+	const callExpression = memberExpression.parent;
+	return isNodeOfType(callExpression, "CallExpression") && callExpression.callee === memberExpression;
+};
+const isSmallLiteralArrayRootedChain = (receiverNode, scopes) => {
 	let cursor = receiverNode;
 	while (cursor) {
 		cursor = stripParenExpression(cursor);
 		if (isNodeOfType(cursor, "ArrayExpression")) return isSmallLiteralArray(cursor);
-		if (isNodeOfType(cursor, "Identifier")) return smallConstArrayNames.has(cursor.name);
+		if (isNodeOfType(cursor, "Identifier")) {
+			const symbol = scopes.symbolFor(cursor);
+			if (!symbol?.initializer || !isSmallLiteralArray(symbol.initializer)) return false;
+			if (!isNodeOfType(symbol.declarationNode, "VariableDeclarator") || !isNodeOfType(symbol.declarationNode.id, "Identifier")) return false;
+			return (symbol.kind === "const" || symbol.kind === "let" || symbol.kind === "var") && symbol.references.every((reference) => reference.flag === "read" && isNonMutatingSmallArrayMethodReference(reference.identifier));
+		}
 		if (!isNodeOfType(cursor, "CallExpression")) return false;
 		if (!isChainPassThroughCall(cursor)) return false;
 		const nextCallee = cursor.callee;
@@ -29232,22 +29613,6 @@ const isSmallLiteralArrayRootedChain = (receiverNode, smallConstArrayNames) => {
 	}
 	return false;
 };
-const collectSmallConstArrayNames = (programNode) => {
-	const names = /* @__PURE__ */ new Set();
-	const statements = programNode.body ?? [];
-	for (const statement of statements) {
-		const declaration = isNodeOfType(statement, "ExportNamedDeclaration") ? statement.declaration : statement;
-		if (!declaration || !isNodeOfType(declaration, "VariableDeclaration")) continue;
-		if (declaration.kind !== "const") continue;
-		for (const declarator of declaration.declarations ?? []) {
-			if (!isNodeOfType(declarator, "VariableDeclarator")) continue;
-			if (!isNodeOfType(declarator.id, "Identifier")) continue;
-			if (!declarator.init || !isSmallLiteralArray(declarator.init)) continue;
-			names.add(declarator.id.name);
-		}
-	}
-	return names;
-};
 const collectGeneratorNames = (programNode) => {
 	const generatorNames = /* @__PURE__ */ new Set();
 	walkAst(programNode, (child) => {
@@ -29268,16 +29633,11 @@ const jsCombineIterations = defineRule({
 	create: (context) => {
 		let programNode = null;
 		let generatorNamesInFile = null;
-		let smallConstArrayNames = null;
 		const coveredChainCalls = /* @__PURE__ */ new WeakSet();
 		const getGeneratorNamesInFile = () => {
 			generatorNamesInFile ??= programNode ? collectGeneratorNames(programNode) : /* @__PURE__ */ new Set();
 			return generatorNamesInFile;
 		};
-		const getSmallConstArrayNames = () => {
-			smallConstArrayNames ??= programNode ? collectSmallConstArrayNames(programNode) : /* @__PURE__ */ new Set();
-			return smallConstArrayNames;
-		};
 		return {
 			Program(node) {
 				programNode = node;
@@ -29307,7 +29667,7 @@ const jsCombineIterations = defineRule({
 					if (isTypePredicateArrow(filterArgument)) return;
 				}
 				if (isReceiverChainIteratorRooted(innerCall.callee.object, getGeneratorNamesInFile())) return;
-				if (isSmallLiteralArrayRootedChain(innerCall.callee.object, getSmallConstArrayNames())) return;
+				if (isSmallLiteralArrayRootedChain(innerCall.callee.object, context.scopes)) return;
 				if (isStringSplitRootedChain(innerCall.callee.object)) return;
 				coveredChainCalls.add(innerCall);
 				context.report({
@@ -30534,7 +30894,8 @@ const STRING_TYPED_PROPERTY_NAMES = new Set([
 	"code",
 	"label",
 	"slug",
-	"prefix"
+	"prefix",
+	"__html"
 ]);
 const STRING_TYPED_IDENTIFIER_SUFFIXES = [
 	"Text",
@@ -30652,13 +31013,25 @@ const STRING_TYPED_IDENTIFIER_NAMES = new Set([
 	"title"
 ]);
 const STRING_RETURNING_CALLEE_PREFIX_PATTERN = /^(?:normalize|format|stringify|serialize)/;
+const FRESH_ARRAY_METHOD_NAMES$2 = new Set([
+	"concat",
+	"filter",
+	"flat",
+	"flatMap",
+	"map",
+	"slice",
+	"split"
+]);
 const isLikelyStringReceiver = (receiver) => {
 	if (!receiver) return false;
+	const unwrappedReceiver = stripParenExpression(receiver);
+	if (unwrappedReceiver !== receiver) return isLikelyStringReceiver(unwrappedReceiver);
 	if (isNodeOfType(receiver, "Literal") && typeof receiver.value === "string") return true;
 	if (isNodeOfType(receiver, "TemplateLiteral")) return true;
 	if (isNodeOfType(receiver, "CallExpression") && isNodeOfType(receiver.callee, "Identifier") && receiver.callee.name === "String") return true;
 	if (isNodeOfType(receiver, "CallExpression") && isNodeOfType(receiver.callee, "MemberExpression") && isNodeOfType(receiver.callee.property, "Identifier") && STRING_RETURNING_METHODS.has(receiver.callee.property.name)) return true;
 	if (isNodeOfType(receiver, "CallExpression") && isNodeOfType(receiver.callee, "Identifier") && STRING_RETURNING_CALLEE_PREFIX_PATTERN.test(receiver.callee.name)) return true;
+	if (isNodeOfType(receiver, "CallExpression") && isNodeOfType(receiver.callee, "MemberExpression") && isNodeOfType(receiver.callee.property, "Identifier") && (receiver.callee.property.name === "concat" || receiver.callee.property.name === "slice") && isLikelyStringReceiver(receiver.callee.object)) return true;
 	if (isNodeOfType(receiver, "MemberExpression") && isNodeOfType(receiver.property, "Identifier")) {
 		if (STRING_TYPED_PROPERTY_NAMES.has(receiver.property.name)) return true;
 	}
@@ -30676,8 +31049,46 @@ const isLikelyStringReceiver = (receiver) => {
 	}
 	if (isNodeOfType(receiver, "BinaryExpression") && receiver.operator === "+") return isLikelyStringReceiver(receiver.left) || isLikelyStringReceiver(receiver.right);
 	if (isNodeOfType(receiver, "ConditionalExpression")) return isLikelyStringReceiver(receiver.consequent) && isLikelyStringReceiver(receiver.alternate);
+	if (isNodeOfType(receiver, "LogicalExpression")) return isLikelyStringReceiver(receiver.left) && isLikelyStringReceiver(receiver.right);
 	return false;
 };
+const isFreshArrayReceiver = (receiver) => {
+	const unwrappedReceiver = stripParenExpression(receiver);
+	if (unwrappedReceiver !== receiver) return isFreshArrayReceiver(unwrappedReceiver);
+	if (!isNodeOfType(receiver, "CallExpression") || !isNodeOfType(receiver.callee, "MemberExpression") || !isNodeOfType(receiver.callee.property, "Identifier")) return false;
+	if (!FRESH_ARRAY_METHOD_NAMES$2.has(receiver.callee.property.name)) return false;
+	if (receiver.callee.property.name === "split") return isLikelyStringReceiver(receiver.callee.object);
+	const sourceReceiver = stripParenExpression(receiver.callee.object);
+	return isKnownNativeArrayReceiver(sourceReceiver) || isFreshArrayReceiver(sourceReceiver);
+};
+const isSmallRestHelperOmissionList = (node) => {
+	if (!node) return false;
+	const candidate = stripParenExpression(node);
+	if (!isNodeOfType(candidate, "ArrayExpression")) return false;
+	const elements = candidate.elements ?? [];
+	return elements.length <= 8 && elements.every((element) => element === null || !isNodeOfType(element, "SpreadElement"));
+};
+const isTypeScriptRestHelperLookup = (lookupCall, receiver, scopes) => {
+	if (!isNodeOfType(receiver, "Identifier")) return false;
+	const enclosingFunction = findEnclosingFunction$1(lookupCall);
+	if (!isNodeOfType(enclosingFunction, "FunctionExpression") || !isNodeOfType(enclosingFunction.params?.[1], "Identifier") || enclosingFunction.params[1].name !== receiver.name) return false;
+	let bindingIdentifier = null;
+	let ancestor = enclosingFunction.parent;
+	while (ancestor && !isFunctionLike$1(ancestor)) {
+		if (isNodeOfType(ancestor, "VariableDeclarator") && isNodeOfType(ancestor.id, "Identifier") && ancestor.id.name === "__rest") {
+			bindingIdentifier = ancestor.id;
+			break;
+		}
+		ancestor = ancestor.parent;
+	}
+	if (!bindingIdentifier) return false;
+	const helperSymbol = scopes.symbolFor(bindingIdentifier);
+	if (!helperSymbol || helperSymbol.references.length === 0) return false;
+	return helperSymbol.references.every((reference) => {
+		const callExpression = reference.identifier.parent;
+		return isNodeOfType(callExpression, "CallExpression") && callExpression.callee === reference.identifier && isSmallRestHelperOmissionList(callExpression.arguments?.[1]);
+	});
+};
 const INDEX_LIKE_IDENTIFIER_NAMES = new Set([
 	"i",
 	"j",
@@ -31274,6 +31685,8 @@ const jsSetMapLookups = defineRule({
 			const query = node.arguments[0];
 			if (methodName === "indexOf" && !isKnownSafeIndexOfQuery(query) && (isKnownUnsafeIndexOfQuery(query, receiver) || isKnownUnsafeIndexOfReceiver(receiver))) return;
 			if (isLikelyStringReceiver(receiver)) return;
+			if (isFreshArrayReceiver(receiver)) return;
+			if (isTypeScriptRestHelperLookup(node, receiver, context.scopes)) return;
 			if (isSmallInlineLiteralArray(receiver)) return;
 			if (isScreamingSnakeCaseConstantReceiver(receiver)) return;
 			if (isSmallFixedListMember(receiver)) return;
@@ -45187,14 +45600,6 @@ const noAriaInvalidWithoutDescription = defineRule({
 	} })
 });
 //#endregion
-//#region src/plugin/utils/is-early-exit-statement.ts
-const isEarlyExitStatement$1 = (statement) => {
-	if (!statement) return false;
-	if (statementAlwaysExits$1(statement)) return true;
-	if (isNodeOfType(statement, "BlockStatement")) return isEarlyExitStatement$1(statement.body.at(-1));
-	return isNodeOfType(statement, "ContinueStatement") || isNodeOfType(statement, "BreakStatement");
-};
-//#endregion
 //#region src/plugin/utils/unwrap-negative-guard-form.ts
 const unwrapNegativeGuardForm = (test) => {
 	const expression = stripParenExpression(test);
@@ -55682,9 +56087,13 @@ const isInitialOnlyPropName = (propName) => {
 	return /^initial[A-Z]/.test(propName) || /^default[A-Z]/.test(propName) || /^seed[A-Z]/.test(propName) || /^starting[A-Z]/.test(propName) || /^baseline[A-Z]/.test(propName) || /^preset[A-Z]/.test(propName);
 };
 //#endregion
+//#region src/plugin/utils/nextjs-page-data-export-names.ts
+const NEXTJS_PAGE_DATA_EXPORT_NAMES = new Set(["getServerSideProps", "getStaticProps"]);
+//#endregion
 //#region src/plugin/rules/state-and-effects/no-derived-use-state.ts
 const isInitialOnlySeedName = (propName) => isInitialOnlyPropName(propName) || propName === "initial" || propName === "autoFocus" || propName === "autoPlay" || propName === "startOpen" || /^initially[A-Z]/.test(propName) || /Initial([A-Z]|$)/.test(propName);
 const SNAPSHOT_STATE_NAME_PATTERN = /^(initial|previous|prev|preserved|saved|original|cached|snapshot|prior|debounced|deferred)([A-Z_]|$)/;
+const INTERNAL_STATE_NAME_PATTERN = /^(internal|uncontrolled)([A-Z_]|$)/;
 const getStateSetterName = (useStateCall) => {
 	const declarator = useStateCall.parent;
 	if (!isNodeOfType(declarator, "VariableDeclarator")) return null;
@@ -55838,7 +56247,6 @@ const isDraftCommittedToParent = (componentFunction, stateValueName, isPropName)
 	});
 	return isCommitted;
 };
-const NEXTJS_PAGE_DATA_EXPORT_NAMES = new Set(["getServerSideProps", "getStaticProps"]);
 const isNextjsDataFetchingPage = (node) => {
 	const program = findProgramRoot(node);
 	if (!program) return false;
@@ -55882,6 +56290,48 @@ const isInRenderScope = (node, componentFunction) => {
 	}
 	return true;
 };
+const isReferenceToBinding = (reference, bindingIdentifier, context) => {
+	if (!isNodeOfType(reference, "Identifier")) return false;
+	const bindingSymbol = context.scopes.symbolFor(bindingIdentifier);
+	if (!bindingSymbol) return false;
+	return (context.scopes.referenceFor(reference)?.resolvedSymbol)?.id === bindingSymbol.id;
+};
+const isControlledPropFallbackExpression = (expression, stateBinding, isPropName, context) => {
+	if (isNodeOfType(expression, "ConditionalExpression")) {
+		const consequent = unwrapInitializerSeed(expression.consequent);
+		const alternate = unwrapInitializerSeed(expression.alternate);
+		return isReferenceToBinding(consequent, stateBinding, context) && isPropDerivedArgument(alternate, isPropName) || isPropDerivedArgument(consequent, isPropName) && isReferenceToBinding(alternate, stateBinding, context);
+	}
+	return isNodeOfType(expression, "LogicalExpression") && expression.operator === "??" && isPropDerivedArgument(unwrapInitializerSeed(expression.left), isPropName) && isReferenceToBinding(unwrapInitializerSeed(expression.right), stateBinding, context);
+};
+const isUserEditableControlledFallback = (useStateCall, isPropName, context) => {
+	const declarator = useStateCall.parent;
+	if (!isNodeOfType(declarator, "VariableDeclarator")) return false;
+	if (!isNodeOfType(declarator.id, "ArrayPattern")) return false;
+	const stateBinding = declarator.id.elements?.[0];
+	const setterBinding = declarator.id.elements?.[1];
+	if (!isNodeOfType(stateBinding, "Identifier") || !isNodeOfType(setterBinding, "Identifier")) return false;
+	if (!INTERNAL_STATE_NAME_PATTERN.test(stateBinding.name)) return false;
+	const componentFunction = findEnclosingFunction$1(useStateCall);
+	if (!componentFunction) return false;
+	let hasControlledFallback = false;
+	let hasUserEdit = false;
+	walkAst(componentFunction, (child) => {
+		if (child !== componentFunction && isFunctionLike$1(child)) return false;
+		if (!hasControlledFallback && (isNodeOfType(child, "ConditionalExpression") || isNodeOfType(child, "LogicalExpression")) && isControlledPropFallbackExpression(child, stateBinding, isPropName, context)) hasControlledFallback = true;
+	});
+	walkAst(componentFunction, (child) => {
+		if (hasUserEdit) return false;
+		if (!isNodeOfType(child, "CallExpression")) return;
+		if (!isReferenceToBinding(child.callee, setterBinding, context)) return;
+		if (!isHandlerShapedReseed(child, componentFunction)) return;
+		const setterArgument = child.arguments?.[0];
+		if (!setterArgument || isPropDerivedArgument(unwrapInitializerSeed(setterArgument), isPropName)) return;
+		hasUserEdit = true;
+		return false;
+	});
+	return hasControlledFallback && hasUserEdit;
+};
 const getStateValueName = (useStateCall) => {
 	const declarator = useStateCall.parent;
 	if (!isNodeOfType(declarator, "VariableDeclarator")) return null;
@@ -55946,6 +56396,7 @@ const noDerivedUseState = defineRule({
 				const reportStalePropCopy = (propName) => {
 					if (isIntentionalSnapshotState(node)) return;
 					if (hasSessionDismissProp(propStackTracker.getCurrentPropNames())) return;
+					if (isUserEditableControlledFallback(node, propStackTracker.isPropName, context)) return;
 					if (isDraftReseedOrRenderAdjusted(node, propStackTracker.isPropName)) return;
 					if (isEffectDrivenResync(node)) return;
 					if (isNextjsDataFetchingPage(node)) return;
@@ -64090,6 +64541,106 @@ const isGatedByFalsyInitialState = (node, scopes) => {
 };
 //#endregion
 //#region src/plugin/rules/performance/no-hydration-branch-on-browser-global.ts
+const findGuardingIfStatements = (node, functionBoundary) => {
+	const guardingIfStatements = [];
+	let currentNode = node.parent;
+	while (currentNode && currentNode !== functionBoundary) {
+		if (isNodeOfType(currentNode, "IfStatement")) guardingIfStatements.push(currentNode);
+		currentNode = currentNode.parent;
+	}
+	return guardingIfStatements;
+};
+const doesNodeReadSymbol = (node, symbol) => {
+	let doesReadSymbol = false;
+	walkAst(node, (childNode) => {
+		if (isNodeOfType(childNode, "Identifier") && symbol.references.some((reference) => reference.identifier === childNode && reference.flag !== "write")) {
+			doesReadSymbol = true;
+			return false;
+		}
+	});
+	return doesReadSymbol;
+};
+const collectWrittenSymbols = (node, scopes) => {
+	const writtenSymbols = /* @__PURE__ */ new Set();
+	walkAst(node, (childNode) => {
+		if (childNode !== node && isFunctionLike$1(childNode)) return false;
+		if (!isNodeOfType(childNode, "Identifier")) return;
+		const reference = scopes.referenceFor(childNode);
+		if (!reference || reference.flag === "read" || !reference.resolvedSymbol) return;
+		writtenSymbols.add(reference.resolvedSymbol);
+	});
+	return writtenSymbols;
+};
+const isDescendantOf = (node, ancestorNode) => {
+	let currentNode = node.parent;
+	while (currentNode) {
+		if (currentNode === ancestorNode) return true;
+		currentNode = currentNode.parent;
+	}
+	return false;
+};
+const getAssignedValue = (identifier) => {
+	const assignmentExpression = identifier.parent;
+	return isNodeOfType(assignmentExpression, "AssignmentExpression") && assignmentExpression.operator === "=" && assignmentExpression.left === identifier ? assignmentExpression.right : null;
+};
+const doesGuardPreserveInitialSymbolValue = (symbol, guardingIfStatement, scopes) => {
+	const initialValue = symbol.initializer;
+	if (!initialValue) return false;
+	const guardedWrites = symbol.references.filter((reference) => reference.flag !== "read" && isDescendantOf(reference.identifier, guardingIfStatement));
+	return guardedWrites.length > 0 && guardedWrites.every((reference) => {
+		const assignedValue = getAssignedValue(reference.identifier);
+		return Boolean(assignedValue && areExpressionsStructurallyEqual(initialValue, assignedValue) && doEquivalentExpressionBindingsMatch(initialValue, assignedValue, scopes));
+	});
+};
+const isWriteOverwrittenBefore = (symbol, writeIdentifier, guardingIfStatement, readIdentifier, context) => symbol.references.some((reference) => reference.flag !== "read" && reference.identifier !== writeIdentifier && !isDescendantOf(reference.identifier, guardingIfStatement) && isNodeReachableWithinFunction(reference.identifier, context) && isUnconditionalOrStaticallySelected(reference.identifier, context) && getNodeStartIndex(reference.identifier) > getNodeStartIndex(writeIdentifier) && getNodeStartIndex(reference.identifier) < getNodeStartIndex(readIdentifier));
+const isUnconditionalOrStaticallySelected = (node, context) => {
+	if (context.cfg.isUnconditionalFromEntry(node)) return true;
+	let currentNode = node;
+	let outermostStaticIfStatement = null;
+	let parentNode = currentNode.parent;
+	while (parentNode) {
+		if (isFunctionLike$1(parentNode)) break;
+		if (isNodeOfType(parentNode, "IfStatement")) {
+			const staticResult = readInitialStateBoolean(parentNode.test, context.scopes);
+			let selectedBranch = null;
+			if (staticResult === true) selectedBranch = parentNode.consequent;
+			if (staticResult === false) selectedBranch = parentNode.alternate;
+			if (!selectedBranch || currentNode !== selectedBranch && !isDescendantOf(currentNode, selectedBranch)) return false;
+			outermostStaticIfStatement = parentNode;
+		}
+		currentNode = parentNode;
+		parentNode = currentNode.parent;
+	}
+	return Boolean(outermostStaticIfStatement && context.cfg.isUnconditionalFromEntry(outermostStaticIfStatement));
+};
+const containsExplicitReactRuntimeReference = (node, scopes) => {
+	let hasRuntimeReference = false;
+	walkAst(node, (childNode) => {
+		if (isNodeOfType(childNode, "ImportDeclaration") && typeof childNode.source.value === "string" && REACT_RUNTIME_MODULE_SOURCES.has(childNode.source.value)) {
+			hasRuntimeReference = true;
+			return false;
+		}
+		if (!isNodeOfType(childNode, "CallExpression")) return;
+		const sourceArgument = (childNode.arguments ?? [])[0];
+		if (!isNodeOfType(childNode.callee, "Identifier") || childNode.callee.name !== "require" || !scopes.isGlobalReference(childNode.callee) || !isNodeOfType(sourceArgument, "Literal") || typeof sourceArgument.value !== "string" || !REACT_RUNTIME_MODULE_SOURCES.has(sourceArgument.value)) return;
+		hasRuntimeReference = true;
+		return false;
+	});
+	return hasRuntimeReference;
+};
+const findComponentRenderingLocalFunctionResult = (functionNode, scopes) => {
+	const bindingIdentifier = getDirectFunctionBindingIdentifier(functionNode);
+	if (!isNodeOfType(bindingIdentifier, "Identifier")) return null;
+	const functionSymbol = scopes.symbolFor(bindingIdentifier);
+	if (!functionSymbol) return null;
+	for (const reference of functionSymbol.references) {
+		const callExpression = reference.identifier.parent;
+		if (!isNodeOfType(callExpression, "CallExpression") || callExpression.callee !== reference.identifier) continue;
+		const componentOrHookNode = findRenderPhaseComponentOrHook(callExpression, scopes);
+		if (componentOrHookNode && isInRenderedOutput(callExpression, componentOrHookNode, scopes)) return componentOrHookNode;
+	}
+	return null;
+};
 const evaluateEquality$1 = (operator, left, right) => {
 	if (operator === "===" || operator === "==") return left === right;
 	if (operator === "!==" || operator === "!=") return left !== right;
@@ -64140,6 +64691,107 @@ const readLogicalConditionResult = (operator, leftResult, rightResult) => {
 	if (leftResult === false && rightResult === false) return false;
 	return null;
 };
+const areLooselyEqualPrimitiveResults = (left, right) => {
+	if (left.kind === right.kind) return left.value === right.value;
+	if (left.kind === "null" && right.kind === "undefined" || left.kind === "undefined" && right.kind === "null") return true;
+	if (left.kind === "boolean") return areLooselyEqualPrimitiveResults({
+		kind: "number",
+		value: left.value ? 1 : 0
+	}, right);
+	if (right.kind === "boolean") return areLooselyEqualPrimitiveResults(left, {
+		kind: "number",
+		value: right.value ? 1 : 0
+	});
+	if (left.kind === "number" && right.kind === "string") return left.value === Number(right.value);
+	if (left.kind === "string" && right.kind === "number") return Number(left.value) === right.value;
+	return false;
+};
+const readHydrationPrimitiveResult = (expression, context, runtime, state) => {
+	const unwrappedExpression = stripParenExpression(expression);
+	const predicateMatch = matchBrowserPredicate(unwrappedExpression, context);
+	if (predicateMatch) return {
+		kind: "boolean",
+		value: predicateMatch[`${runtime}Result`]
+	};
+	if (isNodeOfType(unwrappedExpression, "Literal")) {
+		const value = unwrappedExpression.value;
+		if (value === null) return {
+			kind: "null",
+			value
+		};
+		if (typeof value === "boolean") return {
+			kind: "boolean",
+			value
+		};
+		if (typeof value === "number") return {
+			kind: "number",
+			value
+		};
+		if (typeof value === "string") return {
+			kind: "string",
+			value
+		};
+		return null;
+	}
+	if (isNodeOfType(unwrappedExpression, "Identifier") && unwrappedExpression.name === "undefined" && context.scopes.isGlobalReference(unwrappedExpression)) return {
+		kind: "undefined",
+		value: void 0
+	};
+	if (isNodeOfType(unwrappedExpression, "Identifier")) {
+		const symbol = context.scopes.symbolFor(unwrappedExpression);
+		const parameterValue = symbol ? state.parameterValuesBySymbolId.get(symbol.id) : null;
+		if (symbol && parameterValue && !state.visitedSymbolIds.has(symbol.id)) {
+			state.visitedSymbolIds.add(symbol.id);
+			const result = readHydrationPrimitiveResult(parameterValue, context, runtime, state);
+			state.visitedSymbolIds.delete(symbol.id);
+			return result;
+		}
+		if (symbol && symbol.kind === "const" && symbol.initializer && symbol.references.every((reference) => reference.flag === "read") && !state.visitedSymbolIds.has(symbol.id)) {
+			state.visitedSymbolIds.add(symbol.id);
+			const result = readHydrationPrimitiveResult(symbol.initializer, context, runtime, state);
+			state.visitedSymbolIds.delete(symbol.id);
+			return result;
+		}
+	}
+	if (isNodeOfType(unwrappedExpression, "UnaryExpression") && unwrappedExpression.operator === "!") {
+		const argumentResult = readHydrationConditionResult(unwrappedExpression.argument, context, runtime, state);
+		return argumentResult === null ? null : {
+			kind: "boolean",
+			value: !argumentResult
+		};
+	}
+	if (isNodeOfType(unwrappedExpression, "BinaryExpression")) {
+		const leftResult = readHydrationPrimitiveResult(unwrappedExpression.left, context, runtime, state);
+		const rightResult = readHydrationPrimitiveResult(unwrappedExpression.right, context, runtime, state);
+		if (!leftResult || !rightResult) return null;
+		if (unwrappedExpression.operator === "===" || unwrappedExpression.operator === "!==") {
+			const areEqual = leftResult.kind === rightResult.kind && leftResult.value === rightResult.value;
+			return {
+				kind: "boolean",
+				value: unwrappedExpression.operator === "===" ? areEqual : !areEqual
+			};
+		}
+		if (unwrappedExpression.operator === "==" || unwrappedExpression.operator === "!=") {
+			const areEqual = areLooselyEqualPrimitiveResults(leftResult, rightResult);
+			return {
+				kind: "boolean",
+				value: unwrappedExpression.operator === "==" ? areEqual : !areEqual
+			};
+		}
+	}
+	if (isNodeOfType(unwrappedExpression, "CallExpression")) {
+		const callArguments = unwrappedExpression.arguments ?? [];
+		const callee = stripParenExpression(unwrappedExpression.callee);
+		if (isNodeOfType(callee, "Identifier") && callee.name === "Boolean" && context.scopes.isGlobalReference(callee) && callArguments.length === 1 && !isNodeOfType(callArguments[0], "SpreadElement")) {
+			const argumentResult = readHydrationConditionResult(callArguments[0], context, runtime, state);
+			return argumentResult === null ? null : {
+				kind: "boolean",
+				value: argumentResult
+			};
+		}
+	}
+	return null;
+};
 const readHydrationConditionResult = (expression, context, runtime, state) => {
 	const unwrappedExpression = stripParenExpression(expression);
 	const predicateMatch = matchBrowserPredicate(unwrappedExpression, context);
@@ -64188,6 +64840,10 @@ const readHydrationConditionResult = (expression, context, runtime, state) => {
 			parameterValuesBySymbolId
 		});
 	}
+	if (isNodeOfType(unwrappedExpression, "BinaryExpression")) {
+		const result = readHydrationPrimitiveResult(unwrappedExpression, context, runtime, state);
+		return result?.kind === "boolean" && typeof result.value === "boolean" ? result.value : null;
+	}
 	if (isNodeOfType(unwrappedExpression, "UnaryExpression") && unwrappedExpression.operator === "!") {
 		const argumentResult = readHydrationConditionResult(unwrappedExpression.argument, context, runtime, state);
 		return argumentResult === null ? null : !argumentResult;
@@ -64248,13 +64904,19 @@ const doEquivalentExpressionBindingsMatch = (leftExpression, rightExpression, sc
 		const rightSymbol = scopes.symbolFor(right);
 		return leftSymbol || rightSymbol ? leftSymbol?.id === rightSymbol?.id : true;
 	}
-	if (isNodeOfType(left, "MemberExpression") && isNodeOfType(right, "MemberExpression")) return doEquivalentExpressionBindingsMatch(left.object, right.object, scopes) && (!left.computed || doEquivalentExpressionBindingsMatch(left.property, right.property, scopes));
-	if (isNodeOfType(left, "CallExpression") && isNodeOfType(right, "CallExpression")) {
-		const rightArguments = right.arguments ?? [];
-		return doEquivalentExpressionBindingsMatch(left.callee, right.callee, scopes) && (left.arguments ?? []).every((argument, index) => {
-			const rightArgument = rightArguments[index];
-			return Boolean(rightArgument && doEquivalentExpressionBindingsMatch(argument, rightArgument, scopes));
-		});
+	const rightEntries = new Map(Object.entries(right));
+	for (const [key, leftValue] of Object.entries(left)) {
+		if (key === "parent") continue;
+		const rightValue = rightEntries.get(key);
+		if (isAstNode(leftValue)) {
+			if (!isAstNode(rightValue) || !doEquivalentExpressionBindingsMatch(leftValue, rightValue, scopes)) return false;
+			continue;
+		}
+		if (!Array.isArray(leftValue)) continue;
+		if (!Array.isArray(rightValue)) return false;
+		const leftNodes = leftValue.filter(isAstNode);
+		const rightNodes = rightValue.filter(isAstNode);
+		if (leftNodes.length !== rightNodes.length || leftNodes.some((leftNode, index) => !rightNodes[index] || !doEquivalentExpressionBindingsMatch(leftNode, rightNodes[index], scopes))) return false;
 	}
 	return true;
 };
@@ -64268,6 +64930,57 @@ const doHelperReturnValuesDiffer = (leftValues, rightValues, context) => {
 	const everyValueHasEquivalent = (values, candidateValues) => values.every((value) => candidateValues.some((candidateValue) => areHelperReturnValuesEquivalent(value, candidateValue, context)));
 	return !everyValueHasEquivalent(leftValues, rightValues) || !everyValueHasEquivalent(rightValues, leftValues);
 };
+const isExpressionProvablyReflexive = (expression, context, visitedSymbolIds = /* @__PURE__ */ new Set()) => {
+	const unwrappedExpression = stripParenExpression(expression);
+	if (matchBrowserPredicate(unwrappedExpression, context)) return true;
+	if (isNodeOfType(unwrappedExpression, "Literal")) return typeof unwrappedExpression.value !== "number" || !Number.isNaN(unwrappedExpression.value);
+	if (isNodeOfType(unwrappedExpression, "Identifier") && unwrappedExpression.name === "undefined" && context.scopes.isGlobalReference(unwrappedExpression)) return true;
+	if (isNodeOfType(unwrappedExpression, "Identifier")) {
+		const symbol = context.scopes.symbolFor(unwrappedExpression);
+		if (!symbol || visitedSymbolIds.has(symbol.id) || !symbol.initializer) return false;
+		visitedSymbolIds.add(symbol.id);
+		const assignedValues = symbol.references.filter((reference) => reference.flag !== "read").map((reference) => getAssignedValue(reference.identifier));
+		const isReflexive = isExpressionProvablyReflexive(symbol.initializer, context, visitedSymbolIds) && assignedValues.every((assignedValue) => Boolean(assignedValue && isExpressionProvablyReflexive(assignedValue, context, visitedSymbolIds)));
+		visitedSymbolIds.delete(symbol.id);
+		return isReflexive;
+	}
+	if (isNodeOfType(unwrappedExpression, "ConditionalExpression")) return isExpressionProvablyReflexive(unwrappedExpression.consequent, context, visitedSymbolIds) && isExpressionProvablyReflexive(unwrappedExpression.alternate, context, visitedSymbolIds);
+	if (isNodeOfType(unwrappedExpression, "UnaryExpression") && (unwrappedExpression.operator === "!" || unwrappedExpression.operator === "typeof" || unwrappedExpression.operator === "void")) return true;
+	if (isNodeOfType(unwrappedExpression, "BinaryExpression")) return unwrappedExpression.operator === "===" || unwrappedExpression.operator === "!==" || unwrappedExpression.operator === "==" || unwrappedExpression.operator === "!=";
+	if (isNodeOfType(unwrappedExpression, "ArrayExpression") || isNodeOfType(unwrappedExpression, "ObjectExpression") || isNodeOfType(unwrappedExpression, "FunctionExpression") || isNodeOfType(unwrappedExpression, "ArrowFunctionExpression") || isNodeOfType(unwrappedExpression, "TemplateLiteral")) return true;
+	if (!isNodeOfType(unwrappedExpression, "CallExpression")) return false;
+	const callee = stripParenExpression(unwrappedExpression.callee);
+	return isNodeOfType(callee, "Identifier") && callee.name === "Boolean" && context.scopes.isGlobalReference(callee);
+};
+const getReturnedObjectPropertyValues = (node, propertyName, scopes) => {
+	if (isNodeOfType(node, "ReturnStatement")) return node.argument ? getReturnedObjectPropertyValues(node.argument, propertyName, scopes) : [];
+	if (isNodeOfType(node, "ObjectExpression")) return node.properties.flatMap((property) => isNodeOfType(property, "Property") && property.kind === "init" && getResolvedStaticPropertyName(property, scopes) === propertyName ? [property.value] : []);
+	if (isNodeOfType(node, "IfStatement")) return [...getReturnedObjectPropertyValues(node.consequent, propertyName, scopes), ...node.alternate ? getReturnedObjectPropertyValues(node.alternate, propertyName, scopes) : []];
+	if (isNodeOfType(node, "TryStatement")) return [
+		...getReturnedObjectPropertyValues(node.block, propertyName, scopes),
+		...node.handler ? getReturnedObjectPropertyValues(node.handler.body, propertyName, scopes) : [],
+		...node.finalizer ? getReturnedObjectPropertyValues(node.finalizer, propertyName, scopes) : []
+	];
+	if (!isNodeOfType(node, "BlockStatement")) return [];
+	const propertyValues = [];
+	for (const childStatement of node.body) {
+		propertyValues.push(...getReturnedObjectPropertyValues(childStatement, propertyName, scopes));
+		if (statementAlwaysExits$1(childStatement)) break;
+	}
+	return propertyValues;
+};
+const matchHydrationFunctionPropertyResult = (functionNode, propertyName, context, state) => {
+	if (!isFunctionLike$1(functionNode) || state.visitedFunctionNodes.has(functionNode)) return null;
+	state.visitedFunctionNodes.add(functionNode);
+	const propertyValues = getReturnedObjectPropertyValues(functionNode.body, propertyName, context.scopes);
+	let match = null;
+	for (const propertyValue of propertyValues) {
+		match = matchHydrationConditionInternal(propertyValue, context, state);
+		if (match) break;
+	}
+	state.visitedFunctionNodes.delete(functionNode);
+	return match;
+};
 const matchHydrationConditionInternal = (expression, context, state) => {
 	const unwrappedExpression = stripParenExpression(expression);
 	const predicateMatch = matchBrowserPredicate(unwrappedExpression, context);
@@ -64284,14 +64997,90 @@ const matchHydrationConditionInternal = (expression, context, state) => {
 			state.visitedSymbolIds.delete(symbol.id);
 			return match;
 		}
+		if (symbol && (symbol.kind === "let" || symbol.kind === "var") && !state.visitedSymbolIds.has(symbol.id)) {
+			state.visitedSymbolIds.add(symbol.id);
+			if (symbol.initializer && symbol.references.every((reference) => reference.flag === "read")) {
+				const match = matchHydrationConditionInternal(symbol.initializer, context, state);
+				state.visitedSymbolIds.delete(symbol.id);
+				return match;
+			}
+			for (const reference of symbol.references) {
+				if (reference.flag === "read") continue;
+				if (!isNodeReachableWithinFunction(reference.identifier, context)) continue;
+				const enclosingFunction = findEnclosingFunction$1(reference.identifier);
+				if (!enclosingFunction) continue;
+				for (const guardingIfStatement of findGuardingIfStatements(reference.identifier, enclosingFunction)) {
+					if (doesGuardPreserveInitialSymbolValue(symbol, guardingIfStatement, context.scopes) || isWriteOverwrittenBefore(symbol, reference.identifier, guardingIfStatement, unwrappedExpression, context)) continue;
+					const match = matchHydrationConditionInternal(guardingIfStatement.test, context, state);
+					if (match) {
+						state.visitedSymbolIds.delete(symbol.id);
+						return match;
+					}
+				}
+			}
+			const readingFunction = findEnclosingFunction$1(unwrappedExpression);
+			for (const reference of symbol.references) {
+				if (reference.flag === "read") continue;
+				const writingFunction = findEnclosingFunction$1(reference.identifier);
+				if (!readingFunction || !isFunctionLike$1(writingFunction) || writingFunction === readingFunction || writingFunction.async || writingFunction.params.length > 0 || isNodeOfType(writingFunction, "FunctionDeclaration") && writingFunction.generator || isNodeOfType(writingFunction, "FunctionExpression") && writingFunction.generator) continue;
+				const assignedValue = getAssignedValue(reference.identifier);
+				if (symbol.initializer && assignedValue && areExpressionsStructurallyEqual(symbol.initializer, assignedValue) && doEquivalentExpressionBindingsMatch(symbol.initializer, assignedValue, context.scopes)) continue;
+				const functionBinding = getDirectFunctionBindingIdentifier(writingFunction);
+				if (!isNodeOfType(functionBinding, "Identifier")) continue;
+				const functionSymbol = context.scopes.symbolFor(functionBinding);
+				if (!functionSymbol) continue;
+				for (const functionReference of functionSymbol.references) {
+					const callExpression = functionReference.identifier.parent;
+					if (!isNodeOfType(callExpression, "CallExpression") || callExpression.callee !== functionReference.identifier || (callExpression.arguments ?? []).length > 0 || findEnclosingFunction$1(callExpression) !== readingFunction || !isNodeReachableWithinFunction(callExpression, context) || getNodeStartIndex(callExpression) >= getNodeStartIndex(unwrappedExpression)) continue;
+					for (const guardingIfStatement of findGuardingIfStatements(callExpression, readingFunction)) {
+						if (isWriteOverwrittenBefore(symbol, callExpression, guardingIfStatement, unwrappedExpression, context)) continue;
+						const match = matchHydrationConditionInternal(guardingIfStatement.test, context, state);
+						if (match) {
+							state.visitedSymbolIds.delete(symbol.id);
+							return match;
+						}
+					}
+				}
+			}
+			state.visitedSymbolIds.delete(symbol.id);
+		}
 		if (!symbol || symbol.kind !== "const" || !symbol.initializer || symbol.references.some((reference) => reference.flag !== "read") || state.visitedSymbolIds.has(symbol.id)) return null;
 		state.visitedSymbolIds.add(symbol.id);
 		const match = matchHydrationConditionInternal(symbol.initializer, context, state);
 		state.visitedSymbolIds.delete(symbol.id);
 		return match;
 	}
+	if (isNodeOfType(unwrappedExpression, "MemberExpression")) {
+		const propertyName = getResolvedStaticPropertyName(unwrappedExpression, context.scopes, {
+			allowConstNumericLiteral: true,
+			stringifyNonStringLiterals: true
+		});
+		const object = stripParenExpression(unwrappedExpression.object);
+		if (propertyName === null || !isNodeOfType(object, "CallExpression")) return null;
+		const callArguments = object.arguments ?? [];
+		if (isReactApiCall(object, "useMemo", context.scopes, {
+			allowGlobalReactNamespace: true,
+			resolveNamedAliases: true
+		})) {
+			const callbackArgument = callArguments[0];
+			if (!callbackArgument || isNodeOfType(callbackArgument, "SpreadElement")) return null;
+			const callbackFunction = resolveExactLocalFunction(callbackArgument, context.scopes);
+			return isFunctionLike$1(callbackFunction) && callbackFunction.params.length === 0 ? matchHydrationFunctionPropertyResult(callbackFunction, propertyName, context, state) : null;
+		}
+		const helperFunction = resolveExactLocalFunction(object.callee, context.scopes);
+		return isFunctionLike$1(helperFunction) && helperFunction.params.length === 0 && callArguments.length === 0 ? matchHydrationFunctionPropertyResult(helperFunction, propertyName, context, state) : null;
+	}
 	if (isNodeOfType(unwrappedExpression, "CallExpression")) {
 		const callArguments = unwrappedExpression.arguments ?? [];
+		if (isReactApiCall(unwrappedExpression, "useState", context.scopes, {
+			allowGlobalReactNamespace: true,
+			resolveNamedAliases: true
+		})) {
+			const initialState = callArguments[0];
+			if (!initialState || isNodeOfType(initialState, "SpreadElement")) return null;
+			const lazyInitializer = resolveExactLocalFunction(initialState, context.scopes);
+			return isFunctionLike$1(lazyInitializer) && lazyInitializer.params.length === 0 ? matchHydrationFunctionResult(lazyInitializer, context, state) : matchHydrationConditionInternal(initialState, context, state);
+		}
 		if (isReactApiCall(unwrappedExpression, "useMemo", context.scopes, {
 			allowGlobalReactNamespace: true,
 			resolveNamedAliases: true
@@ -64319,6 +65108,22 @@ const matchHydrationConditionInternal = (expression, context, state) => {
 		});
 	}
 	if (isNodeOfType(unwrappedExpression, "UnaryExpression") && unwrappedExpression.operator === "!") return matchHydrationConditionInternal(unwrappedExpression.argument, context, state);
+	if (isNodeOfType(unwrappedExpression, "ConditionalExpression")) {
+		const staticTestResult = readInitialStateBoolean(unwrappedExpression.test, context.scopes);
+		if (staticTestResult !== null) return matchHydrationConditionInternal(staticTestResult ? unwrappedExpression.consequent : unwrappedExpression.alternate, context, state);
+		return matchHydrationConditionInternal(unwrappedExpression.test, context, state) ?? matchHydrationConditionInternal(unwrappedExpression.consequent, context, state) ?? matchHydrationConditionInternal(unwrappedExpression.alternate, context, state);
+	}
+	if (isNodeOfType(unwrappedExpression, "BinaryExpression")) {
+		if (unwrappedExpression.operator !== "===" && unwrappedExpression.operator !== "!==" && unwrappedExpression.operator !== "==" && unwrappedExpression.operator !== "!=") return null;
+		const leftMatch = matchHydrationConditionInternal(unwrappedExpression.left, context, state);
+		const rightMatch = matchHydrationConditionInternal(unwrappedExpression.right, context, state);
+		const nestedMatch = leftMatch ?? rightMatch;
+		if (!nestedMatch) return null;
+		const clientResult = readHydrationConditionResult(unwrappedExpression, context, "client", state);
+		const serverResult = readHydrationConditionResult(unwrappedExpression, context, "server", state);
+		if (clientResult !== null && serverResult !== null) return clientResult !== serverResult ? nestedMatch : null;
+		return leftMatch && rightMatch && areExpressionsStructurallyEqual(unwrappedExpression.left, unwrappedExpression.right) && doEquivalentExpressionBindingsMatch(unwrappedExpression.left, unwrappedExpression.right, context.scopes) && isExpressionProvablyReflexive(unwrappedExpression.left, context) ? null : nestedMatch;
+	}
 	if (!isNodeOfType(unwrappedExpression, "LogicalExpression") || unwrappedExpression.operator !== "&&" && unwrappedExpression.operator !== "||") return null;
 	const leftMatch = matchHydrationConditionInternal(unwrappedExpression.left, context, state);
 	const rightMatch = matchHydrationConditionInternal(unwrappedExpression.right, context, state);
@@ -64335,8 +65140,13 @@ const matchHydrationReturningStatement = (statement, context, state) => {
 		const consequentValues = getReturnedValues(statement.consequent);
 		const alternateValues = statement.alternate ? getReturnedValues(statement.alternate) : findFollowingReturnedValues(statement);
 		if (conditionMatch && consequentValues.length > 0 && alternateValues.length > 0 && doHelperReturnValuesDiffer(consequentValues, alternateValues, context)) return conditionMatch;
+		if (conditionMatch) {
+			const followingReturnedValues = findFollowingReturnedValues(statement);
+			if ([...new Set([...collectWrittenSymbols(statement.consequent, context.scopes), ...statement.alternate ? collectWrittenSymbols(statement.alternate, context.scopes) : []])].some((symbol) => !doesGuardPreserveInitialSymbolValue(symbol, statement, context.scopes) && followingReturnedValues.some((value) => doesNodeReadSymbol(value, symbol)))) return conditionMatch;
+		}
 		return matchHydrationReturningStatement(statement.consequent, context, state) ?? (statement.alternate ? matchHydrationReturningStatement(statement.alternate, context, state) : null);
 	}
+	if (isNodeOfType(statement, "TryStatement")) return matchHydrationReturningStatement(statement.block, context, state) ?? (statement.handler ? matchHydrationReturningStatement(statement.handler.body, context, state) : null) ?? (statement.finalizer ? matchHydrationReturningStatement(statement.finalizer, context, state) : null);
 	if (!isNodeOfType(statement, "BlockStatement")) return null;
 	for (const childStatement of statement.body) {
 		const match = matchHydrationReturningStatement(childStatement, context, state);
@@ -64357,47 +65167,62 @@ const matchHydrationCondition = (expression, context) => matchHydrationCondition
 	visitedFunctionNodes: /* @__PURE__ */ new Set(),
 	visitedSymbolIds: /* @__PURE__ */ new Set()
 });
-const areNodeArraysEquivalent = (leftNodes, rightNodes) => leftNodes.length === rightNodes.length && leftNodes.every((leftNode, index) => areRenderedBranchesEquivalent(leftNode, rightNodes[index]));
-const areRenderedBranchesEquivalent = (leftNode, rightNode) => {
+const areNodeArraysEquivalent = (leftNodes, rightNodes, scopes) => leftNodes.length === rightNodes.length && leftNodes.every((leftNode, index) => areRenderedBranchesEquivalent(leftNode, rightNodes[index], scopes));
+const areRenderedBranchesEquivalent = (leftNode, rightNode, scopes) => {
 	if (!leftNode || !rightNode) return leftNode === rightNode;
 	const left = stripParenExpression(leftNode);
 	const right = stripParenExpression(rightNode);
-	if (areExpressionsStructurallyEqual(left, right)) return true;
+	if (areExpressionsStructurallyEqual(left, right)) return doEquivalentExpressionBindingsMatch(left, right, scopes);
 	if (left.type !== right.type) return false;
 	if (isNodeOfType(left, "JSXText") && isNodeOfType(right, "JSXText")) return left.value === right.value;
 	if (isNodeOfType(left, "JSXExpressionContainer") && isNodeOfType(right, "JSXExpressionContainer")) {
 		if (!isAstNode(left.expression) || !isAstNode(right.expression)) return left.expression.type === right.expression.type;
-		return areRenderedBranchesEquivalent(left.expression, right.expression);
+		return areRenderedBranchesEquivalent(left.expression, right.expression, scopes);
 	}
 	if (isNodeOfType(left, "JSXElement") && isNodeOfType(right, "JSXElement")) {
 		if (flattenJsxName$1(left.openingElement.name) !== flattenJsxName$1(right.openingElement.name)) return false;
-		if (!areNodeArraysEquivalent(left.openingElement.attributes, right.openingElement.attributes)) return false;
-		return areNodeArraysEquivalent(left.children, right.children);
+		if (!areNodeArraysEquivalent(left.openingElement.attributes, right.openingElement.attributes, scopes)) return false;
+		return areNodeArraysEquivalent(left.children, right.children, scopes);
 	}
-	if (isNodeOfType(left, "JSXFragment") && isNodeOfType(right, "JSXFragment")) return areNodeArraysEquivalent(left.children, right.children);
+	if (isNodeOfType(left, "JSXFragment") && isNodeOfType(right, "JSXFragment")) return areNodeArraysEquivalent(left.children, right.children, scopes);
 	if (isNodeOfType(left, "JSXAttribute") && isNodeOfType(right, "JSXAttribute")) {
 		if (flattenJsxName$1(left.name) !== flattenJsxName$1(right.name)) return false;
-		return areRenderedBranchesEquivalent(left.value, right.value);
+		return areRenderedBranchesEquivalent(left.value, right.value, scopes);
 	}
-	if (isNodeOfType(left, "JSXSpreadAttribute") && isNodeOfType(right, "JSXSpreadAttribute")) return areRenderedBranchesEquivalent(left.argument, right.argument);
+	if (isNodeOfType(left, "JSXSpreadAttribute") && isNodeOfType(right, "JSXSpreadAttribute")) return areRenderedBranchesEquivalent(left.argument, right.argument, scopes);
 	if (isNodeOfType(left, "TemplateLiteral") && isNodeOfType(right, "TemplateLiteral")) {
 		if (left.quasis.length !== right.quasis.length) return false;
 		if (!left.quasis.every((quasi, index) => quasi.value.cooked === right.quasis[index]?.value.cooked && quasi.value.raw === right.quasis[index]?.value.raw)) return false;
-		return areNodeArraysEquivalent(left.expressions, right.expressions);
+		return areNodeArraysEquivalent(left.expressions, right.expressions, scopes);
 	}
 	return false;
 };
-const isRenderedValue = (node) => {
+const isProvenReactCreateElementCall = (node, scopes) => {
+	if (isReactApiCall(node, "createElement", scopes, {
+		allowGlobalReactNamespace: true,
+		resolveNamedAliases: true
+	})) return true;
+	if (!isNodeOfType(node, "CallExpression")) return false;
+	const callee = stripParenExpression(node.callee);
+	if (!isNodeOfType(callee, "MemberExpression") || callee.computed || !isNodeOfType(callee.property, "Identifier") || callee.property.name !== "createElement") return false;
+	const receiver = stripParenExpression(callee.object);
+	const namespaceIdentifier = isNodeOfType(receiver, "MemberExpression") && !receiver.computed && isNodeOfType(receiver.property, "Identifier") && receiver.property.name === "default" ? stripParenExpression(receiver.object) : receiver;
+	if (!isNodeOfType(namespaceIdentifier, "Identifier")) return false;
+	const namespaceSymbol = scopes.symbolFor(namespaceIdentifier);
+	return Boolean(namespaceSymbol?.initializer && namespaceSymbol.references.every((reference) => reference.flag === "read") && containsExplicitReactRuntimeReference(namespaceSymbol.initializer, scopes));
+};
+const isRenderedValue = (node, scopes) => {
 	const unwrappedNode = stripParenExpression(node);
 	if (isNodeOfType(unwrappedNode, "Literal")) return unwrappedNode.value !== null && unwrappedNode.value !== true && unwrappedNode.value !== false && unwrappedNode.value !== "";
 	if (isNodeOfType(unwrappedNode, "TemplateLiteral")) return unwrappedNode.expressions.length > 0 || unwrappedNode.quasis[0]?.value.cooked !== "";
+	if (isNodeOfType(unwrappedNode, "CallExpression")) return isProvenReactCreateElementCall(unwrappedNode, scopes);
 	return isNodeOfType(unwrappedNode, "JSXElement") || isNodeOfType(unwrappedNode, "JSXFragment");
 };
-const findRenderedValueInAndBranch = (node) => {
+const findRenderedValueInAndBranch = (node, scopes) => {
 	const unwrappedNode = stripParenExpression(node);
-	if (isRenderedValue(unwrappedNode)) return unwrappedNode;
+	if (isPotentiallyRenderedValue(unwrappedNode, scopes)) return unwrappedNode;
 	if (!isNodeOfType(unwrappedNode, "LogicalExpression") || unwrappedNode.operator !== "&&") return null;
-	return findRenderedValueInAndBranch(unwrappedNode.right);
+	return findRenderedValueInAndBranch(unwrappedNode.right, scopes);
 };
 const findEnclosingJsxAttribute = (node) => {
 	let currentNode = node.parent;
@@ -64430,6 +65255,11 @@ const getReturnedValues = (statement) => {
 	if (!statement) return [];
 	if (isNodeOfType(statement, "ReturnStatement")) return statement.argument ? [statement.argument] : [];
 	if (isNodeOfType(statement, "IfStatement")) return [...getReturnedValues(statement.consequent), ...getReturnedValues(statement.alternate)];
+	if (isNodeOfType(statement, "TryStatement")) return [
+		...getReturnedValues(statement.block),
+		...getReturnedValues(statement.handler?.body),
+		...getReturnedValues(statement.finalizer)
+	];
 	if (!isNodeOfType(statement, "BlockStatement")) return [];
 	const returnedValues = [];
 	for (const childStatement of statement.body) {
@@ -64438,6 +65268,127 @@ const getReturnedValues = (statement) => {
 	}
 	return returnedValues;
 };
+const isPotentiallyRenderedValueInternal = (node, scopes, visitedFunctionNodes) => {
+	const unwrappedNode = stripParenExpression(node);
+	if (isRenderedValue(unwrappedNode, scopes)) return true;
+	if (isNodeOfType(unwrappedNode, "ConditionalExpression")) return isPotentiallyRenderedValueInternal(unwrappedNode.consequent, scopes, visitedFunctionNodes) && isPotentiallyRenderedValueInternal(unwrappedNode.alternate, scopes, visitedFunctionNodes);
+	if (isNodeOfType(unwrappedNode, "LogicalExpression")) return isPotentiallyRenderedValueInternal(unwrappedNode.right, scopes, visitedFunctionNodes);
+	if (!isNodeOfType(unwrappedNode, "CallExpression")) return false;
+	const calledFunction = resolveExactLocalFunction(unwrappedNode.callee, scopes);
+	if (!isFunctionLike$1(calledFunction) || visitedFunctionNodes.has(calledFunction)) return false;
+	visitedFunctionNodes.add(calledFunction);
+	const returnedValues = isNodeOfType(calledFunction.body, "BlockStatement") ? getReturnedValues(calledFunction.body) : [calledFunction.body];
+	const isPotentiallyRendered = returnedValues.length > 0 && returnedValues.every((returnedValue) => isPotentiallyRenderedValueInternal(returnedValue, scopes, visitedFunctionNodes));
+	visitedFunctionNodes.delete(calledFunction);
+	return isPotentiallyRendered;
+};
+const isPotentiallyRenderedValue = (node, scopes) => isPotentiallyRenderedValueInternal(node, scopes, /* @__PURE__ */ new Set());
+const findUseStateBindingSymbol = (node, componentOrHookNode, scopes) => {
+	let currentNode = node.parent;
+	while (currentNode && currentNode !== componentOrHookNode) {
+		if (isNodeOfType(currentNode, "CallExpression") && isReactApiCall(currentNode, "useState", scopes, {
+			allowGlobalReactNamespace: true,
+			resolveNamedAliases: true
+		}) && isNodeOfType(currentNode.parent, "VariableDeclarator") && isNodeOfType(currentNode.parent.id, "ArrayPattern")) {
+			const stateBinding = currentNode.parent.id.elements?.[0];
+			return isNodeOfType(stateBinding, "Identifier") ? scopes.symbolFor(stateBinding) : null;
+		}
+		if (isFunctionLike$1(currentNode)) return null;
+		currentNode = currentNode.parent;
+	}
+	return null;
+};
+const doesReferenceControlStructuralRenderedValue = (referenceIdentifier) => {
+	let currentNode = referenceIdentifier;
+	let parentNode = currentNode.parent;
+	while (parentNode) {
+		if (isNodeOfType(parentNode, "ConditionalExpression") && parentNode.test === currentNode && (isStructuralRenderedValue(parentNode.consequent) || isStructuralRenderedValue(parentNode.alternate))) return true;
+		if (isNodeOfType(parentNode, "LogicalExpression") && parentNode.left === currentNode && isStructuralRenderedValue(parentNode.right)) return true;
+		if (isNodeOfType(parentNode, "JSXExpressionContainer") || isFunctionLike$1(parentNode)) return false;
+		currentNode = parentNode;
+		parentNode = currentNode.parent;
+	}
+	return false;
+};
+const isRenderedHydrationConsumer = (node, producerHookNode, scopes) => {
+	const renderingComponent = findRenderPhaseComponentOrHook(node, scopes);
+	return Boolean(renderingComponent && renderingComponent !== producerHookNode && isInRenderedOutput(node, renderingComponent, scopes) && !isGatedByFalsyInitialState(node, scopes) && !isAfterClientOnlyEarlyReturn(node, renderingComponent, scopes) && (!hasSuppressHydrationWarningAttribute(findEnclosingJsxOpeningElement(node)) || doesReferenceControlStructuralRenderedValue(node)));
+};
+const doesConsumerExpressionReachRenderedOutput = (node, producerHookNode, scopes, visitedSymbolIds) => {
+	if (isRenderedHydrationConsumer(node, producerHookNode, scopes)) return true;
+	const parentNode = node.parent;
+	if (!isNodeOfType(parentNode, "VariableDeclarator") || parentNode.init !== node || !isNodeOfType(parentNode.id, "Identifier")) return false;
+	const aliasSymbol = scopes.symbolFor(parentNode.id);
+	if (!aliasSymbol || visitedSymbolIds.has(aliasSymbol.id)) return false;
+	visitedSymbolIds.add(aliasSymbol.id);
+	const doesReachRenderedOutput = aliasSymbol.references.some((reference) => doesConsumerExpressionReachRenderedOutput(reference.identifier, producerHookNode, scopes, visitedSymbolIds));
+	visitedSymbolIds.delete(aliasSymbol.id);
+	return doesReachRenderedOutput;
+};
+const doesConsumerBindingReachRenderedOutput = (bindingIdentifier, producerHookNode, scopes) => {
+	if (!isNodeOfType(bindingIdentifier, "Identifier")) return false;
+	const consumerSymbol = scopes.symbolFor(bindingIdentifier);
+	if (!consumerSymbol) return false;
+	return consumerSymbol.references.some((reference) => doesConsumerExpressionReachRenderedOutput(reference.identifier, producerHookNode, scopes, new Set([consumerSymbol.id])));
+};
+const getReturnedStatePaths = (returnedValue, stateSymbol, scopes) => {
+	const unwrappedValue = stripParenExpression(returnedValue);
+	if (isNodeOfType(unwrappedValue, "ObjectExpression")) return unwrappedValue.properties.flatMap((property) => {
+		if (!isNodeOfType(property, "Property") || property.kind !== "init" || !doesNodeReadSymbol(property.value, stateSymbol)) return [];
+		const propertyName = getResolvedStaticPropertyName(property, scopes);
+		return propertyName === null ? [] : [{
+			kind: "property",
+			key: propertyName
+		}];
+	});
+	if (isNodeOfType(unwrappedValue, "ArrayExpression")) return (unwrappedValue.elements ?? []).flatMap((element, index) => element && isAstNode(element) && doesNodeReadSymbol(element, stateSymbol) ? [{
+		kind: "index",
+		key: String(index)
+	}] : []);
+	return doesNodeReadSymbol(unwrappedValue, stateSymbol) ? [{
+		kind: "direct",
+		key: null
+	}] : [];
+};
+const doesCallResultPathReachRenderedOutput = (callExpression, returnedStatePath, producerHookNode, scopes) => {
+	const callParent = callExpression.parent;
+	if (returnedStatePath.kind === "direct") return doesConsumerExpressionReachRenderedOutput(callExpression, producerHookNode, scopes, /* @__PURE__ */ new Set());
+	if (isNodeOfType(callParent, "MemberExpression") && callParent.object === callExpression && getResolvedStaticPropertyName(callParent, scopes, {
+		allowConstNumericLiteral: true,
+		stringifyNonStringLiterals: true
+	}) === returnedStatePath.key) return doesConsumerExpressionReachRenderedOutput(callParent, producerHookNode, scopes, /* @__PURE__ */ new Set());
+	if (!isNodeOfType(callParent, "VariableDeclarator") || callParent.init !== callExpression) return false;
+	if (returnedStatePath.kind === "property" && isNodeOfType(callParent.id, "ObjectPattern")) return callParent.id.properties.some((property) => isNodeOfType(property, "Property") && getResolvedStaticPropertyName(property, scopes) === returnedStatePath.key && doesConsumerBindingReachRenderedOutput(property.value, producerHookNode, scopes));
+	if (returnedStatePath.kind === "index" && isNodeOfType(callParent.id, "ArrayPattern")) {
+		const element = callParent.id.elements?.[Number(returnedStatePath.key)];
+		return Boolean(element && doesConsumerBindingReachRenderedOutput(element, producerHookNode, scopes));
+	}
+	if (!isNodeOfType(callParent.id, "Identifier")) return false;
+	const resultSymbol = scopes.symbolFor(callParent.id);
+	if (!resultSymbol) return false;
+	return resultSymbol.references.some((reference) => {
+		const memberExpression = reference.identifier.parent;
+		return Boolean(isNodeOfType(memberExpression, "MemberExpression") && memberExpression.object === reference.identifier && getResolvedStaticPropertyName(memberExpression, scopes, {
+			allowConstNumericLiteral: true,
+			stringifyNonStringLiterals: true
+		}) === returnedStatePath.key && doesConsumerExpressionReachRenderedOutput(memberExpression, producerHookNode, scopes, new Set([resultSymbol.id])));
+	});
+};
+const isReturnedUseStateInitializerRendered = (node, componentOrHookNode, scopes) => {
+	if (!isFunctionLike$1(componentOrHookNode)) return false;
+	const stateSymbol = findUseStateBindingSymbol(node, componentOrHookNode, scopes);
+	if (!stateSymbol) return false;
+	const returnedStatePaths = (isNodeOfType(componentOrHookNode.body, "BlockStatement") ? getReturnedValues(componentOrHookNode.body) : [componentOrHookNode.body]).flatMap((returnedValue) => getReturnedStatePaths(returnedValue, stateSymbol, scopes));
+	if (returnedStatePaths.length === 0) return false;
+	const functionBinding = getDirectFunctionBindingIdentifier(componentOrHookNode);
+	if (!isNodeOfType(functionBinding, "Identifier")) return false;
+	const functionSymbol = scopes.symbolFor(functionBinding);
+	if (!functionSymbol) return false;
+	return functionSymbol.references.some((functionReference) => {
+		const callExpression = functionReference.identifier.parent;
+		return Boolean(isNodeOfType(callExpression, "CallExpression") && callExpression.callee === functionReference.identifier && returnedStatePaths.some((returnedStatePath) => doesCallResultPathReachRenderedOutput(callExpression, returnedStatePath, componentOrHookNode, scopes)));
+	});
+};
 const findFollowingReturnedValues = (ifStatement) => {
 	const parentNode = ifStatement.parent;
 	if (!isNodeOfType(parentNode, "BlockStatement")) return [];
@@ -64450,24 +65401,24 @@ const findFollowingReturnedValues = (ifStatement) => {
 	}
 	return returnedValues;
 };
-const areConditionExpressionsEquivalent = (leftExpression, rightExpression) => {
+const areConditionExpressionsEquivalent = (leftExpression, rightExpression, scopes) => {
 	const left = stripParenExpression(leftExpression);
 	const right = stripParenExpression(rightExpression);
-	if (areExpressionsStructurallyEqual(left, right)) return true;
+	if (areExpressionsStructurallyEqual(left, right)) return doEquivalentExpressionBindingsMatch(left, right, scopes);
 	if (left.type !== right.type) return false;
-	if (isNodeOfType(left, "UnaryExpression") && isNodeOfType(right, "UnaryExpression")) return left.operator === right.operator && areConditionExpressionsEquivalent(left.argument, right.argument);
-	if (isNodeOfType(left, "LogicalExpression") && isNodeOfType(right, "LogicalExpression")) return left.operator === right.operator && areConditionExpressionsEquivalent(left.left, right.left) && areConditionExpressionsEquivalent(left.right, right.right);
-	if (isNodeOfType(left, "BinaryExpression") && isNodeOfType(right, "BinaryExpression")) return left.operator === right.operator && areConditionExpressionsEquivalent(left.left, right.left) && areConditionExpressionsEquivalent(left.right, right.right);
+	if (isNodeOfType(left, "UnaryExpression") && isNodeOfType(right, "UnaryExpression")) return left.operator === right.operator && areConditionExpressionsEquivalent(left.argument, right.argument, scopes);
+	if (isNodeOfType(left, "LogicalExpression") && isNodeOfType(right, "LogicalExpression")) return left.operator === right.operator && areConditionExpressionsEquivalent(left.left, right.left, scopes) && areConditionExpressionsEquivalent(left.right, right.right, scopes);
+	if (isNodeOfType(left, "BinaryExpression") && isNodeOfType(right, "BinaryExpression")) return left.operator === right.operator && areConditionExpressionsEquivalent(left.left, right.left, scopes) && areConditionExpressionsEquivalent(left.right, right.right, scopes);
 	return false;
 };
-const areReturnTreesEquivalent = (leftStatement, rightStatement) => {
+const areReturnTreesEquivalent = (leftStatement, rightStatement, scopes) => {
 	if (!leftStatement || !rightStatement) return leftStatement === rightStatement;
-	if (isNodeOfType(leftStatement, "ReturnStatement") && isNodeOfType(rightStatement, "ReturnStatement")) return areRenderedBranchesEquivalent(leftStatement.argument, rightStatement.argument);
-	if (isNodeOfType(leftStatement, "IfStatement") && isNodeOfType(rightStatement, "IfStatement")) return areConditionExpressionsEquivalent(leftStatement.test, rightStatement.test) && areReturnTreesEquivalent(leftStatement.consequent, rightStatement.consequent) && areReturnTreesEquivalent(leftStatement.alternate, rightStatement.alternate);
+	if (isNodeOfType(leftStatement, "ReturnStatement") && isNodeOfType(rightStatement, "ReturnStatement")) return areRenderedBranchesEquivalent(leftStatement.argument, rightStatement.argument, scopes);
+	if (isNodeOfType(leftStatement, "IfStatement") && isNodeOfType(rightStatement, "IfStatement")) return areConditionExpressionsEquivalent(leftStatement.test, rightStatement.test, scopes) && areReturnTreesEquivalent(leftStatement.consequent, rightStatement.consequent, scopes) && areReturnTreesEquivalent(leftStatement.alternate, rightStatement.alternate, scopes);
 	if (!isNodeOfType(leftStatement, "BlockStatement") || !isNodeOfType(rightStatement, "BlockStatement")) return false;
 	const leftReturningStatements = leftStatement.body.filter((statement) => getReturnedValues(statement).length > 0);
 	const rightReturningStatements = rightStatement.body.filter((statement) => getReturnedValues(statement).length > 0);
-	return leftReturningStatements.length === rightReturningStatements.length && leftReturningStatements.every((statement, index) => areReturnTreesEquivalent(statement, rightReturningStatements[index]));
+	return leftReturningStatements.length === rightReturningStatements.length && leftReturningStatements.every((statement, index) => areReturnTreesEquivalent(statement, rightReturningStatements[index], scopes));
 };
 const isStructuralRenderedValue = (node) => {
 	if (!node) return false;
@@ -64491,19 +65442,22 @@ const noHydrationBranchOnBrowserGlobal = defineRule({
 		if (isTestlikeFilename(context.filename)) return {};
 		if (classifyReactNativeFileTarget(context) === "react-native") return {};
 		let fileHasUseClientDirective = false;
+		let fileHasExplicitReactRuntimeReference = false;
 		let fileIsEmailTemplate = false;
 		const reportedNodes = /* @__PURE__ */ new Set();
-		const reportHydrationBranch = (conditionNode, leftBranch, rightBranch, requiresRenderedContext) => {
+		const reportHydrationBranch = (conditionNode, leftBranch, rightBranch, requiresRenderedContext, hasProvenRenderedConsumer = false) => {
 			const conditionMatch = matchHydrationCondition(conditionNode, context);
 			if (!conditionMatch) return;
 			const { predicateMatch, predicateNode } = conditionMatch;
 			if (reportedNodes.has(predicateNode)) return;
-			if (rightBranch && areRenderedBranchesEquivalent(leftBranch, rightBranch)) return;
-			const componentOrHookNode = findRenderPhaseComponentOrHook(conditionNode, context.scopes);
+			if (rightBranch && areRenderedBranchesEquivalent(leftBranch, rightBranch, context.scopes)) return;
+			const enclosingFunction = findEnclosingFunction$1(conditionNode);
+			const componentOrHookNode = findRenderPhaseComponentOrHook(conditionNode, context.scopes) ?? (enclosingFunction ? findComponentRenderingLocalFunctionResult(enclosingFunction, context.scopes) : null);
 			if (!componentOrHookNode) return;
-			if (!hasClientRenderEvidence(componentOrHookNode, fileHasUseClientDirective)) return;
-			if (requiresRenderedContext && !isInRenderedOutput(conditionNode, componentOrHookNode, context.scopes)) return;
-			if (!isRenderedValue(leftBranch) && (!rightBranch || !isRenderedValue(rightBranch))) {
+			const hasRenderedLocalFunctionConsumer = Boolean(enclosingFunction && enclosingFunction !== componentOrHookNode && findComponentRenderingLocalFunctionResult(enclosingFunction, context.scopes) === componentOrHookNode);
+			if (!hasClientRenderEvidence(componentOrHookNode, fileHasUseClientDirective) && !fileHasExplicitReactRuntimeReference) return;
+			if (requiresRenderedContext && !isInRenderedOutput(conditionNode, componentOrHookNode, context.scopes) && !hasRenderedLocalFunctionConsumer) return;
+			if (!hasProvenRenderedConsumer && !(requiresRenderedContext ? isPotentiallyRenderedValue(leftBranch, context.scopes) : isRenderedValue(leftBranch, context.scopes)) && (!rightBranch || !(requiresRenderedContext ? isPotentiallyRenderedValue(rightBranch, context.scopes) : isRenderedValue(rightBranch, context.scopes)))) {
 				const attribute = findEnclosingJsxAttribute(conditionNode);
 				if (!attribute || isEventHandlerAttribute(attribute)) return;
 			}
@@ -64522,28 +65476,31 @@ const noHydrationBranchOnBrowserGlobal = defineRule({
 		return {
 			Program(node) {
 				fileHasUseClientDirective = hasDirective(node, "use client");
+				fileHasExplicitReactRuntimeReference = containsExplicitReactRuntimeReference(node, context.scopes);
 				fileIsEmailTemplate = hasEmailTemplateImport(node);
 			},
 			ConditionalExpression(node) {
 				reportHydrationBranch(node.test, node.consequent, node.alternate, true);
+				const componentOrHookNode = findRenderPhaseComponentOrHook(node, context.scopes);
+				if (componentOrHookNode && isReturnedUseStateInitializerRendered(node, componentOrHookNode, context.scopes)) reportHydrationBranch(node.test, node.consequent, node.alternate, false, true);
 			},
 			LogicalExpression(node) {
 				if (node.operator !== "&&" && node.operator !== "||") return;
-				const renderedValue = node.operator === "&&" ? findRenderedValueInAndBranch(node.right) : isRenderedValue(node.right) ? node.right : null;
+				const renderedValue = node.operator === "&&" ? findRenderedValueInAndBranch(node.right, context.scopes) : isPotentiallyRenderedValue(node.right, context.scopes) ? node.right : null;
 				if (!renderedValue) return;
 				reportHydrationBranch(node, renderedValue, null, true);
 			},
 			IfStatement(node) {
-				if (node.alternate && areReturnTreesEquivalent(node.consequent, node.alternate)) return;
+				if (node.alternate && areReturnTreesEquivalent(node.consequent, node.alternate, context.scopes)) return;
 				const consequentValues = getReturnedValues(node.consequent);
 				const alternateValues = node.alternate ? getReturnedValues(node.alternate) : findFollowingReturnedValues(node);
 				if (consequentValues.length === 0 || alternateValues.length === 0) return;
-				const componentOrHookNode = findRenderPhaseComponentOrHook(node.test, context.scopes);
-				if (!componentOrHookNode) return;
 				const enclosingFunction = findEnclosingFunction$1(node);
-				if (enclosingFunction !== componentOrHookNode && (!enclosingFunction || !isInRenderedOutput(enclosingFunction, componentOrHookNode, context.scopes))) return;
+				const componentOrHookNode = findRenderPhaseComponentOrHook(node.test, context.scopes) ?? (enclosingFunction ? findComponentRenderingLocalFunctionResult(enclosingFunction, context.scopes) : null);
+				if (!componentOrHookNode) return;
+				if (enclosingFunction !== componentOrHookNode && (!enclosingFunction || !isInRenderedOutput(enclosingFunction, componentOrHookNode, context.scopes) && findComponentRenderingLocalFunctionResult(enclosingFunction, context.scopes) !== componentOrHookNode)) return;
 				for (const consequentValue of consequentValues) for (const alternateValue of alternateValues) {
-					if (!isRenderedValue(consequentValue) && !isRenderedValue(alternateValue)) continue;
+					if (!isRenderedValue(consequentValue, context.scopes) && !isRenderedValue(alternateValue, context.scopes)) continue;
 					reportHydrationBranch(node.test, consequentValue, alternateValue, false);
 				}
 			}
@@ -66277,6 +67234,124 @@ const isInsideSnapshotHelper = (node) => {
 	}
 	return false;
 };
+const findEnclosingNextjsPageDataFunction = (node) => {
+	let outermostFunction = null;
+	let cursor = node.parent;
+	while (cursor) {
+		if (isFunctionLike$1(cursor)) outermostFunction = cursor;
+		if (isNodeOfType(cursor, "Program")) {
+			if (!outermostFunction) return null;
+			for (const exportName of NEXTJS_PAGE_DATA_EXPORT_NAMES) {
+				const exportedValue = findExportedValue(cursor, exportName);
+				if (exportedValue && isAstDescendant(outermostFunction, exportedValue)) return outermostFunction;
+			}
+			return null;
+		}
+		cursor = cursor.parent ?? null;
+	}
+	return null;
+};
+const findConditionalReturnExpressionRoot = (node) => {
+	let expressionRoot = findTransparentExpressionRoot(node);
+	while (expressionRoot.parent && isNodeOfType(expressionRoot.parent, "ConditionalExpression") && (expressionRoot.parent.consequent === expressionRoot || expressionRoot.parent.alternate === expressionRoot)) expressionRoot = findTransparentExpressionRoot(expressionRoot.parent);
+	return expressionRoot;
+};
+const isReturnedPageDataResultBinding = (returnExpression, pageDataFunction, context) => {
+	const declarator = returnExpression.parent;
+	if (!isNodeOfType(declarator, "VariableDeclarator") || declarator.init !== returnExpression || !isNodeOfType(declarator.id, "Identifier") || findEnclosingFunction$1(declarator) !== pageDataFunction) return false;
+	const bindingSymbol = context.scopes.symbolFor(declarator.id);
+	if (!bindingSymbol || bindingSymbol.references.length !== 1) return false;
+	const referenceRoot = findTransparentExpressionRoot(bindingSymbol.references[0].identifier);
+	const returnStatement = referenceRoot.parent;
+	return isNodeOfType(returnStatement, "ReturnStatement") && returnStatement.argument === referenceRoot && findEnclosingFunction$1(returnStatement) === pageDataFunction;
+};
+const isSameShorthandPropertyValue = (node, property) => property.shorthand && (node === property.key || node === property.value);
+const isValueForwardedThroughLiteralStructure = (node, structure) => {
+	const strippedNode = stripParenExpression(node);
+	const strippedStructure = stripParenExpression(structure);
+	if (strippedNode === strippedStructure) return true;
+	if (isNodeOfType(strippedStructure, "ConditionalExpression")) return isValueForwardedThroughLiteralStructure(strippedNode, strippedStructure.consequent) || isValueForwardedThroughLiteralStructure(strippedNode, strippedStructure.alternate);
+	if (isNodeOfType(strippedStructure, "ArrayExpression")) return strippedStructure.elements.some((element) => element && !isNodeOfType(element, "SpreadElement") && isValueForwardedThroughLiteralStructure(strippedNode, element));
+	if (!isNodeOfType(strippedStructure, "ObjectExpression")) return false;
+	return strippedStructure.properties.some((property) => {
+		if (isNodeOfType(property, "SpreadElement")) return isValueForwardedThroughLiteralStructure(strippedNode, property.argument);
+		if (!isNodeOfType(property, "Property")) return false;
+		if (isValueForwardedThroughLiteralStructure(strippedNode, property.value)) return true;
+		return isSameShorthandPropertyValue(strippedNode, property);
+	});
+};
+const isValueForwardedToPropertyValue = (node, property) => {
+	const directValue = findConditionalReturnExpressionRoot(node);
+	if (isValueForwardedThroughLiteralStructure(directValue, property.value)) return true;
+	return isSameShorthandPropertyValue(directValue, property);
+};
+const isInsideReturnedNextjsProps = (node, pageDataFunction, context) => {
+	let cursor = node.parent;
+	while (cursor && cursor !== pageDataFunction) {
+		if (isNodeOfType(cursor, "Property") && getStaticPropertyKeyName(cursor, { allowComputedString: true }) === "props" && isValueForwardedToPropertyValue(node, cursor)) {
+			const propertyContainer = cursor.parent;
+			if (!propertyContainer) return false;
+			const returnExpression = findConditionalReturnExpressionRoot(propertyContainer);
+			const returnStatement = returnExpression.parent;
+			if (isNodeOfType(returnStatement, "ReturnStatement") && findEnclosingFunction$1(returnStatement) === pageDataFunction) return true;
+			if (isNodeOfType(pageDataFunction, "ArrowFunctionExpression") && !isNodeOfType(pageDataFunction.body, "BlockStatement") && stripParenExpression(pageDataFunction.body) === stripParenExpression(returnExpression)) return true;
+			if (isReturnedPageDataResultBinding(returnExpression, pageDataFunction, context)) return true;
+		}
+		cursor = cursor.parent ?? null;
+	}
+	return false;
+};
+const isExpressionReturnedByFunction = (node, functionNode) => {
+	const returnExpression = findConditionalReturnExpressionRoot(node);
+	if (isNodeOfType(functionNode, "ArrowFunctionExpression") && !isNodeOfType(functionNode.body, "BlockStatement")) return stripParenExpression(functionNode.body) === stripParenExpression(returnExpression);
+	const returnStatement = returnExpression.parent;
+	return isNodeOfType(returnStatement, "ReturnStatement") && returnStatement.argument === returnExpression && findEnclosingFunction$1(returnStatement) === functionNode;
+};
+const isValueForwardedToBindingInitializer = (node, bindingInitializer) => {
+	if (isValueForwardedThroughLiteralStructure(findConditionalReturnExpressionRoot(node), bindingInitializer)) return true;
+	const initializer = stripParenExpression(bindingInitializer);
+	if (!isNodeOfType(initializer, "CallExpression")) return false;
+	const callee = stripParenExpression(initializer.callee);
+	return isFunctionLike$1(callee) && isExpressionReturnedByFunction(node, callee);
+};
+const findPageDataResultBinding = (node) => {
+	let cursor = node.parent;
+	while (cursor) {
+		if (isNodeOfType(cursor, "VariableDeclarator")) {
+			if (cursor.init && isNodeOfType(cursor.id, "Identifier") && isValueForwardedToBindingInitializer(node, cursor.init)) return cursor.id;
+			return null;
+		}
+		cursor = cursor.parent ?? null;
+	}
+	return null;
+};
+const isUsedToSerializeNextjsPageProps = (node, context) => {
+	if (!isInProjectDirectory(context, "pages") || isInProjectDirectory(context, "pages/api")) return false;
+	const pageDataFunction = findEnclosingNextjsPageDataFunction(node);
+	if (!pageDataFunction) return false;
+	if (isInsideReturnedNextjsProps(node, pageDataFunction, context)) return true;
+	const bindingIdentifier = findPageDataResultBinding(node);
+	const bindingSymbol = bindingIdentifier ? context.scopes.symbolFor(bindingIdentifier) : null;
+	if (!bindingSymbol) return false;
+	const aliasSymbols = collectConstAliasSymbols(bindingSymbol, context.scopes);
+	const aliasSymbolIds = new Set(aliasSymbols.map((aliasSymbol) => aliasSymbol.id));
+	let hasPagePropsReference = false;
+	for (const aliasSymbol of aliasSymbols) for (const reference of aliasSymbol.references) {
+		if (findEnclosingFunction$1(reference.identifier) !== pageDataFunction) return false;
+		if (isInsideReturnedNextjsProps(reference.identifier, pageDataFunction, context)) {
+			hasPagePropsReference = true;
+			continue;
+		}
+		const referenceRoot = findTransparentExpressionRoot(reference.identifier);
+		const declarator = referenceRoot.parent;
+		if (isNodeOfType(declarator, "VariableDeclarator") && declarator.init === referenceRoot && isNodeOfType(declarator.id, "Identifier")) {
+			const aliasSymbolForReference = context.scopes.symbolFor(declarator.id);
+			if (aliasSymbolForReference && aliasSymbolIds.has(aliasSymbolForReference.id)) continue;
+		}
+		return false;
+	}
+	return hasPagePropsReference;
+};
 const noJsonParseStringifyClone = defineRule({
 	id: "no-json-parse-stringify-clone",
 	title: "JSON parse/stringify deep clone",
@@ -66294,6 +67369,7 @@ const noJsonParseStringifyClone = defineRule({
 		if (isInsideSnapshotHelper(node)) return;
 		if (isAssignedToNormalizationBinding(node)) return;
 		if (isCatchParameterRoundTrip(firstArgument)) return;
+		if (isUsedToSerializeNextjsPageProps(node, context)) return;
 		context.report({
 			node,
 			message: MESSAGE$35
@@ -67709,6 +68785,77 @@ const isCancellationGuardTest = (test) => {
 	});
 	return matches;
 };
+const getReactRefCurrent = (expression, context) => {
+	const stripped = stripParenExpression(expression);
+	if (!isNodeOfType(stripped, "MemberExpression") || getStaticPropertyName(stripped) !== "current") return null;
+	const receiver = stripParenExpression(stripped.object);
+	if (!isNodeOfType(receiver, "Identifier")) return null;
+	const binding = findVariableInitializer(receiver, receiver.name);
+	const initializer = binding?.initializer ? stripParenExpression(binding.initializer) : null;
+	return initializer && isNodeOfType(initializer, "CallExpression") && isReactApiCall(initializer, USE_REF_HOOK_NAMES$1, context.scopes, {
+		allowGlobalReactNamespace: true,
+		allowUnboundBareCalls: true
+	}) ? stripped : null;
+};
+const getStableOwnershipToken = (expression, context) => {
+	const stripped = stripParenExpression(expression);
+	if (!isNodeOfType(stripped, "Identifier")) return null;
+	const symbol = context.scopes.symbolFor(stripped);
+	const initializer = symbol?.initializer ? stripParenExpression(symbol.initializer) : null;
+	const isStableAsyncIdentity = Boolean(initializer && isNodeOfType(initializer, "ObjectExpression")) || Boolean(initializer && getReactRefCurrent(initializer, context)) || Boolean(initializer && isNodeOfType(initializer, "UpdateExpression") && initializer.operator === "++" && getReactRefCurrent(initializer.argument, context));
+	return symbol && symbol.kind === "const" && symbol.references.every((reference) => reference.flag === "read") && isStableAsyncIdentity ? stripped : null;
+};
+const getAsyncOwnershipComparison = (test, context) => {
+	const stripped = stripParenExpression(test);
+	if (!isNodeOfType(stripped, "BinaryExpression")) return null;
+	const leftRef = getReactRefCurrent(stripped.left, context);
+	const rightRef = getReactRefCurrent(stripped.right, context);
+	const leftToken = getStableOwnershipToken(stripped.left, context);
+	const rightToken = getStableOwnershipToken(stripped.right, context);
+	if (stripped.operator === "===" || stripped.operator === "==") {
+		if (leftRef && rightToken) return {
+			refCurrent: leftRef,
+			token: rightToken,
+			mode: "owns",
+			isOrdered: false
+		};
+		if (rightRef && leftToken) return {
+			refCurrent: rightRef,
+			token: leftToken,
+			mode: "owns",
+			isOrdered: false
+		};
+		return null;
+	}
+	if (stripped.operator === "!==" || stripped.operator === "!=") {
+		if (leftRef && rightToken) return {
+			refCurrent: leftRef,
+			token: rightToken,
+			mode: "lost",
+			isOrdered: false
+		};
+		if (rightRef && leftToken) return {
+			refCurrent: rightRef,
+			token: leftToken,
+			mode: "lost",
+			isOrdered: false
+		};
+		return null;
+	}
+	if (stripped.operator === "<=" && leftRef && rightToken) return {
+		refCurrent: leftRef,
+		token: rightToken,
+		mode: "owns",
+		isOrdered: true
+	};
+	if (stripped.operator === ">=" && rightRef && leftToken) return {
+		refCurrent: rightRef,
+		token: leftToken,
+		mode: "owns",
+		isOrdered: true
+	};
+	return null;
+};
 const dedupeCatchPathStates = (states) => {
 	const statesByKey = /* @__PURE__ */ new Map();
 	for (const state of states) statesByKey.set(`${Number(state.isCleared)}:${Number(state.isCancellationPath)}`, state);
@@ -68041,7 +69188,221 @@ const isInsideTryFinalizer = (node, tryStatement) => {
 	}
 	return false;
 };
-const hasLifecycleGuardWriteOutsideCleanup = (effectCallback, guardKey, acceptedCleanupAssignments, context) => {
+const getDirectBlockEntry = (node, functionNode) => {
+	let entry = node;
+	let cursor = node.parent;
+	while (cursor && cursor !== functionNode) {
+		if (isNodeOfType(cursor, "BlockStatement")) return {
+			block: cursor,
+			entry
+		};
+		entry = cursor;
+		cursor = cursor.parent ?? null;
+	}
+	return null;
+};
+const claimPrecedesTruthySet = (claimNode, truthySet, firstRiskyAwait, functionNode, context) => {
+	const claimStart = getNodeStart$1(claimNode);
+	if (claimStart === null || claimStart >= firstRiskyAwait.start || truthySet.start >= firstRiskyAwait.start) return false;
+	const claimEntry = getDirectBlockEntry(claimNode, functionNode);
+	const truthyEntry = getDirectBlockEntry(truthySet.node, functionNode);
+	if (!claimEntry || !truthyEntry || claimEntry.block !== truthyEntry.block) return false;
+	let claimCursor = claimNode.parent;
+	while (claimCursor && claimCursor !== claimEntry.block) {
+		if (isNodeOfType(claimCursor, "IfStatement") || isNodeOfType(claimCursor, "SwitchCase") || isNodeOfType(claimCursor, "ConditionalExpression") || isNodeOfType(claimCursor, "LogicalExpression") || isNodeOfType(claimCursor, "ForStatement") || isNodeOfType(claimCursor, "ForInStatement") || isNodeOfType(claimCursor, "ForOfStatement") || isNodeOfType(claimCursor, "WhileStatement") || isNodeOfType(claimCursor, "DoWhileStatement")) return false;
+		claimCursor = claimCursor.parent ?? null;
+	}
+	const claimIndex = claimEntry.block.body.findIndex((statement) => statement === claimEntry.entry);
+	const truthyIndex = claimEntry.block.body.findIndex((statement) => statement === truthyEntry.entry);
+	if (claimIndex === -1 || truthyIndex === -1 || claimIndex >= truthyIndex) return false;
+	return claimEntry.block.body.slice(claimIndex + 1, truthyIndex).every((statement) => !subtreeHasAbruptSynchronousOperation(statement, functionNode, context));
+};
+const getOwningFunction = (functionNode) => {
+	let ownerFunction = functionNode;
+	let cursor = functionNode.parent;
+	while (cursor) {
+		if (isFunctionLike$1(cursor)) ownerFunction = cursor;
+		cursor = cursor.parent ?? null;
+	}
+	return ownerFunction;
+};
+const isEffectInvalidationPairedWithReset = (writeNode, truthySets, context) => {
+	const truthyCall = truthySets[0]?.node;
+	if (!truthyCall || !isNodeOfType(truthyCall, "CallExpression")) return false;
+	const setter = getSetterBooleanValue(truthyCall, context);
+	if (!setter) return false;
+	let effectCallback = writeNode.parent;
+	while (effectCallback && !isFunctionLike$1(effectCallback)) effectCallback = effectCallback.parent ?? null;
+	if (!effectCallback || !isEffectCallback(effectCallback, context)) return false;
+	if (!isUnconditionallyExecutedWithinFunction(writeNode, effectCallback, context)) return false;
+	const writeEntry = getDirectBlockEntry(writeNode, effectCallback);
+	if (!writeEntry) return false;
+	let isPaired = false;
+	walkOwnFunctionScope(effectCallback, (candidate) => {
+		if (isPaired || !isNodeOfType(candidate, "CallExpression")) return;
+		const candidateSetter = getSetterBooleanValue(candidate, context);
+		if (candidateSetter?.setterKey !== setter.setterKey || candidateSetter.value || !isUnconditionallyExecutedWithinFunction(candidate, effectCallback, context)) return;
+		const resetEntry = getDirectBlockEntry(candidate, effectCallback);
+		if (!resetEntry || resetEntry.block !== writeEntry.block) return;
+		const writeIndex = writeEntry.block.body.findIndex((statement) => statement === writeEntry.entry);
+		const resetIndex = resetEntry.block.body.findIndex((statement) => statement === resetEntry.entry);
+		if (writeIndex === -1 || resetIndex === -1) return;
+		if (resetIndex <= writeIndex) {
+			isPaired = true;
+			return false;
+		}
+		isPaired = writeEntry.block.body.slice(writeIndex + 1, resetIndex).every((statement) => !subtreeHasAbruptSynchronousOperation(statement, effectCallback, context));
+		return isPaired ? false : void 0;
+	});
+	return isPaired;
+};
+const isUnconditionalReturnBranch = (statement) => {
+	if (isNodeOfType(statement, "ReturnStatement")) return true;
+	return Boolean(isNodeOfType(statement, "BlockStatement") && statement.body.length === 1 && isNodeOfType(statement.body[0], "ReturnStatement"));
+};
+const findSingleFlightSnapshotClaim = (tokenInitializer, functionNode, truthySets, firstRiskyAwait, resetNode, context) => {
+	const snapshotEntry = getDirectBlockEntry(tokenInitializer, functionNode);
+	const resetEntry = getDirectBlockEntry(resetNode, functionNode);
+	if (!snapshotEntry || !resetEntry) return null;
+	const claimCandidates = [];
+	const releaseCandidates = [];
+	walkOwnFunctionScope(functionNode, (candidate) => {
+		if (!isNodeOfType(candidate, "AssignmentExpression") || candidate.operator !== "=" || !getReactRefCurrent(candidate.left, context)) return;
+		const assignedValue = stripParenExpression(candidate.right);
+		if (!isNodeOfType(assignedValue, "Literal") || typeof assignedValue.value !== "boolean") return;
+		const candidateKey = serializeReferenceKey({
+			node: candidate.left,
+			scopes: context.scopes
+		});
+		if (!candidateKey) return;
+		if (!assignedValue.value) {
+			if (getDirectBlockEntry(candidate, functionNode)?.block === resetEntry.block) releaseCandidates.push(candidate);
+			return;
+		}
+		if (!truthySets.some((truthySet) => claimPrecedesTruthySet(candidate, truthySet, firstRiskyAwait, functionNode, context))) return;
+		const candidateEntry = getDirectBlockEntry(candidate, functionNode);
+		if (!candidateEntry || candidateEntry.block !== snapshotEntry.block) return;
+		const candidateIndex = candidateEntry.block.body.findIndex((statement) => statement === candidateEntry.entry);
+		const snapshotIndex = candidateEntry.block.body.findIndex((statement) => statement === snapshotEntry.entry);
+		if (candidateIndex === -1 || snapshotIndex === -1 || candidateIndex >= snapshotIndex) return;
+		const guardIndex = candidateEntry.block.body.findLastIndex((statement, statementIndex) => {
+			if (statementIndex >= candidateIndex || !isNodeOfType(statement, "IfStatement") || statement.alternate !== null || !isUnconditionalReturnBranch(statement.consequent)) return false;
+			return serializeReferenceKey({
+				node: stripParenExpression(statement.test),
+				scopes: context.scopes
+			}) === candidateKey;
+		});
+		if (guardIndex === -1 || !candidateEntry.block.body.slice(guardIndex + 1, candidateIndex).every((statement) => !subtreeHasAbruptSynchronousOperation(statement, functionNode, context))) return;
+		claimCandidates.push(candidate);
+	});
+	const claim = claimCandidates.find((claimCandidate) => {
+		const candidateKey = serializeReferenceKey({
+			node: claimCandidate.left,
+			scopes: context.scopes
+		});
+		return releaseCandidates.some((releaseCandidate) => serializeReferenceKey({
+			node: releaseCandidate.left,
+			scopes: context.scopes
+		}) === candidateKey);
+	});
+	if (!claim) return null;
+	const claimKey = serializeReferenceKey({
+		node: claim.left,
+		scopes: context.scopes
+	});
+	const release = releaseCandidates.find((releaseCandidate) => serializeReferenceKey({
+		node: releaseCandidate.left,
+		scopes: context.scopes
+	}) === claimKey);
+	if (!claimKey || !release) return null;
+	const releaseEntry = getDirectBlockEntry(release, functionNode);
+	if (!releaseEntry || releaseEntry.block !== resetEntry.block) return null;
+	const releaseIndex = resetEntry.block.body.findIndex((statement) => statement === releaseEntry.entry);
+	const resetIndex = resetEntry.block.body.findIndex((statement) => statement === resetEntry.entry);
+	if (releaseIndex === -1 || resetIndex === -1 || !resetEntry.block.body.slice(Math.min(releaseIndex, resetIndex) + 1, Math.max(releaseIndex, resetIndex)).every((statement) => !subtreeHasAbruptSynchronousOperation(statement, functionNode, context))) return null;
+	let didFindUnsafeWrite = false;
+	walkAst(getOwningFunction(functionNode), (candidate) => {
+		if (didFindUnsafeWrite || candidate === claim || candidate === release) return;
+		const writeTarget = isNodeOfType(candidate, "AssignmentExpression") ? candidate.left : isNodeOfType(candidate, "UpdateExpression") || isNodeOfType(candidate, "UnaryExpression") && candidate.operator === "delete" ? candidate.argument : null;
+		if (writeTarget && serializeReferenceKey({
+			node: writeTarget,
+			scopes: context.scopes
+		}) === claimKey && !isEffectInvalidationPairedWithReset(candidate, truthySets, context)) didFindUnsafeWrite = true;
+	});
+	return didFindUnsafeWrite ? null : claim;
+};
+const findOwnershipClaim = (comparison, functionNode, truthySets, firstRiskyAwait, resetNode, context) => {
+	const refKey = serializeReferenceKey({
+		node: comparison.refCurrent,
+		scopes: context.scopes
+	});
+	const tokenKey = serializeReferenceKey({
+		node: comparison.token,
+		scopes: context.scopes
+	});
+	if (!refKey || !tokenKey) return null;
+	const candidates = [];
+	const tokenSymbol = context.scopes.symbolFor(comparison.token);
+	const tokenInitializer = tokenSymbol?.initializer ? stripParenExpression(tokenSymbol.initializer) : null;
+	if (comparison.isOrdered && !isNodeOfType(tokenInitializer, "UpdateExpression")) return null;
+	if (tokenInitializer && isNodeOfType(tokenInitializer, "UpdateExpression") && tokenInitializer.operator === "++" && serializeReferenceKey({
+		node: tokenInitializer.argument,
+		scopes: context.scopes
+	}) === refKey) candidates.push(tokenInitializer);
+	if (tokenInitializer && getReactRefCurrent(tokenInitializer, context) && serializeReferenceKey({
+		node: tokenInitializer,
+		scopes: context.scopes
+	}) === refKey) {
+		const singleFlightClaim = findSingleFlightSnapshotClaim(tokenInitializer, functionNode, truthySets, firstRiskyAwait, resetNode, context);
+		if (singleFlightClaim) candidates.push(singleFlightClaim);
+	}
+	if (tokenInitializer && isNodeOfType(tokenInitializer, "UpdateExpression")) {
+		const generationKey = serializeReferenceKey({
+			node: tokenInitializer.argument,
+			scopes: context.scopes
+		});
+		if (generationKey && generationKey === refKey) {
+			const ownerFunction = getOwningFunction(functionNode);
+			let didFindOtherGenerationWrite = false;
+			walkAst(ownerFunction, (candidate) => {
+				if (didFindOtherGenerationWrite || candidate === tokenInitializer) return;
+				const writeTarget = isNodeOfType(candidate, "AssignmentExpression") ? candidate.left : isNodeOfType(candidate, "UpdateExpression") || isNodeOfType(candidate, "UnaryExpression") && candidate.operator === "delete" ? candidate.argument : null;
+				if (writeTarget && serializeReferenceKey({
+					node: writeTarget,
+					scopes: context.scopes
+				}) === generationKey && !isEffectInvalidationPairedWithReset(candidate, truthySets, context)) didFindOtherGenerationWrite = true;
+			});
+			if (didFindOtherGenerationWrite) return null;
+		}
+	}
+	walkOwnFunctionScope(functionNode, (candidate) => {
+		if (!isNodeOfType(candidate, "AssignmentExpression") || candidate.operator !== "=") return;
+		if (serializeReferenceKey({
+			node: candidate.left,
+			scopes: context.scopes
+		}) === refKey && serializeReferenceKey({
+			node: candidate.right,
+			scopes: context.scopes
+		}) === tokenKey) candidates.push(candidate);
+	});
+	const claim = candidates.find((candidate) => truthySets.some((truthySet) => claimPrecedesTruthySet(candidate, truthySet, firstRiskyAwait, functionNode, context)));
+	if (!claim) return null;
+	let didFindOtherWrite = false;
+	walkAst(getOwningFunction(functionNode), (candidate) => {
+		if (didFindOtherWrite || candidate === claim) return;
+		const writeTarget = isNodeOfType(candidate, "AssignmentExpression") ? candidate.left : isNodeOfType(candidate, "UpdateExpression") || isNodeOfType(candidate, "UnaryExpression") && candidate.operator === "delete" ? candidate.argument : null;
+		if (writeTarget && serializeReferenceKey({
+			node: writeTarget,
+			scopes: context.scopes
+		}) === refKey && !isEffectInvalidationPairedWithReset(candidate, truthySets, context)) didFindOtherWrite = true;
+	});
+	return didFindOtherWrite ? null : claim;
+};
+const isClaimedOwnershipComparison = (test, expectedMode, functionNode, truthySets, firstRiskyAwait, resetNode, context) => {
+	const comparison = getAsyncOwnershipComparison(test, context);
+	return Boolean(comparison && comparison.mode === expectedMode && findOwnershipClaim(comparison, functionNode, truthySets, firstRiskyAwait, resetNode, context));
+};
+const hasLifecycleGuardWriteOutsideCleanup = (effectCallback, guardKey, acceptedAssignments, context) => {
 	let didFindOtherWrite = false;
 	walkAst(effectCallback, (candidate) => {
 		if (didFindOtherWrite) return false;
@@ -68049,7 +69410,7 @@ const hasLifecycleGuardWriteOutsideCleanup = (effectCallback, guardKey, accepted
 			if (serializeReferenceKey({
 				node: candidate.left,
 				scopes: context.scopes
-			}) === guardKey && !acceptedCleanupAssignments.has(candidate)) {
+			}) === guardKey && !acceptedAssignments.has(candidate)) {
 				didFindOtherWrite = true;
 				return false;
 			}
@@ -68065,48 +69426,103 @@ const hasLifecycleGuardWriteOutsideCleanup = (effectCallback, guardKey, accepted
 	});
 	return didFindOtherWrite;
 };
-const isResetGuardedByCleanupBackedLifecycle = (resetNode, functionNode, context) => {
+const collectCleanupBackedLifecycleAssignments = (effectCallback, guardKey, context) => {
+	const acceptedAssignments = /* @__PURE__ */ new Set();
+	for (const cleanupFunction of collectReturnedCleanupFunctions(effectCallback, context.scopes)) walkOwnFunctionScope(cleanupFunction, (cleanupNode) => {
+		const assignedValue = isNodeOfType(cleanupNode, "AssignmentExpression") ? stripParenExpression(cleanupNode.right) : null;
+		if (!isNodeOfType(cleanupNode, "AssignmentExpression") || cleanupNode.operator !== "=" || !isNodeOfType(assignedValue, "Literal") || assignedValue.value !== false || serializeReferenceKey({
+			node: cleanupNode.left,
+			scopes: context.scopes
+		}) !== guardKey || !isUnconditionallyExecutedWithinFunction(cleanupNode, cleanupFunction, context)) return;
+		acceptedAssignments.add(cleanupNode);
+	});
+	if (acceptedAssignments.size === 0) return null;
+	walkOwnFunctionScope(effectCallback, (effectNode) => {
+		const assignedValue = isNodeOfType(effectNode, "AssignmentExpression") ? stripParenExpression(effectNode.right) : null;
+		if (isNodeOfType(effectNode, "AssignmentExpression") && effectNode.operator === "=" && isNodeOfType(assignedValue, "Literal") && assignedValue.value === true && serializeReferenceKey({
+			node: effectNode.left,
+			scopes: context.scopes
+		}) === guardKey && isUnconditionallyExecutedWithinFunction(effectNode, effectCallback, context)) acceptedAssignments.add(effectNode);
+	});
+	return acceptedAssignments;
+};
+const isEffectCallback = (node, context) => {
+	const callbackRoot = findTransparentExpressionRoot(node);
+	const callbackCall = callbackRoot.parent;
+	return Boolean(callbackCall && isNodeOfType(callbackCall, "CallExpression") && callbackCall.arguments[0] === callbackRoot && isReactApiCall(callbackCall, EFFECT_HOOK_NAMES$6, context.scopes, {
+		allowGlobalReactNamespace: true,
+		allowUnboundBareCalls: true
+	}));
+};
+const isCleanupBackedLifecycleGuard = (guardExpression, functionNode, context) => {
+	const guardKey = serializeReferenceKey({
+		node: guardExpression,
+		scopes: context.scopes
+	});
+	if (!guardKey || !isInitiallyActiveLifecycleGuard(guardExpression, context)) return false;
+	let ownerFunction = functionNode.parent;
+	while (ownerFunction && !isFunctionLike$1(ownerFunction)) ownerFunction = ownerFunction.parent ?? null;
+	if (!ownerFunction) return false;
+	const effectCallbacks = [];
+	if (isEffectCallback(ownerFunction, context)) effectCallbacks.push(ownerFunction);
+	walkOwnFunctionScope(ownerFunction, (candidate) => {
+		if (!isNodeOfType(candidate, "CallExpression")) return;
+		if (!isReactApiCall(candidate, EFFECT_HOOK_NAMES$6, context.scopes, {
+			allowGlobalReactNamespace: true,
+			allowUnboundBareCalls: true
+		})) return;
+		const effectCallback = candidate.arguments[0];
+		if (effectCallback && isFunctionLike$1(effectCallback)) effectCallbacks.push(effectCallback);
+	});
+	const acceptedAssignments = /* @__PURE__ */ new Set();
+	for (const effectCallback of effectCallbacks) {
+		const effectAssignments = collectCleanupBackedLifecycleAssignments(effectCallback, guardKey, context);
+		if (!effectAssignments) continue;
+		for (const assignment of effectAssignments) acceptedAssignments.add(assignment);
+	}
+	return Boolean(acceptedAssignments.size > 0 && !hasLifecycleGuardWriteOutsideCleanup(ownerFunction, guardKey, acceptedAssignments, context));
+};
+const collectLogicalOperands = (expression, operator) => {
+	const stripped = stripParenExpression(expression);
+	if (isNodeOfType(stripped, "LogicalExpression") && stripped.operator === operator) return [...collectLogicalOperands(stripped.left, operator), ...collectLogicalOperands(stripped.right, operator)];
+	return [stripped];
+};
+const collectFinalizerGuardExpressions = (resetNode, protectingTry) => {
+	const positive = [];
+	const negative = [];
 	let child = resetNode;
 	let cursor = resetNode.parent;
-	let guardKey = null;
-	let guardExpression = null;
-	while (cursor && cursor !== functionNode) {
-		if (isNodeOfType(cursor, "IfStatement") && cursor.consequent === child && cursor.alternate === null) {
-			guardExpression = cursor.test;
-			guardKey = serializeReferenceKey({
-				node: cursor.test,
-				scopes: context.scopes
-			});
-			break;
-		}
+	while (cursor && cursor !== protectingTry) {
+		if (isNodeOfType(cursor, "IfStatement")) {
+			if (cursor.consequent !== child || cursor.alternate !== null) return null;
+			positive.push(...collectLogicalOperands(cursor.test, "&&"));
+		} else if (isNodeOfType(cursor, "LogicalExpression")) {
+			if (cursor.operator !== "&&" || cursor.right !== child) return null;
+			positive.push(...collectLogicalOperands(cursor.left, "&&"));
+		} else if (isNodeOfType(cursor, "BlockStatement")) {
+			const childIndex = cursor.body.findIndex((statement) => statement === child);
+			if (childIndex !== -1) for (const statement of cursor.body.slice(0, childIndex)) {
+				if (!isNodeOfType(statement, "IfStatement") || statement.alternate !== null || !isUnconditionalReturnBranch(statement.consequent)) continue;
+				negative.push(...collectLogicalOperands(statement.test, "||"));
+			}
+		} else if (isNodeOfType(cursor, "SwitchCase") || isNodeOfType(cursor, "ConditionalExpression") || isNodeOfType(cursor, "ForStatement") || isNodeOfType(cursor, "ForInStatement") || isNodeOfType(cursor, "ForOfStatement") || isNodeOfType(cursor, "WhileStatement") || isNodeOfType(cursor, "DoWhileStatement")) return null;
 		child = cursor;
 		cursor = cursor.parent ?? null;
 	}
-	if (!guardKey || !guardExpression || !isInitiallyActiveLifecycleGuard(guardExpression, context)) return false;
-	cursor = functionNode.parent;
-	while (cursor) {
-		if (isFunctionLike$1(cursor)) {
-			const callbackRoot = findTransparentExpressionRoot(cursor);
-			const callbackCall = callbackRoot.parent;
-			if (Boolean(callbackCall && isNodeOfType(callbackCall, "CallExpression") && callbackCall.arguments[0] === callbackRoot && isReactApiCall(callbackCall, EFFECT_HOOK_NAMES$6, context.scopes, {
-				allowGlobalReactNamespace: true,
-				allowUnboundBareCalls: true
-			}))) {
-				const acceptedCleanupAssignments = /* @__PURE__ */ new Set();
-				for (const cleanupFunction of collectReturnedCleanupFunctions(cursor, context.scopes)) walkOwnFunctionScope(cleanupFunction, (cleanupNode) => {
-					const assignedValue = isNodeOfType(cleanupNode, "AssignmentExpression") ? stripParenExpression(cleanupNode.right) : null;
-					if (!isNodeOfType(cleanupNode, "AssignmentExpression") || cleanupNode.operator !== "=" || !isNodeOfType(assignedValue, "Literal") || assignedValue.value !== false || serializeReferenceKey({
-						node: cleanupNode.left,
-						scopes: context.scopes
-					}) !== guardKey || !isUnconditionallyExecutedWithinFunction(cleanupNode, cleanupFunction, context)) return;
-					acceptedCleanupAssignments.add(cleanupNode);
-				});
-				if (acceptedCleanupAssignments.size > 0 && !hasLifecycleGuardWriteOutsideCleanup(cursor, guardKey, acceptedCleanupAssignments, context)) return true;
-			}
-		}
-		cursor = cursor.parent ?? null;
-	}
-	return false;
+	return cursor === protectingTry && positive.length + negative.length > 0 ? {
+		positive,
+		negative
+	} : null;
+};
+const isPositiveFinalizerGuard = (expression, resetNode, functionNode, truthySets, firstRiskyAwait, context) => isCleanupBackedLifecycleGuard(expression, functionNode, context) || isClaimedOwnershipComparison(expression, "owns", functionNode, truthySets, firstRiskyAwait, resetNode, context);
+const isNegativeFinalizerGuard = (expression, resetNode, functionNode, truthySets, firstRiskyAwait, context) => {
+	const stripped = stripParenExpression(expression);
+	if (isNodeOfType(stripped, "UnaryExpression") && stripped.operator === "!") return isPositiveFinalizerGuard(stripped.argument, resetNode, functionNode, truthySets, firstRiskyAwait, context);
+	return isClaimedOwnershipComparison(stripped, "lost", functionNode, truthySets, firstRiskyAwait, resetNode, context);
+};
+const isFinalizerResetProvablyGuarded = (resetNode, protectingTry, functionNode, truthySets, firstRiskyAwait, context) => {
+	const guards = collectFinalizerGuardExpressions(resetNode, protectingTry);
+	return Boolean(guards && guards.positive.every((guard) => isPositiveFinalizerGuard(guard, resetNode, functionNode, truthySets, firstRiskyAwait, context)) && guards.negative.every((guard) => isNegativeFinalizerGuard(guard, resetNode, functionNode, truthySets, firstRiskyAwait, context)));
 };
 const isAwaitInsideProtectedTry = (awaitNode, tryStatement) => {
 	let child = awaitNode;
@@ -68212,7 +69628,13 @@ const analyzeFunction = (functionNode, context) => {
 		const exceptionallyProtectedAwaits = collectExceptionallyProtectedAwaits(awaitSites, calls);
 		const riskyAwaitsWithTruthySet = awaitSites.filter((awaitSite) => rejectingAwaitNodes.has(awaitSite.node) && !exceptionallyProtectedAwaits.has(awaitSite.node) && truthySets.some((truthySet) => truthySet.start < awaitSite.start && !areOnExclusiveBranches(truthySet.node, awaitSite.node, functionNode)));
 		if (riskyAwaitsWithTruthySet.length === 0) continue;
-		const conditionalExceptionalResets = calls.filter((call) => !call.value && call.context !== "plain" && !call.isUnconditional && call.protectingTry !== null && !(isInsideTryFinalizer(call.node, call.protectingTry) && isResetGuardedByCleanupBackedLifecycle(call.node, functionNode, context)));
+		const conditionalExceptionalResets = calls.filter((call) => {
+			if (call.value || call.context === "plain" || call.isUnconditional || call.protectingTry === null) return false;
+			const protectingTry = call.protectingTry;
+			if (!isInsideTryFinalizer(call.node, protectingTry)) return true;
+			const firstRiskyAwait = riskyAwaitsWithTruthySet.find((awaitSite) => isAwaitInsideProtectedTry(awaitSite.node, protectingTry));
+			return !(firstRiskyAwait && isFinalizerResetProvablyGuarded(call.node, protectingTry, functionNode, truthySets, firstRiskyAwait, context));
+		});
 		for (const reset of conditionalExceptionalResets) {
 			const catchHandler = reset.protectingTry?.handler;
 			if (catchHandler && !catchHandlerCanBypassReset(catchHandler, functionNode, setterKey, context, false)) continue;
@@ -74084,6 +75506,29 @@ const doesPredicateTruthRequireMatch = (matchCall, predicateFunction) => {
 	}
 	return !isNegated && predicateFunction.body === child;
 };
+const doesPredicateReturnNormalizedMatch = (matchCall, predicateFunction) => {
+	if (!isFunctionLike$1(predicateFunction) || !isNodeOfType(predicateFunction.body, "BlockStatement") || predicateFunction.body.body.length !== 2 || !isNodeOfType(predicateFunction.body.body[0], "VariableDeclaration")) return false;
+	const returnStatement = predicateFunction.body.body[1];
+	if (!isNodeOfType(returnStatement, "ReturnStatement") || !returnStatement.argument) return false;
+	let negationCount = 0;
+	let expression = matchCall;
+	let parent = expression.parent ?? null;
+	while (parent && parent !== returnStatement) {
+		if (isNodeOfType(parent, "UnaryExpression") && parent.operator === "!") {
+			negationCount += 1;
+			expression = parent;
+			parent = parent.parent ?? null;
+			continue;
+		}
+		if (TRANSPARENT_EXPRESSION_WRAPPER_TYPES.has(parent.type) || isNodeOfType(parent, "ChainExpression")) {
+			expression = parent;
+			parent = parent.parent ?? null;
+			continue;
+		}
+		return false;
+	}
+	return parent === returnStatement && returnStatement.argument === expression && negationCount % 2 === 0;
+};
 const isStringTypeofGuardForPath = (test, expectedPath) => {
 	const target = stripParenExpression(test);
 	if (!isNodeOfType(target, "BinaryExpression") || target.operator !== "===") return false;
@@ -74124,6 +75569,26 @@ const pathUsesOptionalAccess = (node) => {
 		current = current.object;
 	}
 };
+const getNormalizedClassNameRoot = (expression) => {
+	const conditional = stripParenExpression(expression);
+	if (!isNodeOfType(conditional, "ConditionalExpression")) return null;
+	const consequent = stripParenExpression(conditional.consequent);
+	const rootIdentifier = getRootIdentifier(consequent);
+	if (!rootIdentifier || receiverPathKey(consequent) !== `${rootIdentifier.name}.className`) return null;
+	const test = stripParenExpression(conditional.test);
+	if (!isNodeOfType(test, "BinaryExpression") || test.operator !== "===") return null;
+	const testOperands = [test.left, test.right].map((operand) => stripParenExpression(operand));
+	const typeofOperand = testOperands.find((operand) => isNodeOfType(operand, "UnaryExpression"));
+	const stringOperand = testOperands.find((operand) => isNodeOfType(operand, "Literal"));
+	if (!typeofOperand || !isNodeOfType(typeofOperand, "UnaryExpression") || typeofOperand.operator !== "typeof" || receiverPathKey(typeofOperand.argument) !== `${rootIdentifier.name}.className` || !stringOperand || !isNodeOfType(stringOperand, "Literal") || stringOperand.value !== "string") return null;
+	const alternate = stripParenExpression(conditional.alternate);
+	if (!isNodeOfType(alternate, "LogicalExpression") || alternate.operator !== "??") return null;
+	const fallback = stripParenExpression(alternate.right);
+	const attributeCall = stripParenExpression(alternate.left);
+	if (!isNodeOfType(fallback, "Literal") || fallback.value !== "" || !isNodeOfType(attributeCall, "CallExpression") || !isNodeOfType(attributeCall.callee, "MemberExpression") || getStaticPropertyName(attributeCall.callee) !== "getAttribute" || receiverPathKey(attributeCall.callee.object) !== rootIdentifier.name) return null;
+	const attributeName = attributeCall.arguments[0] ? stripParenExpression(attributeCall.arguments[0]) : null;
+	return attributeName && isNodeOfType(attributeName, "Literal") && attributeName.value === "class" ? rootIdentifier : null;
+};
 const isMatchProvenByFindUpUntilPredicate = (assertion, matchReceiver, assertedPattern, context) => {
 	const resultIdentifier = getRootIdentifier(matchReceiver);
 	const resultPath = receiverPathKey(matchReceiver);
@@ -74132,11 +75597,17 @@ const isMatchProvenByFindUpUntilPredicate = (assertion, matchReceiver, assertedP
 	if (!isDirectFinderMatchReturn(assertion) && !isOptionalResultPath) return false;
 	const resultSymbol = context.scopes.symbolFor(resultIdentifier);
 	const initializer = resultSymbol?.initializer ? stripParenExpression(resultSymbol.initializer) : null;
-	if (resultSymbol?.kind !== "const" || !initializer || !isNodeOfType(initializer, "CallExpression")) return false;
+	if (resultSymbol?.kind !== "const" || !initializer) return false;
+	const finderCall = isNodeOfType(initializer, "CallExpression") ? initializer : isNodeOfType(initializer, "ConditionalExpression") ? (() => {
+		const alternate = stripParenExpression(initializer.alternate);
+		const consequent = stripParenExpression(initializer.consequent);
+		return (isNodeOfType(alternate, "Literal") && alternate.value === null || isNodeOfType(alternate, "Identifier") && alternate.name === "undefined" && context.scopes.isGlobalReference(alternate)) && isNodeOfType(consequent, "CallExpression") ? consequent : null;
+	})() : null;
+	if (!finderCall || !isNodeOfType(finderCall, "CallExpression")) return false;
 	if (!isOptionalResultPath && !isImmediatelyGuardedFinderResult(assertion, resultSymbol, resultPath, context)) return false;
-	const finderCallee = stripParenExpression(initializer.callee);
+	const finderCallee = stripParenExpression(finderCall.callee);
 	if (!isNodeOfType(finderCallee, "Identifier") || !(context.scopes.symbolFor(finderCallee)?.kind === "import" && getImportedNameFromModule(assertion, finderCallee.name, CLOUDSCAPE_DOM_MODULE) === "findUpUntil" || finderCallee.name === "findUpUntil" && context.scopes.isGlobalReference(finderCallee))) return false;
-	const predicateArgument = initializer.arguments[1];
+	const predicateArgument = finderCall.arguments[1];
 	if (!predicateArgument) return false;
 	const predicateFunction = resolveExactLocalFunction(predicateArgument, context.scopes);
 	if (!predicateFunction || !isFunctionLike$1(predicateFunction)) return false;
@@ -74160,6 +75631,43 @@ const isMatchProvenByFindUpUntilPredicate = (assertion, matchReceiver, assertedP
 	});
 	return didProveMatch;
 };
+const isMatchProvenByNormalizedFindUpUntilPredicate = (assertion, matchReceiver, assertedPattern, context) => {
+	const normalizedReceiver = stripParenExpression(matchReceiver);
+	if (!isNodeOfType(normalizedReceiver, "Identifier")) return false;
+	const normalizedReceiverSymbol = context.scopes.symbolFor(normalizedReceiver);
+	const normalizedReceiverInitializer = normalizedReceiverSymbol?.initializer ? stripParenExpression(normalizedReceiverSymbol.initializer) : null;
+	const resultIdentifier = normalizedReceiverInitializer ? getNormalizedClassNameRoot(normalizedReceiverInitializer) : null;
+	if (normalizedReceiverSymbol?.kind !== "const" || normalizedReceiverSymbol.references.some((reference) => reference.flag !== "read") || !resultIdentifier) return false;
+	const resultSymbol = context.scopes.symbolFor(resultIdentifier);
+	const finderCall = resultSymbol?.initializer ? stripParenExpression(resultSymbol.initializer) : null;
+	if (resultSymbol?.kind !== "const" || resultSymbol.references.some((reference) => reference.flag !== "read") || !finderCall || !isNodeOfType(finderCall, "CallExpression")) return false;
+	const finderCallee = stripParenExpression(finderCall.callee);
+	if (!isNodeOfType(finderCallee, "Identifier") || context.scopes.symbolFor(finderCallee)?.kind !== "import" || getImportedNameFromModule(assertion, finderCallee.name, CLOUDSCAPE_DOM_MODULE) !== "findUpUntil") return false;
+	if (!isPresenceProvenBeforeNode(assertion, (test) => {
+		const expression = stripParenExpression(test);
+		return isNodeOfType(expression, "Identifier") && context.scopes.symbolFor(expression)?.id === resultSymbol.id;
+	})) return false;
+	const predicateArgument = finderCall.arguments[1];
+	const predicateFunction = predicateArgument ? resolveExactLocalFunction(predicateArgument, context.scopes) : null;
+	if (!predicateFunction || !isFunctionLike$1(predicateFunction) || predicateFunction.async || predicateFunction.generator) return false;
+	const predicateParameter = predicateFunction.params[0];
+	if (!isNodeOfType(predicateParameter, "Identifier")) return false;
+	let didProveNormalizedMatch = false;
+	walkAst(predicateFunction.body, (child) => {
+		if (didProveNormalizedMatch || isFunctionLike$1(child)) return false;
+		if (!isNodeOfType(child, "CallExpression") || !isNodeOfType(child.callee, "MemberExpression") || getStaticPropertyName(child.callee) !== "match" || !child.arguments[0] || !areRegexPatternsEquivalent(child.arguments[0], assertedPattern, context) || !doesPredicateTruthRequireMatch(child, predicateFunction) && !doesPredicateReturnNormalizedMatch(child, predicateFunction)) return;
+		const predicateReceiver = stripParenExpression(child.callee.object);
+		if (!isNodeOfType(predicateReceiver, "Identifier")) return;
+		const predicateReceiverSymbol = context.scopes.symbolFor(predicateReceiver);
+		const predicateReceiverInitializer = predicateReceiverSymbol?.initializer ? stripParenExpression(predicateReceiverSymbol.initializer) : null;
+		const predicateRoot = predicateReceiverInitializer ? getNormalizedClassNameRoot(predicateReceiverInitializer) : null;
+		if (predicateReceiverSymbol?.kind === "const" && predicateReceiverSymbol.references.every((reference) => reference.flag === "read") && predicateRoot?.name === predicateParameter.name) {
+			didProveNormalizedMatch = true;
+			return false;
+		}
+	});
+	return didProveNormalizedMatch;
+};
 const scopeProvesFindMatch = (assertion, findReceiver, findPredicate, context) => {
 	if (!isStablePredicate(findPredicate, context)) return false;
 	return isPresenceProvenBeforeNode(assertion, (test) => testPositivelyContainsCall(test, (call) => {
@@ -74260,6 +75768,123 @@ const isEnsureThenFind = (assertion, findReceiver, findPredicate) => {
 	}
 	return false;
 };
+const getReceiverRootIdentifier = (node) => {
+	let target = stripParenExpression(node);
+	while (isNodeOfType(target, "MemberExpression")) target = stripParenExpression(target.object);
+	return isNodeOfType(target, "Identifier") ? target : null;
+};
+const getReceiverStatePath = (node) => {
+	const target = stripParenExpression(node);
+	if (isNodeOfType(target, "Identifier")) return target.name;
+	if (!isNodeOfType(target, "MemberExpression")) return null;
+	const objectPath = getReceiverStatePath(target.object);
+	if (!objectPath) return null;
+	return `${objectPath}.${getStaticPropertyName(target) ?? "*"}`;
+};
+const doesReceiverStateChangeBeforeAssertion = (ownerFunction, receiver, startOffset, assertion, context) => {
+	const receiverRoot = getReceiverRootIdentifier(receiver);
+	const receiverSymbol = receiverRoot ? context.scopes.symbolFor(receiverRoot) : null;
+	const receiverPath = getReceiverStatePath(receiver);
+	if (!receiverRoot || !receiverSymbol || !receiverPath) return true;
+	const receiverAliasPaths = new Map([[receiverSymbol.id, receiverRoot.name]]);
+	let didAddAlias = true;
+	while (didAddAlias) {
+		didAddAlias = false;
+		walkAst(ownerFunction, (child) => {
+			if (child !== ownerFunction && isFunctionLike$1(child)) return false;
+			if (!isNodeOfType(child, "VariableDeclarator") || !isNodeOfType(child.id, "Identifier") || !child.init) return;
+			const initializer = stripParenExpression(child.init);
+			if (!isNodeOfType(initializer, "Identifier") && !isNodeOfType(initializer, "MemberExpression")) return;
+			const initializerRoot = getReceiverRootIdentifier(initializer);
+			const initializerSymbol = initializerRoot ? context.scopes.symbolFor(initializerRoot) : null;
+			const initializerBasePath = initializerSymbol ? receiverAliasPaths.get(initializerSymbol.id) : null;
+			const initializerPath = getReceiverStatePath(initializer);
+			if (!initializerRoot || !initializerBasePath || !initializerPath) return;
+			const aliasSymbol = context.scopes.symbolFor(child.id);
+			if (aliasSymbol && !receiverAliasPaths.has(aliasSymbol.id)) {
+				const initializerSuffix = initializerPath.slice(initializerRoot.name.length);
+				receiverAliasPaths.set(aliasSymbol.id, `${initializerBasePath}${initializerSuffix}`);
+				didAddAlias = true;
+			}
+		});
+	}
+	let didChangeReceiverState = false;
+	walkAst(ownerFunction, (child) => {
+		if (didChangeReceiverState) return false;
+		if (child !== ownerFunction && isFunctionLike$1(child)) return false;
+		if (child.range[0] <= startOffset || child.range[0] >= assertion.range[0]) return;
+		if (isNodeOfType(child, "CallExpression")) {
+			didChangeReceiverState = true;
+			return false;
+		}
+		const mutationTarget = isNodeOfType(child, "AssignmentExpression") || isNodeOfType(child, "UpdateExpression") || isNodeOfType(child, "UnaryExpression") && child.operator === "delete" ? stripParenExpression(isNodeOfType(child, "AssignmentExpression") ? child.left : child.argument) : null;
+		const mutationRoot = mutationTarget ? getReceiverRootIdentifier(mutationTarget) : null;
+		const mutationSymbol = mutationRoot ? context.scopes.symbolFor(mutationRoot) : null;
+		const mutationBasePath = mutationSymbol ? receiverAliasPaths.get(mutationSymbol.id) : null;
+		const mutationPath = mutationTarget ? getReceiverStatePath(mutationTarget) : null;
+		if (mutationRoot && mutationBasePath && mutationPath) {
+			const canonicalMutationPath = `${mutationBasePath}${mutationPath.slice(mutationRoot.name.length)}`;
+			if (canonicalMutationPath !== receiverPath && !canonicalMutationPath.startsWith(`${receiverPath}.`) && !receiverPath.startsWith(`${canonicalMutationPath}.`)) return;
+			didChangeReceiverState = true;
+			return false;
+		}
+	});
+	return didChangeReceiverState;
+};
+const isFindProvenByGuardedMaximum = (assertion, findReceiver, findPredicate, context) => {
+	const findLookup = findEqualityLookupParts(findPredicate);
+	const maximumIdentifier = findLookup ? stripParenExpression(findLookup.comparedValue) : null;
+	if (!findLookup || !maximumIdentifier || !isNodeOfType(maximumIdentifier, "Identifier")) return false;
+	const maximumSymbol = context.scopes.symbolFor(maximumIdentifier);
+	const maximumInitializer = maximumSymbol?.initializer ? stripParenExpression(maximumSymbol.initializer) : null;
+	if (maximumSymbol?.kind !== "const" || maximumSymbol.references.some((reference) => reference.flag !== "read") || !maximumInitializer || !isNodeOfType(maximumInitializer, "CallExpression") || !isNodeOfType(maximumInitializer.callee, "MemberExpression") || getStaticPropertyName(maximumInitializer.callee) !== "reduce") return false;
+	const filterCall = stripParenExpression(maximumInitializer.callee.object);
+	if (!isNodeOfType(filterCall, "CallExpression") || !isNodeOfType(filterCall.callee, "MemberExpression") || getStaticPropertyName(filterCall.callee) !== "filter" || !areNodesLooselyEqual(filterCall.callee.object, findReceiver)) return false;
+	const filterPredicate = filterCall.arguments[0] ? stripParenExpression(filterCall.arguments[0]) : null;
+	if (!filterPredicate || !isStablePredicate(filterPredicate, context)) return false;
+	const reducerArgument = maximumInitializer.arguments[0] ? stripParenExpression(maximumInitializer.arguments[0]) : null;
+	const reducerFunction = reducerArgument ? resolveExactLocalFunction(reducerArgument, context.scopes) : null;
+	const initialValue = maximumInitializer.arguments[1] ? stripParenExpression(maximumInitializer.arguments[1]) : null;
+	if (!reducerFunction || !isFunctionLike$1(reducerFunction) || reducerFunction.async || reducerFunction.generator || !initialValue || !isNodeOfType(initialValue, "Literal") || typeof initialValue.value !== "number") return false;
+	const accumulatorParameter = reducerFunction.params[0];
+	const itemParameter = reducerFunction.params[1];
+	const reducerBody = singleExpressionPredicateBody(reducerFunction);
+	if (!isNodeOfType(accumulatorParameter, "Identifier") || !isNodeOfType(itemParameter, "Identifier") || !reducerBody || !isNodeOfType(reducerBody, "CallExpression") || !isNodeOfType(reducerBody.callee, "MemberExpression") || getStaticPropertyName(reducerBody.callee) !== "max") return false;
+	const mathReceiver = stripParenExpression(reducerBody.callee.object);
+	if (!isNodeOfType(mathReceiver, "Identifier") || mathReceiver.name !== "Math" || !context.scopes.isGlobalReference(mathReceiver) || reducerBody.arguments.length !== 2) return false;
+	const accumulatorArgument = reducerBody.arguments.find((argument) => {
+		const expression = stripParenExpression(argument);
+		return isNodeOfType(expression, "Identifier") && expression.name === accumulatorParameter.name;
+	});
+	const itemMemberArgument = reducerBody.arguments.find((argument) => {
+		const expression = stripParenExpression(argument);
+		const rootIdentifier = getRootIdentifier(expression);
+		return isNodeOfType(expression, "MemberExpression") && rootIdentifier?.name === itemParameter.name && receiverPathKey(expression)?.slice(itemParameter.name.length + 1) === findLookup.propertyName;
+	});
+	if (!accumulatorArgument || !itemMemberArgument) return false;
+	if (!receiverPathKey(findReceiver)) return false;
+	let ownerFunction = assertion.parent ?? null;
+	while (ownerFunction && !isFunctionLike$1(ownerFunction)) ownerFunction = ownerFunction.parent ?? null;
+	if (!ownerFunction || !isFunctionLike$1(ownerFunction)) return false;
+	const maximumEnd = maximumInitializer.range[1];
+	if (doesReceiverStateChangeBeforeAssertion(ownerFunction.body, findReceiver, maximumEnd, assertion, context)) return false;
+	return isPresenceProvenBeforeNode(assertion, (test) => {
+		const comparison = stripParenExpression(test);
+		if (!isNodeOfType(comparison, "BinaryExpression")) return false;
+		return [[
+			comparison.left,
+			comparison.right,
+			comparison.operator
+		], [
+			comparison.right,
+			comparison.left,
+			comparison.operator === "<" ? ">" : comparison.operator === ">" ? "<" : comparison.operator
+		]].some(([candidateMaximum, candidateInitial, operator]) => {
+			const candidateMaximumIdentifier = stripParenExpression(candidateMaximum);
+			return operator === ">" && isNodeOfType(candidateMaximumIdentifier, "Identifier") && context.scopes.symbolFor(candidateMaximumIdentifier)?.id === maximumSymbol.id && areNodesLooselyEqual(stripParenExpression(candidateInitial), initialValue);
+		});
+	});
+};
 const isDefinitelyNonNullishMapValue = (value) => {
 	if (!value) return false;
 	const expression = stripParenExpression(value);
@@ -74283,15 +75908,15 @@ const unwrapFalseBooleanGuard = (test) => {
 };
 const isEnsureThenMapGet = (assertion, receiver, lookupKey, context) => {
 	const stableLookupKey = stripParenExpression(lookupKey);
-	if (!isNodeOfType(stableLookupKey, "Identifier") && !isNodeOfType(stableLookupKey, "Literal")) return false;
+	const lookupKeyRoot = isNodeOfType(stableLookupKey, "MemberExpression") ? getRootIdentifier(stableLookupKey) : null;
+	const lookupKeySymbol = isNodeOfType(stableLookupKey, "Identifier") ? context.scopes.symbolFor(stableLookupKey) : lookupKeyRoot ? context.scopes.symbolFor(lookupKeyRoot) : null;
+	if (!isNodeOfType(stableLookupKey, "Identifier") && !isNodeOfType(stableLookupKey, "Literal") && (!isNodeOfType(stableLookupKey, "MemberExpression") || !lookupKeyRoot || lookupKeySymbol?.kind !== "const")) return false;
 	const receiverSymbol = context.scopes.symbolFor(receiver);
 	if (!receiverSymbol) return false;
 	const receiverMatches = (candidate) => {
 		const target = stripParenExpression(candidate);
 		return isNodeOfType(target, "Identifier") && context.scopes.symbolFor(target)?.id === receiverSymbol.id;
 	};
-	const lookupKeyExpression = stripParenExpression(lookupKey);
-	const lookupKeySymbol = isNodeOfType(lookupKeyExpression, "Identifier") ? context.scopes.symbolFor(lookupKeyExpression) : null;
 	let child = assertion;
 	let ancestor = assertion.parent ?? null;
 	while (ancestor && !isFunctionLike$1(ancestor)) {
@@ -74311,7 +75936,7 @@ const isEnsureThenMapGet = (assertion, receiver, lookupKey, context) => {
 				const populationCall = populationCalls[0];
 				if (!populationCall) continue;
 				const populationCallStart = populationCall.range[0];
-				if (Boolean(lookupKeySymbol?.references.some((reference) => reference.flag !== "read" && reference.identifier.range[0] > populationCallStart && reference.identifier.range[0] < assertion.range[0]))) continue;
+				if (Boolean(lookupKeySymbol?.references.some((reference) => reference.flag !== "read" && reference.identifier.range[0] > populationCallStart && reference.identifier.range[0] < assertion.range[0])) || Boolean(lookupKeySymbol && isNodeOfType(stableLookupKey, "MemberExpression") && subtreeWritesSymbol(ancestor, new Set([lookupKeySymbol.id]), context, void 0, assertion))) continue;
 				if (receiverSymbol.references.some((reference) => reference.flag !== "read" && reference.identifier.range[0] > populationCallStart && reference.identifier.range[0] < assertion.range[0])) continue;
 				if (!indexedRelevantCalls(ancestor).some((laterCall) => {
 					if (laterCall.range[0] <= populationCallStart || laterCall.range[0] >= assertion.range[0] || !isNodeOfType(laterCall.callee, "MemberExpression") || !receiverMatches(laterCall.callee.object)) return false;
@@ -74421,6 +76046,7 @@ const noNonNullAssertionOnMaybeUndefinedResult = defineRule({
 				const findReceiver = callee.object;
 				if (predicate && isExhaustiveLiteralTupleMapping(findReceiver, predicate, context)) return;
 				if (predicate && scopeProvesFindMatch(node, findReceiver, predicate, context)) return;
+				if (predicate && isFindProvenByGuardedMaximum(node, findReceiver, predicate, context)) return;
 				if (predicate && isEnsureThenFind(node, findReceiver, predicate)) return;
 			}
 			if (methodName === "match") {
@@ -74430,6 +76056,7 @@ const noNonNullAssertionOnMaybeUndefinedResult = defineRule({
 				const regexKey = pattern ? regexComparableKey(pattern, context) : null;
 				if (pattern && isGuardedAnchoredCharacterMatch(node, matchReceiver, pattern)) return;
 				if (pattern && regexKey && isMatchProvenByFindUpUntilPredicate(node, matchReceiver, pattern, context)) return;
+				if (pattern && regexKey && isMatchProvenByNormalizedFindUpUntilPredicate(node, matchReceiver, pattern, context)) return;
 				if (regexKey && scopeProvesMatchTested(node, regexKey, matchReceiver, context)) return;
 			}
 			if (methodName === "get") {
@@ -78368,16 +79995,23 @@ const MAX_INITIATOR_RESOLUTION_DEPTH = 3;
 const STATE_DISPATCHER_HOOK_NAMES = new Set(["useState", "useReducer"]);
 const REF_HOOK_NAMES = new Set(["useRef"]);
 const MESSAGE$26 = "This promise chain runs in an effect, ends in a `.then` that sets state or mutates a ref, and has no `.catch` or enclosing try/catch, so a rejection leaves the state unset and surfaces as an unhandled rejection. Add a `.catch` handler on the chain (`.finally` does not count).";
-const isKnownNonThenableHandlerReturn = (expression, context, visitedBindingIdentifiers = /* @__PURE__ */ new Set()) => {
+const isKnownNonRejectingHandlerReturn = (expression, context, visitedBindingIdentifiers = /* @__PURE__ */ new Set()) => {
 	const strippedExpression = stripParenExpression(expression);
 	if (isDefinitelyNonThenableValue(strippedExpression)) return true;
+	if (isNodeOfType(strippedExpression, "CallExpression") && isNodeOfType(strippedExpression.callee, "MemberExpression")) {
+		const receiver = stripParenExpression(strippedExpression.callee.object);
+		if (isNodeOfType(receiver, "Identifier") && receiver.name === "Promise" && context.scopes.isGlobalReference(receiver) && getStaticPropertyName(strippedExpression.callee) === "resolve") {
+			const resolvedValue = strippedExpression.arguments[0];
+			return !resolvedValue || !isNodeOfType(resolvedValue, "SpreadElement") && isKnownNonRejectingHandlerReturn(resolvedValue, context, visitedBindingIdentifiers);
+		}
+	}
 	if (!isNodeOfType(strippedExpression, "Identifier")) return false;
 	if (strippedExpression.name === "undefined" && context.scopes.isGlobalReference(strippedExpression)) return true;
 	const symbol = context.scopes.symbolFor(strippedExpression);
 	if (!symbol || visitedBindingIdentifiers.has(symbol.bindingIdentifier)) return false;
 	visitedBindingIdentifiers.add(symbol.bindingIdentifier);
 	const initializer = getDirectUnreassignedInitializer(symbol);
-	return Boolean(initializer && isKnownNonThenableHandlerReturn(initializer, context, visitedBindingIdentifiers));
+	return Boolean(initializer && isKnownNonRejectingHandlerReturn(initializer, context, visitedBindingIdentifiers));
 };
 const isKnownNonRejectingHandler = (argument, context) => {
 	if (!argument) return false;
@@ -78392,7 +80026,7 @@ const isKnownNonRejectingHandler = (argument, context) => {
 			canReject = true;
 			return false;
 		}
-		if (isNodeOfType(child, "ReturnStatement") && child.argument && !isKnownNonThenableHandlerReturn(child.argument, context)) {
+		if (isNodeOfType(child, "ReturnStatement") && child.argument && !isKnownNonRejectingHandlerReturn(child.argument, context)) {
 			if (!isNodeOfType(stripParenExpression(child.argument), "CallExpression")) {
 				canReject = true;
 				return false;
@@ -78441,6 +80075,28 @@ const handlerHasPotentiallyThrowingMemberRead = (argument, context) => {
 	});
 	return hasPotentiallyThrowingMemberRead;
 };
+const hasRejectionHandler = (chain, argument, context, allowTerminalCatchBlock) => {
+	if (!argument) return false;
+	if (!handlerHasPotentiallyThrowingMemberRead(argument, context) && (chainCarriesRejectionHandler(chain, context.scopes) || isKnownNonRejectingHandler(argument, context))) return true;
+	if (!allowTerminalCatchBlock) return false;
+	const candidate = stripParenExpression(argument);
+	const handler = isNodeOfType(candidate, "Identifier") ? resolveExactLocalFunction(candidate, context.scopes) : candidate;
+	if (!handler || !isFunctionLike$1(handler)) return isNodeOfType(candidate, "MemberExpression") || isNodeOfType(candidate, "Identifier") && candidate.name !== "undefined";
+	if (!isNodeOfType(handler.body, "BlockStatement")) return false;
+	let doesExplicitlyReject = false;
+	walkOwnFunctionScope(handler, (child) => {
+		if (doesExplicitlyReject) return false;
+		if (isNodeOfType(child, "ThrowStatement") || isNodeOfType(child, "AwaitExpression")) {
+			doesExplicitlyReject = true;
+			return false;
+		}
+		if (isNodeOfType(child, "ReturnStatement") && child.argument && !isKnownNonRejectingHandlerReturn(child.argument, context)) {
+			doesExplicitlyReject = true;
+			return false;
+		}
+	});
+	return !doesExplicitlyReject;
+};
 const walkPromiseChain = (chainExpression, context) => {
 	let cursor = stripParenExpression(chainExpression);
 	let hasCatch = false;
@@ -78452,10 +80108,9 @@ const walkPromiseChain = (chainExpression, context) => {
 	while (isNodeOfType(cursor, "CallExpression") && isNodeOfType(cursor.callee, "MemberExpression") && PROMISE_METHOD_NAMES.has(getStaticPropertyName(cursor.callee) ?? "")) {
 		const methodName = getStaticPropertyName(cursor.callee);
 		const rejectionHandlerArgument = methodName === "catch" ? cursor.arguments[0] : cursor.arguments[1];
-		const hasAbsorbingRejectionHandler = !handlerHasPotentiallyThrowingMemberRead(rejectionHandlerArgument, context) && (chainCarriesRejectionHandler(cursor, context.scopes) || isKnownNonRejectingHandler(rejectionHandlerArgument, context));
-		if (!didReachTerminalThen && methodName === "catch" && hasAbsorbingRejectionHandler) hasCatch = true;
+		if (!didReachTerminalThen && methodName === "catch" && hasRejectionHandler(cursor, rejectionHandlerArgument, context, true)) hasCatch = true;
 		if (methodName === "then") {
-			if (!didReachTerminalThen && hasAbsorbingRejectionHandler) hasRejectionHandlerArgument = true;
+			if (!didReachTerminalThen && hasRejectionHandler(cursor, rejectionHandlerArgument, context, false)) hasRejectionHandlerArgument = true;
 			didReachTerminalThen = true;
 			sawThen = true;
 			const callbackArgument = cursor.arguments[0];
@@ -80782,6 +82437,45 @@ const noRefCallbackCleanupBeforeReact19 = defineRule({
 	} })
 });
 //#endregion
+//#region src/plugin/utils/contains-non-deterministic-source.ts
+const NON_DETERMINISTIC_MEMBER_CALLS = new Set([
+	"Math.random",
+	"Date.now",
+	"performance.now",
+	"crypto.randomUUID",
+	"crypto.getRandomValues"
+]);
+const NON_DETERMINISTIC_ID_GENERATOR_NAMES = new Set([
+	"nanoid",
+	"uuid",
+	"cuid",
+	"ulid",
+	"createId"
+]);
+const isZeroArgDateConstruction = (node) => isNodeOfType(node, "NewExpression") && isNodeOfType(node.callee, "Identifier") && node.callee.name === "Date" && (node.arguments?.length ?? 0) === 0;
+const containsNonDeterministicSource = (root) => {
+	let found = false;
+	walkAst(root, (child) => {
+		if (found) return false;
+		if (isFunctionLike$1(child)) return false;
+		if (isZeroArgDateConstruction(child)) {
+			found = true;
+			return false;
+		}
+		if (!isNodeOfType(child, "CallExpression")) return;
+		const callee = child.callee;
+		if (isNodeOfType(callee, "Identifier") && NON_DETERMINISTIC_ID_GENERATOR_NAMES.has(callee.name)) {
+			found = true;
+			return false;
+		}
+		if (isNodeOfType(callee, "MemberExpression") && isNodeOfType(callee.object, "Identifier") && isNodeOfType(callee.property, "Identifier") && NON_DETERMINISTIC_MEMBER_CALLS.has(`${callee.object.name}.${callee.property.name}`)) {
+			found = true;
+			return false;
+		}
+	});
+	return found;
+};
+//#endregion
 //#region src/plugin/rules/state-and-effects/no-ref-current-in-render.ts
 const REPEATED_ANCESTOR_TYPES = new Set([
 	"DoWhileStatement",
@@ -80812,45 +82506,75 @@ const resolveImmutableInitializationValue = (node, scopes, visitedSymbolIds = /*
 };
 const isProvablyTruthyInitializationValue = (node, scopes) => {
 	const expression = resolveImmutableInitializationValue(node, scopes);
-	return Boolean(expression && (isNodeOfType(expression, "NewExpression") || isNodeOfType(expression, "ObjectExpression") || isNodeOfType(expression, "ArrayExpression") || isNodeOfType(expression, "ArrowFunctionExpression") || isNodeOfType(expression, "FunctionExpression") || isNodeOfType(expression, "ClassExpression")));
+	if (!expression) return false;
+	if (isNodeOfType(expression, "CallExpression")) {
+		const callee = stripParenExpression(expression.callee);
+		return isNodeOfType(callee, "Identifier") && callee.name.startsWith("create");
+	}
+	return isNodeOfType(expression, "NewExpression") || isNodeOfType(expression, "ObjectExpression") || isNodeOfType(expression, "ArrayExpression") || isNodeOfType(expression, "ArrowFunctionExpression") || isNodeOfType(expression, "FunctionExpression") || isNodeOfType(expression, "ClassExpression");
 };
-const getInitializationConstructorName = (node, scopes) => {
+const getInitializationValueName = (node, scopes) => {
 	const expression = resolveImmutableInitializationValue(node, scopes);
 	if (!expression) return null;
-	if (isNodeOfType(expression, "NewExpression")) {
+	if (isNodeOfType(expression, "NewExpression") || isNodeOfType(expression, "CallExpression")) {
 		const callee = stripParenExpression(expression.callee);
-		return isNodeOfType(callee, "Identifier") ? callee.name : null;
+		if (!isNodeOfType(callee, "Identifier")) return null;
+		return callee.name.startsWith("create") && callee.name.length > 6 ? callee.name.slice(6) : callee.name;
 	}
 	return null;
 };
+const isMatchingReturnType = (typeNode, initializationValue, scopes) => {
+	if (!isNodeOfType(typeNode, "TSTypeReference")) return false;
+	const typeName = typeNode.typeName;
+	if (!isNodeOfType(typeName, "Identifier") || typeName.name !== "ReturnType") return false;
+	const [returnTypeArgument] = typeNode.typeArguments?.params ?? [];
+	if (!returnTypeArgument || !isNodeOfType(returnTypeArgument, "TSTypeQuery")) return false;
+	const queriedName = returnTypeArgument.exprName;
+	const expression = stripParenExpression(initializationValue);
+	if (!isNodeOfType(queriedName, "Identifier") || !isNodeOfType(expression, "CallExpression")) return false;
+	const callee = stripParenExpression(expression.callee);
+	if (!isNodeOfType(callee, "Identifier")) return false;
+	const queriedSymbol = scopes.symbolFor(queriedName);
+	const calleeSymbol = scopes.symbolFor(callee);
+	return queriedSymbol && calleeSymbol ? queriedSymbol.id === calleeSymbol.id : queriedName.name === callee.name;
+};
 const isClosedTruthyTypeDomain = (typeNode, initializationValue, scopes) => {
 	const initializationExpression = stripParenExpression(initializationValue);
 	if (isNodeOfType(typeNode, "TSTypeLiteral")) return isNodeOfType(initializationExpression, "ObjectExpression");
 	if (isNodeOfType(typeNode, "TSArrayType") || isNodeOfType(typeNode, "TSTupleType")) return isNodeOfType(initializationExpression, "ArrayExpression");
 	if (isNodeOfType(typeNode, "TSFunctionType") || isNodeOfType(typeNode, "TSConstructorType")) return isNodeOfType(initializationExpression, "ArrowFunctionExpression") || isNodeOfType(initializationExpression, "FunctionExpression") || isNodeOfType(initializationExpression, "ClassExpression");
 	if (isNodeOfType(typeNode, "TSObjectKeyword")) return true;
+	if (isNodeOfType(typeNode, "TSIndexedAccessType")) return isNodeOfType(initializationExpression, "ObjectExpression");
 	if (!isNodeOfType(typeNode, "TSTypeReference")) return false;
 	const typeName = typeNode.typeName;
-	return isNodeOfType(typeName, "Identifier") && typeName.name === getInitializationConstructorName(initializationExpression, scopes);
+	if (isNodeOfType(initializationExpression, "ObjectExpression") || isMatchingReturnType(typeNode, initializationExpression, scopes)) return true;
+	return isNodeOfType(typeName, "Identifier") && typeName.name === getInitializationValueName(initializationExpression, scopes);
 };
 const refHasClosedFalsySentinelDomain = (refSymbol, initializationValue, scopes) => {
 	const initializer = refSymbol.initializer ? stripParenExpression(refSymbol.initializer) : null;
 	if (!initializer || !isNodeOfType(initializer, "CallExpression")) return false;
 	const [initialValue] = initializer.arguments ?? [];
-	if (!initialValue || isNodeOfType(initialValue, "SpreadElement") || !isEmptySentinel(initialValue, scopes)) return false;
+	if (initialValue && isNodeOfType(initialValue, "SpreadElement") || initialValue && !isEmptySentinel(initialValue, scopes)) return false;
 	const [declaredType] = initializer.typeArguments?.params ?? [];
-	if (!declaredType || !isNodeOfType(declaredType, "TSUnionType")) return false;
-	let hasEmptySentinel = false;
+	if (!declaredType) return false;
+	const domainTypes = isNodeOfType(declaredType, "TSUnionType") ? declaredType.types : [declaredType];
 	let hasTruthyDomain = false;
-	for (const memberType of declaredType.types ?? []) {
-		if (isNodeOfType(memberType, "TSNullKeyword") || isNodeOfType(memberType, "TSUndefinedKeyword")) {
-			hasEmptySentinel = true;
-			continue;
-		}
+	for (const memberType of domainTypes) {
+		if (isNodeOfType(memberType, "TSNullKeyword") || isNodeOfType(memberType, "TSUndefinedKeyword")) continue;
 		if (!isClosedTruthyTypeDomain(memberType, initializationValue, scopes)) return false;
 		hasTruthyDomain = true;
 	}
-	return hasEmptySentinel && hasTruthyDomain;
+	return hasTruthyDomain;
+};
+const refHasEmptySentinelInitializer = (refSymbol, scopes) => {
+	const initializer = refSymbol.initializer ? stripParenExpression(refSymbol.initializer) : null;
+	if (!initializer || !isNodeOfType(initializer, "CallExpression")) return false;
+	const [initialValue] = initializer.arguments ?? [];
+	return Boolean(!initialValue || !isNodeOfType(initialValue, "SpreadElement") && isEmptySentinel(initialValue, scopes));
+};
+const refHasDeclaredType = (refSymbol) => {
+	const initializer = refSymbol.initializer ? stripParenExpression(refSymbol.initializer) : null;
+	return Boolean(initializer && isNodeOfType(initializer, "CallExpression") && (initializer.typeArguments?.params.length ?? 0) > 0);
 };
 const isSafeRefIdentifierUse = (identifier) => {
 	const expressionRoot = findTransparentExpressionRoot(identifier);
@@ -80882,25 +82606,40 @@ const expressionContainsRefCurrent = (expression, refSymbol, scopes) => {
 	});
 	return didFindRefCurrent;
 };
-const hasNoCompetingRefCurrentWrite = (branchRoot, assignmentExpression, refSymbol, scopes) => {
-	let writeCount = 0;
-	walkAst(branchRoot, (child) => {
-		if (writeCount > 1) return false;
-		if (isNodeOfType(child, "AssignmentExpression")) {
-			if (expressionContainsRefCurrent(child.left, refSymbol, scopes)) writeCount++;
-			return;
+const isEmptySentinel = (node, scopes) => {
+	const expression = stripParenExpression(node);
+	return isNodeOfType(expression, "Literal") && expression.value === null || isNodeOfType(expression, "Identifier") && expression.name === "undefined" && scopes.isGlobalReference(expression);
+};
+const isInitializationInputIndependent = (node, renderOwner, scopes, visitedSymbolIds = /* @__PURE__ */ new Set()) => {
+	let isInputIndependent = true;
+	walkAst(node, (child) => {
+		if (!isInputIndependent) return false;
+		if (resolveReactRefSymbol(child, scopes)) return false;
+		if (!isNodeOfType(child, "Identifier")) return;
+		const symbol = scopes.symbolFor(child);
+		if (!symbol) return;
+		if (symbol.kind === "import") return false;
+		if (symbol.kind === "let" || symbol.kind === "var" || symbol.kind === "using") {
+			isInputIndependent = false;
+			return false;
 		}
-		if (isNodeOfType(child, "UpdateExpression") || isNodeOfType(child, "UnaryExpression") && child.operator === "delete") {
-			if (expressionContainsRefCurrent(child.argument, refSymbol, scopes)) writeCount++;
-			return;
+		if (isOutsideAllFunctions(symbol)) return false;
+		if (symbol.kind === "parameter") {
+			if (symbol.scope.node === renderOwner) isInputIndependent = false;
+			return false;
 		}
-		if (isNodeOfType(child, "ForInStatement") || isNodeOfType(child, "ForOfStatement")) {
-			if (expressionContainsRefCurrent(child.left, refSymbol, scopes)) writeCount++;
+		if (!symbol.initializer || symbol.references.some((reference) => reference.flag !== "read")) {
+			isInputIndependent = false;
+			return false;
 		}
+		if (visitedSymbolIds.has(symbol.id)) return false;
+		visitedSymbolIds.add(symbol.id);
+		if (!isInitializationInputIndependent(symbol.initializer, renderOwner, scopes, visitedSymbolIds)) isInputIndependent = false;
+		return false;
 	});
-	return writeCount === 1 && expressionContainsRefCurrent(assignmentExpression.left, refSymbol, scopes);
+	return isInputIndependent;
 };
-const isEmptySentinel = (node, scopes) => isNodeOfType(node, "Literal") && node.value === null || isNodeOfType(node, "Identifier") && node.name === "undefined" && scopes.isGlobalReference(node);
+const isPredictableInitializationValue = (node, refSymbol, renderOwner, scopes, requiresClosedTruthyDomain) => isInitializationInputIndependent(node, renderOwner, scopes) && !containsNonDeterministicSource(node) && (isProvablyTruthyInitializationValue(node, scopes) && (!requiresClosedTruthyDomain || !refHasDeclaredType(refSymbol)) || refHasClosedFalsySentinelDomain(refSymbol, node, scopes));
 const hasRepeatedExecutionAncestor = (node, stop) => {
 	let ancestor = node.parent;
 	while (ancestor && ancestor !== stop) {
@@ -80930,6 +82669,27 @@ const canExecuteTogether = (firstConstraints, secondConstraints) => {
 	}
 	return true;
 };
+const hasNoCoExecutableCompetingWrite = (assignmentExpression, renderOwner, refSymbol, scopes) => {
+	const assignmentConstraints = getBranchConstraints(assignmentExpression, renderOwner);
+	const synchronouslyInvokedFunctions = collectSynchronouslyEffectInvokedFunctions(renderOwner, scopes);
+	let hasCompetingWrite = false;
+	walkAst(renderOwner, (child) => {
+		if (hasCompetingWrite) return false;
+		let writtenExpression = null;
+		if (isNodeOfType(child, "AssignmentExpression")) {
+			if (child === assignmentExpression) return;
+			writtenExpression = child.left;
+		} else if (isNodeOfType(child, "UpdateExpression") || isNodeOfType(child, "UnaryExpression") && child.operator === "delete") writtenExpression = child.argument;
+		else if (isNodeOfType(child, "ForInStatement") || isNodeOfType(child, "ForOfStatement")) writtenExpression = child.left;
+		const deferredExecutionBoundary = findDeferredExecutionBoundary(child);
+		const deferredWriteValue = isNodeOfType(child, "AssignmentExpression") && child.operator === "=" ? resolveImmutableInitializationValue(child.right, scopes) : null;
+		const isDeferredTruthyWrite = deferredExecutionBoundary !== null && deferredExecutionBoundary !== renderOwner && !synchronouslyInvokedFunctions.has(deferredExecutionBoundary) && !executesDuringRender(deferredExecutionBoundary, scopes) && deferredWriteValue !== null && !isNodeOfType(deferredWriteValue, "CallExpression") && isProvablyTruthyInitializationValue(deferredWriteValue, scopes);
+		if (!writtenExpression || isDeferredTruthyWrite || !expressionContainsRefCurrent(writtenExpression, refSymbol, scopes) || !canExecuteTogether(assignmentConstraints, getBranchConstraints(child, renderOwner))) return;
+		hasCompetingWrite = true;
+		return false;
+	});
+	return !hasCompetingWrite;
+};
 const hasNoPriorCoExecutableWrite = (assignmentExpression, branchRoot, refSymbol, scopes) => {
 	const assignmentConstraints = getBranchConstraints(assignmentExpression, branchRoot);
 	const assignmentStart = getRangeStart(assignmentExpression);
@@ -80945,16 +82705,17 @@ const hasNoPriorCoExecutableWrite = (assignmentExpression, branchRoot, refSymbol
 	});
 	return !hasCoExecutableWrite;
 };
+const isPredictableGuardedInitialization = (assignmentExpression, guardedBranch, renderOwner, refSymbol, scopes, requiresClosedTruthyDomain) => refHasEmptySentinelInitializer(refSymbol, scopes) && isPredictableInitializationValue(assignmentExpression.right, refSymbol, renderOwner, scopes, requiresClosedTruthyDomain) && !hasRepeatedExecutionAncestor(assignmentExpression, guardedBranch) && (guardedBranch === renderOwner || !hasRepeatedExecutionAncestor(guardedBranch, renderOwner)) && hasNoPriorCoExecutableWrite(assignmentExpression, renderOwner, refSymbol, scopes) && hasNoCoExecutableCompetingWrite(assignmentExpression, renderOwner, refSymbol, scopes) && refDoesNotEscape(renderOwner, refSymbol, scopes);
 const isDocumentedLazyInitialization = (assignmentExpression, refSymbol, scopes) => {
-	if (assignmentExpression.operator === "??=" || assignmentExpression.operator === "||=") return true;
-	if (assignmentExpression.operator !== "=") return false;
 	const renderOwner = findRenderPhaseComponentOrHook(assignmentExpression, scopes);
 	if (!renderOwner) return false;
+	if (assignmentExpression.operator === "??=" || assignmentExpression.operator === "||=") return isPredictableGuardedInitialization(assignmentExpression, renderOwner, renderOwner, refSymbol, scopes, assignmentExpression.operator === "||=");
+	if (assignmentExpression.operator !== "=") return false;
 	let descendant = assignmentExpression;
 	let ancestor = descendant.parent;
 	while (ancestor) {
 		const test = isNodeOfType(ancestor, "IfStatement") ? stripParenExpression(ancestor.test) : null;
-		if (isNodeOfType(ancestor, "IfStatement") && test && isNodeOfType(test, "UnaryExpression") && test.operator === "!" && isSameRefCurrentAlias(test.argument, refSymbol, scopes) && ancestor.consequent === descendant && isProvablyTruthyInitializationValue(assignmentExpression.right, scopes) && refHasClosedFalsySentinelDomain(refSymbol, assignmentExpression.right, scopes) && !hasRepeatedExecutionAncestor(assignmentExpression, ancestor.consequent) && !hasRepeatedExecutionAncestor(ancestor, renderOwner) && hasNoPriorCoExecutableWrite(assignmentExpression, ancestor.consequent, refSymbol, scopes) && hasNoCompetingRefCurrentWrite(renderOwner, assignmentExpression, refSymbol, scopes) && refDoesNotEscape(renderOwner, refSymbol, scopes)) return true;
+		if (isNodeOfType(ancestor, "IfStatement") && test && isNodeOfType(test, "UnaryExpression") && test.operator === "!" && isSameRefCurrentAlias(test.argument, refSymbol, scopes) && ancestor.consequent === descendant && isPredictableGuardedInitialization(assignmentExpression, ancestor.consequent, renderOwner, refSymbol, scopes, true)) return true;
 		if (isNodeOfType(ancestor, "IfStatement") && isNodeOfType(test, "BinaryExpression") && [
 			"===",
 			"==",
@@ -80964,7 +82725,7 @@ const isDocumentedLazyInitialization = (assignmentExpression, refSymbol, scopes)
 			const { left, right } = test;
 			const comparesEmptySentinel = isSameRefCurrentAlias(left, refSymbol, scopes) && isEmptySentinel(right, scopes) || isSameRefCurrentAlias(right, refSymbol, scopes) && isEmptySentinel(left, scopes);
 			const guardedBranch = test.operator === "===" || test.operator === "==" ? ancestor.consequent : ancestor.alternate;
-			if (comparesEmptySentinel && guardedBranch === descendant && guardedBranch && !hasRepeatedExecutionAncestor(assignmentExpression, guardedBranch) && hasNoPriorCoExecutableWrite(assignmentExpression, guardedBranch, refSymbol, scopes)) return true;
+			if (comparesEmptySentinel && guardedBranch === descendant && guardedBranch && isPredictableGuardedInitialization(assignmentExpression, guardedBranch, renderOwner, refSymbol, scopes, false)) return true;
 		}
 		descendant = ancestor;
 		ancestor = descendant.parent;
@@ -108771,9 +110532,6 @@ const rerenderFunctionalSetstate = defineRule({
 	} })
 });
 //#endregion
-//#region src/plugin/utils/is-trivial-built-in-construction.ts
-const isTrivialBuiltInConstruction = (expression) => isNodeOfType(expression, "NewExpression") && isNodeOfType(expression.callee, "Identifier") && TRIVIAL_CONSTRUCTOR_NAMES.has(expression.callee.name) && (expression.arguments ?? []).length === 0;
-//#endregion
 //#region src/plugin/rules/state-and-effects/rerender-lazy-ref-init.ts
 const rerenderLazyRefInit = defineRule({
 	id: "rerender-lazy-ref-init",
@@ -108792,7 +110550,6 @@ const rerenderLazyRefInit = defineRule({
 		const memberPropertyName = isNodeOfType(callee, "MemberExpression") && (isNodeOfType(callee.property, "Identifier") || isNodeOfType(callee.property, "PrivateIdentifier")) ? callee.property.name : null;
 		const calleeName = isNodeOfType(callee, "Identifier") ? callee.name : memberPropertyName ?? "fn";
 		if (TRIVIAL_INITIALIZER_NAMES.has(calleeName)) return;
-		if (isTrivialBuiltInConstruction(initializer)) return;
 		if (isPlainCall && isReactHookName(calleeName)) return;
 		const callShape = isNewCall ? `new ${calleeName}()` : `${calleeName}()`;
 		context.report({