Hola Ricardo!
Efectivamente todo lo que dices es correcto. La reducción no la realizamos para que quede clara la sección de SubnetID y así evitar confusiones con la parte que pertenece a la interface ID.
En realidad si tu configuras 2001:0DB8:ABCD:0000:0000:0000:0000:0001/64 o 2001:0DB8:ABCD:0000::1/64 o esta otra 2001:0DB8:ABCD::1/64… las 3 direcciones IPv6 son la misma dirección. Tú puedes elegir trabajar con un resumen parcial, con un resumen total o sin resumen, NO es obligatorio que trabajes con una forma determinada. De todas formas si trabajas con una dirección IP con un resumen «parcial» o «sin resumen», entonces el sistema operativo automáticamente va reducir el tamaño de la dirección IPv6 donde sea posible.
Espero que ahora quede clara la duda!
Atento a tus comentarios.
Saludos cordiales