Resultatskjema — slik leser du en Kshana *.result.json

Hver kjøring skriver en versjonert, selvbeskrivende JSON-artefakt (JavaScript Object Notation) ved siden av scenarioet. Denne siden er den håndskrevne leserveiledningen til utvekslingskonvolutten og til resultatformene for klokke og bane: hvert felts enhet, hvor det beregnes i kildekoden og hvordan det leses. Den kanoniske typen er RunResult i src/report.rs; kvalitetsmålene er FoMScores i src/fom.rs.

Den er ikke den fullstendige feltreferansen. Motoren fordeler over langt flere kind-er enn disse to, og hver gir ut sin egen pakke. Den fullstendige referansen — enhet, proveniensklasse og definisjon for hvert numeriske felt i hver innebygde kind — er generert, ikke håndskrevet: se Enheter og proveniens, per felt, for hver kind nedenfor.

Utvekslingskonvolutt (KIF, Kshana Interchange Format) — gjenkjenne og versjonskontrollere en artefakt#

Kshana-artefakter kan pakkes inn i en nøytral, selvbeskrivende utvekslingskonvolutt slik at et tredjepartsverktøy kan gjenkjenne filen og avgjøre om det kan lese den før det forplikter seg til et nyttelastskjema. Den kanoniske typen er Envelope i src/interchange.rs.

Kompatibilitetskontrakt. Versjoner er MAJOR.MINOR. Nye felt legges til med #[serde(default)] (den additive disiplinen), slik at en leser kan tolke enhver artefakt med samme hovedversjon og lik eller eldre underversjon (Compatible). En strengt nyere underversjon (ForwardIncompatible) kan ha felt denne leseren ikke kan ta hensyn til, og en annen hovedversjon (MajorIncompatible) er et strukturelt brudd — begge avvises av Envelope::parse, som kontrollerer formattaggen og versjonen ved grensen i stedet for å feiltolke fremmed inndata i det stille.

Determinisme. Konvolutten har ingen tidsstempel — det kreves av Kshanas reproduserbarhetsløfte (scenario + seed + engine_version reproduserer en kjøring). Proveniens ligger i engine_version og i nyttelastens egen scenario_hash.

En typet tilbakelesing (Envelope::payload_as::<T>()) fungerer for enhver nyttelast som implementerer Deserialize (for eksempel Scenario). Resultatartefakter kan bare serialiseres, etter utforming, og leses som den rå JSON-verdien payload.

Toppnivå (pakkene for klokke og bane)#

ClockRun (hver av quantum / classical)#

FoMScores (objektet fom)#

Hvordan «bra» ser ut#

• En roligere klokke (lavere adev_curve) gir en lengre holdover_s og en høyere grense for påviselighet for security — det er kontrasten mellom kvante og klassisk.
• availability nær 1,0 betyr at systemet holdt seg innenfor spesifikasjonen nesten hele kjøringen; under et langt bortfall synker den for den mer støyende klokken.
• integrity nær 1,0 betyr at filterets egen usikkerhetsgrense var ærlig om feilen sin — en utsagn om selvkonsistens, ikke en garanti for liv og sikkerhet.

Andre scenario-kind-er#

Hver av de andre kind-ene gir ut sin egen resultatform. Noen av de vanligste:

• inertial: kvalitetsmål i posisjonsdomenet i meter (pos_rms_m, pos_p95_m) — enkeltakset, enkelt seed (1-DOF (DOF: frihetsgrad)) (se CAPABILITY.md).
• hybrid / fusion: timing_spec_ns og position_spec_m på toppnivå, og per side tids- og posisjonsmålene for én sensorsuite (position_p95_m, position_holdover_s og pnt_holdover_s, tiden til en av spesifikasjonene brytes), med en blokk figure_tiers som i klokkepakken, der posisjonsmålene er oppført som untiered.
• spoof: spoofingavvik per steg mot klokkens deteksjonsgrense, pluss om spoofingen nådde spesifikasjonen før deteksjon (src/spoof.rs).
• skyline (orbit og integrity med user_site, gnss-sim, jamming, leo-pvt, leo-pass; bare til stede når scenarioet har en seksjon [skyline], så et scenario uten den er uendret): et toppnivåobjekt skyline med source (streng: preset:<name>, preset:<name>+overrides eller custom), open_fraction (brøk [0 1] av den øvre halvkulens romvinkel over max(mask_deg, skyline)) og provenance (streng); per sample masked_by_skyline (antall satellitter over masken men bak horisontlinjen: epochs[] for integrity og jamming, gnss_measurements[] for gnss-sim, joint.epochs[] for leo-pvt); og for leo-pass satellites[].pass.epochs_masked_by_skyline (antall epoker). Enhetene og proveniensklassene deres står i blokken units (src/skyline.rs UNITS; SKYLINE.md).

For det nøyaktige feltsettet til en hvilken som helst kind, les oppføringen i field-units-schema.json (nedenfor), kind-ens avsnitt i SCENARIOS.md, eller den tilsvarende structen *Result i src/.

Andre filer en kjøring skriver#

Ved siden av <scenario>.result.json skriver CLI (kommandolinjegrensesnittet) <scenario>.chart.svg, en utskriftsvennlig <scenario>.report.html og den samme rapporten som <scenario>.report.json, hvis blokk reproducibility registrerer motorversjonen, SHA-256 for scenariofilen, seed, plattformen og den nøyaktige kommandoen (se REPORTS.md og REPRODUCIBILITY.md). Kind-er som publiserer en reproduserbarhetstabell skriver også <scenario>.table.csv (CSV: kommaseparerte verdier). --export skriver utvekslingsfiler (se INTEROP.md) og --animate en animasjon (se ANIMATION.md).

Enheter og proveniens, per felt, for hver kind#

Denne siden er håndskrevet og dekker pakkene for klokke og bane. Den maskinlesbare motparten dekker hver innebygde kind:

• I selve resultatet. Hvert scenarios resultatdokument har et toppnivåobjekt units som kobler et utgitt felts sti til {"unit", "provenance", "note"}. Stigrammatikken (en matrise bidrar med ett segment med suffikset [] som deles av radene; * er et jokertegn for ett segment for datanøklede objekter) og det lukkede proveniensvokabularet er definert i src/field_schema.rs.
• Som én fil. field-units-schema.json er den innhøstede unionen: for hver kind, hvert numeriske felt den gir ut ved en oppgitt kilde, med enhet, proveniensklasse, evidensnivå og definisjon — og, navngitt i stedet for utelatt, hvert felt som ennå ikke har det. Blokken coverage bærer antallene.

Begge håndheves av tests/field_units_global.rs, som kjører hver registrerte kind og feiler hvis et utgitt numerisk felt mangler enhet og proveniensklasse. Kind-er som ennå ikke er dekket nevnes enkeltvis i UNCOVERED_KINDS i den filen med begrunnelsen for hver åpne, og antallet er festet slik at listen bare kan bli kortere.

Generer JSON-en på nytt etter enhver endring av en rapports form eller av en blokk units:

cargo test --test field_units_global zzz_emit_field_units_schema -- --ignored