import type { CompiledSymbolicDenotationV1, SymbolicDenotationAxisDomain, SymbolicDenotationScalar } from "./symbolic-denotation-types.js";
export declare const MAX_SOURCE_EXHAUSTIVE_DOMAIN_CARDINALITY = 100000n;
export interface SymbolicSourceExhaustiveCaseV1 {
    fact_rule_refs: string[];
    source: CompiledSymbolicDenotationV1;
    rule: CompiledSymbolicDenotationV1;
}
export interface SymbolicSourceExhaustiveCounterexampleV1 {
    kind: "source_rule_denotation_mismatch" | "complete_domain_counterexample";
    axis_ref: string | null;
    fact_rule_ref: string;
    assignment: Record<string, SymbolicDenotationScalar>;
    detail: string;
}
export declare function evaluateCompleteSymbolicSourceDomain(domains: SymbolicDenotationAxisDomain[], omittedAxisRefs: string[], cases: SymbolicSourceExhaustiveCaseV1[]): {
    cardinality: string;
    evaluation_sha256: string;
    counterexample: SymbolicSourceExhaustiveCounterexampleV1 | null;
};