Function remove_conn_subscriptions 

pub fn remove_conn_subscriptions(subs: &SubRegistry, conn: u64)

Drop every subscription held by a (now-closed) connection — called when a connection’s reader loop ends so pushes never target a dead socket.