Документация не гарантирует этого. Есть ли другое место, где оно задокументировано?
Я предполагаю, что он может быть стабильным, поскольку метод сортировки в списках гарантированно стабилен (Примечания 9-й пункт: "Начиная с Python 2.3, метод sort() гарантированно стабилен" ), и отсортированный функционально схож. Тем не менее, я не могу найти какой-либо окончательный источник, который так говорит.
Цель: мне нужно сортировать на основе первичного ключа, а также вторичного ключа в случаях, когда первичный ключ равен в обеих записях. Если sorted() гарантированно стабилен, я могу сортировать по второстепенному ключу, а затем сортировать по первому ключу и получать нужный мне результат.
PS: Чтобы избежать путаницы, я использую стабильное значение в смысле "сортировка стабильна, если она не позволяет изменить относительный порядок элементов, сравнивающих одинаковые".