quantum-trade (tipo de escenario)

Tipo de escenario del motor v0.40.0, familia Sensores inerciales, de fusión y cuánticos. 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#

Comparación de PNT cuántico frente a clásico (13503): beneficio en holdover de temporización y en holdover inercial de un reloj candidato (una curva de ADEV medida, el eje de la defendibilidad, o una clase de reloj cuántico) frente a una clase de línea base clásica, con la salvedad del supuesto de suelo de tau largo incluida en el artefacto, más una envolvente de resiliencia frente al tiempo sin GNSS. MODELLED; cuantifica (nunca valida) un dispositivo de socio. El reloj candidato es una curva medida (candidate_adev_taus + candidate_adev_values, de igual longitud, con al menos 2 puntos; prevalece cuando se dan ambas formas) o una candidate_clock_class.

Una ejecución de scenarios/quantum-trade.toml se resume así: quantum-trade | candidato measured-ADEV | holdover de temporización 2621947s frente a 203s (12943.62x) | inercial 14108s frente a 378s (37.34x) | deriva de resiliencia 14108s | MODELLED [salvedad de suelo supuesto]

Entradas#

Del esquema (kshana kinds --json):

• Campos obligatorios: timing_threshold_s, position_threshold_m, baseline_clock_class, candidate_adev_taus+candidate_adev_values|candidate_clock_class
• Campos opcionales: baseline_ins, candidate_ins, resilience_times_s, alt_pnt_bound_m

El ejemplo scenarios/quantum-trade.toml establece, entre otros:

Ejecútelo#

kshana scenarios/quantum-trade.toml

Qué proporciona#

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

Etiqueta del resultado (la del motor): MODELLED — cuantifica (nunca valida) un reloj o sensor de socio; no demostrado en vuelo

Evidencias#

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

• VALIDATED Recuperación NNLS de ley de potencias (FM blanca + suelo de ruido rojo) a partir de una desviación de Allan publicada y medida de una transición de reloj óptico de ⁸⁸Sr, que reproduce σ_y(τ) y el escalado principal de 4.7e-16/√τ a τ corto con un suelo genuino medido a τ largo, en lugar de Pruebas: optical_clock_adev_reference.rs.
• VALIDATED Ajuste NNLS de ADEV medida, bandas de consistencia χ² de NEES/NIS y covarianza de ruido de proceso discreto de van Loan del reloj (deriva de holdover): la columna vertebral computacional del motor de comparación Pruebas: scipy_reference.rs.
• MODELLED Ingesta de ADEV medida (NNLS), tabla de comparación (holdover de temporización e inercial + beneficio), envolvente de resiliencia frente al tiempo; salvedad del suelo incluida en el artefacto.

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í):

• VALIDATED Ajuste NNLS de ADEV medida, bandas de consistencia χ² de NEES/NIS y covarianza de ruido de proceso discreto de van Loan del reloj (deriva de holdover): la columna vertebral computacional del motor de comparación. Referencia independiente (ExternalDataset): scipy 1.17.1: optimize.nnls / stats.chi2.ppf / linalg.expm; NNLS+Q exactos, χ² <5e-4 con los grados de libertad de operación. Solo núcleos: las cifras de rendimiento de dispositivos siguen siendo modeladas (fila siguiente)
• 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 Ingesta de ADEV medida (NNLS), tabla de comparación (holdover de temporización e inercial + beneficio), envolvente de resiliencia frente al tiempo; salvedad del suelo incluida en el artefacto. Ejecutable des. Referencia independiente (ExternalDataset): El núcleo de ajuste de ADEV medida→PSD (NNLS) coincide con scipy.optimize.nnls (tests/scipy_reference.rs / tests/quantum_vs_classical_pnt_trade_reference.rs): un núcleo externo independiente; pero las CIFRAS de la comparación cuantifican (nunca validan) un reloj o CAI de socio, por lo que la comparación en sí sigue siendo MODELLED, sin halo de validación
• PARTNER No proporcionado: solo modelos de rendimiento; el hardware de átomos fríos/relojes es del socio. Referencia independiente (NoneKind): ninguna: una disciplina propiedad del socio, sin módulo ni prueba por diseño

Limitaciones#

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

• MODELLED — cuantifica (nunca valida) un reloj o sensor de socio; no demostrado en vuelo (resultado label)
• Comparación de PNT cuántico frente a clásico (13503): beneficio en holdover de temporización y en holdover inercial de un reloj candidato (una curva de ADEV medida, el eje de la defendibilidad, o una clase de reloj cuántico) frente a una clase de línea base clásica, con la salvedad del supuesto de suelo de tau largo incluida en el artefacto, más una envolvente de resiliencia frente al tiempo sin GNSS. (catálogo de tipos (kshana kinds --json))
• MODELLED; cuantifica (nunca valida) un dispositivo de socio. (catálogo de tipos (kshana kinds --json))
• Calcula el beneficio en holdover de temporización y en holdover inercial de un reloj CANDIDATO sobre una línea base CLÁSICA, más una envolvente de resiliencia frente al tiempo sin GNSS. El suelo del candidato lo determina la curva de ADEV superpuesta MEASURED de un reloj de socio (el eje de la defendibilidad), ajustada por mínimos cuadrados no negativos, de modo que el presupuesto de holdover se apoya en datos reales y no en un suelo de tau largo supuesto. (comentario del archivo de escenario, líneas 3 a 7)
• ALCANCE HONESTO: MODELLED: CUANTIFICA el beneficio de un reloj cuántico de un socio; NO valida el dispositivo, y nunca toma prestadas las islas de validación de SGP4, Allan o IGS. Cuando el suelo de alguna fila es un valor por defecto de clase supuesto, el artefacto muestra una salvedad de suelo. Ejecución: kshana scenarios/quantum-trade.toml (comentario del archivo de escenario, líneas 9 a 12)
• 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 comparación de PNT cuántico frente a clásico y la resiliencia sin GNSS (13503) es MODELLED, no validada: una subafirmación se comprueba externamente, pero la capacidad completa compone piezas modeladas, de modo que la capacidad sigue siendo modelada. (matriz de verificación (docs/MODELLED-RATIONALE.md))

Véase también#

• Página de familia: Sensores inerciales, de fusión y cuánticos
• Todos los tipos de escenario: KINDS.md
• Página temática: POSITIONING.md
• Página temática: QUANTUM-MODELS.md