Nuestras herramientas de fecha y hora se apoyan en el calendario gregoriano proléptico, la regla de día de la semana de Zeller e ISO 8601 para la representación y la numeración de semanas. Esta página documenta las fórmulas que aplicamos, los estándares que seguimos y los casos especiales (días bisiestos, segundos intercalares, transiciones del horario de verano, convenciones locales sobre el día de la semana) que tratamos de forma explícita para que los resultados sigan siendo reproducibles y verificables.
Un año es bisiesto si es divisible por 4, salvo los años seculares, que además deben ser divisibles por 400. Así que 2000 es bisiesto, pero 1900 y 2100 no lo son. Aplicamos esta regla de forma proléptica, es decir, la extendemos hacia atrás antes de 1582 para mantener la coherencia aritmética en rangos de fechas amplios.
Para asignar un día de la semana a una fecha gregoriana sin iterar usamos la congruencia de Zeller: h = (q + floor(13(m+1)/5) + K + floor(K/4) + floor(J/4) + 5J) mod 7, tratando enero y febrero como los meses 13 y 14 del año anterior. La salida se normaliza después a la numeración ISO de días de la semana, en la que el lunes es 1 y el domingo es 7.
Mostramos las fechas canónicas como AAAA-MM-DD y las fechas-hora combinadas como AAAA-MM-DDTHH:MM:SS con un desplazamiento explícito (Z para UTC, ±HH:MM en otro caso). Este formato no es ambiguo entre locales, se ordena lexicográficamente en orden cronológico y coincide con el formato que la mayoría de APIs y bases de datos almacenan de forma nativa.
Los días hábiles excluyen sábado y domingo. Dejamos que el usuario excluya, opcionalmente, una lista de festivos, que se aplica después de filtrar el fin de semana. Para rangos que cruzan meses o años contamos iterando semanas completas más un resto, de modo que los rangos muy largos siguen siendo O(1) por cálculo en lugar de recorrer día a día.
Las semanas ISO empiezan en lunes y la semana 1 del año es la que contiene el primer jueves (equivalentemente, la que contiene el 4 de enero). Los años tienen, por tanto, 52 o 53 semanas ISO, y los primeros o últimos días de un año gregoriano pueden pertenecer al año-semana ISO adyacente. Etiquetamos esas fechas como AAAA-Sss-D usando el año-semana ISO, no el año natural.
Todos los instantes se almacenan como UTC. El BIPM mantiene UTC en cooperación con los laboratorios nacionales de tiempo, y el IERS anuncia los segundos intercalares mediante el Boletín C cuando son necesarios para mantener UTC dentro de los 0,9 segundos de UT1. Nuestras operaciones de duración asumen 86 400 segundos SI por día y no insertan segundos intercalares, lo que coincide con el comportamiento del tiempo POSIX y de la mayoría de sistemas operativos.
La lógica de calendario está cubierta por pruebas unitarias que incluyen años bisiestos (1900, 2000, 2024), límites de año-semana ISO (del 29 de diciembre al 3 de enero) y días de transición del horario de verano en ambos hemisferios. Cuando el IERS anuncia un nuevo segundo intercalar, actualizamos la documentación interna pero dejamos la aritmética UTC sin cambios, porque las expectativas de los usuarios sobre días y horas transcurridos coinciden con el modelo POSIX. Volvemos a revisar esta página de metodología tras cada modificación de ISO 8601 y, como mínimo, una vez al año natural.
