import type { SemanticFactManifestCollectionName, SemanticFactManifestV1 } from "./semantic-fact-types.js";
export declare function validateSemanticFactLocatedValue(manifest: SemanticFactManifestV1, located: SemanticFactManifestV1["facts"][number]["expected"], label: string): void;
export declare function validateSemanticFactLocator(manifest: SemanticFactManifestV1, locator: {
    material_ref: string;
    kind: string;
    value: string;
}, label: string): void;
export declare function validateSemanticFactQuantifier(manifest: SemanticFactManifestV1, fact: SemanticFactManifestV1["facts"][number]): void;
export declare function validateSemanticFactCrossProduct(rule: SemanticFactManifestV1["condition_rules"][number], axes: Map<string, SemanticFactManifestV1["axis_dispositions"][number]>, conditions: Map<string, SemanticFactManifestV1["conditions"][number]>, exclusions: Map<string, SemanticFactManifestV1["condition_exclusions"][number]>): void;
export declare function semanticFactCollections(manifest: SemanticFactManifestV1): Record<SemanticFactManifestCollectionName, Array<{
    key: string;
}>>;
export declare function semanticFactCellIdentity(unitRef: string, conditionRef: string, propertyRef: string): string;
export declare function canonicalSemanticFactCondition(values: Array<{
    axis_ref: string;
    value_ref: string;
}>): string;
export declare function assertNoSemanticFactParentCycle(key: string, subjects: SemanticFactManifestV1["subjects"]): void;
export declare function requireSemanticFactBasis(value: {
    basis_refs: string[];
}, label: string): void;
export declare function requireSemanticFactSubset(actual: string[], allowed: string[], code: string, label: string): void;
export declare function uniqueNonemptySemanticFacts(values: Array<string | number>, label: string): void;
export declare function uniqueSemanticFacts(values: Array<string | number>, label: string): void;
export declare function assertSameSemanticFactSet(actual: Array<string | number>, expected: Array<string | number>, label: string): void;
export declare function semanticFactInvalid(code: string, detail: string): never;