import type { MartinTone } from "./theme.js";
export type ProofStatus = "VERIFIED" | "NEEDS_REVIEW" | "STOPPED" | "FAILED" | "RUNNING" | "PENDING";
export interface StatusPresentation {
    readonly glyph: string;
    readonly label: string;
    readonly tone: MartinTone;
}
export declare function statusPresentation(status: ProofStatus): StatusPresentation;