deslop-js 0.0.11 → 0.0.12

package/dist/index.cjs

@@ -1078,10 +1078,22 @@ const containsCallOrPromiseSurface = (node, recursionDepth = 0) => {
 	}
 	return false;
 };
+const unwrapParenthesizedExpression = (node) => {
+	let current = node;
+	while (current.type === "ParenthesizedExpression") {
+		const inner = current.expression;
+		if (!inner || !isOxcAstNode(inner)) return current;
+		current = inner;
+	}
+	return current;
+};
 const isSimpleReturnArgument = (argumentNode) => {
 	if (!isOxcAstNode(argumentNode)) return false;
-	if (argumentNode.type === "BlockStatement") return false;
-	if (argumentNode.type === "ObjectExpression") return false;
+	const unwrapped = unwrapParenthesizedExpression(argumentNode);
+	if (unwrapped.type === "BlockStatement") return false;
+	if (unwrapped.type === "ObjectExpression") return false;
+	if (unwrapped.type === "JSXElement") return false;
+	if (unwrapped.type === "JSXFragment") return false;
 	return true;
 };
 const detectBlockArrowSingleReturn = (functionNode) => {
@@ -1135,9 +1147,34 @@ const detectRedundantAwaitReturn = (functionNode) => {
 	};
 };
 const isAsyncFunction = (functionNode) => Boolean(functionNode.async);
-const detectUselessAsync = (functionNode) => {
+const containsPromiseTypeReference = (node, recursionDepth = 0) => {
+	if (recursionDepth > 30) return false;
+	if (!isOxcAstNode(node)) return false;
+	if (node.type === "TSTypeReference") {
+		const typeName = node.typeName;
+		if (typeName?.name === "Promise") return true;
+		if (typeName?.right?.name === "Promise") return true;
+	}
+	for (const value of Object.values(node)) if (Array.isArray(value)) {
+		for (const element of value) if (containsPromiseTypeReference(element, recursionDepth + 1)) return true;
+	} else if (isOxcAstNode(value)) {
+		if (containsPromiseTypeReference(value, recursionDepth + 1)) return true;
+	}
+	return false;
+};
+const hasExplicitPromiseReturnType = (functionNode) => {
+	const returnType = functionNode.returnType;
+	if (!returnType || !isOxcAstNode(returnType)) return false;
+	const annotation = returnType.typeAnnotation;
+	if (!annotation || !isOxcAstNode(annotation)) return false;
+	return containsPromiseTypeReference(annotation);
+};
+const detectUselessAsync = (functionNode, context) => {
 	if (!isAsyncFunction(functionNode)) return void 0;
 	if (functionNode.type === "ClassDeclaration" || functionNode.type === "MethodDefinition") return;
+	if (context.isMethodContext) return void 0;
+	if (context.isInlineCallback) return void 0;
+	if (hasExplicitPromiseReturnType(functionNode)) return void 0;
 	const bodyNode = functionNode.body;
 	if (!isOxcAstNode(bodyNode)) return void 0;
 	if (containsAwaitExpression(bodyNode)) return void 0;
@@ -1149,14 +1186,14 @@ const detectUselessAsync = (functionNode) => {
 		suggestion: "drop `async` (caller's existing `await` keeps the type identical) or add an explicit return type"
 	};
 };
-const detectSimplifiableFunctionPatterns = (functionNode) => {
+const detectSimplifiableFunctionPatterns = (functionNode, context = {}) => {
 	if (!isOxcAstNode(functionNode)) return [];
 	const findings = [];
 	const blockArrow = detectBlockArrowSingleReturn(functionNode);
 	if (blockArrow) findings.push(blockArrow);
 	const awaitReturn = detectRedundantAwaitReturn(functionNode);
 	if (awaitReturn) findings.push(awaitReturn);
-	const uselessAsync = detectUselessAsync(functionNode);
+	const uselessAsync = detectUselessAsync(functionNode, context);
 	if (uselessAsync) findings.push(uselessAsync);
 	return findings;
 };
@@ -1169,9 +1206,12 @@ const inferFunctionName = (functionNode, parentContext) => {
 	if (declaredId?.name) return declaredId.name;
 	return parentContext;
 };
-const visitFunctionAndDescend = (functionNode, captures, contextName, recursionDepth) => {
+const visitFunctionAndDescend = (functionNode, captures, contextName, recursionDepth, isMethodContext, isInlineCallback) => {
 	const functionName = inferFunctionName(functionNode, contextName);
-	const detections = detectSimplifiableFunctionPatterns(functionNode);
+	const detections = detectSimplifiableFunctionPatterns(functionNode, {
+		isMethodContext,
+		isInlineCallback
+	});
 	for (const detection of detections) captures.push({
 		kind: detection.kind,
 		functionName,
@@ -1184,10 +1224,13 @@ const visitFunctionAndDescend = (functionNode, captures, contextName, recursionD
 	const parameters = functionNode.params ?? [];
 	for (const parameter of parameters) if (isOxcAstNode(parameter)) walkForFunctions(parameter, captures, functionName, recursionDepth + 1);
 };
+const isObjectMethodShorthand = (node) => (node.type === "Property" || node.type === "ObjectProperty") && node.method === true;
+const isObjectPropertyAssignment = (node) => (node.type === "Property" || node.type === "ObjectProperty") && node.method !== true;
+const isCallOrNewExpression = (node) => node.type === "CallExpression" || node.type === "NewExpression";
 const walkForFunctions = (node, captures, contextName, recursionDepth = 0) => {
 	if (recursionDepth > 200) return;
 	if (looksLikeFunction(node)) {
-		visitFunctionAndDescend(node, captures, contextName, recursionDepth);
+		visitFunctionAndDescend(node, captures, contextName, recursionDepth, false, false);
 		return;
 	}
 	let nextContext = contextName;
@@ -1203,6 +1246,35 @@ const walkForFunctions = (node, captures, contextName, recursionDepth = 0) => {
 		const className = getIdentifierName(node.id);
 		if (className) nextContext = className;
 	}
+	if (node.type === "MethodDefinition" || isObjectMethodShorthand(node)) {
+		const methodValue = node.value;
+		if (methodValue && isOxcAstNode(methodValue) && looksLikeFunction(methodValue)) {
+			visitFunctionAndDescend(methodValue, captures, getIdentifierName(node.key) ?? nextContext, recursionDepth + 1, true, false);
+			const keyNode = node.key;
+			if (keyNode && isOxcAstNode(keyNode) && node.computed) walkForFunctions(keyNode, captures, nextContext, recursionDepth + 1);
+			return;
+		}
+	}
+	if (isObjectPropertyAssignment(node)) {
+		const propertyValue = node.value;
+		if (propertyValue && isOxcAstNode(propertyValue) && looksLikeFunction(propertyValue)) {
+			visitFunctionAndDescend(propertyValue, captures, getIdentifierName(node.key) ?? nextContext, recursionDepth + 1, false, true);
+			const keyNode = node.key;
+			if (keyNode && isOxcAstNode(keyNode) && node.computed) walkForFunctions(keyNode, captures, nextContext, recursionDepth + 1);
+			return;
+		}
+	}
+	if (isCallOrNewExpression(node)) {
+		const callee = node.callee;
+		if (callee && isOxcAstNode(callee)) walkForFunctions(callee, captures, nextContext, recursionDepth + 1);
+		const callArguments = node.arguments ?? [];
+		for (const argument of callArguments) {
+			if (!isOxcAstNode(argument)) continue;
+			if (looksLikeFunction(argument)) visitFunctionAndDescend(argument, captures, nextContext, recursionDepth + 1, false, true);
+			else walkForFunctions(argument, captures, nextContext, recursionDepth + 1);
+		}
+		return;
+	}
 	for (const value of Object.values(node)) if (Array.isArray(value)) {
 		for (const element of value) if (isOxcAstNode(element)) walkForFunctions(element, captures, nextContext, recursionDepth + 1);
 	} else if (isOxcAstNode(value)) walkForFunctions(value, captures, nextContext, recursionDepth + 1);
@@ -1535,10 +1607,15 @@ const CSS_EXTENSIONS = [
 ];
 const CSS_IMPORT_PATTERN = /@import\s+(?:url\()?['"]([^'"]+)['"]\)?/g;
 const SCSS_USE_FORWARD_PATTERN = /@(?:use|forward)\s+['"]([^'"]+)['"]/g;
+const TAILWIND_PLUGIN_REFERENCE_PATTERN = /@(?:plugin|reference|config)\s+['"]([^'"]+)['"]/g;
 const parseCssImports = (filePath) => {
 	const sourceText = (0, node_fs.readFileSync)(filePath, "utf-8");
 	const imports = [];
-	const patterns = [CSS_IMPORT_PATTERN, SCSS_USE_FORWARD_PATTERN];
+	const patterns = [
+		CSS_IMPORT_PATTERN,
+		SCSS_USE_FORWARD_PATTERN,
+		TAILWIND_PLUGIN_REFERENCE_PATTERN
+	];
 	for (const pattern of patterns) {
 		let match;
 		pattern.lastIndex = 0;
@@ -1561,6 +1638,7 @@ const parseCssImports = (filePath) => {
 		memberAccesses: [],
 		wholeObjectUses: [],
 		localIdentifierReferences: [],
+		referencedFilenames: [],
 		redundantTypePatterns: [],
 		identityWrappers: [],
 		typeDefinitionHashes: [],
@@ -1600,6 +1678,7 @@ const createEmptyParsedSource = () => ({
 	memberAccesses: [],
 	wholeObjectUses: [],
 	localIdentifierReferences: [],
+	referencedFilenames: [],
 	redundantTypePatterns: [],
 	identityWrappers: [],
 	typeDefinitionHashes: [],
@@ -1743,6 +1822,7 @@ const parseSourceFile = (filePath) => {
 		...createEmptyParsedSource(),
 		imports,
 		exports,
+		referencedFilenames: extractReferencedFilenames(sourceText),
 		errors: [...earlyErrors, new ParseError({
 			code: "parse-recovered",
 			severity: "info",
@@ -1755,6 +1835,7 @@ const parseSourceFile = (filePath) => {
 		...createEmptyParsedSource(),
 		imports,
 		exports,
+		referencedFilenames: extractReferencedFilenames(sourceText),
 		errors: [...earlyErrors, new ParseError({
 			code: "parse-failed",
 			message: "oxc-parser returned no program body",
@@ -1807,50 +1888,63 @@ const parseSourceFile = (filePath) => {
 	safeWalk("collectDryPatterns", () => {
 		collectDryPatterns(program.body, sourceText, redundantTypePatterns, identityWrappers, typeDefinitionHashes);
 	}, void 0);
+	const inlineTypeLiterals = safeWalk("collectInlineTypeLiterals", () => collectInlineTypeLiterals(program.body), []).map((capture) => ({
+		structuralHash: capture.structuralHash,
+		memberCount: capture.memberCount,
+		preview: capture.preview,
+		context: capture.context,
+		nearestName: capture.nearestName,
+		line: getLineFromOffset(sourceText, capture.startOffset),
+		column: getColumnFromOffset(sourceText, capture.startOffset)
+	}));
+	const simplifiableFunctions = safeWalk("collectSimplifiableFunctions", () => collectSimplifiableFunctions(program.body), []).map((capture) => ({
+		kind: capture.kind,
+		functionName: capture.functionName,
+		line: getLineFromOffset(sourceText, capture.startOffset),
+		column: getColumnFromOffset(sourceText, capture.startOffset),
+		reason: capture.reason,
+		suggestion: capture.suggestion
+	}));
+	const simplifiableExpressions = safeWalk("collectSimplifiableExpressions", () => collectSimplifiableExpressions(program.body), []).map((capture) => ({
+		kind: capture.kind,
+		snippet: capture.snippet,
+		line: getLineFromOffset(sourceText, capture.startOffset),
+		column: getColumnFromOffset(sourceText, capture.startOffset),
+		reason: capture.reason,
+		suggestion: capture.suggestion
+	}));
+	const duplicateConstantCandidates = safeWalk("collectDuplicateConstantCandidates", () => collectDuplicateConstantCandidates(program.body), []).map((capture) => ({
+		constantName: capture.constantName,
+		literalHash: capture.literalHash,
+		literalPreview: capture.literalPreview,
+		line: getLineFromOffset(sourceText, capture.startOffset),
+		column: getColumnFromOffset(sourceText, capture.startOffset)
+	}));
 	return {
 		imports,
 		exports,
 		memberAccesses,
 		wholeObjectUses,
 		localIdentifierReferences,
+		referencedFilenames: extractReferencedFilenames(sourceText),
 		redundantTypePatterns,
 		identityWrappers,
 		typeDefinitionHashes,
-		inlineTypeLiterals: safeWalk("collectInlineTypeLiterals", () => collectInlineTypeLiterals(program.body), []).map((capture) => ({
-			structuralHash: capture.structuralHash,
-			memberCount: capture.memberCount,
-			preview: capture.preview,
-			context: capture.context,
-			nearestName: capture.nearestName,
-			line: getLineFromOffset(sourceText, capture.startOffset),
-			column: getColumnFromOffset(sourceText, capture.startOffset)
-		})),
-		simplifiableFunctions: safeWalk("collectSimplifiableFunctions", () => collectSimplifiableFunctions(program.body), []).map((capture) => ({
-			kind: capture.kind,
-			functionName: capture.functionName,
-			line: getLineFromOffset(sourceText, capture.startOffset),
-			column: getColumnFromOffset(sourceText, capture.startOffset),
-			reason: capture.reason,
-			suggestion: capture.suggestion
-		})),
-		simplifiableExpressions: safeWalk("collectSimplifiableExpressions", () => collectSimplifiableExpressions(program.body), []).map((capture) => ({
-			kind: capture.kind,
-			snippet: capture.snippet,
-			line: getLineFromOffset(sourceText, capture.startOffset),
-			column: getColumnFromOffset(sourceText, capture.startOffset),
-			reason: capture.reason,
-			suggestion: capture.suggestion
-		})),
-		duplicateConstantCandidates: safeWalk("collectDuplicateConstantCandidates", () => collectDuplicateConstantCandidates(program.body), []).map((capture) => ({
-			constantName: capture.constantName,
-			literalHash: capture.literalHash,
-			literalPreview: capture.literalPreview,
-			line: getLineFromOffset(sourceText, capture.startOffset),
-			column: getColumnFromOffset(sourceText, capture.startOffset)
-		})),
+		inlineTypeLiterals,
+		simplifiableFunctions,
+		simplifiableExpressions,
+		duplicateConstantCandidates,
 		errors: [...earlyErrors, ...detectorErrors]
 	};
 };
+const REFERENCED_FILENAME_LITERAL_PATTERN = /(?<![./@\w-])(?:["'`])([a-z][\w-]*\.(?:ts|tsx|js|jsx|mts|mjs|cts|cjs))(?:["'`])/g;
+const extractReferencedFilenames = (sourceText) => {
+	const captured = /* @__PURE__ */ new Set();
+	REFERENCED_FILENAME_LITERAL_PATTERN.lastIndex = 0;
+	let match;
+	while ((match = REFERENCED_FILENAME_LITERAL_PATTERN.exec(sourceText)) !== null) captured.add(match[1]);
+	return [...captured];
+};
 const collectDryPatterns = (bodyNodes, sourceText, redundantTypePatterns, identityWrappers, typeDefinitionHashes) => {
 	for (const statement of bodyNodes) inspectStatement(statement, sourceText, redundantTypePatterns, identityWrappers, typeDefinitionHashes);
 };
@@ -3452,8 +3546,11 @@ const resolveEntries = async (config) => {
 	}
 	const frameworkEntries = detectFrameworkEntries(absoluteRoot);
 	const entryEligiblePackages = workspacePackages.filter(isEntryEligible);
+	const monorepoRootForEntries = findMonorepoRoot(absoluteRoot);
+	const ancestorPackageJsonRoots = monorepoRootForEntries && monorepoRootForEntries !== absoluteRoot ? [monorepoRootForEntries] : [];
 	const scriptEntries = extractScriptEntries(absoluteRoot);
 	for (const workspacePackage of entryEligiblePackages) scriptEntries.push(...extractScriptEntries(workspacePackage.directory));
+	for (const ancestorRoot of ancestorPackageJsonRoots) for (const entryPath of extractScriptEntries(ancestorRoot)) if (entryPath.startsWith(`${absoluteRoot}/`)) scriptEntries.push(entryPath);
 	const webpackEntries = extractWebpackEntryPoints(absoluteRoot);
 	for (const workspacePackage of entryEligiblePackages) webpackEntries.push(...extractWebpackEntryPoints(workspacePackage.directory));
 	const viteEntries = extractViteEntryPoints(absoluteRoot);
@@ -6527,6 +6624,7 @@ const buildDependencyGraph = (inputs) => {
 		memberAccesses: input.parsed.memberAccesses,
 		wholeObjectUses: input.parsed.wholeObjectUses,
 		localIdentifierReferences: input.parsed.localIdentifierReferences,
+		referencedFilenames: input.parsed.referencedFilenames,
 		redundantTypePatterns: input.parsed.redundantTypePatterns,
 		identityWrappers: input.parsed.identityWrappers,
 		typeDefinitionHashes: input.parsed.typeDefinitionHashes,
@@ -6854,6 +6952,21 @@ const hasExcludedExtension = (filePath) => {
 	return EXCLUDED_EXTENSIONS.has(filePath.slice(lastDot));
 };
 const isExcludedByPattern = (filePath) => TEST_FILE_PATTERN.test(filePath) || EXCLUDED_DIRECTORY_PATTERN.test(filePath) || CONFIG_FILE_PATTERN.test(filePath);
+/**
+* Files the parser couldn't analyze (minified bundles, oversized files, binaries)
+* have no detectable imports — they're effectively opaque. Flagging them as
+* "unused" is a false positive because we can't see who imports them, and they
+* may be static assets, generated bundles, or build artifacts that get loaded
+* outside the JS module graph (HTML `<script src>`, `vite-plugin-string`, etc.).
+* The parser already records a `file-minified`/`file-too-large`/`file-binary`
+* info-level entry in `analysisErrors`, which is the actionable signal.
+*/
+const PARSE_OPAQUE_ERROR_CODES = new Set([
+	"file-minified",
+	"file-too-large",
+	"file-binary"
+]);
+const isOpaqueToAnalysis = (module) => module.parseErrors.some((parseError) => parseError.code && PARSE_OPAQUE_ERROR_CODES.has(parseError.code));
 const detectOrphanFiles = (graph) => {
 	const unusedFiles = [];
 	for (const module of graph.modules) {
@@ -6863,6 +6976,7 @@ const detectOrphanFiles = (graph) => {
 		if (module.isConfigFile) continue;
 		if (hasExcludedExtension(module.fileId.path)) continue;
 		if (isExcludedByPattern(module.fileId.path)) continue;
+		if (isOpaqueToAnalysis(module)) continue;
 		if (isBarrelWithReachableSources(module, graph)) continue;
 		if (hasReachableDirectImporter(module.fileId.index, graph)) continue;
 		unusedFiles.push({ path: module.fileId.path });
@@ -7193,13 +7307,13 @@ const detectStalePackages = (graph, config) => {
 	const declaredNames = new Set(declaredDependencies.keys());
 	const usedPackageNames = collectUsedPackages(graph);
 	const monorepoRoot = findMonorepoRoot(config.rootDir);
-	const nodeModulesRoot = monorepoRoot ?? config.rootDir;
+	const nodeModulesSearchRoots = monorepoRoot && monorepoRoot !== config.rootDir ? [config.rootDir, monorepoRoot] : [config.rootDir];
 	const allPackageJsonPaths = discoverAllPackageJsonPaths(config.rootDir);
 	if (monorepoRoot) {
 		const monorepoPackageJson = (0, node_path.join)(monorepoRoot, "package.json");
 		if (!allPackageJsonPaths.includes(monorepoPackageJson) && (0, node_fs.existsSync)(monorepoPackageJson)) allPackageJsonPaths.push(monorepoPackageJson);
 	}
-	const binToPackage = buildBinToPackageMap(nodeModulesRoot, declaredNames);
+	const binToPackage = buildBinToPackageMap(nodeModulesSearchRoots, declaredNames);
 	for (const workspacePackageJsonPath of allPackageJsonPaths) {
 		const scriptReferenced = collectScriptReferencedPackages(workspacePackageJsonPath, declaredNames, binToPackage);
 		for (const packageName of scriptReferenced) usedPackageNames.add(packageName);
@@ -7245,7 +7359,7 @@ const detectStalePackages = (graph, config) => {
 			if ("react-dom" in peerDeps && declaredDependencies.get("react-dom") === true) usedPackageNames.add("react-dom");
 		} catch {}
 	}
-	const peerSatisfied = collectPeerSatisfiedPackages(nodeModulesRoot, declaredNames, usedPackageNames);
+	const peerSatisfied = collectPeerSatisfiedPackages(nodeModulesSearchRoots, declaredNames, usedPackageNames);
 	for (const packageName of peerSatisfied) usedPackageNames.add(packageName);
 	const staticPeerSatisfied = collectStaticPeerSatisfiedPackages(declaredNames, usedPackageNames);
 	for (const packageName of staticPeerSatisfied) usedPackageNames.add(packageName);
@@ -7291,14 +7405,14 @@ const hasJsxFiles = (graph) => graph.modules.some((module) => {
 	const filePath = module.fileId.path;
 	return filePath.endsWith(".tsx") || filePath.endsWith(".jsx");
 });
-const collectPeerSatisfiedPackages = (rootDir, declaredNames, confirmedUsedNames) => {
+const collectPeerSatisfiedPackages = (nodeModulesSearchRoots, declaredNames, confirmedUsedNames) => {
 	const peerSatisfied = /* @__PURE__ */ new Set();
-	const nodeModulesDir = (0, node_path.join)(rootDir, "node_modules");
 	for (const installedName of declaredNames) {
 		if (!confirmedUsedNames.has(installedName)) continue;
-		const packageJsonPath = installedName.startsWith("@") ? (0, node_path.join)(nodeModulesDir, ...installedName.split("/"), "package.json") : (0, node_path.join)(nodeModulesDir, installedName, "package.json");
+		const installedPackageJsonPath = findInstalledPackageJsonPath(installedName, nodeModulesSearchRoots);
+		if (!installedPackageJsonPath) continue;
 		try {
-			const content = (0, node_fs.readFileSync)(packageJsonPath, "utf-8");
+			const content = (0, node_fs.readFileSync)(installedPackageJsonPath, "utf-8");
 			const peerDeps = JSON.parse(content).peerDependencies;
 			if (peerDeps && typeof peerDeps === "object") {
 				for (const peerName of Object.keys(peerDeps)) if (declaredNames.has(peerName)) peerSatisfied.add(peerName);
@@ -7309,6 +7423,12 @@ const collectPeerSatisfiedPackages = (rootDir, declaredNames, confirmedUsedNames
 	}
 	return peerSatisfied;
 };
+const findInstalledPackageJsonPath = (packageName, nodeModulesSearchRoots) => {
+	for (const searchRoot of nodeModulesSearchRoots) {
+		const candidatePath = packageName.startsWith("@") ? (0, node_path.join)(searchRoot, "node_modules", ...packageName.split("/"), "package.json") : (0, node_path.join)(searchRoot, "node_modules", packageName, "package.json");
+		if ((0, node_fs.existsSync)(candidatePath)) return candidatePath;
+	}
+};
 const STATIC_PEER_DEPENDENCY_MAP = {
 	"@apollo/client": ["graphql"],
 	"@docusaurus/core": ["@mdx-js/react"],
@@ -7413,11 +7533,12 @@ const ENV_WRAPPER_BINARY_SET = new Set([
 	"env-cmd"
 ]);
 const INLINE_ENV_VAR_PATTERN = /^[A-Z_][A-Z0-9_]*=/;
-const buildBinToPackageMap = (rootDir, declaredNames) => {
+const buildBinToPackageMap = (nodeModulesSearchRoots, declaredNames) => {
 	const binToPackage = /* @__PURE__ */ new Map();
 	for (const [binary, packageName] of Object.entries(CLI_BINARY_TO_PACKAGE)) binToPackage.set(binary, packageName);
 	for (const packageName of declaredNames) {
-		const packageBinJsonPath = packageName.startsWith("@") ? (0, node_path.join)(rootDir, "node_modules", ...packageName.split("/"), "package.json") : (0, node_path.join)(rootDir, "node_modules", packageName, "package.json");
+		const packageBinJsonPath = findInstalledPackageJsonPath(packageName, nodeModulesSearchRoots);
+		if (!packageBinJsonPath) continue;
 		try {
 			const binContent = (0, node_fs.readFileSync)(packageBinJsonPath, "utf-8");
 			const binPackageJson = JSON.parse(binContent);
@@ -8127,7 +8248,7 @@ const detectDuplicateImports = (graph) => {
 	const findings = [];
 	for (const module of graph.modules) {
 		if (module.isDeclarationFile) continue;
-		const specifierToOccurrences = /* @__PURE__ */ new Map();
+		const groupedByKindAndSpecifier = /* @__PURE__ */ new Map();
 		for (const importInfo of module.imports) {
 			if (importInfo.isSideEffect) continue;
 			if (importInfo.isDynamic) continue;
@@ -8138,18 +8259,21 @@ const detectDuplicateImports = (graph) => {
 				importedNames: importInfo.importedNames.map((binding) => binding.isNamespace ? `* as ${binding.alias ?? ""}` : binding.alias ?? binding.name),
 				isTypeOnly: importInfo.isTypeOnly
 			};
-			const existing = specifierToOccurrences.get(importInfo.specifier);
+			const groupKey = `${importInfo.isTypeOnly ? "type" : "value"}:${importInfo.specifier}`;
+			const existing = groupedByKindAndSpecifier.get(groupKey);
 			if (existing) existing.push(occurrence);
-			else specifierToOccurrences.set(importInfo.specifier, [occurrence]);
+			else groupedByKindAndSpecifier.set(groupKey, [occurrence]);
 		}
-		for (const [specifier, occurrences] of specifierToOccurrences) {
+		for (const [groupKey, occurrences] of groupedByKindAndSpecifier) {
 			if (occurrences.length < 2) continue;
+			const specifier = groupKey.slice(groupKey.indexOf(":") + 1);
+			const kindLabel = groupKey.startsWith("type:") ? "type-only " : "";
 			findings.push({
 				path: module.fileId.path,
 				specifier,
 				occurrences,
 				confidence: "high",
-				reason: `"${specifier}" is imported ${occurrences.length} times in this file — merge into a single statement`
+				reason: `"${specifier}" is imported ${occurrences.length} times in this file as ${kindLabel}imports — merge into a single statement`
 			});
 		}
 	}
@@ -8244,6 +8368,7 @@ const detectDuplicateConstants = (graph) => {
 		const uniqueFilePaths = new Set(bucket.occurrences.map((occurrence) => occurrence.path));
 		if (uniqueFilePaths.size < 3) continue;
 		const uniqueNames = new Set(bucket.occurrences.map((occurrence) => occurrence.constantName));
+		if (uniqueNames.size > 1 && hasDistinctUnitSuffixes([...uniqueNames])) continue;
 		findings.push({
 			literalHash,
 			literalPreview: bucket.literalPreview,
@@ -8254,6 +8379,29 @@ const detectDuplicateConstants = (graph) => {
 	}
 	return findings;
 };
+const TRAILING_NAME_TOKEN_PATTERN = /_([A-Z][A-Z0-9]*)$/;
+const extractTrailingNameToken = (constantName) => {
+	const match = constantName.match(TRAILING_NAME_TOKEN_PATTERN);
+	return match ? match[1] : void 0;
+};
+/**
+* AGENTS.md requires magic numbers to use trailing unit suffixes (`_MS`, `_PX`,
+* `_TOKENS`, `_WIDTH`, …). When same-value constants carry DIFFERENT trailing
+* tokens (e.g. `STEP_DELAY_MS = 1000` vs `MINIMUM_TOKENS = 1000`), they
+* represent semantically distinct quantities that cannot be consolidated —
+* flagging them as duplicates is misleading. Constants sharing the same
+* trailing token (e.g. `CACHE_INTERVAL_MS` + `RECONNECT_DELAY_MS`, both `_MS`)
+* stay flagged because they are at least same-unit and might be extractable.
+*/
+const hasDistinctUnitSuffixes = (constantNames) => {
+	const trailingTokens = /* @__PURE__ */ new Set();
+	for (const name of constantNames) {
+		const token = extractTrailingNameToken(name);
+		if (!token) return false;
+		trailingTokens.add(token);
+	}
+	return trailingTokens.size > 1;
+};
 const detectSimplifiableExpressions = (graph) => {
 	const findings = [];
 	for (const module of graph.modules) {
@@ -9353,6 +9501,39 @@ const generateReport = (graph, config) => {
 //#region src/index.ts
 const STYLE_EXTENSIONS = [".css", ".scss"];
 const REACT_NATIVE_ENABLERS = ["react-native", "expo"];
+const basenameFromPath = (filePath) => {
+	const lastSlashIndex = filePath.lastIndexOf("/");
+	return lastSlashIndex === -1 ? filePath : filePath.slice(lastSlashIndex + 1);
+};
+/**
+* Dynamic registry pattern: many codebases use a central "schema/registry"
+* module that lists tool/command/page filenames as string literals, then a
+* runner spawns them via `path.resolve(dir, file)` or `import()`. Static
+* analysis can't follow the indirection, so those targets get falsely
+* flagged as unused.
+*
+* Heuristic: if a parsed string literal exactly matches the basename of
+* exactly one file in the project, treat that file as an entry point.
+* Uniqueness guards against false-positives from common names like
+* `index.ts` matching dozens of unrelated files.
+*/
+const markFilenameRegistryEntries = (moduleGraph) => {
+	const basenameToModuleIndex = /* @__PURE__ */ new Map();
+	for (const module of moduleGraph.modules) {
+		const basename = basenameFromPath(module.fileId.path);
+		const existing = basenameToModuleIndex.get(basename);
+		if (existing === void 0) basenameToModuleIndex.set(basename, module.fileId.index);
+		else if (existing !== "ambiguous") basenameToModuleIndex.set(basename, "ambiguous");
+	}
+	for (const module of moduleGraph.modules) for (const referencedFilename of module.referencedFilenames) {
+		const targetIndex = basenameToModuleIndex.get(referencedFilename);
+		if (typeof targetIndex !== "number") continue;
+		const targetModule = moduleGraph.modules[targetIndex];
+		if (!targetModule || targetModule.isEntryPoint) continue;
+		if (targetModule.fileId.index === module.fileId.index) continue;
+		targetModule.isEntryPoint = true;
+	}
+};
 const detectReactNative = (rootDir, workspacePackages) => {
 	const directoriesToCheck = [rootDir, ...workspacePackages.map((workspacePackage) => workspacePackage.directory)];
 	for (const directory of directoriesToCheck) {
@@ -9510,11 +9691,7 @@ const analyze = async (config) => {
 		}));
 	}
 	const absoluteRoot = (0, node_path.resolve)(config.rootDir);
-	const outputDirectoryExclusions = OUTPUT_DIRECTORIES.flatMap((outputDirectory) => {
-		const exclusions = [`${absoluteRoot}/${outputDirectory}/**`];
-		for (const workspacePackage of workspacePackages) exclusions.push(`${workspacePackage.directory}/${outputDirectory}/**`);
-		return exclusions;
-	});
+	const outputDirectoryExclusions = OUTPUT_DIRECTORIES.flatMap((outputDirectory) => [`${absoluteRoot}/${outputDirectory}/**`, `${absoluteRoot}/**/${outputDirectory}/**`]);
 	const allExclusionPatterns = [
 		...workspaceDiscovery.excludedDirectories.map((directory) => `${directory}/**`),
 		...frameworkIgnorePatterns,
@@ -9714,6 +9891,7 @@ const analyze = async (config) => {
 			detail: describeUnknownError(reExportError)
 		}));
 	}
+	markFilenameRegistryEntries(moduleGraph);
 	try {
 		traceReachability(moduleGraph);
 	} catch (reachabilityError) {

package/dist/index.mjs

@@ -1047,10 +1047,22 @@ const containsCallOrPromiseSurface = (node, recursionDepth = 0) => {
 	}
 	return false;
 };
+const unwrapParenthesizedExpression = (node) => {
+	let current = node;
+	while (current.type === "ParenthesizedExpression") {
+		const inner = current.expression;
+		if (!inner || !isOxcAstNode(inner)) return current;
+		current = inner;
+	}
+	return current;
+};
 const isSimpleReturnArgument = (argumentNode) => {
 	if (!isOxcAstNode(argumentNode)) return false;
-	if (argumentNode.type === "BlockStatement") return false;
-	if (argumentNode.type === "ObjectExpression") return false;
+	const unwrapped = unwrapParenthesizedExpression(argumentNode);
+	if (unwrapped.type === "BlockStatement") return false;
+	if (unwrapped.type === "ObjectExpression") return false;
+	if (unwrapped.type === "JSXElement") return false;
+	if (unwrapped.type === "JSXFragment") return false;
 	return true;
 };
 const detectBlockArrowSingleReturn = (functionNode) => {
@@ -1104,9 +1116,34 @@ const detectRedundantAwaitReturn = (functionNode) => {
 	};
 };
 const isAsyncFunction = (functionNode) => Boolean(functionNode.async);
-const detectUselessAsync = (functionNode) => {
+const containsPromiseTypeReference = (node, recursionDepth = 0) => {
+	if (recursionDepth > 30) return false;
+	if (!isOxcAstNode(node)) return false;
+	if (node.type === "TSTypeReference") {
+		const typeName = node.typeName;
+		if (typeName?.name === "Promise") return true;
+		if (typeName?.right?.name === "Promise") return true;
+	}
+	for (const value of Object.values(node)) if (Array.isArray(value)) {
+		for (const element of value) if (containsPromiseTypeReference(element, recursionDepth + 1)) return true;
+	} else if (isOxcAstNode(value)) {
+		if (containsPromiseTypeReference(value, recursionDepth + 1)) return true;
+	}
+	return false;
+};
+const hasExplicitPromiseReturnType = (functionNode) => {
+	const returnType = functionNode.returnType;
+	if (!returnType || !isOxcAstNode(returnType)) return false;
+	const annotation = returnType.typeAnnotation;
+	if (!annotation || !isOxcAstNode(annotation)) return false;
+	return containsPromiseTypeReference(annotation);
+};
+const detectUselessAsync = (functionNode, context) => {
 	if (!isAsyncFunction(functionNode)) return void 0;
 	if (functionNode.type === "ClassDeclaration" || functionNode.type === "MethodDefinition") return;
+	if (context.isMethodContext) return void 0;
+	if (context.isInlineCallback) return void 0;
+	if (hasExplicitPromiseReturnType(functionNode)) return void 0;
 	const bodyNode = functionNode.body;
 	if (!isOxcAstNode(bodyNode)) return void 0;
 	if (containsAwaitExpression(bodyNode)) return void 0;
@@ -1118,14 +1155,14 @@ const detectUselessAsync = (functionNode) => {
 		suggestion: "drop `async` (caller's existing `await` keeps the type identical) or add an explicit return type"
 	};
 };
-const detectSimplifiableFunctionPatterns = (functionNode) => {
+const detectSimplifiableFunctionPatterns = (functionNode, context = {}) => {
 	if (!isOxcAstNode(functionNode)) return [];
 	const findings = [];
 	const blockArrow = detectBlockArrowSingleReturn(functionNode);
 	if (blockArrow) findings.push(blockArrow);
 	const awaitReturn = detectRedundantAwaitReturn(functionNode);
 	if (awaitReturn) findings.push(awaitReturn);
-	const uselessAsync = detectUselessAsync(functionNode);
+	const uselessAsync = detectUselessAsync(functionNode, context);
 	if (uselessAsync) findings.push(uselessAsync);
 	return findings;
 };
@@ -1138,9 +1175,12 @@ const inferFunctionName = (functionNode, parentContext) => {
 	if (declaredId?.name) return declaredId.name;
 	return parentContext;
 };
-const visitFunctionAndDescend = (functionNode, captures, contextName, recursionDepth) => {
+const visitFunctionAndDescend = (functionNode, captures, contextName, recursionDepth, isMethodContext, isInlineCallback) => {
 	const functionName = inferFunctionName(functionNode, contextName);
-	const detections = detectSimplifiableFunctionPatterns(functionNode);
+	const detections = detectSimplifiableFunctionPatterns(functionNode, {
+		isMethodContext,
+		isInlineCallback
+	});
 	for (const detection of detections) captures.push({
 		kind: detection.kind,
 		functionName,
@@ -1153,10 +1193,13 @@ const visitFunctionAndDescend = (functionNode, captures, contextName, recursionD
 	const parameters = functionNode.params ?? [];
 	for (const parameter of parameters) if (isOxcAstNode(parameter)) walkForFunctions(parameter, captures, functionName, recursionDepth + 1);
 };
+const isObjectMethodShorthand = (node) => (node.type === "Property" || node.type === "ObjectProperty") && node.method === true;
+const isObjectPropertyAssignment = (node) => (node.type === "Property" || node.type === "ObjectProperty") && node.method !== true;
+const isCallOrNewExpression = (node) => node.type === "CallExpression" || node.type === "NewExpression";
 const walkForFunctions = (node, captures, contextName, recursionDepth = 0) => {
 	if (recursionDepth > 200) return;
 	if (looksLikeFunction(node)) {
-		visitFunctionAndDescend(node, captures, contextName, recursionDepth);
+		visitFunctionAndDescend(node, captures, contextName, recursionDepth, false, false);
 		return;
 	}
 	let nextContext = contextName;
@@ -1172,6 +1215,35 @@ const walkForFunctions = (node, captures, contextName, recursionDepth = 0) => {
 		const className = getIdentifierName(node.id);
 		if (className) nextContext = className;
 	}
+	if (node.type === "MethodDefinition" || isObjectMethodShorthand(node)) {
+		const methodValue = node.value;
+		if (methodValue && isOxcAstNode(methodValue) && looksLikeFunction(methodValue)) {
+			visitFunctionAndDescend(methodValue, captures, getIdentifierName(node.key) ?? nextContext, recursionDepth + 1, true, false);
+			const keyNode = node.key;
+			if (keyNode && isOxcAstNode(keyNode) && node.computed) walkForFunctions(keyNode, captures, nextContext, recursionDepth + 1);
+			return;
+		}
+	}
+	if (isObjectPropertyAssignment(node)) {
+		const propertyValue = node.value;
+		if (propertyValue && isOxcAstNode(propertyValue) && looksLikeFunction(propertyValue)) {
+			visitFunctionAndDescend(propertyValue, captures, getIdentifierName(node.key) ?? nextContext, recursionDepth + 1, false, true);
+			const keyNode = node.key;
+			if (keyNode && isOxcAstNode(keyNode) && node.computed) walkForFunctions(keyNode, captures, nextContext, recursionDepth + 1);
+			return;
+		}
+	}
+	if (isCallOrNewExpression(node)) {
+		const callee = node.callee;
+		if (callee && isOxcAstNode(callee)) walkForFunctions(callee, captures, nextContext, recursionDepth + 1);
+		const callArguments = node.arguments ?? [];
+		for (const argument of callArguments) {
+			if (!isOxcAstNode(argument)) continue;
+			if (looksLikeFunction(argument)) visitFunctionAndDescend(argument, captures, nextContext, recursionDepth + 1, false, true);
+			else walkForFunctions(argument, captures, nextContext, recursionDepth + 1);
+		}
+		return;
+	}
 	for (const value of Object.values(node)) if (Array.isArray(value)) {
 		for (const element of value) if (isOxcAstNode(element)) walkForFunctions(element, captures, nextContext, recursionDepth + 1);
 	} else if (isOxcAstNode(value)) walkForFunctions(value, captures, nextContext, recursionDepth + 1);
@@ -1504,10 +1576,15 @@ const CSS_EXTENSIONS = [
 ];
 const CSS_IMPORT_PATTERN = /@import\s+(?:url\()?['"]([^'"]+)['"]\)?/g;
 const SCSS_USE_FORWARD_PATTERN = /@(?:use|forward)\s+['"]([^'"]+)['"]/g;
+const TAILWIND_PLUGIN_REFERENCE_PATTERN = /@(?:plugin|reference|config)\s+['"]([^'"]+)['"]/g;
 const parseCssImports = (filePath) => {
 	const sourceText = readFileSync(filePath, "utf-8");
 	const imports = [];
-	const patterns = [CSS_IMPORT_PATTERN, SCSS_USE_FORWARD_PATTERN];
+	const patterns = [
+		CSS_IMPORT_PATTERN,
+		SCSS_USE_FORWARD_PATTERN,
+		TAILWIND_PLUGIN_REFERENCE_PATTERN
+	];
 	for (const pattern of patterns) {
 		let match;
 		pattern.lastIndex = 0;
@@ -1530,6 +1607,7 @@ const parseCssImports = (filePath) => {
 		memberAccesses: [],
 		wholeObjectUses: [],
 		localIdentifierReferences: [],
+		referencedFilenames: [],
 		redundantTypePatterns: [],
 		identityWrappers: [],
 		typeDefinitionHashes: [],
@@ -1569,6 +1647,7 @@ const createEmptyParsedSource = () => ({
 	memberAccesses: [],
 	wholeObjectUses: [],
 	localIdentifierReferences: [],
+	referencedFilenames: [],
 	redundantTypePatterns: [],
 	identityWrappers: [],
 	typeDefinitionHashes: [],
@@ -1712,6 +1791,7 @@ const parseSourceFile = (filePath) => {
 		...createEmptyParsedSource(),
 		imports,
 		exports,
+		referencedFilenames: extractReferencedFilenames(sourceText),
 		errors: [...earlyErrors, new ParseError({
 			code: "parse-recovered",
 			severity: "info",
@@ -1724,6 +1804,7 @@ const parseSourceFile = (filePath) => {
 		...createEmptyParsedSource(),
 		imports,
 		exports,
+		referencedFilenames: extractReferencedFilenames(sourceText),
 		errors: [...earlyErrors, new ParseError({
 			code: "parse-failed",
 			message: "oxc-parser returned no program body",
@@ -1776,50 +1857,63 @@ const parseSourceFile = (filePath) => {
 	safeWalk("collectDryPatterns", () => {
 		collectDryPatterns(program.body, sourceText, redundantTypePatterns, identityWrappers, typeDefinitionHashes);
 	}, void 0);
+	const inlineTypeLiterals = safeWalk("collectInlineTypeLiterals", () => collectInlineTypeLiterals(program.body), []).map((capture) => ({
+		structuralHash: capture.structuralHash,
+		memberCount: capture.memberCount,
+		preview: capture.preview,
+		context: capture.context,
+		nearestName: capture.nearestName,
+		line: getLineFromOffset(sourceText, capture.startOffset),
+		column: getColumnFromOffset(sourceText, capture.startOffset)
+	}));
+	const simplifiableFunctions = safeWalk("collectSimplifiableFunctions", () => collectSimplifiableFunctions(program.body), []).map((capture) => ({
+		kind: capture.kind,
+		functionName: capture.functionName,
+		line: getLineFromOffset(sourceText, capture.startOffset),
+		column: getColumnFromOffset(sourceText, capture.startOffset),
+		reason: capture.reason,
+		suggestion: capture.suggestion
+	}));
+	const simplifiableExpressions = safeWalk("collectSimplifiableExpressions", () => collectSimplifiableExpressions(program.body), []).map((capture) => ({
+		kind: capture.kind,
+		snippet: capture.snippet,
+		line: getLineFromOffset(sourceText, capture.startOffset),
+		column: getColumnFromOffset(sourceText, capture.startOffset),
+		reason: capture.reason,
+		suggestion: capture.suggestion
+	}));
+	const duplicateConstantCandidates = safeWalk("collectDuplicateConstantCandidates", () => collectDuplicateConstantCandidates(program.body), []).map((capture) => ({
+		constantName: capture.constantName,
+		literalHash: capture.literalHash,
+		literalPreview: capture.literalPreview,
+		line: getLineFromOffset(sourceText, capture.startOffset),
+		column: getColumnFromOffset(sourceText, capture.startOffset)
+	}));
 	return {
 		imports,
 		exports,
 		memberAccesses,
 		wholeObjectUses,
 		localIdentifierReferences,
+		referencedFilenames: extractReferencedFilenames(sourceText),
 		redundantTypePatterns,
 		identityWrappers,
 		typeDefinitionHashes,
-		inlineTypeLiterals: safeWalk("collectInlineTypeLiterals", () => collectInlineTypeLiterals(program.body), []).map((capture) => ({
-			structuralHash: capture.structuralHash,
-			memberCount: capture.memberCount,
-			preview: capture.preview,
-			context: capture.context,
-			nearestName: capture.nearestName,
-			line: getLineFromOffset(sourceText, capture.startOffset),
-			column: getColumnFromOffset(sourceText, capture.startOffset)
-		})),
-		simplifiableFunctions: safeWalk("collectSimplifiableFunctions", () => collectSimplifiableFunctions(program.body), []).map((capture) => ({
-			kind: capture.kind,
-			functionName: capture.functionName,
-			line: getLineFromOffset(sourceText, capture.startOffset),
-			column: getColumnFromOffset(sourceText, capture.startOffset),
-			reason: capture.reason,
-			suggestion: capture.suggestion
-		})),
-		simplifiableExpressions: safeWalk("collectSimplifiableExpressions", () => collectSimplifiableExpressions(program.body), []).map((capture) => ({
-			kind: capture.kind,
-			snippet: capture.snippet,
-			line: getLineFromOffset(sourceText, capture.startOffset),
-			column: getColumnFromOffset(sourceText, capture.startOffset),
-			reason: capture.reason,
-			suggestion: capture.suggestion
-		})),
-		duplicateConstantCandidates: safeWalk("collectDuplicateConstantCandidates", () => collectDuplicateConstantCandidates(program.body), []).map((capture) => ({
-			constantName: capture.constantName,
-			literalHash: capture.literalHash,
-			literalPreview: capture.literalPreview,
-			line: getLineFromOffset(sourceText, capture.startOffset),
-			column: getColumnFromOffset(sourceText, capture.startOffset)
-		})),
+		inlineTypeLiterals,
+		simplifiableFunctions,
+		simplifiableExpressions,
+		duplicateConstantCandidates,
 		errors: [...earlyErrors, ...detectorErrors]
 	};
 };
+const REFERENCED_FILENAME_LITERAL_PATTERN = /(?<![./@\w-])(?:["'`])([a-z][\w-]*\.(?:ts|tsx|js|jsx|mts|mjs|cts|cjs))(?:["'`])/g;
+const extractReferencedFilenames = (sourceText) => {
+	const captured = /* @__PURE__ */ new Set();
+	REFERENCED_FILENAME_LITERAL_PATTERN.lastIndex = 0;
+	let match;
+	while ((match = REFERENCED_FILENAME_LITERAL_PATTERN.exec(sourceText)) !== null) captured.add(match[1]);
+	return [...captured];
+};
 const collectDryPatterns = (bodyNodes, sourceText, redundantTypePatterns, identityWrappers, typeDefinitionHashes) => {
 	for (const statement of bodyNodes) inspectStatement(statement, sourceText, redundantTypePatterns, identityWrappers, typeDefinitionHashes);
 };
@@ -3421,8 +3515,11 @@ const resolveEntries = async (config) => {
 	}
 	const frameworkEntries = detectFrameworkEntries(absoluteRoot);
 	const entryEligiblePackages = workspacePackages.filter(isEntryEligible);
+	const monorepoRootForEntries = findMonorepoRoot(absoluteRoot);
+	const ancestorPackageJsonRoots = monorepoRootForEntries && monorepoRootForEntries !== absoluteRoot ? [monorepoRootForEntries] : [];
 	const scriptEntries = extractScriptEntries(absoluteRoot);
 	for (const workspacePackage of entryEligiblePackages) scriptEntries.push(...extractScriptEntries(workspacePackage.directory));
+	for (const ancestorRoot of ancestorPackageJsonRoots) for (const entryPath of extractScriptEntries(ancestorRoot)) if (entryPath.startsWith(`${absoluteRoot}/`)) scriptEntries.push(entryPath);
 	const webpackEntries = extractWebpackEntryPoints(absoluteRoot);
 	for (const workspacePackage of entryEligiblePackages) webpackEntries.push(...extractWebpackEntryPoints(workspacePackage.directory));
 	const viteEntries = extractViteEntryPoints(absoluteRoot);
@@ -6496,6 +6593,7 @@ const buildDependencyGraph = (inputs) => {
 		memberAccesses: input.parsed.memberAccesses,
 		wholeObjectUses: input.parsed.wholeObjectUses,
 		localIdentifierReferences: input.parsed.localIdentifierReferences,
+		referencedFilenames: input.parsed.referencedFilenames,
 		redundantTypePatterns: input.parsed.redundantTypePatterns,
 		identityWrappers: input.parsed.identityWrappers,
 		typeDefinitionHashes: input.parsed.typeDefinitionHashes,
@@ -6823,6 +6921,21 @@ const hasExcludedExtension = (filePath) => {
 	return EXCLUDED_EXTENSIONS.has(filePath.slice(lastDot));
 };
 const isExcludedByPattern = (filePath) => TEST_FILE_PATTERN.test(filePath) || EXCLUDED_DIRECTORY_PATTERN.test(filePath) || CONFIG_FILE_PATTERN.test(filePath);
+/**
+* Files the parser couldn't analyze (minified bundles, oversized files, binaries)
+* have no detectable imports — they're effectively opaque. Flagging them as
+* "unused" is a false positive because we can't see who imports them, and they
+* may be static assets, generated bundles, or build artifacts that get loaded
+* outside the JS module graph (HTML `<script src>`, `vite-plugin-string`, etc.).
+* The parser already records a `file-minified`/`file-too-large`/`file-binary`
+* info-level entry in `analysisErrors`, which is the actionable signal.
+*/
+const PARSE_OPAQUE_ERROR_CODES = new Set([
+	"file-minified",
+	"file-too-large",
+	"file-binary"
+]);
+const isOpaqueToAnalysis = (module) => module.parseErrors.some((parseError) => parseError.code && PARSE_OPAQUE_ERROR_CODES.has(parseError.code));
 const detectOrphanFiles = (graph) => {
 	const unusedFiles = [];
 	for (const module of graph.modules) {
@@ -6832,6 +6945,7 @@ const detectOrphanFiles = (graph) => {
 		if (module.isConfigFile) continue;
 		if (hasExcludedExtension(module.fileId.path)) continue;
 		if (isExcludedByPattern(module.fileId.path)) continue;
+		if (isOpaqueToAnalysis(module)) continue;
 		if (isBarrelWithReachableSources(module, graph)) continue;
 		if (hasReachableDirectImporter(module.fileId.index, graph)) continue;
 		unusedFiles.push({ path: module.fileId.path });
@@ -7162,13 +7276,13 @@ const detectStalePackages = (graph, config) => {
 	const declaredNames = new Set(declaredDependencies.keys());
 	const usedPackageNames = collectUsedPackages(graph);
 	const monorepoRoot = findMonorepoRoot(config.rootDir);
-	const nodeModulesRoot = monorepoRoot ?? config.rootDir;
+	const nodeModulesSearchRoots = monorepoRoot && monorepoRoot !== config.rootDir ? [config.rootDir, monorepoRoot] : [config.rootDir];
 	const allPackageJsonPaths = discoverAllPackageJsonPaths(config.rootDir);
 	if (monorepoRoot) {
 		const monorepoPackageJson = join(monorepoRoot, "package.json");
 		if (!allPackageJsonPaths.includes(monorepoPackageJson) && existsSync(monorepoPackageJson)) allPackageJsonPaths.push(monorepoPackageJson);
 	}
-	const binToPackage = buildBinToPackageMap(nodeModulesRoot, declaredNames);
+	const binToPackage = buildBinToPackageMap(nodeModulesSearchRoots, declaredNames);
 	for (const workspacePackageJsonPath of allPackageJsonPaths) {
 		const scriptReferenced = collectScriptReferencedPackages(workspacePackageJsonPath, declaredNames, binToPackage);
 		for (const packageName of scriptReferenced) usedPackageNames.add(packageName);
@@ -7214,7 +7328,7 @@ const detectStalePackages = (graph, config) => {
 			if ("react-dom" in peerDeps && declaredDependencies.get("react-dom") === true) usedPackageNames.add("react-dom");
 		} catch {}
 	}
-	const peerSatisfied = collectPeerSatisfiedPackages(nodeModulesRoot, declaredNames, usedPackageNames);
+	const peerSatisfied = collectPeerSatisfiedPackages(nodeModulesSearchRoots, declaredNames, usedPackageNames);
 	for (const packageName of peerSatisfied) usedPackageNames.add(packageName);
 	const staticPeerSatisfied = collectStaticPeerSatisfiedPackages(declaredNames, usedPackageNames);
 	for (const packageName of staticPeerSatisfied) usedPackageNames.add(packageName);
@@ -7260,14 +7374,14 @@ const hasJsxFiles = (graph) => graph.modules.some((module) => {
 	const filePath = module.fileId.path;
 	return filePath.endsWith(".tsx") || filePath.endsWith(".jsx");
 });
-const collectPeerSatisfiedPackages = (rootDir, declaredNames, confirmedUsedNames) => {
+const collectPeerSatisfiedPackages = (nodeModulesSearchRoots, declaredNames, confirmedUsedNames) => {
 	const peerSatisfied = /* @__PURE__ */ new Set();
-	const nodeModulesDir = join(rootDir, "node_modules");
 	for (const installedName of declaredNames) {
 		if (!confirmedUsedNames.has(installedName)) continue;
-		const packageJsonPath = installedName.startsWith("@") ? join(nodeModulesDir, ...installedName.split("/"), "package.json") : join(nodeModulesDir, installedName, "package.json");
+		const installedPackageJsonPath = findInstalledPackageJsonPath(installedName, nodeModulesSearchRoots);
+		if (!installedPackageJsonPath) continue;
 		try {
-			const content = readFileSync(packageJsonPath, "utf-8");
+			const content = readFileSync(installedPackageJsonPath, "utf-8");
 			const peerDeps = JSON.parse(content).peerDependencies;
 			if (peerDeps && typeof peerDeps === "object") {
 				for (const peerName of Object.keys(peerDeps)) if (declaredNames.has(peerName)) peerSatisfied.add(peerName);
@@ -7278,6 +7392,12 @@ const collectPeerSatisfiedPackages = (rootDir, declaredNames, confirmedUsedNames
 	}
 	return peerSatisfied;
 };
+const findInstalledPackageJsonPath = (packageName, nodeModulesSearchRoots) => {
+	for (const searchRoot of nodeModulesSearchRoots) {
+		const candidatePath = packageName.startsWith("@") ? join(searchRoot, "node_modules", ...packageName.split("/"), "package.json") : join(searchRoot, "node_modules", packageName, "package.json");
+		if (existsSync(candidatePath)) return candidatePath;
+	}
+};
 const STATIC_PEER_DEPENDENCY_MAP = {
 	"@apollo/client": ["graphql"],
 	"@docusaurus/core": ["@mdx-js/react"],
@@ -7382,11 +7502,12 @@ const ENV_WRAPPER_BINARY_SET = new Set([
 	"env-cmd"
 ]);
 const INLINE_ENV_VAR_PATTERN = /^[A-Z_][A-Z0-9_]*=/;
-const buildBinToPackageMap = (rootDir, declaredNames) => {
+const buildBinToPackageMap = (nodeModulesSearchRoots, declaredNames) => {
 	const binToPackage = /* @__PURE__ */ new Map();
 	for (const [binary, packageName] of Object.entries(CLI_BINARY_TO_PACKAGE)) binToPackage.set(binary, packageName);
 	for (const packageName of declaredNames) {
-		const packageBinJsonPath = packageName.startsWith("@") ? join(rootDir, "node_modules", ...packageName.split("/"), "package.json") : join(rootDir, "node_modules", packageName, "package.json");
+		const packageBinJsonPath = findInstalledPackageJsonPath(packageName, nodeModulesSearchRoots);
+		if (!packageBinJsonPath) continue;
 		try {
 			const binContent = readFileSync(packageBinJsonPath, "utf-8");
 			const binPackageJson = JSON.parse(binContent);
@@ -8096,7 +8217,7 @@ const detectDuplicateImports = (graph) => {
 	const findings = [];
 	for (const module of graph.modules) {
 		if (module.isDeclarationFile) continue;
-		const specifierToOccurrences = /* @__PURE__ */ new Map();
+		const groupedByKindAndSpecifier = /* @__PURE__ */ new Map();
 		for (const importInfo of module.imports) {
 			if (importInfo.isSideEffect) continue;
 			if (importInfo.isDynamic) continue;
@@ -8107,18 +8228,21 @@ const detectDuplicateImports = (graph) => {
 				importedNames: importInfo.importedNames.map((binding) => binding.isNamespace ? `* as ${binding.alias ?? ""}` : binding.alias ?? binding.name),
 				isTypeOnly: importInfo.isTypeOnly
 			};
-			const existing = specifierToOccurrences.get(importInfo.specifier);
+			const groupKey = `${importInfo.isTypeOnly ? "type" : "value"}:${importInfo.specifier}`;
+			const existing = groupedByKindAndSpecifier.get(groupKey);
 			if (existing) existing.push(occurrence);
-			else specifierToOccurrences.set(importInfo.specifier, [occurrence]);
+			else groupedByKindAndSpecifier.set(groupKey, [occurrence]);
 		}
-		for (const [specifier, occurrences] of specifierToOccurrences) {
+		for (const [groupKey, occurrences] of groupedByKindAndSpecifier) {
 			if (occurrences.length < 2) continue;
+			const specifier = groupKey.slice(groupKey.indexOf(":") + 1);
+			const kindLabel = groupKey.startsWith("type:") ? "type-only " : "";
 			findings.push({
 				path: module.fileId.path,
 				specifier,
 				occurrences,
 				confidence: "high",
-				reason: `"${specifier}" is imported ${occurrences.length} times in this file — merge into a single statement`
+				reason: `"${specifier}" is imported ${occurrences.length} times in this file as ${kindLabel}imports — merge into a single statement`
 			});
 		}
 	}
@@ -8213,6 +8337,7 @@ const detectDuplicateConstants = (graph) => {
 		const uniqueFilePaths = new Set(bucket.occurrences.map((occurrence) => occurrence.path));
 		if (uniqueFilePaths.size < 3) continue;
 		const uniqueNames = new Set(bucket.occurrences.map((occurrence) => occurrence.constantName));
+		if (uniqueNames.size > 1 && hasDistinctUnitSuffixes([...uniqueNames])) continue;
 		findings.push({
 			literalHash,
 			literalPreview: bucket.literalPreview,
@@ -8223,6 +8348,29 @@ const detectDuplicateConstants = (graph) => {
 	}
 	return findings;
 };
+const TRAILING_NAME_TOKEN_PATTERN = /_([A-Z][A-Z0-9]*)$/;
+const extractTrailingNameToken = (constantName) => {
+	const match = constantName.match(TRAILING_NAME_TOKEN_PATTERN);
+	return match ? match[1] : void 0;
+};
+/**
+* AGENTS.md requires magic numbers to use trailing unit suffixes (`_MS`, `_PX`,
+* `_TOKENS`, `_WIDTH`, …). When same-value constants carry DIFFERENT trailing
+* tokens (e.g. `STEP_DELAY_MS = 1000` vs `MINIMUM_TOKENS = 1000`), they
+* represent semantically distinct quantities that cannot be consolidated —
+* flagging them as duplicates is misleading. Constants sharing the same
+* trailing token (e.g. `CACHE_INTERVAL_MS` + `RECONNECT_DELAY_MS`, both `_MS`)
+* stay flagged because they are at least same-unit and might be extractable.
+*/
+const hasDistinctUnitSuffixes = (constantNames) => {
+	const trailingTokens = /* @__PURE__ */ new Set();
+	for (const name of constantNames) {
+		const token = extractTrailingNameToken(name);
+		if (!token) return false;
+		trailingTokens.add(token);
+	}
+	return trailingTokens.size > 1;
+};
 const detectSimplifiableExpressions = (graph) => {
 	const findings = [];
 	for (const module of graph.modules) {
@@ -9322,6 +9470,39 @@ const generateReport = (graph, config) => {
 //#region src/index.ts
 const STYLE_EXTENSIONS = [".css", ".scss"];
 const REACT_NATIVE_ENABLERS = ["react-native", "expo"];
+const basenameFromPath = (filePath) => {
+	const lastSlashIndex = filePath.lastIndexOf("/");
+	return lastSlashIndex === -1 ? filePath : filePath.slice(lastSlashIndex + 1);
+};
+/**
+* Dynamic registry pattern: many codebases use a central "schema/registry"
+* module that lists tool/command/page filenames as string literals, then a
+* runner spawns them via `path.resolve(dir, file)` or `import()`. Static
+* analysis can't follow the indirection, so those targets get falsely
+* flagged as unused.
+*
+* Heuristic: if a parsed string literal exactly matches the basename of
+* exactly one file in the project, treat that file as an entry point.
+* Uniqueness guards against false-positives from common names like
+* `index.ts` matching dozens of unrelated files.
+*/
+const markFilenameRegistryEntries = (moduleGraph) => {
+	const basenameToModuleIndex = /* @__PURE__ */ new Map();
+	for (const module of moduleGraph.modules) {
+		const basename = basenameFromPath(module.fileId.path);
+		const existing = basenameToModuleIndex.get(basename);
+		if (existing === void 0) basenameToModuleIndex.set(basename, module.fileId.index);
+		else if (existing !== "ambiguous") basenameToModuleIndex.set(basename, "ambiguous");
+	}
+	for (const module of moduleGraph.modules) for (const referencedFilename of module.referencedFilenames) {
+		const targetIndex = basenameToModuleIndex.get(referencedFilename);
+		if (typeof targetIndex !== "number") continue;
+		const targetModule = moduleGraph.modules[targetIndex];
+		if (!targetModule || targetModule.isEntryPoint) continue;
+		if (targetModule.fileId.index === module.fileId.index) continue;
+		targetModule.isEntryPoint = true;
+	}
+};
 const detectReactNative = (rootDir, workspacePackages) => {
 	const directoriesToCheck = [rootDir, ...workspacePackages.map((workspacePackage) => workspacePackage.directory)];
 	for (const directory of directoriesToCheck) {
@@ -9479,11 +9660,7 @@ const analyze = async (config) => {
 		}));
 	}
 	const absoluteRoot = resolve(config.rootDir);
-	const outputDirectoryExclusions = OUTPUT_DIRECTORIES.flatMap((outputDirectory) => {
-		const exclusions = [`${absoluteRoot}/${outputDirectory}/**`];
-		for (const workspacePackage of workspacePackages) exclusions.push(`${workspacePackage.directory}/${outputDirectory}/**`);
-		return exclusions;
-	});
+	const outputDirectoryExclusions = OUTPUT_DIRECTORIES.flatMap((outputDirectory) => [`${absoluteRoot}/${outputDirectory}/**`, `${absoluteRoot}/**/${outputDirectory}/**`]);
 	const allExclusionPatterns = [
 		...workspaceDiscovery.excludedDirectories.map((directory) => `${directory}/**`),
 		...frameworkIgnorePatterns,
@@ -9683,6 +9860,7 @@ const analyze = async (config) => {
 			detail: describeUnknownError(reExportError)
 		}));
 	}
+	markFilenameRegistryEntries(moduleGraph);
 	try {
 		traceReachability(moduleGraph);
 	} catch (reachabilityError) {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "deslop-js",
-  "version": "0.0.11",
+  "version": "0.0.12",
   "description": "Deslop JavaScript code",
   "keywords": [
     "dead-code",