Являются ли service workers частью спецификации HTML5?

Нет, Service Workers не являются частью спецификации HTML5. Это отдельная спецификация, разрабатываемая WHATWG, и они относятся к API веб-платформы, используемым для расширения функциональности веб-приложений. HTML5 описывает структуру и синтаксис HTML, а Service Workers предоставляют возможности для управления сетевыми запросами, кэширования и фоновой синхронизации.