/**
 * Per-finding verification pass — a PRECISION filter for the LLM analysis agents.
 *
 * The logic-flaw / zero-day agents favour recall (they surface a lot). This pass
 * runs a second, skeptical model over each finding — "is this actually real, in
 * context?" — and drops confident false positives while downgrading questionable
 * ones. It only ever challenges LLM-generated findings; deterministic/heuristic
 * findings are never touched. Bounded + best-effort: batched by file, reuses the
 * shared candidate-bounded LLM pass, and no-ops without an API key.
 *
 * @module agents/antagonist/verifier
 */
/** Minimal shape both LogicFlawFinding and ZeroDayFinding satisfy. */
export interface VerifiableFinding {
    file: string;
    line: number;
    title: string;
    description: string;
    severity: string;
    confidence: number;
}
export interface VerifyOptions {
    projectPath: string;
    model?: string;
    label?: string;
    /** Cap on file-batches sent to the model (cost guardrail). */
    cap?: number;
    /** A confirmed finding is kept only if the verifier's confidence is >= this (default 70). */
    confirmConfidenceBar?: number;
}
export interface VerifyResult<T> {
    kept: T[];
    refutedCount: number;
    downgradedCount: number;
    ran: boolean;
}
export declare function buildVerifyPrompt(file: string, findings: VerifiableFinding[], code: string): string;
/**
 * Verify a set of LLM findings. Drops confident false positives, downgrades the
 * confidence of questioned ones, and returns the kept set. No-op (returns all
 * findings) without an API key or when `findings` is empty.
 */
export declare function verifyAgentFindings<T extends VerifiableFinding>(findings: T[], opts: VerifyOptions): Promise<VerifyResult<T>>;
//# sourceMappingURL=verifier.d.ts.map