/**
 * Verification Engine — deterministic, extensible verification operations.
 *
 * A verifier turns an observation (command exit code, file state, search
 * result, git diff) into a VerificationResult with a pass/fail decision. The
 * decision is computed by Jensen from machine-observable facts — never from
 * model output or model self-review.
 */
import type { VerificationResult, VerificationSpec } from "./types.js";
export interface VerificationExecutor {
    runCommand(command: string, cwd?: string): Promise<{
        exitCode: number;
        stdout: string;
        stderr: string;
    }>;
    fileExists(path: string, cwd?: string): Promise<boolean>;
    readFile(path: string, cwd?: string): Promise<string>;
    searchMatches(pattern: string, cwd?: string): Promise<string[]>;
    gitChangedPaths(cwd?: string): Promise<string[]>;
}
export interface VerificationOptions {
    criterionId?: string;
    cwd?: string;
    now?: () => string;
}
/**
 * Execute a single deterministic verification operation.
 */
export declare function verify(spec: VerificationSpec, executor: VerificationExecutor, options?: VerificationOptions): Promise<VerificationResult>;
//# sourceMappingURL=verifier.d.ts.map