Function format 

pub fn format(kind: Kind, id: &str, summary: &str) -> String

Format a reduction stub line: [sc-reduced <kind> <id>: <summary>].

summary must not contain ] or a newline; this is a formatting contract, not something recoverable at parse time, so it is asserted with debug_assert! (a caller that trips it has a bug, not bad input from a user).