import type { ProveResult, RatchetResult } from './core/types.js';
export declare const formatReport: ({ adopted, banked, findingsFile, identityFile, lowered, measurements, refusals, rewritten }: RatchetResult) => string;
export declare const formatProve: ({ counters, proofs, proven }: ProveResult) => string;