Joy, I've spent years now trying to understand why your critics' arithmetic differs from yours. And mine.
I concluded at some point that because they always assume the quantum probability measure, they deny the continuous function that completes the correlation measure. They never see it -- it never happens. Anything that might have happened is "nonlocal."
If one computes only on the basis of first order arithmetic, the probability is compelled to collapse to unity, as the wave function of a quantum observation is believed to collapse.
Introduce second order arithmetic (analysis), and the game changes -- there is no collapse, no nonlocality.
The error -- just as you always claimed -- is built right into the assumption of what space one is working in. Where first order arithmetic applies, a many-sided die gives one real result with n-results in linear superposition; where second-order arithmetic applies, there is no probability for a linear outcome. The order relation (the primitive binary relation) in second order arithmetic will fluctuate (0,1) (1,0) continuously -- if one is judging this fluctuation by first order axioms, one reasons that because the statement, 0 < 1 is true and 1 < 0 is false on the real positive line R, what is less than 0 (the "distinguished member") is - 1 and mathematically illegal.
In the analytical case, however, because we are not confined to the space of the real line (topological space S^0), the distinguished member is a complex double zero {0,0} such that a measurement function continuous from the initial condition, assuming the primitive binary relation and nondegeneracy, is either [0, +/- 1] or [+/- 1, 0] in which the closed interval makes the difference between judging results probabilistically on the open interval (- oo, + oo) and finding true deterministic correlation of left and right independent variables on parallelized topological spheres. S^0 is trivial; S^1 has the complex {0,0} but still allows the open interval. Only at S^3 do we encounter a closed manifold suitable for linear independence of the random variables; we know by complex function analysis that the only allowable results on the S^3 equator are + 1, - 1 and i (sqrt -1). We don't even need the complete physical space of S^7 to make the case for this subset of the parallelizable spheres, S^1, S^3, S^7 (for those unfamiliar with topology, the notation means Euclidean spheres of two, four and eight dimensions, accommodating division algebras from the algebraically closed plane to quaternion algebra (S^3) and octonion algebra (S^7).
Let the critics come forward with counterarguments, if they have them. They certainly weren't shy of expressing their opinions when it wasn't clear if the continuous function simulation of nonlinear input could be programmed digitally (thanks again to courageous Chantal Roth) -- what now? Nothing to say?
All best,
Tom