Tom,
Its great to see your essay getting attention of serious and informed people, and free of those whom like to dance on the bar and start fights. That's probably because your approach of possible vs. probable is presented with math results that many people don't know enough about what they come from. I sure can't contribute much! I do have more a curio than a question that might be pertenent...
Steven Sax provided an e-address for a thesis on laser experiments with Rubidium that I've waded into and think you would find interesting, and from which he launches his discourse on decidability. Here 'tis; http://www.bgu.ac.il/atomchip/Theses/Amir_Waxman_MSc_2007.pdf
Its QM, of course, and uses the Bloch Sphere as the spin co-ordinate system. I realized that in their protocols what they specify as 'free precession' is in fact 'freely gimballed', in that the axis of precession intersects the origin at intersection of the orthogonals. To be 'free precession', the antipodal points of the axis of precession must be free to wander like the magnetic poles of the earth, the p-axis does not necessarily intersect the orthogonal. Intuitively this must fundamentally alter the landscape of co-ordinate pairs. And what seems to be already decided in QM is symmetric precession. Would that not impose an undecidable condition?
I don't get into coin tossing, I pinch pennies like to bring a tear to Lincoln's eye. So maybe this niave observation is a standard issue. Your comment would be instructive, at your leisure, I'm just now off on errands.
All the best, as always. jrc