Bloco semântico
O que o verificador realmente faz
Ele compara a entrada com uma conta esperada. Se o número informado não respeita a regra de formação dos dígitos finais, a validação falha.
Isso não garante que o CPF exista em uma base oficial, mas garante que a estrutura numérica não foi montada de qualquer jeito.