Hi Joy,
You capture a fundamental truth with your first line of Ch 6: "No-go theorems in physics are often founded on unjustified, if tacit assumptions, and Bell's theorem is no exception." I've shown that Witten's no-go for Kaluza-Klein theories is another one, where the tacit assumption is that the universe is open: if the universe is closed, then chiral Electroweak physics just falls out of a KK-theory, complete with all the known fundamental particles with the correct charges and couplings - and ALL boson masses.
However, the really BIG tacit assumption of physics lies within the EPR "condition of completeness": that "every element of the physical reality must have a counterpart in the physical theory". This covers both:
1) configuration-space: the space of experimental measurements of physical configurations
2) physical-space: the space of the physical objects and object dynamics that gives the physical configurations subject to measurement in 1)
The tacit assumption of EPR is that the two are the same (configuration-space = physical-space), but it is easy to find experimental evidence that this is not the case, which is why I put it in my essay. Fire an electron beam - collection of objects - into a lump of graphite and you get a diffraction pattern. The idea that this wave property is just a normal classical physics wave through a collection of objects is killed by turning down the intensity to reveal that it is in fact due to one particle waving. In the classical physics of objects - i.e. physical-space - there is no mechanism to create this wave effect. So the configuration-space contains a wave property that the physical-space doesn't, proving that configuration-space != physical-space.
Now consider tackling this using a hidden variable tactic - a perfectly valid thing to do. The first thing to note is that the hidden variable framework is constructed within configuration-space: measurement of particle property (A), measurement of wave property (B), and supposition of a hidden domain of complete states (L) that determines which of these two properties is measured in an experiment. Now suppose a probability distribution for the hidden variable taken from the hidden domain (L) and evaluate the expectation value for measurement of the particle property as per Bell's eqn (2). What you have is basically the QT integral where the hidden variable is the wave-function. It is important to note that this is in configuration-space, and it is the tacit assumption of Maths=Reality that implies the wave-function is a feature of physical-space (as given by 2). This is a false assumption.
The classical physics shows that configuration-space != physical-space (e.g. electron diffraction), and this can be proven directly from the classical physics of physical-space directly: in Newtonian mechanics there-exists physical systems for which a 1-to-1 denotation of the physical objects and dynamics maps onto the terms and operations of Gödel's proof of mathematical incompleteness, where the cardinality of the sets of objects of different types and dynamic states gives the natural-numbers of the arithmetic proof. Being a 1-to-1 denotation of physical-space - exactly as Einstein wanted - means that the undecidable propositions could correspond to observable features, i.e. elements of configuration-space. The electron wave-property is an experimentally measured example of this: there-exist elements of configuration-space that are not elements of physical-space (as given by 2). This proves Einstein wrong in the tacit assumption of the EPR "condition of completeness".
Both theory and experiment reveal a 10-ton woolly mammoth standing in the corner of the room saying "can you see me yet?" It's been standing there since 1931 being assiduously ignored. On pointing this out, instead of the response being "oh look, a talking mammoth", the response has instead been "they're extinct, so it can't be there". This can only be due to the ideological - religious - belief that Maths=Reality. The same sort of ideological belief by mathematicians was seen in the financial markets, where reality also spectacularly showed that Maths!=Reality, but the response has again been total and utter denial. The financial system also matched the system conditions required for Gödel.
Your corrected formulation of the hidden variable framework for EPR is still within configuration-space, and it is the false tacit assumption of Maths=Reality which falsely implies that this is exactly as for physical-space. This is the underlying source of our disagreement: your results directly show that the Maths of QT!=Reality (the point EPR were making), but underlying this is the Full Monty of Maths!=Reality (the point they missed). Your proposed experiment would be a direct test of this, and in an open science such checking would be nice idea. But the open science of our minds and private conversations unfortunately doesn't exist in the social reality ...
Best,
Michael