import type { CompiledCheckV2, EvidenceCapabilityRecordV2 } from "./long-task-delivery-types.js";
import type { PlaywrightCase } from "./long-task-playwright-case-evidence.js";
export declare function evidenceRecordsForPlaywrightCases(check: CompiledCheckV2, cases: PlaywrightCase[]): EvidenceCapabilityRecordV2[];
export declare function semanticFactAttachmentName(proofRef: string): string;
export declare function designMethodAttachmentName(target: string, method: string, condition: string, kind: "record" | "observation"): string;
export declare function symbolicDesignMethodAttachmentName(target: string, method: string): string;
export declare function symbolicDesignCertificateAttachmentName(target: string): string;