>AI code generation is not deterministic

You don't have to use AI code generation to be what is generating the code or you could require some kind of proof of equivalence to verify the code that was generated.