[tz] Timezone for Brazil

[Guy Harris]

On Oct 8, 2023, at 9:56 AM, Fabrício Rennó via tz <tz at iana.org> wrote:

>  Brazil has officially 4 time zones.
> Source: http://www.horalegalbrasil.mct.on.br/HoraLegalBrasileira.php
>  Expected listed results:
> - America/Brazil/Noronha(GMT-02:00)
> - America/Brazil/Brasilia(GMT-03:00)
> - America/Brazil/Amazonas(GMT-04:00)
> - America/Brazil/Acre(GMT-05:00)

As

	https://data.iana.org/time-zones/tz-link.html

states:

	Timezones are typically identified by continent or ocean and then by the name of the largest city within the region containing the clocks.

Thus, the IANA database timezones in Brazil, just like time zones in the United States and Canada and Mexico and Germany and India and Nigeria and... do not include the name of the country, and almost always contain the name of a city, not the name of a larger region.

Furthermore, IANA database timezones don't just correspond to regions that all currently share an offset from UTC/GMT; they handle not only the current official offset from UTC/GMT, they also handle rules from switching between standard time and daylight saving/summer/etc. time, and even handle changes to the *official standard time offset from UTC/GMT* (which sometimes *does* happen).

In addition, there may be IANA database timezones that do not correspond to *current* timezones, but that differed from other regions, either in their standard offset from UTC?GMT or in their time-shifting rules, at some point between 1970 and now.

Therefore, the IANA database timezones for Brazil are, with identifications taken from comments in the database source (I'm guessing the two-capital-letter codes are codes for states:

	America/Noronha	- Fernando de Noronha (the comments say "administratively part of PE")

	America/Belem - Amapá (AP), east Pará (PA)

	America/Santarem - west Pará

	America/Fortaleza - Maranhão (MA), Piauí (PI), Ceará (CE), Rio Grande do Norte (RN), Paraíba (PB)

	America/Recife - Pernambuco (PE) (except Atlantic islands)

	America/Araguaina - Tocantins (TO)

	America/Maceio - Alagoas (AL), Sergipe (SE)

	America/Bahia - Bahia (BA) (the comments say "There are too many Salvadors elsewhere, so use America/Bahia instead of America/Salvador.")

	America/Sao_Paulo - Goiás (GO), Distrito Federal (DF), Minas Gerais (MG), Espírito Santo (ES), Rio de Janeiro (RJ), São Paulo (SP), Paraná (PR), Santa Catarina (SC), Rio Grande do Sul (RS)

	America/Campo_Grande - Mato Grosso do Sul (MS)

	America/Cuiaba - Mato Grosso (MT)

	America/Porto_Velho - Rondônia (RO)

	America/Boa_Vista - Roraima (RR)

	America/Manaus - east Amazonas (AM): Boca do Acre, Jutaí, Manaus, Floriano Peixoto (the comments say "The great circle line from Tabatinga to Porto Acre divides east from west Amazonas.")

	America/Eirunepe - west Amazonas (AM): Atalaia do Norte, Boca do Maoco, Benjamin Constant, Eirunepé, Envira, Ipixuna

	America/Rio_Branco - Acre (AC)

So:

	1) more than you list;

	2) no "/Brazil" in the names.

Results, on my machine, for 2018-08-04 20:42:19 UTC (chosen because its "seconds since the Epoch" value happened to appear in the "date" manual page on my machine):

	America/Noronha:

		UTC-02:00

	America/Belem, America/Santarem, America/Fortaleza, America/Recife, America/Araguaina, America/Maceio, America/Bahia, America/Sao_Paulo:

		UTC-03:00

	America/Campo_Grande, America/Cuiaba, America/Porto_Velho, America/Boa_Vista, America/Manaus:

		UTC-04:00

	America/Eirunepe, America/Rio_Branco:

		UTC-05:00

So:

	America/Noronha is the only IANA database timezone in the Noronha official Brazilian time zone;

	America/Belem, America/Santarem, America/Fortaleza, America/Recife, America/Araguaina, America/Maceio, America/Bahia, and America/Sao_Paulo are the IANA database timezones in the Brasilia official Brazilian time zone;

	America/Campo_Grande, America/Cuiaba, America/Porto_Velho, America/Boa_Vista, and America/Manaus are the IANA database timezones in the Amazonas official Brazilian time zone;

	America/Eirunepe and America/Rio_Branco are the IANA database timezones in the Acre official Brazilian time zone.