bhobba said:
Extraordinary claims require extraordinary evidence (I wish I said it - but it was good old Issac Asimov). One experiment that has been heavily criticized here is not extraordinary evidence.
On the other hand, one good experiment is worth a thousand theories. (Don't remember who said this.)
You are right, there are lot of papers where Lorentz transformations are derived with full mathematical rigor. Here are a couple examples:
A. R. Lee, T. M. Kalotas, Lorentz transformations from the first postulate, Am. J. Phys., 43 (1975), 434.
D. A. Sardelis, Unified derivation of the Galileo and the Lorentz transformations, Eur. J. Phys. 3 (1982), 96.
But you may notice that all these derivations share one common feature: they assume from the beginning that the desired transformations are universal, i.e., they apply not to specific physical events, but to abstract space-time points. So, in fact it is supposed that if two events (perhaps of different physical nature) occupy the same space-time point, then they will remain coincident in space and time for all observers. I could find a few textbooks where this idea is mentioned explicitly:
This is a "principle of the invariance of coincidences". When one observer says two events coincide in space and
time, so will all other observers. D. Mermin "Space and time in special relativity" (1968).
The sole assumption we make is that the conception of the 'simultaneity (time coincidence) of two events occurring at the same place' (viz. the reading of the clock and the beginning of the event) has an absolutely definite meaning. We may make the assumption, although we cannot define the conception or express its content more clearly; it belongs to those ultimate data, which become directly known to us as an experience of our consciousness. M. Schlick "Space and time in contemporary physics" (1963).
But most of the time this "principle" is deemed so obvious as not even deserving a mention. However, I think this principle is just as important for the foundations of special relativity as the two Einstein's postulates. So, it deserves a rigorous scrutiny both theoretically and experimentally.
Eugene.