A Code Judge That Declines to Guess Exposes How Little Model Verdicts Are Grounded · Polylog