Onze datum- en tijdtools steunen op de proleptische gregoriaanse kalender, de weekdagregel van Zeller en ISO 8601 voor representatie en weeknummering. Deze pagina documenteert de formules die we toepassen, de standaarden die we volgen en de randgevallen (schrikkeldagen, schrikkelseconden, overgangen naar zomertijd, lokale conventies voor weekdagen) die we expliciet afhandelen, zodat resultaten reproduceerbaar en verifieerbaar blijven.
Een jaar is een schrikkeljaar als het deelbaar is door 4, behalve eeuwjaren, die ook deelbaar moeten zijn door 400. Dus 2000 is een schrikkeljaar, maar 1900 en 2100 niet. We passen deze regel proleptisch toe, wat betekent dat we hem ook vóór 1582 toepassen voor consistente rekenkunde over lange tijdspannes.
Om zonder iteratie een gregoriaanse datum naar een weekdag te mappen, gebruiken we de congruentie van Zeller: h = (q + floor(13(m+1)/5) + K + floor(K/4) + floor(J/4) + 5J) mod 7, waarbij januari en februari worden behandeld als maanden 13 en 14 van het voorgaande jaar. De uitkomst wordt vervolgens genormaliseerd naar ISO-weekdagnummering, waarbij maandag 1 is en zondag 7.
We tonen canonieke data als JJJJ-MM-DD en gecombineerde datum-tijd-waarden als JJJJ-MM-DDTUU:MM:SS met een expliciete offset (Z voor UTC, anders ±UU:MM). Dit is ondubbelzinnig over locales heen, sorteert lexicografisch in chronologische volgorde en komt overeen met het formaat dat de meeste API's en databases native opslaan.
Werkdagen sluiten zaterdag en zondag uit. Gebruikers kunnen optioneel een feestdagenlijst uitsluiten, die wordt toegepast na de weekendfilter. Voor bereiken die maanden of jaren beslaan tellen we via hele weken plus een restant, zodat zeer lange spannes per berekening O(1) blijven in plaats van elke dag te scannen.
ISO-weken beginnen op maandag en week 1 van een jaar is de week die de eerste donderdag bevat (gelijkwaardig: de week die 4 januari bevat). Jaren hebben daardoor 52 of 53 ISO-weken, en de eerste of laatste paar dagen van een gregoriaans jaar kunnen tot een aangrenzend ISO-weekjaar behoren. Dergelijke data labelen we als JJJJ-Www-D op basis van het ISO-weekjaar, niet het kalenderjaar.
Alle tijdstippen worden opgeslagen als UTC. UTC wordt door het BIPM onderhouden in samenwerking met nationale tijdlaboratoria, en schrikkelseconden worden door IERS Bulletin C aangekondigd wanneer nodig om UTC binnen 0,9 seconden van UT1 te houden. Onze duurberekeningen gaan uit van 86.400 SI-seconden per dag en voegen geen schrikkelseconden in, wat overeenkomt met het gedrag van POSIX-tijd en de meeste besturingssystemen.
De kalenderlogica wordt gedekt door unittests waarin schrikkeljaren (1900, 2000, 2024), ISO-weekjaargrenzen (29 december tot 3 januari) en zomertijdovergangen op beide halfronden zijn opgenomen. Wanneer IERS een nieuwe schrikkelseconde aankondigt, werken we de interne documentatie bij maar laten de UTC-rekenkunde ongewijzigd, omdat de verwachtingen van gebruikers over verstreken dagen en uren aansluiten bij het POSIX-model. We controleren deze methodologiepagina na elke ISO 8601-wijziging en minimaal eenmaal per kalenderjaar.
