Remark: Average, not pointwise, classical bound

A classical strategy can succeed with probability one on some input-query pairs. Equation (eq:classicalbound) concerns their fresh uniform average.

For statistical testing, the relevant conditional expectation is taken before the current run's fresh $X,J$, not after conditioning on their particular values.