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"