lua/cepis-0.1.0-1.rockspec, branch v0.2.0Lua client for the public CEP API
http://git.cep.is/lua/atom?h=v0.2.02026-07-27T23:33:25ZCarry the municipality of a missing CEP on not_found2026-07-27T23:33:25ZMurilo Ijancmurilo@ijanc.org2026-07-27T23:33:25Zurn:sha1:58dbe934a90c1eda8e76cd218a413f01a4d9b11d
A CEP that fails is rarely a random number: it is someone who knows the
city and guessed the digits, and the classic guess is the -000 that 957
municipalities never received. The API now answers that 404 with an
optional faixa block naming where the CEP would have been, so a caller
can turn "CEP does not exist" into something the user can act on.
It hangs off the error, never off an address: the lookup still failed.
Parsing gives up quietly at every step — no block, a block that is not
an object, one without a municipality to name — because a broken piece
of context must not turn a clean not-found into a parse failure.
cep_ini and cep_fim are the CEPs that exist, not the range the Correios
publish, and the interval between them is sparse; ceps is what keeps the
pair from being read as a list of valid CEPs.
Initial import2026-07-26T15:42:08ZMurilo Ijancmurilo@ijanc.org2026-07-26T15:42:08Zurn:sha1:7fd555fcaf4304cb0dff3e8f5661565c3618299e