Function render_verify_result 

pub fn render_verify_result(
    command: &str,
    exit_code: i32,
    output: &str,
    max_tail: usize,
) -> String

Render one verify command’s result block, ending with the sentinel line.

output is the combined stdout+stderr; only its last max_tail bytes are shown (char-boundary safe), with a header noting how much was elided.