It is great that we have left Bell and CHSH and all that behind us, and are focussed on a simple experiment, whose observed correlations E(a, b) will either match to Joy's predictions rho(a, b) = - cos(a . b), or they won't. And everything will be decided by just one correlation.
I would like to add a little bit of precision, for the benefit of the adjudicators and with the aim of total transparency
Recall that cos(45 degrees) = sqrt(2) / 2 = 0.7071...
So to be more precise, Joy Christian's four targets are
E(0, 45) = - 0.7071..., E(0, 135) = 0.7071..., E(90, 45) = - 0.7071..., E(90, 135) = - 0.7071....
I bet that at least one will be missed by an amount 0.2 (= 1/5) or more.
I don't mind how large N will be.
As a matter of interest, will the two files contain exactly equal and opposite directions u_k and - u_k or only approximately equal and opposite directions? In the former case, just one file of N directions is enough. The second file contains the set of exactly opposite directions. Add 180 degrees to the longitude (azimuthal angle) theta, change the sign of the co-latitude (zenith angle, polar angle) phi.
I use mathematician's notation. I read on wikipedia that physicists tend to use theta for the zenith angle, phi for the azimuthal angle. We have to be agreed on what is in the files (azimuth and zenith, or zenith and azimuth).
It's important that everything is completely clear and agreed by the two bettors and the three adjudicators, and that everything is also totally clear to all interested observers.