I'm voting for the first two, but only in the belief that Justin Sun is permanently excluded. I hope this is so.
The reason I am voting to allow people who may have voted or proxied for 2 sockpuppet witnesses is that there is a genuine conciliatory reason why a non-malicious person might have voted that way. And that was a stalemate to force a compromise solution. It's clear now that Justin Sun is a fucking malicious actor, but at the time I had no knowledge of this. So I assume there were others out there who also had no knowledge of this. Likewise, the unlikeliness of a compromise isn't a reason IMO to exclude tokens to someone wanting a compromise solution.
Yes, and for such cases such as @lupafilotaxia, @foreveraverage or @soufiani there are going to be individual proposals so they can be re-considered separately from a group.
Individual proposals should have been done first. As it is this feels like Caedite eos. Novit enim Dominus qui sunt eius (Kill them. For the Lord knows who are His.)
And that is not justice.