I service worker fanno parte della specifica HTML5?

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

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