How does a real reduction in hash rate correspond to double spending? The only way I currently know that double spending would occur is if there is a chain split. (and even then, that technically isn't double spending. It's just... a shitcoin with the same name.)