optiprune 1.0.0

package/dist/graph.js

@@ -0,0 +1,331 @@
+import path from "pathe";
+import { resolveDynamicPattern, resolveLocalSpecifier } from "./fs-utils.js";
+function dynamicParts(rawSpecifier) {
+    const marker = "${…}";
+    const index = rawSpecifier.indexOf(marker);
+    if (index < 0) {
+        return undefined;
+    }
+    return {
+        prefix: rawSpecifier.slice(0, index),
+        suffix: rawSpecifier.slice(index + marker.length),
+    };
+}
+function resolveEdge(edge, source, knownFiles, options) {
+    if (edge.kind === "unknown-dynamic") {
+        edge.resolution = "unknown";
+        return;
+    }
+    if (edge.kind === "dynamic-pattern") {
+        const parts = dynamicParts(edge.rawSpecifier);
+        if (!parts) {
+            edge.resolution = "unknown";
+            return;
+        }
+        const candidates = resolveDynamicPattern(source.id, parts.prefix, parts.suffix, knownFiles);
+        const baseDirectory = path.resolve(path.dirname(source.id), parts.prefix || ".");
+        edge.dynamicPattern = {
+            prefix: parts.prefix,
+            suffix: parts.suffix,
+            baseDirectory,
+            candidates,
+        };
+        edge.resolution = candidates.length > 0 ? "resolved" : "unresolved";
+        return;
+    }
+    // 1. Try local resolution
+    let target = resolveLocalSpecifier(source.id, edge.rawSpecifier, knownFiles, options.extensions);
+    if (edge.rawSpecifier.startsWith(".")) {
+        // console.log("Resolving " + edge.rawSpecifier + " from " + source.id + " -> " + target);
+    }
+    // 2. Try Monorepo Workspace resolution
+    if (!target && options.monorepo) {
+        // Check if the specifier starts with a workspace package name
+        for (const [pkgName, pkg] of options.monorepo.packageMap.entries()) {
+            if (edge.rawSpecifier === pkgName || edge.rawSpecifier.startsWith(pkgName + '/')) {
+                // Resolve to the package's entry point (main/exports)
+                // For simplicity, we assume index.ts/js in the package root or src
+                const subPath = edge.rawSpecifier.slice(pkgName.length);
+                const pkgRoot = pkg.location;
+                // Try common entry points if it's just the package name
+                if (!subPath || subPath === '/') {
+                    const entries = ['src/index.ts', 'src/index.js', 'index.ts', 'index.js'];
+                    for (const e of entries) {
+                        const entryPath = path.join(pkgRoot, e);
+                        if (knownFiles.has(entryPath)) {
+                            target = entryPath;
+                            break;
+                        }
+                    }
+                }
+                else {
+                    // Try resolving the sub-path
+                    target = resolveLocalSpecifier(path.join(pkgRoot, 'package.json'), '.' + subPath, knownFiles, options.extensions);
+                }
+                if (target)
+                    break;
+            }
+        }
+    }
+    if (target) {
+        edge.target = target;
+        edge.resolution = "resolved";
+    }
+    else if (edge.rawSpecifier.startsWith(".") || edge.rawSpecifier.startsWith("/") || edge.rawSpecifier.startsWith("file:")) {
+        edge.resolution = "unresolved";
+    }
+    else {
+        edge.resolution = "external";
+    }
+}
+export function resolveDependencies(modules, options) {
+    const knownFiles = new Set(modules.keys());
+    for (const module of modules.values()) {
+        for (const edge of module.edges) {
+            resolveEdge(edge, module, knownFiles, options);
+        }
+    }
+}
+export function edgeTargets(edge) {
+    if (edge.target) {
+        return [edge.target];
+    }
+    return edge.dynamicPattern?.candidates ?? [];
+}
+function adjacencyFor(modules, moduleId) {
+    const module = modules.get(moduleId);
+    if (!module) {
+        return [];
+    }
+    return module.edges.flatMap(edgeTargets).filter((target) => modules.has(target));
+}
+function reverseAdjacency(modules) {
+    const reverse = new Map();
+    for (const moduleId of modules.keys()) {
+        reverse.set(moduleId, []);
+    }
+    for (const module of modules.values()) {
+        for (const target of module.edges.flatMap(edgeTargets)) {
+            const reverseTargets = reverse.get(target);
+            if (reverseTargets) {
+                reverseTargets.push(module.id);
+            }
+        }
+    }
+    return reverse;
+}
+/** Kosaraju with explicit stacks avoids stack overflows on deep graphs and cycles. */
+export function stronglyConnectedComponents(modules) {
+    const visited = new Set();
+    const finishOrder = [];
+    for (const root of modules.keys()) {
+        if (visited.has(root)) {
+            continue;
+        }
+        const stack = [];
+        visited.add(root);
+        stack.push({ moduleId: root, nextIndex: 0, neighbors: adjacencyFor(modules, root) });
+        while (stack.length > 0) {
+            const frame = stack[stack.length - 1];
+            if (!frame) {
+                break;
+            }
+            if (frame.nextIndex < frame.neighbors.length) {
+                const neighbor = frame.neighbors[frame.nextIndex];
+                frame.nextIndex += 1;
+                if (neighbor && !visited.has(neighbor)) {
+                    visited.add(neighbor);
+                    stack.push({ moduleId: neighbor, nextIndex: 0, neighbors: adjacencyFor(modules, neighbor) });
+                }
+            }
+            else {
+                finishOrder.push(frame.moduleId);
+                stack.pop();
+            }
+        }
+    }
+    const reverse = reverseAdjacency(modules);
+    const assigned = new Set();
+    const components = [];
+    while (finishOrder.length > 0) {
+        const root = finishOrder.pop();
+        if (!root || assigned.has(root)) {
+            continue;
+        }
+        const members = [];
+        const stack = [root];
+        assigned.add(root);
+        while (stack.length > 0) {
+            const current = stack.pop();
+            if (!current) {
+                continue;
+            }
+            members.push(current);
+            for (const neighbor of reverse.get(current) ?? []) {
+                if (!assigned.has(neighbor)) {
+                    assigned.add(neighbor);
+                    stack.push(neighbor);
+                }
+            }
+        }
+        members.sort((left, right) => left.localeCompare(right));
+        const selfLoop = members.length === 1 && adjacencyFor(modules, members[0] ?? "").includes(members[0] ?? "");
+        components.push({
+            id: components.length,
+            modules: members,
+            isCycle: members.length > 1 || selfLoop,
+        });
+    }
+    return components;
+}
+/**
+ * Traverse the graph iteratively. Pattern imports and edges extracted from malformed files
+ * propagate `maybe` reachability. A reachable completely unknown dynamic boundary makes every
+ * project module only maybe-reachable, preventing unsafe unreachable-file claims.
+ */
+export function calculateReachability(modules, entryPoints) {
+    const reachable = new Set();
+    const maybeReachable = new Set();
+    const queue = [...entryPoints].map((moduleId) => ({ moduleId, certainty: "exact" }));
+    let cursor = 0;
+    let hasReachableUnknownDynamicBoundary = false;
+    while (cursor < queue.length) {
+        const current = queue[cursor];
+        cursor += 1;
+        if (!current || !modules.has(current.moduleId)) {
+            continue;
+        }
+        if (current.certainty === "exact") {
+            if (reachable.has(current.moduleId)) {
+                continue;
+            }
+            reachable.add(current.moduleId);
+            maybeReachable.delete(current.moduleId);
+        }
+        else if (reachable.has(current.moduleId) || maybeReachable.has(current.moduleId)) {
+            continue;
+        }
+        else {
+            maybeReachable.add(current.moduleId);
+        }
+        const module = modules.get(current.moduleId);
+        if (!module) {
+            continue;
+        }
+        if (module.hasUnknownDynamicBoundary) {
+            hasReachableUnknownDynamicBoundary = true;
+        }
+        for (const edge of module.edges) {
+            // Type-only imports DO contribute to file reachability, but not necessarily runtime usage
+            // The `isTypeOnly` flag is preserved on the edge for later analysis.
+            const edgeIsMaybe = edge.kind === "dynamic-pattern" || module.parseStatus !== "parsed";
+            const childCertainty = current.certainty === "maybe" || edgeIsMaybe ? "maybe" : "exact";
+            for (const target of edgeTargets(edge)) {
+                queue.push({ moduleId: target, certainty: childCertainty });
+            }
+        }
+    }
+    if (hasReachableUnknownDynamicBoundary) {
+        for (const moduleId of modules.keys()) {
+            if (!reachable.has(moduleId)) {
+                maybeReachable.add(moduleId);
+            }
+        }
+    }
+    return { reachable, maybeReachable, hasReachableUnknownDynamicBoundary };
+}
+export function buildImportUsage(modules) {
+    const usage = new Map();
+    for (const module of modules.values()) {
+        for (const edge of module.edges) {
+            // We count all imports for usage, but we could later distinguish them if needed.
+            // For now, an import (even type-only) marks the export as used.
+            for (const target of edgeTargets(edge)) {
+                const current = usage.get(target) ?? {
+                    consumers: new Set(),
+                    names: new Set(),
+                    wildcard: false,
+                    reExportOnly: true
+                };
+                current.consumers.add(module.id);
+                const isReExport = edge.kind === "export-all" || edge.kind === "export-from";
+                if (!isReExport) {
+                    current.reExportOnly = false;
+                }
+                for (const name of edge.importedNames) {
+                    current.names.add(name);
+                    if (name === "*") {
+                        current.wildcard = true;
+                    }
+                }
+                if (edge.kind === "dynamic-pattern" || module.parseStatus !== "parsed") {
+                    current.wildcard = true;
+                }
+                if (edge.kind === "export-all") {
+                    current.wildcard = true;
+                }
+                usage.set(target, current);
+            }
+        }
+    }
+    return usage;
+}
+export function buildUsedExports(modules) {
+    const usedExports = new Set();
+    const importUsage = buildImportUsage(modules);
+    if (modules.size < 10) { // Only log for small test cases
+        for (const [mid, usage] of importUsage.entries()) {
+            console.log(`[DEBUG] Usage for ${mid}: wildcard=${usage.wildcard}, reExportOnly=${usage.reExportOnly}, names=[${Array.from(usage.names).join(',')}]`);
+        }
+    }
+    for (const [moduleId, usage] of importUsage.entries()) {
+        const module = modules.get(moduleId);
+        if (!module) {
+            continue;
+        }
+        for (const exp of module.exports) {
+            // If an export is marked as an external contract, it's considered used.
+            if (exp.isExternalContract) {
+                usedExports.add(`${moduleId}:${exp.exportedAs}`);
+                continue; // Move to the next export
+            }
+            // Type-only exports are now tracked and can be marked as used by imports.
+            if (usage.wildcard) {
+                usedExports.add(`${moduleId}:${exp.exportedAs}`);
+            }
+            else {
+                const importedName = Array.from(usage.names).find((name) => {
+                    if (name === "default" && exp.isDefault) {
+                        return true;
+                    }
+                    return exp.exportedAs === name;
+                });
+                if (importedName) {
+                    usedExports.add(`${moduleId}:${exp.exportedAs}`);
+                }
+            }
+        }
+    }
+    return usedExports;
+}
+export function buildGraph(modules, entryPoints, options) {
+    resolveDependencies(modules, options);
+    const components = stronglyConnectedComponents(modules);
+    const reachability = calculateReachability(modules, entryPoints);
+    const usedExports = buildUsedExports(modules);
+    return { components, ...reachability, usedExports };
+}
+export function contextWithGraph(modules, entryPoints, options) {
+    const graph = buildGraph(modules, entryPoints, options);
+    return {
+        options,
+        modules,
+        entryPoints,
+        reachable: graph.reachable,
+        maybeReachable: graph.maybeReachable,
+        components: graph.components,
+        usedExports: graph.usedExports,
+        candidateBranches: [],
+    };
+}
+//# sourceMappingURL=graph.js.map

package/dist/graph.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"graph.js","sourceRoot":"","sources":["../src/graph.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,MAAM,OAAO,CAAC;AACzB,OAAO,EAAE,qBAAqB,EAAE,qBAAqB,EAAE,MAAM,eAAe,CAAC;AAwB7E,SAAS,YAAY,CAAC,YAAoB;IACxC,MAAM,MAAM,GAAG,MAAM,CAAC;IACtB,MAAM,KAAK,GAAG,YAAY,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IAC3C,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;QACd,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO;QACL,MAAM,EAAE,YAAY,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC;QACpC,MAAM,EAAE,YAAY,CAAC,KAAK,CAAC,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC;KAClD,CAAC;AACJ,CAAC;AAED,SAAS,WAAW,CAClB,IAAoB,EACpB,MAAoB,EACpB,UAAuB,EACvB,OAAwB;IAExB,IAAI,IAAI,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;QACpC,IAAI,CAAC,UAAU,GAAG,SAAS,CAAC;QAC5B,OAAO;IACT,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;QACpC,MAAM,KAAK,GAAG,YAAY,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QAC9C,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,IAAI,CAAC,UAAU,GAAG,SAAS,CAAC;YAC5B,OAAO;QACT,CAAC;QACD,MAAM,UAAU,GAAG,qBAAqB,CAAC,MAAM,CAAC,EAAE,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;QAC5F,MAAM,aAAa,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,MAAM,IAAI,GAAG,CAAC,CAAC;QACjF,IAAI,CAAC,cAAc,GAAG;YACpB,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,aAAa;YACb,UAAU;SACX,CAAC;QACF,IAAI,CAAC,UAAU,GAAG,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,YAAY,CAAC;QACpE,OAAO;IACT,CAAC;IAED,0BAA0B;IAC1B,IAAI,MAAM,GAAG,qBAAqB,CAAC,MAAM,CAAC,EAAE,EAAE,IAAI,CAAC,YAAY,EAAE,UAAU,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC;IACjG,IAAI,IAAI,CAAC,YAAY,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;QACtC,0FAA0F;IAC5F,CAAC;IAED,uCAAuC;IACvC,IAAI,CAAC,MAAM,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;QAChC,8DAA8D;QAC9D,KAAK,MAAM,CAAC,OAAO,EAAE,GAAG,CAAC,IAAI,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAC,OAAO,EAAE,EAAE,CAAC;YACnE,IAAI,IAAI,CAAC,YAAY,KAAK,OAAO,IAAI,IAAI,CAAC,YAAY,CAAC,UAAU,CAAC,OAAO,GAAG,GAAG,CAAC,EAAE,CAAC;gBACjF,sDAAsD;gBACtD,mEAAmE;gBACnE,MAAM,OAAO,GAAG,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;gBACxD,MAAM,OAAO,GAAG,GAAG,CAAC,QAAQ,CAAC;gBAE7B,wDAAwD;gBACxD,IAAI,CAAC,OAAO,IAAI,OAAO,KAAK,GAAG,EAAE,CAAC;oBAChC,MAAM,OAAO,GAAG,CAAC,cAAc,EAAE,cAAc,EAAE,UAAU,EAAE,UAAU,CAAC,CAAC;oBACzE,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;wBACxB,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;wBACxC,IAAI,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;4BAC9B,MAAM,GAAG,SAAS,CAAC;4BACnB,MAAM;wBACR,CAAC;oBACH,CAAC;gBACH,CAAC;qBAAM,CAAC;oBACN,6BAA6B;oBAC7B,MAAM,GAAG,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,cAAc,CAAC,EAAE,GAAG,GAAG,OAAO,EAAE,UAAU,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC;gBACpH,CAAC;gBAED,IAAI,MAAM;oBAAE,MAAM;YACpB,CAAC;QACH,CAAC;IACH,CAAC;IAED,IAAI,MAAM,EAAE,CAAC;QACX,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;QACrB,IAAI,CAAC,UAAU,GAAG,UAAU,CAAC;IAC/B,CAAC;SAAM,IAAI,IAAI,CAAC,YAAY,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,YAAY,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,YAAY,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC;QAC3H,IAAI,CAAC,UAAU,GAAG,YAAY,CAAC;IACjC,CAAC;SAAM,CAAC;QACN,IAAI,CAAC,UAAU,GAAG,UAAU,CAAC;IAC/B,CAAC;AACH,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,OAAkC,EAAE,OAAwB;IAC9F,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;IAC3C,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC;QACtC,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;YAChC,WAAW,CAAC,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC;QACjD,CAAC;IACH,CAAC;AACH,CAAC;AAED,MAAM,UAAU,WAAW,CAAC,IAAoB;IAC9C,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;QAChB,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACvB,CAAC;IACD,OAAO,IAAI,CAAC,cAAc,EAAE,UAAU,IAAI,EAAE,CAAC;AAC/C,CAAC;AAED,SAAS,YAAY,CAAC,OAAkC,EAAE,QAAgB;IACxE,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IACrC,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,OAAO,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;AACnF,CAAC;AAED,SAAS,gBAAgB,CAAC,OAAkC;IAC1D,MAAM,OAAO,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC5C,KAAK,MAAM,QAAQ,IAAI,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC;QACtC,OAAO,CAAC,GAAG,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;IAC5B,CAAC;IACD,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC;QACtC,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,CAAC;YACvD,MAAM,cAAc,GAAG,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YAC3C,IAAI,cAAc,EAAE,CAAC;gBACnB,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;YACjC,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,sFAAsF;AACtF,MAAM,UAAU,2BAA2B,CAAC,OAAkC;IAC5E,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,MAAM,WAAW,GAAa,EAAE,CAAC;IAEjC,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC;QAClC,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACtB,SAAS;QACX,CAAC;QACD,MAAM,KAAK,GAAwE,EAAE,CAAC;QACtF,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAClB,KAAK,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,YAAY,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC;QAErF,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxB,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;YACtC,IAAI,CAAC,KAAK,EAAE,CAAC;gBACX,MAAM;YACR,CAAC;YACD,IAAI,KAAK,CAAC,SAAS,GAAG,KAAK,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC;gBAC7C,MAAM,QAAQ,GAAG,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;gBAClD,KAAK,CAAC,SAAS,IAAI,CAAC,CAAC;gBACrB,IAAI,QAAQ,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;oBACvC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;oBACtB,KAAK,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,YAAY,CAAC,OAAO,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC;gBAC/F,CAAC;YACH,CAAC;iBAAM,CAAC;gBACN,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;gBACjC,KAAK,CAAC,GAAG,EAAE,CAAC;YACd,CAAC;QACH,CAAC;IACH,CAAC;IAED,MAAM,OAAO,GAAG,gBAAgB,CAAC,OAAO,CAAC,CAAC;IAC1C,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,MAAM,UAAU,GAAiC,EAAE,CAAC;IAEpD,OAAO,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC9B,MAAM,IAAI,GAAG,WAAW,CAAC,GAAG,EAAE,CAAC;QAC/B,IAAI,CAAC,IAAI,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAChC,SAAS;QACX,CAAC;QACD,MAAM,OAAO,GAAa,EAAE,CAAC;QAC7B,MAAM,KAAK,GAAG,CAAC,IAAI,CAAC,CAAC;QACrB,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACnB,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxB,MAAM,OAAO,GAAG,KAAK,CAAC,GAAG,EAAE,CAAC;YAC5B,IAAI,CAAC,OAAO,EAAE,CAAC;gBACb,SAAS;YACX,CAAC;YACD,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACtB,KAAK,MAAM,QAAQ,IAAI,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC;gBAClD,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;oBAC5B,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;oBACvB,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;gBACvB,CAAC;YACH,CAAC;QACH,CAAC;QACD,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC;QACzD,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,YAAY,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QAC5G,UAAU,CAAC,IAAI,CAAC;YACd,EAAE,EAAE,UAAU,CAAC,MAAM;YACrB,OAAO,EAAE,OAAO;YAChB,OAAO,EAAE,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,QAAQ;SACxC,CAAC,CAAC;IACL,CAAC;IAED,OAAO,UAAU,CAAC;AACpB,CAAC;AASD;;;;GAIG;AACH,MAAM,UAAU,qBAAqB,CACnC,OAAkC,EAClC,WAAwB;IAExB,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;IACpC,MAAM,cAAc,GAAG,IAAI,GAAG,EAAU,CAAC;IACzC,MAAM,KAAK,GAA2B,CAAC,GAAG,WAAW,CAAC,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC;IAC7G,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,IAAI,kCAAkC,GAAG,KAAK,CAAC;IAE/C,OAAO,MAAM,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC;QAC7B,MAAM,OAAO,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC;QAC9B,MAAM,IAAI,CAAC,CAAC;QACZ,IAAI,CAAC,OAAO,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC/C,SAAS;QACX,CAAC;QAED,IAAI,OAAO,CAAC,SAAS,KAAK,OAAO,EAAE,CAAC;YAClC,IAAI,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACpC,SAAS;YACX,CAAC;YACD,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;YAChC,cAAc,CAAC,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;QAC1C,CAAC;aAAM,IAAI,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,cAAc,CAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;YACnF,SAAS;QACX,CAAC;aAAM,CAAC;YACN,cAAc,CAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;QACvC,CAAC;QAED,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;QAC7C,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,SAAS;QACX,CAAC;QACD,IAAI,MAAM,CAAC,yBAAyB,EAAE,CAAC;YACrC,kCAAkC,GAAG,IAAI,CAAC;QAC5C,CAAC;QAED,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;YAChC,0FAA0F;YAC1F,qEAAqE;YACrE,MAAM,WAAW,GAAG,IAAI,CAAC,IAAI,KAAK,iBAAiB,IAAI,MAAM,CAAC,WAAW,KAAK,QAAQ,CAAC;YACvF,MAAM,cAAc,GAClB,OAAO,CAAC,SAAS,KAAK,OAAO,IAAI,WAAW,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC;YACnE,KAAK,MAAM,MAAM,IAAI,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC;gBACvC,KAAK,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,cAAc,EAAE,CAAC,CAAC;YAC9D,CAAC;QACH,CAAC;IACH,CAAC;IAED,IAAI,kCAAkC,EAAE,CAAC;QACvC,KAAK,MAAM,QAAQ,IAAI,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC;YACtC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAC7B,cAAc,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;YAC/B,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,EAAE,SAAS,EAAE,cAAc,EAAE,kCAAkC,EAAE,CAAC;AAC3E,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,OAAkC;IACjE,MAAM,KAAK,GAAG,IAAI,GAAG,EAAuB,CAAC;IAC7C,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC;QACtC,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;YAChC,iFAAiF;YACjF,gEAAgE;YAChE,KAAK,MAAM,MAAM,IAAI,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC;gBACvC,MAAM,OAAO,GAAG,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI;oBACnC,SAAS,EAAE,IAAI,GAAG,EAAU;oBAC5B,KAAK,EAAE,IAAI,GAAG,EAAU;oBACxB,QAAQ,EAAE,KAAK;oBACf,YAAY,EAAE,IAAI;iBACnB,CAAC;gBACF,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;gBAEjC,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,KAAK,YAAY,IAAI,IAAI,CAAC,IAAI,KAAK,aAAa,CAAC;gBAC7E,IAAI,CAAC,UAAU,EAAE,CAAC;oBAChB,OAAO,CAAC,YAAY,GAAG,KAAK,CAAC;gBAC/B,CAAC;gBAED,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC;oBACtC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;oBACxB,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;wBACjB,OAAO,CAAC,QAAQ,GAAG,IAAI,CAAC;oBAC1B,CAAC;gBACH,CAAC;gBACD,IAAI,IAAI,CAAC,IAAI,KAAK,iBAAiB,IAAI,MAAM,CAAC,WAAW,KAAK,QAAQ,EAAE,CAAC;oBACvE,OAAO,CAAC,QAAQ,GAAG,IAAI,CAAC;gBAC1B,CAAC;gBACD,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;oBAC/B,OAAO,CAAC,QAAQ,GAAG,IAAI,CAAC;gBAC1B,CAAC;gBACD,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;YAC7B,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,OAAkC;IACjE,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAC;IACtC,MAAM,WAAW,GAAG,gBAAgB,CAAC,OAAO,CAAC,CAAC;IAE9C,IAAI,OAAO,CAAC,IAAI,GAAG,EAAE,EAAE,CAAC,CAAC,gCAAgC;QACvD,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,WAAW,CAAC,OAAO,EAAE,EAAE,CAAC;YACjD,OAAO,CAAC,GAAG,CAAC,qBAAqB,GAAG,cAAc,KAAK,CAAC,QAAQ,kBAAkB,KAAK,CAAC,YAAY,YAAY,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACxJ,CAAC;IACH,CAAC;IAED,KAAK,MAAM,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,WAAW,CAAC,OAAO,EAAE,EAAE,CAAC;QACtD,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACrC,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,SAAS;QACX,CAAC;QAED,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;YACjC,wEAAwE;YACxE,IAAI,GAAG,CAAC,kBAAkB,EAAE,CAAC;gBAC3B,WAAW,CAAC,GAAG,CAAC,GAAG,QAAQ,IAAI,GAAG,CAAC,UAAU,EAAE,CAAC,CAAC;gBACjD,SAAS,CAAC,0BAA0B;YACtC,CAAC;YAED,0EAA0E;YAExE,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;gBACrB,WAAW,CAAC,GAAG,CAAC,GAAG,QAAQ,IAAI,GAAG,CAAC,UAAU,EAAE,CAAC,CAAC;YACnD,CAAC;iBAAM,CAAC;gBACN,MAAM,YAAY,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE;oBACzD,IAAI,IAAI,KAAK,SAAS,IAAI,GAAG,CAAC,SAAS,EAAE,CAAC;wBACxC,OAAO,IAAI,CAAC;oBACd,CAAC;oBACD,OAAO,GAAG,CAAC,UAAU,KAAK,IAAI,CAAC;gBACjC,CAAC,CAAC,CAAC;gBACH,IAAI,YAAY,EAAE,CAAC;oBACjB,WAAW,CAAC,GAAG,CAAC,GAAG,QAAQ,IAAI,GAAG,CAAC,UAAU,EAAE,CAAC,CAAC;gBACnD,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,WAAW,CAAC;AACrB,CAAC;AAED,MAAM,UAAU,UAAU,CACxB,OAAkC,EAClC,WAAwB,EACxB,OAAwB;IAExB,mBAAmB,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IACtC,MAAM,UAAU,GAAG,2BAA2B,CAAC,OAAO,CAAC,CAAC;IACxD,MAAM,YAAY,GAAG,qBAAqB,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;IACjE,MAAM,WAAW,GAAG,gBAAgB,CAAC,OAAO,CAAC,CAAC;IAC9C,OAAO,EAAE,UAAU,EAAE,GAAG,YAAY,EAAE,WAAW,EAAE,CAAC;AACtD,CAAC;AAED,MAAM,UAAU,gBAAgB,CAC9B,OAAkC,EAClC,WAAwB,EACxB,OAAwB;IAExB,MAAM,KAAK,GAAG,UAAU,CAAC,OAAO,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC;IACxD,OAAO;QACL,OAAO;QACP,OAAO;QACP,WAAW;QACb,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,cAAc,EAAE,KAAK,CAAC,cAAc;QACpC,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,WAAW,EAAE,KAAK,CAAC,WAAW;QAC9B,iBAAiB,EAAE,EAAE;KACtB,CAAC;AACF,CAAC"}

package/dist/index.d.ts

@@ -0,0 +1,3 @@
+import type { AnalyzerOptions, AnalysisReport, ResolvedOptions } from "./types.js";
+export declare function analyze(options: AnalyzerOptions): Promise<AnalysisReport>;
+export declare function shouldFail(report: AnalysisReport, failOn: ResolvedOptions["failOn"]): boolean;

package/dist/index.js

@@ -0,0 +1,313 @@
+import { promises as fs } from "node:fs";
+import path from "pathe";
+import { parseModule, walkAst } from "./parser.js";
+import { contextWithGraph, buildImportUsage } from "./graph.js";
+import { analyzeLayer2 } from "./layer2.js";
+import { analyzeLayer3 } from "./layer3.js";
+import { analyzeLayer4 } from "./layer4.js";
+import { analyzeLayer5 } from "./layer5.js";
+import { analyzeLayer6 } from "./layer6.js";
+import { buildMonorepoTopology } from "./workspace.js";
+import { loadCache, saveCache, getFileHash, isCacheValid } from "./cache.js";
+import { compileGlobs, conventionalEntryPatterns, DEFAULT_IGNORE, discoverPackageEntryPatterns, discoverSourceFiles, expandEntryPatterns, normalizeAbsolute, relativeDisplayPath, rootLooksValid, } from "./fs-utils.js";
+import { CONFIDENCE_RANK } from "./types.js";
+const VERSION = "1.0.0"; // Optiprune version
+import { DEFAULT_CONFIG, loadConfig, mergeConfig } from "./config-loader.js";
+async function resolveOptions(options) {
+    const rootDir = normalizeAbsolute(options.rootDir ?? process.cwd());
+    const userConfig = await loadConfig(rootDir);
+    const merged = mergeConfig(DEFAULT_CONFIG, {
+        ...userConfig,
+        ...options,
+        rootDir,
+    });
+    return {
+        ...merged,
+        entry: merged.entry?.map((entry) => normalizeAbsolute(path.resolve(rootDir, entry))) ?? [],
+        ignore: [...DEFAULT_IGNORE, ...(merged.ignore ?? [])],
+    };
+}
+export async function analyze(options) {
+    const resolvedOptions = await resolveOptions(options);
+    const cache = loadCache(resolvedOptions.rootDir);
+    const newCache = { version: "1.0", entries: {} };
+    // Phase 1: Core Graph & AST (Instant)
+    // Discover Monorepo Topology
+    let hasMonorepo = false;
+    try {
+        resolvedOptions.monorepo = await buildMonorepoTopology(resolvedOptions.rootDir);
+        hasMonorepo = !!resolvedOptions.monorepo;
+    }
+    catch (e) {
+        // console.error(`[Monorepo] Discovery failed: ${e}`);
+    }
+    const { rootDir, extensions, ignore, entry, includeConventionalEntries } = resolvedOptions;
+    const compiledIgnorePatterns = compileGlobs(ignore);
+    if (!(await rootLooksValid(rootDir))) {
+        throw new Error(`Root directory does not exist: ${rootDir}`);
+    }
+    const allSourceFiles = await discoverSourceFiles(rootDir, extensions, compiledIgnorePatterns);
+    const modules = new Map();
+    let filesParsed = 0;
+    let filesRecovered = 0;
+    let filesFallback = 0;
+    let hasFrameworkNodes = false;
+    for (const file of allSourceFiles) {
+        const sourceText = await fs.readFile(file, "utf8");
+        const currentHash = getFileHash(sourceText);
+        let moduleRecord;
+        const cached = cache.entries[file];
+        if (cached && isCacheValid(cached, sourceText)) {
+            moduleRecord = cached.moduleRecord;
+            newCache.entries[file] = cached;
+        }
+        else {
+            moduleRecord = parseModule(sourceText, file);
+            newCache.entries[file] = {
+                hash: currentHash,
+                moduleRecord,
+                timestamp: Date.now()
+            };
+        }
+        modules.set(file, moduleRecord);
+        if (moduleRecord.parseStatus === "parsed") {
+            filesParsed += 1;
+            // Quick framework detection for Layer 5 gating
+            // ✅ FIXED FRAMEWORK DETECTION
+            if (!hasFrameworkNodes && moduleRecord.ast) {
+                walkAst(moduleRecord.ast, (rawNode) => {
+                    const node = rawNode;
+                    const isDecorator = !!node.decorators || (Array.isArray(node.modifiers) && node.modifiers.some((m) => m.type === 'Decorator' || m.kind === 'Decorator'));
+                    const isZodCall = node.type === "CallExpression" && ((node.callee?.type === "MemberExpression" && (node.callee.object?.name === "z" || node.callee.object?.name === "zod")) ||
+                        (node.callee?.type === "Identifier" && (node.callee.name === "z" || node.callee.name.startsWith("zod"))));
+                    if (isDecorator || isZodCall) {
+                        hasFrameworkNodes = true;
+                        return true;
+                    }
+                });
+            }
+        }
+        else if (moduleRecord.parseStatus === "recovered") {
+            filesRecovered += 1;
+        }
+        else {
+            filesFallback += 1;
+        }
+    }
+    saveCache(resolvedOptions.rootDir, newCache);
+    let entryPoints = new Set();
+    if (entry.length > 0) {
+        for (const pattern of entry) {
+            const expanded = expandEntryPatterns(allSourceFiles, rootDir, [pattern]);
+            for (const e of expanded) {
+                entryPoints.add(path.normalize(e));
+            }
+        }
+    }
+    if (includeConventionalEntries) {
+        const rootPackageEntries = await discoverPackageEntryPatterns(rootDir);
+        for (const pattern of [...rootPackageEntries, ...conventionalEntryPatterns()]) {
+            for (const expanded of expandEntryPatterns(allSourceFiles, rootDir, [pattern])) {
+                entryPoints.add(path.normalize(expanded));
+            }
+        }
+        if (resolvedOptions.monorepo) {
+            for (const pkg of resolvedOptions.monorepo.packageMap.values()) {
+                const pkgEntries = await discoverPackageEntryPatterns(pkg.location);
+                for (const pattern of [...pkgEntries, ...conventionalEntryPatterns()]) {
+                    // Use path.posix.relative and path.posix.join for internal pattern construction
+                    const relativeToRoot = path.posix.relative(rootDir, pkg.location);
+                    const adjustedPattern = pattern.startsWith('/') ? pattern : path.posix.join(relativeToRoot, pattern);
+                    for (const expanded of expandEntryPatterns(allSourceFiles, rootDir, [adjustedPattern])) {
+                        entryPoints.add(path.normalize(expanded));
+                    }
+                }
+            }
+        }
+    }
+    const findings = [];
+    if (entryPoints.size === 0) {
+        findings.push({
+            rule: "no-entry-points",
+            severity: "warning",
+            confidence: "info",
+            message: "No entry points found or configured. All files will be considered unreachable.",
+            file: rootDir,
+            evidence: {},
+        });
+    }
+    const context = contextWithGraph(modules, entryPoints, resolvedOptions);
+    // Gated Layer 5: Schema Alignment
+    if (hasFrameworkNodes || resolvedOptions.externalContracts?.length) {
+        await analyzeLayer5(context);
+    }
+    // Gated Layer 6: Dependency & Boundary Engine
+    if (hasMonorepo || allSourceFiles.some(f => f.endsWith('.d.ts'))) {
+        const layer6Findings = await analyzeLayer6(context);
+        findings.push(...layer6Findings);
+    }
+    // Layer 1: Unused Exports & Unreachable Files
+    if (resolvedOptions.reportUnusedExports) {
+        const importUsage = buildImportUsage(modules);
+        for (const module of modules.values()) {
+            if (context.reachable.has(module.id)) {
+                for (const exp of module.exports) {
+                    // If it's an external contract (Layer 5/6), it's NEVER unused.
+                    if (exp.isExternalContract)
+                        continue;
+                    const isExportUsed = context.usedExports.has(`${module.id}:${exp.exportedAs}`);
+                    // Refinement for Monorepo/Re-export chains:
+                    // If an export is "used" but ONLY by modules that themselves are only re-exporting it
+                    // (and those re-exporters have no "real" consumers), then it's effectively unused.
+                    let isEffectivelyUsed = isExportUsed;
+                    if (isExportUsed) {
+                        const usage = importUsage.get(module.id);
+                        if (usage && usage.reExportOnly) {
+                            const hasRealConsumer = Array.from(usage.consumers).some(c => {
+                                const cUsage = importUsage.get(c);
+                                // A consumer is "real" if it's NOT a re-export-only module
+                                // OR if it's an entry point (which is always real)
+                                return cUsage && (!cUsage.reExportOnly || context.entryPoints.has(c));
+                            });
+                            if (!hasRealConsumer) {
+                                isEffectivelyUsed = false;
+                            }
+                        }
+                    }
+                    if (!isEffectivelyUsed && exp.exportedAs !== "default") {
+                        findings.push({
+                            rule: "unused-export",
+                            severity: "warning",
+                            confidence: "high",
+                            message: "Export '" + exp.exportedAs + "' is never imported or referenced.",
+                            file: module.id,
+                            ...(exp.location && { location: exp.location }),
+                            evidence: { exportName: exp.exportedAs },
+                        });
+                    }
+                }
+            }
+        }
+    }
+    for (const module of modules.values()) {
+        if (!context.reachable.has(module.id) && !context.maybeReachable.has(module.id)) {
+            const fileComponent = context.components.find((c) => c.modules.includes(module.id));
+            findings.push({
+                rule: "unreachable-file",
+                severity: "warning",
+                confidence: module.hasUnknownDynamicBoundary ? "medium" : "high",
+                message: fileComponent?.isCycle
+                    ? "File is part of an isolated circular dependency cycle (" + fileComponent.id + ") and is unreachable from entry points."
+                    : "File is not reachable from any entry point.",
+                file: module.id,
+                evidence: {
+                    entryPoints: [...context.entryPoints].map((p) => relativeDisplayPath(rootDir, p)),
+                    componentId: fileComponent?.id,
+                    cycleSize: fileComponent?.modules.length,
+                },
+            });
+        }
+        for (const diagnostic of module.parseDiagnostics) {
+            findings.push({
+                rule: "parse-recovery",
+                severity: diagnostic.recovered ? "info" : "error",
+                confidence: diagnostic.recovered ? "low" : "high",
+                message: "Parse " + (diagnostic.recovered ? "recovered with errors" : "failed") + ": " + diagnostic.message,
+                file: diagnostic.file,
+                ...(diagnostic.location && { location: diagnostic.location }),
+                evidence: {},
+            });
+        }
+        for (const edge of module.edges) {
+            if (edge.resolution === "unresolved") {
+                findings.push({
+                    rule: "unresolved-import",
+                    severity: "warning",
+                    confidence: "high",
+                    message: "Unresolved import specifier: '" + edge.rawSpecifier + "'",
+                    file: edge.source,
+                    ...(edge.location && { location: edge.location }),
+                    evidence: {},
+                });
+            }
+            if (edge.kind === "unknown-dynamic") {
+                findings.push({
+                    rule: "unknown-dynamic-import",
+                    severity: "warning",
+                    confidence: "medium",
+                    message: "Unknown dynamic import pattern: '" + edge.rawSpecifier + "'. This may hide reachable code.",
+                    file: edge.source,
+                    ...(edge.location && { location: edge.location }),
+                    evidence: {},
+                });
+            }
+        }
+    }
+    // Layer 2: Control Flow Graph (CFG)
+    const layer2Findings = analyzeLayer2(context);
+    findings.push(...layer2Findings);
+    // Phase 2: Layer 3 (Conditional Z3 SMT)
+    const layer3Findings = await analyzeLayer3(context);
+    findings.push(...layer3Findings);
+    // Phase 3: Layer 4 (node:vm sandbox)
+    const layer4Findings = await analyzeLayer4(context);
+    findings.push(...layer4Findings);
+    const summary = {
+        filesDiscovered: allSourceFiles.length,
+        filesParsed,
+        filesRecovered,
+        filesFallback,
+        edges: [...modules.values()].reduce((sum, module) => sum + module.edges.length, 0),
+        entryPoints: entryPoints.size,
+        stronglyConnectedComponents: context.components.length,
+        cycles: context.components.filter((c) => c.isCycle).length,
+        findings: findings.length,
+        errors: findings.filter((f) => f.severity === "error").length,
+        warnings: findings.filter((f) => f.severity === "warning").length,
+    };
+    return {
+        version: VERSION,
+        rootDir,
+        entryPoints: [...entryPoints].map((p) => relativeDisplayPath(rootDir, p)),
+        summary,
+        findings: findings.sort((a, b) => {
+            if (a.file !== b.file)
+                return a.file.localeCompare(b.file);
+            if (a.location && b.location) {
+                if (a.location.start.line !== b.location.start.line)
+                    return a.location.start.line - b.location.start.line;
+                return a.location.start.column - b.location.start.column;
+            }
+            return 0;
+        }),
+        modules: [...modules.values()].map((module) => ({
+            path: relativeDisplayPath(rootDir, module.id),
+            parseStatus: module.parseStatus,
+            exports: module.exports.map((e) => ({
+                name: e.name,
+                exportedAs: e.exportedAs,
+                isDefault: e.isDefault,
+                isReExport: e.isReExport,
+                isWildcard: e.isWildcard,
+                isTypeOnly: e.isTypeOnly ?? false,
+                isExternalContract: e.isExternalContract ?? false,
+            })),
+            edges: module.edges.map((edge) => ({
+                kind: edge.kind,
+                specifier: edge.rawSpecifier,
+                ...(edge.target && { target: relativeDisplayPath(rootDir, edge.target) }),
+                resolution: edge.resolution,
+            })),
+        })),
+        components: context.components.map((c) => ({
+            id: c.id,
+            modules: c.modules.map((m) => relativeDisplayPath(rootDir, m)),
+            isCycle: c.isCycle,
+        })),
+    };
+}
+export function shouldFail(report, failOn) {
+    const failThreshold = CONFIDENCE_RANK[failOn];
+    return report.findings.some((f) => CONFIDENCE_RANK[f.confidence] >= failThreshold);
+}
+//# sourceMappingURL=index.js.map