export interface WrapperConfig {
    prologContent: string;
    query: string;
    depth?: number;
    tracerPath: string;
    /** Absolute path for the trace.json output. Defaults to 'trace.json' (cwd-relative). */
    tracePath?: string;
    /** How many solutions to enumerate (default 1). */
    solutions?: number;
}
export interface TempFile {
    path: string;
    cleanup: () => Promise<void>;
}
/**
 * Generates the custom tracer wrapper file content.
 * The wrapper includes:
 * - Custom tracer import
 * - User's Prolog code (loaded without instrumentation)
 * - Query execution with tracer installed
 * - JSON export after query
 * - Tracer cleanup
 */
export declare function generateWrapper(config: WrapperConfig): string;
/**
 * Calculates the line offset between wrapper file and original source file.
 * This is needed because the tracer reports line numbers from the wrapper file,
 * but we need to map them back to the original source file line numbers.
 */
export declare function calculateLineOffset(prologContent: string): number;
/**
 * Maps a line number from the wrapper file back to the original source file.
 */
export declare function mapWrapperLineToSource(wrapperLine: number, prologContent: string): number;
export declare function createTempWrapper(config: WrapperConfig & {
    tempDir?: string;
}): Promise<TempFile>;
/**
 * Serializes a wrapper back to its component parts (for testing round-trips).
 * Returns null if the content doesn't match expected wrapper format.
 */
export declare function parseWrapper(content: string): WrapperConfig | null;
//# sourceMappingURL=wrapper.d.ts.map