Вот именно - ОПЫТ, эксперимент. А Эйнштейн вслед за Пуанкаре подменил идею экспериментальной невозможности обнаружения абсолютного инерциального движения Галилея  условием инвариантности мат. уравнений относительно преобразований координат, еще академик Фок это заметил.
   Поэтому после декларации физических постулатов, начиная с вывода преобразований Лоренца СТО превращается в чисто математическую спекуляцию, имитационную математическую модель физических явлений.
   Да, конечно, такая модель полезна пока мы  еще не исследовали причинно-следственные связи в Природе.
Так было  с системой Птолемея. Она была полезна для практики. Однако открытие закона всемирного тяготения дало понимание причины именно вращения Земли вокруг Солнца и справедливости теории Коперника.
   Теория относительности дает хорошее приближение к реальности как в свое время и система Птолемея, но связки между отдельными результатами экспериментов осуществляются в ней не с помощью попыток вскрыть причинно-следственные связи в природе, а с помощью различных математических приемов:  преобразований координат,  искривлений чисто математических пространств, введения математических инвариантов (это удобно для математиков), калибровок и т.п., не имеющих никакого физического содержания.
   Никаких уравнений в природе не существует,  физическому явлению можно сопоставить лишь отдельные решения уравнений, причем часть из них может не иметь физического смысла. Поэтому неизменность формы уравнения никакого физического содержания не имеет.