import { Buffer } from "node:buffer";
import type { DesignResource } from "./design-resource-handoff-file-primitives.js";
import type { DesignResourceObservableRuleManifestV2, DesignResourceSymbolicHandoffTargetV2, DesignResourceSymbolicNoninterferenceCertificateV2, DesignResourceSymbolicNoninterferenceProofMethodV2 } from "./design-resource-symbolic-fact-types.js";
import { type DerivedCurrentSourceNoninterferenceEvidenceV2 } from "./design-resource-symbolic-source-ir-evidence.js";
export type { DerivedCurrentSourceNoninterferenceEvidenceV2 } from "./design-resource-symbolic-source-ir-evidence.js";
export declare function deriveCurrentSourceNoninterferenceEvidence({ manifest, certificate, method, target, resources, contents, }: {
    manifest: DesignResourceObservableRuleManifestV2;
    certificate: DesignResourceSymbolicNoninterferenceCertificateV2;
    method: DesignResourceSymbolicNoninterferenceProofMethodV2;
    target: DesignResourceSymbolicHandoffTargetV2;
    resources: ReadonlyMap<string, DesignResource>;
    contents: ReadonlyMap<string, Buffer>;
}): DerivedCurrentSourceNoninterferenceEvidenceV2;