@wyw-in-js/transform 1.1.0 → 2.0.0-alpha.1

package/esm/transform/generators/resolveStaticOxcValues/programAnalysis.js

@@ -0,0 +1,123 @@
+import { collectImportBindings, isSafeLiteral, unwrapExpression } from "./staticExpression.js";
+export const collectLocalConstExpressions = (program) => {
+	const result = new Map();
+	const collect = (declaration) => {
+		if (declaration.kind !== "const") {
+			return;
+		}
+		declaration.declarations.forEach((declarator) => {
+			if (declarator.id.type === "Identifier" && declarator.init) {
+				result.set(declarator.id.name, declarator.init);
+			}
+		});
+	};
+	program.body.forEach((statement) => {
+		if (statement.type === "VariableDeclaration") {
+			collect(statement);
+			return;
+		}
+		if (statement.type === "ExportNamedDeclaration" && statement.declaration?.type === "VariableDeclaration") {
+			collect(statement.declaration);
+		}
+	});
+	return result;
+};
+export const objectPropertyKeyName = (node) => {
+	const unwrapped = unwrapExpression(node);
+	if (unwrapped.type === "Identifier") {
+		return unwrapped.name;
+	}
+	if (isSafeLiteral(unwrapped) && typeof unwrapped.value === "string") {
+		return unwrapped.value;
+	}
+	return null;
+};
+export const findObjectPropertyValue = (expr, name) => {
+	const unwrapped = unwrapExpression(expr);
+	if (unwrapped.type !== "ObjectExpression") {
+		return null;
+	}
+	for (const property of unwrapped.properties) {
+		if (property.type === "SpreadElement") {
+			continue;
+		}
+		const propertyNode = property;
+		if (propertyNode.computed) {
+			continue;
+		}
+		const key = propertyNode.key;
+		const value = propertyNode.value;
+		if (key && value && objectPropertyKeyName(key) === name) {
+			return value;
+		}
+	}
+	return null;
+};
+export const topLevelStatements = (program) => {
+	const result = [];
+	program.body.forEach((statement) => {
+		if (statement.type === "ExportNamedDeclaration" || statement.type === "ExportDefaultDeclaration") {
+			result.push(statement.declaration ?? statement);
+			return;
+		}
+		result.push(statement);
+	});
+	return result;
+};
+export const findTopLevelConstExpression = (program, name) => {
+	for (const statement of topLevelStatements(program)) {
+		if (statement.type !== "VariableDeclaration" || statement.kind !== "const") {
+			continue;
+		}
+		for (const declarator of statement.declarations) {
+			if (declarator.id.type === "Identifier" && declarator.id.name === name && declarator.init) {
+				return declarator.init;
+			}
+		}
+	}
+	return null;
+};
+export const hasTopLevelBinding = (program, name) => {
+	if (collectImportBindings(program).has(name)) {
+		return true;
+	}
+	return topLevelStatements(program).some((statement) => {
+		if (statement.type === "VariableDeclaration") {
+			return statement.declarations.some((declarator) => declarator.id.type === "Identifier" && declarator.id.name === name);
+		}
+		if (statement.type === "FunctionDeclaration") {
+			return statement.id?.name === name;
+		}
+		if (statement.type === "ClassDeclaration") {
+			return statement.id?.name === name;
+		}
+		return false;
+	});
+};
+export const isTopLevelFunctionOrClass = (program, name) => topLevelStatements(program).some((statement) => {
+	if (statement.type === "FunctionDeclaration") {
+		return statement.id?.name === name;
+	}
+	if (statement.type === "ClassDeclaration") {
+		return statement.id?.name === name;
+	}
+	return false;
+});
+export const functionReturnExpression = (expr, options = {}) => {
+	const unwrapped = unwrapExpression(expr);
+	if (unwrapped.type !== "ArrowFunctionExpression" && unwrapped.type !== "FunctionExpression") {
+		return null;
+	}
+	if (unwrapped.async || !options.allowParams && unwrapped.params.length > 0 || !unwrapped.body) {
+		return null;
+	}
+	if (unwrapped.body.type !== "BlockStatement") {
+		return unwrapped.body;
+	}
+	if (unwrapped.body.body.length !== 1) {
+		return null;
+	}
+	const [statement] = unwrapped.body.body;
+	return statement.type === "ReturnStatement" && statement.argument ? statement.argument : null;
+};
+//# sourceMappingURL=programAnalysis.js.map

package/esm/transform/generators/resolveStaticOxcValues/programAnalysis.js.map

@@ -0,0 +1 @@
+{"mappings":"AASA,SACE,uBACA,eACA,wBACK;AAGP,OAAO,MAAM,gCACX,YAC4B;CAC5B,MAAM,SAAS,IAAI,KAAyB;CAE5C,MAAM,WAAW,gBAA2C;AAC1D,MAAI,YAAY,SAAS,SAAS;AAChC;;AAGF,cAAY,aAAa,SAAS,eAAe;AAC/C,OAAI,WAAW,GAAG,SAAS,gBAAgB,WAAW,MAAM;AAC1D,WAAO,IAAI,WAAW,GAAG,MAAM,WAAW,KAAK;;IAEjD;;AAGJ,SAAQ,KAAK,SAAS,cAAc;AAClC,MAAI,UAAU,SAAS,uBAAuB;AAC5C,WAAQ,UAAU;AAClB;;AAGF,MACE,UAAU,SAAS,4BACnB,UAAU,aAAa,SAAS,uBAChC;AACA,WAAQ,UAAU,YAAY;;GAEhC;AAEF,QAAO;;AAET,OAAO,MAAM,yBAAyB,SAA8B;CAClE,MAAM,YAAY,iBAAiB,KAAK;AAExC,KAAI,UAAU,SAAS,cAAc;AACnC,SAAO,UAAU;;AAGnB,KAAI,cAAc,UAAU,IAAI,OAAO,UAAU,UAAU,UAAU;AACnE,SAAO,UAAU;;AAGnB,QAAO;;AAGT,OAAO,MAAM,2BACX,MACA,SACsB;CACtB,MAAM,YAAY,iBAAiB,KAAK;AACxC,KAAI,UAAU,SAAS,oBAAoB;AACzC,SAAO;;AAGT,MAAK,MAAM,YAAY,UAAU,YAAY;AAC3C,MAAI,SAAS,SAAS,iBAAiB;AACrC;;EAGF,MAAM,eAAe;AACrB,MAAI,aAAa,UAAU;AACzB;;EAGF,MAAM,MAAM,aAAa;EACzB,MAAM,QAAQ,aAAa;AAC3B,MAAI,OAAO,SAAS,sBAAsB,IAAI,KAAK,MAAM;AACvD,UAAO;;;AAIX,QAAO;;AAET,OAAO,MAAM,sBAAsB,YAA6B;CAC9D,MAAM,SAAiB,EAAE;AAEzB,SAAQ,KAAK,SAAS,cAAc;AAClC,MACE,UAAU,SAAS,4BACnB,UAAU,SAAS,4BACnB;AACA,UAAO,KAAK,UAAU,eAAe,UAAU;AAC/C;;AAGF,SAAO,KAAK,UAAU;GACtB;AAEF,QAAO;;AAGT,OAAO,MAAM,+BACX,SACA,SACsB;AACtB,MAAK,MAAM,aAAa,mBAAmB,QAAQ,EAAE;AACnD,MACE,UAAU,SAAS,yBACnB,UAAU,SAAS,SACnB;AACA;;AAGF,OAAK,MAAM,cAAc,UAAU,cAAc;AAC/C,OACE,WAAW,GAAG,SAAS,gBACvB,WAAW,GAAG,SAAS,QACvB,WAAW,MACX;AACA,WAAO,WAAW;;;;AAKxB,QAAO;;AAGT,OAAO,MAAM,sBAAsB,SAAkB,SAA0B;AAC7E,KAAI,sBAAsB,QAAQ,CAAC,IAAI,KAAK,EAAE;AAC5C,SAAO;;AAGT,QAAO,mBAAmB,QAAQ,CAAC,MAAM,cAAc;AACrD,MAAI,UAAU,SAAS,uBAAuB;AAC5C,UAAO,UAAU,aAAa,MAC3B,eACC,WAAW,GAAG,SAAS,gBAAgB,WAAW,GAAG,SAAS,KACjE;;AAGH,MAAI,UAAU,SAAS,uBAAuB;AAC5C,UAAO,UAAU,IAAI,SAAS;;AAGhC,MAAI,UAAU,SAAS,oBAAoB;AACzC,UAAO,UAAU,IAAI,SAAS;;AAGhC,SAAO;GACP;;AAGJ,OAAO,MAAM,6BACX,SACA,SAEA,mBAAmB,QAAQ,CAAC,MAAM,cAAc;AAC9C,KAAI,UAAU,SAAS,uBAAuB;AAC5C,SAAO,UAAU,IAAI,SAAS;;AAGhC,KAAI,UAAU,SAAS,oBAAoB;AACzC,SAAO,UAAU,IAAI,SAAS;;AAGhC,QAAO;EACP;AAEJ,OAAO,MAAM,4BACX,MACA,UAAqC,EAAE,KACjB;CACtB,MAAM,YAAY,iBAAiB,KAAK;AACxC,KACE,UAAU,SAAS,6BACnB,UAAU,SAAS,sBACnB;AACA,SAAO;;AAGT,KACE,UAAU,SACT,CAAC,QAAQ,eAAe,UAAU,OAAO,SAAS,KACnD,CAAC,UAAU,MACX;AACA,SAAO;;AAGT,KAAI,UAAU,KAAK,SAAS,kBAAkB;AAC5C,SAAO,UAAU;;AAGnB,KAAI,UAAU,KAAK,KAAK,WAAW,GAAG;AACpC,SAAO;;CAGT,MAAM,CAAC,aAAa,UAAU,KAAK;AACnC,QAAO,UAAU,SAAS,qBAAqB,UAAU,WACrD,UAAU,WACV","names":[],"sources":["../../../../src/transform/generators/resolveStaticOxcValues/programAnalysis.ts"],"version":3,"sourcesContent":["/* eslint-disable no-restricted-syntax,no-continue,@typescript-eslint/no-use-before-define */\n\nimport type {\n  Expression,\n  Node,\n  Program,\n  VariableDeclaration,\n} from 'oxc-parser';\n\nimport {\n  collectImportBindings,\n  isSafeLiteral,\n  unwrapExpression,\n} from './staticExpression';\nimport type { AnyNode } from './types';\n\nexport const collectLocalConstExpressions = (\n  program: Program\n): Map<string, Expression> => {\n  const result = new Map<string, Expression>();\n\n  const collect = (declaration: VariableDeclaration): void => {\n    if (declaration.kind !== 'const') {\n      return;\n    }\n\n    declaration.declarations.forEach((declarator) => {\n      if (declarator.id.type === 'Identifier' && declarator.init) {\n        result.set(declarator.id.name, declarator.init);\n      }\n    });\n  };\n\n  program.body.forEach((statement) => {\n    if (statement.type === 'VariableDeclaration') {\n      collect(statement);\n      return;\n    }\n\n    if (\n      statement.type === 'ExportNamedDeclaration' &&\n      statement.declaration?.type === 'VariableDeclaration'\n    ) {\n      collect(statement.declaration);\n    }\n  });\n\n  return result;\n};\nexport const objectPropertyKeyName = (node: Node): string | null => {\n  const unwrapped = unwrapExpression(node);\n\n  if (unwrapped.type === 'Identifier') {\n    return unwrapped.name;\n  }\n\n  if (isSafeLiteral(unwrapped) && typeof unwrapped.value === 'string') {\n    return unwrapped.value;\n  }\n\n  return null;\n};\n\nexport const findObjectPropertyValue = (\n  expr: Node,\n  name: string\n): Expression | null => {\n  const unwrapped = unwrapExpression(expr);\n  if (unwrapped.type !== 'ObjectExpression') {\n    return null;\n  }\n\n  for (const property of unwrapped.properties) {\n    if (property.type === 'SpreadElement') {\n      continue;\n    }\n\n    const propertyNode = property as AnyNode;\n    if (propertyNode.computed) {\n      continue;\n    }\n\n    const key = propertyNode.key as Node | undefined;\n    const value = propertyNode.value as Expression | undefined;\n    if (key && value && objectPropertyKeyName(key) === name) {\n      return value;\n    }\n  }\n\n  return null;\n};\nexport const topLevelStatements = (program: Program): Node[] => {\n  const result: Node[] = [];\n\n  program.body.forEach((statement) => {\n    if (\n      statement.type === 'ExportNamedDeclaration' ||\n      statement.type === 'ExportDefaultDeclaration'\n    ) {\n      result.push(statement.declaration ?? statement);\n      return;\n    }\n\n    result.push(statement);\n  });\n\n  return result;\n};\n\nexport const findTopLevelConstExpression = (\n  program: Program,\n  name: string\n): Expression | null => {\n  for (const statement of topLevelStatements(program)) {\n    if (\n      statement.type !== 'VariableDeclaration' ||\n      statement.kind !== 'const'\n    ) {\n      continue;\n    }\n\n    for (const declarator of statement.declarations) {\n      if (\n        declarator.id.type === 'Identifier' &&\n        declarator.id.name === name &&\n        declarator.init\n      ) {\n        return declarator.init;\n      }\n    }\n  }\n\n  return null;\n};\n\nexport const hasTopLevelBinding = (program: Program, name: string): boolean => {\n  if (collectImportBindings(program).has(name)) {\n    return true;\n  }\n\n  return topLevelStatements(program).some((statement) => {\n    if (statement.type === 'VariableDeclaration') {\n      return statement.declarations.some(\n        (declarator) =>\n          declarator.id.type === 'Identifier' && declarator.id.name === name\n      );\n    }\n\n    if (statement.type === 'FunctionDeclaration') {\n      return statement.id?.name === name;\n    }\n\n    if (statement.type === 'ClassDeclaration') {\n      return statement.id?.name === name;\n    }\n\n    return false;\n  });\n};\n\nexport const isTopLevelFunctionOrClass = (\n  program: Program,\n  name: string\n): boolean =>\n  topLevelStatements(program).some((statement) => {\n    if (statement.type === 'FunctionDeclaration') {\n      return statement.id?.name === name;\n    }\n\n    if (statement.type === 'ClassDeclaration') {\n      return statement.id?.name === name;\n    }\n\n    return false;\n  });\n\nexport const functionReturnExpression = (\n  expr: Node,\n  options: { allowParams?: boolean } = {}\n): Expression | null => {\n  const unwrapped = unwrapExpression(expr);\n  if (\n    unwrapped.type !== 'ArrowFunctionExpression' &&\n    unwrapped.type !== 'FunctionExpression'\n  ) {\n    return null;\n  }\n\n  if (\n    unwrapped.async ||\n    (!options.allowParams && unwrapped.params.length > 0) ||\n    !unwrapped.body\n  ) {\n    return null;\n  }\n\n  if (unwrapped.body.type !== 'BlockStatement') {\n    return unwrapped.body as Expression;\n  }\n\n  if (unwrapped.body.body.length !== 1) {\n    return null;\n  }\n\n  const [statement] = unwrapped.body.body;\n  return statement.type === 'ReturnStatement' && statement.argument\n    ? statement.argument\n    : null;\n};\n"],"file":"programAnalysis.js"}

package/esm/transform/generators/resolveStaticOxcValues/prune.js

@@ -0,0 +1,186 @@
+import { getOxcNodeChildren } from "../../../utils/oxc/ast.js";
+import { applyOxcReplacements } from "../../../utils/oxc/replacements.js";
+import { parseProgram } from "./environment.js";
+import { collectImportBindings, unwrapExpression } from "./staticExpression.js";
+import { findWYWMetaExtendsExpression, staticWYWMetaExtendsReplacementCode } from "./processorStaticModel.js";
+export const isIdentifierBindingPosition = (node, parent) => {
+	if (node.type !== "Identifier" || !parent) {
+		return false;
+	}
+	if (parent.type === "VariableDeclarator" && parent.id === node || parent.type === "FunctionDeclaration" && parent.id === node || parent.type === "FunctionExpression" && parent.id === node || parent.type === "ClassDeclaration" && parent.id === node || parent.type === "ClassExpression" && parent.id === node) {
+		return true;
+	}
+	if ((parent.type === "ArrowFunctionExpression" || parent.type === "FunctionDeclaration" || parent.type === "FunctionExpression") && parent.params.some((param) => param === node)) {
+		return true;
+	}
+	return parent.type === "ImportSpecifier" && parent.local === node || parent.type === "ImportDefaultSpecifier" && parent.local === node || parent.type === "ImportNamespaceSpecifier" && parent.local === node;
+};
+export const isPropertyKeyOnlyIdentifier = (node, parent) => node.type === "Identifier" && !!parent && (parent.type === "MemberExpression" && parent.property === node && !parent.computed || parent.type === "Property" && parent.key === node && !parent.computed && !parent.shorthand);
+export const collectUsedIdentifierNames = (program) => {
+	const used = new Set();
+	const walk = (node, parent) => {
+		if (node.type === "ImportDeclaration") {
+			return;
+		}
+		if (node.type === "Identifier" && !isIdentifierBindingPosition(node, parent) && !isPropertyKeyOnlyIdentifier(node, parent)) {
+			used.add(node.name);
+		}
+		getOxcNodeChildren(node).forEach((child) => walk(child, node));
+	};
+	walk(program, null);
+	return used;
+};
+export const removableStaticHelperNames = (program, staticValueNames) => {
+	const used = collectUsedIdentifierNames(program);
+	const result = new Set();
+	program.body.forEach((statement) => {
+		if (statement.type !== "VariableDeclaration") {
+			return;
+		}
+		statement.declarations.forEach((declarator) => {
+			if (declarator.id.type === "Identifier" && staticValueNames.has(declarator.id.name) && !used.has(declarator.id.name)) {
+				result.add(declarator.id.name);
+			}
+		});
+	});
+	return result;
+};
+export const collectImportLocalReferences = (node, importLocals, result) => {
+	const walk = (item, parent) => {
+		if (item.type === "Identifier" && importLocals.has(item.name) && !isIdentifierBindingPosition(item, parent) && !isPropertyKeyOnlyIdentifier(item, parent)) {
+			result.add(item.name);
+		}
+		getOxcNodeChildren(item).forEach((child) => walk(child, item));
+	};
+	walk(node, null);
+};
+export const removeStaticHelperDeclarations = (code, filename, staticValueNames) => {
+	if (staticValueNames.size === 0) {
+		return {
+			code,
+			removed: new Set(),
+			removedImportLocals: new Set()
+		};
+	}
+	const program = parseProgram(code, filename);
+	const removableNames = removableStaticHelperNames(program, staticValueNames);
+	const importLocals = new Set();
+	collectImportBindings(program).forEach((_, local) => importLocals.add(local));
+	const removedImportLocals = new Set();
+	const ranges = [];
+	const replacements = [];
+	program.body.forEach((statement) => {
+		if (statement.type !== "VariableDeclaration" || statement.declarations.length === 0) {
+			return;
+		}
+		const removableIndexes = statement.declarations.flatMap((declarator, index) => declarator.id.type === "Identifier" && removableNames.has(declarator.id.name) ? [index] : []);
+		if (removableIndexes.length === 0) {
+			return;
+		}
+		removableIndexes.forEach((index) => {
+			collectImportLocalReferences(statement.declarations[index], importLocals, removedImportLocals);
+		});
+		if (removableIndexes.length === statement.declarations.length) {
+			ranges.push({
+				end: statement.end,
+				start: statement.start
+			});
+			return;
+		}
+		const keptDeclarations = statement.declarations.filter((_, index) => !removableIndexes.includes(index)).map((declarator) => code.slice(declarator.start, declarator.end));
+		replacements.push({
+			end: statement.end,
+			start: statement.start,
+			text: `${statement.kind} ${keptDeclarations.join(", ")};`
+		});
+	});
+	return {
+		code: applyOxcReplacements(code, [...ranges.map((range) => ({
+			...range,
+			text: ""
+		})), ...replacements]),
+		removed: removableNames,
+		removedImportLocals
+	};
+};
+export const importSpecifierLocalName = (specifier) => specifier.local?.name ?? null;
+export const removeUnusedStaticImports = (code, filename, staticImportLocals, sideEffectImportLocals) => {
+	if (staticImportLocals.size === 0) {
+		return code;
+	}
+	const program = parseProgram(code, filename);
+	const used = collectUsedIdentifierNames(program);
+	const ranges = [];
+	const replacements = [];
+	program.body.forEach((statement) => {
+		if (statement.type !== "ImportDeclaration" || statement.specifiers.length === 0) {
+			return;
+		}
+		const removable = statement.specifiers.flatMap((specifier, index) => {
+			const localName = importSpecifierLocalName(specifier);
+			return localName && staticImportLocals.has(localName) && !used.has(localName) ? [{
+				index,
+				localName
+			}] : [];
+		});
+		if (removable.length === 0) {
+			return;
+		}
+		if (removable.length === statement.specifiers.length) {
+			if (removable.some((item) => sideEffectImportLocals.has(item.localName))) {
+				replacements.push({
+					end: statement.end,
+					start: statement.start,
+					text: `import ${code.slice(statement.source.start, statement.source.end)};`
+				});
+				return;
+			}
+			ranges.push({
+				end: statement.end,
+				start: statement.start
+			});
+		}
+	});
+	return applyOxcReplacements(code, [...ranges.map((range) => ({
+		...range,
+		text: ""
+	})), ...replacements]);
+};
+export const replaceStaticWYWMetaExtendsHelpers = (code, filename, helperValues) => {
+	if (helperValues.size === 0) {
+		return code;
+	}
+	const program = parseProgram(code, filename);
+	const replacements = [];
+	const visit = (node) => {
+		if (node.type === "ObjectExpression") {
+			const extendsExpression = findWYWMetaExtendsExpression(node);
+			if (extendsExpression) {
+				const unwrapped = unwrapExpression(extendsExpression);
+				if (unwrapped.type === "CallExpression" && unwrapped.callee.type === "Identifier" && unwrapped.arguments.length === 0 && helperValues.has(unwrapped.callee.name)) {
+					const replacement = staticWYWMetaExtendsReplacementCode(helperValues.get(unwrapped.callee.name));
+					if (replacement) {
+						replacements.push({
+							end: extendsExpression.end,
+							start: extendsExpression.start,
+							text: replacement
+						});
+					}
+				}
+			}
+		}
+		getOxcNodeChildren(node).forEach(visit);
+	};
+	visit(program);
+	return applyOxcReplacements(code, replacements);
+};
+export const pruneStaticPreevalCode = (code, filename, staticValueNames, staticImportLocals, staticExtendsHelperValues, sideEffectImportLocals) => {
+	const codeWithMetadataPruned = replaceStaticWYWMetaExtendsHelpers(code, filename, staticExtendsHelperValues);
+	const helpersRemoved = removeStaticHelperDeclarations(codeWithMetadataPruned, filename, staticValueNames);
+	if (helpersRemoved.removed.size === 0) {
+		return codeWithMetadataPruned;
+	}
+	const importLocalsToPrune = new Set([...staticImportLocals, ...helpersRemoved.removedImportLocals]);
+	return removeUnusedStaticImports(helpersRemoved.code, filename, importLocalsToPrune, sideEffectImportLocals);
+};
+//# sourceMappingURL=prune.js.map

package/esm/transform/generators/resolveStaticOxcValues/prune.js.map

@@ -0,0 +1 @@
+{"mappings":"AAIA,SAAS,0BAA0B;AACnC,SAAS,4BAA4B;AACrC,SAAS,oBAAoB;AAC7B,SAAS,uBAAuB,wBAAwB;AACxD,SACE,8BACA,2CACK;AAGP,OAAO,MAAM,+BACX,MACA,WACY;AACZ,KAAI,KAAK,SAAS,gBAAgB,CAAC,QAAQ;AACzC,SAAO;;AAGT,KACG,OAAO,SAAS,wBAAwB,OAAO,OAAO,QACtD,OAAO,SAAS,yBAAyB,OAAO,OAAO,QACvD,OAAO,SAAS,wBAAwB,OAAO,OAAO,QACtD,OAAO,SAAS,sBAAsB,OAAO,OAAO,QACpD,OAAO,SAAS,qBAAqB,OAAO,OAAO,MACpD;AACA,SAAO;;AAGT,MACG,OAAO,SAAS,6BACf,OAAO,SAAS,yBAChB,OAAO,SAAS,yBAClB,OAAO,OAAO,MAAM,UAAU,UAAU,KAAK,EAC7C;AACA,SAAO;;AAGT,QACG,OAAO,SAAS,qBAAqB,OAAO,UAAU,QACtD,OAAO,SAAS,4BAA4B,OAAO,UAAU,QAC7D,OAAO,SAAS,8BAA8B,OAAO,UAAU;;AAIpE,OAAO,MAAM,+BACX,MACA,WAEA,KAAK,SAAS,gBACd,CAAC,CAAC,WACA,OAAO,SAAS,sBAChB,OAAO,aAAa,QACpB,CAAC,OAAO,YACP,OAAO,SAAS,cACf,OAAO,QAAQ,QACf,CAAC,OAAO,YACR,CAAC,OAAO;AAEd,OAAO,MAAM,8BAA8B,YAAkC;CAC3E,MAAM,OAAO,IAAI,KAAa;CAE9B,MAAM,QAAQ,MAAY,WAA8B;AACtD,MAAI,KAAK,SAAS,qBAAqB;AACrC;;AAGF,MACE,KAAK,SAAS,gBACd,CAAC,4BAA4B,MAAM,OAAO,IAC1C,CAAC,4BAA4B,MAAM,OAAO,EAC1C;AACA,QAAK,IAAI,KAAK,KAAK;;AAGrB,qBAAmB,KAAK,CAAC,SAAS,UAAU,KAAK,OAAO,KAAK,CAAC;;AAGhE,MAAK,SAAS,KAAK;AACnB,QAAO;;AAGT,OAAO,MAAM,8BACX,SACA,qBACgB;CAChB,MAAM,OAAO,2BAA2B,QAAQ;CAChD,MAAM,SAAS,IAAI,KAAa;AAEhC,SAAQ,KAAK,SAAS,cAAc;AAClC,MAAI,UAAU,SAAS,uBAAuB;AAC5C;;AAGF,YAAU,aAAa,SAAS,eAAe;AAC7C,OACE,WAAW,GAAG,SAAS,gBACvB,iBAAiB,IAAI,WAAW,GAAG,KAAK,IACxC,CAAC,KAAK,IAAI,WAAW,GAAG,KAAK,EAC7B;AACA,WAAO,IAAI,WAAW,GAAG,KAAK;;IAEhC;GACF;AAEF,QAAO;;AAGT,OAAO,MAAM,gCACX,MACA,cACA,WACS;CACT,MAAM,QAAQ,MAAY,WAA8B;AACtD,MACE,KAAK,SAAS,gBACd,aAAa,IAAI,KAAK,KAAK,IAC3B,CAAC,4BAA4B,MAAM,OAAO,IAC1C,CAAC,4BAA4B,MAAM,OAAO,EAC1C;AACA,UAAO,IAAI,KAAK,KAAK;;AAGvB,qBAAmB,KAAK,CAAC,SAAS,UAAU,KAAK,OAAO,KAAK,CAAC;;AAGhE,MAAK,MAAM,KAAK;;AAElB,OAAO,MAAM,kCACX,MACA,UACA,qBAC6E;AAC7E,KAAI,iBAAiB,SAAS,GAAG;AAC/B,SAAO;GAAE;GAAM,SAAS,IAAI,KAAK;GAAE,qBAAqB,IAAI,KAAK;GAAE;;CAGrE,MAAM,UAAU,aAAa,MAAM,SAAS;CAC5C,MAAM,iBAAiB,2BAA2B,SAAS,iBAAiB;CAC5E,MAAM,eAAe,IAAI,KAAa;AACtC,uBAAsB,QAAQ,CAAC,SAAS,GAAG,UAAU,aAAa,IAAI,MAAM,CAAC;CAC7E,MAAM,sBAAsB,IAAI,KAAa;CAC7C,MAAM,SAAkB,EAAE;CAC1B,MAAM,eAA8B,EAAE;AAEtC,SAAQ,KAAK,SAAS,cAAc;AAClC,MACE,UAAU,SAAS,yBACnB,UAAU,aAAa,WAAW,GAClC;AACA;;EAGF,MAAM,mBAAmB,UAAU,aAAa,SAC7C,YAAY,UACX,WAAW,GAAG,SAAS,gBACvB,eAAe,IAAI,WAAW,GAAG,KAAK,GAClC,CAAC,MAAM,GACP,EAAE,CACT;AACD,MAAI,iBAAiB,WAAW,GAAG;AACjC;;AAGF,mBAAiB,SAAS,UAAU;AAClC,gCACE,UAAU,aAAa,QACvB,cACA,oBACD;IACD;AAEF,MAAI,iBAAiB,WAAW,UAAU,aAAa,QAAQ;AAC7D,UAAO,KAAK;IACV,KAAK,UAAU;IACf,OAAO,UAAU;IAClB,CAAC;AACF;;EAGF,MAAM,mBAAmB,UAAU,aAChC,QAAQ,GAAG,UAAU,CAAC,iBAAiB,SAAS,MAAM,CAAC,CACvD,KAAK,eAAe,KAAK,MAAM,WAAW,OAAO,WAAW,IAAI,CAAC;AACpE,eAAa,KAAK;GAChB,KAAK,UAAU;GACf,OAAO,UAAU;GACjB,MAAM,GAAG,UAAU,KAAK,GAAG,iBAAiB,KAAK,KAAK,CAAC;GACxD,CAAC;GACF;AAEF,QAAO;EACL,MAAM,qBAAqB,MAAM,CAC/B,GAAG,OAAO,KAAK,WAAW;GAAE,GAAG;GAAO,MAAM;GAAI,EAAE,EAClD,GAAG,aACJ,CAAC;EACF,SAAS;EACT;EACD;;AAGH,OAAO,MAAM,4BACX,cACkB,UAAU,OAAO,QAAQ;AAE7C,OAAO,MAAM,6BACX,MACA,UACA,oBACA,2BACW;AACX,KAAI,mBAAmB,SAAS,GAAG;AACjC,SAAO;;CAGT,MAAM,UAAU,aAAa,MAAM,SAAS;CAC5C,MAAM,OAAO,2BAA2B,QAAQ;CAChD,MAAM,SAAkB,EAAE;CAC1B,MAAM,eAA8B,EAAE;AAEtC,SAAQ,KAAK,SAAS,cAAc;AAClC,MACE,UAAU,SAAS,uBACnB,UAAU,WAAW,WAAW,GAChC;AACA;;EAGF,MAAM,YAAY,UAAU,WAAW,SAAS,WAAW,UAAU;GACnE,MAAM,YAAY,yBAAyB,UAAU;AACrD,UAAO,aACL,mBAAmB,IAAI,UAAU,IACjC,CAAC,KAAK,IAAI,UAAU,GAClB,CAAC;IAAE;IAAO;IAAW,CAAC,GACtB,EAAE;IACN;AAEF,MAAI,UAAU,WAAW,GAAG;AAC1B;;AAGF,MAAI,UAAU,WAAW,UAAU,WAAW,QAAQ;AACpD,OACE,UAAU,MAAM,SAAS,uBAAuB,IAAI,KAAK,UAAU,CAAC,EACpE;AACA,iBAAa,KAAK;KAChB,KAAK,UAAU;KACf,OAAO,UAAU;KACjB,MAAM,UAAU,KAAK,MACnB,UAAU,OAAO,OACjB,UAAU,OAAO,IAClB,CAAC;KACH,CAAC;AACF;;AAGF,UAAO,KAAK;IACV,KAAK,UAAU;IACf,OAAO,UAAU;IAClB,CAAC;;GAEJ;AAEF,QAAO,qBAAqB,MAAM,CAChC,GAAG,OAAO,KAAK,WAAW;EAAE,GAAG;EAAO,MAAM;EAAI,EAAE,EAClD,GAAG,aACJ,CAAC;;AAGJ,OAAO,MAAM,sCACX,MACA,UACA,iBACW;AACX,KAAI,aAAa,SAAS,GAAG;AAC3B,SAAO;;CAGT,MAAM,UAAU,aAAa,MAAM,SAAS;CAC5C,MAAM,eAA8B,EAAE;CAEtC,MAAM,SAAS,SAAqB;AAClC,MAAI,KAAK,SAAS,oBAAoB;GACpC,MAAM,oBAAoB,6BAA6B,KAAK;AAC5D,OAAI,mBAAmB;IACrB,MAAM,YAAY,iBAAiB,kBAAkB;AACrD,QACE,UAAU,SAAS,oBACnB,UAAU,OAAO,SAAS,gBAC1B,UAAU,UAAU,WAAW,KAC/B,aAAa,IAAI,UAAU,OAAO,KAAK,EACvC;KACA,MAAM,cAAc,oCAClB,aAAa,IAAI,UAAU,OAAO,KAAK,CACxC;AACD,SAAI,aAAa;AACf,mBAAa,KAAK;OAChB,KAAK,kBAAkB;OACvB,OAAO,kBAAkB;OACzB,MAAM;OACP,CAAC;;;;;AAMV,qBAAmB,KAAK,CAAC,QAAQ,MAAM;;AAGzC,OAAM,QAAQ;AACd,QAAO,qBAAqB,MAAM,aAAa;;AAGjD,OAAO,MAAM,0BACX,MACA,UACA,kBACA,oBACA,2BACA,2BACW;CACX,MAAM,yBAAyB,mCAC7B,MACA,UACA,0BACD;CACD,MAAM,iBAAiB,+BACrB,wBACA,UACA,iBACD;AACD,KAAI,eAAe,QAAQ,SAAS,GAAG;AACrC,SAAO;;CAGT,MAAM,sBAAsB,IAAI,IAAI,CAClC,GAAG,oBACH,GAAG,eAAe,oBACnB,CAAC;AAEF,QAAO,0BACL,eAAe,MACf,UACA,qBACA,uBACD","names":[],"sources":["../../../../src/transform/generators/resolveStaticOxcValues/prune.ts"],"version":3,"sourcesContent":["/* eslint-disable no-restricted-syntax,no-continue,@typescript-eslint/no-use-before-define */\n\nimport type { ImportDeclaration, Node, Program } from 'oxc-parser';\n\nimport { getOxcNodeChildren } from '../../../utils/oxc/ast';\nimport { applyOxcReplacements } from '../../../utils/oxc/replacements';\nimport { parseProgram } from './environment';\nimport { collectImportBindings, unwrapExpression } from './staticExpression';\nimport {\n  findWYWMetaExtendsExpression,\n  staticWYWMetaExtendsReplacementCode,\n} from './processorStaticModel';\nimport type { Range, Replacement } from './types';\n\nexport const isIdentifierBindingPosition = (\n  node: Node,\n  parent: Node | null\n): boolean => {\n  if (node.type !== 'Identifier' || !parent) {\n    return false;\n  }\n\n  if (\n    (parent.type === 'VariableDeclarator' && parent.id === node) ||\n    (parent.type === 'FunctionDeclaration' && parent.id === node) ||\n    (parent.type === 'FunctionExpression' && parent.id === node) ||\n    (parent.type === 'ClassDeclaration' && parent.id === node) ||\n    (parent.type === 'ClassExpression' && parent.id === node)\n  ) {\n    return true;\n  }\n\n  if (\n    (parent.type === 'ArrowFunctionExpression' ||\n      parent.type === 'FunctionDeclaration' ||\n      parent.type === 'FunctionExpression') &&\n    parent.params.some((param) => param === node)\n  ) {\n    return true;\n  }\n\n  return (\n    (parent.type === 'ImportSpecifier' && parent.local === node) ||\n    (parent.type === 'ImportDefaultSpecifier' && parent.local === node) ||\n    (parent.type === 'ImportNamespaceSpecifier' && parent.local === node)\n  );\n};\n\nexport const isPropertyKeyOnlyIdentifier = (\n  node: Node,\n  parent: Node | null\n): boolean =>\n  node.type === 'Identifier' &&\n  !!parent &&\n  ((parent.type === 'MemberExpression' &&\n    parent.property === node &&\n    !parent.computed) ||\n    (parent.type === 'Property' &&\n      parent.key === node &&\n      !parent.computed &&\n      !parent.shorthand));\n\nexport const collectUsedIdentifierNames = (program: Program): Set<string> => {\n  const used = new Set<string>();\n\n  const walk = (node: Node, parent: Node | null): void => {\n    if (node.type === 'ImportDeclaration') {\n      return;\n    }\n\n    if (\n      node.type === 'Identifier' &&\n      !isIdentifierBindingPosition(node, parent) &&\n      !isPropertyKeyOnlyIdentifier(node, parent)\n    ) {\n      used.add(node.name);\n    }\n\n    getOxcNodeChildren(node).forEach((child) => walk(child, node));\n  };\n\n  walk(program, null);\n  return used;\n};\n\nexport const removableStaticHelperNames = (\n  program: Program,\n  staticValueNames: Set<string>\n): Set<string> => {\n  const used = collectUsedIdentifierNames(program);\n  const result = new Set<string>();\n\n  program.body.forEach((statement) => {\n    if (statement.type !== 'VariableDeclaration') {\n      return;\n    }\n\n    statement.declarations.forEach((declarator) => {\n      if (\n        declarator.id.type === 'Identifier' &&\n        staticValueNames.has(declarator.id.name) &&\n        !used.has(declarator.id.name)\n      ) {\n        result.add(declarator.id.name);\n      }\n    });\n  });\n\n  return result;\n};\n\nexport const collectImportLocalReferences = (\n  node: Node,\n  importLocals: Set<string>,\n  result: Set<string>\n): void => {\n  const walk = (item: Node, parent: Node | null): void => {\n    if (\n      item.type === 'Identifier' &&\n      importLocals.has(item.name) &&\n      !isIdentifierBindingPosition(item, parent) &&\n      !isPropertyKeyOnlyIdentifier(item, parent)\n    ) {\n      result.add(item.name);\n    }\n\n    getOxcNodeChildren(item).forEach((child) => walk(child, item));\n  };\n\n  walk(node, null);\n};\nexport const removeStaticHelperDeclarations = (\n  code: string,\n  filename: string,\n  staticValueNames: Set<string>\n): { code: string; removed: Set<string>; removedImportLocals: Set<string> } => {\n  if (staticValueNames.size === 0) {\n    return { code, removed: new Set(), removedImportLocals: new Set() };\n  }\n\n  const program = parseProgram(code, filename);\n  const removableNames = removableStaticHelperNames(program, staticValueNames);\n  const importLocals = new Set<string>();\n  collectImportBindings(program).forEach((_, local) => importLocals.add(local));\n  const removedImportLocals = new Set<string>();\n  const ranges: Range[] = [];\n  const replacements: Replacement[] = [];\n\n  program.body.forEach((statement) => {\n    if (\n      statement.type !== 'VariableDeclaration' ||\n      statement.declarations.length === 0\n    ) {\n      return;\n    }\n\n    const removableIndexes = statement.declarations.flatMap(\n      (declarator, index) =>\n        declarator.id.type === 'Identifier' &&\n        removableNames.has(declarator.id.name)\n          ? [index]\n          : []\n    );\n    if (removableIndexes.length === 0) {\n      return;\n    }\n\n    removableIndexes.forEach((index) => {\n      collectImportLocalReferences(\n        statement.declarations[index],\n        importLocals,\n        removedImportLocals\n      );\n    });\n\n    if (removableIndexes.length === statement.declarations.length) {\n      ranges.push({\n        end: statement.end,\n        start: statement.start,\n      });\n      return;\n    }\n\n    const keptDeclarations = statement.declarations\n      .filter((_, index) => !removableIndexes.includes(index))\n      .map((declarator) => code.slice(declarator.start, declarator.end));\n    replacements.push({\n      end: statement.end,\n      start: statement.start,\n      text: `${statement.kind} ${keptDeclarations.join(', ')};`,\n    });\n  });\n\n  return {\n    code: applyOxcReplacements(code, [\n      ...ranges.map((range) => ({ ...range, text: '' })),\n      ...replacements,\n    ]),\n    removed: removableNames,\n    removedImportLocals,\n  };\n};\n\nexport const importSpecifierLocalName = (\n  specifier: ImportDeclaration['specifiers'][number]\n): string | null => specifier.local?.name ?? null;\n\nexport const removeUnusedStaticImports = (\n  code: string,\n  filename: string,\n  staticImportLocals: Set<string>,\n  sideEffectImportLocals: Set<string>\n): string => {\n  if (staticImportLocals.size === 0) {\n    return code;\n  }\n\n  const program = parseProgram(code, filename);\n  const used = collectUsedIdentifierNames(program);\n  const ranges: Range[] = [];\n  const replacements: Replacement[] = [];\n\n  program.body.forEach((statement) => {\n    if (\n      statement.type !== 'ImportDeclaration' ||\n      statement.specifiers.length === 0\n    ) {\n      return;\n    }\n\n    const removable = statement.specifiers.flatMap((specifier, index) => {\n      const localName = importSpecifierLocalName(specifier);\n      return localName &&\n        staticImportLocals.has(localName) &&\n        !used.has(localName)\n        ? [{ index, localName }]\n        : [];\n    });\n\n    if (removable.length === 0) {\n      return;\n    }\n\n    if (removable.length === statement.specifiers.length) {\n      if (\n        removable.some((item) => sideEffectImportLocals.has(item.localName))\n      ) {\n        replacements.push({\n          end: statement.end,\n          start: statement.start,\n          text: `import ${code.slice(\n            statement.source.start,\n            statement.source.end\n          )};`,\n        });\n        return;\n      }\n\n      ranges.push({\n        end: statement.end,\n        start: statement.start,\n      });\n    }\n  });\n\n  return applyOxcReplacements(code, [\n    ...ranges.map((range) => ({ ...range, text: '' })),\n    ...replacements,\n  ]);\n};\n\nexport const replaceStaticWYWMetaExtendsHelpers = (\n  code: string,\n  filename: string,\n  helperValues: Map<string, unknown>\n): string => {\n  if (helperValues.size === 0) {\n    return code;\n  }\n\n  const program = parseProgram(code, filename);\n  const replacements: Replacement[] = [];\n\n  const visit = (node: Node): void => {\n    if (node.type === 'ObjectExpression') {\n      const extendsExpression = findWYWMetaExtendsExpression(node);\n      if (extendsExpression) {\n        const unwrapped = unwrapExpression(extendsExpression);\n        if (\n          unwrapped.type === 'CallExpression' &&\n          unwrapped.callee.type === 'Identifier' &&\n          unwrapped.arguments.length === 0 &&\n          helperValues.has(unwrapped.callee.name)\n        ) {\n          const replacement = staticWYWMetaExtendsReplacementCode(\n            helperValues.get(unwrapped.callee.name)\n          );\n          if (replacement) {\n            replacements.push({\n              end: extendsExpression.end,\n              start: extendsExpression.start,\n              text: replacement,\n            });\n          }\n        }\n      }\n    }\n\n    getOxcNodeChildren(node).forEach(visit);\n  };\n\n  visit(program);\n  return applyOxcReplacements(code, replacements);\n};\n\nexport const pruneStaticPreevalCode = (\n  code: string,\n  filename: string,\n  staticValueNames: Set<string>,\n  staticImportLocals: Set<string>,\n  staticExtendsHelperValues: Map<string, unknown>,\n  sideEffectImportLocals: Set<string>\n): string => {\n  const codeWithMetadataPruned = replaceStaticWYWMetaExtendsHelpers(\n    code,\n    filename,\n    staticExtendsHelperValues\n  );\n  const helpersRemoved = removeStaticHelperDeclarations(\n    codeWithMetadataPruned,\n    filename,\n    staticValueNames\n  );\n  if (helpersRemoved.removed.size === 0) {\n    return codeWithMetadataPruned;\n  }\n\n  const importLocalsToPrune = new Set([\n    ...staticImportLocals,\n    ...helpersRemoved.removedImportLocals,\n  ]);\n\n  return removeUnusedStaticImports(\n    helpersRemoved.code,\n    filename,\n    importLocalsToPrune,\n    sideEffectImportLocals\n  );\n};\n"],"file":"prune.js"}

package/esm/transform/generators/resolveStaticOxcValues/resolveStaticOxcPreevalValues.js

@@ -0,0 +1,183 @@
+/* eslint-disable no-restricted-syntax,no-continue,@typescript-eslint/no-use-before-define */
+import { isAbsolute } from "path";
+import { appendOxcWywPreval } from "../../../utils/oxcPreevalStage.js";
+import { stripQueryAndHash } from "../../../utils/parseRequest.js";
+import { resolveCandidateValue, resolveOpaqueRuntimeCandidateValue } from "./candidateResolver.js";
+import { debugStaticResolve, getEvalStrategy, getStaticStrategyFailure, parseProgram } from "./environment.js";
+import { collectWYWMetaExtendsHelperNames, createSameFileStaticWYWMetaHelperResolver } from "./processorStaticModel.js";
+import { pruneStaticPreevalCode } from "./prune.js";
+import { runtimeCallbackPlaceholder } from "./staticExpression.js";
+export function* resolveStaticOxcPreevalValues() {
+	const preevalResult = this.entrypoint.getPreevalResult();
+	if (!preevalResult) {
+		return false;
+	}
+	const candidates = preevalResult.staticValueCandidates ?? [];
+	const evalDependencyNames = new Set(preevalResult.dependencyNames ?? []);
+	if (candidates.length === 0 && evalDependencyNames.size === 0) {
+		return false;
+	}
+	const filename = this.entrypoint.loadedAndParsed.evaluator === "ignored" ? this.entrypoint.name : this.entrypoint.loadedAndParsed.evalConfig.filename ?? this.entrypoint.name;
+	const evalStrategy = getEvalStrategy(this);
+	if (evalStrategy === "execute") {
+		return false;
+	}
+	const staticOnly = evalStrategy === "static";
+	const staticValueCache = preevalResult.staticValueCache ?? new Map();
+	const staticDependencies = new Set(preevalResult.staticDependencies ?? []);
+	const staticImportLocals = new Set();
+	const sideEffectImportLocals = new Set();
+	const staticNullWYWMetaExtendsHelpers = new Set(preevalResult.staticNullWYWMetaExtendsHelpers ?? []);
+	const memo = new Map();
+	const opaqueRuntimeBaseHelpers = collectWYWMetaExtendsHelperNames(parseProgram(preevalResult.baseCode ?? preevalResult.code, filename));
+	// Names of candidates resolved to runtime callbacks (function values).
+	// They keep the file out of evalFile but their helper declarations must
+	// not be pruned — the runtime call site relies on them.
+	const runtimeOnlyCandidateNames = new Set(preevalResult.runtimeOnlyStaticValueNames ?? []);
+	let changed = false;
+	let hasKnownStaticCandidate = false;
+	const resolveSameFileStaticWYWMetaHelpers = createSameFileStaticWYWMetaHelperResolver(preevalResult.baseCode ?? preevalResult.code, filename);
+	const applySameFileStaticWYWMetaHelpers = () => {
+		let appliedAny = false;
+		for (;;) {
+			let applied = false;
+			const values = resolveSameFileStaticWYWMetaHelpers(staticValueCache);
+			values.forEach((value, name) => {
+				if (staticValueCache.has(name) || !evalDependencyNames.has(name) && !opaqueRuntimeBaseHelpers.has(name)) {
+					return;
+				}
+				staticValueCache.set(name, value);
+				debugStaticResolve(this, {
+					candidate: name,
+					filename,
+					phase: "candidate",
+					reason: "same-file-static-metadata",
+					status: "resolved"
+				});
+				applied = true;
+			});
+			if (!applied) {
+				break;
+			}
+			appliedAny = true;
+		}
+		if (appliedAny) {
+			changed = true;
+			hasKnownStaticCandidate = true;
+		}
+		return appliedAny;
+	};
+	applySameFileStaticWYWMetaHelpers();
+	for (const candidate of candidates) {
+		applySameFileStaticWYWMetaHelpers();
+		const isOpaqueRuntimeBaseHelper = opaqueRuntimeBaseHelpers.has(candidate.name);
+		if (!evalDependencyNames.has(candidate.name) && !isOpaqueRuntimeBaseHelper && !staticValueCache.has(candidate.name)) {
+			debugStaticResolve(this, {
+				candidate: candidate.name,
+				filename,
+				phase: "candidate",
+				reason: "not-eval-dependency",
+				status: "skipped"
+			});
+			continue;
+		}
+		if (staticValueCache.has(candidate.name)) {
+			hasKnownStaticCandidate = true;
+			candidate.imports.forEach((item) => staticImportLocals.add(item.importLocal ?? item.local));
+			if (isOpaqueRuntimeBaseHelper && staticValueCache.get(candidate.name) === null) {
+				staticNullWYWMetaExtendsHelpers.add(candidate.name);
+			}
+			debugStaticResolve(this, {
+				candidate: candidate.name,
+				filename,
+				phase: "candidate",
+				reason: "already-static",
+				status: "skipped"
+			});
+			continue;
+		}
+		let resolved;
+		let resolvedOpaqueRuntimeBase = false;
+		if (isOpaqueRuntimeBaseHelper) {
+			resolved = yield* resolveOpaqueRuntimeCandidateValue(this, candidate, filename);
+			resolvedOpaqueRuntimeBase = !!resolved;
+			if (!resolved) {
+				resolved = yield* resolveCandidateValue(this, candidate, filename, memo);
+			}
+		} else {
+			resolved = yield* resolveCandidateValue(this, candidate, filename, memo);
+		}
+		if (!resolved) {
+			continue;
+		}
+		if (resolvedOpaqueRuntimeBase) {
+			debugStaticResolve(this, {
+				candidate: candidate.name,
+				filename,
+				phase: "candidate",
+				reason: "opaque-runtime-component",
+				status: "resolved"
+			});
+			staticNullWYWMetaExtendsHelpers.add(candidate.name);
+		}
+		if (resolved.runtimeOnly) {
+			// Runtime callback — seed a callable placeholder for collect() but
+			// track it separately so the `_exp = () => target` helper survives
+			// pruning. The runtime call site relies on that helper declaration.
+			runtimeOnlyCandidateNames.add(candidate.name);
+			staticValueCache.set(candidate.name, runtimeCallbackPlaceholder);
+		} else {
+			staticValueCache.set(candidate.name, resolved.value);
+		}
+		hasKnownStaticCandidate = true;
+		candidate.imports.forEach((item) => staticImportLocals.add(item.importLocal ?? item.local));
+		resolved.dependencies.forEach((dependency) => staticDependencies.add(dependency));
+		resolved.sideEffectImportLocals?.forEach((local) => sideEffectImportLocals.add(local));
+		changed = true;
+		applySameFileStaticWYWMetaHelpers();
+	}
+	if (!changed && (!hasKnownStaticCandidate || preevalResult.staticValuesApplied)) {
+		if (staticOnly && evalDependencyNames.size > 0) {
+			throw getStaticStrategyFailure(filename, evalDependencyNames);
+		}
+		return false;
+	}
+	const dependencyNames = (preevalResult.dependencyNames ?? []).filter((name) => !staticValueCache.has(name) && !runtimeOnlyCandidateNames.has(name));
+	if (staticOnly && dependencyNames.length > 0) {
+		throw getStaticStrategyFailure(filename, dependencyNames);
+	}
+	preevalResult.dependencyNames = dependencyNames;
+	preevalResult.staticValueCache = staticValueCache;
+	preevalResult.staticDependencies = [...staticDependencies];
+	preevalResult.staticNullWYWMetaExtendsHelpers = [...staticNullWYWMetaExtendsHelpers];
+	preevalResult.runtimeOnlyStaticValueNames = [...runtimeOnlyCandidateNames];
+	preevalResult.staticValuesApplied = true;
+	const originalBaseCode = preevalResult.baseCode ?? preevalResult.code;
+	const prunableStaticValueNames = new Set([...staticValueCache.keys()].filter((name) => !runtimeOnlyCandidateNames.has(name)));
+	const staticExtendsHelperValues = new Map([...staticValueCache].filter(([name]) => !runtimeOnlyCandidateNames.has(name)));
+	staticNullWYWMetaExtendsHelpers.forEach((name) => {
+		if (!staticExtendsHelperValues.has(name)) {
+			staticExtendsHelperValues.set(name, null);
+		}
+	});
+	const baseCode = pruneStaticPreevalCode(originalBaseCode, filename, prunableStaticValueNames, staticImportLocals, staticExtendsHelperValues, sideEffectImportLocals);
+	const evalBaseCode = sideEffectImportLocals.size > 0 ? pruneStaticPreevalCode(originalBaseCode, filename, prunableStaticValueNames, staticImportLocals, staticExtendsHelperValues, new Set()) : baseCode;
+	preevalResult.baseCode = baseCode;
+	preevalResult.code = appendOxcWywPreval(baseCode, filename, dependencyNames);
+	preevalResult.evalCode = appendOxcWywPreval(evalBaseCode, filename, dependencyNames);
+	preevalResult.staticSideEffectImportLocals = [...sideEffectImportLocals];
+	for (const dependency of staticDependencies) {
+		const strippedDependency = stripQueryAndHash(dependency);
+		if (isAbsolute(strippedDependency)) {
+			this.services.cache.checkFreshness(dependency, strippedDependency);
+		}
+		this.entrypoint.addInvalidationDependency({
+			only: ["*"],
+			resolved: dependency,
+			source: dependency
+		});
+		this.entrypoint.markInvalidateOnDependencyChange(dependency);
+	}
+	return true;
+}
+//# sourceMappingURL=resolveStaticOxcPreevalValues.js.map

package/esm/transform/generators/resolveStaticOxcValues/resolveStaticOxcPreevalValues.js.map

@@ -0,0 +1 @@
+{"mappings":";AAEA,SAAS,kBAAkB;AAE3B,SAAS,0BAA0B;AACnC,SAAS,yBAAyB;AAElC,SACE,uBACA,0CACK;AACP,SACE,oBACA,iBACA,0BACA,oBACK;AACP,SACE,kCACA,iDACK;AACP,SAAS,8BAA8B;AACvC,SAAS,kCAAkC;AAG3C,OAAO,UAAU,gCAEW;CAC1B,MAAM,gBAAgB,KAAK,WAAW,kBAAkB;AACxD,KAAI,CAAC,eAAe;AAClB,SAAO;;CAGT,MAAM,aAAa,cAAc,yBAAyB,EAAE;CAC5D,MAAM,sBAAsB,IAAI,IAAI,cAAc,mBAAmB,EAAE,CAAC;AACxE,KAAI,WAAW,WAAW,KAAK,oBAAoB,SAAS,GAAG;AAC7D,SAAO;;CAGT,MAAM,WACJ,KAAK,WAAW,gBAAgB,cAAc,YAC1C,KAAK,WAAW,OAChB,KAAK,WAAW,gBAAgB,WAAW,YAC3C,KAAK,WAAW;CACtB,MAAM,eAAe,gBAAgB,KAAK;AAC1C,KAAI,iBAAiB,WAAW;AAC9B,SAAO;;CAET,MAAM,aAAa,iBAAiB;CAEpC,MAAM,mBACJ,cAAc,oBAAoB,IAAI,KAAsB;CAC9D,MAAM,qBAAqB,IAAI,IAAI,cAAc,sBAAsB,EAAE,CAAC;CAC1E,MAAM,qBAAqB,IAAI,KAAa;CAC5C,MAAM,yBAAyB,IAAI,KAAa;CAChD,MAAM,kCAAkC,IAAI,IAC1C,cAAc,mCAAmC,EAAE,CACpD;CACD,MAAM,OAAO,IAAI,KAAwC;CACzD,MAAM,2BAA2B,iCAC/B,aAAa,cAAc,YAAY,cAAc,MAAM,SAAS,CACrE;;;;CAID,MAAM,4BAA4B,IAAI,IACpC,cAAc,+BAA+B,EAAE,CAChD;CACD,IAAI,UAAU;CACd,IAAI,0BAA0B;CAC9B,MAAM,sCACJ,0CACE,cAAc,YAAY,cAAc,MACxC,SACD;CACH,MAAM,0CAAmD;EACvD,IAAI,aAAa;AAEjB,WAAS;GACP,IAAI,UAAU;GACd,MAAM,SAAS,oCAAoC,iBAAiB;AACpE,UAAO,SAAS,OAAO,SAAS;AAC9B,QACE,iBAAiB,IAAI,KAAK,IACzB,CAAC,oBAAoB,IAAI,KAAK,IAC7B,CAAC,yBAAyB,IAAI,KAAK,EACrC;AACA;;AAGF,qBAAiB,IAAI,MAAM,MAAM;AACjC,uBAAmB,MAAM;KACvB,WAAW;KACX;KACA,OAAO;KACP,QAAQ;KACR,QAAQ;KACT,CAAC;AACF,cAAU;KACV;AAEF,OAAI,CAAC,SAAS;AACZ;;AAGF,gBAAa;;AAGf,MAAI,YAAY;AACd,aAAU;AACV,6BAA0B;;AAG5B,SAAO;;AAGT,oCAAmC;AAEnC,MAAK,MAAM,aAAa,YAAY;AAClC,qCAAmC;EAEnC,MAAM,4BAA4B,yBAAyB,IACzD,UAAU,KACX;AACD,MACE,CAAC,oBAAoB,IAAI,UAAU,KAAK,IACxC,CAAC,6BACD,CAAC,iBAAiB,IAAI,UAAU,KAAK,EACrC;AACA,sBAAmB,MAAM;IACvB,WAAW,UAAU;IACrB;IACA,OAAO;IACP,QAAQ;IACR,QAAQ;IACT,CAAC;AACF;;AAGF,MAAI,iBAAiB,IAAI,UAAU,KAAK,EAAE;AACxC,6BAA0B;AAC1B,aAAU,QAAQ,SAAS,SACzB,mBAAmB,IAAI,KAAK,eAAe,KAAK,MAAM,CACvD;AACD,OACE,6BACA,iBAAiB,IAAI,UAAU,KAAK,KAAK,MACzC;AACA,oCAAgC,IAAI,UAAU,KAAK;;AAErD,sBAAmB,MAAM;IACvB,WAAW,UAAU;IACrB;IACA,OAAO;IACP,QAAQ;IACR,QAAQ;IACT,CAAC;AACF;;EAGF,IAAI;EACJ,IAAI,4BAA4B;AAChC,MAAI,2BAA2B;AAC7B,cAAW,OAAO,mCAChB,MACA,WACA,SACD;AACD,+BAA4B,CAAC,CAAC;AAC9B,OAAI,CAAC,UAAU;AACb,eAAW,OAAO,sBAChB,MACA,WACA,UACA,KACD;;SAEE;AACL,cAAW,OAAO,sBAAsB,MAAM,WAAW,UAAU,KAAK;;AAE1E,MAAI,CAAC,UAAU;AACb;;AAGF,MAAI,2BAA2B;AAC7B,sBAAmB,MAAM;IACvB,WAAW,UAAU;IACrB;IACA,OAAO;IACP,QAAQ;IACR,QAAQ;IACT,CAAC;AACF,mCAAgC,IAAI,UAAU,KAAK;;AAGrD,MAAI,SAAS,aAAa;;;;AAIxB,6BAA0B,IAAI,UAAU,KAAK;AAC7C,oBAAiB,IAAI,UAAU,MAAM,2BAA2B;SAC3D;AACL,oBAAiB,IAAI,UAAU,MAAM,SAAS,MAAM;;AAEtD,4BAA0B;AAC1B,YAAU,QAAQ,SAAS,SACzB,mBAAmB,IAAI,KAAK,eAAe,KAAK,MAAM,CACvD;AACD,WAAS,aAAa,SAAS,eAC7B,mBAAmB,IAAI,WAAW,CACnC;AACD,WAAS,wBAAwB,SAAS,UACxC,uBAAuB,IAAI,MAAM,CAClC;AACD,YAAU;AACV,qCAAmC;;AAGrC,KACE,CAAC,YACA,CAAC,2BAA2B,cAAc,sBAC3C;AACA,MAAI,cAAc,oBAAoB,OAAO,GAAG;AAC9C,SAAM,yBAAyB,UAAU,oBAAoB;;AAE/D,SAAO;;CAGT,MAAM,mBAAmB,cAAc,mBAAmB,EAAE,EAAE,QAC3D,SACC,CAAC,iBAAiB,IAAI,KAAK,IAAI,CAAC,0BAA0B,IAAI,KAAK,CACtE;AACD,KAAI,cAAc,gBAAgB,SAAS,GAAG;AAC5C,QAAM,yBAAyB,UAAU,gBAAgB;;AAE3D,eAAc,kBAAkB;AAChC,eAAc,mBAAmB;AACjC,eAAc,qBAAqB,CAAC,GAAG,mBAAmB;AAC1D,eAAc,kCAAkC,CAC9C,GAAG,gCACJ;AACD,eAAc,8BAA8B,CAAC,GAAG,0BAA0B;AAC1E,eAAc,sBAAsB;CACpC,MAAM,mBAAmB,cAAc,YAAY,cAAc;CACjE,MAAM,2BAA2B,IAAI,IACnC,CAAC,GAAG,iBAAiB,MAAM,CAAC,CAAC,QAC1B,SAAS,CAAC,0BAA0B,IAAI,KAAK,CAC/C,CACF;CACD,MAAM,4BAA4B,IAAI,IACpC,CAAC,GAAG,iBAAiB,CAAC,QACnB,CAAC,UAAU,CAAC,0BAA0B,IAAI,KAAK,CACjD,CACF;AACD,iCAAgC,SAAS,SAAS;AAChD,MAAI,CAAC,0BAA0B,IAAI,KAAK,EAAE;AACxC,6BAA0B,IAAI,MAAM,KAAK;;GAE3C;CACF,MAAM,WAAW,uBACf,kBACA,UACA,0BACA,oBACA,2BACA,uBACD;CACD,MAAM,eACJ,uBAAuB,OAAO,IAC1B,uBACE,kBACA,UACA,0BACA,oBACA,2BACA,IAAI,KAAK,CACV,GACD;AACN,eAAc,WAAW;AACzB,eAAc,OAAO,mBAAmB,UAAU,UAAU,gBAAgB;AAC5E,eAAc,WAAW,mBACvB,cACA,UACA,gBACD;AACD,eAAc,+BAA+B,CAAC,GAAG,uBAAuB;AAExE,MAAK,MAAM,cAAc,oBAAoB;EAC3C,MAAM,qBAAqB,kBAAkB,WAAW;AACxD,MAAI,WAAW,mBAAmB,EAAE;AAClC,QAAK,SAAS,MAAM,eAAe,YAAY,mBAAmB;;AAGpE,OAAK,WAAW,0BAA0B;GACxC,MAAM,CAAC,IAAI;GACX,UAAU;GACV,QAAQ;GACT,CAAC;AACF,OAAK,WAAW,iCAAiC,WAAW;;AAG9D,QAAO","names":[],"sources":["../../../../src/transform/generators/resolveStaticOxcValues/resolveStaticOxcPreevalValues.ts"],"version":3,"sourcesContent":["/* eslint-disable no-restricted-syntax,no-continue,@typescript-eslint/no-use-before-define */\n\nimport { isAbsolute } from 'path';\n\nimport { appendOxcWywPreval } from '../../../utils/oxcPreevalStage';\nimport { stripQueryAndHash } from '../../../utils/parseRequest';\nimport type { ITransformAction, SyncScenarioFor } from '../../types';\nimport {\n  resolveCandidateValue,\n  resolveOpaqueRuntimeCandidateValue,\n} from './candidateResolver';\nimport {\n  debugStaticResolve,\n  getEvalStrategy,\n  getStaticStrategyFailure,\n  parseProgram,\n} from './environment';\nimport {\n  collectWYWMetaExtendsHelperNames,\n  createSameFileStaticWYWMetaHelperResolver,\n} from './processorStaticModel';\nimport { pruneStaticPreevalCode } from './prune';\nimport { runtimeCallbackPlaceholder } from './staticExpression';\nimport type { StaticExportResult } from './types';\n\nexport function* resolveStaticOxcPreevalValues(\n  this: ITransformAction\n): SyncScenarioFor<boolean> {\n  const preevalResult = this.entrypoint.getPreevalResult();\n  if (!preevalResult) {\n    return false;\n  }\n\n  const candidates = preevalResult.staticValueCandidates ?? [];\n  const evalDependencyNames = new Set(preevalResult.dependencyNames ?? []);\n  if (candidates.length === 0 && evalDependencyNames.size === 0) {\n    return false;\n  }\n\n  const filename =\n    this.entrypoint.loadedAndParsed.evaluator === 'ignored'\n      ? this.entrypoint.name\n      : this.entrypoint.loadedAndParsed.evalConfig.filename ??\n        this.entrypoint.name;\n  const evalStrategy = getEvalStrategy(this);\n  if (evalStrategy === 'execute') {\n    return false;\n  }\n  const staticOnly = evalStrategy === 'static';\n\n  const staticValueCache =\n    preevalResult.staticValueCache ?? new Map<string, unknown>();\n  const staticDependencies = new Set(preevalResult.staticDependencies ?? []);\n  const staticImportLocals = new Set<string>();\n  const sideEffectImportLocals = new Set<string>();\n  const staticNullWYWMetaExtendsHelpers = new Set(\n    preevalResult.staticNullWYWMetaExtendsHelpers ?? []\n  );\n  const memo = new Map<string, StaticExportResult | null>();\n  const opaqueRuntimeBaseHelpers = collectWYWMetaExtendsHelperNames(\n    parseProgram(preevalResult.baseCode ?? preevalResult.code, filename)\n  );\n  // Names of candidates resolved to runtime callbacks (function values).\n  // They keep the file out of evalFile but their helper declarations must\n  // not be pruned — the runtime call site relies on them.\n  const runtimeOnlyCandidateNames = new Set<string>(\n    preevalResult.runtimeOnlyStaticValueNames ?? []\n  );\n  let changed = false;\n  let hasKnownStaticCandidate = false;\n  const resolveSameFileStaticWYWMetaHelpers =\n    createSameFileStaticWYWMetaHelperResolver(\n      preevalResult.baseCode ?? preevalResult.code,\n      filename\n    );\n  const applySameFileStaticWYWMetaHelpers = (): boolean => {\n    let appliedAny = false;\n\n    for (;;) {\n      let applied = false;\n      const values = resolveSameFileStaticWYWMetaHelpers(staticValueCache);\n      values.forEach((value, name) => {\n        if (\n          staticValueCache.has(name) ||\n          (!evalDependencyNames.has(name) &&\n            !opaqueRuntimeBaseHelpers.has(name))\n        ) {\n          return;\n        }\n\n        staticValueCache.set(name, value);\n        debugStaticResolve(this, {\n          candidate: name,\n          filename,\n          phase: 'candidate',\n          reason: 'same-file-static-metadata',\n          status: 'resolved',\n        });\n        applied = true;\n      });\n\n      if (!applied) {\n        break;\n      }\n\n      appliedAny = true;\n    }\n\n    if (appliedAny) {\n      changed = true;\n      hasKnownStaticCandidate = true;\n    }\n\n    return appliedAny;\n  };\n\n  applySameFileStaticWYWMetaHelpers();\n\n  for (const candidate of candidates) {\n    applySameFileStaticWYWMetaHelpers();\n\n    const isOpaqueRuntimeBaseHelper = opaqueRuntimeBaseHelpers.has(\n      candidate.name\n    );\n    if (\n      !evalDependencyNames.has(candidate.name) &&\n      !isOpaqueRuntimeBaseHelper &&\n      !staticValueCache.has(candidate.name)\n    ) {\n      debugStaticResolve(this, {\n        candidate: candidate.name,\n        filename,\n        phase: 'candidate',\n        reason: 'not-eval-dependency',\n        status: 'skipped',\n      });\n      continue;\n    }\n\n    if (staticValueCache.has(candidate.name)) {\n      hasKnownStaticCandidate = true;\n      candidate.imports.forEach((item) =>\n        staticImportLocals.add(item.importLocal ?? item.local)\n      );\n      if (\n        isOpaqueRuntimeBaseHelper &&\n        staticValueCache.get(candidate.name) === null\n      ) {\n        staticNullWYWMetaExtendsHelpers.add(candidate.name);\n      }\n      debugStaticResolve(this, {\n        candidate: candidate.name,\n        filename,\n        phase: 'candidate',\n        reason: 'already-static',\n        status: 'skipped',\n      });\n      continue;\n    }\n\n    let resolved: StaticExportResult | null;\n    let resolvedOpaqueRuntimeBase = false;\n    if (isOpaqueRuntimeBaseHelper) {\n      resolved = yield* resolveOpaqueRuntimeCandidateValue(\n        this,\n        candidate,\n        filename\n      );\n      resolvedOpaqueRuntimeBase = !!resolved;\n      if (!resolved) {\n        resolved = yield* resolveCandidateValue(\n          this,\n          candidate,\n          filename,\n          memo\n        );\n      }\n    } else {\n      resolved = yield* resolveCandidateValue(this, candidate, filename, memo);\n    }\n    if (!resolved) {\n      continue;\n    }\n\n    if (resolvedOpaqueRuntimeBase) {\n      debugStaticResolve(this, {\n        candidate: candidate.name,\n        filename,\n        phase: 'candidate',\n        reason: 'opaque-runtime-component',\n        status: 'resolved',\n      });\n      staticNullWYWMetaExtendsHelpers.add(candidate.name);\n    }\n\n    if (resolved.runtimeOnly) {\n      // Runtime callback — seed a callable placeholder for collect() but\n      // track it separately so the `_exp = () => target` helper survives\n      // pruning. The runtime call site relies on that helper declaration.\n      runtimeOnlyCandidateNames.add(candidate.name);\n      staticValueCache.set(candidate.name, runtimeCallbackPlaceholder);\n    } else {\n      staticValueCache.set(candidate.name, resolved.value);\n    }\n    hasKnownStaticCandidate = true;\n    candidate.imports.forEach((item) =>\n      staticImportLocals.add(item.importLocal ?? item.local)\n    );\n    resolved.dependencies.forEach((dependency) =>\n      staticDependencies.add(dependency)\n    );\n    resolved.sideEffectImportLocals?.forEach((local) =>\n      sideEffectImportLocals.add(local)\n    );\n    changed = true;\n    applySameFileStaticWYWMetaHelpers();\n  }\n\n  if (\n    !changed &&\n    (!hasKnownStaticCandidate || preevalResult.staticValuesApplied)\n  ) {\n    if (staticOnly && evalDependencyNames.size > 0) {\n      throw getStaticStrategyFailure(filename, evalDependencyNames);\n    }\n    return false;\n  }\n\n  const dependencyNames = (preevalResult.dependencyNames ?? []).filter(\n    (name) =>\n      !staticValueCache.has(name) && !runtimeOnlyCandidateNames.has(name)\n  );\n  if (staticOnly && dependencyNames.length > 0) {\n    throw getStaticStrategyFailure(filename, dependencyNames);\n  }\n  preevalResult.dependencyNames = dependencyNames;\n  preevalResult.staticValueCache = staticValueCache;\n  preevalResult.staticDependencies = [...staticDependencies];\n  preevalResult.staticNullWYWMetaExtendsHelpers = [\n    ...staticNullWYWMetaExtendsHelpers,\n  ];\n  preevalResult.runtimeOnlyStaticValueNames = [...runtimeOnlyCandidateNames];\n  preevalResult.staticValuesApplied = true;\n  const originalBaseCode = preevalResult.baseCode ?? preevalResult.code;\n  const prunableStaticValueNames = new Set(\n    [...staticValueCache.keys()].filter(\n      (name) => !runtimeOnlyCandidateNames.has(name)\n    )\n  );\n  const staticExtendsHelperValues = new Map(\n    [...staticValueCache].filter(\n      ([name]) => !runtimeOnlyCandidateNames.has(name)\n    )\n  );\n  staticNullWYWMetaExtendsHelpers.forEach((name) => {\n    if (!staticExtendsHelperValues.has(name)) {\n      staticExtendsHelperValues.set(name, null);\n    }\n  });\n  const baseCode = pruneStaticPreevalCode(\n    originalBaseCode,\n    filename,\n    prunableStaticValueNames,\n    staticImportLocals,\n    staticExtendsHelperValues,\n    sideEffectImportLocals\n  );\n  const evalBaseCode =\n    sideEffectImportLocals.size > 0\n      ? pruneStaticPreevalCode(\n          originalBaseCode,\n          filename,\n          prunableStaticValueNames,\n          staticImportLocals,\n          staticExtendsHelperValues,\n          new Set()\n        )\n      : baseCode;\n  preevalResult.baseCode = baseCode;\n  preevalResult.code = appendOxcWywPreval(baseCode, filename, dependencyNames);\n  preevalResult.evalCode = appendOxcWywPreval(\n    evalBaseCode,\n    filename,\n    dependencyNames\n  );\n  preevalResult.staticSideEffectImportLocals = [...sideEffectImportLocals];\n\n  for (const dependency of staticDependencies) {\n    const strippedDependency = stripQueryAndHash(dependency);\n    if (isAbsolute(strippedDependency)) {\n      this.services.cache.checkFreshness(dependency, strippedDependency);\n    }\n\n    this.entrypoint.addInvalidationDependency({\n      only: ['*'],\n      resolved: dependency,\n      source: dependency,\n    });\n    this.entrypoint.markInvalidateOnDependencyChange(dependency);\n  }\n\n  return true;\n}\n"],"file":"resolveStaticOxcPreevalValues.js"}