export interface ClaimForConfirmation { claimId: string; category: string; description: string; verdict: string; } export interface GroundTruthResult { claimId: string; confirmed: boolean; method: 'compiler' | 'test' | 'grep'; evidence: string; } export declare function runTscCheck(repoDir: string): { errors: string; exitCode: number; } | null; export declare function tscReportsErrorInFile(tscOutput: string, filePath: string): boolean; export declare function confirmByGrep(code: string, claim: ClaimForConfirmation): GroundTruthResult; export declare function parseConfirmation(code: string, claim: ClaimForConfirmation, tscOutput: string | null, filePath: string): GroundTruthResult;