import type { DesignResourceSymbolicCompilationSession } from "./design-resource-symbolic-compilation.js";
import type { DesignResource } from "./design-resource-handoff-file-primitives.js";
import type { DesignResourceHandoffPreflightV2, DesignResourceObservableRuleManifestV2, DesignResourceSymbolicNoninterferenceCertificateV2 } from "./design-resource-symbolic-fact-types.js";
import type { SymbolicManifestIndexes } from "./design-resource-symbolic-indexes.js";
export declare function validateTrustedSymbolicNoninterference(manifest: DesignResourceObservableRuleManifestV2, certificate: DesignResourceSymbolicNoninterferenceCertificateV2, projections: DesignResourceHandoffPreflightV2["rule_projections"], indexes: SymbolicManifestIndexes, compilation: DesignResourceSymbolicCompilationSession, target: DesignResourceHandoffPreflightV2["handoff"]["targets"][number], resources: ReadonlyMap<string, DesignResource>, contents: ReadonlyMap<string, Buffer>): void;