Tom said "the importance to science, of an experiment being independent of the mathematical model to which it purports to correspond".
Exactly. This experiment is independent of the mathematical models which it is supposed to be testing. A multitude of different models. Quantum theory, Bell LHV, Christian LHV, Peter Jackson spinning coloured cards:
Alice and Bob are physics students. They are in different classrooms and in each classroom there is a black box, called "measuring device A" and "measuring device B" respectively. These two boxes are connected to another black box in another classroom, called "source", through some kind of cables, tunnels, or whatever, so that all three black boxes have means to share any information they like. Alice and Bob's boxes each have two buttons, and two lights. The buttons can be pressed, the lights may or may not flash. The communication channels can be switched on and off.
Alice's buttons are labelled "0" and "90". Bob's are labelled "45" and "135". The lights on the boxes are red and green.
Initially the communication channels are open.
The following is now repeated 10 000 times:
Step 1. The connections are severed.
Step 2. Alice presses the button marked "0" or the button marked "90"; Bob presses the button marked "45" or the button marked "135". After Alice and Bob have each pressed a button, a red or a green light flashes on their box. They record their input and their output.
Step 3. The connections between the three black boxes are restored.
Assume that in each of the 10 000 runs or trials, Alice and Bob each choose their button completely at random. Imagine that we get to see the following statistics, each of course based on a disjoint subset of about 2 500 runs:
Prob(lights flash same colour | 0, 45) = ?
Prob(lights flash same colour | 0, 135) = ?
Prob(lights flash same colour | 90, 45) = ?
Prob(lights flash same colour | 90, 135) = ?