GPS Time Converter

Este convertidor de tiempo GPS convierte entre tiempo GPS, UTC y Unix time. La entrada puede darse como GPS week y seconds_of_week o como sellos ISO UTC o Unix. Utiliza la tabla de leap seconds más reciente para producir resultados sincronizados.
El algoritmo aplica las relaciones conceptuales entre normas temporales: el tiempo GPS es una cuenta continua desde la época GPS (1980-01-06); UTC es GPS-time menos los leap seconds acumulados; Unix time es UTC más el offset de la época Unix. El módulo calcula t_gps, ajusta los leap seconds y devuelve GPS-week/seconds_of_week, UTC ISO y Unix time, con valores diagnósticos si es necesario.
Beneficiarios: desarrolladores incrustados, científicos de datos, analistas de logs y investigadores que deben alinear eventos entre flujos satelitales, sensores y sistemas back-end. Su valor reside en la gestión actualizada de leap seconds, salidas en representaciones cruzadas y la opción de exponer el conteo de leap seconds para auditoría. Funciones centrales: entradas multi-formato, validación robusta y representaciones claras de cada norma temporal para el procesamiento descendente.