Цикл сортировки в визуализаторе. Как элементы a[3] и a[4] поменялись местами на интерации a[3] ?

Смотри внимательно на текущую итерацию j - она 4-ая по счету, но т.к. нумерация с нуля начинается, то j = 3.
Там на скрине я так понял, что зелёной стрелкой указана только что выполненная строка кода, а красная сейчас ожидает выполнения? Если так, то все сходится
a[3] = 96
a[3+1] = 67
96 > 67: True
96 и 67 меняются местами, что и отображено справа