import type { DesignResourceHandoffPreflightV2, DesignResourceObservableRuleManifestV2 } from "./design-resource-symbolic-fact-types.js";
import type { DesignResourceSymbolicCompilationSession } from "./design-resource-symbolic-compilation.js";
import type { CompiledSymbolicDenotationV1 } from "./symbolic-denotation-types.js";
export declare function validateSymbolicReadinessClosure(manifest: DesignResourceObservableRuleManifestV2): void;
export declare function assertNoUnprovedOmittedAxes(compiled: CompiledSymbolicDenotationV1, label: string): void;
export declare function validateSymbolicExactTargetCoverage(interpretation: "exact_target" | "constraint", manifest: DesignResourceObservableRuleManifestV2, projections: DesignResourceHandoffPreflightV2["rule_projections"], reachable: CompiledSymbolicDenotationV1, compilation: DesignResourceSymbolicCompilationSession): void;