import type { DesignResourceSymbolicCompilationSession } from "./design-resource-symbolic-compilation.js";
import type { DesignResourceHandoffPreflightV2, DesignResourceObservableRuleManifestV2, DesignResourceSymbolicNoninterferenceCertificateV2, DesignResourceSymbolicNoninterferenceProofV2 } from "./design-resource-symbolic-fact-types.js";
export declare function validateSymbolicNoninterferenceEquivalence(proof: DesignResourceSymbolicNoninterferenceProofV2, manifest: DesignResourceObservableRuleManifestV2, certificate: DesignResourceSymbolicNoninterferenceCertificateV2, projections: DesignResourceHandoffPreflightV2["rule_projections"], compilation: DesignResourceSymbolicCompilationSession): void;