import { type SemanticCompactCapacityCounts, type SemanticCompactCatalogs } from "./semantic-fact-compact-support.js";
export declare function parseSemanticCompactCapacity(value: unknown, label: string): {
    measured: SemanticCompactCapacityCounts;
    maximum: SemanticCompactCapacityCounts;
};
export declare function parseSemanticCompactSelectors(value: unknown, label: string): Map<string, string[]>;
export declare function parseSemanticCompactCatalogs(value: unknown, selectors: Map<string, string[]>, label: string): SemanticCompactCatalogs;
export declare function parseSemanticCompactFactSets(value: unknown, selectors: Map<string, string[]>, label: string): Array<{
    fact: Record<string, unknown>;
    revision_digest: string;
}>;
export declare function parseSemanticCompactProofTemplates(value: unknown, selectors: Map<string, string[]>, label: string): Map<string, Record<string, unknown>>;
export declare function parseSemanticCompactObligations(value: unknown, templates: Map<string, Record<string, unknown>>, selectors: Map<string, string[]>, label: string): Array<{
    proof: Record<string, unknown>;
    revision_digest: string;
}>;
export declare function parseSemanticCompactExceptions(value: unknown, label: string): void;