import type { DesignResource } from "./design-resource-handoff-file-primitives.js";
import type { DesignResourceObservableRuleManifestV2, DesignResourceSymbolicNoninterferenceCertificateV2, DesignResourceSymbolicNoninterferenceProofMethodV2 } from "./design-resource-symbolic-fact-types.js";
import { type DerivedCurrentSourceNoninterferenceEvidenceV2 } from "./design-resource-symbolic-source-ir-evidence.js";
import type { DesignResourceSymbolicSourceIrCertificateScopeV1 } from "./design-resource-symbolic-source-ir-types.js";
export declare function deriveCurrentSourceScopeEvidence({ manifest, certificate, method, resource, source, sourceResourceRef, scope, certificateScopeSha256, }: {
    manifest: DesignResourceObservableRuleManifestV2;
    certificate: DesignResourceSymbolicNoninterferenceCertificateV2;
    method: DesignResourceSymbolicNoninterferenceProofMethodV2;
    resource: DesignResource;
    source: string;
    sourceResourceRef: string;
    scope: DesignResourceSymbolicSourceIrCertificateScopeV1;
    certificateScopeSha256: string;
}): DerivedCurrentSourceNoninterferenceEvidenceV2;