import type { DesignResourceHandoffPreflightV2, DesignResourceObservableRuleManifestV2, DesignResourceSymbolicFactRuleV2, ParsedDesignResourceHandoffV2 } from "./design-resource-symbolic-fact-types.js";
import type { CompiledSymbolicDenotationV1, SymbolicDenotationPredicate } from "./symbolic-denotation-types.js";
import type { SymbolicApplicabilityIndex } from "./design-resource-symbolic-applicability-validation.js";
import type { DesignResourceSymbolicCompilationSession } from "./design-resource-symbolic-compilation.js";
import { type SymbolicManifestIndexes } from "./design-resource-symbolic-indexes.js";
export declare function validateSymbolicApplicabilityClosure(manifest: DesignResourceObservableRuleManifestV2, reachable: CompiledSymbolicDenotationV1, indexes: SymbolicManifestIndexes, applicability: SymbolicApplicabilityIndex, compilation: DesignResourceSymbolicCompilationSession): void;
export declare function validateSymbolicCoverage(parsed: ParsedDesignResourceHandoffV2, manifest: DesignResourceObservableRuleManifestV2): void;
export declare function validateSymbolicRegionWithinReachable(region: SymbolicDenotationPredicate, reachable: SymbolicDenotationPredicate, label: string, compilation: DesignResourceSymbolicCompilationSession): void;
export declare function validateSymbolicPopulationAndQuantifier(item: {
    key: string;
    population_ref: string | null;
    quantifier: DesignResourceSymbolicFactRuleV2["quantifier"];
}, subjectPopulationRef: string | null, populations: Map<string, DesignResourceObservableRuleManifestV2["populations"][number]>): void;
export declare function validateSymbolicQuantifier(quantifier: DesignResourceSymbolicFactRuleV2["quantifier"], label: string): void;
export declare function aggregateSymbolicCanonicalMetrics(projections: DesignResourceHandoffPreflightV2["rule_projections"]): {
    nodes: number;
    edges: number;
    bytes: number;
};