php/src/CepNotFoundException.php, branch mainPHP client for the public CEP API
http://git.cep.is/php/atom?h=main2026-07-27T23:31:30ZCarry the municipality of a not-found CEP on the exception2026-07-27T23:31:30ZMurilo Ijancmurilo@ijanc.org2026-07-27T23:31:30Zurn:sha1:67276c6444a70b61030ab3ee52b84dc5014af0e8
The API now sends an optional faixa block on the 404 of GET /{cep}, naming
the municipality the CEP would have belonged to. That failing CEP is rarely
random: it is usually someone who knows the city and guessed the number,
most often the -000 that 957 municipalities never received. Knowing the
lookup failed "in Areal/RJ" is the difference between a message a user can
act on and a bare "CEP not found".
It stays an error. Faixa hangs off CepNotFoundException, never off Address,
and parsing is deliberately forgiving: a missing, empty or malformed block
yields null rather than turning a clean not-found into a parse failure.
Its cep_ini/cep_fim are the CEPs that exist, not the bounds the Correios
publish, and the interval between them is sparse -- hence ceps, and hence
the docblocks insisting the pair is not a list of valid CEPs.
Initial import2026-07-26T17:58:55ZMurilo Ijancmurilo@ijanc.org2026-07-26T17:58:55Zurn:sha1:64764fb9fac0227f8e0443e7c7519d73aec275b9