Гарантируется ли переполнение битового поля без знака циклическим переносом?

Оба [expr.pos]/1 и [expr.ass]/6 согласны с тем, что целочисленное переполнение битового поля (со знаком или без знака) определяется реализацией.

[expr.pos]/1

[...] Если операндом является битовое поле, которое не может представлять увеличенное значение, результирующее значение битового поля равно от реализации.

[expr.ass]/6

Когда левый операнд оператора присваивания является битовым полем, которое не может представлять значение выражения, результирующее значение битового поля является реализацией -определенной.

Я исправил страницу cppreference. Спасибо, что заметили.