Здравствуйте, σ, Вы писали:

σ>Да вроде в std нельзя добавлять специализаций, не зависящих от program-defined type (https://timsong-cpp.github.io/cppwp/n4868/namespace.std#2)

Специализации определённых в std шаблонов добавлять можно. Нельзя добавлять свои новые имена.

Если явно не запрещено, программа может добавить специализацию шаблона для любого шаблона класса стандартной библиотеки в пространство имен std при условии, что (а) добавленное объявление зависит по крайней мере от одного определенного в программе типа и (б) специализация соответствует требованиям стандартной библиотеки для оригинальный шаблон .