import type { FileRecord, CodeChunk } from "./types/index.js";
import type { ImpactResult } from "./storage/symbol-ref-store.js";
type NamedChunk = CodeChunk & {
    filePath: string;
    pagerank: number;
    fileLanguage: string;
};
export interface ProveIndex {
    fileStore: {
        getAll(): FileRecord[];
        count(): number;
        getLanguages(): string[];
    };
    chunkStore: {
        count(): number;
        getByNameWithFile(namePattern: string, limit?: number): NamedChunk[];
        getAllWithFile(): (CodeChunk & {
            filePath: string;
            pagerank: number;
        })[];
    };
    symbolRefStore: {
        count(): number;
        getGodNodeStats(excludeFileIds?: Set<number>): {
            target_name: string;
            ref_count: number;
            distinct_source_files: number;
        }[];
        getImpact(targetName: string, limit?: number): ImpactResult[];
    };
}
export type ProveFormat = "text" | "markdown";
export interface ProveReportOptions {
    format?: ProveFormat;
    guided?: boolean;
    noWrite?: boolean;
}
export declare function buildProveReport(indexer: ProveIndex, projectPath: string, options?: ProveReportOptions): string;
export declare function runProve(projectPath: string, options?: ProveReportOptions): Promise<string>;
export {};