Пункт 2.2.4 обещания / спецификации + гласит:

onFulfilled или onRejected не должны вызываться, пока стек контекста выполнения не содержит только код платформы.

Затем в примечаниях говорится, что:

Здесь «код платформы» означает код реализации, среды и обещания. На практике это требование гарантирует, что onFulfilled и onRejected выполняются асинхронно после поворота цикла событий, в котором затем вызывается, и со свежим стеком.

Намерение этого состоит в том, чтобы гарантировать, что, когда в цепочке есть большое количество функций onFulfilled, выполнение их не заставляет поток блокироваться?

Или что-то еще находится между строк, которые я не читаю?