where compilers use nondeterminism, they are always choosing between several
proven valid options. This is not due to any external tools. It's a contract between the compiler and the programmer.
Llms are choosing from the space of all possibilities, including "miscompilations"