Comment by ChicagoDave

If you build guardrails on what is generated, verification is done at the same time as generation.