sweep-nd (tipo de escenario)

Tipo de escenario del motor v0.40.0, familia Relojes, temporización y holdover. 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#

Barrido genérico N-D sobre cualquier paquete mediante claves TOML con puntos o rutas de métricas JSON.

Una ejecución de scenarios/sweep-nd-inertial.toml se resume así: barrido genérico de inertial sobre [threshold_m, accel_classical.bias] | 15 nodos (forma [5, 3]) | métricas [classical.fom.holdover_s, classical.fom.pos_rms_m]

Entradas#

Del esquema (kshana kinds --json):

• Campos obligatorios: base, axes, metrics
• Campos opcionales: ninguno

El ejemplo scenarios/sweep-nd-inertial.toml establece, entre otros:

Ejecútelo#

kshana scenarios/sweep-nd-inertial.toml

Qué proporciona#

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

Evidencias#

Ninguna fila de la matriz nombra este tipo de escenario por su nombre; la etiqueta de su resultado es la propia del motor, más arriba.

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 Acelerómetro de interferómetro de átomos fríos a partir de primeros principios (k_eff·T², QPN). Referencia independiente (ExternalDataset): vectores numéricos publicados de artículos primarios de CAI (función de transferencia de Cheinet 2008; sensibilidad de Peters/Freier): k_eff·T² coincide exactamente, el suelo unilateral de la ASD de ruido de disparo dentro de ~2× de cada instrumento publicado (los dispositivos reales llevan ruido técnico por encima del suelo cuántico). Una cota, no una paridad. 0,30 ronda 2 (preregistrada fcb9ac64), un hallazgo (sigue siendo MODELLED): el ruido de rotación solo de QPN frente al medido por Gauguet et al.
• MODELLED Balance de posición compuesto de sesgo + factor de escala + VRW + decaimiento de estabilidad a lo largo del holdover. Referencia independiente (ReferenceImpl): integración SDE de Monte Carlo independiente en numpy del ruido de aceleración blanca doblemente integrado (valida la varianza analítica del VRW con un algoritmo realmente independiente) + un ancla de valor publicado de Groves 2013 para los términos de sesgo y de factor de escala; las cifras del dispositivo CAI cuantifican hardware del socio y siguen siendo MODELLED
• 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
• 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
• MODELLED El barrido del tipo de escenario campaign (de una a tres claves con puntos de cualquier tipo de escenario, sobre los valores de eje del barrido genérico, opcionalmente un conjunto en cada nodo) y la sec. monte_carlo. Referencia independiente (InternalConsistency): La forma cerrada del paseo aleatorio de fase bajo ruido blanco de frecuencia, de varianza q_wf tau (NIST Technical Note 1337), para la maquinaria estadística, y la igualdad byte a byte con las ejecuciones independientes para la siembra. Comprueba la aritmética del conjunto sobre el propio modelo de reloj del motor, no sobre un conjunto de datos externo

Limitaciones#

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

• El rendimiento de un sensor inercial cuántico es MODELLED, no está validado: 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 resiliencia de la navegación inercial a estima cuántica es MODELLED, no está validada: se comprueba frente a una implementación separada de este mismo código base — independiente de la unidad bajo prueba, pero no autoridad externa. (matriz de verificación (docs/MODELLED-RATIONALE.md))
• 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))
• Los barridos de parámetros y los conjuntos de Monte Carlo con semilla sobre cualquier tipo de escenario son MODELLED, no están validados: se comprueban 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: Relojes, temporización y holdover
• Todos los tipos de escenario: KINDS.md
• Página de tema: CAMPAIGNS.md