import type { ReceiptIntegrityState } from "../contracts/index.js";
export interface MartinProofCardInput {
    loopId: string;
    objective: string;
    status: string;
    lifecycle: string;
    verifierStatus: string;
    costSpend: string | number;
    budget: string | number;
    remainingBudget?: string | number;
    overspendRatio?: string | number;
    attempts: string | number;
    rollbackStatus: string;
    haltReason: string;
    evidenceBoundaryNotes: string | readonly string[];
    verificationStepCount?: string | number;
    runMode?: string;
    runtime?: string;
    timelineEvents?: readonly string[];
    generatedAt: string;
    receiptIntegrityState?: ReceiptIntegrityState;
}
export interface MartinProofCardField {
    label: string;
    value: string;
}
export interface MartinProofCard {
    title: string;
    fields: readonly MartinProofCardField[];
    evidenceLine: string;
    generatedAt: string;
    completeEvidence: boolean;
    proofVerdict: "VERIFIED" | "HALTED" | "FAILED" | "EVIDENCE_BOUNDARY";
    taskLabel: string;
    timelineEvents: readonly string[];
}
export declare function buildMartinProofCard(input: MartinProofCardInput): MartinProofCard;
export declare function renderMartinProofCardMarkdown(card: MartinProofCard): string;
export declare function renderMartinProofCardSvg(card: MartinProofCard): string;