import type { AssuranceReport } from "../assure/index.js";
/**
 * What a founder sees after `crossline verify`.
 *
 * Two claims, kept visibly apart, because they are not the same strength. The
 * drift claim is the strong one — "the model you proved is the model running" —
 * and it is only available when there is a lock to compare against. The
 * face-value claim stands on its own and is much weaker: it says nothing is
 * catastrophically open, not that anybody is isolated.
 *
 * The last block is not decoration. Every run of this command ends by saying
 * what it did not establish, in the same words whether the news is good or bad,
 * because the failure mode here is not a missed hole — it is a reader who takes
 * a green line from a static read as the proof that only a dynamic run makes.
 */
export declare function renderAssurance(report: AssuranceReport): string;