Hi Joy,
I think our newly developed failure to communicate is because we've arrived at my main result and what it means for physics: classical physics is mathematical incomplete under certain physical conditions.
I think you're trying state that the formulation you give in Ch6 (and everywhere else as well) is not DERIVABLE within my theory. I'm sure that is correct because the physical scenario is precisely the sort of scenario where mathematical incompleteness is found, but as a consequence I can't currently produce a proof that this is correct.
However, I'm equally sure that the formulations you give are STATEABLE within the domain of my theory. This gives our apparent communication failure: propositions that are STATEABLE within the domain of my theory that are not DERIVABLE within it. This is not a mathematical contradiction, but is just what mathematical incompleteness looks like. It was a shocker to mathematics in 1931, so it is perhaps not too surprising that it is a shocker to physics in 2012.
How can I be so sure that your formulations are within the domain of my theory? Because you reproduce QT results, and with the representational shift - derivable as necessary in meta-mathematical terms within the scope of my theory - I derive the QFT of the Standard Model (up to a representational colour issue). Specifically, the electroweak theory is derived EXACTLY and so all QT experimental results under electroweak QFT - pretty much all of them - are placed within the scope of my theory. This is currently dependent upon adding the experimental fact that individual particles have a wave property to the theory by hand - thus might appear to be a possible loop-hole in the theory. However, I find particles to essentially be in representations of S0, S3, S7 and waves in representations of S1, S3, S7, where the physical dynamics of the scenario leading to mathematical incompleteness conceptually looks as though it would combine S0 and S1 into the Hopf fibre-bundle and so give wave-particle duality. My theory works as though this is true, and it looks obviously true, but that isn't a derivation. I am this one result away from QFT being derived solely WITHIN my theory. As it is GR, my theory meets the conditons of local realism, even when QFT is derived. The representational shift gives the non-locality of identity of QT, but doesn't give non-locality of causation - it can't, it's within a relativistic theory.
The physical conditions giving mathematical incompleteness specifically include the physical conditions of ANY locally-realistic classical physics that attempts to account for ALL of the results of quantum theory. Specifically particle reactions, and the experimental results indicating vacuum polarisation, such as the Casimir effect. Vacuum polarisation is a virtual-radiation effect, which is specifically a relativistic effect, and not QT. ANY locally-realistic classical physics theory must be based upon Relativity, and to account for the Casimir effect etc. the theory MUST include virtual-radiation as well as particle reactions. These conditions alone are sufficient to guarantee that the theory will be mathematically incomplete (general case here). Adding terms of some imagined new physics won't make any difference when those terms are also constrained to be locally-realistic - this is by a corollary to Gödel's incompleteness theorem. My theory displays mathematical incompleteness precisely BECAUSE it is a locally-realistic classical physics theory that includes the physical conditions of QT. Every imaginable locally-realistic classical physics theory would be exactly the same, there's no way out of it.
When I saw your hidden variable work, I noted that it specifically only requires all states to be within L, and NOT actually derivable within L. The non-specificity of the hidden domain L is sufficient to allow the domain of a theory to be L. All the undecidable propositions that cannot be derived within my theory are nonetheless within the domain of the theory, and thus within the hidden domain L. So the fact that those features cannot be derived - such as the specific locally-realistic formulation you refer to - is actually irrelevant to the hidden variable framework - that's the beauty of it.
Our failure to communicate revolves around the fact that mathematical incompleteness is real in physics. But it is not the road-block it appears to be, just an irritating obstacle that you can go around. I find QT to just be a trick to get around mathematical incompleteness, and it's weirdness is what going around the obstacle looks like. But a further implication appears to be that the hidden variable framework is possibly the only other trick to achieve the same thing.
Best,
Michael