Os mapas do IBGE infelizmente são muito grosseiros, o melhor que oferecem é escala 1:250.000.
Na comunidade OpenStreetBrasil (OSM-Brasil) estamos buscando solucionar um problema antigo das prefeituras, escolas, universidades e quem mais precisar de mapa público oficial em formato simples e aberto (GeoJSON ao invés do pesado e questionável ESRI-shape) e com maior resolução que o IBGE.
São os mapas que vemos quando navegamos no site OSM.ORG … Por exemplo o mapa OSM de Campinas/SP está aqui, mas, tal como na Wikipedia, não há garantia de que esse é o mapa homologado da Prefeitura. Imagine o limite de município usada na cobrança de IPTU por Campinas em 2018… Não existe mais online, mas existe no repositório git que estamos mantendo das versões estáveis.
O “mapa estável”, como também chamamos, é a versão aprovada pela comunidade e então congelada para usos mais sérios. Daí o nome inglês OSM-Stable Brasil.
O mapa da ilustração está em SP/Campinas, no repositório git com todos. O download zipado de todos ps ~5,5mil GeoJSONs dá 4 Mb.
Do ponto de vista jurídico comprovamos a origem do mapa, outra coisa importante para as prefeituras… Por exemplo esse de 2018 de Campinas tem sua origem em detalhada nesta ficha catalográfica, com hash SHA256d reconhecido por cartórios brasileiros.
Também são mantidos estáveis os dados consolidados de códigos IBGE de cidade amarrados com DDD, CEP, código Wikidata, nome LEX, etc. em GitHub - datasets-br/city-codes: Brazilian city names and official codes, IBGE, LexML and others
Gostaria de ajudar?
Os projetos State-codes e City-codes estão sendo atualizados a cada ~6 meses desde 2017 (!), mas preciso “passar a bola” para alguém. É plug-and-play, só rodar no terminal e conferir se as diferenças fazem sentido, são realmente atualizações. Ele busca dados do IBGE, Wikidata e OSM, e checa consistência.
O projeto OSM-Stable está em construção bem lento, precisa de mais gente
(não precisa ser programador/a PostGIS basta disposição para testar, navegar ou discutir).