/**
 * Emit proof registry connecting declared capabilities/reactions to tests.
 */
import type { IR } from '../ir.js';
import { type EmitCatalogOptions } from './emit-catalog.js';
import type { ProofRegistry, ProofStatus } from './types.js';
export interface ProofTestBinding {
    proofId: string;
    structuralTest?: string;
    runtimeTest?: string;
    lastVerifiedCommit?: string;
    /** Force status (e.g. blocked_by_product_decision). Cannot invent runtime_proven without a test path. */
    statusOverride?: ProofStatus;
}
export interface EmitRegistryOptions extends EmitCatalogOptions {
    testBindings?: readonly ProofTestBinding[];
}
/**
 * Build proof registry from IR. Status is derived from test bindings — callers
 * cannot claim runtime_proven without a runtimeTest path.
 */
export declare function emitProofRegistry(ir: IR, options?: EmitRegistryOptions): ProofRegistry;
//# sourceMappingURL=emit-registry.d.ts.map