It absolutely has a correctness function.

That’s like saying linear regression produces plausible results. Which is true but derogatory.