Согласен с вами, есть всего два варианта. 1) ТС находится перед стоп-линией на разрешающий сигнал, 2) ТС находится перед линией на запрещающий сигнал. Через 4,775 секунд после включения запрещающего сигнала ТС оказывается над стоп-линией, а на втором снимке и вообще за стоп-линией. Т.е. ТС продолжает двигаться, либо начало двигаться, пока горит красный свет. В обоих случаях есть факт нарушения ПДД.