Traducción automática, no revisada por un hablante nativo. El inglés es la referencia.

Páginas de tipos de escenarioEditar en GitHubFuente: docs/kinds/by-kind/quantum-time-transfer.md

quantum-time-transfer (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#

Cadena de temporización cuántica de confianza MODELLED: un presupuesto de transferencia de tiempo de extremo a extremo cuántico (reloj de red óptica + enlace de entrelazamiento o de fotón único) frente a clásico (CSAC + bidireccional por RF), un nivel de protección de temporización reutilizado + una cifra de mérito de seguridad frente a ataques de retardo o repetición (1-P_md), una probabilidad de detección de anomalías del reloj + latencia de CUSUM, y la comparación cuántico-frente-a-clásico como TradeEvidence honesta con un registro de representatividad y de brechas hasta el vuelo. Parámetros ilustrativos de dispositivo y enlace de fuentes públicas; modela la clase, sin TRL, vuelo ni certificación reclamados.

Una ejecución de scenarios/quantum-time-transfer.toml se resume así: quantum-time-transfer | cadena cuántica 1.233e-12s frente a clásica 5.292e-9s | PL 555,24 ns | seguridad Pd 1,000 (Pfa 1e-3) | anomalía Pd 0,761 | comparación: el cuántico gana 2/2 | MODELLED

Entradas#

Del esquema (kshana kinds --json):

  • Campos obligatorios: ninguno
  • Campos opcionales: integration_s, dissemination_interval_s, link_loss_db, classical_link_sigma_s, monitor_pfa, attack_delay_s, clock_fault_sigma

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

Campo Valor Unidad
attack_delay_s 5.0000e-9 s
classical_link_sigma_s 1.0000e-9 s
clock_fault_sigma 4 no indicado
dissemination_interval_s 100 s
integration_s 1 s
kind quantum-time-transfer texto
link_loss_db 30 dB
monitor_pfa 0.001 1

Ejecútelo#

kshana scenarios/quantum-time-transfer.toml

Qué proporciona#

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

Resultado Valor Unidad
anomaly_cusum_latency_s 2 s
anomaly_pd 0.760985 1
classical_chain_sigma_s 5.2915e-9 s
evidence.id_rule el identificador estable de la fila de la matriz (el ID texto
evidence.matrix docs/VERIFICATION-MATRIX.md texto
evidence.tier PARTNER texto
monitor_pfa 0.001 1
protection_level_ns 555.239402 ns
quantum_chain_sigma_s 1.2332e-12 s
quantum_link_rate_hz 4900 Hz
El gráfico que el motor genera para scenarios/quantum-time-transfer.toml, tipo de escenario quantum-time-transfer

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

  • VALIDATED Latencia de detección en el peor caso del detector CUSUM tabular (⌊h/(z−k)⌋+1) y longitud media de racha fuera de control, usadas por el nivel de protección de temporización y los monitores de spoofing. Referencia independiente (ExternalDataset): ARL de CUSUM tabular publicado: aproximación de movimiento browniano de Siegmund (1985) (Hawkins & Olwell 1998, ec. 3,7) anclada de forma cruzada a las tablas de ARL de Montgomery, Introduction to Statistical Quality Control (Wiley) para k=½, h∈{4.5}; latencia determinista coincidente exactamente con una referencia independiente de primer paso. La cota compuesta de TPL sigue siendo MODELLED
  • MODELLED Bidireccional/TWSTFT (Sagnac), vista común de GNSS, PPP; fluctuación del enlace→distancia. Referencia independiente (ExternalDataset): Magnitud de Sagnac comprobada frente a un VALOR PUBLICADO de autoridad: N. Ashby, 'Relativity in the GPS', Living Reviews in Relativity 6:1 (2003), Ec. 1,29: una circunnavegación ecuatorial hacia el este acumula 207,4 ns (2ωA_E/c²); kshana reproduce 207,386 ns. Corroborado de forma independiente por geodist() de RTKLIB 2.4.3 (Takasu, BSD-2-Clause), que lleva la misma geometría 2Aω/c². El BIPM TWSTFT compuesto transponder/common-view/
  • 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 Un objeto TradeEvidence reproducible (marco fijo: escenario+semilla+motor; valores comunes cuántico-frente-a-clásico por cifra de mérito con beneficio de polaridad correcta, opcional 95%. Referencia independiente (InternalConsistency): Identidades de forma cerrada de beneficio y ganador + envoltura fiel del quantum_trade::TradeResult existente; honestidad vinculada al registro de representatividad y a las etiquetas de verificación

Limitaciones#

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

  • Cadena de temporización cuántica de confianza MODELLED: un presupuesto de transferencia de tiempo de extremo a extremo cuántico (reloj de red óptica + enlace de entrelazamiento o de fotón único) frente a clásico (CSAC + bidireccional por RF), un nivel de protección de temporización reutilizado + una cifra de mérito de seguridad frente a ataques de retardo o repetición (1-P_md), una probabilidad de detección de anomalías del reloj + latencia de CUSUM, y la comparación cuántico-frente-a-clásico como TradeEvidence honesta con un registro de representatividad y de brechas hasta el vuelo. (catálogo de tipos (kshana kinds --json))
  • Temporización cuántica de confianza: cadena de transferencia de tiempo de extremo a extremo, difusión segura, detección de anomalías y una comparación cuántico-frente-a-clásico. MODELLED; parámetros ilustrativos de dispositivo y enlace de fuentes públicas; modela la clase, sin afirmación de TRL ni de vuelo. (comentario del archivo de escenario, líneas 1 a 3)
  • El presupuesto de errores de transferencia de tiempo es MODELLED, no validado: una subafirmación se comprueba externamente, pero la capacidad completa compone piezas modeladas, así que la capacidad sigue siendo modelada. (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))
  • La evidencia de la comparación cuántico-frente-a-clásico (forma común) es MODELLED, no validada: se comprueba frente a su propia identidad analítica o de forma cerrada, lo que detecta errores de transcripción y de coeficientes, pero no es una referencia independiente externa. (matriz de verificación (docs/MODELLED-RATIONALE.md))
  • La temporización cuántica de confianza (transferencia de tiempo + difusión segura + anomalías) es MODELLED, no validada: se comprueba frente a su propia identidad analítica o de forma cerrada, lo que 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#