write
fun write(output: Writer, label: String, maxBytes: Long = MAX_BYTES, render: (ModelCheckTextBudget.Text, Writer) -> Unit)
Measures a replayable renderer without retaining its output. Reduce Correction before Message, keeping the longest common prefix that fits. The renderer keeps identities, classifications and all rows intact.