>1) 100% open hardware design so you can verify by yourself that it is secure
Nice in theory.
Can you personally verify all hardware including chips including all firmware all by yourself?
And if so, how many people can do so?
Why should I trust you in this regard?
>4) All OS & App software must be written in a safe language.
Implying such a safe language can not produce any security issues.
When there are updates, you would have to check every single source code modification by yourself.
No one is capable of doing that for all open source projects.
And even when you are capable of doing so, you may also simply miss security issues.
C/C++ are both garbage languages and they should be replaced with something that is actually properly designed. But implying that it would be possible to verify everything yourself is insane and not based in reality and that is a huge problem.
That's why I'm against stuff like election computers, because normal people can not check it, and even experts can not check everything. It doesn't matter if its all open source or not. But normal people can check paper + pens.
>The above gets you a machine you can be confident cannot be compromised.
Nonsense.
>This ends up being pretty easy with a safe language as noted above.
Software programming is very difficult.
If it was possible to make it that easy, someone would have already done so.