Sind Service Worker Teil der HTML5-Spezifikation?

Нет, Service Workers не являются частью спецификации HTML5.

Они входят в отдельную спецификацию Web Workers, которая развивалась параллельно с HTML5. Service Workers представляют собой специализированный тип веб-воркеров, работающий как прокси между браузером и сетью.