Когда в Python берется срез массива (или списка) с начальным индексом, равным его длине, ошибки не возникает по следующим причинам:

Механизм работы срезов:

В Python срезы (slices) позволяют задавать подмножество элементов списка. Формат среза: arr[start:stop:step].
Если start равен длине массива, это означает, что начальный индекс указывает на первый элемент после последнего элемента массива.
В результате срез [len(arr):] начинается с позиции, которая равна длине массива, и продолжается до конца массива (то есть никуда).
Логика пустого среза:

Когда начальный индекс в срезе больше или равен длине массива, результатом будет пустой список.
В Python при попытке взять срез, начинающийся с индекса за пределами списка, всегда возвращается пустой список, а не возникает ошибка. Это связано с тем, что Python рассматривает срезы как безопасную операцию.
Понятие индексов и допустимых диапазонов:

Индексы в Python могут выходить за границы массива при работе со срезами. Для срезов допустимо, чтобы начальный или конечный индексы выходили за пределы допустимого диапазона индексов массива.
Например, срез arr[5:10] из массива длиной 3 вернет пустой список без ошибки.