Earlier quoted context omitted.
> but that would destroy the network and destroy his value that he sunk into the network Isn’t the whole point that by that time he would have withdrawn from the network so he would sink it without losing anything himself.
But...if you no longer have value on the network, doesn't that mean you no longer have enough stake to control the network?
In PoW miners risk going bankrupt overnight for egregious behaviour like that.
I'd like to see how one defines "slashing" programmatically that is impartial, works algorithmically, and does not have edge cases that can lead to catastrophic failures without handwavy assumptions that every single PoS network has today.