Read-only candidate verification with explicit discrete-judge and true-logprob modes.
Use bounded, read-only candidate verification, comparison, and progress scoring with explicit discrete-judge and true-logprob mode boundaries.
