import type { AnalysisContext, DependencyEdge, ModuleRecord, ResolvedOptions, StronglyConnectedComponent } from "./types.js";
export interface GraphBuildResult {
    components: StronglyConnectedComponent[];
    reachable: Set<string>;
    maybeReachable: Set<string>;
    hasReachableUnknownDynamicBoundary: boolean;
    usedExports: Set<string>;
    /** Export usage inferred from a package.json public entry point is deliberately low confidence. */
    usedExportConfidence: Map<string, import("./types.js").Confidence>;
    usedMembers: Set<string>;
}
export interface ImportUsage {
    consumers: Set<string>;
    names: Set<string>;
    memberAccess: Map<string, Set<string>>;
    wildcard: boolean;
    reExportOnly: boolean;
}
/**
 * Resolve a concrete runtime import specifier using the same rules as the
 * static graph builder. Layer 4 calls this after its WASM sandbox evaluates a
 * dynamic import expression, including workspace package subpaths.
 */
export declare function resolveConcreteSpecifier(sourceFile: string, specifier: string, knownFiles: Set<string>, options: ResolvedOptions): string | undefined;
export declare function resolveDependencies(modules: Map<string, ModuleRecord>, options: ResolvedOptions): void;
export declare function edgeTargets(edge: DependencyEdge): string[];
/** Kosaraju with explicit stacks avoids stack overflows on deep graphs and cycles. */
export declare function stronglyConnectedComponents(modules: Map<string, ModuleRecord>): StronglyConnectedComponent[];
/**
 * 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 declare function calculateReachability(modules: Map<string, ModuleRecord>, entryPoints: Set<string>, ignoreUnknownImport?: boolean): Pick<GraphBuildResult, "reachable" | "maybeReachable" | "hasReachableUnknownDynamicBoundary">;
export declare function buildImportUsage(modules: Map<string, ModuleRecord>): Map<string, ImportUsage>;
export declare function buildUsedExports(modules: Map<string, ModuleRecord>, options: ResolvedOptions, publicApiEntryPoints?: ReadonlySet<string>): {
    usedExports: Set<string>;
    usedExportConfidence: Map<string, import("./types.js").Confidence>;
    usedMembers: Set<string>;
};
/**
 * Refines component reachability. A component is reachable if at least one of its
 * modules is reachable from an entry point.
 */
export declare function calculateComponentReachability(components: StronglyConnectedComponent[], reachable: Set<string>, maybeReachable: Set<string>): void;
export declare function buildGraph(modules: Map<string, ModuleRecord>, entryPoints: Set<string>, options: ResolvedOptions, publicApiEntryPoints?: ReadonlySet<string>): GraphBuildResult;
export declare function contextWithGraph(modules: Map<string, ModuleRecord>, entryPoints: Set<string>, options: ResolvedOptions, publicApiEntryPoints?: ReadonlySet<string>): AnalysisContext;