/**
 * Antagonist Challenger Module
 *
 * The internal critic that:
 * 1. Checks for missing coverage (areas no agent scanned)
 * 2. Identifies findings with low cross-verification
 * 3. Flags potential false positives
 * 4. Challenges assumptions
 * 5. Detects inconsistent findings
 *
 * @module agents/antagonist/challenger
 */
import type { AgentType, Finding } from "../../certification/types.js";
import type { ChallengerAssessment, GapAnalysis, AntagonistConfig } from "./types.js";
/**
 * Run challenger analysis without LLM
 */
export declare function runChallengerDeterministic(findings: Finding[], agentSummaries: Record<AgentType, {
    completed: boolean;
    findingCount: number;
}>, config: AntagonistConfig): {
    assessments: ChallengerAssessment[];
    gapAnalysis: GapAnalysis;
};
/**
 * Run challenger analysis with LLM
 */
export declare function runChallengerLlm(findings: Finding[], agentSummaries: Record<AgentType, {
    completed: boolean;
    findingCount: number;
}>, config: AntagonistConfig): Promise<{
    assessments: ChallengerAssessment[];
    tokensUsed: number;
}>;
/**
 * Main challenger function - combines deterministic and LLM approaches
 */
export declare function runChallenger(findings: Finding[], agentSummaries: Record<AgentType, {
    completed: boolean;
    findingCount: number;
}>, config: AntagonistConfig): Promise<{
    assessments: ChallengerAssessment[];
    gapAnalysis: GapAnalysis;
    tokensUsed: number;
}>;
//# sourceMappingURL=challenger.d.ts.map