/**
 * Assay API Client — calls POST /api/v1/forward on the Assay server.
 *
 * Used when ASSAY_API_KEY is set. Falls back to null on any error
 * so the caller can switch to the local pipeline.
 */
export interface AssayApiResponse {
    request_id: string;
    claims: {
        count: number;
        items: Array<{
            id: string;
            category: string;
            severity: string;
            description: string;
            assertion: string;
        }>;
    };
    verification: {
        passed: number;
        failed: number;
        partial: number;
        total: number;
        items: Array<{
            claimId: string;
            verdict: string;
            reasoning: string;
            evidence?: string;
            verification_method?: string;
            formal_override?: {
                original_llm_verdict: string;
                formal_verdict: string;
                reason: string;
            };
        }>;
        formal?: {
            formally_verified: number;
            llm_verified: number;
            disagreements: number;
            formal_overrides: number;
        };
        learnedRuleFindings?: Array<{
            ruleId: string;
            description: string;
            severity: 'critical' | 'high' | 'medium';
            category: string;
            evidence: string;
            matches: string[];
            confidence: number;
        }>;
        learnedRuleCount?: number;
    };
    usage: {
        input_tokens: number;
        output_tokens: number;
        duration_ms: number;
        pipeline_calls: number;
    };
}
/**
 * Call the Assay API for full verification (LLM + formal + learned rules).
 *
 * Returns null on any error — caller should fall back to local pipeline.
 */
export declare function callAssayApi(code: string, language: string, context?: string): Promise<AssayApiResponse | null>;