Walk through the ways you could implement the verificat...

The design space for verification ranges from low-cost, low-accuracy methods to high-cost, high-accuracy ones. No-context judgment is the cheapest but lacks an oracle. Retrieve-and-judge provides a genuine external check but incurs high latency. Non-parametric masked-probability offers a middle ground by reusing forward passes. The choice depends on where in the pipeline the check occurs and what the budget allows.