В a[-1:0:-1] START тоже меньше STOP, а STEP отрицательный.
В срезах START и STOP ведут себя не совсем так, как в диапазонах (range). В срезах это позиции элементов. -1 означает последний элемент последовательности. Соответственно, перед тем, как начинать формировать перечень элементов среза, к отрицательным индексам добавляется дли на последовательности.
То есть, a[-1:0:-1] означает в точности то же самое, что и a[len(a)-1:0:-1]
