export type CheckScope = "contract" | "implementation" | "all";
export interface CheckReferenceOptions {
    file?: string;
    adapter?: string;
    model?: string;
    showPrompt?: boolean;
    failOn?: string;
    output?: string;
    reportFormat?: string;
    scope?: CheckScope;
    logFile?: string;
}
export declare function runCheckReference(contractFiles: string[], options: CheckReferenceOptions): Promise<string | {
    result: unknown;
    exitCode: number;
}>;
//# sourceMappingURL=check-reference.d.ts.map