oxlint-plugin-react-doctor 0.7.9-dev.61111f1 → 0.7.9-dev.6325f9c

package/dist/index.d.ts

@@ -18820,8 +18820,8 @@ type CrossFileDependencyCollector = (input: CrossFileDependencyCollectorInput) =
 declare const CROSS_FILE_DEPENDENCY_COLLECTORS: ReadonlyMap<string, CrossFileDependencyCollector>;
 /**
  * Cross-file rules whose dependency set CANNOT be soundly bounded — they are
- * excluded from fingerprinting and re-lint every file on every scan. Empty
- * today; a new cross-file rule must be added either here or to
+ * excluded from fingerprinting and re-lint every file on every scan. A new
+ * cross-file rule must be added either here or to
  * `CROSS_FILE_DEPENDENCY_COLLECTORS` (the core guard test enforces the
  * partition), forcing a conscious classification.
  */

package/dist/index.js

@@ -1819,8 +1819,70 @@ const flattenJsxName$1 = (node) => {
 	return null;
 };
 //#endregion
-//#region src/plugin/utils/is-member-property.ts
-const isMemberProperty = (node, propertyName) => Boolean(node && isNodeOfType(node, "MemberExpression") && isNodeOfType(node.property, "Identifier") && node.property.name === propertyName);
+//#region src/plugin/utils/get-static-property-name.ts
+const getStaticPropertyName = (memberExpression) => {
+	const property = memberExpression.property;
+	if (!memberExpression.computed && isNodeOfType(property, "Identifier")) return property.name;
+	if (memberExpression.computed && isNodeOfType(property, "Literal")) return typeof property.value === "string" ? property.value : null;
+	if (memberExpression.computed && isNodeOfType(property, "TemplateLiteral") && property.expressions.length === 0) return property.quasis[0]?.value.cooked ?? property.quasis[0]?.value.raw ?? null;
+	return null;
+};
+//#endregion
+//#region src/plugin/utils/is-generated-image-renderer-call.ts
+const GENERATED_IMAGE_RENDERER_MODULES = [
+	"next/og",
+	"@vercel/og",
+	"satori"
+];
+const IMAGE_RESPONSE_MODULES = new Set(["next/og", "@vercel/og"]);
+const getImportDeclaration$1 = (node) => {
+	let current = node.parent;
+	while (current) {
+		if (isNodeOfType(current, "ImportDeclaration")) return current;
+		if (isNodeOfType(current, "Program")) return null;
+		current = current.parent;
+	}
+	return null;
+};
+const getImportSource = (declaration) => typeof declaration.source.value === "string" ? declaration.source.value : null;
+const isNamedImport = (symbol, importedName, moduleSources) => {
+	if (symbol.kind !== "import") return false;
+	const declaration = symbol.declarationNode;
+	if (!isNodeOfType(declaration, "ImportSpecifier")) return false;
+	const importDeclaration = getImportDeclaration$1(declaration);
+	const source = importDeclaration ? getImportSource(importDeclaration) : null;
+	if (!source || !moduleSources.has(source)) return false;
+	const imported = declaration.imported;
+	return isNodeOfType(imported, "Identifier") && imported.name === importedName || isNodeOfType(imported, "Literal") && imported.value === importedName;
+};
+const isSatoriImport = (symbol) => {
+	if (symbol.kind !== "import") return false;
+	const declaration = symbol.declarationNode;
+	const importDeclaration = getImportDeclaration$1(declaration);
+	if (!importDeclaration || getImportSource(importDeclaration) !== "satori") return false;
+	if (isNodeOfType(declaration, "ImportDefaultSpecifier")) return true;
+	if (!isNodeOfType(declaration, "ImportSpecifier")) return false;
+	const imported = declaration.imported;
+	return isNodeOfType(imported, "Identifier") && imported.name === "satori" || isNodeOfType(imported, "Literal") && imported.value === "satori";
+};
+const isGeneratedImageRendererCall = (node, scopes) => {
+	if (!isNodeOfType(node, "CallExpression") && !isNodeOfType(node, "NewExpression")) return false;
+	const callee = stripParenExpression(node.callee);
+	if (isNodeOfType(callee, "Identifier")) {
+		const symbol = scopes.referenceFor(callee)?.resolvedSymbol ?? null;
+		return Boolean(symbol && (isNamedImport(symbol, "ImageResponse", IMAGE_RESPONSE_MODULES) || isSatoriImport(symbol)));
+	}
+	if (!isNodeOfType(callee, "MemberExpression")) return false;
+	if (getStaticPropertyName(callee) !== "ImageResponse") return false;
+	if (!isNodeOfType(callee.object, "Identifier")) return false;
+	const symbol = scopes.referenceFor(callee.object)?.resolvedSymbol ?? null;
+	if (!symbol || symbol.kind !== "import") return false;
+	const declaration = symbol.declarationNode;
+	if (!isNodeOfType(declaration, "ImportNamespaceSpecifier")) return false;
+	const importDeclaration = getImportDeclaration$1(declaration);
+	const source = importDeclaration ? getImportSource(importDeclaration) : null;
+	return Boolean(source && IMAGE_RESPONSE_MODULES.has(source));
+};
 //#endregion
 //#region src/plugin/constants/nextjs.ts
 const NEXTJS_SOURCE_FILE_EXTENSION_GROUP = "(?:tsx?|jsx?|mts|mjs)";
@@ -1892,42 +1954,22 @@ const isNextjsMetadataImageRouteFilename = (rawFilename) => {
 const normalizeFilename = (filename) => filename.includes("\\") ? filename.replaceAll("\\", "/") : filename;
 //#endregion
 //#region src/plugin/utils/is-generated-image-render-context.ts
-const IMAGE_RESPONSE_MODULES = ["next/og", "@vercel/og"];
-const SATORI_MODULE = "satori";
-const GENERATED_IMAGE_MODULES = [...IMAGE_RESPONSE_MODULES, SATORI_MODULE];
 const generatedImageJsxCache = /* @__PURE__ */ new WeakMap();
 const isGeneratedImageRenderFilename = (rawFilename) => {
 	if (!rawFilename) return false;
 	return isNextjsMetadataImageRouteFilename(normalizeFilename(rawFilename));
 };
-const isImageResponseCallee = (contextNode, callee) => {
-	if (isNodeOfType(callee, "Identifier")) return IMAGE_RESPONSE_MODULES.some((moduleSource) => getImportedNameFromModule(contextNode, callee.name, moduleSource) === "ImageResponse");
-	if (!isMemberProperty(callee, "ImageResponse")) return false;
-	if (!isNodeOfType(callee.object, "Identifier")) return false;
-	const namespaceIdentifierName = callee.object.name;
-	return IMAGE_RESPONSE_MODULES.some((moduleSource) => isNamespaceImportFromModule(contextNode, namespaceIdentifierName, moduleSource));
-};
-const isSatoriCallee = (contextNode, callee) => {
-	if (!isNodeOfType(callee, "Identifier")) return false;
-	if (getImportedNameFromModule(contextNode, callee.name, SATORI_MODULE) === "satori") return true;
-	return isDefaultImportFromModule(contextNode, callee.name, SATORI_MODULE);
-};
-const isGeneratedImageRendererCall = (node) => {
-	if (!isNodeOfType(node, "CallExpression") && !isNodeOfType(node, "NewExpression")) return false;
-	if (!isNodeOfType(node.callee, "Identifier") && !isNodeOfType(node.callee, "MemberExpression")) return false;
-	return isImageResponseCallee(node, node.callee) || isSatoriCallee(node, node.callee);
-};
 const isComponentIdentifierName = (name) => {
 	const firstCharacter = name[0];
 	return Boolean(firstCharacter && firstCharacter === firstCharacter.toUpperCase());
 };
 const isFunctionLike = (node) => Boolean(node && (isNodeOfType(node, "FunctionDeclaration") || isNodeOfType(node, "FunctionExpression") || isNodeOfType(node, "ArrowFunctionExpression")));
-const markFunctionReturnJsx = (functionNode, programRoot, generatedImageJsxNodes, visitedComponentNames) => {
+const markFunctionReturnJsx = (functionNode, programRoot, scopes, generatedImageJsxNodes, visitedComponentNames) => {
 	if (!isFunctionLike(functionNode)) return;
 	if (isNodeOfType(functionNode, "ArrowFunctionExpression")) {
 		const body = stripParenExpression(functionNode.body);
 		if (!isNodeOfType(body, "BlockStatement")) {
-			markGeneratedImageExpression(body, programRoot, generatedImageJsxNodes, visitedComponentNames);
+			markGeneratedImageExpression(body, programRoot, scopes, generatedImageJsxNodes, visitedComponentNames);
 			return;
 		}
 	}
@@ -1937,7 +1979,7 @@ const markFunctionReturnJsx = (functionNode, programRoot, generatedImageJsxNodes
 		if (descendantNode !== body && isFunctionLike(descendantNode)) return false;
 		if (!isNodeOfType(descendantNode, "ReturnStatement")) return;
 		if (!descendantNode.argument) return;
-		markGeneratedImageExpression(stripParenExpression(descendantNode.argument), programRoot, generatedImageJsxNodes, visitedComponentNames);
+		markGeneratedImageExpression(stripParenExpression(descendantNode.argument), programRoot, scopes, generatedImageJsxNodes, visitedComponentNames);
 	});
 };
 const hasNormalJsxUsage = (programRoot, componentName, generatedImageJsxNodes) => {
@@ -1952,7 +1994,7 @@ const hasNormalJsxUsage = (programRoot, componentName, generatedImageJsxNodes) =
 	});
 	return hasNormalUsage;
 };
-const markComponentRenderJsx = (programRoot, openingElement, generatedImageJsxNodes, visitedComponentNames) => {
+const markComponentRenderJsx = (programRoot, scopes, openingElement, generatedImageJsxNodes, visitedComponentNames) => {
 	const tagName = flattenJsxName$1(openingElement.name);
 	if (!tagName || tagName.includes(".") || !isComponentIdentifierName(tagName)) return;
 	if (visitedComponentNames.has(tagName)) return;
@@ -1960,70 +2002,70 @@ const markComponentRenderJsx = (programRoot, openingElement, generatedImageJsxNo
 	const binding = findVariableInitializer(openingElement, tagName);
 	if (!binding?.initializer) return;
 	visitedComponentNames.add(tagName);
-	markGeneratedImageExpression(stripParenExpression(binding.initializer), programRoot, generatedImageJsxNodes, visitedComponentNames);
+	markGeneratedImageExpression(stripParenExpression(binding.initializer), programRoot, scopes, generatedImageJsxNodes, visitedComponentNames);
 };
-const isInsideGeneratedImageRendererArgument = (node) => {
+const isInsideGeneratedImageRendererArgument$1 = (node, scopes) => {
 	let cursor = node.parent;
 	while (cursor) {
-		if (isGeneratedImageRendererCall(cursor)) return true;
+		if (isGeneratedImageRendererCall(cursor, scopes)) return true;
 		cursor = cursor.parent ?? null;
 	}
 	return false;
 };
-const hasNormalFunctionCallUsage = (programRoot, functionName) => {
+const hasNormalFunctionCallUsage = (programRoot, functionName, scopes) => {
 	let hasNormalUsage = false;
 	walkAst(programRoot, (descendantNode) => {
 		if (hasNormalUsage) return false;
 		if (!isNodeOfType(descendantNode, "CallExpression")) return;
 		if (!isNodeOfType(descendantNode.callee, "Identifier")) return;
 		if (descendantNode.callee.name !== functionName) return;
-		if (isInsideGeneratedImageRendererArgument(descendantNode)) return;
+		if (isInsideGeneratedImageRendererArgument$1(descendantNode, scopes)) return;
 		hasNormalUsage = true;
 		return false;
 	});
 	return hasNormalUsage;
 };
-const markJsxSubtree = (node, programRoot, generatedImageJsxNodes, visitedComponentNames) => {
+const markJsxSubtree = (node, programRoot, scopes, generatedImageJsxNodes, visitedComponentNames) => {
 	walkAst(node, (descendantNode) => {
 		if (!isNodeOfType(descendantNode, "JSXOpeningElement")) return;
 		generatedImageJsxNodes.add(descendantNode);
-		markComponentRenderJsx(programRoot, descendantNode, generatedImageJsxNodes, visitedComponentNames);
+		markComponentRenderJsx(programRoot, scopes, descendantNode, generatedImageJsxNodes, visitedComponentNames);
 	});
 };
-const markGeneratedImageExpression = (expression, programRoot, generatedImageJsxNodes, visitedComponentNames) => {
+const markGeneratedImageExpression = (expression, programRoot, scopes, generatedImageJsxNodes, visitedComponentNames) => {
 	const unwrappedExpression = stripParenExpression(expression);
 	if (isNodeOfType(unwrappedExpression, "JSXElement") || isNodeOfType(unwrappedExpression, "JSXFragment")) {
-		markJsxSubtree(unwrappedExpression, programRoot, generatedImageJsxNodes, visitedComponentNames);
+		markJsxSubtree(unwrappedExpression, programRoot, scopes, generatedImageJsxNodes, visitedComponentNames);
 		return;
 	}
 	if (isFunctionLike(unwrappedExpression)) {
-		markFunctionReturnJsx(unwrappedExpression, programRoot, generatedImageJsxNodes, visitedComponentNames);
+		markFunctionReturnJsx(unwrappedExpression, programRoot, scopes, generatedImageJsxNodes, visitedComponentNames);
 		return;
 	}
 	if (isNodeOfType(unwrappedExpression, "ConditionalExpression")) {
-		markGeneratedImageExpression(unwrappedExpression.consequent, programRoot, generatedImageJsxNodes, visitedComponentNames);
-		markGeneratedImageExpression(unwrappedExpression.alternate, programRoot, generatedImageJsxNodes, visitedComponentNames);
+		markGeneratedImageExpression(unwrappedExpression.consequent, programRoot, scopes, generatedImageJsxNodes, visitedComponentNames);
+		markGeneratedImageExpression(unwrappedExpression.alternate, programRoot, scopes, generatedImageJsxNodes, visitedComponentNames);
 		return;
 	}
 	if (isNodeOfType(unwrappedExpression, "LogicalExpression")) {
-		markGeneratedImageExpression(unwrappedExpression.left, programRoot, generatedImageJsxNodes, visitedComponentNames);
-		markGeneratedImageExpression(unwrappedExpression.right, programRoot, generatedImageJsxNodes, visitedComponentNames);
+		markGeneratedImageExpression(unwrappedExpression.left, programRoot, scopes, generatedImageJsxNodes, visitedComponentNames);
+		markGeneratedImageExpression(unwrappedExpression.right, programRoot, scopes, generatedImageJsxNodes, visitedComponentNames);
 		return;
 	}
 	if (isNodeOfType(unwrappedExpression, "CallExpression")) {
 		const callee = unwrappedExpression.callee;
 		if (isFunctionLike(callee)) {
-			markFunctionReturnJsx(callee, programRoot, generatedImageJsxNodes, visitedComponentNames);
+			markFunctionReturnJsx(callee, programRoot, scopes, generatedImageJsxNodes, visitedComponentNames);
 			return;
 		}
 		if (!isNodeOfType(callee, "Identifier")) return;
 		if (visitedComponentNames.has(callee.name)) return;
 		if (hasNormalJsxUsage(programRoot, callee.name, generatedImageJsxNodes)) return;
-		if (hasNormalFunctionCallUsage(programRoot, callee.name)) return;
+		if (hasNormalFunctionCallUsage(programRoot, callee.name, scopes)) return;
 		const binding = findVariableInitializer(callee, callee.name);
 		if (!binding?.initializer || !isFunctionLike(stripParenExpression(binding.initializer))) return;
 		visitedComponentNames.add(callee.name);
-		markFunctionReturnJsx(stripParenExpression(binding.initializer), programRoot, generatedImageJsxNodes, visitedComponentNames);
+		markFunctionReturnJsx(stripParenExpression(binding.initializer), programRoot, scopes, generatedImageJsxNodes, visitedComponentNames);
 		return;
 	}
 	if (isNodeOfType(unwrappedExpression, "Identifier")) {
@@ -2031,16 +2073,17 @@ const markGeneratedImageExpression = (expression, programRoot, generatedImageJsx
 		visitedComponentNames.add(unwrappedExpression.name);
 		const binding = findVariableInitializer(unwrappedExpression, unwrappedExpression.name);
 		if (!binding?.initializer) return;
-		markGeneratedImageExpression(stripParenExpression(binding.initializer), programRoot, generatedImageJsxNodes, visitedComponentNames);
+		markGeneratedImageExpression(stripParenExpression(binding.initializer), programRoot, scopes, generatedImageJsxNodes, visitedComponentNames);
 	}
 };
-const collectGeneratedImageJsxNodes = (programRoot) => {
+const collectGeneratedImageJsxNodes = (programRoot, scopes) => {
 	const cached = generatedImageJsxCache.get(programRoot);
 	if (cached) return cached;
 	const generatedImageJsxNodes = /* @__PURE__ */ new WeakSet();
-	if (hasImportFromModules(programRoot, GENERATED_IMAGE_MODULES)) walkAst(programRoot, (descendantNode) => {
-		if (!isGeneratedImageRendererCall(descendantNode)) return;
-		for (const argument of descendantNode.arguments) markGeneratedImageExpression(argument, programRoot, generatedImageJsxNodes, /* @__PURE__ */ new Set());
+	if (hasImportFromModules(programRoot, GENERATED_IMAGE_RENDERER_MODULES)) walkAst(programRoot, (descendantNode) => {
+		if (!isNodeOfType(descendantNode, "CallExpression") && !isNodeOfType(descendantNode, "NewExpression")) return;
+		if (!isGeneratedImageRendererCall(descendantNode, scopes)) return;
+		for (const argument of descendantNode.arguments) markGeneratedImageExpression(argument, programRoot, scopes, generatedImageJsxNodes, /* @__PURE__ */ new Set());
 	});
 	generatedImageJsxCache.set(programRoot, generatedImageJsxNodes);
 	return generatedImageJsxNodes;
@@ -2050,7 +2093,7 @@ const isGeneratedImageRenderContext = (context, node) => {
 	if (!node) return false;
 	const programRoot = findProgramRoot(node);
 	if (!programRoot) return false;
-	const generatedImageJsxNodes = collectGeneratedImageJsxNodes(programRoot);
+	const generatedImageJsxNodes = collectGeneratedImageJsxNodes(programRoot, context.scopes);
 	if (generatedImageJsxNodes.has(node)) return true;
 	if (isNodeOfType(node, "JSXElement")) return generatedImageJsxNodes.has(node.openingElement);
 	return false;
@@ -4496,15 +4539,6 @@ const getDestructuredBindingPropertyName = (bindingIdentifier) => {
 	return getStaticPropertyKeyName(property, { allowComputedString: true });
 };
 //#endregion
-//#region src/plugin/utils/get-static-property-name.ts
-const getStaticPropertyName = (memberExpression) => {
-	const property = memberExpression.property;
-	if (!memberExpression.computed && isNodeOfType(property, "Identifier")) return property.name;
-	if (memberExpression.computed && isNodeOfType(property, "Literal")) return typeof property.value === "string" ? property.value : null;
-	if (memberExpression.computed && isNodeOfType(property, "TemplateLiteral") && property.expressions.length === 0) return property.quasis[0]?.value.cooked ?? property.quasis[0]?.value.raw ?? null;
-	return null;
-};
-//#endregion
 //#region src/plugin/utils/has-static-property-write-before.ts
 const equivalentSymbolsByAnalysis = /* @__PURE__ */ new WeakMap();
 const potentiallyAliasedSymbolsByAnalysis = /* @__PURE__ */ new WeakMap();
@@ -8200,6 +8234,9 @@ const createMethodMutationAnalysis = (context) => {
 	};
 };
 //#endregion
+//#region src/plugin/utils/is-member-property.ts
+const isMemberProperty = (node, propertyName) => Boolean(node && isNodeOfType(node, "MemberExpression") && isNodeOfType(node.property, "Identifier") && node.property.name === propertyName);
+//#endregion
 //#region src/plugin/utils/collect-function-return-statements.ts
 const collectFunctionReturnStatements = (functionNode) => {
 	if (!isFunctionLike$1(functionNode) || !isNodeOfType(functionNode.body, "BlockStatement")) return [];
@@ -26486,6 +26523,489 @@ const hasEmailTemplateImport = (programRoot) => {
 	return found;
 };
 //#endregion
+//#region src/plugin/utils/build-generated-image-project-index.ts
+const GENERATED_IMAGE_SOURCE_FILE_PATTERN = /\.[cm]?[jt]sx?$/i;
+const GENERATED_IMAGE_DECLARATION_FILE_PATTERN = /\.d\.[cm]?[jt]s$/i;
+const GENERATED_IMAGE_MDX_FILE_PATTERN = /\.mdx$/i;
+const GENERATED_IMAGE_IGNORED_DIRECTORY_NAMES = new Set([
+	".angular",
+	".astro",
+	".cache",
+	".contentlayer",
+	".docusaurus",
+	".expo",
+	".git",
+	".next",
+	".nuxt",
+	".output",
+	".svelte-kit",
+	".turbo",
+	".vercel",
+	"build",
+	"coverage",
+	"dist",
+	"node_modules",
+	"out",
+	"storybook-static"
+]);
+const generatedImageScopeCache = /* @__PURE__ */ new WeakMap();
+const getGeneratedImageModuleScopes = (programNode) => {
+	const cachedScopes = generatedImageScopeCache.get(programNode);
+	if (cachedScopes) return cachedScopes;
+	const scopes = analyzeScopes(programNode);
+	generatedImageScopeCache.set(programNode, scopes);
+	return scopes;
+};
+const listProductionSourceFiles = (rootDirectory) => {
+	const sourceFilePaths = [];
+	const pendingDirectories = [rootDirectory];
+	let hasOpaqueMdxConsumerSurface = false;
+	while (pendingDirectories.length > 0) {
+		const currentDirectory = pendingDirectories.pop();
+		if (!currentDirectory) continue;
+		let entries;
+		try {
+			entries = fs.readdirSync(currentDirectory, { withFileTypes: true });
+		} catch {
+			return null;
+		}
+		for (const entry of entries) {
+			const absolutePath = path.join(currentDirectory, entry.name);
+			const isIgnoredDirectoryName = GENERATED_IMAGE_IGNORED_DIRECTORY_NAMES.has(entry.name) || entry.name.startsWith(".") && entry.name !== ".dumi" && entry.name !== ".storybook";
+			if (entry.isSymbolicLink() && isIgnoredDirectoryName) continue;
+			if (entry.isSymbolicLink()) return null;
+			if (entry.isDirectory()) {
+				if (isIgnoredDirectoryName) continue;
+				pendingDirectories.push(absolutePath);
+				continue;
+			}
+			if (!entry.isFile() || isTestlikeFilename(absolutePath)) continue;
+			if (GENERATED_IMAGE_MDX_FILE_PATTERN.test(entry.name)) {
+				hasOpaqueMdxConsumerSurface = true;
+				continue;
+			}
+			if (!GENERATED_IMAGE_SOURCE_FILE_PATTERN.test(entry.name)) continue;
+			if (GENERATED_IMAGE_DECLARATION_FILE_PATTERN.test(entry.name)) continue;
+			sourceFilePaths.push(normalizeFilename(absolutePath));
+		}
+	}
+	return {
+		sourceFilePaths,
+		hasOpaqueMdxConsumerSurface
+	};
+};
+const getRuntimeModuleSource = (node) => {
+	if (isNodeOfType(node, "ImportDeclaration")) {
+		if (isTypeOnlyImport(node)) return null;
+		return typeof node.source.value === "string" ? node.source.value : null;
+	}
+	if (isNodeOfType(node, "ExportNamedDeclaration")) {
+		if (node.exportKind === "type" || isEverySpecifierInlineType(node.specifiers, "ExportSpecifier", "exportKind")) return null;
+		return node.source && typeof node.source.value === "string" ? node.source.value : null;
+	}
+	if (isNodeOfType(node, "ExportAllDeclaration")) {
+		if (node.exportKind === "type") return null;
+		return typeof node.source.value === "string" ? node.source.value : null;
+	}
+	if (isNodeOfType(node, "ImportExpression")) return isNodeOfType(node.source, "Literal") && typeof node.source.value === "string" ? node.source.value : null;
+	if (isNodeOfType(node, "CallExpression") && isNodeOfType(node.callee, "Identifier") && node.callee.name === "require" && node.arguments.length === 1) {
+		const source = node.arguments[0];
+		return source && isNodeOfType(source, "Literal") && typeof source.value === "string" ? source.value : null;
+	}
+	return null;
+};
+const indexModuleSources = (module, consumerModulesByFilePath, resolvedSourcePathByNode, unresolvedRuntimeSources) => {
+	walkAst(module.programNode, (node) => {
+		const source = getRuntimeModuleSource(node);
+		if (!source) return;
+		const resolvedSourcePath = resolveModulePath(module.filePath, source);
+		if (!resolvedSourcePath) {
+			unresolvedRuntimeSources.add(source);
+			return;
+		}
+		const normalizedSourcePath = normalizeFilename(resolvedSourcePath);
+		resolvedSourcePathByNode.set(node, normalizedSourcePath);
+		const consumerModules = consumerModulesByFilePath.get(normalizedSourcePath) ?? /* @__PURE__ */ new Set();
+		consumerModules.add(module);
+		consumerModulesByFilePath.set(normalizedSourcePath, consumerModules);
+	});
+};
+const buildGeneratedImageProjectIndex = (rootDirectory, currentFilePath, currentProgramNode, currentScopes) => {
+	const productionSourceFiles = listProductionSourceFiles(rootDirectory);
+	if (!productionSourceFiles) return null;
+	const modulesByFilePath = /* @__PURE__ */ new Map();
+	for (const filePath of productionSourceFiles.sourceFilePaths) {
+		if (filePath === currentFilePath) {
+			modulesByFilePath.set(filePath, {
+				filePath,
+				programNode: currentProgramNode,
+				scopes: currentScopes
+			});
+			continue;
+		}
+		const parsedProgram = parseSourceFile(filePath);
+		if (!parsedProgram || !isNodeOfType(parsedProgram, "Program")) return null;
+		modulesByFilePath.set(filePath, {
+			filePath,
+			programNode: parsedProgram,
+			scopes: getGeneratedImageModuleScopes(parsedProgram)
+		});
+	}
+	const consumerModulesByFilePath = /* @__PURE__ */ new Map();
+	const resolvedSourcePathByNode = /* @__PURE__ */ new WeakMap();
+	const unresolvedRuntimeSources = /* @__PURE__ */ new Set();
+	for (const module of modulesByFilePath.values()) indexModuleSources(module, consumerModulesByFilePath, resolvedSourcePathByNode, unresolvedRuntimeSources);
+	return {
+		modulesByFilePath,
+		consumerModulesByFilePath,
+		resolvedSourcePathByNode,
+		unresolvedRuntimeSources,
+		hasOpaqueMdxConsumerSurface: productionSourceFiles.hasOpaqueMdxConsumerSurface
+	};
+};
+//#endregion
+//#region src/plugin/utils/read-nearest-package-manifest.ts
+const cachedPackageDirectoryByFilename = /* @__PURE__ */ new Map();
+const cachedManifestByPackageDirectory = /* @__PURE__ */ new Map();
+const resetManifestCaches = () => {
+	cachedPackageDirectoryByFilename.clear();
+	cachedManifestByPackageDirectory.clear();
+};
+const findNearestPackageDirectory = (filename) => {
+	if (!filename) return null;
+	const fromCache = cachedPackageDirectoryByFilename.get(filename);
+	if (fromCache !== void 0) {
+		if (isProbeRecorderActive()) {
+			let probedDirectory = path.dirname(filename);
+			while (true) {
+				recordExistenceProbe(path.join(probedDirectory, "package.json"));
+				if (probedDirectory === fromCache) break;
+				const parentDirectory = path.dirname(probedDirectory);
+				if (parentDirectory === probedDirectory) break;
+				probedDirectory = parentDirectory;
+			}
+		}
+		return fromCache;
+	}
+	let currentDirectory = path.dirname(filename);
+	while (true) {
+		const candidatePackageJsonPath = path.join(currentDirectory, "package.json");
+		recordExistenceProbe(candidatePackageJsonPath);
+		let hasPackageJson = false;
+		try {
+			hasPackageJson = fs.statSync(candidatePackageJsonPath).isFile();
+		} catch {
+			hasPackageJson = false;
+		}
+		if (hasPackageJson) {
+			cachedPackageDirectoryByFilename.set(filename, currentDirectory);
+			return currentDirectory;
+		}
+		const parentDirectory = path.dirname(currentDirectory);
+		if (parentDirectory === currentDirectory) {
+			cachedPackageDirectoryByFilename.set(filename, null);
+			return null;
+		}
+		currentDirectory = parentDirectory;
+	}
+};
+const readNearestPackageManifest = (filename) => {
+	const packageDirectory = findNearestPackageDirectory(filename);
+	if (!packageDirectory) return null;
+	return readPackageManifest(packageDirectory);
+};
+const readPackageManifest = (packageDirectory) => {
+	const packageJsonPath = path.join(packageDirectory, "package.json");
+	recordContentProbe(packageJsonPath);
+	const cached = cachedManifestByPackageDirectory.get(packageDirectory);
+	if (cached !== void 0) return cached;
+	let manifest = null;
+	try {
+		const parsed = JSON.parse(fs.readFileSync(packageJsonPath, "utf-8"));
+		if (typeof parsed === "object" && parsed !== null) manifest = parsed;
+	} catch {
+		manifest = null;
+	}
+	cachedManifestByPackageDirectory.set(packageDirectory, manifest);
+	return manifest;
+};
+//#endregion
+//#region src/plugin/utils/is-exported-jsx-owned-by-generated-image-renderers.ts
+const getExportedSpecifierName = (specifier) => {
+	const exported = specifier.exported;
+	if (isNodeOfType(exported, "Identifier")) return exported.name;
+	return isNodeOfType(exported, "Literal") && typeof exported.value === "string" ? exported.value : null;
+};
+const getImportedSpecifierName = (specifier) => {
+	const local = specifier.local;
+	if (isNodeOfType(local, "Identifier")) return local.name;
+	return isNodeOfType(local, "Literal") && typeof local.value === "string" ? local.value : null;
+};
+const getImportSpecifierName = (specifier) => {
+	if (isNodeOfType(specifier, "ImportDefaultSpecifier")) return "default";
+	if (!isNodeOfType(specifier, "ImportSpecifier")) return null;
+	const imported = specifier.imported;
+	if (isNodeOfType(imported, "Identifier")) return imported.name;
+	return isNodeOfType(imported, "Literal") && typeof imported.value === "string" ? imported.value : null;
+};
+const getDirectFunctionBindingIdentifier = (functionNode) => {
+	if (isNodeOfType(functionNode, "FunctionDeclaration") && isNodeOfType(functionNode.id, "Identifier")) return functionNode.id;
+	const functionValueRoot = findTransparentExpressionRoot(functionNode);
+	const parent = functionValueRoot.parent;
+	return isNodeOfType(parent, "VariableDeclarator") && parent.init === functionValueRoot && isNodeOfType(parent.id, "Identifier") ? parent.id : null;
+};
+const getExportNamesForFunction = (programNode, functionNode) => {
+	const functionValueRoot = findTransparentExpressionRoot(functionNode);
+	const bindingName = getDirectFunctionBindingIdentifier(functionNode)?.name ?? null;
+	const exportedNames = /* @__PURE__ */ new Set();
+	for (const statement of programNode.body) {
+		if (isNodeOfType(statement, "ExportDefaultDeclaration")) {
+			if (statement.declaration === functionValueRoot || bindingName && isNodeOfType(statement.declaration, "Identifier") && statement.declaration.name === bindingName) exportedNames.add("default");
+			continue;
+		}
+		if (!isNodeOfType(statement, "ExportNamedDeclaration")) continue;
+		const declaration = statement.declaration;
+		if (declaration === functionValueRoot && bindingName) exportedNames.add(bindingName);
+		if (declaration && isNodeOfType(declaration, "VariableDeclaration")) {
+			for (const declarator of declaration.declarations) if (declarator.init === functionValueRoot && isNodeOfType(declarator.id, "Identifier")) exportedNames.add(declarator.id.name);
+		}
+		if (!bindingName || statement.source) continue;
+		for (const specifier of statement.specifiers) {
+			if (!isNodeOfType(specifier, "ExportSpecifier")) continue;
+			if (getImportedSpecifierName(specifier) !== bindingName) continue;
+			const exportedName = getExportedSpecifierName(specifier);
+			if (exportedName) exportedNames.add(exportedName);
+		}
+	}
+	return [...exportedNames];
+};
+const isTransparentGeneratedImageValueFlow = (expression, target) => {
+	let current = findTransparentExpressionRoot(expression);
+	while (current !== target) {
+		const parent = current.parent;
+		if (!parent) return false;
+		if (!((isNodeOfType(parent, "JSXExpressionContainer") || isNodeOfType(parent, "JSXSpreadChild")) && parent.expression === current || (isNodeOfType(parent, "JSXElement") || isNodeOfType(parent, "JSXFragment")) && parent.children.some((child) => child === current) || isNodeOfType(parent, "ConditionalExpression") && (parent.consequent === current || parent.alternate === current) || isNodeOfType(parent, "LogicalExpression") && (parent.left === current || parent.right === current) || isNodeOfType(parent, "ArrayExpression") && parent.elements.some((element) => element === current) || isNodeOfType(parent, "SequenceExpression") && parent.expressions.at(-1) === current || isNodeOfType(parent, "AwaitExpression") && parent.argument === current)) return false;
+		current = findTransparentExpressionRoot(parent);
+	}
+	return true;
+};
+const isInsideGeneratedImageRendererArgument = (expression, scopes) => {
+	let cursor = expression;
+	while (cursor?.parent) {
+		const parent = cursor.parent;
+		if (isFunctionLike$1(parent)) return false;
+		if (isNodeOfType(parent, "CallExpression") || isNodeOfType(parent, "NewExpression")) {
+			if (parent.arguments[0] && isTransparentGeneratedImageValueFlow(expression, parent.arguments[0]) && isGeneratedImageRendererCall(parent, scopes)) return true;
+		}
+		cursor = parent;
+	}
+	return false;
+};
+const getInvokedExpression = (identifier) => {
+	const referenceExpression = findTransparentExpressionRoot(identifier);
+	const parent = referenceExpression.parent;
+	if (isNodeOfType(parent, "CallExpression") && parent.callee === referenceExpression) return parent;
+	if (isNodeOfType(parent, "TaggedTemplateExpression") && parent.tag === referenceExpression) return parent;
+	if ((isNodeOfType(parent, "JSXOpeningElement") || isNodeOfType(parent, "JSXClosingElement")) && parent.name === identifier) {
+		const element = parent.parent;
+		return isNodeOfType(element, "JSXElement") ? element : null;
+	}
+	return null;
+};
+const getForwardingFunction = (expression) => {
+	const enclosingFunction = findEnclosingFunction$1(expression);
+	if (!enclosingFunction) return null;
+	if (isNodeOfType(enclosingFunction, "ArrowFunctionExpression") && !isNodeOfType(enclosingFunction.body, "BlockStatement") && isTransparentGeneratedImageValueFlow(expression, enclosingFunction.body)) return enclosingFunction;
+	let cursor = expression.parent;
+	while (cursor && cursor !== enclosingFunction) {
+		if (isFunctionLike$1(cursor)) return null;
+		if (isNodeOfType(cursor, "ReturnStatement") && cursor.argument && isTransparentGeneratedImageValueFlow(expression, cursor.argument)) return enclosingFunction;
+		cursor = cursor.parent;
+	}
+	return null;
+};
+const enqueueExport = (state, filePath, exportedName) => {
+	state.pendingExports.push({
+		filePath: normalizeFilename(filePath),
+		exportedName
+	});
+};
+const classifyInvokedExpression = (module, expression, state) => {
+	if (isInsideGeneratedImageRendererArgument(expression, module.scopes)) {
+		state.didReachRenderer = true;
+		return true;
+	}
+	const forwardingFunction = getForwardingFunction(expression);
+	if (!forwardingFunction) return false;
+	const exportedNames = getExportNamesForFunction(module.programNode, forwardingFunction);
+	if (exportedNames.length === 0) return false;
+	for (const exportedName of exportedNames) enqueueExport(state, module.filePath, exportedName);
+	return true;
+};
+const classifySymbolReferences = (module, symbol, state, visitedSymbolIds) => {
+	if (visitedSymbolIds.has(symbol.id)) return true;
+	visitedSymbolIds.add(symbol.id);
+	for (const reference of symbol.references) {
+		if (reference.flag !== "read") return false;
+		state.currentExportWasUsed = true;
+		const identifier = reference.identifier;
+		const invokedExpression = getInvokedExpression(identifier);
+		if (invokedExpression) {
+			if (!classifyInvokedExpression(module, invokedExpression, state)) return false;
+			continue;
+		}
+		const parent = identifier.parent;
+		if (isNodeOfType(parent, "ExportSpecifier") && parent.local === identifier) {
+			const exportedName = getExportedSpecifierName(parent);
+			if (!exportedName) return false;
+			enqueueExport(state, module.filePath, exportedName);
+			continue;
+		}
+		if (isNodeOfType(parent, "ExportDefaultDeclaration")) {
+			enqueueExport(state, module.filePath, "default");
+			continue;
+		}
+		if (isNodeOfType(parent, "VariableDeclarator") && parent.init === identifier && isNodeOfType(parent.id, "Identifier") && isNodeOfType(parent.parent, "VariableDeclaration") && parent.parent.kind === "const") {
+			const aliasSymbol = module.scopes.symbolFor(parent.id);
+			if (!aliasSymbol || !classifySymbolReferences(module, aliasSymbol, state, visitedSymbolIds)) return false;
+			continue;
+		}
+		return false;
+	}
+	return true;
+};
+const classifyNamespaceImportReferences = (module, symbol, exportedName, state) => {
+	for (const reference of symbol.references) {
+		if (reference.flag !== "read") return false;
+		const identifier = reference.identifier;
+		const parent = identifier.parent;
+		if (!isNodeOfType(parent, "MemberExpression") || parent.object !== identifier) return false;
+		const propertyName = getStaticPropertyName(parent);
+		if (propertyName === null) return false;
+		if (propertyName !== exportedName) continue;
+		state.currentExportWasUsed = true;
+		const invokedExpression = getInvokedExpression(parent);
+		if (!invokedExpression || !classifyInvokedExpression(module, invokedExpression, state)) return false;
+	}
+	return true;
+};
+const classifyImportsFromExport = (module, exportIdentity, state) => {
+	for (const statement of module.programNode.body) {
+		if (isNodeOfType(statement, "ImportDeclaration")) {
+			if (state.projectIndex.resolvedSourcePathByNode.get(statement) !== exportIdentity.filePath) continue;
+			if (statement.importKind === "type") continue;
+			for (const specifier of statement.specifiers) {
+				if (isNodeOfType(specifier, "ImportSpecifier") && specifier.importKind === "type") continue;
+				if (isNodeOfType(specifier, "ImportNamespaceSpecifier")) {
+					const namespaceSymbol = module.scopes.symbolFor(specifier.local);
+					if (!namespaceSymbol || !classifyNamespaceImportReferences(module, namespaceSymbol, exportIdentity.exportedName, state)) return false;
+					continue;
+				}
+				if (getImportSpecifierName(specifier) !== exportIdentity.exportedName) continue;
+				const symbol = module.scopes.symbolFor(specifier.local);
+				if (!symbol || !classifySymbolReferences(module, symbol, state, /* @__PURE__ */ new Set())) return false;
+			}
+			continue;
+		}
+		if ((isNodeOfType(statement, "ExportNamedDeclaration") || isNodeOfType(statement, "ExportAllDeclaration")) && statement.source && state.projectIndex.resolvedSourcePathByNode.get(statement) === exportIdentity.filePath) {
+			if (isNodeOfType(statement, "ExportAllDeclaration")) {
+				if (statement.exported) return false;
+				state.currentExportWasUsed = true;
+				enqueueExport(state, module.filePath, exportIdentity.exportedName);
+				continue;
+			}
+			for (const specifier of statement.specifiers) {
+				if (!isNodeOfType(specifier, "ExportSpecifier")) continue;
+				if (getImportedSpecifierName(specifier) !== exportIdentity.exportedName) continue;
+				const exportedName = getExportedSpecifierName(specifier);
+				if (!exportedName) return false;
+				state.currentExportWasUsed = true;
+				enqueueExport(state, module.filePath, exportedName);
+			}
+		}
+	}
+	return true;
+};
+const hasOpaqueDynamicImportOfExport = (module, exportIdentity, projectIndex) => {
+	let isOpaque = false;
+	walkAst(module.programNode, (node) => {
+		if (isOpaque) return false;
+		if (isNodeOfType(node, "ImportExpression")) {
+			if (projectIndex.resolvedSourcePathByNode.get(node) === exportIdentity.filePath) {
+				isOpaque = true;
+				return false;
+			}
+		}
+		if (isNodeOfType(node, "CallExpression") && isNodeOfType(node.callee, "Identifier") && node.callee.name === "require" && node.arguments.length === 1) {
+			if (projectIndex.resolvedSourcePathByNode.get(node) === exportIdentity.filePath) {
+				isOpaque = true;
+				return false;
+			}
+		}
+	});
+	return isOpaque;
+};
+const classifyLocalExportReferences = (module, exportIdentity, state) => {
+	const exportedValue = findExportedValue(module.programNode, exportIdentity.exportedName);
+	if (!exportedValue || !isFunctionLike$1(exportedValue)) return true;
+	const bindingIdentifier = getDirectFunctionBindingIdentifier(exportedValue);
+	if (!bindingIdentifier) return true;
+	const symbol = module.scopes.symbolFor(bindingIdentifier);
+	return symbol ? classifySymbolReferences(module, symbol, state, /* @__PURE__ */ new Set()) : false;
+};
+const hasOpaqueWorkspacePackageConsumer = (projectIndex, exportIdentity) => {
+	const packageName = readNearestPackageManifest(exportIdentity.filePath)?.name;
+	if (typeof packageName !== "string" || packageName.length === 0) return false;
+	for (const unresolvedSource of projectIndex.unresolvedRuntimeSources) if (unresolvedSource === packageName || unresolvedSource.startsWith(`${packageName}/`)) return true;
+	return false;
+};
+const createExportedJsxGeneratedImageOwnershipAnalyzer = (context) => {
+	const filename = context.filename ? normalizeFilename(context.filename) : "";
+	const rootDirectorySetting = getReactDoctorStringSetting(context.settings, "rootDirectory");
+	const rootDirectory = rootDirectorySetting ? normalizeFilename(rootDirectorySetting).replace(/\/$/, "") : "";
+	const isFileInsideRoot = Boolean(filename && rootDirectory) && (filename === rootDirectory || filename.startsWith(`${rootDirectory}/`));
+	let projectIndex;
+	return (jsxNode) => {
+		if (!isFileInsideRoot) return false;
+		const programNode = findProgramRoot(jsxNode);
+		const enclosingFunction = findEnclosingFunction$1(jsxNode);
+		if (!programNode || !enclosingFunction) return false;
+		const initialExportNames = getExportNamesForFunction(programNode, enclosingFunction);
+		if (initialExportNames.length === 0) return false;
+		if (projectIndex === void 0) projectIndex = buildGeneratedImageProjectIndex(rootDirectory, filename, programNode, context.scopes);
+		if (!projectIndex || projectIndex.hasOpaqueMdxConsumerSurface) return false;
+		const state = {
+			projectIndex,
+			pendingExports: initialExportNames.map((exportedName) => ({
+				filePath: filename,
+				exportedName
+			})),
+			visitedExportKeys: /* @__PURE__ */ new Set(),
+			currentExportWasUsed: false,
+			didReachRenderer: false
+		};
+		while (state.pendingExports.length > 0) {
+			const exportIdentity = state.pendingExports.pop();
+			if (!exportIdentity) continue;
+			const exportKey = `${exportIdentity.filePath}\0${exportIdentity.exportedName}`;
+			if (state.visitedExportKeys.has(exportKey)) continue;
+			state.visitedExportKeys.add(exportKey);
+			state.currentExportWasUsed = false;
+			if (hasOpaqueWorkspacePackageConsumer(projectIndex, exportIdentity)) return false;
+			const ownerModule = projectIndex.modulesByFilePath.get(exportIdentity.filePath);
+			if (!ownerModule || !classifyLocalExportReferences(ownerModule, exportIdentity, state)) return false;
+			const consumerModules = projectIndex.consumerModulesByFilePath.get(exportIdentity.filePath) ?? [];
+			for (const module of consumerModules) {
+				if (module.filePath === exportIdentity.filePath) continue;
+				if (hasOpaqueDynamicImportOfExport(module, exportIdentity, projectIndex)) return false;
+				if (!classifyImportsFromExport(module, exportIdentity, state)) return false;
+			}
+			if (!state.currentExportWasUsed) return false;
+		}
+		return state.didReachRenderer;
+	};
+};
+//#endregion
 //#region src/plugin/rules/nextjs/nextjs-no-img-element.ts
 const NON_OPTIMIZABLE_SRC_PREFIX_PATTERN = /^\s*(data:|blob:)/i;
 const GENERATED_URL_NAME_PATTERN = /(data|object|blob)_?url/i;
@@ -26588,9 +27108,20 @@ const nextjsNoImgElement = defineRule({
 	recommendation: "Use `next/image` so users get optimized formats, responsive srcsets, and lazy loading instead of oversized image downloads.",
 	create: (context) => {
 		if (isGeneratedImageRenderContext(context)) return {};
+		const generatedImageOwnershipByFunction = /* @__PURE__ */ new WeakMap();
+		const isExportedJsxGeneratedImageOwned = createExportedJsxGeneratedImageOwnershipAnalyzer(context);
 		return { JSXOpeningElement(node) {
 			if (resolveJsxElementType(node) !== "img") return;
 			if (isGeneratedImageRenderContext(context, node)) return;
+			const enclosingFunction = findEnclosingFunction$1(node);
+			if (enclosingFunction) {
+				let isGeneratedImageOwned = generatedImageOwnershipByFunction.get(enclosingFunction);
+				if (isGeneratedImageOwned === void 0) {
+					isGeneratedImageOwned = isExportedJsxGeneratedImageOwned(node);
+					generatedImageOwnershipByFunction.set(enclosingFunction, isGeneratedImageOwned);
+				}
+				if (isGeneratedImageOwned) return;
+			}
 			const programRoot = findProgramRoot(node);
 			if (programRoot && hasEmailTemplateImport(programRoot)) return;
 			const srcAttribute = findJsxAttribute(node.attributes, "src");
@@ -31030,72 +31561,6 @@ const isReactNativeDependencyName = (dependencyName) => {
 	return false;
 };
 //#endregion
-//#region src/plugin/utils/read-nearest-package-manifest.ts
-const cachedPackageDirectoryByFilename = /* @__PURE__ */ new Map();
-const cachedManifestByPackageDirectory = /* @__PURE__ */ new Map();
-const resetManifestCaches = () => {
-	cachedPackageDirectoryByFilename.clear();
-	cachedManifestByPackageDirectory.clear();
-};
-const findNearestPackageDirectory = (filename) => {
-	if (!filename) return null;
-	const fromCache = cachedPackageDirectoryByFilename.get(filename);
-	if (fromCache !== void 0) {
-		if (isProbeRecorderActive()) {
-			let probedDirectory = path.dirname(filename);
-			while (true) {
-				recordExistenceProbe(path.join(probedDirectory, "package.json"));
-				if (probedDirectory === fromCache) break;
-				const parentDirectory = path.dirname(probedDirectory);
-				if (parentDirectory === probedDirectory) break;
-				probedDirectory = parentDirectory;
-			}
-		}
-		return fromCache;
-	}
-	let currentDirectory = path.dirname(filename);
-	while (true) {
-		const candidatePackageJsonPath = path.join(currentDirectory, "package.json");
-		recordExistenceProbe(candidatePackageJsonPath);
-		let hasPackageJson = false;
-		try {
-			hasPackageJson = fs.statSync(candidatePackageJsonPath).isFile();
-		} catch {
-			hasPackageJson = false;
-		}
-		if (hasPackageJson) {
-			cachedPackageDirectoryByFilename.set(filename, currentDirectory);
-			return currentDirectory;
-		}
-		const parentDirectory = path.dirname(currentDirectory);
-		if (parentDirectory === currentDirectory) {
-			cachedPackageDirectoryByFilename.set(filename, null);
-			return null;
-		}
-		currentDirectory = parentDirectory;
-	}
-};
-const readNearestPackageManifest = (filename) => {
-	const packageDirectory = findNearestPackageDirectory(filename);
-	if (!packageDirectory) return null;
-	return readPackageManifest(packageDirectory);
-};
-const readPackageManifest = (packageDirectory) => {
-	const packageJsonPath = path.join(packageDirectory, "package.json");
-	recordContentProbe(packageJsonPath);
-	const cached = cachedManifestByPackageDirectory.get(packageDirectory);
-	if (cached !== void 0) return cached;
-	let manifest = null;
-	try {
-		const parsed = JSON.parse(fs.readFileSync(packageJsonPath, "utf-8"));
-		if (typeof parsed === "object" && parsed !== null) manifest = parsed;
-	} catch {
-		manifest = null;
-	}
-	cachedManifestByPackageDirectory.set(packageDirectory, manifest);
-	return manifest;
-};
-//#endregion
 //#region src/plugin/utils/classify-package-platform.ts
 const WEB_FRAMEWORK_DEPENDENCY_NAMES = new Set([
 	"next",
@@ -42164,7 +42629,7 @@ const getRefBindingProvenance = (analysis, receiver, isReactUseRefCall) => {
 		variables
 	};
 };
-const getCallbackRefProvenance = (analysis, effectCall, callExpression, isReactUseRefCall) => {
+const getCallbackRefProvenance = (analysis, effectCall, callExpression, isReactUseRefCall, isReactUseEffectCall) => {
 	const callee = stripParenExpression(callExpression.callee);
 	if (!isNodeOfType(callee, "MemberExpression") || getStaticMemberPropertyName(callee) !== "current") return null;
 	const bindingProvenance = getRefBindingProvenance(analysis, stripParenExpression(callee.object), isReactUseRefCall);
@@ -42172,7 +42637,9 @@ const getCallbackRefProvenance = (analysis, effectCall, callExpression, isReactU
 	const { refCall, variables } = bindingProvenance;
 	const componentFunction = findEnclosingFunction$1(effectCall);
 	if (!componentFunction || !isFunctionLike$1(componentFunction) || !isComponentFunction$1(componentFunction) || !isNodeOfType(componentFunction.body, "BlockStatement")) return null;
-	if (!getDirectComponentBodyStatement(effectCall, componentFunction.body)) return null;
+	const notificationEffectStatement = getDirectComponentBodyStatement(effectCall, componentFunction.body);
+	const notificationEffectRoot = findTransparentExpressionRoot(effectCall);
+	if (!notificationEffectStatement || !isNodeOfType(notificationEffectStatement, "ExpressionStatement") || notificationEffectRoot.parent !== notificationEffectStatement || !isReactUseEffectCall(effectCall)) return null;
 	const callbackPropNames = /* @__PURE__ */ new Set();
 	const initializer = refCall.arguments?.[0];
 	const initializerCallbackName = initializer ? getParentCallbackPropName(analysis, initializer) : null;
@@ -42190,9 +42657,20 @@ const getCallbackRefProvenance = (analysis, effectCall, callExpression, isReactU
 		const assignment = getRefMemberAssignment(identifier);
 		if (!assignment) continue;
 		const assignmentStatement = findTransparentExpressionRoot(assignment).parent;
-		if (assignment.operator !== "=" || !assignmentStatement || !isNodeOfType(assignmentStatement, "ExpressionStatement") || assignmentStatement.parent !== componentFunction.body) return null;
+		if (assignment.operator !== "=" || !assignmentStatement || !isNodeOfType(assignmentStatement, "ExpressionStatement")) return null;
 		const assignedCallbackName = getParentCallbackPropName(analysis, assignment.right);
 		if (!assignedCallbackName) return null;
+		if (assignmentStatement.parent !== componentFunction.body) {
+			if (!initializerCallbackName || assignedCallbackName !== initializerCallbackName) return null;
+			const assignmentEffectBody = assignmentStatement.parent;
+			if (!assignmentEffectBody || !isNodeOfType(assignmentEffectBody, "BlockStatement")) return null;
+			const assignmentEffectFunction = assignmentEffectBody.parent;
+			if (!assignmentEffectFunction || !isFunctionLike$1(assignmentEffectFunction) || assignmentEffectFunction.body !== assignmentEffectBody) return null;
+			const assignmentEffectCall = findTransparentExpressionRoot(assignmentEffectFunction).parent;
+			if (!assignmentEffectCall || !isNodeOfType(assignmentEffectCall, "CallExpression") || !isReactUseEffectCall(assignmentEffectCall) || getEffectFn(analysis, assignmentEffectCall) !== assignmentEffectFunction) return null;
+			const assignmentEffectStatement = getDirectComponentBodyStatement(assignmentEffectCall, componentFunction.body);
+			if (!assignmentEffectStatement || !isNodeOfType(assignmentEffectStatement, "ExpressionStatement") || assignmentEffectCall.parent !== assignmentEffectStatement || assignmentEffectStatement.range[0] >= notificationEffectStatement.range[0]) return null;
+		}
 		callbackPropNames.add(assignedCallbackName);
 	}
 	return callbackPropNames.size > 0 ? { callbackPropNames } : null;
@@ -42405,6 +42883,10 @@ const noPassDataToParent = defineRule({
 			allowGlobalReactNamespace: true,
 			allowUnboundBareCalls: true
 		});
+		const isReactUseEffectCall = (node) => isReactApiCall(node, "useEffect", context.scopes, {
+			allowGlobalReactNamespace: true,
+			allowUnboundBareCalls: true
+		});
 		return { CallExpression(node) {
 			if (!isUseEffect(node)) return;
 			const analysis = getProgramAnalysis(node);
@@ -42417,7 +42899,7 @@ const noPassDataToParent = defineRule({
 			for (const ref of effectFnRefs) {
 				const callExpr = getCallExpr(ref);
 				if (!callExpr || !isNodeOfType(callExpr, "CallExpression")) continue;
-				const callbackRefProvenance = getCallbackRefProvenance(analysis, node, callExpr, isReactUseRefCall);
+				const callbackRefProvenance = getCallbackRefProvenance(analysis, node, callExpr, isReactUseRefCall, isReactUseEffectCall);
 				if (isRefCall(analysis, ref) && !callbackRefProvenance) continue;
 				if (!isSynchronous(ref.identifier, effectFn)) continue;
 				const calleeNode = unwrapChainExpression(callExpr.callee);
@@ -70079,6 +70561,7 @@ const CROSS_FILE_RULE_IDS = new Set([
 	"exhaustive-deps",
 	"no-barrel-import",
 	"nextjs-missing-metadata",
+	"nextjs-no-img-element",
 	"nextjs-no-use-search-params-without-suspense",
 	"no-dynamic-import-path",
 	"no-full-lodash-import",
@@ -70310,12 +70793,12 @@ const CROSS_FILE_DEPENDENCY_COLLECTORS = new Map([
 ]);
 /**
 * Cross-file rules whose dependency set CANNOT be soundly bounded — they are
-* excluded from fingerprinting and re-lint every file on every scan. Empty
-* today; a new cross-file rule must be added either here or to
+* excluded from fingerprinting and re-lint every file on every scan. A new
+* cross-file rule must be added either here or to
 * `CROSS_FILE_DEPENDENCY_COLLECTORS` (the core guard test enforces the
 * partition), forcing a conscious classification.
 */
-const UNBOUNDED_CROSS_FILE_RULE_IDS = new Set(["only-export-components"]);
+const UNBOUNDED_CROSS_FILE_RULE_IDS = new Set(["nextjs-no-img-element", "only-export-components"]);
 /**
 * Runs the collectors for `ruleIds` over one file and returns every
 * filesystem probe they made — the file's cross-file dependency set.

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "oxlint-plugin-react-doctor",
-  "version": "0.7.9-dev.61111f1",
+  "version": "0.7.9-dev.6325f9c",
   "description": "React Doctor rules for oxlint.",
   "keywords": [
     "accessibility",