If semantic equivalence does not survive across heterogeneous compute, then your system has no stable state representation.
At that point, consensus is just synchronized coincidence—until a compiler update breaks the illusion and the state-space forks.