Но работает всё именно так.
Ну карты-то (географической) нет там: Geographical boundaries in the form of coordinate sets are not part of the tz database.
-- 05.11.2019, 19:10 -- И опять таки, это каким же извращенцем нужно быть чтобы использовать день недели из GPS вместо даты в каких-то системных функциях (web).
Не, вы тут немношко не поняли.
Время, в сообщениях со спутников GPS, кодируется так: номер недели (10 бит) + номер секунды с начала недели (16 бит, которые надо ещё умножить на 16, видимо не чаще чем раз в 16 секунд передают...)
Не как в юниксе номер [милли]секунды начиная откуда-то там, а по-другому.
Отсчет (нулевая неделя) что-то с 1980 года. Внутре на спутниках и вообще в этой GNSS, номер недели длиннее чем 10 бит и там все окей, а вот наружу приемникам GPS выдаются тока 10 бит от номера недели (ну или раньше выдавались, а щас вроде 13 бит). Поэтому в апреле 2019 когда был rollover, самолёты чуть не попадали. Вернее, не взлетели. Они думали что наступил 1999 год (или даже 1980-й), или типа того. Пока rollover-ов было два: 1980 + 19,7 лет =1999 год и ещё +19,7 лет = 2019 год.
А, вот:
GPS time is established by the Control Segment and is referenced to Coordinated Universal Time (UTC) as
maintained by the U.S. Naval Observatory (UTC (USNO)) zero time-point defined as midnight on the night of
January 5, 1980/morning of January 6, 1980. The largest unit used in stating GPS time is one week defined as
604,800 seconds.