Kellad, ajastus ja holdover (stsenaariumi liikide perekond)

9 stsenaariumi liiki mootorist v0.40.0. Nõuandev: uurimis- ja inseneeriatööriista analüüsitulemus; mitte tüübikinnitust omav navigatsiooniseade ega inimelu ohutusega seotud teenus. Iga siinne silt on mootori või kontrollimaatriksi oma; liik on MODELLED, kui maatriks ei ütle teisiti (kuidas silt teenitakse: README jaotis Evidence).

Teemalehed: TELECOM-TIMING, SLOT-TIMING, TIMING-HIL, CLOCK-LOG-FORMATS. Käivita üks: kshana scenarios/clock-holdover.toml. Kõik perekonnad: KINDS.md.

clock#

Kella holdover võrreldes spetsifikatsiooniga; valikuline Monte Carlo ansambel (jooksud > 1).

Kohustuslikud väljad: seed, threshold_ns, time, gnss, clock_quantum, clock_classical. Valikulised: runs, integrity.

Register (ledger): MODELLED. Täielik leht koos sisendite, tulemuste, tõendite ja piirangutega: clock.

kshana scenarios/clock-ensemble.toml

sweep#

1-D kompromissiuuringu pühkimine kellapaketi parameetri kohal.

Kohustuslikud väljad: parameter, metric, start, stop, steps, base. Valikulised: scale.

Register (ledger): MODELLED. Täielik leht koos sisendite, tulemuste, tõendite ja piirangutega: sweep.

kshana scenarios/sweep-clock-stability.toml

sweep-nd#

Üldine N-D pühkimine mis tahes paketi kohal punktiga eraldatud TOML-võtmete / JSON-i mõõdikuteede kaudu.

Kohustuslikud väljad: base, axes, metrics.

Register (ledger): ükski maatriksirida seda liiki ei nimeta; mootor sildistab oma tulemuse ise. Täielik leht koos sisendite, tulemuste, tõendite ja piirangutega: sweep-nd.

kshana scenarios/sweep-nd-inertial.toml

telecom-timing#

Telekommunikatsiooni ajastus: GNSS-i holdover-i ajaviga, maksimaalne ajaintervalli viga (MTIE) ja ajahälve (TDEV), kontrollitud ITU-T maskide vastu hinnetega PASS või FAIL ja varuga iga maski kohta. Sisend on kas SÜNTEETILINE HOLDOVER (ostsillaatori eelseade -- ocxo, rubiidium, tseesium või csac, igaüks kannab nimetatud avaliku Microchipi andmelehe stabiilsuse, vananemise ja temperatuuri arve -- pluss GNSS-i kaotuse aeg, kirje pikkus ja valimiintervall; vabalt töötav kell kannab valget, flicker- ja, kus andmelehe sobitus seda nõuab, juhusliku kõnni sagedusmüra, lineaarset vananemist ja siinuselist temperatuuriliiget) või SISESTATUD SARI [time_s, time_error_ns] paaridest, antud sisseehitatult (ja ainult natiivsetes ehitustes CSV-fail). Maskid: ITU-T G.8272 (07/2025) PRTC-A ja PRTC-B (max|TE| 100 / 40 ns, MTIE tabelid 1-2, TDEV tabelid 3-4); G.8272.1 (2024) Amd. 1 (07/2025) ePRTC lukustatud (30 ns, tabelid 1-2) ja ePRTC-A holdover (tabeli 3 ajavea ümbris, mis tõuseb 30 ns-ilt 100 ns-ni holdover-i perioodi H jooksul, mille määrab lukustatud kestus, MTIE tabel 4, TDEV tabel 5); G.8273.2 (2023) Amd. 2 (11/2025) T-BC/T-TSC klassid A-C (max|TE|, konstantne ajaviga, madalpääsfiltreeritud MTIE ja TDEV) ja klass D (max|TE_L| 5 ns, ainus klassi D arv, mis ei ole jäetud edasiseks uurimiseks); G.8271.1 (2022) Amd. 3 (05/2025) tugipunkt C (max|TE_L| 1100 / 600 / 100 ns koos MTIE tabelitega 7-1 kuni 7-3). Iga kirje, mille Soovitus märgib edasiseks uurimiseks, puudub, mitte ei ole täidetud, ja iga aruanne loetleb, mis ei ole teostatud. Annab aru ka ajast, mil iga maksimaalse ajavea eelarve ületatakse (vaikeväärtused: 100 ns ePRTC max|TE_HO|, 400 ns võrgu holdover-i eraldis, 1100 ns punkt C, 1,5 us klass 4), MTIE/TDEV kõveratest CSV-tabelina koos iga maski piiriga ja ühikute-ja-päritolu kirjest iga arvulise välja kohta. VALIDATED: MTIE ja TDEV hinnangud allantools paketi vastu kinnistatud holdover-i seerial. MODELLED: maskitabelid on ärakirjad ning sünteetiline holdover on andmelehe maksimumidest ehitatud mudel, mitte ühegi üksuse mõõtmine. Mitte standardi järgimise test.

Kohustuslikud väljad: puuduvad. Valikulised: seed, masks, budgets, holdover, series.

Register (ledger): MODELLED 5 · VALIDATED 1. Täielik leht koos sisendite, tulemuste, tõendite ja piirangutega: telecom-timing.

kshana scenarios/telecom-synce-eec.toml

slot-timing#

Pesa ajastus: sekundid, kuni vabalt töötav kell väljub ajaindekseeritud marsruutimis- või ülesandepesa kaitsevahemikust (suurim absoluutne ajaviga, mida pesa talub), iga liikme panus sel hetkel koos domineeriva liikme nimetamisega (määrangu määramatus, valge faasimüra, valge, flicker-, juhuslikku kõnni ja juhusliku jooksu sagedusmüra, jääksageduse nihe, temperatuur, vananemine), viimasest määrangust järelejäänud aeg ning suurim määrangute intervall, mis hoiab kella sees, määrangu latentsuse võrra vähendatult. Ostsillaator on KLASSI vaikeväärtus (csac, uso, dsac, tcxo, ocxo või rafs: üks viidatud ühesekundiline Alani hälve ja eeldatud punase müra põhjatase), telekommunikatsiooni ajastuse ANDMELEHE EELSEADE või sisseehitatud ANDMELEHT (Alani hälbe maksimumid sobitatud ümbrikuna, pluss vananemine ja temperatuurikoefitsient) või sisseehitatud MEASURED PHASE RECORD (selle kattuv Alani hälve sobitatud kaalutud vähimruutudega valge faasi ja IEEE Std 1139 sagedusmodulatsiooni baasis, nii et punase müra põhjatase on mõõdetud, mitte eeldatud). Rikkumine pikema keskmistamisajaga, kui andmeleht või kirje toetab, märgitakse ekstrapoleeritud. Valikuline spuufimise jaotis lisab orbiidil oleva vastuvõtja ajastuse kaitsetaseme: orbitaalkiirus ja -periood, kui kaua üks maapealne spuufer suudab satelliidini ühe läbimise jooksul ulatuda, kellaga toetatud monitori põhjatase ja CUSUM-i tuvastuslatentsus, tingimuslik piir, tõmme, mille spuufer kindlaksmääratud maksimaalse tõusukiirusega kogub, enne kui satelliit lahkub tema ulatusest või sõltumatu kontroll käivitub, ning kas iga maakontakti- või ristlingi kontroll on sellest spuuferist sõltumatu. VALIDATED: holdover-i pöördarvutus sobitatud kirjest, hoitud tagasi päris tseesiumikellal, mõõdetud vesinikmaseri vastu (tests/slot_timing_cs5071a_holdout.rs, andmetega piiratud); mõõdetud kristallostsillaatoril on tagasihoitud ennustus konservatiivne, kuid ei mahu läve sisse, seega on kristallijuhtum MODELLED. MODELLED: klassi- ja andmelehe allikad, deterministlikud liikmed ja spuufimise hinnang.

Kohustuslikud väljad: oscillator, slot. Valikulised: spoofing.

Register (ledger): MODELLED 2 · VALIDATED 1. Täielik leht koos sisendite, tulemuste, tõendite ja piirangutega: slot-timing.

kshana scenarios/slot-timing-ocxo-leo.toml

timetransfer#

Optiline vs RF kahesuunaline aja/sageduse edastus.

Kohustuslikud väljad: seed, samples, step_s, range_spec_mm, link_quantum, link_classical.

Register (ledger): MODELLED. Täielik leht koos sisendite, tulemuste, tõendite ja piirangutega: timetransfer.

kshana scenarios/timetransfer.toml

time-transfer-budget#

Kahesuunaline satelliitaja ja sageduse edastus kahe jaama vahel geostatsionaarse releesatelliidi kaudu: kahesuunaline võrrand lahendatud suuruse T_A - T_B suhtes koos iga mittevastastikuse liikmega (jaama seadmete viivitused, Ku-riba ionosfäär, transponder, Sagnac), ruutude summa määramatuse eelarve, mille A-tüübi liige on simuleeritud lingi TDEV keskmistamisajal, simuleeritud link valge ja flicker-faasimüra ning ööpäevase mittevastastikkusega ning mis tahes antud BIPM Circular T jaotise 1 seeria, MJD,ns CSV või IGS RINEX jaamakella kirjete stabiilsus (kalle, jääk-RMS, TDEV, ADEV). MODELLED.

Kohustuslikud väljad: station_a, station_b, satellite_lon_deg, transponder_ab_ns, transponder_ba_ns, white_noise_ns, uncertainty. Valikulised: uplink_ghz, downlink_ghz, true_offset_ns, flicker_noise_ns, diurnal_amplitude_ns, reciprocity_bias_ns, step_s, span_days, averaging_s, seed, series.

Register (ledger): MODELLED. Täielik leht koos sisendite, tulemuste, tõendite ja piirangutega: time-transfer-budget.

kshana scenarios/time-transfer-budget.toml

holdover-test#

MODELLED ajastussüsteemi holdover-test, hinnatud ajavea kirjest, mille OPERAATOR annab (linuxptp ptp4l, phc2sys või ts2phc logi, chrony jälgimis- või statistikalogi, TICC, TimeLab või RINEX kellalogi või time_s,time_error_ns paarid). Testil on neli sammu ja Kshana ei tee ühtegi neist: lukustatud LÄHTETASE, GNSS EEMALDATUD operaatori poolt (antennikaabel või simulaatori väljund; Kshana ei saada ega juhi midagi) väljaöeldud ajal, HOLDOVER süsteemi enda ostsillaatoril ja TAASTUMINE pärast seda, kui operaator taastab GNSS-i teisel väljaöeldud ajal. Kirje jaotatakse nende kahe aja kohal. Lähtetase: ajavea statistika ja ITU-T maskid, mis on kirjutatud lukustatud kella jaoks. Holdover: statistika, murdosaline sageduse nihe, mida süsteem hoidis (vähimruutude sirge), maskid, mis on kirjutatud holdover-i või autonoomse kella jaoks, ePRTC-A holdover-i ümbrik väljaöeldud lukustatud kestuse põhjal ning aeg, mil iga ajavea eelarve ületatakse. Taastumine: kas ja millal |TE| jõudis väljaöeldud riba sisse ja jäi sinna, tipp ja suurim hüpe. Iga piir on ümber kirjutatud avalikust ITU-T tabelist (telekommunikatsiooni ajastusmaskid); sõnastus on „mõõdetud maski suhtes“ ning need kaks aega on operaatori väide, mitte kontrollitud. Maski jaoks liiga lühike kirje on INCOMPLETE, mitte kunagi ekstrapoleeritud. Vt docs/TIMING-HIL.md.

Kohustuslikud väljad: test, series. Valikulised: masks, budgets.

Register (ledger): MODELLED. Täielik leht koos sisendite, tulemuste, tõendite ja piirangutega: holdover-test.

kshana scenarios/holdover-test-ptp4l.toml

quantum-time-transfer#

MODELLED usaldusväärse kvantajastuse ahel: otsast lõpuni kvant- (optilise võrega kell + põimumise/üksikfootoni link) vs klassikaline (CSAC + RF kahesuunaline) aja edastamise eelarve, taaskasutatud ajastuse kaitsetase + viivitus-/kordusründe turvalisuse FoM (1-P_md), kella anomaalia tuvastamise tõenäosus + CUSUM-i latentsus ning kvant-vs-klassikaline kompromiss ausa TradeEvidence'ina koos esinduslikkuse + lennuvalmiduse lünkade kirjega. Illustratiivsed avaliku allika seadme/lingi parameetrid; mudeldab klassi, TRL-i/lennutõendit/sertifitseerimist ei väideta.

Kohustuslikud väljad: puuduvad. Valikulised: integration_s, dissemination_interval_s, link_loss_db, classical_link_sigma_s, monitor_pfa, attack_delay_s, clock_fault_sigma.

Register (ledger): ükski maatriksirida seda liiki ei nimeta; mootor sildistab oma tulemuse ise. Täielik leht koos sisendite, tulemuste, tõendite ja piirangutega: quantum-time-transfer.

kshana scenarios/quantum-time-transfer.toml