import type { DesignResourceObservableRuleManifestV2, DesignResourceSymbolicHandoffTargetV2, DesignResourceSymbolicNoninterferenceCertificateV2 } from "./design-resource-symbolic-fact-types.js"; export declare function symbolicNoninterferenceCertificateScope(certificate: DesignResourceSymbolicNoninterferenceCertificateV2): Record; export declare function symbolicNoninterferenceCertificateScopeSha256(certificate: DesignResourceSymbolicNoninterferenceCertificateV2): string; export declare function symbolicNoninterferenceRuleScopeSha256(manifest: DesignResourceObservableRuleManifestV2, certificate: DesignResourceSymbolicNoninterferenceCertificateV2): string; export declare function symbolicNoninterferenceSourceManifestSnapshot(manifest: DesignResourceObservableRuleManifestV2): Record; export declare function symbolicNoninterferenceArtifactResourceRefs(manifest: DesignResourceObservableRuleManifestV2): Set; export declare function symbolicNoninterferenceProductionTargetSnapshot(manifest: DesignResourceObservableRuleManifestV2, target: DesignResourceSymbolicHandoffTargetV2): Record;