.sort保证终止吗？

Question

我见过人们 ^[1] 建议使用

function choose(arr, n){
    if(n > arr.length)    throw "Invalid";
    return arr.sort(() => 0.5 - Math.random()).slice(0, n);
}

从列表中随机选择 n 元素。但是，根据排序算法的实现，由于比较函数的长度不一致，它可能不会终止。

我的问题是规范保证终止，即效率除外，上述功能是否可以安全使用。 §22.1.3.25似乎没有提供任何关于它的信息 ^[2] 。