import type { CompiledCheckV2, EvidenceCapabilityRecordV2 } from "./long-task-delivery-types.js";
type SemanticRecord = Extract<EvidenceCapabilityRecordV2, {
    capability: "semantic_fact";
}>;
export declare function validateSemanticFactEvidence(check: CompiledCheckV2, record: SemanticRecord, artifactHashes: Record<string, string>): string | null;
type SemanticFactExactComparisonMaterial = {
    fact_ref: string;
    proof_ref: string;
    fact_key?: string;
    fact_revision_digest?: string;
    obligation_key?: string;
    obligation_revision_digest?: string;
    target_ref: string;
    actual_value_sha256: string;
    expected_value_sha256: string;
    comparator: string;
    mode: "exact" | "tolerance";
    parameters_sha256: string;
    tolerance_sha256: string | null;
    mask_sha256: string | null;
};
export declare function semanticFactComparisonResultIdentity(value: SemanticFactExactComparisonMaterial): string;
export declare function validateDistinctSemanticFactEvidence(records: EvidenceCapabilityRecordV2[]): string | null;
export declare const typed_semantic_fact_runtime_evidence = "obligation_key+obligation_revision_digest->fact_key+fact_revision_digest+actual+comparison+verdict+oracle+environment";
export {};