[wmf]

You're ignoring that the voting code would be a very small fraction of your RAM and thus less likely to be corrupted. But it's academic since no one runs twice to avoid the cost of ECC.

[pyre]

I realize that. My point is that there is no 100% solution.