/**
 * Validate proof registry against catalog, filesystem evidence, and versions.
 */
import type { CapabilityCatalog, ProofRegistry } from './types.js';
export interface ValidateProofRegistryOptions {
    rootDir: string;
    catalog: CapabilityCatalog;
    installedManifestVersion: string;
    installedPreset?: {
        id: string;
        version: string;
    };
    /** Override existence check (tests). */
    fileExists?: (absolutePath: string) => boolean;
}
export interface ProofValidationIssue {
    code: 'RUNTIME_PROOF_MISSING_TEST' | 'HANDWRITTEN_RUNTIME_CLAIM' | 'VERSION_MISMATCH' | 'PRESET_MISMATCH' | 'REACTION_MISSING' | 'UNKNOWN_COMMAND' | 'UNKNOWN_EVENT' | 'UNKNOWN_TEST_PATH' | 'STATUS_CONTRADICTS_EVIDENCE';
    message: string;
    proofId?: string;
}
/**
 * Returns issues. Empty array means the registry is consistent.
 */
export declare function validateProofRegistry(registry: ProofRegistry, options: ValidateProofRegistryOptions): ProofValidationIssue[];
export declare function assertProofRegistryValid(registry: ProofRegistry, options: ValidateProofRegistryOptions): void;
//# sourceMappingURL=validate-registry.d.ts.map