• Øv det minut, hvor GNSS går i sort
• Nyt i 0,40, Nyt i 0,39, Nyt i 0,38 og 0,38 i dybden: jammertest-scoring, modtagerens egne flag, maskininput, tidssynkronisering og holdover, standardpakker, LunaNet AFS, rundturen i laboratoriet, kshana-bench, observatoriet, eksportører, optik, navigation for rumbrugere og månens infrastruktur
• Kshana Studio og hver Studio-side
• Funktioner: tabellen over områder, hver scenarietype efter familie, hver kommando, hver flade
• Hvordan en kørsel virker, Missioner
• Evidens: registeret, funktionsområder
• Installation, Arkitektur (og diagrammerne), AI-assistent
• Udgaver, Forskning, Citér, Licens
• Reference: brug, scenarieformat, output, repositoriets opbygning, FAQ, fejlfinding, versionering, køreplan, bidrag, dokumentation

Kør en hvilken som helst af dem med kshana example <scenario> > s.toml && kshana s.toml: scenarierne er l-band-waterfall-jamming, constellation-multi-gnss-coverage, solar-system-tour og leo-pass-iridium.

Alle fire er opdigtede data og vejledende: de viser softwarens format og adfærd, ikke hvordan nogen modtager eller noget system klarer sig mod interferens. Kør den første med kshana receiver-trust examples/maritime-trust/session.toml, den anden med kshana route-exposure på eksemplerne i examples/interference-map/, den tredje med kshana nmea-scenario scenarios/training/coastal-drag-off.toml --out drag.nmea (kun til træning: før den aldrig ind i levende navigationsudstyr) og den fjerde som i docs/EVIDENCE-PACKS.md.

Den fulde detalje domæne for domæne følger; for et modenhedsregister pr. funktion se docs/CAPABILITY.md og docs/VALIDATION.md.

Hver funktion kan nås som et Rust-API, som en kørbar scenarietype kind eller begge dele. Modenhed pr. funktion — valideret, kørbar eller bibliotek — følges i docs/CAPABILITY.md. En maskinkontrolleret verifikationsmatrix (src/verification.rs) gengiver krydsreferencen krav → modul → test → uafhængig reference → status, med enhedstestede ærlighedsinvarianter, der kun tillader en valideret-etiket, hvor en uafhængig ekstern reference bakker den op — og som registrerer de hardware-/PA-funktioner (product assurance), som Kshana bevidst ikke leverer.

Resultater#

Hvert scenarie sammenligner en kvantesensor med dens klassiske modstykke gennem et GNSS-udfald på ~1,8 h. Tallene er reproducerbare (scenario + seed + version).

_{Hvad kvantesensorer giver, når GNSS er væk — clock-holdover · seed 42 · tegnet ved motor 0.40.0, og hvert tal ovenfor kontrolleres igen mod den aktuelle motor ved hver build af tests/published_figures_still_reproduce.rs · SVG}

Fordelen afhænger af udfaldets længde og vibration med et eksplicit break-even-punkt, hvor klassisk vinder — vist ærligt på tværs af stigen for teknologisk modenhed (tal for optiske ure er mål for jordbaserede demonstratorer; intet optisk strontiumur har fløjet):

_{Krydsning i resiliens mellem kvante og klassisk — TRL-stige for urholdover (øverst) · kort over inertiel fordel med break-even-kontur (nederst). Kan genereres igen via cargo run --release --bin crossover_study.}

Positionsfejl ved dødregning under et GNSS-udfald: kvantesensoren (blå) forbliver flad nær specifikationen; den klassiske sensor (rød) divergerer til titusindvis af kilometer. Genereret af Kshana ud fra scenarios/imu-deadreckoning.toml.

Afslutningen viser fusionstesen: optisk tidsoverførsel mellem satellitter holder selv et klassisk ur låst, så den inertielle sensor isoleres som den klassiske pakkes svage led — dvs. kvanteinertiel + optisk tidtagning sammen.

Urholdover gennem et GNSS-udfald: det optiske ur (blå) holder sig inden for specifikationen på 20 ns under hele overbrygningen; chip-scale-uret (rød) overskrider den undervejs. Genereret af Kshana ud fra scenarios/clock-holdover.toml.

Et yderligere scenarie, orbit-gnss-challenged.toml, udleder GNSS-tilgængelighed ud fra banegeometri i stedet for manuelt forfattede vinduer: et rumfartøj inden for GNSS-skallen propageres mod en GPS-lignende Walker-konstellation, og antallet af synlige satellitter (sigtelinje, jordokkultation, elevationsmaske) fastsætter tilstanden for positionsbestemmelse i hvert trin. Over et døgn har brugeren kun positionsbestemmelse ~59% af tiden; kvanteuret holder en tidsløsning på 5 ns gennem hvert hul (tilgængelighed 1.0), chip-scale-uret kun ~0.83.

Tidsfejl over et døgn med GNSS-tilgængelighed udledt af banegeometri: antallet af synlige satellitter (sigtelinje, jordokkultation, elevationsmaske) fastsætter tilstanden for positionsbestemmelse i hvert trin, så uret må overbryge hvert hul — det optiske ur holder specifikationen på 5 ns, mens chip-scale-uret overskrider den. Genereret af Kshana ud fra scenarios/orbit-gnss-challenged.toml.

Konstellationen kan også gives som egentlige two-line element sets (TLE'er). Et fuldt TLE (linje 1 + linje 2) propageres med den fulde SGP4/SDP4-model — herunder atmosfærisk modstand og de dybrumsled for måne og sol og resonansled på 12 h / 24 h, som har betydning for GNSS-baner på ~12 h — valideret mod de officielle AIAA 2006-6753-vektorer til en værste-tilfælde ≈ 4 mm. scenarios/orbit-sgp4-gps.toml indeholder et egentligt øjebliksbillede fra Celestrak gps-ops af den operationelle GPS-konstellation (2021-07-28, 30 satellitter) og kræver gyldige TLE-kontrolsummer — two-line element sets er åbne data fra kataloget hos US Space Force / 18th Space Defense Squadron, videredistribueret af Celestrak (Dr T. S. Kelso, celestrak.org); opdatér med scripts/fetch_tles.sh. En blok med kun linje 2 beholder den analytiske tolegemepropagering (scenarios/orbit-real-tle.toml); de to former kan blandes i én konstellation. En konstellation kan lige så vel bygges af en blok med poster af typen RINEX-3 GPS broadcast-efemeride — formatet, en modtager afkoder — propageret med brugeralgoritmen i IS-GPS-200 og ført gennem den samme geometri (scenarios/orbit-rinex.toml).

Hvad det er / ikke er#

Det er: en deterministisk motor med få afhængigheder, der spænder over hele PNT-stakken — banegeometri, inertialnavigation, GNSS/INS-fusion, integritet, ure og tidssynkronisering. Den kører et scenarie (ofte et GNSS-udfald), lader kalibrerede sensorfejlmodeller udvikle sig gennem den passende estimator og scorer resultatet mod de operationelle kvalitetsmål — og udsender et reproducerbart JSON-resultat (JavaScript Object Notation) og et SVG-diagram, fra et Rust-bibliotek, en kommandolinjegrænseflade (CLI), en Python-udvidelse, et WebAssembly-modul i browseren, en Model Context Protocol (MCP)-server til AI-agenter eller et plugin til JetBrains IDE (integrated development environment).

Det er ikke: flyvehardware, et design af en kvantenyttelast, en fuld GNSS-signalmodtager, en simulator for radiofrekvenssignaler (RF) eller en hardware-in-the-loop-opstilling eller et certificeret avionikprodukt — og det erstatter ikke MATLAB/Simulink, STK (Systems Tool Kit) eller Orekit; det står ved siden af dem og udveksler filer med dem. Troværdighed for kvantehardware kommer fra offentliggjorte fejlmodeller, ikke fra dette værktøj. Den detaljerede modenhed af hver funktion er dokumenteret i docs/CAPABILITY.md.

Det er (endnu) ikke: en fuld fysikmotor for atominterferometri (de fleste kvantesensorer bruger offentliggjorte Allan-/støjbudgetkoefficienter; CAI-accelerometeret (cold-atom interferometer) har et lag fra første principper — Mach–Zehnder-fase, projektionsstøj, kontrastaftagning og vibrationskobling, plus systematiske effekter fra Coriolis og lysskift — men systematiske effekter fra bølgefronten og opløsning af interferensstribers heltalsmultiplicitet er fortsat et P2-lag på køreplanen (fase 2 på køreplanen, kvantefysiklaget), se ROADMAP.md og docs/QUANTUM-MODELS.md); en certificeret eller hardwarebaseret GNSS-modtager (den løser en positionsbestemmelse med enkeltpunkts-PVT (position, hastighed og tid) ud fra egentlige RINEX-kodeobservationer (Receiver Independent Exchange Format) — valideret på egentlige IGS-data (International GNSS Service) — og dens IQ-lag (kshana iq, siden 0.31.0) opfanger og sporer optagne eller genererede basisbåndssamples i software som en analysemodtager: den styrer ikke radiohardware og udsender ikke, er ikke en certificeret modtager og foretager ikke positionering på bærebølgefase (RTK eller PPP)); eller en fuld pakke til missionsudformning (den har byggeklodser til Lambert / porkchop / manøvre / banebestemmelse, men er laget for præstationssimulering over GMAT (General Mission Analysis Tool)/Orekit, ikke en erstatning). At eje dette omfang er bevidst. Hvis du har brug for fejlbudgetter for koldatom-interferometre fra første principper (f.eks. af kvalitet som CARIOQA-PMP — Cold Atom Rubidium Interferometry in Orbit for Quantum Accelerometry, Pathfinder Mission Preparation — eller validering i stil med X-37B), se køreplanen for P2 og tag kontakt for at samarbejde.

Validering, reproducerbarhed og ærlighed#

• Hvert støjled er kalibreret til et offentliggjort, citeret tal og valideret mod den gængse relation (Allan-afvigelse for ure; Groves' vækst i dødregningsfejl for inertial; omregningen fra tidssynkronisering til afstandsmåling for tidsoverførsel). Status pr. led følges i docs/VALIDATION.md som validated eller not modeled — intet præsenteres som valideret, som ikke er det.
• Reproducerbar ved konstruktion: scenario + seed + engine version → identical bits. scripts/check-reproducible.sh håndhæver det; kørsler med kvante og klassisk bruger uafhængige seeds, så deres støj er ukorreleret.
• Modenhed angives ærligt: tal for optiske ure og optiske links er resultater af mål / jordbaserede demonstratorer, ikke fløjet.

Evidensetiketten på hvert tal#

Hvert tal og hver tabel, en kørsel skriver, siger, hvor meget det kan stoles på, og hvilke registerrækker det hviler på. Resultat-JSON har en nøgle evidence, diagram-SVG en linje under diagrammet (og et element <metadata id="kshana-evidence">), og CSV-tabellen # evidence: kommentarlinjer foran (læst med comment='#'). Den nævner et niveau, VALIDATED, MODELLED eller PARTNER, og id'erne (VM- og otte hex-cifre) på de verifikationsmatrixrækker, kørslen brugte. Niveauet er det svageste af disse rækker, så en kørsel, der læner sig op ad én modelleret række, er betegnet MODELLED, uanset hvor mange validerede rækker der står ved siden af; etiketten kan aldrig hævde mere end registeret. Rækker, statusser og id'er læses fra matricen og er ikke skrevet ind (docs/VERIFICATION-MATRIX.md, docs/SCHEMA.md), og tests/evidence_labels_doc_sync.rs fejler, hvis et tal ikke har en etiket, eller en etiket er uenig med matricen.

Validering i overblik#

Hver række håndhæves af en navngiven test i CI. Denne tabel er et udvalgt højdepunkt; den fulde maskinkontrollerede matrix er på 401 rækker — 176 VALIDATED, 221 MODELLED, 4 PARTNER (src/verification.rs), med den komplette evidens (og hvad der ærligt talt ikke endnu er valideret) i docs/VALIDATION.md og artefaktet kshana-validation-summary.html for hver udgivelse (genereret af cargo run --bin validation_report, SLSA-attesteret — Supply-chain Levels for Software Artifacts).

Kolonnen Status angiver evidensens art, svarende til valideringsstigen ovenfor: VALIDATED = kontrolleret mod en uafhængig ekstern reference (egentlige data, et uafhængigt bibliotek eller offentliggjorte referencevektorer); MODELLED = kontrolleret mod analytisk sandhed eller konsistens i simulationen (intet uafhængigt eksternt datasæt). VALIDATED beskriver metoden for kontrol, ikke bestået/ikke bestået — et ærligt svigt mod en egentlig ekstern reference forbliver VALIDATED, mens en sammenligning, som ingen matrixrække nævner som reference (LRO — Lunar Reconnaissance Orbiter — tilpasningen ovenfor), vises som MODELLED. Rækkerne for CI er procesværn, ikke kvalitetsmål. Nogle få øer med egentlige data (det målte cæsiumur, Stable32 PHASE.DAT og kontrollerne for OPS-SAT/ICGEM, hvor de rå input ikke har nogen licens til videredistribution) er datastyrede: testen udskriver en overspringsmeddelelse og forbliver grøn, når inputtet mangler, og de offentlige referencetal er indlagt under tests/fixtures/. Gengiv de rå input med den tilsvarende scripts/fetch_*.sh.

_{Hvordan en funktion opnår sin mærkning — den CI-håndhævede invariant: ingen ekstern uafhængig reference ⇒ kan ikke være valideret · SVG}

_{Øverst: hver valideret række understøttes af et eksternt datasæt, pr. konstruktion. Nederst: SGP4 stemmer overens med den officielle reference i hvert område (værst 4,12 mm). SVG · SVG}

_{176 Valideret · 221 Modelleret · 4 Partner — SVG}

import json, kshana

toml = open("clock-holdover.toml").read()
result = json.loads(kshana.run(toml))
print(kshana.version(), result["quantum"]["fom"]["holdover_s"], result["classical"]["fom"]["holdover_s"])
# 0.40.0 6600.0 2610.0

Ud over run udstiller modulet run_full (JSON, SVG og enlinjesammenfatningen på én gang), run_typed, validate_toml, list_kinds / scenario_kinds og error_kind; se docs/PYTHON_API.md.

npm-pakken er hele motoren kompileret til WebAssembly. I Node.js skal du give binærfilen til initSync; i en browser henter await init() den (se README.npm.md).

import { readFileSync } from "node:fs";
import { createRequire } from "node:module";
import { initSync, run, summary, version } from "kshana";

const wasm = createRequire(import.meta.url).resolve("kshana/kshana_bg.wasm");
initSync({ module: readFileSync(wasm) });

const toml = readFileSync("clock-holdover.toml", "utf8");
const result = JSON.parse(run(toml));
console.log(version(), result.quantum.fom.holdover_s, result.classical.fom.holdover_s);
// 0.40.0 6600 2610
console.log(summary(toml));

Én motor, mange indgange. En enkelt Rust-kerne (kshana) kører hvert scenarie, nået gennem en CLI, en Python-udvidelse, et WebAssembly-modul i browseren, en MCP-server til AI-agenter og et JetBrains IDE-plugin — alle samlet i én api::run_toml-fordeling. Indeni tilsluttes sensorpakkerne en fælles fejlmodelgrænseflade; ved siden af ligger et referencesystemlag (IAU 2006/2000A-præcession–nutation og den CIO-baserede GCRS↔ITRS-reduktion), et astrodynamisk/numerisk lag (analytisk SGP4/SDP4 og en numerisk Cowell-propagator med sin EGM2008/perturbationskraftmodel, manøvreudformning og banebestemmelse), et integritets-/GNSS-lag (RAIM/ARAIM, SBAS, måledomænet, jamming, cislunar), et fusions-/alt-PNT-lag (GNSS/INS-estimatorerne og tyngde-/terræn-/magnetkortmatcherne), et lag for dybt rum og Månen (radiometrisk Mars-PNT og Månens PNT-suite, med evidensniveau pr. del i matrixen — LTC-tid, VLBI, fælles OD+ur, realisering af referencesystem, servicevolumen, differentiel PNT, interoperabilitet), et missionsanalyselag (opsendelse / genindtrængning / dækning / pegning / passage / linkbudgetter og rumvejrmiljøet) og det åbne studielag for robusthed og maskinlæring (RPCF-robusthedsscoring, optimismegabet ved RF-forstyrrelser og den kvanteunderstøttede PNT-demonstrator), hvis reproducerbare artefakter bygger på de validerede kerner.

To selvstændige workspace-ekskluderede crates ligger ved siden af kernen — mcp/kshana-mcp (MCP-serveren, bygget på edition-2024-SDK'en rmcp) og xval/anise-frames (ANISE/SPICE-krydskontrollen af referencesystemer, som trækker MPL-2.0-afhængigheder (Mozilla Public License 2,0) ind) — holdt uden for den publicerede crates afhængighedsgraf, Cargo.lock, licensport og MSRV-bygning (minimum supported Rust version) af rodens Cargo.toml-liste exclude. JetBrains-pluginnet (ide/jetbrains) er et separat Kotlin-projekt. Se docs/ARCHITECTURE.md for hele sættet af diagrammer.

De gengivne diagrammer (motorflow, modulkort, distribution) findes i docs/ARCHITECTURE.md.

Scenarier og rapporter

Eksport og interoperabilitet

Modtager- og fartøjstillid

GNSS IQ (filer i arbejdsmappen; slået fra i HTTP-tilstand)

Compliance-kortlægning

Benchmark

Hvad Kshana Pro bygger på. Hver del af Pro arbejder ud fra den åbne motor og lader den være uændret:

• Udformningsoptimereren, usikkerhedsstudiet og missionsdossieret kører scenarier fra den åbne motor gennem motorens offentlige grænseflade og beregner hvert tal ud fra kørslernes resultater. Hvert output beholder det evidensniveau, VALIDATED, MODELLED eller PARTNER, som den åbne motor gav hvert tal, aldrig et højere.
• Digitale tvillinger af ure bruger den åbne motors urmodel og dens estimator af Allan-deviation: en tvilling kalibreres til enhedens publicerede Allan-budget og kontrolleres derefter ved at estimere tvillingens Allan-deviation med den åbne estimator.
• Afvejningsstudier kører hver arkitekturmulighed som et scenarie i den åbne motor, uændret, og rangerer mulighederne efter et kvalitetsmål læst fra hver kørsels resultat.
• Kampagneovervågning læser sine tal fra resultaterne af kørsler i den åbne motor af scenarierne i en pakke og sammenligner dem med den foregående bestående kørsel.
• Spektrumkoeksistens læser hvert fysisk tal fra kørsler i den åbne motor af kinds leo-signal og constellation-design og tilføjer kun summen over de satellitter, der er i sigte, og rangeringen af planerne.
• Jobservicen i egne lokaler kører åbne scenarier og Pro-scenarier gennem den samme motor og gemmer hvert resultat, som kørslen returnerede det.
• Bevispakker registrerer for hver kørsel den scenariehash, som den åbne motor stempler på sit resultat, så et tal i en pakke kan gengives ved at køre dens scenarie igen.
• Systemudvikling og programværktøjer. Kshana Pros modelbaserede systemudvikling (MBSE) og programværktøjer kontrollerer et programs krav mod kørsler af den åbne motor: de importerer krav som kommaseparerede værdier (CSV) eller som en dokumenteret delmængde af Requirements Interchange Format (ReqIF) eller af tekst i Systems Modeling Language version 2 (SysML v2), evaluerer hvert acceptkriterium med dets enhed mod de værdier, en kørsel skrev, og frembringer en verifikationskrydsreferencematrix (VCRM), en SysML v2-model, en ændringspåvirkningsrapport og en offline bevispakke. De kører intet igen og genberegner intet, og læser kun det, den åbne motor publicerer: hver kørsels result.json (de felter, et kriterium nævner, deres enheder, reproducerbarhedsstemplet med scenariehash, seed, motorversion og skemaversion samt kørslens mærkning og tal-niveauer), dens report.json (kind, reproducerbarhedspost og funktionsmærkninger), scenariefilen (dens hash, kind, seed og parametre), skemaet for feltenheder (hvert felts enhed, proveniens og evidensniveau) og verifikationsmatrixen (hver funktions mærkning VALIDATED, MODELLED eller PARTNER).

Support og professionelle tjenester#

Kshana er gratis og open source under AGPL-3.0 og professionelt udviklet og vedligeholdt af Ashforde® OÜ (Estland). Den åbne motor er komplet og kan bruges alene. Til organisationer, der har brug for mere, tilbyder Ashforde® OÜ:

• Kommerciel support og integration — indlejring af Kshana i din værktøjskæde, skræddersyede scenarier og prioriterede rettelser.
• Skræddersyede sensormodeller — kalibreret til din hardware, herunder eksportfølsomme robusthedsmodeller, der vedligeholdes i et privat overlay.
• Kshana Pro — proprietær modelbaseret systemudvikling (MBSE) og programværktøjer, der kontrollerer et programs krav mod kørsler af den åbne motor og frembringer en verifikationskrydsreferencematrix (VCRM), en model i Systems Modeling Language version 2 (SysML v2), en ændringspåvirkningsrapport og en offline bevispakke. De kører intet igen og læser kun motorens publicerede output: hver kørsels result.json og report.json, scenariefilen, skemaet for feltenheder og verifikationsmatrixens mærkninger (den fulde liste findes under Udgaver).
• Kshana Pro-værktøjer til udformning, usikkerhed og mission — Pareto-fronten for et udformningsrum, usikkerhed og følsomhed over tusindvis af kørsler og et missionsdossier med én kommando med en verifikationsmatrix og en PDF; se docs/PRO.md.
• Kshana Pro: kampagneovervågning, spektrumkoeksistens og jobservice — en pipeline, der fejler, når et overvåget tal bliver dårligere, signalplaner afprøvet mod de åbne satellitnavigationssignaler i begge retninger og en jobkø i egne lokaler med et hashkædet leveringsregister; se docs/PRO.md.
• Undervisning og rådgivning om analyse af kvante-/klassisk PNT-ydeevne.

Dette er open core-modellen: motoren er og forbliver åbent licenseret; den bærende forretning er ekspertise, support og de proprietære udvidelser — ikke licensgebyrer. Kontakt contact@ashforde.org · ashforde.org.

Installation og bygning#

Kræver en Rust-værktøjskæde (≥ 1,88, rust-version i Cargo.toml; udviklet på 1,93).

git clone https://github.com/ashfordeOU/kshana
cd kshana
cargo build --release
cargo test          # all tests pass

Brug#

Kør et vilkårligt scenarie; CLI'en fordeler efter scenariets kind-felt og skriver <scenario>.result.json, <scenario>.chart.svg, <scenario>.report.html og <scenario>.report.json ved siden af det — plus <scenario>.table.csv for de kinds, der publicerer en tabel. Rapporten (en HyperText Markup Language (HTML)-side og et JSON-dokument med samme indhold) indeholder et resumé for ledelsen, hvert input med sin enhed, resultaterne og diagrammerne, en kampagnes sweep-, Monte Carlo- eller kædetabeller, en tidslinje over hændelser, mærkningen VALIDATED / MODELLED / PARTNER og kilden for hver funktion, kørslen brugte, hvad der ikke er modelleret, og en reproducerbarhedspost (motorversion, Secure Hash Algorithm 256-bit (SHA-256)-digests, seed, platform og den nøjagtige kommando). Den udskrives til en ren PDF-fil (Portable Document Format) fra browseren på A4- eller Letter-papir; motoren skriver ingen PDF selv. Se docs/REPORTS.md.

cargo run -- scenarios/clock-holdover.toml
cargo run -- scenarios/imu-deadreckoning.toml
cargo run -- scenarios/timetransfer.toml
cargo run -- scenarios/hybrid-pnt.toml
cargo run -- scenarios/orbit-gnss-challenged.toml
cargo run -- scenarios/orbit-sgp4-gps.toml
cargo run -- scenarios/orbit-rinex.toml
cargo run -- scenarios/integrity-raim.toml

# Export a propagated constellation to an SP3-c precise-ephemeris file:
cargo run -- scenarios/orbit-sgp4-gps.toml --export-sp3 gps.sp3

# Export the constellation's mean elements to a CCSDS OMM catalogue (one OMM
# message per TLE-defined satellite, with its real NORAD id / COSPAR designator):
cargo run -- scenarios/orbit-sgp4-gps.toml --export-omm gps.omm

# Export the velocity-carrying state to a CCSDS OEM 2.0 ephemeris (GMAT/Orekit/STK):
cargo run -- scenarios/orbit-sgp4-gps.toml --export-oem gps.oem

# Export the geometry for a globe, a map or a mission-analysis tool: CZML, KML,
# GeoJSON, STK .e, or SigMF for the spectrum kind (every format that applies):
cargo run -- scenarios/jamming-demo.toml --export all

--export <czml|kml|geojson|stk|sigmf|all|list> skriver CZML (Cesium Language), KML (Keyhole Markup Language), GeoJSON (Request for Comments 7946), Ansys STK (Systems Tool Kit) .e-efemerider og SigMF-optagelser (Signal Metadata Format) ved siden af scenariet, og --import-route <route.geojson> fører en GeoJSON-linje ind i de kinds, der flyver et spor. Hvert format valideres mod sin publicerede specifikation, og et scenarie, et format ikke gælder for, siger hvorfor: se docs/INTEROP.md.

Andre CLI-tilstande — lint et scenarie, tilfør reelle jordorienteringsdata eller kør en hel suite:

# Lint a scenario without running it (checks the kind + required fields):
cargo run -- --validate scenarios/integrity-raim.toml

# Feed a real IERS Earth-orientation file (finals2000A) for frame precision:
cargo run -- scenarios/orbit-sgp4-gps.toml --eop tests/fixtures/agency/eop/finals2000A_2022001.txt

# Run a SUITE of scenarios into one aggregated, stamped study artifact
# (writes <suite>.study.json + <suite>.study.html next to the manifest):
cargo run -- --study scenarios/quantum-pnt-demonstrator.suite.toml

# Animate a run's time series: an animated SVG, a self-contained HTML player, and a
# numbered SVG frame sequence with manifest.json (see docs/ANIMATION.md):
cargo run -- scenarios/campaign-jam-spoof-holdover-integrity.toml --animate all

Animationseksport. --animate svg|html|frames|all skriver <scenario>.animation.svg (Cascading Style Sheets (CSS)-keyframes, intet script), <scenario>.animation.html (afspil, pause, scrub, hastighed og synkroniserede paneler, uden eksterne aktiver) og <scenario>.frames/ (frame_0000.svg, … plus manifest.json med billeder pr. sekund og varighed). En kampagne afspiller sine faser og alarmer, en spektrumkørsel sit vandfald; temaet følger prefers-color-scheme, og prefers-reduced-motion viser det færdige billede. Den gengiver kørslens egne sampler, byte-identisk ved ny kørsel, og tilføjer ingen evidens. Se docs/ANIMATION.md.

Et suite-manifest er en lille TOML-fil (Tom's Obvious, Minimal Language) — et title og et scenarios = [ … ]-array af scenariestier — som motoren kører efter hinanden, idet hvert resultat (med dets mærkning MODELLED / VALIDATED) samles i ét selvbeskrivende studieartefakt. Se scenarios/quantum-pnt-demonstrator.suite.toml.

Rolle i interoperabilitet. Kshana er ydeevnesimuleringslaget, der sidder ved siden af efterbehandlingsværktøjskæden og ikke erstatter den: før dens RINEX-output ind i RTKLIB eller gLAB for en positionsløsning, og brug dens SP3-output som præcist banedataprodukt til værktøjer som Ginan — Kshana svarer på hvilken robusthed en given PNT-arkitektur giver, før du har reelle signaler, i formater, som disse værktøjer allerede indlæser (--export-sp3, eller export_sp3 = true i et orbit-scenarie, skriver <scenario>.sp3). Den samme bane kan udgives som standardsporets CCSDS OMM-middelelementer (--export-omm, eller export_omm = true, skriver <scenario>.omm) — én OMM 502,0 KVN-meddelelse (keyword = value notation) pr. TLE-defineret satellit, med hvert objekts reelle NORAD-katalognummer (North American Aerospace Defense Command), COSPAR-internationale betegnelse (Committee on Space Research) og epoke, til enhver OMM-bevidst forbruger i stedet for et specialbygget to-linjers elementsæt.

Eksempel på output (urets holdover — bemærk, hvordan kvalitetsmålene for integritet og sikkerhed rapporteres):

scenario 5ba83a232b94 | quantum holdover 6600s p95 1.20e-4ns integrity 1.000 security n/a (no attack) | classical holdover 2610s p95 19.7ns integrity 1.000 security n/a (no attack)
wrote scenarios/clock-holdover.result.json, scenarios/clock-holdover.chart.svg, scenarios/clock-holdover.report.html, and scenarios/clock-holdover.report.json

Det optiske urs 95. percentil (p95) af tidsfejl er 1.20e-4 ns: oversigten udskriver små værdier med betydende cifre i stedet for at afrunde dem til 0.0. security viser n/a (no attack), fordi dette scenarie ikke konfigurerer noget angreb, så der intet er at opdage. JSON-resultatet rummer stadig hvert urs analytiske grænse for spoof-detekterbarhed i fom.security (0,997 for det optiske ur, 0,000 for det chipskala-atomur, hvis egen støj over overvågningsvinduet overstiger specifikationen på 20 ns), og dets figure_tiers-blok markerer dette tal applicable: false. Scenariekinden spoof scorer detektion mod et indsprøjtet angreb. figure_tiers giver også hvert rapporteret tal dets verifikationsniveau — VALIDATED (kontrolleret mod en ekstern uafhængig reference) eller MODELLED — og den række i verifikationsmatrixen, niveauet læses fra. Bane-scenariet rapporterer desuden en geometriblok — andelen af sampler med en positionsbestemmelse og bedste/median position dilution of precision (PDOP) og positionsnøjagtighed — ved siden af urets resultat.

Læs disse to tal omhyggeligt. security er en analytisk grænse for spoof-detekterbarhed udledt af hvert urs stabilitet — den har kun mening over for et konfigureret spoofingscenarie og er ikke en RAIM-detektor med flere satellitter. integrity er her filterets selvkonsistens (andelen af udfaldssampler inden for dets egen k-sigma-grænse), ikke et integritetstal for luftfart i form af HPL/VPL. Se docs/INTEGRITY.md.

Til ægte modtagerautonom integritet kører scenariekinden integrity (scenarios/integrity-raim.toml) ægte snapshot- og løsningsseparations-RAIM (ARAIM-lignende) over den propagerede konstellationsgeometri: den beregner vandrette/lodrette beskyttelsesniveauer (HPL/VPL) pr. epoke og rapporterer andelen af epoker, der ligger inden for de konfigurerede alarmgrænser, med et Stanford-integritetsdiagram til klassifikation af fejl mod PL (protection level).

Reproducerbare studieartefakter

Fire åbne studier genskaber hver et byte-deterministisk artefakt (fast seed) fra én kommando — tallene bag studierne af kvante- mod klassisk krydsningspunkt, optimismegab ved RF-forstyrrelser, scoring af PNT-robusthed og beskyttelsesniveau for tidssynkronisering:

# Quantum-vs-classical resilience crossover map (writes paper/crossover/*.json):
cargo run --release --bin crossover_study -- paper/crossover

# RF-impairment optimism-gap study (13-detector panel, scaling laws, LOO predictor):
cargo run --release --example optimism_study -- paper-artifacts/optimism-study.json

# Framework-aligned PNT-resilience scoring + decision-instability study:
cargo run --release --example resilience_report -- paper-artifacts/resilience-study.json

# Conditional Timing Protection Level, calibrated on a real recorded spoof:
cargo run --release --example tpl_jammertest

Hvert artefakt registrerer sin motorversion, sine seeds og en konfigurationshash og bærer en ærlig mærkning MODELLED/VALIDATED. Probes med reelle data (*_probe) kører den samme pipeline over optagelser, du selv leverer lokalt; ingen datasæt følger med i repoet. Studiet af optimismegabet ved RF-forstyrrelser er skrevet op i preprinten arXiv:2606,22054, og det betingede beskyttelsesniveau for tidssynkronisering (tpl_jammertest ovenfor) i preprinten arXiv:2606,24210 (se Citér).

De publicerede studier af månens PNT (arXiv:2607,06212 DOP med overfladebeacons, arXiv:2607,02566 VLBI-observerbarhed og arXiv:2610,23871 cislunar observerbarhed af buelængde) har deres påstande om geometri, dilution of precision, realtidsforudsigelse af referencesystem / jordorienteringsparametre (EOP), fjerne retrograde baner og RF-afstandsmåling uafhængigt krydskontrolleret i tests/validate_p*.rs mod separate uafhængige referencer (scipy.special.j1, en uafhængig NumPy-DOP-løsning med (HᵀH)⁻¹, en NumPy-genindlæsning af de samme IERS finals2000A-rækker og NASA/JPL's Three-Body Periodic Orbit Database). Det er yderligere regressionskontroller over den modellerede månesuite; de ændrer ikke antallet i den maskinkontrollerede matrix.

Scenarieformat#

Scenarier er deklarativ TOML. Et kind på øverste niveau vælger pakken — i alt halvtreds (clock er standard, hvis det udelades): inertial, timetransfer, hybrid, hybrid-ukf, fusion, gnss-ins, orbit, ephemeris, gnss-sim, integrity, lunar-integrity, lunar-time-offset, spoof, spoof-detect, jamming, sweep, sweep-nd, gravity-map, terrain-nav, terrain-slam, combined-altpnt, pvt, mars-pnt, impairment-eval (testbænk til evaluering af RF-forstyrrelsesdetektion med maskinlæring — mærket syntetisk korpus + detektoruafhængig ROC/AUC-harness + optimismegab i/uden for fordelingen), quantum-trade (afvejning mellem kvante og klassisk PNT med indlæsning af målt ADEV + robusthedskuvert uden GNSS; MODELLED), space-weather (sol-/geomagnetiske indekser + Jacchia-71 eksosfærisk temperatur + aktivitetsdreven termosfærisk tæthed oven på den statiske atmosfære; MODELLED), oem-interop (CCSDS OEM-import/rundturs-bro til GMAT/Orekit/STK-efemerider; MODELLED), missionsanalysetrioen launch-window (tolegemers opsendelsesazimut / planskift / muligheder), reentry (Allen-Eggers ballistisk genindtrængningskorridor), eo-coverage (EO-sporbredde / GSD / adgang / genbesøgsgeometri), space-packet (CCSDS 133,0 TM/TC — telemetri/telekommando — Space Packet-indramning — nøjagtigt bitlayout, rundtur verificeret) og attitude-budget (3-DOF-tyngdegradientmoment + RSS-budget for pegefejl), passes (forudsigelse af jordstationspassager ved opgang/nedgang — AOS/TCA/LOS, maksimal elevation, adgang) og link-budget (envejs CCSDS/DSN-linkligning — FSPL / Eb·N₀ / margin / lukning); telecom-timing (tidsfejl under holdover, MTIE og TDEV kontrolleret mod ITU-T-masker); spectrum (hele GNSS L-båndet som én effektspektraltæthed: et vandfald over frekvens og tid under en scriptet tidslinje for en jammer med kontinuert bølge, smalbånd, chirp eller matchet støj, jammer-til-signal-forhold pr. bånd og effektiv bærebølge-til-støjtæthed ud fra spektralseparationskoefficienten samt Signal Metadata Format (SigMF)-optagelse som input og output med Welch-spektralestimater; signalspektrene VALIDATED mod lærebogsværdier, jammerscenariet MODELLED; se docs/SPECTRUM.md; den samme kind tegner UHF-, S- og C-båndspaneler med udformede signaler fra lav jordbane); leo-signal (signaludformninger til positionering, navigation og tidssynkronisering fra lav jordbane for ethvert system: båndbegrænsede spektre, kodesporings-jitter og afstandsnøjagtighed, erhvervelsessøgning og -tid, spektralseparation mod GPS og Galileo, jammertolerance og en afvejning mellem UHF og C-bånd, ud fra offentlige forudindstillinger som Xona Pulsar, Iridium, Starlink og CentiSpace eller inline-udformninger; de lukkede former og LEO-Doppler VALIDATED, udformningerne MODELLED; se docs/LEO-SIGNAL.md); solar-system (Solen, planeterne, Pluto, Månen og syv store måner ved én epoke — positioner, konstanter, lystider og banespor; planetpositioner VALIDATED mod JPL Horizons) og body-pnt (positionering omkring hvert af disse legemer med en lokal navigationskonstellation og et dybrumslink fra Jorden; MODELLED); campaign (eksisterende kinds sammensat til en kædet missionstidslinje med tilstand overdraget mellem faser, en parametersweep, et seedet Monte Carlo-ensemble eller flere scenarier under én fælles betingelse; MODELLED, se docs/CAMPAIGNS.md); constellation-design (Walker-delta- og -stjernemønstre, elementlister og multi-shell-udformninger med forudindstillinger for GPS, Galileo, BeiDou og GLONASS samt dækning og dilution of precision over et bredde-/længdegradsgitter; generatoren og GPS' globale DOP VALIDATED mod de publicerede servicedokumenter, se docs/CONSTELLATION-DESIGN.md); leo-pass (en passage af en satellit til positionering, navigation og tidssynkronisering (PNT) i lav jordbane (LEO) og dens linkbudget bånd for bånd, fra enhver konstellation og ethvert signaldesign: synsvinkler, Doppler og Doppler-rate, ITU-R-tab ved regn, gas, scintillation og indtrængning i bygninger, bærebølge-til-støjtæthed mod de MEO GNSS-satellitter, der er i sigte, første ordens ionosfære og ionosfærefrie par og et lavenergibudget for positionsbestemmelse, ionosfærelodning fra hvert båndpar og spoofingovervågninger ved Doppler- og passagegeometrikonsistens og ved konsistens på tværs af bånd; ITU-R-leddene og Doppler-kuverten for statisk bruger VALIDATED, passagen MODELLED, se docs/LEO-PASS.md); leo-navmsg (udsendt efemeride- og urmeddelelse fra en PNT-satellit i lav jordbane (LEO), for enhver bane og bærebølge: en tilpasser fra en integreret reference-bane til Galileos Kepler-sæt, det sæt med langs-banen-, på-tværs- og radiale korrektionspolynomier, Liu et al. 2025 22-parametermodellen eller ATOMIC's nulur-ECEF-polynomium; signal-i-rummet-afstandsfejl (SISRE) mod tilpasningsinterval og opdateringsperiode, en kontrol af kontinuitet ved opdatering midt i passagen, Kshanas egen dokumenterede binære ramme med en CRC-24Q-cyklisk redundanskontrol og et kvantiseringsbudget samt en blok i RINEX-4-stil mærket som en Kshana-udvidelse; SISRE-vægtene, Galileo-brugeralgoritmen og CRC-24Q VALIDATED, tilpasningerne MODELLED; valgfrie forudindstillinger for Xona Pulsar, Iridium, Starlink, CentiSpace, et repræsentativt C-båndssystem, ATOMIC og Celeste IOD; se docs/LEO-NAVMSG.md); trioen med fusioneret MEO + LEO PNT leo-pvt (Doppler-positionering ud fra afstandsrate fra lav jordbane (LEO), fælles GNSS + LEO-pseudoafstandspositionsbestemmelser med intersystembiaser og DOP mod antallet af LEO-satellitter, polar- og arktisk dækning og LEO-tidsoverførsel til UTC — over enhver konstellation, med valgfrie forudindstillinger som Xona Pulsar-, Iridium- og Starlink-signaler af opportunity; LEO-Doppler-kuverten VALIDATED mod publicerede Iridium- og Xona-tal), leo-ppp (konvergens af præcis punktpositionering med kun GNSS og med LEO-augmentering, sammenlignet med Li et al. 2019) og ntn-positioning (5G-positionering via ikke-terrestriske net ud fra Cramér-Rao-grænsen for signalets båndbredde), MODELLED bortset fra den kuvert, se docs/LEO-PNT-FUSION.md; leo-pnt-chain (ét LEO-PNT-system fra ende til anden: en leo-signal-udformning båret af et leo-pass-bånd, passagens C/N0 og navigationsmeddelelsens signal-i-rummet-afstandsfejl overdraget til en fusioneret leo-pvt-positionsbestemmelse og leo-ppp-konvergens, hver overdragelse opført; MODELLED, se docs/LEO-PNT.md, som også er oversigten over hver LEO-PNT-kind og hvert scenarie, herunder robusthedskampagnerne, ét scenarie pr. eksperimentfokusområde og ét pr. slutbrugervertikal); månens PNT-suite lunar-vlbi, lunar-joint-od-clock, lunar-frame-realisation, moonlight-service-volume, lunar-differential-pnt, lunar-interop-export; den kvanteunderstøttede PNT-demonstrator quantum-time-transfer, quantum-gnss-free-nav, quantum-anomaly-detect; og forskningskinds for signalsikkerhed, cislunar og lagdelt robusthed lunar-attack-surface, realtime-frame-eop, lunar-time-budget, hybrid-optical-rf, cislunar-observability, conflict-resilience — missionsanalysetrioen og disse senere kinds alle MODELLED (hver med en valideret lukket kerne; se matrixen). Fælles felter: seed, et [time]-gitter, en [gnss]-tilgængelighedstidslinje (udfaldsdriveren) og blokke pr. sensor med provenance-strenge, der angiver kilden til hvert tal. Eksempel (ur):

seed = 42
threshold_ns = 20.0
[time]
step_s = 10.0
duration_s = 7200.0
[gnss]
windows = [
  { t0 = 0.0,   t1 = 600.0,  state = "nominal" },  # 10 min GNSS sync
  { t0 = 600.0, t1 = 7200.0, state = "denied"  },  # ~1.8 h outage
]
[clock_quantum]
id = "optical-sr-lattice"
provenance = "Strontium optical lattice clock, space-oriented goal sigma_y(1s)=1e-15 (arXiv:1503.08457)"
y0 = 5.0e-17
q_wf = 1.0e-30   # white FM:  q_wf = sigma_y(1s)^2
q_rw = 0.0       # random-walk FM
drift = 0.0      # linear aging (per second)
[clock_classical]
id = "csac-sa45s"
provenance = "Microchip SA65 / SA.45s CSAC datasheet sigma_y(1s)=3e-10"
y0 = 5.0e-10
q_wf = 9.0e-20
q_rw = 0.0
drift = 0.0

Valgfrie felter (slået fra, når de mangler): et ur kan tilføje flicker_floor (1/f FM — frekvensmodulation — Allan-bundgrænse); en inertisensor kan tilføje gyro_bias og q_arw (gyrobias og vinkelrandomwalk) samt bias_instability og q_aa (Allan-bundgrænsen for biasustabilitet og accelerationsrandomwalk) — tilsammen et enkeltakset (1-DOF) fejlbudget for accelerometer (VRW/ARW — hastigheds-/vinkelrandomwalk — og biasustabilitet). Det er det fejlbudget, som den medfølgende pakke af scenariet inertial kører. Særskilt rummer biblioteket nu en verificeret 3-akset strapdown-navigator (src/inertial/{attitude,mechanization,imu_errors}.rs): kvaternionattitude med coning/sculling-kompensation, en fuld NED-mekanisering (led for jordrotation og transportrate, WGS-84 Somigliana-tyngde) og en deterministisk IMU-fejlmodel, hvor skalafaktor, fejljustering, g-følsomhed, kvantisering og rate-ramp er modelleret (IEEE Std 952-1997, IEEE's standard for gyrospecifikation og testprocedure, §A.2; Groves 2013 §4,3). Den 3-akse-vej er nu koblet til en kørbar løst koblet GNSS/INS-pakke (kind = "gnss-ins"): et 15-tilstands fejltilstands-EKF disciplinerer strapdown-løsningen mod støjfyldte positionsbestemmelser, mens GNSS er oppe, og kører derefter frit gennem udfaldet og rapporterer den fusionerede vandrette fejl mod den åbne sløjfes frie INS-kørsel. En tæt koblet pseudoafstands-opdatering er også tilgængelig (den danner innovationen i afstandsdomænet, så den fortsætter med at korrigere med færre end fire satellitter). Et scenarie med urets holdover kan tilføje runs (> 1) for at køre et Monte Carlo-ensemble — hvert kvalitetsmål rapporteres så som et gennemsnit med en spredning fra 5. til 95. percentil, og diagrammet skraverer fejlens konfidensbånd (se scenarios/clock-ensemble.toml).

Et fusion-scenarie (samme blokke som hybrid) kører to uafhængige Kalman-estimatorer — én for urets tilstand, én for positionstilstanden — disciplineret af GNSS og hjulpet af optisk tidsoverførsel, og rapporterer et samlet kvalitetsmål for holdover. De to blokke deler ingen krydskovarians: det er et stablet par fejlbudgetter, ikke et ægte koblet fælles filter for ur+position (krydskovarians mellem blokkene står på køreplanen). Se scenarios/fusion-pnt.toml.

Et spoof-scenarie indsprøjter en tidsspoof — én af fire [attack.shape]-kinds (linear_ramp, step_jump, meaconing, replay; en blot rate_ns_per_s accepteres stadig som en lineær rampe) — og kører hvert urs spoofdetektor. Detektoren er en tosidet χ²₁-energitest / Neyman–Pearson-test på urstøttet overvågningsstatistik: tærsklen fastsættes ud fra et mål for falsk alarm target_pfa, og sandsynligheden for mistet detektion P_md rapporteres både på lukket form og ved Monte Carlo (mc_runs forsøg pr. hypotese — de to stemmer overens inden for nogle få ×1/√N). Kvalitetsmålet for sikkerhed er 1 − P_md ved den operationelt skadelige (specifikations-)størrelse, så et roligt ur, der fanger en spoof af specifikationens størrelse, scorer ≈ 1, og et støjfyldt ur, der ofte overser den, scorer lavere (se scenarios/spoof-attack.toml, scenarios/spoof-meaconing.toml).

Et gnss-sim-scenarie er en simulering i måledomænet: for hver synlig satellit syntetiserer det pseudoafstanden ρ = geometric range + c·δt_rx − c·δt_sv + I + T + noise + multipath og L1-Doppler med Klobuchar-ionosfæren for enkelt frekvens ([iono], IS-GPS-200 §20.3.3.5.2.5) og Saastamoinen-zenittroposfæren projiceret med Niell (1996)-afbildningsfunktionen ([tropo]). Residualerne forsyner snapshot-RAIM med HPL/VPL pr. epoke, og hver satellits pseudoafstand, Doppler, C/N₀ og iono-/tropo-korrektioner udsendes i JSON-arrayet gnss_measurements. Det er en fremadrettet simulator (den genererer målinger ud fra en kendt reference), ikke en modtager/solver — en kørsel uden støj gengiver geometri plus korrektionerne til under en millimeter (se scenarios/gnss-sim-raim.toml).

Et jamming-scenarie modellerer RF-interferens som et linkbudget: en [jammer] (ECEF-position, sendt power_dbw, type) hæver jammer-til-signal-forholdet ved en [receiver], der iagttager en Walker-[constellation]. Ud fra geometrien (frirumstab og modtageantennens forstærkning pr. retning) beregner det hver satellits J/S, den effektive C/N₀ via standardligningen for anti-jam (afspredningsprocesgevinst × spektralseparationsfaktoren Q; Kaplan & Hegarty §9,4), og markerer tab af lås under en konfigurerbar sporingstærskel — og rapporterer et kvalitetsmål for availability_under_jamming. En bredbåndsjammer på 10 W ved 1 km nægter modtageren helt (J/S ≈ 72 dB); den samme jammer ved 100 km forringer kun linkene (se scenarios/jamming-demo.toml).

Et sweep-scenarie kører et afvejningsstudie: det varierer én parameter (threshold_ns, duration_s, quantum_q_wf eller classical_q_wf) fra start til stop over steps punkter på en lin- eller log-scale, registrerer en metric (f.eks. holdover_s) for begge ure og tegner de to kurver. Basisscenariet placeres under [base] (se scenarios/sweep-clock-stability.toml).

Et sweep-nd-scenarie generaliserer dette til enhver pakke og et vilkårligt antal akser: det varierer punkterede TOML-nøgler i et [base]-scenarie (af enhver kind) over det kartesiske produkt af [[axes]], kører hvert gitterpunkt igen og registrerer metrics angivet som punkterede JSON-stier ind i resultatet (f.eks. classical.fom.holdover_s). Det virker for hver pakke, fordi det opererer i grænsefladen mellem TOML og resultat; native kørsler evaluerer gitteret parallelt (ingen ekstra afhængighed, wasm falder tilbage til sekventielt), og outputtet er deterministisk og rækkevist (se scenarios/sweep-nd-inertial.toml).

Et orbit-scenarie udleder [gnss]-tidslinjen ud fra geometri i stedet for at forfatte den — angiv en [user]-bane, en [constellation], en elevationsmask_deg og de to urblokke. Det rapporterer også positionsnøjagtighed ud fra satellitgeometrien; den valgfrie sigma_uere_m (1-sigma brugerækvivalent afstandsfejl, standard 1 m) skalerer position dilution of precision til en positionssigma. Brugerbanen kan gøres excentrisk med eccentricity og argp_deg, og j2 = true tilføjer sekulær drift fra Jordens fladtrykthed (se scenarios/orbit-molniya.toml). Konstellationen kan i stedet være en reel: giv [constellation] en tle-blok med to-linjers elementsæt, og satellitterne parses ud fra den (se scenarios/orbit-real-tle.toml). Tilføj en eller flere [[constellations]]-blokke for multi-GNSS (f.eks. GPS + Galileo; se scenarios/orbit-multignss.toml):

kind = "orbit"
seed = 7
threshold_ns = 5.0
mask_deg = 10.0
sigma_uere_m = 1.0           # optional; position sigma = position-DOP * this
[time]
step_s = 60.0
duration_s = 86400.0
[user]                       # spacecraft (altitude in km, angles in deg)
altitude_km = 8000.0
inclination_deg = 0.0
[constellation]              # Walker-delta GNSS (GPS-like)
altitude_km = 20180.0
inclination_deg = 55.0
planes = 6
sats_per_plane = 4
phasing_f = 1.0
[clock_quantum]  # ... as above
[clock_classical]  # ... as above

GPS-nægtede alt-PNT-kinds navigerer helt uden GNSS og afstemmer en målt feltsekvens mod et kort gennem et partikelfilter. Et gravity-map-scenarie flyver et spor gennem et tyngdeanomalifelt i kugleharmoniske og genskaber det ud fra aflæsningen fra et koldatom-gravimeter (scenarios/gps-denied-gravity-nav.toml); et terrain-nav-scenarie gør det samme mod en SRTM-højdemodel (DEM) (TERCOM/SITAN, scenarios/terrain-nav.toml); og et combined-altpnt-scenarie fusionerer tyngde + IGRF-magnetisme + terræn i ét filter (scenarios/combined-altpnt.toml).

Et lunar-integrity-scenarie evaluerer cislunar PNT: det kører en ARAIM-beskyttelsesniveaupassage ved Månens sydpol mod et LunaNet/LNIS-relæsæt og rapporterer ærligt integritetsgabet — en lunar σ_URE på ~30 m driver beskyttelsesniveauet langt over en alarmgrænse på 50 m, så servicen er utilgængelig under integritetsregler i luftfartens stil (scenarios/lunanet-araim.toml).

Et lunar-time-offset-scenarie rapporterer den relativistiske ur-rate mellem Jorden og Månen — grundlaget for en månekoordinattidsskala (LTC/TCL). En post-newtonsk identitet ud fra første principper summerer forskellen i selvpotentiale (IAU L_G-geoidepotentiale minus Månens overfladeselvpotentiale) og Månens kinetiske led (andenordens Doppler) til en sekulær rate på ≈ 57 µs/dag, rapporteret med det publicerede bånd på 56–59 µs/dag; det giver også den akkumulerede LTC−TT-forskydning over en horisont og et ensemble med invers varians (et lunart papirur). MODELLED — hovedtallet er referenceafhængigt (jordens geoide mod månens selenoide, middelvindue), hvorfor der rapporteres et bånd og ikke et enkelt certificeret tal (scenarios/lunar-time-offset.toml).

Se scenarios/ for mindst ét udarbejdet eksempel på hver type (92 typer, 193 scenariefiler .toml + 1 suitemanifest — flere typer leveres med mere end ét eksempel). Ikke hver type har en fil opkaldt efter sig: lunar-integrity → scenarios/lunanet-araim.toml og gravity-map → scenarios/gps-denied-gravity-nav.toml er to af flere sådanne. Vis de fordelbare typer når som helst med cargo run -- --validate <file> fejl, Python-funktionen list_kinds() eller MCP-værktøjet list_scenario_kinds.

Output#

Resultatartefaktet er versioneret, selvbeskrivende JSON: tidsserier pr. trin, de scorede kvalitetsmål, de aktive modelspecifikationer (med proveniens), seed, en scenariehash — så ethvert diagram kan genskabes ud fra filen — og for hvert ur en adev_curve ([{tau_s, adev, n_samples, noise, edf, ci_lo, ci_hi}]): den overlappende Allan-deviation over oktavfordelte middelværdityder — den gængse måde at aflæse et urs stabilitet på — nu med et støjtypespecifikt 95 %-konfidensbånd pr. punkt (postens potenslovstype identificeres ud fra dens modificerede Allan-hældning, og χ²-intervallet bruger de tilsvarende effektive frihedsgrader fra NIST SP 1065). Browserens playground gengiver det som et log-log-diagram "Clock stability (ADEV)". (MDEV, TDEV og HDEV er tilgængelige som bibliotekets estimatorer; den eksporterede resultatkurve er den overlappende ADEV.) Hvert felt, med enheder og en kildehenvisning, er dokumenteret i docs/SCHEMA.md.

Hvert diagram er selvbeskrivende. Browserens playground, CLI'ens *.chart.svg-eksport og HTML-resultatkortet (HyperText Markup Language) stempler alle hvert diagrambillede med en fodlinje, der lyder Kshana v<version> · scenario <hash> · kshana.dev. scenario <hash> er de første 12 hex-tegn af kørslens scenariehash — en SHA-256-digest (den 256-bit Secure Hash Algorithm) over den kanoniske scenariedefinition (seed, tærskler, modelparametre, GNSS-vinduer, …); integritets- og månerapporterne, som ikke bærer nogen egen hash, falder tilbage til en SHA-256 af scenariets kilde. Den er det samme fingeraftryk, som vises i enlinjesammenfatningen og resultat-JSON, så et gemt eller indsat diagram altid bærer sin version, det nøjagtige scenarie, der frembragte det (til bit-for-bit-gengivelse), og kilden — ændr et input, og hashen ændres.

Kvalitetsmålene følger de gængse operationelle kvalitetsmål for PNT:

Ny med disse begreber? Hvert er defineret i klart sprog i ordlisten.

Repositoryets opbygning#

kshana/
├── src/                                       # the kshana core crate (library + CLI)
│   ├── api.rs · main.rs · lib.rs              # typed dispatch (92 kinds) + CLI + crate root
│   ├── python.rs · wasm.rs                    # optional PyO3 / wasm-bindgen bindings
│   ├── types.rs · scenario.rs · allan.rs      # shared core (time grid, GNSS timeline, Allan)
│   │
│   ├── models.rs · estimator.rs · kalman.rs   # Pack 1 — clock holdover + integrity
│   ├── security.rs · detection.rs · spoof.rs · spoof_monitors.rs  # spoof detection
│   ├── filter_health.rs · fom.rs · fom_label.rs · report.rs · chart.rs · run.rs  # health · FoM scoring + labelling · output
│   ├── suite.rs · study.rs                     # scenario suites + aggregated multi-scenario study artifacts (`--study`)
│   ├── inertial/                              # Pack 2 — strapdown INS (attitude · mechanization · imu_errors · quantum_imu)
│   ├── timetransfer.rs · timetransfer_adv.rs · timegeo.rs  # Pack 3 — TWSTFT/CV/PPP/optical, Sagnac
│   ├── hybrid.rs · ensemble.rs · sweep.rs     # Pack 4 — fused PNT, Monte-Carlo, trade sweeps
│   │
│   ├── timescales.rs · jd2.rs · ephem.rs      # time systems, two-part JD, Sun/Moon ephemeris
│   ├── precession.rs · nutation.rs · cio.rs   # IAU 2006/2000A precession-nutation + CIO GCRS↔ITRS
│   ├── frames.rs · *_data.rs                  # TEME↔ECEF + generated nutation/CIO/EGM2008/IGRF tables
│   │
│   ├── orbit.rs · sgp4.rs · tle.rs · walker.rs   # geometry, SGP4/SDP4, TLE, Walker design
│   ├── propagator.rs · forces.rs · gravity_sh.rs · integrator.rs  # Cowell + perturbations (EGM2008 d/o70, GR) + RK4/DOPRI
│   ├── maneuver.rs · batch_ls.rs · orbit_determination.rs  # burns/Lambert/porkchop, Gauss-Newton, OD
│   ├── cr3bp.rs · lunar.rs · lunar_frame.rs · lunar_od.rs  # Earth–Moon CR3BP + halo/NRHO STM corrector, cislunar/LunaNet ARAIM, MCI↔MCMF, lunar OD
│   ├── lunar_time.rs · lunar_vlbi.rs · lunar_combination.rs · lunar_frame_realise.rs · lunar_service.rs · lunar_dpnt.rs · lunar_interop.rs  # tiers per piece in the matrix lunar PNT suite — LTC time · geodetic VLBI · joint OD+clock · frame realisation · Moonlight service-volume · differential PNT · LunaNet/IOAG interop export
│   ├── body.rs · mars_frame.rs · ephem_provider.rs · radiometric.rs · ccsds_tdm.rs  # deep-space: multi-body · Mars frame · ephemeris seam · radiometric obs + CCSDS-TDM
│   ├── deepspace_od.rs · clock_state.rs · mars_atmos.rs · mars_pnt.rs · linkbudget.rs · gse_sim.rs  # SRIF OD · onboard clock · Mars drag · relay-PNT · link budget · GSE sim
│   │
│   ├── fusion/                                # GNSS/INS — EKF · UKF · tightly_coupled(17) · coupled · closed_loop
│   ├── raim.rs · sbas.rs                      # RAIM/ARAIM HPL/VPL, SBAS DO-229E PLs + L1/L5 iono-free
│   ├── gnss_sim.rs · ionex.rs · pvt.rs · jamming.rs  # measurement domain · ionosphere maps · single-point positioning · jamming
│   ├── navsignal.rs                            # nav-signal PSD (BPSK-R/BOC) · spectral-separation → anti-jam Q · DLL code-tracking jitter · multipath envelope
│   ├── gravimeter.rs · igrf.rs · mapmatch.rs · particle_filter.rs · altpnt/  # gravity/magnetic/terrain alt-PNT
│   ├── rinex.rs · rinex_obs.rs · glonass.rs · sp3.rs · oem.rs · omm.rs · permalink.rs  # interop formats
│   ├── launch.rs · reentry.rs · eo_payload.rs · attitude_budget.rs · passes.rs · space_packet.rs  # mission-analysis budgets + CCSDS Space Packet
│   ├── space_weather.rs · holdover.rs · tpl.rs   # space-weather environment · GNSS-denied clock-holdover calculator · conditional Timing Protection Level (under spoofing)
│   ├── resilience/                              # framework-aligned PNT-resilience scoring + decision-instability study (RPCF · Dirichlet · Kendall-τ · diversity collapse · assurance report)
│   ├── impairment_eval.rs · impairment_study.rs · impairment_ml.rs · eval_stats.rs  # Machine-learning RF-impairment eval testbed · optimism-gap study · LR/MLP detectors · bootstrap/DeLong/Spearman stats
│   ├── sdr.rs · realdata/                       # software-defined-receiver front end (IQ/IF → E/P/L taps → SQM) + real-data ingest adapters (RINEX · UBX · GnssLogger · JammerTest · Yunnan · SatGrid)
│   ├── crossover.rs · quantum_trade.rs · frugal.rs · integrity_impact.rs  # quantum-vs-classical crossover map · PNT trade · cost-per-coverage ROI · integrity impact
│   ├── quantum_devices.rs · quantum_faults.rs · quantum_nav_od.rs · qtrade.rs · timetransfer_chain.rs · representativeness.rs  # Quantum-Enabled PNT demonstrator — device error models · fault catalogue · GNSS-free quantum OD · unified trade harness · quantum time-transfer chain · representativeness / gaps-to-flight ledger
│   ├── interchange.rs · verification.rs          # KIF artifact envelope · machine-checked verification matrix
│   └── bin/crossover_study.rs · bin/validation_report.rs  # crossover-study artifact generator · release validation-summary HTML
│
├── mcp/kshana-mcp/        # standalone, workspace-EXCLUDED crate — the MCP server (+ Dockerfile, server.json)
├── ide/jetbrains/         # standalone Kotlin/Gradle IntelliJ-Platform plugin
├── xval/                  # standalone, workspace-EXCLUDED external cross-checks: anise-{frames,lunar-od,mars-od,service-geometry} (Rust ANISE/SPICE DE440) + orekit-passes (Java Orekit)
│
├── examples/            # reproducible study generators: tpl_jammertest · resilience_report · optimism_study + real-data probes (jammertest_probe · yunnan_probe · satgrid_probe · texbat_probe · ingest_realdata)
├── paper-artifacts/     # byte-deterministic study artifacts, regenerable from examples/ (optimism-study.json · resilience-study.json); raw datasets stay out
├── scenarios/            # one cited .toml per kind + geometry-driven + GPS-denied
├── scripts/              # reproducibility + repo-hygiene + SBOM guards
├── docs/                 # CONCEPTS, ARCHITECTURE, CAPABILITY, VALIDATION, PROVENANCE, GLOSSARY, …
├── web/                  # the WebAssembly playground + kshana.dev site
├── tools/                # table generators (EGM2008 · IGRF · nutation · CIO) + fetch_tles.sh
├── .github/workflows/    # ci · release · publish · wheels · pages · mcp-publish · jetbrains-plugin · frame-xval
├── pyproject.toml        # Python packaging (maturin)
├── CHANGELOG.md          # Keep a Changelog + SemVer
└── CITATION.cff · ROADMAP.md · CONTRIBUTING.md · SECURITY.md

FAQ#

Skal jeg forstå kvantefysik for at bruge dette? Nej. Hvis du kan køre en kommandolinje, kan du køre Kshana. Start med primeren i klart sprog; slå begreber op i ordlisten.

Er dette en udformning af kvantehardware eller flyvesoftware? Nej. Det er en simulator af ydeevne. Kvantehardwarens troværdighed kommer fra publicerede fejlmodeller, ikke fra dette værktøj. Se Hvad det er / ikke er.

Er kvanteresultaterne realistiske, eller er det markedsføring? Hver parameter er henvist til et datablad eller en artikel, hver model er valideret mod en lærebogsrelation, og modenhed er ærligt mærket i VALIDATION.md — herunder at intet strontium-optisk ur har fløjet. Motoren er neutral: kvante og klassisk er den samme kode med forskellige publicerede tal.

Kan jeg stole på, at to kørsler stemmer overens? Ja — kørsler er deterministiske: scenario + seed + engine version → bit-identical output, håndhævet af scripts/check-reproducible.sh.

Kan jeg bruge det fra Python eller i en browser? Ja — se Installation: eksemplerne for Python og WebAssembly står under den. Begge kalder den samme motor.

Hvordan modellerer jeg min egen sensor? Skriv et scenarie .toml med din sensors publicerede tal i provenance-felterne. Se Scenarieformat og eksemplerne i scenarios/.

Er det gratis til kommerciel brug? Ja — under AGPL-3.0, også i kommercielle sammenhænge, så længe du respekterer AGPL's copyleft (især: hvis du ændrer Kshana og tilbyder det over et netværk, skal du tilbyde disse brugere din ændrede kildekode). Hvis det ikke passer dig — f.eks. hvis du skal indlejre Kshana i et proprietært produkt eller drive en lukket netværkstjeneste — fås en kommerciel licens fra Ashforde® OÜ; se LICENSING.md og Support.

Fejlfinding#

cargo build fejler på en gammel værktøjskæde. Kshana kræver Rust ≥ 1,88. Opdatér med rustup update.

Bygningen af Python-udvidelsen kan ikke linkes på macOS (Undefined symbols … _Py…). En Python-udvidelse opløser sine symboler ved indlæsning. maturin sætter automatisk det rigtige linker-flag — brug maturin develop --features python i stedet for en bar cargo build.

Python-bygningen klager over, at fortolkeren er nyere, end PyO3 kender. Sæt PYO3_USE_ABI3_FORWARD_COMPATIBILITY=1 (abi3-wheels er fremadkompatible på tværs af CPython-versioner).

WebAssembly-bygningen kan ikke finde målet. Installér det én gang med rustup target add wasm32-unknown-unknown, og kør derefter wasm-pack build --target web -- --features wasm.

Hvor blev mit output af? Hver kørsel skriver <scenario>.result.json, <scenario>.chart.svg, <scenario>.report.html og <scenario>.report.json ved siden af input-.toml, og også <scenario>.table.csv for de kinds, der publicerer en tabel. Alle er git-ignorerede af design.

Versionering og udgivelser#

Kshana følger Semantic Versioning. Før 1.0 kan det offentlige scenarie-/resultatskema stadig ændre sig; brydende ændringer fremhæves udtrykkeligt i CHANGELOG.md. Hvert resultat kan genskabes ud fra scenario + seed + engine version.

Hvert vX.Y.Z-tag publicerer alle kanaler automatisk, i én rækkefølge — hele testsuiten kører først på den mærkede commit, intet publiceres, før den består, og bagefter kontrollerer pipelinen, at hvert register faktisk leverer den nye version (docs/RELEASING.md). Kanalerne:

MCP-serverens crate-/billed-/registerversion følger motoren (den indeholder biblioteket); JetBrains-pluginnet versioneres uafhængigt (det kalder din installerede kshana-binærfil).

Køreplan#

Se ROADMAP.md for den fasede køreplan, CHANGELOG.md for udgivet historik og docs/CAPABILITY.md for køreplanen pr. funktion. Prioriteringsrækkefølgen er: først evidens for tidssynkronisering og holdover til kritisk infrastruktur (telekommunikationsmasker, længere holdover med ældning og flickerstøj, indlæsning af målte urdata); dernæst den neutrale afvejningsmetode mellem kvante og klassisk (resultater mærket MODELLED, indtil en partners målte data fremmer dem); og månens/cislunar og dybrumsnavigation vedligeholdt, ikke udvidet som det førende. Den ITRF-præcise referencesystemreduktion er nu leveret — hele den CIO-baserede IAU 2006/2000A GCRS↔ITRS-kæde (polarbevægelse + nutation under en buesekund), valideret bit for bit mod SOFA/ERFA og uafhængigt krydskontrolleret mod ANISE (ren Rust-SPICE) til ≤ 3,6 m ved GNSS-bane. Nærtidens punkter omfatter tæt koblet bærebølgefasefusion og at gøre den løst/tæt koblede GNSS/INS-navigator tilgængelig i flere pakker; motoren til dybt rum / radiometrisk Mars-navigation landede i v0.17.0 (valideret ved simulering). Kvantefysiklaget er et P2-punkt: CAI-accelerometeret simuleres nu ud fra første principper (Mach–Zehnder-fase, projektionsstøj, kontrastaftagen, vibrationskobling), mens ur-/tidsoverførselssensorerne stadig drives af publicerede Allan-/støjbudgetkoefficienter. GMST-baseret TEME↔ECEF, IERS' skudsekundtidssystemer (UTC/TAI/TT/UT1), SGP4/SDP4-banepropagering (v0.7.0, valideret mod AIAA 2006-6753-vektorerne) og den kørbare gnss-ins-fusionspakke er alle leveret, og inertihastigheden udstilles nedstrøms. En aktiv stokastisk detektor for tidsspoof (Neyman–Pearson / χ²₁-energitest med Monte Carlo P_fa/P_md og et sikkerhedskvalitetsmål på 1−P_md), en linkbudgetmodel for jamming (J/S → effektiv C/N₀ → tab af lås), tilgængelighed for flere konstellationer, et enkeltakset (1-DOF) IMU-fejlbudget, to uafhængige (ur + position) Kalman-estimatorer rapporteret som ét samlet kvalitetsmål, reel konstellationsgeometri fra TLE'er, en HTML-rapport med resultatkort, geometriafledt GNSS-tilgængelighed og dilution of precision fra Kepler-baner med excentricitet og J2-drift, Monte Carlo-konfidensbånd, parametersweeps til afvejningsstudier, et WebAssembly-playground i browseren og valgfri Python- (PyO3) og WebAssembly-bindinger (wasm-bindgen) er landet på main.

Bidrag#

Se CONTRIBUTING.md. Kort sagt: tests består (cargo test), de to kontrolscripts består, Conventional Commits og en CHANGELOG.md-post under [Unreleased] for hver ændring, som brugeren kan se. Deltagelse er underlagt vores adfærdskodeks. For at rapportere et sikkerhedsproblem, se sikkerhedspolitikken — åbn venligst ikke en offentlig issue om sårbarheder.

Dokumentation#

Nøglereferencer#

Uafhængige referencer til validering og standarder — de eksterne autoriteter, Kshanas kontroller er forankret i:

• Vallado, Crawford, Hujsak & Kelso — Revisiting Spacetrack Report #3 (AIAA 2006-6753; testdata): det SGP4/SDP4-verifikationssæt, Kshana stemmer med til 4,12 mm, og de gennemarbejdede eksempler på referencesystemer, som TEME→ITRF-kæden kontrolleres mod.
• IAU SOFA / ERFA — de tids- og referencesystemrutiner, som IAU 2000A-nutationen og CIO GCRS↔ITRS-reduktionen valideres mod bit for bit.
• Petit & Luzum (red.) — IERS Conventions (2010), IERS TN (Technical Note) 36 (jordorientering, polarbevægelse og standarder for referencesystemer).
• Riley — Handbook of Frequency Stability Analysis, NIST SP 1065 (Allan-deviationsrelationer og NBS14-referenceserien; NBS = det tidligere amerikanske National Bureau of Standards).
• Pedregosa et al. — scikit-learn: Machine Learning in Python, JMLR 12 (2011): referenceimplementeringerne af ROC/AUC, forvekslingsmatrix og præcision/recall/F1, som testbænken til evaluering af RF-forstyrrelser afstemmes nøjagtigt efter (tests/eval_metrics_reference.rs).
• Virtanen et al. — SciPy 1,0, Nature Methods 17 (2020): optimize.nnls, stats.chi2 og linalg.expm — de referencerutiner, som NNLS-tilpasningen af målt ADEV i kvante-afvejningen, χ²-konsistensbåndene og van-Loan-urets processtøjkovarians valideres mod (tests/scipy_reference.rs).
• Knowles, Kanhere, Neamati & Gao — gnss_lib_py, SoftwareX 27 (2024): brugt både som åbent tidligere arbejde (se Sammenligning og åbent tidligere arbejde nedenfor) og som den uafhængige DOP-reference, som beregningen af GDOP/PDOP/HDOP/VDOP/TDOP afstemmes efter til 1e-6 (tests/dop_reference.rs).
• Montenbruck & Gill — Satellite Orbits: Models, Methods and Applications (Springer): kraftmodellerne bag kraftmodeltilpasningen til agenturernes præcise efemerider.
• Howell — Three-dimensional, periodic, halo orbits, Celestial Mechanics 32(1) (1984), doi:10.1007/BF01358403; Zimovan-Spreen, Howell & Davis — Near rectilinear halo orbits and nearby higher-period dynamical structures, Astrodynamics 6 (2022), doi:10.1007/s42064-021-0125-x (de halo-/NRHO-familier, som CR3BP-differentialkorrektoren gengiver).

Fysik for enheder og metoder — de citerede kilder bag sensormodellerne:

• Origlia, Schiller, Bongs et al. — arXiv:1503,08457 (strontium-optisk gitterur, rumorienteret mål).
• Oelker et al., Nature Photonics (2019) — doi:10.1038/s41566-019-0493-4 (Sr-ur i laboratoriet, 4,8×10⁻¹⁷).
• Templier et al., Science Advances (2022) — arXiv:2209,13209 (hybrid kvanteaccelerometertriade).
• Groves, Principles of GNSS, Inertial, and Multisensor Integrated Navigation — IEEE AESS (Aerospace and Electronic Systems Society)-tutorial (University College London Discovery-repository) (fejlvækst ved dødregning).
• Giorgetta et al., Nature Photonics 7, 434 (2013) — arXiv:1211,4902; Deschênes et al., Phys. Rev. X 6, 021016 (2016) — APS (American Physical Society) (optisk tovejs overførsel af tid og frekvens; den optiske inter-satellit-forbindelse modellerer sit budget for ikke-reciprocitet efter disse).
• Betz — Binary Offset Carrier Modulations for Radionavigation, NAVIGATION 48(4) (2001), doi:10.1002/j.2161-4296.2001.tb00247.x (BOC-modulationen og teorien om spektralseparation bag src/navsignal.rs).
• Kaplan & Hegarty (red.) — Understanding GPS/GNSS: Principles and Applications (3. udg., Artech House, 2017): ligningen for effektiv C/N₀ ved anti-jam og den termiske støjjitter i early–late-DLL-kodesporingen, som navsignal- og jamningsmodellerne bruger.

Sammenligning og åbent tidligere arbejde — de værktøjer og oversigter, Kshana placeres i forhold til:

• Humphreys et al. — TEXBAT (Texas Spoofing Test Battery; ION — Institute of Navigation — GNSS 2012): testbatteriets spoofingparametre, som den flerlagede detektor karakteriseres mod.
• González et al. — NaveGo (2017): de åbne, validerede fejlprofiler for inertinavigation, der bruges som klassisk baseline.
• Iiyama, Casadesús Vila & Gao — LuPNT (ION GNSS+ 2023, Stanford NavLab): åben simulator for månens PNT.
• Knowles, Kanhere, Neamati & Gao — gnss_lib_py, SoftwareX 27 (2024), doi:10.1016/j.softx.2024.101811: åben analyse af GNSS-data.
• Li, Zaminpardaz, Kealy & Greentree — Quantum sensors for enhanced positioning and navigation: a comprehensive review, GPS Solutions 30(1):62 (2026), doi:10.1007/s10291-026-02030-y.
• Bertone et al. — Earth and Space Science 8(6) (2021), doi:10.1029/2020EA001454: GRAIL reduceret-dynamisk OD, den empiriske accelerationsbundgrænse, som LRO-tilpasningen gengiver.