мог найти однозначного ответа на этот вопрос.

Я полагаю, что большинство реализаций используют сортировку слиянием, которая является стабильной, но является ли стабильность требованием или побочным эффектом?