Přesně tak. Nikomu nic nebrání provozovat dnes cokoli na přesně zdokumentovaném 80386, implementovat program dvakrát dvěma různými týmy, každý výsledek porovnávat komparátorem a pokud nebudou výsledky sedět, všechno zastavit. Akorát to uplatníte možná někde při řízení jaderné elektrárny, ale jinde moc ne. Protože jinde to tak nikdo nechce a nezaplatí.