import type { GoalTerminalReceipt } from "../core/goal-bound.js";
/** Cosmetic headings only; no acceptance or execution state is inferred. */
export declare function decoratePreviewHeadings(text: string): string;
/** Only a host-verified current receipt may supply a missing success heading. */
export declare function receiptBoundTerminalText(text: string, receipt: GoalTerminalReceipt | undefined): string;