import type { CodeClaim, ClaimVerification } from '../../sdk/types.js';
export interface ScanFailure {
    claimId: string;
    category: string;
    severity: 'critical' | 'high' | 'medium' | 'low' | 'unknown';
    description: string;
    assertion: string;
    reasoning: string;
    method: 'formal' | 'llm';
}
export interface ScanResult {
    totalClaims: number;
    failures: ScanFailure[];
}
export declare function buildScanResult(claims: CodeClaim[], verifications: ClaimVerification[]): ScanResult;
export declare function scanFile(code: string, language: string): Promise<{
    result: ScanResult;
    claims: CodeClaim[];
    verifications: ClaimVerification[];
}>;