Я недавно конкретно спросил у этого грамотея и заучки Munin'а - есть опыт ?На что мне дали не менее чёткий ответ - нет.
Для вас всё просто. А если думать, а не махать топором, как вы, то становятся видны нюансы. Опыта для лоренцевского сокращения длины - нет. Но есть множество других опытов, целая система, которые позволяют быть уверенными в том, что само по себе лоренцевское сокращение длины - есть.
Это подобно разнице между Магелланом и Гагариным. Магеллан показал, что Земля круглая, только косвенно. Но этой косвенности хватило, чтобы можно было нанести карту на глобус. Непосредственно шарик увидел только Гагарин через четыре столетия. Но на промежутке между этими двумя свидетельствами проблемы о шарообразности Земли не стояло.