import { ScanSession } from '../lib/learned-rules/index.js';
import type { CodeClaim, ClaimVerification, FormalStats, ForwardVerifyOptions, VerificationResult } from './types.js';
export declare function extractCodeClaims(code: string, language: string, context?: string): Promise<{
    claims: CodeClaim[];
    inputTokens: number;
    outputTokens: number;
}>;
export declare function verifyCodeClaims(code: string, language: string, claims: CodeClaim[]): Promise<{
    verifications: ClaimVerification[];
    inputTokens: number;
    outputTokens: number;
}>;
export declare function applyFormalVerification(code: string, language: string, claims: CodeClaim[], llmVerifications: ClaimVerification[]): {
    verifications: ClaimVerification[];
    formalStats: FormalStats;
};
export { ScanSession, type ScanSessionStats } from '../lib/learned-rules/index.js';
export declare function forwardVerify(code: string, language: string, context?: string, session?: ScanSession, options?: ForwardVerifyOptions): Promise<{
    result: VerificationResult;
    inputTokens: number;
    outputTokens: number;
}>;