Probably in the same ballpark with "correctness, verified through tests" written by an LLM.