import type { Verifier, VerifyInput, VerifyResult } from './verifier.js';
/**
 * Deterministic mock provider. Rule: an AC passes iff it has ≥1 linked test
 * in `input.tests[ac.id]`; otherwise it fails with reason
 * `"no linked test found"`. Pure function — no I/O — so the gate is testable
 * offline and CI doesn't need an API key.
 *
 * The rule deliberately mirrors the Phase 14 coverage gate. Mock is a
 * deterministic floor; real verifiers (Anthropic, etc.) read the diff + test
 * bodies to give a richer behavioral verdict.
 */
export declare class MockVerifier implements Verifier {
    readonly name = "mock";
    verify(input: VerifyInput, _opts?: {
        signal?: AbortSignal;
        traceId?: string;
    }): Promise<VerifyResult>;
}
//# sourceMappingURL=mock-verifier.d.ts.map