I think that when they uplist, a new CUSIP number is issued, which means that all shares are converted to new shares with the new number. That means all short shares are indeed accounted for, and the naked ones have to be covered.