Function reset_and_refresh_badge 

async fn reset_and_refresh_badge(
    services: &Services,
    user_id: &UserId,
    room_id: &RoomId,
    thread: &ReceiptThread,
)

Clears the receipt’s notification counts and refreshes the push badge.

The refresh follows every advance because the gateway can hold a stale badge while the stored count is already zero; only a delivery reconciles it.