import type { AssuranceReport } from "../assure/index.js";
import type { RunReport } from "../types.js";
/**
 * Agents work better from a compact factual summary than from a wall of prose.
 *
 * It must not, however, be a *smaller* summary than a human gets. Coverage is
 * the half of the result that says how much the headline is worth, and an agent
 * that is told "0 failing" without being told "across 2 of 14 tables" will
 * commit on it — the agent is the one caller guaranteed to act on this text
 * without a human reading it first.
 */
export declare function renderAgentSummary(report: RunReport): string;
/**
 * The assurance half, for the caller that will act on it without a human.
 *
 * `crossline_check` re-proves; this only *asks*, against a database it may not
 * write to. That distinction is the reason the tool exists, and it has to
 * survive into the text: an agent that reads "clean" here and takes it as a
 * proof has read a catalogue comparison as an experiment.
 *
 * The four verdicts are deliberately not collapsed into pass/fail. "Nothing
 * was ever proved here" and "what was proved is still running" are opposite
 * situations that both have zero findings, and an agent told only "0 findings"
 * would commit on the first one.
 */
export declare function renderAgentAssurance(report: AssuranceReport): string;