You don't trust the code coming out of the probabilistic machine. You build a validation cage around it with hard interfaces and you also review the output.