Primeiramente: adorei o pacote 🤩, obrigado por ter feito e por manter ele atualizado.
O prefixo mínimo de SP estava 010, que é 8 (já que 0 é prefixo de octal e 10 em octal é 8). Por conta disso, CEPs como "00801-000" eram dados como válidos indevidamente.
Primeiramente: adorei o pacote 🤩, obrigado por ter feito e por manter ele atualizado.
O prefixo mínimo de SP estava 010, que é 8 (já que 0 é prefixo de octal e 10 em octal é 8). Por conta disso, CEPs como "00801-000" eram dados como válidos indevidamente.
(código acima https://go.dev/play/p/2ehi9wo0H_T)
A correção consiste em usar 10 ao invés de 010. Também adicionei um teste validar para isso.