Klokken, tijdsynchronisatie en holdover (familie van scenariosoorten)

9 scenariosoorten van de engine v0.40.0. Adviserend: analyse-uitvoer van een onderzoeks- en engineeringhulpmiddel, geen typegoedgekeurde navigatieapparatuur en geen veiligheidsdienst voor mensenlevens. Elk label hier is dat van de engine of van de verificatiematrix; een soort is MODELLED tenzij de matrix anders aangeeft (hoe een label wordt verdiend: het onderdeel Bewijs van de README).

Themapagina's: TELECOM-TIMING, SLOT-TIMING, TIMING-HIL, CLOCK-LOG-FORMATS. Voer er een uit: kshana scenarios/clock-holdover.toml. Alle families: KINDS.md.

clock#

Klok-holdover tegenover de specificatie; optioneel Monte-Carlo-ensemble (runs > 1).

Verplichte velden: seed, threshold_ns, time, gnss, clock_quantum, clock_classical. Optioneel: runs, integrity.

Register: MODELLED. Volledige pagina, met de invoer, resultaten, bewijs en beperkingen: clock.

kshana scenarios/clock-ensemble.toml

sweep#

1-D-sweep voor een afwegingsstudie over een parameter van een klokpakket.

Verplichte velden: parameter, metric, start, stop, steps, base. Optioneel: scale.

Register: MODELLED. Volledige pagina, met de invoer, resultaten, bewijs en beperkingen: sweep.

kshana scenarios/sweep-clock-stability.toml

sweep-nd#

Generieke N-D-sweep over elk pakket via TOML-sleutels met punten / JSON-metriekpaden.

Verplichte velden: base, axes, metrics.

Register: geen matrixrij noemt deze soort; de engine labelt zijn eigen resultaat. Volledige pagina, met de invoer, resultaten, bewijs en beperkingen: sweep-nd.

kshana scenarios/sweep-nd-inertial.toml

telecom-timing#

Telecom-tijdsynchronisatie: tijdfout, maximale tijdintervalfout (MTIE) en tijdafwijking (TDEV) van een GNSS-holdover, gecontroleerd aan ITU-T-maskers met een PASS of FAIL en een marge per masker. De invoer is een SYNTHETISCHE HOLDOVER (een oscillatorvoorinstelling -- ocxo, rubidium, cesium of csac, elk met de stabiliteits-, verouderings- en temperatuurcijfers van een benoemd openbaar Microchip-datablad -- plus de tijd van GNSS-verlies, de lengte van de registratie en het steekproefinterval; de vrijlopende klok heeft witte, flicker- en, waar de fit op het datablad dat nodig heeft, random-walk-frequentieruis, lineaire veroudering en een sinusvormige temperatuurterm) of een INGELEZEN REEKS van paren [time_s, time_error_ns] die inline worden gegeven (en, alleen op native builds, een CSV-bestand). Maskers: ITU-T G.8272 (07/2025) PRTC-A en PRTC-B (max|TE| 100 / 40 ns, MTIE Tabellen 1-2, TDEV Tabellen 3-4); G.8272.1 (2024) Amd. 1 (07/2025) ePRTC vergrendeld (30 ns, Tabellen 1-2) en ePRTC-A holdover (de tijdfoutenvelop van Tabel 3 die stijgt van 30 ns naar 100 ns over de holdoverperiode H die wordt bepaald door de vergrendelde duur, MTIE Tabel 4, TDEV Tabel 5); G.8273.2 (2023) Amd. 2 (11/2025) T-BC/T-TSC-klassen A-C (max|TE|, constante tijdfout, laagdoorlaatgefilterde MTIE en TDEV) en klasse D (max|TE_L| 5 ns, het enige cijfer van klasse D dat niet is overgelaten voor verdere studie); G.8271.1 (2022) Amd. 3 (05/2025) referentiepunt C (max|TE_L| 1100 / 600 / 100 ns met MTIE Tabellen 7-1 tot 7-3). Elk item dat een Recommendation markeert voor verdere studie ontbreekt in plaats van te worden ingevuld, en elk rapport vermeldt wat niet is geïmplementeerd. Rapporteert ook de tijd tot overschrijding van elk budget voor de maximale tijdfout (standaardwaarden: 100 ns ePRTC max|TE_HO|, 400 ns toewijzing voor holdover in het netwerk, 1100 ns punt C, 1,5 us klasse 4), de MTIE-/TDEV-curven als CSV-tabel met elke maskerlimiet, en per numeriek veld een vermelding van eenheden en herkomst. VALIDATED: de MTIE- en TDEV-schatters tegen het pakket allantools op een vastgelegde holdoverreeks. MODELLED: de maskertabellen zijn transcripties, en een synthetische holdover is een model dat is opgebouwd uit maxima van het datablad, geen meting van een enkele eenheid. Geen conformiteitstest.

Verplichte velden: geen. Optioneel: seed, masks, budgets, holdover, series.

Register: MODELLED 5 · VALIDATED 1. Volledige pagina, met de invoer, resultaten, bewijs en beperkingen: telecom-timing.

kshana scenarios/telecom-synce-eec.toml

slot-timing#

Slot-tijdsynchronisatie: seconden tot een vrijlopende klok de guard verlaat van een routerings- of taakslot dat op tijd is geïndexeerd (de grootste absolute tijdfout die het slot verdraagt), de bijdrage van elke term op dat moment met de dominante term benoemd (onzekerheid van de positiebepaling, witte fase-ruis, witte, flicker-, random-walk- en random-run-frequentieruis, resterende frequentie-offset, temperatuur, veroudering), de tijd die resteert sinds de laatste positiebepaling, en het grootste interval tussen positiebepalingen dat de klok binnen het slot houdt, na aftrek van de latentie van de positiebepaling. De oscillator is een KLASSE-standaard (csac, uso, dsac, tcxo, ocxo of rafs: één aangehaalde Allan-deviatie van één seconde en een aangenomen rode-ruisondergrens), een DATABLAD-VOORINSTELLING voor telecom-tijdsynchronisatie of een inline DATABLAD (maxima van de Allan-deviatie gefit als envelop, plus veroudering en een temperatuurcoëfficiënt), of een inline MEASURED-FASEREGISTRATIE (de overlappende Allan-deviatie daarvan gefit met gewogen kleinste kwadraten in de basis van witte fase en IEEE Std 1139-frequentiemodulatie, zodat de rode-ruisondergrens wordt gemeten in plaats van aangenomen). Een overschrijding voorbij de langste middelingstijd die het datablad of de registratie ondersteunt, wordt als geëxtrapoleerd gemarkeerd. Een optionele sectie voor spoofing voegt het beschermingsniveau voor tijdsynchronisatie toe voor een ontvanger in een baan: baansnelheid en -periode, hoe lang één grondspoofer de satelliet per passage kan bereiken, de ondergrens van de klokondersteunde monitor en de CUSUM-detectielatentie, de voorwaardelijke grens, de afwijking die een spoofer bij een vermelde maximale rampsnelheid opbouwt voordat de satelliet buiten bereik raakt of een onafhankelijke controle draait, en of elke controle via grondcontact of crosslink onafhankelijk is van die spoofer. VALIDATED: de holdover-inversie uit een gefitte registratie, achtergehouden op een echte cesiumklok gemeten tegen een waterstofmaser (tests/slot_timing_cs5071a_holdout.rs, afhankelijk van beschikbare data); bij een gemeten kristaloscillator is de achtergehouden voorspelling conservatief maar niet binnen de drempel, dus het kristalgeval is MODELLED. MODELLED: klasse- en databladbronnen, de deterministische termen en de beoordeling van spoofing.

Verplichte velden: oscillator, slot. Optioneel: spoofing.

Register: MODELLED 2 · VALIDATED 1. Volledige pagina, met de invoer, resultaten, bewijs en beperkingen: slot-timing.

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

timetransfer#

Optische versus RF-tweewegs-tijd-/frequentieoverdracht.

Verplichte velden: seed, samples, step_s, range_spec_mm, link_quantum, link_classical.

Register: MODELLED. Volledige pagina, met de invoer, resultaten, bewijs en beperkingen: timetransfer.

kshana scenarios/timetransfer.toml

time-transfer-budget#

Tweewegs-tijd- en frequentieoverdracht via satelliet tussen twee stations via een geostationair relais: de tweewegsvergelijking opgelost voor T_A - T_B met elke niet-reciproke term (apparatuurvertragingen van de stations, Ku-band-ionosfeer, transponder, Sagnac), een kwadratisch onzekerheidsbudget waarvan de type-A-term de TDEV van de gesimuleerde verbinding bij de middelingstijd is, een gesimuleerde verbinding met witte en flicker-faseruis en een dagelijkse niet-reciprociteit, en de stabiliteit (snelheid, residu-RMS, TDEV, ADEV) van elke aangeleverde reeks uit BIPM Circular T Section 1, MJD,ns-CSV of IGS RINEX-stationsklokgegevens. MODELLED.

Verplichte velden: station_a, station_b, satellite_lon_deg, transponder_ab_ns, transponder_ba_ns, white_noise_ns, uncertainty. Optioneel: 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: MODELLED. Volledige pagina, met de invoer, resultaten, bewijs en beperkingen: time-transfer-budget.

kshana scenarios/time-transfer-budget.toml

holdover-test#

MODELLED holdovertest van een tijdsynchronisatiesysteem, gescoord uit een tijdfoutregistratie die de OPERATOR aanlevert (een linuxptp-ptp4l-, phc2sys- of ts2phc-log, een chrony-tracking- of -statistiekenlog, een TICC-, TimeLab- of RINEX-klokgelog, of time_s,time_error_ns-paren). De test heeft vier stappen en Kshana voert er geen enkele uit: een vergrendelde BASELINE, GNSS VERWIJDERD door de operator (de antennekabel of de simulatoruitvoer; Kshana zendt niets uit en stuurt niets aan) op een vermeld tijdstip, HOLDOVER op de eigen oscillator van het systeem, en RECOVERY nadat de operator GNSS herstelt op een tweede vermeld tijdstip. De registratie wordt op die twee tijdstippen gesplitst. Baseline: tijdfoutstatistieken en de ITU-T-maskers die voor een vergrendelde klok zijn opgesteld. Holdover: statistieken, de fractionele frequentie-afwijking die het systeem hield (een kleinste-kwadratenlijn), de maskers die voor holdover of een autonome klok zijn opgesteld, de ePRTC-A-holdoverenvelop vanaf de vermelde vergrendelde duur, en de tijd tot elk tijdfoutbudget wordt overschreden. Recovery: of en wanneer |TE| binnen een vermelde band kwam en daar bleef, de piek en de grootste stap. Elke limiet is overgenomen uit een openbare ITU-T-tabel (de maskers voor telecomtijdsynchronisatie); de bewoording is 'gemeten tegen het masker', en de twee tijdstippen zijn de verklaring van de operator, niet geverifieerd. Een registratie die te kort is voor een masker is INCOMPLETE, nooit geëxtrapoleerd. Zie docs/TIMING-HIL.md.

Verplichte velden: test, series. Optioneel: masks, budgets.

Register: MODELLED. Volledige pagina, met de invoer, resultaten, bewijs en beperkingen: holdover-test.

kshana scenarios/holdover-test-ptp4l.toml

quantum-time-transfer#

MODELLED keten voor vertrouwde kwantum-tijdsynchronisatie: een end-to-end budget voor tijdoverdracht met quantum (optische-roosterklok + verstrengelings-/enkelfotonverbinding) tegenover klassiek (CSAC + RF-tweeweg), een hergebruikt beschermingsniveau voor tijdsynchronisatie + een kwaliteitsmaat voor beveiliging tegen vertragings-/replay-aanvallen (1-P_md), een detectiekans voor klokanomalieën + CUSUM-latentie, en de afweging quantum tegenover klassiek als eerlijke TradeEvidence met een representativiteits- en gaps-to-flight-register. Illustratieve apparaat-/verbindingsparameters uit openbare bronnen; modelleert de klasse, geen TRL-, vlucht- of certificeringsclaim.

Verplichte velden: geen. Optioneel: integration_s, dissemination_interval_s, link_loss_db, classical_link_sigma_s, monitor_pfa, attack_delay_s, clock_fault_sigma.

Register: geen matrixrij noemt deze soort; de engine labelt zijn eigen resultaat. Volledige pagina, met de invoer, resultaten, bewijs en beperkingen: quantum-time-transfer.

kshana scenarios/quantum-time-transfer.toml