packtory 0.0.87 → 0.0.88

package/dead-code-eliminator/liveness/external-purity-summary.js

@@ -0,0 +1,295 @@
+import { Node as TsMorphNode, SyntaxKind } from 'ts-morph';
+import { unwrapExpression } from "../expression-unwrapping.js";
+import { resolveModuleSourceFile } from "./external-module-resolution.js";
+const noExportEntries = [];
+function isProjectSummaryStore(value) {
+    return value instanceof Map;
+}
+function projectSummaryCache(project) {
+    const stored = Reflect.get(project, projectSummaryCache.name);
+    const cache = isProjectSummaryStore(stored) ? stored : new Map();
+    Reflect.set(project, projectSummaryCache.name, cache);
+    return cache;
+}
+function kindIsTextOrNumberReturnLeaf(kind) {
+    return kind === SyntaxKind.StringLiteral || kind === SyntaxKind.NumericLiteral;
+}
+function kindIsBooleanReturnLeaf(kind) {
+    return kind === SyntaxKind.TrueKeyword || kind === SyntaxKind.FalseKeyword;
+}
+function kindIsPureReturnLeaf(kind) {
+    return kindIsTextOrNumberReturnLeaf(kind) ||
+        kindIsBooleanReturnLeaf(kind) ||
+        kind === SyntaxKind.NullKeyword;
+}
+function arrowReturnExpressionFrom(functionLike) {
+    const body = functionLike.getBody();
+    return TsMorphNode.isExpression(body) ? body : undefined;
+}
+function blockFromFunctionLike(functionLike) {
+    return functionLike.getBody()?.asKind(SyntaxKind.Block);
+}
+function blockReturnExpressionFrom(functionLike) {
+    const body = blockFromFunctionLike(functionLike);
+    if (body === undefined) {
+        return undefined;
+    }
+    const [statement] = body.getStatements();
+    return TsMorphNode.isReturnStatement(statement) ? statement.getExpression() : undefined;
+}
+function returnExpressionFrom(functionLike) {
+    if (TsMorphNode.isArrowFunction(functionLike)) {
+        return arrowReturnExpressionFrom(functionLike);
+    }
+    return blockReturnExpressionFrom(functionLike);
+}
+function expressionIsPureReturnStructure(expression) {
+    return TsMorphNode.isObjectLiteralExpression(expression) ||
+        TsMorphNode.isArrayLiteralExpression(expression) ||
+        TsMorphNode.isArrowFunction(expression) ||
+        TsMorphNode.isFunctionExpression(expression);
+}
+function expressionIsPureReturnValue(expression) {
+    const unwrapped = unwrapExpression(expression);
+    return kindIsPureReturnLeaf(unwrapped.getKind()) || expressionIsPureReturnStructure(unwrapped);
+}
+function functionLikeIsPureBuilder(functionLike) {
+    if (functionLike.getFullText().includes('@__NO_SIDE_EFFECTS__')) {
+        return true;
+    }
+    const expression = returnExpressionFrom(functionLike);
+    return expression !== undefined && expressionIsPureReturnValue(expression);
+}
+function callablePurity(functionLike) {
+    return functionLikeIsPureBuilder(functionLike) ? 'pure-callable' : 'unknown';
+}
+function propertyInitializerPurity(initializer) {
+    if (TsMorphNode.isFunctionExpression(initializer) || TsMorphNode.isArrowFunction(initializer)) {
+        return callablePurity(initializer);
+    }
+    return TsMorphNode.isObjectLiteralExpression(initializer) ? 'pure-object' : 'unknown';
+}
+function supportedObjectProperty(property) {
+    if (TsMorphNode.isMethodDeclaration(property) || TsMorphNode.isPropertyAssignment(property)) {
+        return property;
+    }
+    return undefined;
+}
+function propertyPurity(property) {
+    if (TsMorphNode.isMethodDeclaration(property)) {
+        return callablePurity(property);
+    }
+    return propertyInitializerPurity(property.getInitializerOrThrow());
+}
+function propertyName(property) {
+    const nameNode = property.getNameNode();
+    return TsMorphNode.isStringLiteral(nameNode) ? nameNode.getLiteralText() : property.getName();
+}
+function functionLikeReturnObjectEntries(exportName, functionLike, collectObjectEntries) {
+    const unwrapped = unwrapExpression(returnExpressionFrom(functionLike));
+    return TsMorphNode.isObjectLiteralExpression(unwrapped)
+        ? collectObjectEntries(exportName, unwrapped, undefined)
+        : noExportEntries;
+}
+function methodReturnObjectEntries(propertyPath, property, collectObjectEntries) {
+    return TsMorphNode.isMethodDeclaration(property)
+        ? functionLikeReturnObjectEntries(propertyPath, property, collectObjectEntries)
+        : noExportEntries;
+}
+function propertyAssignmentReturnObjectEntries(propertyPath, property, collectObjectEntries) {
+    if (!TsMorphNode.isPropertyAssignment(property)) {
+        return noExportEntries;
+    }
+    const initializer = property.getInitializerOrThrow();
+    return TsMorphNode.isFunctionExpression(initializer) || TsMorphNode.isArrowFunction(initializer)
+        ? functionLikeReturnObjectEntries(propertyPath, initializer, collectObjectEntries)
+        : noExportEntries;
+}
+function objectPropertyExportEntries(exportName, property, collectObjectEntries) {
+    const supportedProperty = supportedObjectProperty(property);
+    if (supportedProperty === undefined) {
+        return noExportEntries;
+    }
+    const name = propertyName(supportedProperty);
+    const propertyPath = `${exportName}.${name}`;
+    return [
+        [propertyPath, propertyPurity(supportedProperty)],
+        ...methodReturnObjectEntries(propertyPath, supportedProperty, collectObjectEntries),
+        ...propertyAssignmentReturnObjectEntries(propertyPath, supportedProperty, collectObjectEntries)
+    ];
+}
+function objectLiteralExportEntries(exportName, initializer, selfPurity) {
+    const entries = [];
+    for (const property of initializer.getProperties()) {
+        entries.push(...objectPropertyExportEntries(exportName, property, objectLiteralExportEntries));
+    }
+    if (selfPurity !== undefined) {
+        entries.push([exportName, selfPurity]);
+    }
+    return entries;
+}
+function variableExportEntries(declaration) {
+    const initializer = declaration.getInitializer();
+    const name = declaration.getName();
+    if (TsMorphNode.isObjectLiteralExpression(initializer)) {
+        return objectLiteralExportEntries(name, initializer, 'pure-object');
+    }
+    if (TsMorphNode.isFunctionExpression(initializer) || TsMorphNode.isArrowFunction(initializer)) {
+        return [
+            [name, callablePurity(initializer)],
+            ...functionLikeReturnObjectEntries(name, initializer, objectLiteralExportEntries)
+        ];
+    }
+    return noExportEntries;
+}
+function addVariableExport(declaration, context) {
+    for (const [name, purity] of variableExportEntries(declaration)) {
+        context.exportPurities.set(name, purity);
+    }
+}
+function mergeExports(context, prefix, source) {
+    for (const [key, value] of source) {
+        context.exportPurities.set(prefix === '' ? key : `${prefix}.${key}`, value);
+    }
+    if (prefix !== '') {
+        context.exportPurities.set(prefix, 'pure-object');
+    }
+}
+function resolvedModuleSummary(context, moduleSpecifier) {
+    const target = resolveModuleSourceFile(moduleSpecifier, context.sourceFile);
+    return target === undefined ? undefined : context.buildSummary(target);
+}
+function sourceExportPrefix(sourceName) {
+    return `${sourceName}.`;
+}
+function importedNamespaceSources(sourceFile) {
+    const namespaces = new Map();
+    for (const declaration of sourceFile.getImportDeclarations()) {
+        const namespace = declaration.getNamespaceImport();
+        if (namespace !== undefined) {
+            namespaces.set(namespace.getText(), declaration.getModuleSpecifierValue());
+        }
+    }
+    return namespaces;
+}
+function mergeNestedNamedExport(context, sourceName, exportedName, summary) {
+    const prefix = sourceExportPrefix(sourceName);
+    for (const [key, value] of summary.exports) {
+        if (key.startsWith(prefix)) {
+            context.exportPurities.set(`${exportedName}.${key.slice(prefix.length)}`, value);
+        }
+    }
+}
+function mergeNamedExport(context, namedExport, summary) {
+    const sourceName = namedExport.getName();
+    const exportedName = namedExport.getAliasNode()?.getText() ?? sourceName;
+    context.exportPurities.set(exportedName, summary.exports.get(sourceName) ?? 'unknown');
+    mergeNestedNamedExport(context, sourceName, exportedName, summary);
+}
+function mergeNamedExports(context, declaration, summary) {
+    for (const namedExport of declaration.getNamedExports()) {
+        mergeNamedExport(context, namedExport, summary);
+    }
+}
+function mergeModuleExportsByKind(context, declaration, summary) {
+    if (declaration.getNamedExports().length === 0) {
+        mergeExports(context, '', summary.exports);
+        return;
+    }
+    mergeNamedExports(context, declaration, summary);
+}
+function mergeModuleExportDeclaration(context, declaration, moduleSpecifier) {
+    const summary = resolvedModuleSummary(context, moduleSpecifier);
+    if (summary === undefined) {
+        return;
+    }
+    const namespaceExport = declaration.getNamespaceExport();
+    if (namespaceExport !== undefined) {
+        mergeExports(context, namespaceExport.getName(), summary.exports);
+        return;
+    }
+    mergeModuleExportsByKind(context, declaration, summary);
+}
+function mergeNamespaceReexport(context, namedExport, namespaceSource) {
+    const summary = resolvedModuleSummary(context, namespaceSource);
+    if (summary === undefined) {
+        return;
+    }
+    const sourceName = namedExport.getName();
+    const exportedName = namedExport.getAliasNode()?.getText() ?? sourceName;
+    mergeExports(context, exportedName, summary.exports);
+}
+function mergeLocalExportDeclaration(context, declaration) {
+    for (const namedExport of declaration.getNamedExports()) {
+        const namespaceSource = context.namespaces.get(namedExport.getName());
+        if (namespaceSource !== undefined) {
+            mergeNamespaceReexport(context, namedExport, namespaceSource);
+        }
+    }
+}
+function mergeExportDeclaration(context, declaration) {
+    const moduleSpecifier = declaration.getModuleSpecifierValue();
+    if (moduleSpecifier !== undefined) {
+        mergeModuleExportDeclaration(context, declaration, moduleSpecifier);
+        return;
+    }
+    mergeLocalExportDeclaration(context, declaration);
+}
+function addFunctionExport(statement, context) {
+    if (!TsMorphNode.isFunctionDeclaration(statement) || !statement.isExported()) {
+        return;
+    }
+    const name = statement.getName();
+    if (name !== undefined) {
+        context.exportPurities.set(name, callablePurity(statement));
+    }
+}
+function addVariableStatementExports(statement, context) {
+    if (!TsMorphNode.isVariableStatement(statement) || !statement.isExported()) {
+        return;
+    }
+    for (const declaration of statement.getDeclarations()) {
+        addVariableExport(declaration, context);
+    }
+}
+function mergeStatementExports(context, statement) {
+    addFunctionExport(statement, context);
+    addVariableStatementExports(statement, context);
+    if (TsMorphNode.isExportDeclaration(statement)) {
+        mergeExportDeclaration(context, statement);
+    }
+}
+function summaryContext(sourceFile, exportPurities, buildSummary) {
+    return {
+        sourceFile,
+        namespaces: importedNamespaceSources(sourceFile),
+        exportPurities,
+        buildSummary
+    };
+}
+function createExternalPuritySummary(sourceFile, cache, buildSummary) {
+    const exportPurities = new Map();
+    const summary = { exports: exportPurities };
+    cache.set(sourceFile.getFilePath(), summary);
+    const context = summaryContext(sourceFile, exportPurities, buildSummary);
+    for (const statement of sourceFile.getStatements()) {
+        mergeStatementExports(context, statement);
+    }
+    return summary;
+}
+function buildExternalPuritySummary(sourceFile) {
+    const cache = projectSummaryCache(sourceFile.getProject());
+    const cached = cache.get(sourceFile.getFilePath());
+    return cached ?? createExternalPuritySummary(sourceFile, cache, buildExternalPuritySummary);
+}
+function exportKey(origin) {
+    return origin.path.join('.');
+}
+export function exportPurityForOrigin(origin, containingSourceFile) {
+    const sourceFile = resolveModuleSourceFile(origin.from, containingSourceFile);
+    if (sourceFile === undefined) {
+        return 'unknown';
+    }
+    return buildExternalPuritySummary(sourceFile).exports.get(exportKey(origin)) ?? 'unknown';
+}
+//# sourceMappingURL=external-purity-summary.js.map

package/dead-code-eliminator/liveness/external-purity-summary.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"external-purity-summary.js","sourceRoot":"","sources":["../../../../../source/dead-code-eliminator/liveness/external-purity-summary.ts"],"names":[],"mappings":"AAAA,OAAO,EACH,IAAI,IAAI,WAAW,EACnB,UAAU,EAeb,MAAM,UAAU,CAAC;AAElB,OAAO,EAAE,gBAAgB,EAAE,MAAM,6BAA6B,CAAC;AAC/D,OAAO,EAAE,uBAAuB,EAAE,MAAM,iCAAiC,CAAC;AAoC1E,MAAM,eAAe,GAAiC,EAAE,CAAC;AAEzD,SAAS,qBAAqB,CAAC,KAAc;IACzC,OAAO,KAAK,YAAY,GAAG,CAAC;AAChC,CAAC;AAED,SAAS,mBAAmB,CAAC,OAAgB;IACzC,MAAM,MAAM,GAAY,OAAO,CAAC,GAAG,CAAC,OAAO,EAAE,mBAAmB,CAAC,IAAI,CAAC,CAAC;IACvE,MAAM,KAAK,GAAG,qBAAqB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,GAAG,EAAiC,CAAC;IAChG,OAAO,CAAC,GAAG,CAAC,OAAO,EAAE,mBAAmB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACtD,OAAO,KAAK,CAAC;AACjB,CAAC;AAED,SAAS,4BAA4B,CAAC,IAAgB;IAClD,OAAO,IAAI,KAAK,UAAU,CAAC,aAAa,IAAI,IAAI,KAAK,UAAU,CAAC,cAAc,CAAC;AACnF,CAAC;AAED,SAAS,uBAAuB,CAAC,IAAgB;IAC7C,OAAO,IAAI,KAAK,UAAU,CAAC,WAAW,IAAI,IAAI,KAAK,UAAU,CAAC,YAAY,CAAC;AAC/E,CAAC;AAED,SAAS,oBAAoB,CAAC,IAAgB;IAC1C,OAAO,4BAA4B,CAAC,IAAI,CAAC;QACrC,uBAAuB,CAAC,IAAI,CAAC;QAC7B,IAAI,KAAK,UAAU,CAAC,WAAW,CAAC;AACxC,CAAC;AAED,SAAS,yBAAyB,CAAC,YAA2B;IAC1D,MAAM,IAAI,GAAG,YAAY,CAAC,OAAO,EAAE,CAAC;IACpC,OAAO,WAAW,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;AAC7D,CAAC;AAED,SAAS,qBAAqB,CAC1B,YAA0E;IAE1E,OAAO,YAAY,CAAC,OAAO,EAAE,EAAE,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;AAC5D,CAAC;AAED,SAAS,yBAAyB,CAC9B,YAA0E;IAE1E,MAAM,IAAI,GAAG,qBAAqB,CAAC,YAAY,CAAC,CAAC;IACjD,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACrB,OAAO,SAAS,CAAC;IACrB,CAAC;IACD,MAAM,CAAE,SAAS,CAAE,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC;IAC3C,OAAO,WAAW,CAAC,iBAAiB,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;AAC5F,CAAC;AAED,SAAS,oBAAoB,CAAC,YAA0B;IACpD,IAAI,WAAW,CAAC,eAAe,CAAC,YAAY,CAAC,EAAE,CAAC;QAC5C,OAAO,yBAAyB,CAAC,YAAY,CAAC,CAAC;IACnD,CAAC;IACD,OAAO,yBAAyB,CAAC,YAAY,CAAC,CAAC;AACnD,CAAC;AAED,SAAS,+BAA+B,CAAC,UAAsB;IAC3D,OAAO,WAAW,CAAC,yBAAyB,CAAC,UAAU,CAAC;QACpD,WAAW,CAAC,wBAAwB,CAAC,UAAU,CAAC;QAChD,WAAW,CAAC,eAAe,CAAC,UAAU,CAAC;QACvC,WAAW,CAAC,oBAAoB,CAAC,UAAU,CAAC,CAAC;AACrD,CAAC;AAED,SAAS,2BAA2B,CAAC,UAAsB;IACvD,MAAM,SAAS,GAAG,gBAAgB,CAAC,UAAU,CAAC,CAAC;IAC/C,OAAO,oBAAoB,CAAC,SAAS,CAAC,OAAO,EAAE,CAAC,IAAI,+BAA+B,CAAC,SAAS,CAAC,CAAC;AACnG,CAAC;AAED,SAAS,yBAAyB,CAAC,YAA0B;IACzD,IAAI,YAAY,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,sBAAsB,CAAC,EAAE,CAAC;QAC9D,OAAO,IAAI,CAAC;IAChB,CAAC;IACD,MAAM,UAAU,GAAG,oBAAoB,CAAC,YAAY,CAAC,CAAC;IACtD,OAAO,UAAU,KAAK,SAAS,IAAI,2BAA2B,CAAC,UAAU,CAAC,CAAC;AAC/E,CAAC;AAED,SAAS,cAAc,CAAC,YAA0B;IAC9C,OAAO,yBAAyB,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,SAAS,CAAC;AACjF,CAAC;AAED,SAAS,yBAAyB,CAAC,WAAuB;IACtD,IAAI,WAAW,CAAC,oBAAoB,CAAC,WAAW,CAAC,IAAI,WAAW,CAAC,eAAe,CAAC,WAAW,CAAC,EAAE,CAAC;QAC5F,OAAO,cAAc,CAAC,WAAW,CAAC,CAAC;IACvC,CAAC;IACD,OAAO,WAAW,CAAC,yBAAyB,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,SAAS,CAAC;AAC1F,CAAC;AAED,SAAS,uBAAuB,CAAC,QAAqB;IAClD,IAAI,WAAW,CAAC,mBAAmB,CAAC,QAAQ,CAAC,IAAI,WAAW,CAAC,oBAAoB,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC1F,OAAO,QAAQ,CAAC;IACpB,CAAC;IACD,OAAO,SAAS,CAAC;AACrB,CAAC;AAED,SAAS,cAAc,CAAC,QAAiC;IACrD,IAAI,WAAW,CAAC,mBAAmB,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC5C,OAAO,cAAc,CAAC,QAAQ,CAAC,CAAC;IACpC,CAAC;IACD,OAAO,yBAAyB,CAAC,QAAQ,CAAC,qBAAqB,EAAE,CAAC,CAAC;AACvE,CAAC;AAED,SAAS,YAAY,CAAC,QAAiC;IACnD,MAAM,QAAQ,GAAG,QAAQ,CAAC,WAAW,EAAE,CAAC;IACxC,OAAO,WAAW,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,cAAc,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC;AAClG,CAAC;AAED,SAAS,+BAA+B,CACpC,UAAkB,EAClB,YAA0B,EAC1B,oBAA4C;IAE5C,MAAM,SAAS,GAAG,gBAAgB,CAAC,oBAAoB,CAAC,YAAY,CAAC,CAAC,CAAC;IACvE,OAAO,WAAW,CAAC,yBAAyB,CAAC,SAAS,CAAC;QACnD,CAAC,CAAC,oBAAoB,CAAC,UAAU,EAAE,SAAS,EAAE,SAAS,CAAC;QACxD,CAAC,CAAC,eAAe,CAAC;AAC1B,CAAC;AAED,SAAS,yBAAyB,CAC9B,YAAoB,EACpB,QAAqB,EACrB,oBAA4C;IAE5C,OAAO,WAAW,CAAC,mBAAmB,CAAC,QAAQ,CAAC;QAC5C,CAAC,CAAC,+BAA+B,CAAC,YAAY,EAAE,QAAQ,EAAE,oBAAoB,CAAC;QAC/E,CAAC,CAAC,eAAe,CAAC;AAC1B,CAAC;AAED,SAAS,qCAAqC,CAC1C,YAAoB,EACpB,QAAqB,EACrB,oBAA4C;IAE5C,IAAI,CAAC,WAAW,CAAC,oBAAoB,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC9C,OAAO,eAAe,CAAC;IAC3B,CAAC;IACD,MAAM,WAAW,GAAG,QAAQ,CAAC,qBAAqB,EAAE,CAAC;IACrD,OAAO,WAAW,CAAC,oBAAoB,CAAC,WAAW,CAAC,IAAI,WAAW,CAAC,eAAe,CAAC,WAAW,CAAC;QAC5F,CAAC,CAAC,+BAA+B,CAAC,YAAY,EAAE,WAAW,EAAE,oBAAoB,CAAC;QAClF,CAAC,CAAC,eAAe,CAAC;AAC1B,CAAC;AAED,SAAS,2BAA2B,CAChC,UAAkB,EAClB,QAAqB,EACrB,oBAA4C;IAE5C,MAAM,iBAAiB,GAAG,uBAAuB,CAAC,QAAQ,CAAC,CAAC;IAC5D,IAAI,iBAAiB,KAAK,SAAS,EAAE,CAAC;QAClC,OAAO,eAAe,CAAC;IAC3B,CAAC;IACD,MAAM,IAAI,GAAG,YAAY,CAAC,iBAAiB,CAAC,CAAC;IAC7C,MAAM,YAAY,GAAG,GAAG,UAAU,IAAI,IAAI,EAAE,CAAC;IAC7C,OAAO;QACH,CAAE,YAAY,EAAE,cAAc,CAAC,iBAAiB,CAAC,CAAE;QACnD,GAAG,yBAAyB,CAAC,YAAY,EAAE,iBAAiB,EAAE,oBAAoB,CAAC;QACnF,GAAG,qCAAqC,CAAC,YAAY,EAAE,iBAAiB,EAAE,oBAAoB,CAAC;KAClG,CAAC;AACN,CAAC;AAED,SAAS,0BAA0B,CAC/B,UAAkB,EAClB,WAAoC,EACpC,UAAoC;IAEpC,MAAM,OAAO,GAAwB,EAAE,CAAC;IACxC,KAAK,MAAM,QAAQ,IAAI,WAAW,CAAC,aAAa,EAAE,EAAE,CAAC;QACjD,OAAO,CAAC,IAAI,CAAC,GAAG,2BAA2B,CAAC,UAAU,EAAE,QAAQ,EAAE,0BAA0B,CAAC,CAAC,CAAC;IACnG,CAAC;IACD,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;QAC3B,OAAO,CAAC,IAAI,CAAC,CAAE,UAAU,EAAE,UAAU,CAAE,CAAC,CAAC;IAC7C,CAAC;IACD,OAAO,OAAO,CAAC;AACnB,CAAC;AAED,SAAS,qBAAqB,CAAC,WAAgC;IAC3D,MAAM,WAAW,GAAG,WAAW,CAAC,cAAc,EAAE,CAAC;IACjD,MAAM,IAAI,GAAG,WAAW,CAAC,OAAO,EAAE,CAAC;IACnC,IAAI,WAAW,CAAC,yBAAyB,CAAC,WAAW,CAAC,EAAE,CAAC;QACrD,OAAO,0BAA0B,CAAC,IAAI,EAAE,WAAW,EAAE,aAAa,CAAC,CAAC;IACxE,CAAC;IACD,IAAI,WAAW,CAAC,oBAAoB,CAAC,WAAW,CAAC,IAAI,WAAW,CAAC,eAAe,CAAC,WAAW,CAAC,EAAE,CAAC;QAC5F,OAAO;YACH,CAAE,IAAI,EAAE,cAAc,CAAC,WAAW,CAAC,CAAE;YACrC,GAAG,+BAA+B,CAAC,IAAI,EAAE,WAAW,EAAE,0BAA0B,CAAC;SACpF,CAAC;IACN,CAAC;IACD,OAAO,eAAe,CAAC;AAC3B,CAAC;AAED,SAAS,iBAAiB,CAAC,WAAgC,EAAE,OAAuB;IAChF,KAAK,MAAM,CAAE,IAAI,EAAE,MAAM,CAAE,IAAI,qBAAqB,CAAC,WAAW,CAAC,EAAE,CAAC;QAChE,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAC7C,CAAC;AACL,CAAC;AAED,SAAS,YAAY,CACjB,OAAuB,EACvB,MAAc,EACd,MAAyC;IAEzC,KAAK,MAAM,CAAE,GAAG,EAAE,KAAK,CAAE,IAAI,MAAM,EAAE,CAAC;QAClC,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,MAAM,KAAK,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,MAAM,IAAI,GAAG,EAAE,EAAE,KAAK,CAAC,CAAC;IAChF,CAAC;IACD,IAAI,MAAM,KAAK,EAAE,EAAE,CAAC;QAChB,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;IACtD,CAAC;AACL,CAAC;AAED,SAAS,qBAAqB,CAAC,OAAuB,EAAE,eAAuB;IAC3E,MAAM,MAAM,GAAG,uBAAuB,CAAC,eAAe,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC;IAC5E,OAAO,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC;AAC3E,CAAC;AAED,SAAS,kBAAkB,CAAC,UAAkB;IAC1C,OAAO,GAAG,UAAU,GAAG,CAAC;AAC5B,CAAC;AAED,SAAS,wBAAwB,CAAC,UAAsB;IACpD,MAAM,UAAU,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC7C,KAAK,MAAM,WAAW,IAAI,UAAU,CAAC,qBAAqB,EAAE,EAAE,CAAC;QAC3D,MAAM,SAAS,GAAG,WAAW,CAAC,kBAAkB,EAAE,CAAC;QACnD,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;YAC1B,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,OAAO,EAAE,EAAE,WAAW,CAAC,uBAAuB,EAAE,CAAC,CAAC;QAC/E,CAAC;IACL,CAAC;IACD,OAAO,UAAU,CAAC;AACtB,CAAC;AAED,SAAS,sBAAsB,CAC3B,OAAuB,EACvB,UAAkB,EAClB,YAAoB,EACpB,OAA8B;IAE9B,MAAM,MAAM,GAAG,kBAAkB,CAAC,UAAU,CAAC,CAAC;IAC9C,KAAK,MAAM,CAAE,GAAG,EAAE,KAAK,CAAE,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;QAC3C,IAAI,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC;YACzB,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,GAAG,YAAY,IAAI,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;QACrF,CAAC;IACL,CAAC;AACL,CAAC;AAED,SAAS,gBAAgB,CACrB,OAAuB,EACvB,WAA4B,EAC5B,OAA8B;IAE9B,MAAM,UAAU,GAAG,WAAW,CAAC,OAAO,EAAE,CAAC;IACzC,MAAM,YAAY,GAAG,WAAW,CAAC,YAAY,EAAE,EAAE,OAAO,EAAE,IAAI,UAAU,CAAC;IACzE,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,YAAY,EAAE,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,SAAS,CAAC,CAAC;IACvF,sBAAsB,CAAC,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,OAAO,CAAC,CAAC;AACvE,CAAC;AAED,SAAS,iBAAiB,CACtB,OAAuB,EACvB,WAA8B,EAC9B,OAA8B;IAE9B,KAAK,MAAM,WAAW,IAAI,WAAW,CAAC,eAAe,EAAE,EAAE,CAAC;QACtD,gBAAgB,CAAC,OAAO,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC;IACpD,CAAC;AACL,CAAC;AAED,SAAS,wBAAwB,CAC7B,OAAuB,EACvB,WAA8B,EAC9B,OAA8B;IAE9B,IAAI,WAAW,CAAC,eAAe,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC7C,YAAY,CAAC,OAAO,EAAE,EAAE,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC;QAC3C,OAAO;IACX,CAAC;IACD,iBAAiB,CAAC,OAAO,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC;AACrD,CAAC;AAED,SAAS,4BAA4B,CACjC,OAAuB,EACvB,WAA8B,EAC9B,eAAuB;IAEvB,MAAM,OAAO,GAAG,qBAAqB,CAAC,OAAO,EAAE,eAAe,CAAC,CAAC;IAChE,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QACxB,OAAO;IACX,CAAC;IACD,MAAM,eAAe,GAAG,WAAW,CAAC,kBAAkB,EAAE,CAAC;IACzD,IAAI,eAAe,KAAK,SAAS,EAAE,CAAC;QAChC,YAAY,CAAC,OAAO,EAAE,eAAe,CAAC,OAAO,EAAE,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC;QAClE,OAAO;IACX,CAAC;IACD,wBAAwB,CAAC,OAAO,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC;AAC5D,CAAC;AAED,SAAS,sBAAsB,CAC3B,OAAuB,EACvB,WAA4B,EAC5B,eAAuB;IAEvB,MAAM,OAAO,GAAG,qBAAqB,CAAC,OAAO,EAAE,eAAe,CAAC,CAAC;IAChE,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QACxB,OAAO;IACX,CAAC;IACD,MAAM,UAAU,GAAG,WAAW,CAAC,OAAO,EAAE,CAAC;IACzC,MAAM,YAAY,GAAG,WAAW,CAAC,YAAY,EAAE,EAAE,OAAO,EAAE,IAAI,UAAU,CAAC;IACzE,YAAY,CAAC,OAAO,EAAE,YAAY,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC;AACzD,CAAC;AAED,SAAS,2BAA2B,CAAC,OAAuB,EAAE,WAA8B;IACxF,KAAK,MAAM,WAAW,IAAI,WAAW,CAAC,eAAe,EAAE,EAAE,CAAC;QACtD,MAAM,eAAe,GAAG,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,WAAW,CAAC,OAAO,EAAE,CAAC,CAAC;QACtE,IAAI,eAAe,KAAK,SAAS,EAAE,CAAC;YAChC,sBAAsB,CAAC,OAAO,EAAE,WAAW,EAAE,eAAe,CAAC,CAAC;QAClE,CAAC;IACL,CAAC;AACL,CAAC;AAED,SAAS,sBAAsB,CAAC,OAAuB,EAAE,WAA8B;IACnF,MAAM,eAAe,GAAG,WAAW,CAAC,uBAAuB,EAAE,CAAC;IAC9D,IAAI,eAAe,KAAK,SAAS,EAAE,CAAC;QAChC,4BAA4B,CAAC,OAAO,EAAE,WAAW,EAAE,eAAe,CAAC,CAAC;QACpE,OAAO;IACX,CAAC;IACD,2BAA2B,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;AACtD,CAAC;AAED,SAAS,iBAAiB,CAAC,SAAoB,EAAE,OAAuB;IACpE,IAAI,CAAC,WAAW,CAAC,qBAAqB,CAAC,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,UAAU,EAAE,EAAE,CAAC;QAC3E,OAAO;IACX,CAAC;IACD,MAAM,IAAI,GAAG,SAAS,CAAC,OAAO,EAAE,CAAC;IACjC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACrB,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,EAAE,cAAc,CAAC,SAAS,CAAC,CAAC,CAAC;IAChE,CAAC;AACL,CAAC;AAED,SAAS,2BAA2B,CAAC,SAAoB,EAAE,OAAuB;IAC9E,IAAI,CAAC,WAAW,CAAC,mBAAmB,CAAC,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,UAAU,EAAE,EAAE,CAAC;QACzE,OAAO;IACX,CAAC;IACD,KAAK,MAAM,WAAW,IAAI,SAAS,CAAC,eAAe,EAAE,EAAE,CAAC;QACpD,iBAAiB,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;IAC5C,CAAC;AACL,CAAC;AAED,SAAS,qBAAqB,CAAC,OAAuB,EAAE,SAAoB;IACxE,iBAAiB,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IACtC,2BAA2B,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IAChD,IAAI,WAAW,CAAC,mBAAmB,CAAC,SAAS,CAAC,EAAE,CAAC;QAC7C,sBAAsB,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;IAC/C,CAAC;AACL,CAAC;AAED,SAAS,cAAc,CACnB,UAAsB,EACtB,cAAoC,EACpC,YAA0C;IAE1C,OAAO;QACH,UAAU;QACV,UAAU,EAAE,wBAAwB,CAAC,UAAU,CAAC;QAChD,cAAc;QACd,YAAY;KACf,CAAC;AACN,CAAC;AAED,SAAS,2BAA2B,CAChC,UAAsB,EACtB,KAAmB,EACnB,YAA0C;IAE1C,MAAM,cAAc,GAAG,IAAI,GAAG,EAAwB,CAAC;IACvD,MAAM,OAAO,GAA0B,EAAE,OAAO,EAAE,cAAc,EAAE,CAAC;IACnE,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,WAAW,EAAE,EAAE,OAAO,CAAC,CAAC;IAC7C,MAAM,OAAO,GAAG,cAAc,CAAC,UAAU,EAAE,cAAc,EAAE,YAAY,CAAC,CAAC;IACzE,KAAK,MAAM,SAAS,IAAI,UAAU,CAAC,aAAa,EAAE,EAAE,CAAC;QACjD,qBAAqB,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;IAC9C,CAAC;IACD,OAAO,OAAO,CAAC;AACnB,CAAC;AAED,SAAS,0BAA0B,CAAC,UAAsB;IACtD,MAAM,KAAK,GAAG,mBAAmB,CAAC,UAAU,CAAC,UAAU,EAAE,CAAC,CAAC;IAC3D,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC,CAAC;IACnD,OAAO,MAAM,IAAI,2BAA2B,CAAC,UAAU,EAAE,KAAK,EAAE,0BAA0B,CAAC,CAAC;AAChG,CAAC;AAED,SAAS,SAAS,CAAC,MAAgC;IAC/C,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AACjC,CAAC;AAED,MAAM,UAAU,qBAAqB,CACjC,MAAgC,EAChC,oBAAgC;IAEhC,MAAM,UAAU,GAAG,uBAAuB,CAAC,MAAM,CAAC,IAAI,EAAE,oBAAoB,CAAC,CAAC;IAC9E,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;QAC3B,OAAO,SAAS,CAAC;IACrB,CAAC;IACD,OAAO,0BAA0B,CAAC,UAAU,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,IAAI,SAAS,CAAC;AAC9F,CAAC"}

package/dead-code-eliminator/liveness/external-purity.js

@@ -0,0 +1,40 @@
+import { Node as TsMorphNode } from 'ts-morph';
+import { arePureCallArguments, resolveImportedExpressionPath } from "../imported-expression-origin.js";
+import { exportPurityForOrigin } from "./external-purity-summary.js";
+function originForPureCall(expression, recurse, resolveOrigin) {
+    const origin = resolveOrigin(expression.getExpression(), recurse);
+    if (origin === undefined || !arePureCallArguments(expression.getArguments(), recurse)) {
+        return undefined;
+    }
+    return exportPurityForOrigin(origin, expression.getSourceFile()) === 'pure-callable'
+        ? origin
+        : undefined;
+}
+function fluentOriginForCall(expression, recurse, resolveOrigin) {
+    if (!TsMorphNode.isCallExpression(expression)) {
+        return resolveImportedExpressionPath(expression);
+    }
+    return originForPureCall(expression, recurse, resolveOrigin);
+}
+function appendOriginPath(origin, segment) {
+    return origin === undefined
+        ? undefined
+        : { from: origin.from, path: [...origin.path, segment] };
+}
+function propertyAccessOrigin(expression, recurse, resolveOrigin) {
+    if (!TsMorphNode.isPropertyAccessExpression(expression)) {
+        return undefined;
+    }
+    return appendOriginPath(fluentOriginForCall(expression.getExpression(), recurse, resolveOrigin), expression.getName());
+}
+function externalCalleeOrigin(expression, recurse) {
+    const directOrigin = resolveImportedExpressionPath(expression);
+    if (directOrigin !== undefined) {
+        return directOrigin;
+    }
+    return propertyAccessOrigin(expression, recurse, externalCalleeOrigin);
+}
+export function externalCallIsPure(expression, recurse) {
+    return originForPureCall(expression, recurse, externalCalleeOrigin) !== undefined;
+}
+//# sourceMappingURL=external-purity.js.map

package/dead-code-eliminator/liveness/external-purity.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"external-purity.js","sourceRoot":"","sources":["../../../../../source/dead-code-eliminator/liveness/external-purity.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,IAAI,WAAW,EAAwC,MAAM,UAAU,CAAC;AACrF,OAAO,EACH,oBAAoB,EACpB,6BAA6B,EAGhC,MAAM,kCAAkC,CAAC;AAC1C,OAAO,EAAE,qBAAqB,EAAE,MAAM,8BAA8B,CAAC;AAOrE,SAAS,iBAAiB,CACtB,UAA0B,EAC1B,OAAgC,EAChC,aAA6B;IAE7B,MAAM,MAAM,GAAG,aAAa,CAAC,UAAU,CAAC,aAAa,EAAE,EAAE,OAAO,CAAC,CAAC;IAClE,IAAI,MAAM,KAAK,SAAS,IAAI,CAAC,oBAAoB,CAAC,UAAU,CAAC,YAAY,EAAE,EAAE,OAAO,CAAC,EAAE,CAAC;QACpF,OAAO,SAAS,CAAC;IACrB,CAAC;IACD,OAAO,qBAAqB,CAAC,MAAM,EAAE,UAAU,CAAC,aAAa,EAAE,CAAC,KAAK,eAAe;QAChF,CAAC,CAAC,MAAM;QACR,CAAC,CAAC,SAAS,CAAC;AACpB,CAAC;AAED,SAAS,mBAAmB,CACxB,UAAsB,EACtB,OAAgC,EAChC,aAA6B;IAE7B,IAAI,CAAC,WAAW,CAAC,gBAAgB,CAAC,UAAU,CAAC,EAAE,CAAC;QAC5C,OAAO,6BAA6B,CAAC,UAAU,CAAC,CAAC;IACrD,CAAC;IACD,OAAO,iBAAiB,CAAC,UAAU,EAAE,OAAO,EAAE,aAAa,CAAC,CAAC;AACjE,CAAC;AAED,SAAS,gBAAgB,CACrB,MAA4C,EAC5C,OAAe;IAEf,OAAO,MAAM,KAAK,SAAS;QACvB,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,IAAI,EAAE,CAAE,GAAG,MAAM,CAAC,IAAI,EAAE,OAAO,CAAE,EAAE,CAAC;AACnE,CAAC;AAED,SAAS,oBAAoB,CACzB,UAAsB,EACtB,OAAgC,EAChC,aAA6B;IAE7B,IAAI,CAAC,WAAW,CAAC,0BAA0B,CAAC,UAAU,CAAC,EAAE,CAAC;QACtD,OAAO,SAAS,CAAC;IACrB,CAAC;IACD,OAAO,gBAAgB,CACnB,mBAAmB,CAAC,UAAU,CAAC,aAAa,EAAE,EAAE,OAAO,EAAE,aAAa,CAAC,EACvE,UAAU,CAAC,OAAO,EAAE,CACvB,CAAC;AACN,CAAC;AAED,SAAS,oBAAoB,CACzB,UAAsB,EACtB,OAAgC;IAEhC,MAAM,YAAY,GAAG,6BAA6B,CAAC,UAAU,CAAC,CAAC;IAC/D,IAAI,YAAY,KAAK,SAAS,EAAE,CAAC;QAC7B,OAAO,YAAY,CAAC;IACxB,CAAC;IACD,OAAO,oBAAoB,CAAC,UAAU,EAAE,OAAO,EAAE,oBAAoB,CAAC,CAAC;AAC3E,CAAC;AAED,MAAM,UAAU,kBAAkB,CAC9B,UAA0B,EAC1B,OAAgC;IAEhC,OAAO,iBAAiB,CAAC,UAAU,EAAE,OAAO,EAAE,oBAAoB,CAAC,KAAK,SAAS,CAAC;AACtF,CAAC"}

package/dead-code-eliminator/liveness/module-analysis.js

@@ -0,0 +1,28 @@
+import { classifySideEffects } from "../side-effect-classifier.js";
+import { isDeclarationCodeTargetPath, isRuntimeCodeTargetPath } from "./runtime-code.js";
+function moduleKindForTargetPath(targetFilePath) {
+    if (isDeclarationCodeTargetPath(targetFilePath)) {
+        return 'declaration';
+    }
+    if (isRuntimeCodeTargetPath(targetFilePath)) {
+        return 'runtime';
+    }
+    if (targetFilePath.endsWith('.map')) {
+        return 'source-map';
+    }
+    return targetFilePath.includes('.') ? 'asset' : 'other';
+}
+export function buildModuleAnalysis(input) {
+    return {
+        sourceFilePath: input.sourceFilePath,
+        targetFilePath: input.targetFilePath,
+        kind: moduleKindForTargetPath(input.targetFilePath),
+        declarations: input.bindings.map(function (binding) {
+            return { name: binding.name, exported: binding.isExported };
+        }),
+        effects: input.sourceFile === undefined
+            ? []
+            : classifySideEffects(input.sourceFile, input.deadCodeElimination)
+    };
+}
+//# sourceMappingURL=module-analysis.js.map

package/dead-code-eliminator/liveness/module-analysis.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"module-analysis.js","sourceRoot":"","sources":["../../../../../source/dead-code-eliminator/liveness/module-analysis.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,mBAAmB,EAAE,MAAM,8BAA8B,CAAC;AACnE,OAAO,EAAE,2BAA2B,EAAE,uBAAuB,EAAE,MAAM,mBAAmB,CAAC;AAyBzF,SAAS,uBAAuB,CAAC,cAAsB;IACnD,IAAI,2BAA2B,CAAC,cAAc,CAAC,EAAE,CAAC;QAC9C,OAAO,aAAa,CAAC;IACzB,CAAC;IACD,IAAI,uBAAuB,CAAC,cAAc,CAAC,EAAE,CAAC;QAC1C,OAAO,SAAS,CAAC;IACrB,CAAC;IACD,IAAI,cAAc,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;QAClC,OAAO,YAAY,CAAC;IACxB,CAAC;IACD,OAAO,cAAc,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC;AAC5D,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,KAA0B;IAC1D,OAAO;QACH,cAAc,EAAE,KAAK,CAAC,cAAc;QACpC,cAAc,EAAE,KAAK,CAAC,cAAc;QACpC,IAAI,EAAE,uBAAuB,CAAC,KAAK,CAAC,cAAc,CAAC;QACnD,YAAY,EAAE,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,UAAU,OAAO;YAC9C,OAAO,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,QAAQ,EAAE,OAAO,CAAC,UAAU,EAAE,CAAC;QAChE,CAAC,CAAC;QACF,OAAO,EAAE,KAAK,CAAC,UAAU,KAAK,SAAS;YACnC,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC,mBAAmB,CAAC,KAAK,CAAC,UAAU,EAAE,KAAK,CAAC,mBAAmB,CAAC;KACzE,CAAC;AACN,CAAC"}

package/dead-code-eliminator/liveness/resource-retention.js

@@ -0,0 +1,79 @@
+import { isDeclarationCodeTargetPath, isRuntimeCodeTargetPath } from "./runtime-code.js";
+function rootSourceFilePaths(bundle) {
+    const paths = new Set();
+    for (const root of Object.values(bundle.roots)) {
+        paths.add(root.js.sourceFilePath);
+        if (root.declarationFile !== undefined) {
+            paths.add(root.declarationFile.sourceFilePath);
+        }
+    }
+    return paths;
+}
+function resourceHasSurvivingRuntime(resource) {
+    return resource.analysis.sideEffectStatements.length > 0 || resource.analysis.survivingBindings.size > 0;
+}
+function shouldSeedResource(resource, rootPaths) {
+    const { targetFilePath } = resource.fileDescription;
+    return (rootPaths.has(resource.fileDescription.sourceFilePath) ||
+        resource.isExplicitlyIncluded ||
+        !isRuntimeCodeTargetPath(targetFilePath) && !isDeclarationCodeTargetPath(targetFilePath) ||
+        resourceHasSurvivingRuntime(resource));
+}
+function indexResourcesBySourcePath(contents) {
+    return new Map(contents.map(function (resource) {
+        return [resource.fileDescription.sourceFilePath, resource];
+    }));
+}
+function retentionSeeds(contents, rootPaths) {
+    return contents
+        .filter(function (resource) {
+        return shouldSeedResource(resource, rootPaths);
+    })
+        .map(function (resource) {
+        return resource.fileDescription.sourceFilePath;
+    });
+}
+function retainedSourcePaths(bundle, contents) {
+    const rootPaths = rootSourceFilePaths(bundle);
+    const resourcesBySourcePath = indexResourcesBySourcePath(contents);
+    const pending = Array.from(retentionSeeds(contents, rootPaths));
+    const retained = new Set();
+    function retain(sourceFilePath) {
+        const resource = resourcesBySourcePath.get(sourceFilePath);
+        if (resource !== undefined && !retained.has(sourceFilePath)) {
+            retained.add(sourceFilePath);
+            pending.push(...resource.directDependencies);
+        }
+    }
+    for (const sourceFilePath of pending) {
+        retain(sourceFilePath);
+    }
+    return retained;
+}
+function isPrunedResource(resource, retained) {
+    return !retained.has(resource.fileDescription.sourceFilePath);
+}
+function prunedMapTargetPaths(contents, retained) {
+    return new Set(contents
+        .filter(function (resource) {
+        return isPrunedResource(resource, retained);
+    })
+        .map(function (resource) {
+        return `${resource.fileDescription.targetFilePath}.map`;
+    }));
+}
+export function pruneContents(bundle, contents, transformationsEnabled) {
+    if (!transformationsEnabled) {
+        return contents;
+    }
+    const retained = retainedSourcePaths(bundle, contents);
+    const prunedMapTargets = prunedMapTargetPaths(contents, retained);
+    return contents.filter(function (resource) {
+        if (resource.isExplicitlyIncluded) {
+            return true;
+        }
+        return (retained.has(resource.fileDescription.sourceFilePath) &&
+            !prunedMapTargets.has(resource.fileDescription.targetFilePath));
+    });
+}
+//# sourceMappingURL=resource-retention.js.map

package/dead-code-eliminator/liveness/resource-retention.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"resource-retention.js","sourceRoot":"","sources":["../../../../../source/dead-code-eliminator/liveness/resource-retention.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,2BAA2B,EAAE,uBAAuB,EAAE,MAAM,mBAAmB,CAAC;AAEzF,SAAS,mBAAmB,CAAC,MAAqC;IAC9D,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;QAC7C,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,cAAc,CAAC,CAAC;QAClC,IAAI,IAAI,CAAC,eAAe,KAAK,SAAS,EAAE,CAAC;YACrC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,eAAe,CAAC,cAAc,CAAC,CAAC;QACnD,CAAC;IACL,CAAC;IACD,OAAO,KAAK,CAAC;AACjB,CAAC;AAED,SAAS,2BAA2B,CAAC,QAAgC;IACjE,OAAO,QAAQ,CAAC,QAAQ,CAAC,oBAAoB,CAAC,MAAM,GAAG,CAAC,IAAI,QAAQ,CAAC,QAAQ,CAAC,iBAAiB,CAAC,IAAI,GAAG,CAAC,CAAC;AAC7G,CAAC;AAED,SAAS,kBAAkB,CAAC,QAAgC,EAAE,SAA8B;IACxF,MAAM,EAAE,cAAc,EAAE,GAAG,QAAQ,CAAC,eAAe,CAAC;IACpD,OAAO,CACH,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,eAAe,CAAC,cAAc,CAAC;QACtD,QAAQ,CAAC,oBAAoB;QAC7B,CAAC,uBAAuB,CAAC,cAAc,CAAC,IAAI,CAAC,2BAA2B,CAAC,cAAc,CAAC;QACxF,2BAA2B,CAAC,QAAQ,CAAC,CACxC,CAAC;AACN,CAAC;AAED,SAAS,0BAA0B,CAC/B,QAA2C;IAE3C,OAAO,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,UAAU,QAAQ;QAC1C,OAAO,CAAE,QAAQ,CAAC,eAAe,CAAC,cAAc,EAAE,QAAQ,CAAE,CAAC;IACjE,CAAC,CAAC,CAAC,CAAC;AACR,CAAC;AAED,SAAS,cAAc,CACnB,QAA2C,EAC3C,SAA8B;IAE9B,OAAO,QAAQ;SACV,MAAM,CAAC,UAAU,QAAQ;QACtB,OAAO,kBAAkB,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;IACnD,CAAC,CAAC;SACD,GAAG,CAAC,UAAU,QAAQ;QACnB,OAAO,QAAQ,CAAC,eAAe,CAAC,cAAc,CAAC;IACnD,CAAC,CAAC,CAAC;AACX,CAAC;AAED,SAAS,mBAAmB,CACxB,MAAqC,EACrC,QAA2C;IAE3C,MAAM,SAAS,GAAG,mBAAmB,CAAC,MAAM,CAAC,CAAC;IAC9C,MAAM,qBAAqB,GAAG,0BAA0B,CAAC,QAAQ,CAAC,CAAC;IACnE,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC,CAAC;IAChE,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IAEnC,SAAS,MAAM,CAAC,cAAsB;QAClC,MAAM,QAAQ,GAAG,qBAAqB,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;QAC3D,IAAI,QAAQ,KAAK,SAAS,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,cAAc,CAAC,EAAE,CAAC;YAC1D,QAAQ,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;YAC7B,OAAO,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,kBAAkB,CAAC,CAAC;QACjD,CAAC;IACL,CAAC;IAED,KAAK,MAAM,cAAc,IAAI,OAAO,EAAE,CAAC;QACnC,MAAM,CAAC,cAAc,CAAC,CAAC;IAC3B,CAAC;IACD,OAAO,QAAQ,CAAC;AACpB,CAAC;AAED,SAAS,gBAAgB,CAAC,QAAgC,EAAE,QAA6B;IACrF,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,eAAe,CAAC,cAAc,CAAC,CAAC;AAClE,CAAC;AAED,SAAS,oBAAoB,CACzB,QAA2C,EAC3C,QAA6B;IAE7B,OAAO,IAAI,GAAG,CACV,QAAQ;SACH,MAAM,CAAC,UAAU,QAAQ;QACtB,OAAO,gBAAgB,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;IAChD,CAAC,CAAC;SACD,GAAG,CAAC,UAAU,QAAQ;QACnB,OAAO,GAAG,QAAQ,CAAC,eAAe,CAAC,cAAc,MAAM,CAAC;IAC5D,CAAC,CAAC,CACT,CAAC;AACN,CAAC;AAED,MAAM,UAAU,aAAa,CACzB,MAAqC,EACrC,QAA2C,EAC3C,sBAA+B;IAE/B,IAAI,CAAC,sBAAsB,EAAE,CAAC;QAC1B,OAAO,QAAQ,CAAC;IACpB,CAAC;IACD,MAAM,QAAQ,GAAG,mBAAmB,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IACvD,MAAM,gBAAgB,GAAG,oBAAoB,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;IAClE,OAAO,QAAQ,CAAC,MAAM,CAAC,UAAU,QAAQ;QACrC,IAAI,QAAQ,CAAC,oBAAoB,EAAE,CAAC;YAChC,OAAO,IAAI,CAAC;QAChB,CAAC;QACD,OAAO,CACH,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,eAAe,CAAC,cAAc,CAAC;YACrD,CAAC,gBAAgB,CAAC,GAAG,CAAC,QAAQ,CAAC,eAAe,CAAC,cAAc,CAAC,CACjE,CAAC;IACN,CAAC,CAAC,CAAC;AACP,CAAC"}

package/dead-code-eliminator/liveness/runtime-code.js

@@ -0,0 +1,16 @@
+import path from 'node:path';
+const runtimeCodeExtensions = new Set(['.cjs', '.cts', '.js', '.jsx', '.mjs', '.mts', '.ts', '.tsx']);
+const declarationCodeExtensions = ['.d.ts', '.d.cts', '.d.mts'];
+export function isDeclarationCodeTargetPath(targetFilePath) {
+    return declarationCodeExtensions.some(function (extension) {
+        return targetFilePath.endsWith(extension);
+    });
+}
+export function isRuntimeCodeTargetPath(targetFilePath) {
+    return runtimeCodeExtensions.has(path.extname(targetFilePath)) &&
+        !isDeclarationCodeTargetPath(targetFilePath);
+}
+export function isCodeTargetPath(targetFilePath) {
+    return isRuntimeCodeTargetPath(targetFilePath) || isDeclarationCodeTargetPath(targetFilePath);
+}
+//# sourceMappingURL=runtime-code.js.map

package/dead-code-eliminator/liveness/runtime-code.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"runtime-code.js","sourceRoot":"","sources":["../../../../../source/dead-code-eliminator/liveness/runtime-code.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,MAAM,WAAW,CAAC;AAE7B,MAAM,qBAAqB,GAAG,IAAI,GAAG,CAAC,CAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,CAAE,CAAC,CAAC;AACxG,MAAM,yBAAyB,GAAG,CAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,CAAE,CAAC;AAElE,MAAM,UAAU,2BAA2B,CAAC,cAAsB;IAC9D,OAAO,yBAAyB,CAAC,IAAI,CAAC,UAAU,SAAS;QACrD,OAAO,cAAc,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;AACP,CAAC;AAED,MAAM,UAAU,uBAAuB,CAAC,cAAsB;IAC1D,OAAO,qBAAqB,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC;QAC1D,CAAC,2BAA2B,CAAC,cAAc,CAAC,CAAC;AACrD,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,cAAsB;IACnD,OAAO,uBAAuB,CAAC,cAAc,CAAC,IAAI,2BAA2B,CAAC,cAAc,CAAC,CAAC;AAClG,CAAC"}

package/dead-code-eliminator/load-bundle.js

@@ -1,3 +1,4 @@
+import { declarationCompanionCandidates } from "../common/declaration-companion-paths.js";
 import { isCodeFile, isDeclarationCodeFile } from "../common/code-files.js";
 import { getEntryRootIds } from "../package-surface/root-registry.js";
 import { extractTopLevelBindings } from "./reachability/binding-extractor.js";
@@ -10,7 +11,7 @@ function loadResource(runtimeProject, declarationProject, resource) {
         return { resource };
     }
     const project = projectForResource(runtimeProject, declarationProject, resource);
-    const sourceFile = project.createSourceFile(resource.fileDescription.sourceFilePath, resource.fileDescription.content);
+    const sourceFile = project.createSourceFile(resource.fileDescription.sourceFilePath, resource.fileDescription.content, { overwrite: true });
     return { resource, sourceFile, bindings: extractTopLevelBindings(sourceFile) };
 }
 function buildFileBindings(loaded) {
@@ -26,18 +27,33 @@ function buildFileBindings(loaded) {
     }
     return result;
 }
-function entryRootFilePathsFor(bundle) {
-    const entryRootIds = getEntryRootIds(bundle);
+function substitutionPublicModuleFilePathsFor(substitutionPublicModuleSourceFilePaths) {
     const paths = new Set();
-    for (const rootId of entryRootIds) {
-        const root = bundle.roots[rootId];
-        if (root === undefined) {
-            throw new Error(`Bundle "${bundle.name}" is missing root "${rootId}" referenced by its entry surface`);
+    for (const sourceFilePath of substitutionPublicModuleSourceFilePaths) {
+        paths.add(sourceFilePath);
+        for (const companionPath of declarationCompanionCandidates(sourceFilePath)) {
+            paths.add(companionPath);
         }
-        paths.add(root.js.sourceFilePath);
     }
     return paths;
 }
+function rootFilePathsFor(bundle, rootId) {
+    const root = bundle.roots[rootId];
+    if (root === undefined) {
+        throw new Error(`Bundle "${bundle.name}" is missing root "${rootId}" referenced by its entry surface`);
+    }
+    return root.declarationFile === undefined
+        ? [root.js.sourceFilePath]
+        : [root.js.sourceFilePath, root.declarationFile.sourceFilePath];
+}
+function entryRootFilePathsFor(bundle, substitutionPublicModuleSourceFilePaths) {
+    return new Set([
+        ...Array.from(getEntryRootIds(bundle)).flatMap(function (rootId) {
+            return rootFilePathsFor(bundle, rootId);
+        }),
+        ...substitutionPublicModuleFilePathsFor(substitutionPublicModuleSourceFilePaths)
+    ]);
+}
 export function loadBundle(createProject, input) {
     const runtimeProject = createProject();
     const declarationProject = createProject();
@@ -47,7 +63,7 @@ export function loadBundle(createProject, input) {
     const fileBindings = buildFileBindings(loaded);
     const reachability = buildReachabilityIndex({
         files: fileBindings,
-        entryPointFilePaths: entryRootFilePathsFor(input.bundle),
+        entryPointFilePaths: entryRootFilePathsFor(input.bundle, input.substitutionPublicModuleSourceFilePaths),
         deadCodeElimination: input.deadCodeElimination
     });
     return { input, loaded, fileBindings, reachability };

package/dead-code-eliminator/load-bundle.js.map

@@ -1 +1 @@
-{"version":3,"file":"load-bundle.js","sourceRoot":"","sources":["../../../../source/dead-code-eliminator/load-bundle.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,UAAU,EAAE,qBAAqB,EAAE,MAAM,yBAAyB,CAAC;AAE5E,OAAO,EAAE,eAAe,EAAE,MAAM,qCAAqC,CAAC;AAEtE,OAAO,EAAE,uBAAuB,EAA0B,MAAM,qCAAqC,CAAC;AAEtG,OAAO,EAAE,sBAAsB,EAA0B,MAAM,gCAAgC,CAAC;AAwBhG,SAAS,kBAAkB,CACvB,cAAuB,EACvB,kBAA2B,EAC3B,QAA8B;IAE9B,OAAO,qBAAqB,CAAC,QAAQ,CAAC,eAAe,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,cAAc,CAAC;AAChH,CAAC;AAED,SAAS,YAAY,CACjB,cAAuB,EACvB,kBAA2B,EAC3B,QAA8B;IAE9B,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,eAAe,CAAC,cAAc,CAAC,EAAE,CAAC;QACvD,OAAO,EAAE,QAAQ,EAAE,CAAC;IACxB,CAAC;IACD,MAAM,OAAO,GAAG,kBAAkB,CAAC,cAAc,EAAE,kBAAkB,EAAE,QAAQ,CAAC,CAAC;IACjF,MAAM,UAAU,GAAG,OAAO,CAAC,gBAAgB,CACvC,QAAQ,CAAC,eAAe,CAAC,cAAc,EACvC,QAAQ,CAAC,eAAe,CAAC,OAAO,CACnC,CAAC;IACF,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,QAAQ,EAAE,uBAAuB,CAAC,UAAU,CAAC,EAAE,CAAC;AACnF,CAAC;AAED,SAAS,iBAAiB,CAAC,MAAiC;IACxD,MAAM,MAAM,GAAmB,EAAE,CAAC;IAClC,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QACzB,IAAI,KAAK,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;YACjC,MAAM,CAAC,IAAI,CAAC;gBACR,cAAc,EAAE,KAAK,CAAC,QAAQ,CAAC,eAAe,CAAC,cAAc;gBAC7D,UAAU,EAAE,KAAK,CAAC,UAAU;gBAC5B,QAAQ,EAAE,KAAK,CAAC,QAAQ;aAC3B,CAAC,CAAC;QACP,CAAC;IACL,CAAC;IACD,OAAO,MAAM,CAAC;AAClB,CAAC;AAED,SAAS,qBAAqB,CAAC,MAAoB;IAC/C,MAAM,YAAY,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;IAC7C,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,KAAK,MAAM,MAAM,IAAI,YAAY,EAAE,CAAC;QAChC,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QAClC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACrB,MAAM,IAAI,KAAK,CAAC,WAAW,MAAM,CAAC,IAAI,sBAAsB,MAAM,mCAAmC,CAAC,CAAC;QAC3G,CAAC;QAED,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,cAAc,CAAC,CAAC;IACtC,CAAC;IACD,OAAO,KAAK,CAAC;AACjB,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,aAA4B,EAAE,KAAuB;IAC5E,MAAM,cAAc,GAAG,aAAa,EAAE,CAAC;IACvC,MAAM,kBAAkB,GAAG,aAAa,EAAE,CAAC;IAC3C,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,UAAU,QAAQ;QACvD,OAAO,YAAY,CAAC,cAAc,EAAE,kBAAkB,EAAE,QAAQ,CAAC,CAAC;IACtE,CAAC,CAAC,CAAC;IACH,MAAM,YAAY,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;IAC/C,MAAM,YAAY,GAAG,sBAAsB,CAAC;QACxC,KAAK,EAAE,YAAY;QACnB,mBAAmB,EAAE,qBAAqB,CAAC,KAAK,CAAC,MAAM,CAAC;QACxD,mBAAmB,EAAE,KAAK,CAAC,mBAAmB;KACjD,CAAC,CAAC;IACH,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,YAAY,EAAE,YAAY,EAAE,CAAC;AACzD,CAAC"}
+{"version":3,"file":"load-bundle.js","sourceRoot":"","sources":["../../../../source/dead-code-eliminator/load-bundle.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,8BAA8B,EAAE,MAAM,0CAA0C,CAAC;AAC1F,OAAO,EAAE,UAAU,EAAE,qBAAqB,EAAE,MAAM,yBAAyB,CAAC;AAE5E,OAAO,EAAE,eAAe,EAAE,MAAM,qCAAqC,CAAC;AAEtE,OAAO,EAAE,uBAAuB,EAA0B,MAAM,qCAAqC,CAAC;AAEtG,OAAO,EAAE,sBAAsB,EAA0B,MAAM,gCAAgC,CAAC;AAwBhG,SAAS,kBAAkB,CACvB,cAAuB,EACvB,kBAA2B,EAC3B,QAA8B;IAE9B,OAAO,qBAAqB,CAAC,QAAQ,CAAC,eAAe,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,cAAc,CAAC;AAChH,CAAC;AAED,SAAS,YAAY,CACjB,cAAuB,EACvB,kBAA2B,EAC3B,QAA8B;IAE9B,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,eAAe,CAAC,cAAc,CAAC,EAAE,CAAC;QACvD,OAAO,EAAE,QAAQ,EAAE,CAAC;IACxB,CAAC;IACD,MAAM,OAAO,GAAG,kBAAkB,CAAC,cAAc,EAAE,kBAAkB,EAAE,QAAQ,CAAC,CAAC;IACjF,MAAM,UAAU,GAAG,OAAO,CAAC,gBAAgB,CACvC,QAAQ,CAAC,eAAe,CAAC,cAAc,EACvC,QAAQ,CAAC,eAAe,CAAC,OAAO,EAChC,EAAE,SAAS,EAAE,IAAI,EAAE,CACtB,CAAC;IACF,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,QAAQ,EAAE,uBAAuB,CAAC,UAAU,CAAC,EAAE,CAAC;AACnF,CAAC;AAED,SAAS,iBAAiB,CAAC,MAAiC;IACxD,MAAM,MAAM,GAAmB,EAAE,CAAC;IAClC,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QACzB,IAAI,KAAK,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;YACjC,MAAM,CAAC,IAAI,CAAC;gBACR,cAAc,EAAE,KAAK,CAAC,QAAQ,CAAC,eAAe,CAAC,cAAc;gBAC7D,UAAU,EAAE,KAAK,CAAC,UAAU;gBAC5B,QAAQ,EAAE,KAAK,CAAC,QAAQ;aAC3B,CAAC,CAAC;QACP,CAAC;IACL,CAAC;IACD,OAAO,MAAM,CAAC;AAClB,CAAC;AAED,SAAS,oCAAoC,CACzC,uCAA4D;IAE5D,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,KAAK,MAAM,cAAc,IAAI,uCAAuC,EAAE,CAAC;QACnE,KAAK,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;QAC1B,KAAK,MAAM,aAAa,IAAI,8BAA8B,CAAC,cAAc,CAAC,EAAE,CAAC;YACzE,KAAK,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;QAC7B,CAAC;IACL,CAAC;IACD,OAAO,KAAK,CAAC;AACjB,CAAC;AAED,SAAS,gBAAgB,CAAC,MAAoB,EAAE,MAAc;IAC1D,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IAClC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACrB,MAAM,IAAI,KAAK,CAAC,WAAW,MAAM,CAAC,IAAI,sBAAsB,MAAM,mCAAmC,CAAC,CAAC;IAC3G,CAAC;IACD,OAAO,IAAI,CAAC,eAAe,KAAK,SAAS;QACrC,CAAC,CAAC,CAAE,IAAI,CAAC,EAAE,CAAC,cAAc,CAAE;QAC5B,CAAC,CAAC,CAAE,IAAI,CAAC,EAAE,CAAC,cAAc,EAAE,IAAI,CAAC,eAAe,CAAC,cAAc,CAAE,CAAC;AAC1E,CAAC;AAED,SAAS,qBAAqB,CAC1B,MAAoB,EACpB,uCAA4D;IAE5D,OAAO,IAAI,GAAG,CAAC;QACX,GAAG,KAAK,CAAC,IAAI,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,UAAU,MAAM;YAC3D,OAAO,gBAAgB,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QAC5C,CAAC,CAAC;QACF,GAAG,oCAAoC,CAAC,uCAAuC,CAAC;KACnF,CAAC,CAAC;AACP,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,aAA4B,EAAE,KAAuB;IAC5E,MAAM,cAAc,GAAG,aAAa,EAAE,CAAC;IACvC,MAAM,kBAAkB,GAAG,aAAa,EAAE,CAAC;IAC3C,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,UAAU,QAAQ;QACvD,OAAO,YAAY,CAAC,cAAc,EAAE,kBAAkB,EAAE,QAAQ,CAAC,CAAC;IACtE,CAAC,CAAC,CAAC;IACH,MAAM,YAAY,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;IAC/C,MAAM,YAAY,GAAG,sBAAsB,CAAC;QACxC,KAAK,EAAE,YAAY;QACnB,mBAAmB,EAAE,qBAAqB,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,uCAAuC,CAAC;QACvG,mBAAmB,EAAE,KAAK,CAAC,mBAAmB;KACjD,CAAC,CAAC;IACH,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,YAAY,EAAE,YAAY,EAAE,CAAC;AACzD,CAAC"}

package/dead-code-eliminator/pure-expression.js

@@ -1,6 +1,7 @@
 import { Node as TsMorphNode, SyntaxKind } from 'ts-morph';
 import { unwrapExpression } from "./expression-unwrapping.js";
 import { arePureCallArguments, resolveImportedExpressionOrigin } from "./imported-expression-origin.js";
+import { externalCallIsPure } from "./liveness/external-purity.js";
 import { allowedBinaryOperators, allowedPrefixUnaryOperators, inherentlyPurePropertyKinds, pureLeafKinds } from "./syntax-kind-sets.js";
 function isPureArrayElement(element, recurse) {
     if (TsMorphNode.isOmittedExpression(element)) {
@@ -25,18 +26,29 @@ function isPureBuiltinCallExpression(callTarget, expression, recurse) {
         ? arePureCallArguments(expression.getArguments(), recurse)
         : false;
 }
+function hasPureAnnotation(expression) {
+    const text = expression.getFullText();
+    return text.includes('@__PURE__') || text.includes('#__PURE__');
+}
+function pureAnnotationMakesCallPure(expression, recurse) {
+    return hasPureAnnotation(expression) && arePureCallArguments(expression.getArguments(), recurse);
+}
 function isPureCallExpression(expression, recurse, settings) {
     const callTarget = unwrapExpression(expression.getExpression());
-    return (isPureBuiltinCallExpression(callTarget, expression, recurse) ||
+    return (pureAnnotationMakesCallPure(expression, recurse) ||
+        isPureBuiltinCallExpression(callTarget, expression, recurse) ||
+        externalCallIsPure(expression, recurse) ||
         resolveImportedExpressionOrigin(expression, recurse, settings) !== undefined);
 }
+function constructorNameIsTrusted(constructorExpression, settings) {
+    return TsMorphNode.isIdentifier(constructorExpression) &&
+        settings?.pureConstructors?.includes(constructorExpression.getText()) === true;
+}
 function isPureNewExpression(expression, recurse, settings) {
     const constructorExpression = unwrapExpression(expression.getExpression());
-    const pureConstructors = settings?.pureConstructors;
-    return (TsMorphNode.isIdentifier(constructorExpression) &&
-        pureConstructors !== undefined &&
-        pureConstructors.includes(constructorExpression.getText()) &&
-        arePureCallArguments(expression.getArguments(), recurse));
+    const trustedConstructorCall = constructorNameIsTrusted(constructorExpression, settings) &&
+        arePureCallArguments(expression.getArguments(), recurse);
+    return pureAnnotationMakesCallPure(expression, recurse) || trustedConstructorCall;
 }
 function templateExpressionIsPure(expression, recurse) {
     return expression