import type { ParsedCall, ParsedFile, ParsedInheritance, ParsedSemanticResolution, TypeScriptCheckerMode } from './types.js';
export interface TypeScriptSemanticOptions {
    mode?: TypeScriptCheckerMode;
    maxProjects?: number;
    maxAuxiliaryBytes?: number;
    signal?: AbortSignal;
}
/** Stable producer/consumer discriminator for preferred-mode checker fallback. */
export declare const TYPESCRIPT_CHECKER_UNAVAILABLE_REASON: "checker-unavailable";
/** Stable reason for compiler-AST calls that could not join parser call facts. */
export declare const RESOLVER_JOIN_MISS_REASON: "resolver-join-miss";
/**
 * Add checker-backed targets to already extracted TypeScript/JavaScript facts.
 *
 * The operation mutates only the supplied plain parse records. It is run after
 * all files have been parsed so aliases, receiver types, and project exports
 * can be proved across module boundaries before graph assembly.
 */
export declare function enrichTypeScriptSemantics(files: ParsedFile[], options?: TypeScriptSemanticOptions): Promise<void>;
export declare function semanticCallResolution(call: ParsedCall): ParsedSemanticResolution | undefined;
export declare function semanticInheritanceResolution(inheritance: ParsedInheritance): ParsedSemanticResolution | undefined;
