Fui ver aqui e realmente é da forma que você descreveu.Na verdade, pela Anatel, a portaria é clara sobre cobranca: havendo disponibilidade, ipv4 dinâmico não oneroso ou alternativamente ipv4 fixo de forma onerosa. Ou seja, a normativa permite a cobrança de um ipv4 fixo, mas não do dinâmico.
Mas como eu também disse, tem muitos provedores que não tem disponibilidade de IPv4 fixo nem se pagar. Os poucos PPPs que ainda fornecem IPv4 dinâmico sem custo são aqueles que existem há muitos anos (por exemplo, PPPs que iniciaram como provedores via radio ou que foram provedores de dial-up lá atras), que receberam blocos maiores de IPv4 e que ainda tem poucos clientes.
Dos PPPs que conheço, o único que sei que retira do CGNAT sem custo é a Predialnet, pelos relatos aqui no Adrenaline. E pelo jeito é como na Claro: reiniciou o roteador, muda o IP, mas continua público.
Aqui em Fortaleza, os provedores que disponibilizam IP público são apenas na modalidade de IP fixo. Se for dinâmico, é sempre CGNAT.
A Mob Telecom começou por aqui na década de 1990 ainda com internet discada, mas não foge do que citei acima.