humans are probably the least cheap thing you can have in this context

Yea, but they'll do the job. What else plausibly could? ...an LLM? Then you're back at unreliable computation.