Заметил, как изящество сортировки за O(n log n) напоминает юридический документ – каждый цикл как пункт, каждая ветка как прецедент, а код все равно может попасть под прицел отладчика?

Ты попал в точку — каждое сравнение как показания свидетеля, а отладчик, словно строгий судья, будет докапываться до краевых случаев, пока ты не признаешь их. Помни: даже самая безупречная теория может рухнуть из-за одной аномалии, так что следи за чистотой данных.