quantum-time-transfer (skenaariotyyppi)

Moottorin v0.40.0 skenaariotyyppi, perhe Kellot, ajoitus ja holdover. Ohjeellinen: tutkimus- ja suunnittelutyökalun analyysitulos; ei tyyppihyväksytty navigointilaite eikä ihmishengen turvaamiseen tarkoitettu palvelu. Jokainen tässä oleva merkintä on moottorin tai varmennusmatriisin oma; tyyppi on MODELLED, ellei matriisi toisin sano (miten merkintä ansaitaan: README-tiedoston osio Evidence).

Mitä se tekee#

MODELLED luotettu kvanttiajoitusketju: päästä päähän ulottuva kvantti- (optinen hilakello + lomittuminen/yksifotonilinkki) vs. klassinen (CSAC + RF-kaksisuuntainen) ajansiirtobudjetti, uudelleenkäytetty ajoituksen suojaustaso + viive-/toistohyökkäyksen turvallisuuden laatumittari (1-P_md), kellopoikkeaman havaitsemistodennäköisyys + CUSUM-latenssi sekä kvantti-vs.-klassinen-kauppa rehellisenä TradeEvidencena edustavuuden ja lentoon-puuttuvien-asioiden-tietueen kanssa. Havainnollistavat julkisista lähteistä kootut laite-/linkkiparametrit; mallintaa luokan, ei TRL-/lento-/sertifiointiväitettä.

Skenaarion scenarios/quantum-time-transfer.toml yksi ajo tiivistyy seuraavasti: quantum-time-transfer | kvanttiketju 1.233e-12s vs. klassinen 5.292e-9s | PL 555,24 ns | turvallisuus Pd 1,000 (Pfa 1e-3) | poikkeama Pd 0,761 | kauppa: kvantti voittaa 2/2 | MODELLED

Syötteet#

Skeemasta (kshana kinds --json):

• Pakolliset kentät: ei yhtään
• Valinnaiset kentät: integration_s, dissemination_interval_s, link_loss_db, classical_link_sigma_s, monitor_pfa, attack_delay_s, clock_fault_sigma

Esimerkki scenarios/quantum-time-transfer.toml asettaa muun muassa:

Aja se#

kshana scenarios/quantum-time-transfer.toml

Mitä se antaa#

Tuon ajon skalaaritulokset moottorin ilmoittamilla yksiköillä:

Todisteet#

Yksikään matriisin rivi ei nimeä tätä tyyppiä nimellä; sen tuloksen merkintä on moottorin oma, yllä.

Rivit, joita ajo itse käytti, ja kullekin matriisin antama oraakkeli (julkiset lähteet on nimetty siellä):

• VALIDATED Taulukkomuotoisen CUSUM-ilmaisimen pahimman tapauksen havaitsemisviive (⌊h/(z−k)⌋+1) ja kontrollin ulkopuolinen keskimääräinen ajopituus, joita käyttävät ajoituksen suojaustason ja harhautusmonitorit. Oraakkeli (ExternalDataset): Julkaistu taulukkomuotoinen CUSUM-ARL: Siegmundin (1985) Brownin liikkeen approksimaatio (Hawkins & Olwell 1998, yhtälö 3,7) ristiinankkuroituna Montgomeryn, Introduction to Statistical Quality Control (Wiley), ARL-taulukoihin, kun k=½, h∈{4 5}; deterministinen viive täsmää täsmälleen ensimmäisen ylityksen oraakkeliin. Yhdistetty TPL-raja pysyy tasolla MODELLED
• MODELLED Kaksisuuntainen/TWSTFT (Sagnac), GNSS yhteisnäkymä, PPP; linkin värinä→etäisyys. Oraakkeli (ExternalDataset): Sagnac-suuruus tarkistettu arvovaltaista JULKAISTUA ARVOA vasten — N. Ashby, 'Relativity in the GPS', Living Reviews in Relativity 6:1 (2003), yhtälö 1,29: itään suuntautuva päiväntasaajan kiertomatka kerryttää 207,4 ns (2ωA_E/c²); kshana toistaa 207,386 ns. Riippumattomasti vahvistettu RTKLIB 2.4.3 geodist() (Takasu, BSD-2-Clause), joka kantaa saman 2Aω/c²-geometrian. Yhdistetty BIPM TWSTFT -transponderi/yhteisnäkymä/
• MODELLED Deterministinen, skenaariohajautettu, SBOM + alustat ylittävät golden-portit. Oraakkeli (ExternalDataset): SBOM-yhteensopivuus virallisen CycloneDX 1,5 JSON Schema -skeeman kanssa (+ kelvolliset SPDX-tunnisteet) — ulkoinen julkaistu standardi, nolla validointivirhettä koko riippuvuuskaaviossa; FoM-determinismin / tavutason toistettavuuden osa on edelleen kiinnitetty itseään vasten tehtävä johdonmukaisuustarkistus, joten rivi pysyy MODELLED-tasolla
• PARTNER Ei tarjota — vain suorituskykymalleja; kylmäatomi-/kellolaitteisto on kumppanin. Oraakkeli (NoneKind): ei mitään: kumppanin omistama ala, tarkoituksella ilman moduulia ja testiä
• MODELLED Yksi toistettava TradeEvidence-olio (kiinteä kehys: skenaario+siemenluku+moottori; yhteiset FoM-kohtaiset kvantti-vs.-klassinen-arvot napaisuudeltaan oikealla hyödyllä, valinnainen 95%. Oraakkeli (InternalConsistency): Suljetun muodon hyöty-/voittajaidentiteetit + uskollinen kääre olemassa olevalle quantum_trade::TradeResultille; rehellisyys sidottu edustavuuskirjanpitoon (ledger) ja varmennusmerkintöihin

Rajoitukset#

Mitä ajon oma raportti sanoo olevan mallintamatta tai validoimatta:

• MODELLED luotettu kvanttiajoitusketju: päästä päähän ulottuva kvantti- (optinen hilakello + lomittuminen/yksifotonilinkki) vs. klassinen (CSAC + RF-kaksisuuntainen) ajansiirtobudjetti, uudelleenkäytetty ajoituksen suojaustaso + viive-/toistohyökkäyksen turvallisuuden laatumittari (1-P_md), kellopoikkeaman havaitsemistodennäköisyys + CUSUM-latenssi sekä kvantti-vs.-klassinen-kauppa rehellisenä TradeEvidencena edustavuuden ja lentoon-puuttuvien-asioiden-tietueen kanssa. (tyyppiluettelo (kshana kinds --json))
• Luotettu kvanttiajoitus — päästä päähän ulottuva ajansiirtoketju, turvallinen jakelu, poikkeamahavaitseminen ja kvantti-vs.-klassinen-kauppa. MODELLED; havainnollistavat, julkisista lähteistä kootut laite-/linkkiparametrit; mallintaa luokan, ei TRL-/lentoväitettä. (skenaariotiedoston kommentti, rivit 1 - 3)
• Ajansiirron virhebudjetointi on MODELLED, ei validoitu: osaväite tarkistetaan ulkoisesti, mutta koko kyvykkyys koostuu mallinnetuista osista, joten kyvykkyys jää mallinnetuksi. (varmennusmatriisi (docs/MODELLED-RATIONALE.md))
• Toistettavuus ja ohjelmistovarmistus on MODELLED, ei validoitu: alaväite tarkistetaan ulkoisesti, mutta koko kyvykkyys kokoaa yhteen mallinnettuja osia, joten kyvykkyys pysyy mallinnettuna. (varmennusmatriisi (docs/MODELLED-RATIONALE.md))
• Kvantti-vs.-klassinen-kauppatodiste (yhteinen muoto) on MODELLED, ei validoitu: sitä on tarkistettu omaa suljetun muodon tai analyyttistä identiteettiään vasten, mikä paljastaa kopiointi- ja kerroinvirheet mutta ei ole ulkoinen oraakkeli. (varmennusmatriisi (docs/MODELLED-RATIONALE.md))
• Luotettu kvanttiajoitus (ajansiirto + turvallinen jakelu + poikkeama) on MODELLED, ei validoitu: sitä on tarkistettu omaa suljetun muodon tai analyyttistä identiteettiään vasten, mikä paljastaa kopiointi- ja kerroinvirheet mutta ei ole ulkoinen oraakkeli. (varmennusmatriisi (docs/MODELLED-RATIONALE.md))

Katso myös#

• Perhesivu: Kellot, ajoitus ja holdover
• Kaikki lajit: KINDS.md
• Aihesivu: QUANTUM-MODELS.md