For Loops в спецификации EcmaScript

Я пытался как можно глубже понять, как работает javascript под капотом, и одновременно пытался изучить спецификацию. Меня немного смущает описание ForLoopEvaluation

Согласно спецификации:

ForStatement : for ( LexicalDeclaration Expression_opt; Expression_opt ) Оператор

1. Пусть oldEnv будет running execution context's LexicalEnvironment.

2. Пусть loopEnv будет NewDeclarativeEnvironment(oldEnv).

3. Пусть isConst будет IsConstantDeclaration of LexicalDeclaration.

4. ПустьboundNames будет BoundNames из LexicalDeclaration.

5. Для каждого элемента dn изboundNames выполните

   а. Если isConst истинно, то я. Выполнять ! loopEnv.CreateImmutableBinding(dn, true).

   б. Еще, я. Выполнять ! loopEnv.CreateMutableBinding(dn, false).

6. Установите для LexicalEnvironment текущего контекста выполнения значение loopEnv.

7. Пусть forDcl будет завершением (вычислением лексического объявления).

8. Если forDcl является внезапным завершением, то

   а. Задайте для LexicalEnvironment текущего контекста выполнения значение oldEnv.

   б. Возвращаться ? для Dcl.

9. Если isConst ложно, пусть perIterationLets будетboundNames; в противном случае пусть perIterationLets будет новым пустым списком.

10. Если присутствует первое Выражение, пусть test будет первым Выражением; в противном случае пусть test будет пустым.

11. Если присутствует второе Выражение, пусть приращение будет вторым Выражением; в противном случае пусть приращение будет пустым.

12. Пусть bodyResult будет Completion(ForBodyEvaluation(test, increment, Statement, perIterationLets, labelSet)).

13. Задайте для LexicalEnvironment текущего контекста выполнения значение oldEnv.

14. Возвращаться ? телоРезультат.

Теперь, если мы посмотрим на ForBodyEvaluation

14.7.4.3 ForBodyEvaluation (test, increment, stmt, perIterationBindings, labelSet)

Абстрактная операция ForBodyEvaluation принимает аргументы test (узел синтаксического анализа выражения или пустой), increment (узел синтаксического анализа выражения или пустой), stmt (узел синтаксического анализа оператора), perIterationBindings (список строк) и labelSet (список строк). и возвращает либо нормальное завершение, содержащее значение языка ECMAScript, либо резкое завершение. При вызове он выполняет следующие действия:

1. Пусть V не определено.

2. Выполнять ? CreatePerIterationEnvironment(perIterationBindings).

3. Повторить,

   а. Если тест не пуст, то

   • Пусть testRef будет ? Оценка теста.
   • Пусть testValue будет ? ПолучитьЗначение(тестСсылка).
   • Если ToBoolean(testValue) ложно, вернуть V.

   б. Пусть результатом будет завершение (оценка stmt).

   в. Если LoopContinues(result, labelSet) ложно, вернуть ? UpdateEmpty(результат, V).

   д. Если result.[[Value]] не пусто, установите для V значение result.[[Value]].

   е. Выполнять ? CreatePerIterationEnvironment(perIterationBindings).

   ф. Если приращение не пусто, то я. Пусть incRef будет ? Оценка приращения. II. Выполнять ? ПолучитьЗначение(incRef).

Теперь, когда мы смотрим на CreatePerIterationEnvironment, он говорит следующее:

14.7.4.4 CreatePerIterationEnvironment ( perIterationBindings )

Абстрактная операция CreatePerIterationEnvironment принимает аргумент perIterationBindings (список строк) и возвращает либо обычное завершение, содержащее неиспользуемые, либо завершение броска. При вызове он выполняет следующие действия:

1. Если у perIterationBindings есть какие-либо элементы, то

   а. Пусть lastIterationEnv будет LexicalEnvironment текущего контекста выполнения.

   б. Пусть внешним будет lastIterationEnv.[[OuterEnv]].

   в. Утверждение: внешний не равен нулю.

   д. Пусть thisIterationEnv будет NewDeclarativeEnvironment(outer).

   е. Для каждого элемента bn perIterationBindings выполните

   • Выполнять ! thisIterationEnv.CreateMutableBinding(bn, false).
   • Пусть lastValue будет ? lastIterationEnv.GetBindingValue(bn, true).
   • Выполнять ! thisIterationEnv.InitializeBinding(bn, lastValue).

   ф. Задайте для LexicalEnvironment текущего контекста выполнения значение thisIterationEnv.

2. Возврат неиспользованного.

Я не понимаю, когда выполняется цикл for, поскольку функция не вызывается, новый контекст выполнения не создается. Почему здесь для обычного цикла for говорится, что если есть какие-либо perIterationBindings, то lastIterationEnvironment должен быть LexicalEnvironnment текущего контекста выполнения?

Я могу ошибаться, но связано ли это с возможным использованием оператора запятой, при котором используется функция получения? Это единственное объяснение, которое я могу придумать, оправдывающее использование термина контекст выполнения в контексте традиционного цикла for.