cislunar-observability (tipo de escenario)

Tipo de escenario del motor v0.40.0, familia Lunar y cislunar. 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#

Observabilidad MODELLED de una constelación cislunar plana (P6): sigue una constelación de cuatro naves con DRO plana corregida diferencialmente mediante distancias intersatélite e informa de cuánto del estado de cuatro componentes [x,y,ẋ,ẏ] de una nave hace observable el arco. Emite (1) la tabla de rango frente a longitud de arco para un único enlace solo de distancia — instantáneamente de rango 1, creciendo hacia el estado completo de cuatro componentes a medida que el arco se extiende (tabla 1 de P6); (2) el espectro de valores propios del gramiano de observabilidad y el número de condición a lo largo del arco; (3) la comparación del rango instantáneo solo de distancia frente a distancia más velocidad de distancia (la palanca de diseño del Doppler) junto con la notificación del GDOP singular solo de distancia y definido con distancia más velocidad; y (4) una validación cruzada independiente con SRIF cuya covarianza a posteriori pasa a ser finita y bien condicionada exactamente en el arco en el que el rango observable alcanza cuatro. Núcleo VALIDATED: el rango observable es un umbral de valores singulares que revela el rango, contrastado con el rango de valores propios del gramiano; el espectro de valores propios obedece a los invariantes espectrales (traza=Σλ, det=Πλ, Frobenius²=Σλ²); la STM variacional es la STM de CR3BP validada por diferencias finitas; las filas jacobianas de distancia y de velocidad de distancia son derivadas parciales analíticas validadas por diferencias finitas (contrastadas con el observable de velocidad de distancia 3-D del crate); las cuatro condiciones iniciales son DRO planas corregidas diferencialmente que cierran con un residuo de periodicidad ajustado y son retrógradas; la transición de rango se valida de forma cruzada con el filtro de información de raíz cuadrada del crate (covarianza a posteriori finita exactamente con rango completo, cond(P)=cond(OᵀO)); una instantánea deficiente en rango se marca como GDOP-indefinido (fim condition=inf), nunca como un valor finito falso — la misma guarda de geometría singular que aplica pvt::solve_spp. MODELLED: el diseño de la constelación (amplitudes y fases del perilunio de las DRO) y la progresión de rango concreta que produce. No es un producto de prestaciones de navegación certificado.

Una ejecución de scenarios/cislunar-observability.toml se resume así: cislunar-observability | 4 s/c (3 refs) | 6,0 h arc, 24 epochs | rank 1 → 4 of 4 over arc | Gramian λ [2.92e-11…5.98e-2] cond 2.05e9 | instantaneous rank range-only 2 → range+rate 4 (3 links) | GDOP range-only undefined range+rate 6,353 | DRO ICs (max periodicity residual 4.7e-9) | SRIF posterior finite at rank-4 epoch 8 (Validated rank/STM/DRO-closure/SRIF, Modelled design)

Entradas#

Del esquema (kshana kinds --json):

• Campos obligatorios: ninguno
• Campos opcionales: mu, arc_hours, epochs, steps, rel_tol, spatial, sigma_range_m, family, n_spacecraft, sigma_pos_threshold_km

El ejemplo scenarios/cislunar-observability.toml establece, entre otros:

Ejecútelo#

kshana scenarios/cislunar-observability.toml

Qué proporciona#

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

Etiqueta del resultado (la del motor): observabilidad MODELLED de una constelación cislunar plana (P6). Núcleo VALIDATED: el RANGO observable es un umbral de valores singulares que revela el rango, contrastado con el rango de valores propios del gramiano; el espectro de valores propios del gramiano obedece a los invariantes espectrales (traza = suma de valores propios, det = producto de valores propios, Frobenius^2 = suma de valores propios^2

Evidencias#

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

• MODELLED El umbral de observabilidad de la longitud de arco cislunar en el CR3BP ESPACIAL de seis estados en lugar del plano de cuatro estados, en las familias DRO, halo L2 y halo casi rectilíneo L2, con ruido de medida que entra en el gramiano y DOS criterios que informan

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
• MODELLED El umbral de observabilidad de la longitud de arco cislunar en el CR3BP ESPACIAL de seis estados en lugar del plano de cuatro estados, en las familias DRO, halo L2 y halo casi rectilíneo L2. Referencia independiente (InternalConsistency): Un rango independiente por forma escalonada mediante eliminación gaussiana con pivoteo parcial confirma cada veredicto de rango de seis estados — un algoritmo distinto que no comparte código con la vía de valores propios/SVD sometida a prueba. La matriz de transición de estado 6×6 de CR3BP que esto compone lleva su propia referencia independiente ReferenceImpl frente a la integración variacional de SciPy, y las condiciones iniciales de halo/NRHO proceden de un corrector que reproduce el L2 sur publicado

Limitaciones#

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

• Observabilidad MODELLED de una constelación cislunar plana (P6). Núcleo VALIDATED: el RANGO observable es un umbral de valores singulares que revela el rango, contrastado con el rango de valores propios del gramiano; el espectro de valores propios del gramiano obedece a los invariantes espectrales (traza = suma de valores propios, det = producto de valores propios, Frobenius^2 = suma de valores propios^2); la STM variacional es la STM de CR3BP validada por diferencias finitas (crate::cr3bp); las filas jacobianas de distancia / velocidad de distancia (resultado label)
• Observabilidad MODELLED de una constelación cislunar plana (P6): sigue una constelación de cuatro naves con DRO plana corregida diferencialmente mediante distancias intersatélite e informa de cuánto del estado de cuatro componentes [x,y,ẋ,ẏ] de una nave hace observable el arco. (catálogo de tipos de escenario (kshana kinds --json))
• MODELLED: el diseño de la constelación (amplitudes y fases del perilunio de las DRO) y la progresión de rango concreta que produce. (catálogo de tipos de escenario (kshana kinds --json))
• Honestidad: MODELLED. Núcleo VALIDATED -- el RANGO observable es un umbral de valores singulares que revela el rango, contrastado con el rango de valores propios del gramiano; el espectro de valores propios obedece a los invariantes espectrales (traza = suma de valores propios, det = producto de valores propios, Frobenius^2 = suma de valores propios^2); la STM variacional es la STM de CR3BP validada por diferencias finitas; las filas jacobianas de distancia / velocidad de distancia son derivadas parciales analíticas validadas por diferencias finitas (contrastadas (comentario del archivo de escenario, líneas 16 a 25)
• 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))
• La observabilidad de la longitud de arco cislunar espacial, con ruido y de varias familias es MODELLED, no está validada: se comprueba frente a su propia identidad analítica o de forma cerrada — detecta errores de transcripción y de coeficientes, pero no es una referencia independiente externa. (matriz de verificación (docs/MODELLED-RATIONALE.md))

Véase también#

• Página de familia: Lunar y cislunar
• Todos los tipos de escenario: KINDS.md