Function summary 

pub fn summary(original_bytes: usize, normalized_bytes: usize) -> String

Format the honesty trailer’s summary text (SPEC.md TR-4: “normalized text must remain honest”): plain ASCII, one line, no ] — same constraints the reduction-stub formatter already enforces on every summary, so this is folded into the shared [sc-reduced output-normalized <id>: ...] grammar (see reduce.rs’s OutputNormalized candidate pass) rather than a bespoke sentinel — that keeps the existing leak-guard (A11), stub::parse (sessions show-reductions), and Kind::from dispatch all working for this kind with no special-casing.