Function push_jid_to_string 

pub fn push_jid_to_string(
    user: &str,
    server: Server,
    agent: u8,
    device: u16,
    buf: &mut String,
)

Write the JID display representation directly into a String, bypassing fmt::Display and dyn Write dispatch entirely.