La especificación WHATWG define los pasos del algoritmo que describen cómo se procesa el bucle de eventos. Sin embargo, no me resulta fácil descubrir los lugares en la especificación cuando se ejecutan estos pasos. Para decirlo en otras palabras, ¿cuándo, específicamente, se ejecuta el bucle de eventos?

De los documentos de Internet y las respuestas de SO, sé que debería suceder justo después de que finalice el script JS que se está ejecutando actualmente, pero estoy un poco confundido por estas palabras de la especificación:

Un bucle de eventos debe ejecutar continuamente los siguientes pasos mientras exista

¿Cómo se puede relacionar la noción de ejecución continua del bucle de eventos con el hecho de que ninguna tarea puede ejecutarse durante el tiempo en que se ejecuta el script de "alto nivel" (que está dentro de <script> )?

¿Significa que este script en sí mismo es una tarea programada en el bucle de eventos? Aún así, no puedo encontrar probar en la especificación.