https://drafts.csswg.org/css-scoping/#scoping-markup names the scoped attribute on HTML’s <style> element as example for scoping markup and references the WHATWG HTML spec, but the attribute has been removed from HTML in both WHATWG’s and W3C’s version.
whatwg/html#552
w3c/html#231
On a side note, is there hope that the very useful @scope CSS rule will be implemented by browsers or is scoping completely dead?