Zmiana czasu

Metoda i źródła

Co dokładnie jest tu wyliczane, co przepisane, i co sprawdza się samo.

Żadna data nie jest wpisana ręcznie

Serwis przechowuje regułę — „ostatnia niedziela marca” i „ostatnia niedziela października”, godz. 1.00 czasu uniwersalnego — a nie tabelę dat. Każda data widoczna na stronie powstaje z tej reguły przy kompilacji. Dzięki temu najdalszy wiersz w tabeli jest generowany tym samym kodem i z tego samego przepisu co wiersz na rok bieżący, a nie przez dopisanie go ręcznie przez człowieka.

Godziny lokalne również są wyliczane: przepisy unijne podają jeden moment w czasie uniwersalnym, a 2.00 i 3.00 na polskim zegarze wynikają z przesunięć, które ustawa o czasie urzędowym podaje względem UTC(PL).

Kontrola: wykaz rozporządzenia kontra reguła

Obowiązujące rozporządzenie wymienia 10 dat. Traktujemy je jako drugie odczytanie: przy każdej kompilacji wyliczamy te same lata z reguły i porównujemy wynik z wykazem. Rozbieżność zatrzymuje kompilację i wskazuje rok oraz to, która z dwóch wartości się nie zgadza. Osobny skrypt sprawdza, czy te 10 dat zapisanych w naszych danych to dokładnie te, które stoją w tekście rozporządzenia pobranym z rejestru ELI Sejmu.

Czego tu nie znajdziesz

Nie podajemy godzin dla innych państw ani dat sprzed 2022 roku poza tymi, które wymienia obowiązujące rozporządzenie. Nie podajemy wyników głosowań w instytucjach unijnych. Nie twierdzimy, że którakolwiek wartość została zweryfikowana przez recenzenta — nie została, i mówi o tym stopka na każdej stronie.

art. 2 ust. 2 ustawy o czasie urzędowym: czas środkowoeuropejski to UTC(PL) + 1 godzina. Wartość w MINUTACH, bo strefa o przesunięciu niepełnogodzinnym istnieje i typ nie powinien z góry jej wykluczać.

Źródła