Si si, chiaro che stiamo parlando di riutilizzo della variabile fuori dal ciclo, pratica abbastanza comune soprattutto nei vecchi linguaggi procedurali ma non sempre consigliabile.
Ad ogni modo quello che cercavo di dire è che affinché il ciclo si interrompa la condizione non deve essere soddisfatta. Quindi è normale che la variabile, al termine del ciclo, abbia un valore che non soddisfa la condizione. In questo caso tale valore è l'ultimo valore valido più lo step (implicito o esplicito).
Più tardi se ce la faccio do un'occhiata al tuo esempio.