import type { AssessmentResult, RouteAssessmentResult, ClaimVerification, ClaimSeverity } from '../types.js';
interface BugEntry {
    bug: ClaimVerification;
    severity: ClaimSeverity;
    flowId: string;
    route: string;
    domain: string;
    category: string;
}
/**
 * Triage each bug as a real code defect vs. spec drift, with one batched LLM
 * call. Sets `bug.classification` on the underlying verifications so it flows
 * into the bug report, assessment.json, and (once plumbed) the published claim.
 * On any failure every bug is left unclassified → the fix prompt falls back to
 * the neutral, verify-first wording.
 */
export declare function classifyFindings(entries: BugEntry[]): Promise<{
    inputTokens: number;
    outputTokens: number;
}>;
/**
 * Build a copy-paste fix prompt for a single bug. The wording is tailored to the
 * finding's classification (real defect vs. spec drift vs. uncertain) so the
 * agent is told to fix the code, leave correct code alone, or verify first.
 * A user pastes this straight into a coding agent (Claude Code, Cursor, etc.).
 */
export declare function generateFixPrompt(entry: BugEntry): string;
export declare function generateAssessmentReport(routeResults: RouteAssessmentResult[], repoName: string, repoUrl: string, frameworks: string[], totalTokens: {
    input: number;
    output: number;
}, outputDir: string, onProgress?: (msg: string) => void, formalCoverage?: AssessmentResult['formalCoverage']): Promise<AssessmentResult>;
export {};