ну здесь рассказано, что есть некий запас, то есть когда мы создаём в питоне пустой список, это значит, что для него уже выделена некая память, и несколько первых добавлений, удалений, чтобы то ни было будут за O(1) происходить. но рано или поздно дойдём до момента, когда память рядом вокруг списка занята чем-то другим. и тогда надо будет создавать новый массив
а может в питоне не делается сдвиг. удаляется первый элемент, а указателю на первый элемент присваевается ссылка на следующий. всё равно под капотом сишная арифметика указателей.