What's the Sonoran Desert

So without sandbox: it doesn't apply. What is the best language to have high quality correctness oracles so that the user doesn't have to babysit the LLM and do lots of manual testing?