import type { HarnessName } from "../../knowledge/descriptor.js"; import { type Evidence, type Guarantee } from "../../knowledge/transcript/schema.js"; import type { Assessment, CoverageMap, Issue, Mutable, Phase, Requirement, ResultEnvelope, SourceEnvelope, TranscriptFailure } from "../../knowledge/transcript/wire.js"; export type TranscriptSelection = { readonly kind: "file"; readonly path: string; } | { readonly kind: "id"; readonly nativeId: string; }; export interface ReadTranscriptRequest { readonly nativeStoreRoot?: string; readonly acceptedLimits: readonly Guarantee[]; readonly selection: TranscriptSelection; readonly harness: HarnessName | null; readonly hcnVersion: string; readonly limit?: number | null; readonly since?: string | null; readonly workspace: string; } export declare function assessments(state: Assessment["state"], evidence?: Evidence): CoverageMap; export declare function failure(issue: Issue, phase: Phase, requirement: Requirement, message: string): TranscriptFailure; export declare function emptyTranscript(request: Omit & { readonly selection: TranscriptSelection | { readonly kind: "unknown"; }; }): { result: Mutable; source: Mutable; }; //# sourceMappingURL=envelopes.d.ts.map