sort verification

정렬 로그는 네 가지 실수를 잡는 도구다

결과 배열만 보면 우연히 맞을 수 있다. pass마다 “확정된 구간”을 남겨야 한다.

실수로그 증거수정 기준
비교 방향 반전pass마다 큰 값이 앞쪽으로 이동오름차순이면 작은 값이 앞에 남아야 함
범위 한 칸 초과이미 확정된 구간을 다시 비교확정 suffix/prefix는 다음 pass에서 제외
swap 누락minIndex는 바뀌지만 배열이 그대로선택이 끝난 뒤 한 번만 swap
동점 불안정같은 key의 원래 순서가 뒤집힘안정성이 필요하면 동점 비교 금지
핵심: “정렬됨”보다 “어느 구간이 확정됐는가”가 디버깅 증거다.