Validação
As provas de correção do sistema, executadas no seu navegador sobre o dado que está em produção. Não são testes gravados: cada número abaixo foi calculado agora, nos 5570 municípios, e pode ser reconferido recarregando a página.
Bateria de verificação
Por que esta página existe
A afirmação central do projeto é que a classificação por quebras naturais é o ótimo global exato, obtido em O(k·n·log n) em vez de O(k·n²). Isso é fácil de escrever e difícil de verificar — a versão rápida poderia estar devolvendo um ótimo local sem que nada aparecesse no mapa. Por isso as duas implementações convivem no código: a quadrática não serve ao aplicativo, serve para provar que a rápida está certa, e a prova roda aqui, no dado real, em vez de ficar guardada numa suíte que ninguém executa.
O mesmo vale para o resto. A identidade entre o I de Moran global e a média dos locais denuncia erro de centragem ou de normalização dos pesos — o tipo de defeito que produz um mapa plausível e errado. A conferência das somas municipais contra os totais publicados pelo IBGE denuncia uma unidade federativa faltando na resposta. E a separação de luminosidade da escala é o que garante que faixas vizinhas sejam distinguíveis, o que nenhum teste de lógica captura.