realtime-frame-eop (tipo de escenario)

Tipo de escenario del motor v0.40.0, familia Mediciones GNSS, posicionamiento e integridad. Consultivo: salida de análisis de una herramienta de investigación e ingeniería, no un equipo de navegación homologado ni un servicio de seguridad de la vida humana. Toda etiqueta de aquí es la del motor o la de la matriz de verificación; un tipo de escenario es MODELLED salvo que la matriz diga otra cosa (cómo se gana una etiqueta: la sección Evidence del README).

Qué hace#

Presupuesto de predicción del marco lunar y de la orientación terrestre en tiempo real: Tabla 1 de P4 (la comprobación de consistencia del error de marco: posprocesado ~0,27 m ↔ ~0,010 ms y tiempo real ~15 m ↔ ~0,5 ms, cada posición de marco expresada como su error de UT1 equivalente mediante el brazo de palanca L19 Δr = D_EM·ω⊕·ΔUT1) y Tabla 2 (error medido de predicción de UT1 frente al horizonte: la curva L18 leída directamente de la serie real finals2000A del IERS: el suelo final de Bulletin A − Bulletin B y el error del predictor de persistencia a varios días, cada uno proyectado a una posición del marco lunar mediante L19), más el presupuesto de error de marco en tiempo real L21 por suma en raíz cuadrática (EOP + efemérides + suelo de realización). Forma cerrada VALIDATED (el brazo de palanca L19, con ω⊕ contrastada con el ángulo de rotación terrestre del CIO) y datos reales VALIDATED (la curva L18 a partir de las filas reales de finals2000A); MODELLED son las magnitudes de covarianza de la determinación de órbita del relé lunar y el suelo de realización del marco (asignaciones representativas) y el predictor de persistencia (no el algoritmo operativo de Bulletin A del IERS). No es un producto certificado de marco en tiempo real.

Una ejecución de scenarios/realtime-frame-eop.toml se resume así: realtime-frame-eop | Tabla 1: posprocesado 0,27 m (0,0096 ms de UT1) ↔ tiempo real 14,4 m (0,514 ms de UT1) | Tabla 2: suelo final 0,0171 ms → 3 días 1,6644 ms | total del presupuesto 20,1 m (67,0 ns) | brazo de palanca L19 + datos reales L18 (validado), covarianza de la determinación de órbita (modelada)

Entradas#

Del esquema (kshana kinds --json):

• Campos obligatorios: ninguno
• Campos opcionales: epoch, horizons_days, ephemeris_pos_sigma_m, ephemeris_vel_sigma_mps, latency_s, frame_realization_floor_m, delta_ut1_ms, delta_xp_mas, delta_yp_mas, eop_finals2000a, eop_finals2000a_later, frame_realization_tie_noise_m, operational_window_days, operational_min_cycle_fraction, operational_anchor_residual

El ejemplo scenarios/realtime-frame-eop.toml establece, entre otros:

Ejecútelo#

kshana scenarios/realtime-frame-eop.toml

Qué proporciona#

Los resultados escalares de esa ejecución, con las unidades que indica el motor:

Etiqueta del resultado (la del motor): presupuesto de predicción del marco lunar y de la orientación terrestre en tiempo real. Forma cerrada VALIDATED: el brazo de palanca L19 (1 ms ↔ 28,03 m ↔ 93,5 ns), con ω⊕ contrastada con el ángulo de rotación terrestre del CIO. Datos reales VALIDATED: las curvas de error de predicción de UT1 y de movimiento polar L18 leídas directamente de la serie real del IERS finals200

Evidencias#

MODELLED 1 · VALIDATED 2: las filas de la matriz de verificación que nombran este tipo de escenario.

• VALIDATED Una tabla indica el error de predicción de UT1, el error del polo por movimiento polar y su combinación en cuadratura en la Luna sobre un conjunto de épocas IDÉNTICO por horizonte, emitiendo las épocas en las que se midió cada componente. Pruebas: embedded_eop_vintage_astropy_preregistered.rs.
• VALIDATED El valor por defecto en ejecución de realtime-frame-eop es la copia incorporada propia de la biblioteca de un extracto literal de finals2000A del IERS (tools/finals2000A_20260930.txt: 174 filas diarias consecutivas, MJD 61224-61397, recortadas del finals2000A.all del 2026-09-30) lleva Pruebas: operational_eop_predictor_reference.rs.
• MODELLED Un ajuste por mínimos cuadrados de sesgo más tasa sobre una ventana final más los principales términos periódicos (anual, semianual y las dos mareas zonales principales para UT1; Chandler, anual y semianual para el polo), extrapolado con el último valor dentro de la ventana Pruebas: operational_eop_predictor_reference.rs.

Las filas que la propia ejecución puso a prueba, con la referencia independiente que da la matriz a cada una (las fuentes públicas se nombran allí):

• MODELLED Determinista, con hash de escenario, SBOM + barreras golden multiplataforma. Referencia independiente (ExternalDataset): ajuste a la norma del SBOM al esquema JSON oficial de CycloneDX 1,5 (+ identificadores SPDX válidos) — un estándar externo publicado, cero errores de validación en todo el grafo de dependencias; la parte de determinismo de FoM / reproducibilidad byte a byte sigue siendo una comprobación de autoconsistencia fijada, por lo que la fila sigue siendo MODELLED
• VALIDATED Una tabla indica el error de predicción de UT1, el error del polo por movimiento polar y su combinación en cuadratura en la Luna sobre un conjunto de épocas IDÉNTICO por horizonte, em. Referencia independiente (ExternalDataset): astropy 8.0.1 utils.iers (BSD-3) leyendo el producto finals2000A del IERS con su propia regla Bulletin-B-si-no-A, y pyerfa 2.0.1.5 (SOFA) con rotaciones completas de celeste a terrestre (c2i06a, sp00, pom00, c2tcio; el ángulo de rotación terrestre según IERS 2010 ec. 5,15 en aritmética exacta), ejecutados como programas separados sobre filas literales del finals2000A.all congelado del 2026-09-30; preregistrado (455b8fb5) con las enmiendas A1 y A2 que fijan solo
• VALIDATED El valor por defecto en ejecución de realtime-frame-eop es la copia incorporada propia de la biblioteca de un extracto literal de finals2000A del IERS (tools/finals2000A_20260930.txt: 174 consecutiv. Referencia independiente (ExternalDataset): astropy 8.0.1 astropy.utils.iers.IERS_A (BSD-3-Clause), leyendo los mismos bytes con su propio lector, y la tabla del IERS Bulletin A Vol. XXXIX N.º 039, copiada número por número; preregistrado (6fdae01b) con seis criterios exactos antes de ejecutar astropy. Se satisfacen los seis: 30 filas finales, 54 rápidas y 90 predichas con listas de MJD iguales, todas las filas predichas con indicador P, el recuento de la ejecución por defecto igual, y las predicciones iguales a Bullet
• MODELLED Un ajuste por mínimos cuadrados de sesgo más tasa sobre una ventana final más los principales términos periódicos (anual, semianual y las dos mareas zonales principales para UT1; Cha. Referencia independiente (ReferenceImpl): Tres vías independientes, ninguna de ellas una cifra publicada de precisión de predicción. (1) Una señal analítica con coeficientes conocidos: la única forma de ejercitar la maquinaria periódica, ya que ninguna serie confirmada es lo bastante larga para admitir un término anual. (2) La solución de mínimos cuadrados de forma cerrada de los libros de texto, con un álgebra distinta de la resolución matricial sometida a prueba, sobre filas reales. (3) Las filas genuinas de predicción de Bulletin A archivadas que el

Limitaciones#

Lo que el propio informe de la ejecución dice que no está modelado o no está validado:

• Presupuesto de predicción del marco lunar y de la orientación terrestre en tiempo real. Forma cerrada VALIDATED: el brazo de palanca L19 (1 ms ↔ 28,03 m ↔ 93,5 ns), con ω⊕ contrastada con el ángulo de rotación terrestre del CIO. Datos reales VALIDATED: las curvas de error de predicción de UT1 y de movimiento polar L18 leídas directamente de la serie real finals2000A del IERS (Bulletin A rápido frente a Bulletin B final, y persistencia a varios días sobre las filas diarias reales). DERIVED: el marco (resultado label)
• Forma cerrada VALIDATED (el brazo de palanca L19, con ω⊕ contrastada con el ángulo de rotación terrestre del CIO) y datos reales VALIDATED (la curva L18 a partir de las filas reales de finals2000A); MODELLED son las magnitudes de covarianza de la determinación de órbita del relé lunar y el suelo de realización del marco (asignaciones representativas) y el predictor de persistencia (no el algoritmo operativo de Bulletin A del IERS). (catálogo de tipos (kshana kinds --json))
• Honestidad: forma cerrada VALIDATED (el brazo de palanca L19, con omega_earth contrastada con el ángulo de rotación terrestre del CIO) y datos reales VALIDATED (las curvas L18 de UT1 y de movimiento polar a partir de las filas reales de finals2000A). Suelo de realización del marco DERIVED (el residuo posterior al ajuste de Helmert). MODELLED son las magnitudes de covarianza de la determinación de órbita del relé lunar (0,27 m posprocesado, ~14,4 m en tiempo real con una hora de latencia: un redondeo, no despejado hacia atrás, todas (comentario del archivo de escenario, líneas 27 a 32)
• La reproducibilidad y el aseguramiento del software son MODELLED, no están validados: una subafirmación se comprueba externamente, pero la capacidad completa compone piezas modeladas, por lo que la capacidad sigue siendo modelada. (matriz de verificación (docs/MODELLED-RATIONALE.md))
• El error de predicción de la orientación terrestre de estilo operativo, medido como predicho frente a final, es MODELLED, no validado: se comprueba frente a una implementación distinta dentro de este mismo código, independiente de la unidad sometida a prueba pero sin autoridad externa. (matriz de verificación (docs/MODELLED-RATIONALE.md))

Véase también#

• Página de familia: Mediciones GNSS, posicionamiento e integridad
• Todos los tipos de escenario: KINDS.md
• Página temática: integrations.md