Comment by CuriouslyC

probably true. I think thing doing the heavy lifting is an adversarial loop on the generated code to red team it repeatedly before merge.