/**
 * Emit capability catalog from IR + Convex projection metadata.
 */
import type { IR, IRReactionRule } from '../ir.js';
import type { CapabilityCatalog, ProofKitVersions, ProofStatus } from './types.js';
export interface EmitCatalogOptions {
    versions?: Partial<ProofKitVersions>;
    entityFilter?: ReadonlySet<string> | readonly string[];
    structuralProofIds?: ReadonlySet<string>;
    runtimeProofIds?: ReadonlySet<string>;
    productDecisionIds?: ReadonlyMap<string, ProofStatus>;
    convexOptions?: Record<string, unknown>;
}
export declare function reactionProofId(rule: IRReactionRule): string;
/** Build a deterministic capability catalog from compiled IR. */
export declare function emitCapabilityCatalog(ir: IR, options?: EmitCatalogOptions): CapabilityCatalog;
//# sourceMappingURL=emit-catalog.d.ts.map