/**
 * Mapping between Reliability Kernel verification kinds and the durable
 * Long-Horizon evidence/authority model.
 *
 * This single table keeps the runtime evidence type, the ledger evidence type,
 * the evidence authority classification, and the required trusted capability in
 * agreement so that deterministic verification evidence is always authoritative
 * (never an agent claim) and always satisfies the criterion's requiredEvidence.
 */
import type { EvidenceAuthorityClassification, EvidenceCollectorType, EvidenceLedgerCapability, EvidenceRequirement } from "../long-horizon/index.js";
import type { VerificationKind } from "./types.js";
export interface LedgerEvidenceMapping {
    /** Ledger evidence `type` string (matches the ledger's authority derivation). */
    ledgerType: string;
    authority: EvidenceAuthorityClassification;
    capability: EvidenceLedgerCapability;
    collector: EvidenceCollectorType;
}
/**
 * Trusted evidence source ids must be unique per grant (one source id → one
 * grant). We derive a stable, authority-scoped source id for runtime evidence.
 */
export declare function runtimeSourceId(authority: EvidenceAuthorityClassification): string;
export declare const VERIFICATION_EVIDENCE_MAP: Record<VerificationKind, LedgerEvidenceMapping>;
/**
 * Derive the durable ledger `requiredEvidence` for a verification kind. This is
 * what makes a criterion satisfiable only by authoritative, matching evidence.
 */
export declare function evidenceRequirementForKind(kind: VerificationKind): EvidenceRequirement[];
//# sourceMappingURL=evidence-mapping.d.ts.map