/**
 * Decision verifier
 *
 * Cross-checks consolidated decisions against the actual git diff to:
 *  - "verified"  — decision has clear code evidence
 *  - "phantom"   — recorded but no matching change found in diff
 *  - "missing"   — significant diff change not covered by any decision
 */
import type { LLMService } from '../services/llm-service.js';
import type { PendingDecision } from '../../types/index.js';
export interface VerificationResult {
    verified: PendingDecision[];
    phantom: PendingDecision[];
    missing: Array<{
        file: string;
        description: string;
    }>;
}
/**
 * Deterministic verification evidence: a decision is grounded when EVERY one of its
 * affectedFiles appears in the diff with a substantive hunk. Returns the evidence
 * file (the first affected file) when grounded, else null.
 *
 * This is the HF-1 fallback: the LLM `verify` step over-marks legitimate
 * tool-addition decisions as `phantom`, stalling the dogfood gate. When the code
 * is demonstrably in the diff, trust the diff over the LLM's "no evidence" call.
 */
export declare function substantiveEvidence(decision: PendingDecision, diffByFile: Map<string, string>): string | null;
export declare function verifyDecisions(decisions: PendingDecision[], diff: string, llm: LLMService, commitMessages?: string): Promise<VerificationResult>;
//# sourceMappingURL=verifier.d.ts.map