ループ終了後にループインデックスを取得するとループ設定時に指定されたループ回数が返ってくる仕様だと思う

高速ループの実行中にインデックスとして取得する値はループ中の実行回数でゼロベースなんだけど

【常に実行】命令はループが終了後にインデックス値を取りに行ってるから、普通はそういう使い方しないのです
でも値を求められちゃった時に例外命令として処理せず設定されたループ回数を返すようにしてるのだと思う
ループ回数ゼロでループ回して常に実行でインデックス取るとゼロが返ってくるので、仕様だったら矛盾はしてない