Võimekuse kaart — mida Kshana teeb, teeb osaliselt ja ei tee

Kshana on PNT (positsioneerimine, navigatsioon ja aeg) toimivuse ja vastupidavuse tõendusmootor, mitte täielik kosmosesüsteemide tööriistakomplekt. See tugineb ajastusele ja holdover-ile, oma parimini kontrollitud valdkonnale (vt POSITIONING.md). See leht on aus ulatuse kaart: iga võimekuse valdkonna kohta, mida hankija või uurimisülevaataja võiks kontrollida, nimetab see staatuse, mis koodis tegelikult olemas on, mis puudub ja kus see teekaardil asub. Staatus on üks järgmistest:

täielik — realiseeritud otsast otsani ja kontrollitud reas nimetatud tasemeni;
osaline — päris, kuid piiratud mudel (ulatus on allpool selgelt piiratud);
puudub — ei ole modelleeritud (täna ulatusest väljas).

Need kolm on ainsad väärtused, mida staatusveerg võtab. Need hindavad võimekuse küpsust, mis on teine telg kui VALIDATED / MODELLED / PARTNER hinne failis VERIFICATION-MATRIX.md — see hindab tõendite päritolu, rida realt, ja on masinaga kontrollitud failist src/verification.rs.

Siin pole midagi püüdluslikku: „osaline“ ei tähenda kunagi „peaaegu valmis“, see tähendab „nii palju ja mitte rohkem“. Vt ka VALIDATION.md, INTEGRITY.md, QUANTUM-MODELS.md ja ülehinnangute sulgemise registrit CLAIMS-VS-REALITY.md (iga ajalooline ülehinnang, kuidas see lahendati ja CI (pidev integratsioon) valvur, mis hoiab selle lahendatuna).

Põhi-PNT (kus Kshana tegelikult mängib)#

Võimekus	Staatus	Mis on olemas	Mis puudub	Teekaart
Orbiidi määramine ja propageerimine	osaline	Sõltuvusteta SGP4/SDP4 (SGP4: Simplified General Perturbations 4; SDP4: Simplified Deep-space Perturbations 4), kontrollitud täpsusega 4,12 mm kõigi 666 AIAA (American Institute of Aeronautics and Astronautics) 2006-6753 vektori vastu (asukoht ja kiirus, viimane täpsusega 1 mm/s); analüütiline Kepleri + J2-sekulaarne; inertsiaalne kiirus on avatud ja toodud pinnale otsast otsani käivitatava stsenaariumi `ephemeris` kaudu (`src/ephemeris.rs`, ligipääsetav CLI-st/Pythonist/WASM-ist/MCP-st (CLI: command-line interface; WASM: WebAssembly; MCP: Model Context Protocol)) — iga sammu kohta annab see TEME (true equator, mean equinox) ja GCRS (Geocentric Celestial Reference System) oleku (asukoht + kiirus), ITRF/ECEF (ITRF: International Terrestrial Reference Frame; ECEF: Earth-centred, Earth-fixed) asukoha, WGS-84 (WGS: World Geodetic System) satelliidialuse maapealse jälje (lat/lon/alt) ning jaama asimuudi/kõrguse/vahemaa + vahemaa muutumiskiiruse/Doppleri (radiaalne vahemaa muutumiskiirus langeb kokku tõelise asukoha tuletisega JD-müravabalt (JD: Julian date) täpsusega 6e-9 m/s) — ja CCSDS (Consultative Committee for Space Data Systems) OEM (Orbit Ephemeris Message) kiirust kandva efemeriidi ekspordi kaudu (`--export-oem`). Numbriline (Cowelli) propageerija (`src/propagator.rs`) integreerib seadistatava tsonaalse gravitatsiooni jõumudeli — Maa täielik tsonaalne väli kuni astmeni 6 (`forces::zonal_accel`, avaldatud EGM-96 (EGM: Earth Gravitational Model) `J2..J6`) — adaptiivse draiveri valikuga: RK4 (neljanda järgu Runge–Kutta) sammu kahekordistamine või Dormand–Prince RK5(4) manustatud paar (`integrate_dopri` / `propagate_dopri`, odavam 7-hindamisega manustatud veahinnang, mis läbib sama Kepleri värava ja langeb RK4 teega kokku täpsusega <1 m J2..J6 orbiidil) — kinnitatud analüütilise tõe vastu, mis on tugevam kui numbriline ristvahend: häirimata orbiit reprodutseerib täpse universaalmuutujate Kepleri lahenduse alla meetri täpsusega 24 h jooksul (rangem värav kui verstaposti „võrdlus < 10 m“), energia + nurkmoment säilivad ~1e-9 suhtelise täpsusega, J2 sõlmede regressioon langeb kokku kinnise kujuga sekulaarse kiirusega esimese järgu teooria täpsusega, tsonaalne kiirendus on kontrollitud olema oma potentsiaali täpne gradient (ja taanduma 666 vektoriga kontrollitud J2 kinnisele kujule) ning `solve_kepler_checked` tagastab `Err` mitte vale vastuse, kui Newton ei koondu (nt periapsise lähedal e = 0,999). Epohhijuhitud kolmanda keha (Päike ja Kuu) gravitatsioon on ühendatud ajas muutuva integraatoriga (`ForceModel::third_body` / `accel_at`, failiga `src/ephem.rs` Montenbrucki ja Gilli madala täpsusega Päikese ja Kuu efemeriididega — DE/SPK (DE: Development Ephemeris; SPK: planetary ephemeris kernel) kerneleid pole vaja): iga RHS (parem pool) hindamine võtab häirijate asukohad edasi viidud epohhil `epoch_jd_tt + t/86400`, nii et Päike/Kuu liiguvad integreerimise ajal mööda oma orbiite. Häiring on kontrollitud kui oma häiriva potentsiaali täpne gradient, see kaob geotsentris ja omab õpikulisi LEO (madal Maa orbiit) suurusjärke (~5e-7 m/s² Päike, ~1.1e-6 m/s² Kuu); Päikese efemeriid tabab käsitsi tuletatud J2000 ankruid (periheeli kaugus, ~−23° pööripäeva deklinatsioon, ~1°/päevas liikumine) ja Kuu efemeriid oma perigee/apogee ümbrist, ~384 400 km keskmist kaugust, ≤ 5,3° kaldenurga piiri ja sidereaalkuu suuna naasmist; ning integreerimise ühendus on tõestatud bitttäpselt (RHS liige võrdub `third_body_accel`-ga valimis asukohas hetkedel t = 0 ja t = 1 päev), kusjuures veerandaasta epohhinihe annab erineva trajektoori. Päikesekiirguse rõhk (SRP) sõidab sama epohhijuhitud RHS-iga (`forces::srp_accel` / `ForceModel::solar_radiation`): kahurikuuli mudel `ν·P☉·cᵣ·(A/m)·(AU/d)²·d̂` koos `forces::conical_shadow` umbra+penumbra varjutusteguriga (sujuv ν ∈ [0 1], kontrollitud ahenema läbi monotoonse penumbra, mis ulatub umbra silindrist kaugemale), kontrollitud õpikulise 1-AU (AU: astronoomiline ühik) rõhu (≈ 4.54e-6 N/m²), Päikesest eemale suunatud ~1.36e-7 m/s² LEO suurusjärgu, pöördruutsõltuvuse (Päikese kauguse kahekordistamine neljandikustab selle), umbra silindris täpselt nullilise kiirenduse ja propageeritud nihke vastu, mis skaleerub ~lineaarselt A/m-ga. Atmosfääri takistus on esimene kiirusest sõltuv liige (`forces::drag_accel` / `ForceModel::drag` + uus `accel_rv` / kiirust edastav RHS): ruuttakistus `−½·ρ(h)·(C_D·A/m)·\|v_rel\|·v_rel` kaaspöörleva atmosfääri `v_rel = v − ωₑ ẑ × r` suhtes, kus `ρ` on Vallado tükiti eksponentsiaalne `forces::atmospheric_density` — kontrollitud 1,225 kg/m³ merepinna ankru, rangelt monotoonse LEO languse füüsikalise ~58 km skaalakõrgusega, kiirust suhtelise kiiruse vastu suunatud ~2e-6 m/s² takistuse suurusjärgu ja dissipatsioonisignatuuri (orbiit kõrgusel 300 km kaotab erienergiat monotoonselt ja selle pooltelg väheneb piiratud ~km/päevas, samas kui vaakumorbiit säilitab energia) abil. Postnewtonlik (Schwarzschildi) relativistlik parandus on teine kiirusest sõltuv liige (`forces::relativistic_accel` / `ForceModel::relativity`): IERS (International Earth Rotation and Reference Systems Service) `β = γ = 1` kuju `a = (μ/c²r³)·{[4μ/r − v²]·r + 4(r·v)·v}`, relativistliku periapsise nihke juhtiv põhjus — kontrollitud oma kinnise kuju ringväärtuse `3μ²/(c²r³)·r̂` (radiaalne, väljapoole), selle õpikulise `≈1.9e-9` LEO suhte kahe keha omaga, käsitsi lihtsustatud radiaalkiiruse kuju ja konservatiivse signatuuri vastu (see häirib orbiiti, kuid hoiab pooltelge alla meetri päevas, mis on struktuurselt takistuse vastand). Lense–Thirringi raamikaasaviimise liige (`forces::lense_thirring_accel` / `ForceModel::lense_thirring`, IERS 2010 §10) on gravitomagnetiline parandus väljaspool Schwarzschildi — valikuline, LEO juures ~1–2 suurusjärku sellest allpool, kontrollitud kaduma ilma Maa pöörlemiseta ja asuma Schwarzschildi suurusjärgust allpool. Orbiidi määramine (OD, `src/orbit_determination.rs`) sulgeb ahela vaatlustest tagasi olekuni: Gauss–Newtoni partii korrektor (`src/batch_ls.rs`) viib kandidaadi `[r, v]` kaare ulatuses propageeritud maajaama vahemaade parimale sobitusele (alla meetri / mm·s⁻¹ müravabadest vahemaadest; ~2 m järelsobituse jäägiga 5 m müra põrandal — järjepideva vähimruutude sobituse signatuur), koos järjestikuse rekursiivse variandiga unscented Kalmani filtril (UKF)	Vaikimisi Cowelli jõumudel kannab ainult tsonaalset välja: kõrgastmeline EGM2008 (Earth Gravitational Model 2008) tesseraalne väli (`src/gravity_sh.rs`, aste/järk 70, koos `from_gfc` laadijaga ICGEM (International Centre for Global Earth Models) failide jaoks) on komponeeritud ainult täppisefemeriidi sobitusmootorisse (`src/precise_od.rs`; vt `AGENCY-ORBIT-VALIDATION.md`); pidurdustihedus on staatiline Vallado tükiti eksponentsiaalne (päikeseaktiivsusest sõltumatu), mitte NRLMSISE-00 (Naval Research Laboratory Mass Spectrometer and Incoherent Scatter Radar Extended atmosphere model; < 5 % termosfääritiheduse klausel); SRP on kahurikuuli mudel geomeetrilise koonilise umbra+penumbra varjuga (ilma päikese servapimenemiseta, ilma lapiku Maa varjuta, ilma satelliidi kuju/orientatsioonita); relatiivsus katab Schwarzschildi ja Lense–Thirringi (raamikaasaviimise) liikmed, mõlemad valikulised, kuid ilma PPN-parameetrite (PPN: parametrised post-Newtonian) häälestuseta; kolmanda keha/SRP kasutavad madala täpsusega efemeriide (~0,005° Päike, ~0,3° Kuu), mitte DE/SPK-kerneli täpsust. Konservatiivsed jõumudeli tasemed (kahe keha → J2–J6 → Päike/Kuu → SRP) on VALIDATED Orekit 12,2 vastu (halvim 0,08 m 24 h jooksul, `tests/numerical_cowell_propagator_reference.rs`) ning partii-/järjestikune orbiidi määramine on VALIDATED Orekit 12,2 hindajate vastu (`tests/batch_sequential_orbit_determination_reference.rs`); pidurdustase ning absoluutne efemeriidi/tiheduse sisendi täpsus jäävad MODELLED; GMAT (General Mission Analysis Tool) ristkontrolli pole	tesseraalne gravitatsioon vaikimisi Cowelli mudelis + NRLMSISE-00 pidurdus + päikese servapimenemine + DE-klassi efemeriid + GMAT ristvalideerimine + OD vahemaa muutumiskiiruse/nurga mõõtmised ja analüütiline STM (olekuüleminekumaatriks): P2+
Aegsüsteemid	osaline	`src/timescales.rs`: Juliuse kuupäeva API (tsiviil↔JD, MJD (modifitseeritud Juliuse kuupäev)), UTC↔TAI (UTC: Coordinated Universal Time; TAI: International Atomic Time) täieliku IERS-i liigsekundite tabeli kaudu (10→37 s, 1972→2017), TAI→TT (TT: Terrestrial Time), UT1 (Universal Time 1, Maa pöörlemise aeg) DUT1 (Maa pöörlemise aeg miinus Coordinated Universal Time) kaudu ja IAU-2000 (IAU: International Astronomical Union) Maa pöörlemisnurk (ERA, kontrollitud bitthaaval SOFA (Standards of Fundamental Astronomy) `eraEra00` vektori vastu). SGP4 tee DUT1≈0 lähendus on selgelt dokumenteeritud kutsekohas `gstime` (≤ ~13″ GMST (Greenwich mean sidereal time) viga, SGP4 enda mudelivea piires), ning stsenaarium `ephemeris` võtab selgesõnalised `dut1_s`/`xp_arcsec`/`yp_arcsec` nupud või sisseehitatud päris IERS-i `finals2000A` rea (`eop_finals2000a` / `kshana --eop <file>`, interpoleeritud sama `EopSeries` kaudu, mida `precise_od` kasutab), nii et maapealne jälg redutseeritakse päris IERS-i UT1 / poolusenihke kaudu, mitte ainult nominaalsete skalaaridega	Maa orbiidi teed kasutavad endiselt ühe-`f64` JD-d (~50 µs eraldusvõime ümber aasta 2020 — see, mitte algoritm, on lõplike vahede ristkontrolli põrand); kaheosaline JD on olemas (`timescales::TwoPartJd`, kasutavad radiomeetriline, CCSDS-TDM, maasegmendi simulaatori ja päikesesüsteemi teed ning `src/jd2.rs` `Jd2`) ning see on läbi viidud SGP4-st (`Sgp4::propagate_at(Jd2)`), läbimisprognoosist, geomeetriast ja Walkeri kavanditest (kontrollitud SOFA vastu, `tests/jd2_sofa_time_oracle.rs`) ja Maa pöörlemisest orbiiditeel (`jd2::gmst82`, `cio::gcrs_to_itrs_matrix_jd2`, `orbit::Propagator::position_in_frame_jd2`, efemeriidistsenaariumi valikuline `two_part_jd`; VALIDATED ERFA vastu, `tests/jd2_earth_rotation_erfa_oracle.rs`), kadudeta teisendustega `Jd2` ja `TwoPartJd` vahel; vaikimisi Maa orbiidi teed säilitavad ühe-`f64` kuupäeva, kui `two_part_jd` pole seatud, ning Cowelli jõumudeli epohh jääb sihilikult ühe-`f64`-ks (selle analüütiline Päikese/Kuu viga ületab 40 µs ümardamise kordades); enne 1972. aastat kasutatud kummisekundi UTC (1960–1971) on kaheosalisel teel modelleeritud (`jd2`, `timescales::tai_minus_utc_on_date`, VALIDATED ERFA vastu, `tests/jd2_pre1972_sofa_oracle.rs`), kuid ühe-`f64` `timescales::tai_minus_utc` piirab endiselt väärtusega 10 s enne 1972; vähimruutude + autoregressiivne Maa orientatsiooni ennustaja (`src/eop_ls_ar.rs`, võrreldud IERS-i Bulletin A-ga leiuna) saab nüüd EOP rida pikendada selle viimasest reast kaugemale (`EopSeries::with_ls_ar_prediction`, valikuline; `tests/eop_prediction_beyond_table.rs`), nii et raami argumendid tabelist kaugemal järgivad prognoosi, mitte ei piirdu; vaikerida piirab endiselt ja ükski stsenaariumivõti ei lülita ennustust veel sisse	tehtud (alus); kaheosaline JD läbi Maa pöörlemise orbiiditeel: tehtud (valikuline efemeriidistsenaariumis) ; EOP ennustus tabelist kaugemale: tehtud (teek, valikuline); enne 1972. aastat kasutatud UTC kaheosalisel teel: tehtud
Tugisüsteemid	täielik	`src/frames.rs`: GMST-põhine TEME↔ECEF, WGS-84 geodeetiline↔ECEF (täpne + iteratiivne pöördteisendus, masinatäpsusega kõigil kõrgustel) ja geodeetiline maajaama vaatleja (asimuut/kõrgus/vahemaa); IAU 2006 pretsessioon (`src/precession.rs`: Fukushima–Williamsi nurgad `(γ̄, φ̄, ψ̄, ε̄_A)` + GCRS↔keskmise-kuupäeva nihke-pretsessiooni maatriks); IAU 2000A/2000B nutatsioon + täielik TEME→GCRS ahel (`src/nutation.rs`: täielik IAU 2000A rida — 678 Kuu-Päikese + 687 planeetide liiget, `nutation_iau2000a` / `nutation_matrix_2000a`, tabel masinaga genereeritud ERFA (Essential Routines for Fundamental Astronomy) `nut00a` viitest skriptiga `tools/gen_nut00a.py` — koos 77-liikmelise 2000B reaga, Delaunay argumentidega, SOFA `iauNumat` nutatsioonimaatriksiga, pööripäevade võrrandiga ja `teme_to_gcrs(r, v, jd_tt)` kaudu TEME→TOD→MOD→GCRS (true of date, mean of date) — mõlemad read kontrollitud bitthaaval SOFA/ERFA `nut00a`/`nut00b` viitevektorite vastu, Δψ/Δε täpsusega 1e-13 rad); IERS-i poolusenihe PEF→ITRF (pseudo-Earth-fixed to terrestrial) (`teme_to_itrf` / `polar_motion_matrix`, SOFA `iauPom00`, kutsuja antud `x_p`/`y_p` — kümnete meetrite mõju orbiidi raadiusel); CIO-põhine (CIO: Celestial Intermediate Origin) IAU 2006/2000A redutseerimine (`src/cio.rs`: pööripunktivaba GCRS↔CIRS↔ITRS (CIRS: Celestial Intermediate Reference System; ITRS: International Terrestrial Reference System) ahel — CIP (Celestial Intermediate Pole) `X,Y` 2006/2000A NPB (nutatsioon-pretsessioon-nihe) maatriksist, 66-liikmeline CIO-lokaatori `s` rida, `gcrs_to_cirs_matrix`, Maa pöörlemisnurk ja täielik `gcrs_to_itrs_matrix` — kontrollitud bitthaaval SOFA `eraXys06a`/`eraC2ixys`/`eraEra00` vektorite vastu). Otsast otsani teisendused on nüüd kinnitatud avaldatud autoriteetse läbitöötatud näite külge, mitte ainult enesekooskõla vastu: Vallado AIAA 2006-6753 oleku (2004-04-06, koos selle IERS EOP-iga (Earth orientation parameters); `tests/frame_reference_vectors.rs`) vastu langeb TEME→PEF kokku täpsusega 0,1 mm, TEME→ITRF täpsusega 0,6 mm, täielik CIO GCRS→ITRS täpsusega 4 mm ning ECEF→geodeetiline reprodutseerib Vallado näite 3-3 lat/lon/alt kuni viimase avaldatud numbrini. Kogu ahel on kasutajale ligipääsetav stsenaariumi `ephemeris` kaudu (ITRF/ECEF asukoht + WGS-84 satelliidialune maapealne jälg sammu kohta)	Vaikimisi TEME→GCRS ahel kasutab 2000B (~1 mas, selle enda kiiruseraami pöörde lihtsustusest allpool); < 0,1 mas täielik 2000A tee on saadaval kaudu `nutation_matrix_2000a` ja range CIO (X, Y, s) redutseerimine on saadaval kaudu `src/cio.rs`. Pärand-TEME tee kasutab IAU-1982 GMST-i (SGP4 konventsioon). Sõltumatu ANISE/SPICE (ANISE: Attitude, Navigation, Instrument, Spacecraft, Ephemeris — puhas Rusti planeetide geomeetria tööriistakomplekt; SPICE: Spacecraft, Planet, Instrument, C-matrix, Events) numbriline ristkontroll on tarnitud (`xval/anise-frames/`: `gcrs_to_itrs_matrix` vs ANISE GCRF→ITRF93 (GCRF: Geocentric Celestial Reference Frame; ITRF93: International Terrestrial Reference Frame 1993) kaheksal epohhil 2020–2023, ≤ 0,86 m maapinnal, ≤ 3,6 m GNSS (ülemaailmne satelliitnavigatsioonisüsteem) orbiidil); see on iseseisev kast vaike-CI väravatest väljaspool. `precession_matrix` ja `teme_to_gcrs_matrix` on samuti otse kontrollitud ERFA vastu 40 epohhil 1950–2100 ja CIO ahel võtab IERS-i taevapooluse nihked dX, dY (`cio::gcrs_to_cirs_matrix_with_offsets`; `tests/frames_erfa_vector_oracle.rs`); vaiketeed jätavad dX, dY endiselt arvestamata. Kontrollimaatriks hindab seda rida VALIDATED (SOFA/ERFA vektorid + Vallado)	TEME↔ECEF + geodeetiline: tehtud (Vallado-kontrollitud); inertsiaalne TEME→GCRS: tehtud (2000B + täielik 2000A); poolusenihke ITRF: tehtud (Vallado-kontrollitud); CIO GCRS→ITRS: tehtud (Vallado-kontrollitud)
Ajastus ja sagedus	osaline	Täpne van-Loan-Q kahe olekuga Kalmani kell (NIST (National Institute of Standards and Technology) SP (Special Publication) 1065) koos Josephi-stabiliseeritud kovariatsiooni uuendusega (positiivselt poolmääratud äärmuslike Q/R suhete korral, Choleskiga kontrollitud CI-s) ja filtri järjepidevuse tervisemonitoriga (`src/filter_health.rs`): Monte Carlo NIS/NEES (NIS: normaliseeritud innovatsiooni ruut; NEES: normaliseeritud hinnangu vea ruut) hinnang χ² usaldusribade vastu, mis esitatakse kui `filter_health` tulemuse JSON-is (JavaScript Object Notation) ja rohelise/merevaigukollase kaardina mänguväljakul, koos Q/R-mittevastavuse pühkimistestiga, mis tõestab, et monitor muutub olekusse ebajärjekindel, kui häälestus on vale (Bar-Shalom §5,4); kattuvad ADEV (Alani hälve), MDEV (modifitseeritud Alani hälve), TDEV (ajahälve), HDEV (Hadamardi hälve) hindajad + χ²-põhised usaldusvahemikud müratüübispetsiifiliste efektiivsete vabadusastmetega (NIST SP 1065 tabeli 5 kinnised kujud WPM/FPM/WFM/FFM/RWFM jaoks (WPM: valge faasimodulatsioon; FPM: flicker-faasimodulatsioon; WFM: valge sagedusmodulatsioon; FFM: flicker-sagedusmodulatsioon; RWFM: juhusliku käimise sagedusmodulatsioon), komplekt, mida Stable32 kasutab; eksporditud ADEV kõver tuvastab kirje astmeseaduse tüübi selle MDEV kallakust ja lisab iga τ kohta 95% riba — `src/allan.rs`), arvuliselt kontrollitud Stable32 viitehälvete vastu kanoonilisel NBS14 andmestikul täpsusega 1e-4 (`tests/allan_reference.rs`) ja edf ristkontrollitud Monte Carlo valge-FM (FM: sagedusmodulatsioon) ansambliga; aus võrgupiiratud holdover-i kvaliteedinäitaja (figure of merit); kellaansamblid; kahesuunaline aja edastamise mudel vastastikuse viivituse tühistamisega + mittevastastikune juhusliku käimise FM diferentsiaalviivituse põrand (`src/timetransfer.rs`, Alani signatuur esitatud); GNSS-ita kella holdover-i kalkulaator (`src/holdover.rs`), mis avab kinnise van-Loani inertsist liikumise vea kasvu `σ_x²(t) = q_wf·t + q_rw·t³/3 + q_drift·t⁵/20` kasutajale suunatud holdover-i-lävendini pöördarvutusena (kui kaua kell vabalt töötab, enne kui selle ajaviga ületab eelarve), esinduslike kvantkella klassidega (optilise võre/püütud ioon/elavhõbedaioon) — modelleeritud, mitte väliselt kontrollitud: ristkontrollitud mitmesammulise `clock_state` kovariatsioonirekursiooniga ning ausalt öeldud, et väga stabiilse kella holdover tiheda läveni on *määratud eeldatud* pika-tau punase müra põranda, mitte viidatud ADEV järgi (kaitstava arvu jaoks kasuta mõõdetud põrandaid). Tinglik ajakaitsetase** (`src/tpl.rs`) tugineb samale holdover-i masinavärgile spuufimise juhtumi jaoks: tuvastamata ajavea piir sõltumatu ristkontrolli korral — k-σ monitori põrand pluss van-Loani inertsist liikumise dispersioon tuvastusviivituse jooksul pluss CUSUM (kumulatiivne summa) häireni jõudmise aeg — kalibreeritud päris salvestatud spuufimise peal (JammerTest 2024, Zenodo 15911589) ja reprodutseeritav käsuga `cargo run --example tpl_jammertest`. Modelleeritud koostis, tuvastamisest tinglik: lõplikku tingimusteta piiri ei ole (piisavalt aeglane rampimine pääseb ühest kellaga abistatud monitorist mööda). Maksimaalne ajaintervalli viga (MTIE) ja TDEV on VALIDATED `allantools` vastu (`tests/mtie_reference.rs`, `tests/mdev_tdev_reference.rs`) ning holdover-i inertsist liikumise dispersiooni pöördarvutus on VALIDATED SciPy vastu (`tests/gnss_denied_clock_holdover_reference.rs`); liik `telecom-timing` rakendab neid ITU-T (International Telecommunication Union Telecommunication Standardization Sector) G.8272 / G.8272.1 / G.8273.2 / G.8271.1 maskidele — vt `TELECOM-TIMING.md`	täielik Greenhalli algoritmi edf (lihtsad kinnised kujud on nihkepiiratud, kuid jämedamad kui täpne BasicSum) ja mitme müra segu tuvastamine	täpne edf + segamüra tuvastamine: P2
GNSS / PNT töötlus	osaline	Mõõtmisdomeeni pseudovahemaa simulatsioon (liik `gnss-sim`, `src/gnss_sim.rs`): iga nähtava satelliidi kohta sünteesib see `ρ = geometric range + c·δt_rx − c·δt_sv + I + T + noise + multipath` ja L1 Doppleri, Klobucharu ühesagedusliku ionosfääriga (IS-GPS-200 (IS: Interface Specification; GPS: Global Positioning System) §20.3.3.5.2.5) ja Saastamoineni zeniidi troposfääriga (Davis 1985), mis on projitseeritud Niell (1996) kaardistusfunktsiooniga — iga mudel on ühiktestitud käsitsi arvutusega — seejärel söödab jäägid hetktõmmise RAIM-ile (vastuvõtja autonoomne terviklikkuse monitooring) epohhi kaupa HPL/VPL jaoks (HPL: horisontaalne kaitsetase; VPL: vertikaalne kaitsetase) ning väljastab massiivi `gnss_measurements[]` (pseudovahemaa, Doppler, C/N₀, iono/tropo parandused SV kohta (space vehicle, see tähendab satelliit)). Lisaks DOP/kättesaadavus (DOP: täpsuse halvenemise tegur) ja lahenduse eraldamise RAIM orbiitidelt; RINEX (Receiver Independent Exchange Format) 3 mitme-GNSS NAV sissevõtt (GPS/Galileo/QZSS/BeiDou (QZSS: Japan's Quasi-Zenith Satellite System) IS-GPS-200 kaudu, GLONASS (Russia's Global Navigation Satellite System) olekuvektor) parsitud → SV ECEF asukoht ja kella nihe, kasutatav esmaklassilise `Propagator` allikana JA lisatud konstellatsiooni `rinex` plokina (`scenarios/orbit-rinex.toml`); RINEX 3 OBSERVATION sissevõtt (oodatakse, et 4,00 vaatlusstruktuur parsib, kuid ühtegi 4,00 faili pole katsetatud; RINEX 4 NAVIGATION failid lükatakse nime järgi tagasi, mitte ei dekodeerita valesti); ühepunkti-positsioneerimise lahendaja (liik `pvt`, `src/pvt.rs`), mis muudab päris RINEX koodi pseudovahemaad + saatesatelliidi efemeriidid vastuvõtja asukohaks iteratiivse kaalutud vähimruutude abil — Sagnaci/Maa pöörlemise parandus, saatesatelliidi kell koos `−TGD`, kahesageduslik L1/L2 ionosfäärivaba kombinatsioon (või ühesageduslik Klobuchar), Saastamoineni/Nielli troposfäär, kõrgusekaalud, DOP ja hetktõmmise RAIM — kontrollitud päris IGS (International GNSS Service) andmetel (jaam ABMF, Guadeloupe, 2018-05-13) täpsusega 5,7 m 3-D RMS (root mean square) / 1,1 m horisontaalselt jaama mõõdistatud koordinaadi vastu (`tests/pvt_abmf.rs`, `scenarios/pvt-abmf.toml`); ning SP3 (Standard Product 3, täppisorbiidi formaat) täppisorbiidi lugemine/kirjutamine	Koodil põhinev positsioneerimismootor pluss, alates versioonist 0,36, kandelaine faasi töötlus päris vaatlustel: lahendaja `pvt` arvutab päris koodimõõtmistest päris asukoha (ühepunktipositsioneerimine, meetritasemel, kahesagedusliku iono-vaba kombinatsiooniga); `rtk_real::run_rtk` teeb lühikese baasjoone RTK-d päris kahesageduslikul GPS koodil ja faasil (topeltdifferentsid, ujuv Kalmani filter, LAMBDA täisarvuliste mitmetähenduslikkuste fikseerimine suhtetestiga, `src/lambda.rs`) ning staatiline ujuv PPP filter töötab päris koodil ja faasil IGS-i lõplike orbiitide ja kelladega. Mõlemad on VALIDATED IGS-jaamade avaldatud ITRF2020 koordinaatide vastu (WTZR/WTZZ, `tests/rtk_real_wettzell_oracle.rs`, `tests/ppp_real_wettzell_oracle.rs`, läved eelregistreeritud); puudu on endiselt PPP täisarvuliste mitmetähenduslikkuste lahendamine, kinemaatiline või võrgu-RTK ja reaalajas töö. Hatchi kandelaine silumine on kinnitatud MODELLED leid (selle eelregistreeritud läved jäid saavutamata). Liik `leo-ppp` käivitab ujuva PPP filtri mõõtmistel, mida see ise simuleerib, koondumisuuringuteks; edasisuunaline pakett `gnss-sim` jääb tõest lähtuvaks simulaatoriks; BeiDou-GEO (GEO: geostatsionaarne orbiit) on välja jäetud	PPP täisarvuliste mitmetähenduslikkuste fikseerimine, kinemaatiline või võrgu-RTK, reaalajas töö: kasuta RTKLIB/gLAB (RTKLIB: avatud lähtekoodiga reaalajas kinemaatilise positsioneerimise teek)
Andurite liitmine / INS (inertsiaalnavigatsioonisüsteem) dead-reckoning	täielik	3-teljeline strapdown-teek (`src/inertial/{attitude,mechanization,imu_errors}.rs`): kvaternioon-orientatsioon coning/sculling kompensatsiooniga, täielik NED (north-east-down) mehhaniseerimine (Maa pöörlemiskiirus + transpordikiirus, WGS-84 Somigliana gravitatsioon) ja deterministlik IMU (inertsiaalmõõteseade) veamudel (skaalategur, nihe joondusest, g-tundlikkus, kvantimine, kiiruse ramp modelleeritud). Strapdown-navigaator on nüüd ühendatud käivitatavasse lõdvalt seotud GNSS/INS paketti kvaliteedinäitajaga (`src/fusion/pack.rs`, `kind = "gnss-ins"`): kolmeteljelist mehhaniseerimist distsiplineerib 15-olekuline veaoleku EKF (laiendatud Kalmani filter) (`src/fusion/{gnss_ins_ekf,closed_loop}.rs`, asukoha/kiiruse/orientatsiooni/nihke tagasiside), kuni GNSS on üleval, seejärel liigub see inertsist läbi katkestuse — asendades tõe külge naelutamise lähtestuse tõelise liitmisega ja esitades liidetud horisontaalse vea vs avatud ahelaga vaba INS-i inertsist liikumise. Eraldi pärand-pakett `inertial` käitab endiselt 1-DOF (DOF: vabadusaste) skalaarset eelarvet tõe külge naelutamise lähtestusega. Realiseeritud on ka tihedalt seotud pseudovahemaa uuendus (`update_tightly_coupled` / `fuse_tightly_coupled`): see moodustab innovatsiooni vahemaa domeenis (nägemisjoone Jacobiaan δp suhtes) ja jätkab parandamist vähem kui nelja satelliidiga, kus lõdvalt seotud PVT (asukoht, kiirus ja aeg) fiksi ei eksisteeri. Täielik 17-olekuline tihedalt seotud GNSS/INS UKF (unscented Kalmani filter) (`src/fusion/tightly_coupled17.rs`) kannab asukohta, kiirust, orientatsiooni viga, kiirendusmõõturi ja güroskoobi nihkeid ning vastuvõtja kella (nihe + triiv), koos kvant-CAI (CAI: külmaatomi interferomeeter) dead-reckoning-iga — kiiruse juhusliku käimise protsessimüra on külmaatomi kiirendusmõõturi tuletatud `q_va` — liikudes 120-sekundilise katkestuse läbi mõne sajandi meetri piires (vs navigatsiooniklassi vaba INS-i kilomeetrid). See 17-olekuline UKF on nüüd toodud käivitatavaks stsenaariumiks (`src/fusion/hybrid_ukf.rs`, `kind = "hybrid-ukf"`, ligipääsetav CLI-st/Pythonist/WASM-ist/MCP-st): 15 INS-i veaolekut on täiendatud CAI-st tuletatud kiirendusmõõturi nihke parandusega (külmaatomi interferomeeter seab kiiruse juhusliku käimise põranda `q_va`) ning 2-olekulise faasi+sageduse kellaga, mille protsessimüra pärineb q-parameetri kellamootorist (`clock_state::q_from_allan`, Alani profiil → `q_wf`/`q_rw`), mida juhib sulgudes CAI veamudel, nii et käivitus demonstreerib klassikalise IMU lühiajalise + kvantpika-aja hübridiseerimist. Selle kvaliteedinäitaja on filtri enesekooskõla — koondatud NEES + innovatsiooni valgeus (NIS) Monte Carlo ansambli üle nende 95% χ² ribade vastu (sobitatud filter jääb ribade sisse; valesti häälestatud filter märgitakse, objektiivselt kontrollitav värav). See on ENESEKOOSKÕLA väide modelleeritud müra all, MITTE tegeliku maailma täpsuse garantii — CAI/kella sisendid on sulgudes/modelleeritud, CAI riistvara on partneri omanduses ja miski siin ei viita TRL (tehnoloogilise valmiduse taseme)>3, lennupärandile ega välisele kontrollile. Deterministlik IMU veamudel on seadistatav anduri kaupa `gnss-ins` TOML (Tom's Obvious Minimal Language) stsenaariumifailist (`[imu_*.error_model]`: skaalategur, nihe joondusest, g-tundlikkus, kvantimine, kiiruse ramp), vaikimisi puhas konstantse nihke allikas, kui see on välja jäetud	Tihe sidumine on ainult pseudovahemaaga (kandelaine faas on teekaardil); stsenaarium `hybrid-ukf` kasutab ühte konstantse kiirusega horisontaalset trajektoori, millel orientatsiooni ja IMU nihke veaolekud on vaid nõrgalt jälgitavad, mistõttu hinnatakse NEES kooskõla hinnatava alamhulga (asukoht, kiirus, kell = 8 olekut) üle — täielik 17 jälgitavus vajab manööverdavat trajektoori (teekaart); lõdvalt seotud kiirendusmõõturi nihke/kalde paar on nõrgalt eraldatav, mistõttu nihke kaupa kalibreerimist ei väideta; IMU veamudel jätab välja vibratsiooni rektifikatsiooni, temperatuurigradiendi triivi; 17-olekuline UKF ja tihedalt seotud teed on ise-kontrollitud (analüütiline konstantse kiirusega integreerimine, GNSS-abistamise koondumine, nihke taastamine, CAI-piiratud 120-s katkestuse piir ja NEES/NIS χ² kooskõla sõltumatu etalon) — strapdown-mehhaniseerimine ise on VALIDATED NaveGo v1.4 vastu (`tests/classical_strapdown_ins_reference.rs`: orientatsioon bitiidentne, kiirus/asukoht nimetatud analüütiliste piiride sees), kuid filtritaseme ristvalideerimist (NaveGo või KF-GINS sõidukiandmestik) pole tehtud	kandelaine faasi tihe sidumine, manööverdava trajektoori täielik 17 jälgitavus, trajektooriteek, filtritaseme NaveGo/KF-GINS ristvalideerimine: P2
Terviklikkus / RAIM / ARAIM (täiustatud vastuvõtja autonoomne terviklikkuse monitooring)	osaline	Päris hetktõmmise RAIM failis `src/raim.rs`: vähimruutude lahendus + jäägi χ² rikete tuvastamine (täpne lävi sõltuvusteta mittetäieliku gamma χ²-ga) ja kaldepõhine HPL/VPL (pbias mittetsentraalsest χ²-st seadistatud P_fa/P_md jaoks); lahenduse eraldamise (MHSS) RAIM rikete tuvastamise/identifitseerimisega; ARAIM terviklikkuse riski (P_HMI) eelarve (`araim_raim`), mis lahendab väikseima HPL/VPL, mille summeeritud `P_HMI = Σ_k p_fault,k·Q((PL−T_k)/σ_k)` vastab selgesõnalisele terviklikkuse riski jaotusele, kahe-/mitmekonstellatsiooniline konstellatsiooniülene rikkerežiim (`araim_dual_raim`, EU (Euroopa Liit) ARAIM TN (tehniline märkus) / DO-316; `P_const = 0` ⇒ bitthaaval `araim_raim`), selgesõnaline terviklikkuse tugisõnum (`IntegritySupportMessage`: σ_URA/σ_URE/b_nom/P_sat/P_const, WG-C (WG: töörühm) GPS+Galileo viiteväärtustega) ja Stanfordi(-ESA, Euroopa Kosmoseagentuur) terviklikkusdiagramm (stsenaariumi liik `integrity` ning iseseisev `stanford_svg` renderdaja nelja tsooni + `PL=error` piiri jaoks). Dokumenteeritud otsast otsani failis `ARAIM_REFERENCE.md`. Lisaks stsenaariumi kvaliteedinäitaja filtri enesekooskõla (k-σ piir)	RAIM on ligipääsetav stsenaariumi liigi `integrity` kaudu ja (0,36, valikuline) kella/holdover-i kvaliteedinäitaja kõrval eraldi plokina `integrity_fom` (`[integrity]`: hetktõmmise RAIM eelseadistatud taevas nimetatud asukohast, kättesaamatu, kui GNSS on keelatud; MODELLED), mitte kunagi holdover-i kvaliteedinäitajasse sulatatud, mis endiselt esitab enesekooskõla; hetktõmmise RAIM kannab ühe satelliidi FDE-d (rikete tuvastamine ja välistamine, `raim::snapshot_raim_fde`, VALIDATED RTKLIB `raim_fde` vastu failis `tests/integrity_snapshot_raim_rtklib_oracle.rs`); ARAIM ADD v4.2 mitme hüpoteesi lahenduse eraldamine mitme satelliidi alamhulga määramisega on failis `src/araim_reference.rs` (VALIDATED Stanford MAAST vastu, `tests/integrity_araim_stanford_oracle.rs`), kuid ühtlase sigmaga eelarve `raim::araim_raim` katab endiselt ainult üksiku SV ja konstellatsiooniülesed rikked ega järgi ADD-d (0,36, valikuline: samaaegsed mitme SV alamhulga rikked ADD v4.2 alamhulga reegli kaudu, mis on üldistatud paaridest kaugemale, `araim_subset_raim`, `add_v42_protection_levels_to_order`; MODELLED, MAAST käivitust paaridest kaugemal pole), ja mitme SV välistamist ei modelleerita; ning `araim_dual_raim` on ühendatud TOML stsenaariumi käivitajaga lipu `araim_dual` kaudu (`scenarios/araim-gps-galileo.toml`), epohhi kaupa kättesaadavuse teega `araim_dual_constellation_availability`; hetktõmmise/MHSS/ARAIM tuumasid katsetatakse päris IGS-i täppisorbiidi (SP3) geomeetrial (`tests/igs_real_data.rs`) ja päris Celestraki GPS+Galileo TLE-del (`tests/araim_dual_real_data.rs`, iga satelliit propageeritud ühele ühisele UTC epohhile — komplekti viimasele TLE (kaherealine elemendikomplekt) epohhile, 2026-06-07T07:21:04 — 45°-kaldega 400 km kasutajale 24 h jooksul: kättesaadavus 12 m VAL (vertikaalne häirepiir) / 10 m HAL (horisontaalne häirepiir) korral on 0,993 ainult GPS-iga, 1,000 GPS+Galileo koondatult ja 0,990 konstellatsiooniülese rikke suhtes vastupidavas kaksikrežiimis; siin varem avaldatud arv, 0,21→0,67 vastupidava režiimiga „piiratud“, pärines iga satelliidi propageerimisest tema enda TLE epohhilt — taevast, mida kunagi ei eksisteerinud — ja on tagasi võetud); varasem „EU-ARAIM-TN Table A-3“ võrdlus on tagasi võetud (avalikku allikat pole) ning avaliku EU-US WG-C ARAIM Milestone 3 maksimaalse URA kirjete (tabelid 5 kuni 7, Depleted ja Baseline read) reprodutseerimist üritatakse failis `xval/araim-m3/` nimetatud kõrvalekalletega (MODELLED, vt INTEGRITY.md); mitte DO-229/ARAIM-sertifitseeritud	mitme rikke ARAIM (ADD v4.2): tehtud; mitme SV alamhulgad failis `raim` + vastuvõtja domeeni gLAB võrdlus + kvaliteedinäitaja ühendamine: P2 (vt `INTEGRITY.md`)
Spuufimise / segamise ohumodelleerimine	osaline	Stohhastiline aja spuufimise detektor (liik `spoof`, `src/spoof.rs` + `src/detection.rs`): neli süstimisvormi (lineaarne ramp, astmeline hüpe, meaconing, taasesitus) kellaga abistatud monitori vastu kahepoolse χ²₁ energia / Neyman–Pearsoni testiga, tuvastuslävi seatud sihtvalehäire eelarvest `P_fa` ning tuvastamata jäämise tõenäosus `P_md` esitatud nii kinnisel kujul kui ka Monte Carlo abil (need kaks langevad kokku mõne ×1/√N täpsusega) — Security kvaliteedinäitaja on `1 − P_md`. Lisaks lingieelarve segamise mudel (liik `jamming`, `src/jamming.rs`): segaja ja signaali suhe geomeetriast (vabaruumi levikadu + suunapõhine vastuvõtuantenni võimendus), standardne häiringukindla efektiivse C/N₀ võrrand (hajutuse tühistamise töötlusvõimendus + spektrierituse tegur `Q`; Kaplan & Hegarty §9,4), satelliidi kaupa haardekadu seadistatava jälgimislävendi juures ja kvaliteedinäitaja `availability_under_jamming` Walkeri konstellatsiooni üle. Lisaks mitmekihiline RF/mõõtmise (RF: raadiosagedus) spuufimismonitoride komplekt (`src/spoof_monitors.rs`): mitme satelliidi RAIM-kooskõla pariteeditest (`parity_raim_test`, kaalutud jääkide SOS (ruutude summa) vs χ²(m−4) lävi — ja see märgib õigesti, et ühisrežiimi nihe on RAIM-ile nähtamatu), AGC (automaatne võimenduse reguleerimine) monitor (`AgcMonitor`, vastuvõetud võimsuse ülejääk oodatava põranda suhtes), signaalikvaliteedi / SQM (signal-quality monitoring) monitor (`SqmMonitor`, Early/Late korrelaatori tasakaalutus) ning kihtide liitmise kombinaator (`fuse_spoof_layers`). Need moodustavad integreeritud `CombinedSpoofDetector`, mille `evaluate` võtab sisse ühe epohhi vaadeldavad suurused (geomeetria + jäägid, AGC võimsus, Early/Late kraanid) ja käitab kõik kolm kihti läbi kaalutud liitmise ühe kutsega, tagastades kihtide kaupa diagnostika; see on avatud käivitatava stsenaariumina `spoof-detect` (`src/spoof_detect.rs`, ligipääsetav CLI-st / Pythonist / mänguväljakult, JSON + SVG (Scalable Vector Graphics)) ja iseloomustatud avaldatud TEXBAT (Texas Spoofing Test Battery) stsenaariumi parameetrite vastu (Humphreys et al., ION (Institute of Navigation) GNSS 2012; `tests/spoof_texbat_validation.rs`) — reprodutseerides dokumenteeritud tuvastatavuse mustri, sealhulgas negatiivsed tulemused: ülevõimsa ds2 püüavad AGC + SQM, sobitatud võimsusega ds3 ainult SQM, asukoha lükkav ds4 RAIM ja kandelaine faasiga joondatud sobitatud võimsusega ds7 jääb (õigesti) kellaga abistatud detektorile	Liik `jamming` on lingieelarve — sellel ei ole mitmeteelevi ega AGC dünaamikat ajas. Alates versioonist 0,36 võtab see neli valikulist jaotist: `[crpa]`, kanali kaupa adaptiivse massiivi kiir (nullide suunamine või MVDR failist `src/crpa.rs`, kontrollitud sõltumatu numpy ümberarvutuse vastu; MODELLED), ja `[terrain]`, segaja tee ühe noateraga difraktsioonikadu SRTM-i plaadi kohal (`src/jamming_terrain.rs`, ITU-R P.526-15 §4,1, kontrollitud sõltumatu numpy ümberarvutuse vastu päris plaadil; MODELLED, ainult üks noatera), `[acquisition]`, haarde- ja jälgimishüstereesi vahel, ning `[front_end]`, settinud AGC lugem ja ADC Gaussi sisendiga kvantiseerija kadu (`src/jamming_rx.rs`; märgitud mitte kehtivaks mitte-Gaussi segajate korral; MODELLED). Peegeldumisega mitmeteelevi, maaliikuva fading ja AGC on olemas IQ kihis (`src/iq/channel/multipath.rs`, `src/iq/channel/land_mobile.rs`, `src/iq/frontend/agc.rs`) ning neid ei ole liiki `jamming` ühendatud; spektrierituse tabel `Q` sisaldab õpikulisi tüübikaupa väärtusi (CW ja kitsaribaline 1, lairiba ja pühitud 2 alates versioonist 0,36), kinnitatud failis `navsignal` võimsusspektri tiheduste (PSD) põhjal tuletatud koefitsientidele (vt nav-signaali rida). Kellaga abistatud spuufimise detektor on ühe kellaga; RF/mõõtmise monitorid on nüüd integreeritud (`CombinedSpoofDetector`) ja *iseloomustatud avaldatud TEXBAT stsenaariumi parameetrite* vastu (Humphreys et al.); jääk on kontrollimine toorvektorite** vastu — TEXBAT IQ (in-phase/quadrature) valimid (mis vajavad SDR (software-defined radio) haarde/jälgimise esiotsa, mida kshanal ei ole, kuna see on simulaator, mitte vastuvõtja) või litsentsitud Spirenti stsenaarium — dokumenteeritud jätkutöö	kellaga abistatud + integreeritud mitme SV RAIM-kooskõla + AGC + SQM kombineeritud detektor + TEXBAT-parameetrite iseloomustamine: tehtud; toorvektorite (TEXBAT IQ / litsentsitud Spirent) kontrollimine: jätkutöö
Navigatsioonisignaali modulatsioon ja koodijälgimise toimivus	osaline	`src/navsignal.rs`: signaalitase lingieelarve ja mõõtmisdomeeni vahel. Ühikpindalaga võimsusspektri tihedused BPSK-R(n) (kahendfaasmodulatsioon, ristkülikukujulised kiibid) ja sine-BOC(m,n) (kahendnihkega kandja) jaoks (CI-s kontrollitud ühikpindala, BPSK enda spektrierituse koefitsiendi (SSC) kinnise kuju `κ = 2/(3R_c)` ja BOC spektrijaotuse suhtes — null kandjal, tipud ±f_s); spektrierituse koefitsient `κ = ∫ G_s(f)G_i(f) df`, mis nüüd tuletab häiringukindla `Q`, mida kasutab `jamming`, tegelikest signaali/segaja spektritest (`Q = 1/(R_c·κ)`) esindusliku konstandi asemel (lairiba viidet kontrollitakse CI-s ristiti); RMS (Gabori) ribalaius (BOC > BPSK — kaugusmõõtmise teabe / Cramér–Rao mõõt); koherentne early–late DLL (delay-locked loop) koodijälgimise termilise müra värin (Kaplan & Hegarty §8 — ~alla meetri C/A jaoks tasemel 45 dB-Hz, monotoonne C/N₀ suhtes); ning mitmeteelevi vea mähis (koherentne EML (early-minus-late), leitud liitdiskriminaatori nulli asukoha järgi — kitsa korrelaatori summutus kontrollitud). Kaugusmõõtmise koodi kavandi kompromissi kiht (`CodeFamily`) lisab m-jada/Goldi perioodilise autokorrelatsiooni külgsagarad (`1/L` m-jada jaoks) ja kolmeväärtuselise Goldi ristkorrelatsiooni piiri `t(n)/L` — reprodutseerides avaldatud GPS C/A −23,9 dB Goldi ristkorrelatsiooni (väline ankur) ja m-jadade arvu `φ(2ⁿ−1)/n` — pluss koodi pikkuse↔üheselt mõistetava vahemaa pöördteisenduse; Goldi garantiid tagastavad ausalt None, kui eelistatud paari ei ole (`n mod 4 = 0`), selle asemel et esitada piiri, mis ei kehti.	Alates versioonist 0.31.0 lisab eraldi IQ kiht (`src/iq/`, käsud `kshana iq`; kavand failis `design/GNSS-IQ-PLAN.md`) tarkvaravastuvõtja ahela: FFT (kiire Fourier' teisendus) haare, mitme kanaliga DLL/PLL/FLL (viivitus-, faasi- ja sagedussünkroniseeritud ahel) jälgimispank, esiotsa filtreerimine ja 1-kuni-14-bitine kvantimine ning salvestatud andmestike voogedastus. Sõltumatu tarkvaravastuvõtja taastab oma stseenide süstitud tõe ning GPS L1 C/A koodid ja LNAV (legacy navigation message) bitid on gps-sdr-sim-iga bitthaaval täpsed. Veel puudu: ahela diskriminaatorid eeldavad ideaalset BPSK korrelatsioonikolmnurka, seega puudub BOC jälgimise mitmetähenduslikkuse lahendamine; kanali- ja ahelamudelid on MODELLED, kontrollitud kinniste kujude ja süstitud tõe vastu, mitte mõõdetud välja-IQ vastu; ainult skalaarsed ahelad (vektorjälgimist pole). Antenni/RF-kasuliku koormuse riistvara kavandamine (kiirgusdiagrammid, esiots) on teadlikult ulatusest väljas — koormuspartneri roll.	BOC mitmetähenduslikkus + IQ kihi välja-IQ kontrollimine: P2+
Kvant-PNT anduri füüsika	osaline	Enamik andureid põhineb avaldatud Alani/müraeelarve koefitsientidel (CSAC, optiline), pluss esimestest printsiipidest külmaatomi interferomeetri (CAI) kiirendusmõõturil failis `src/inertial/quantum_imu.rs`: kolmeimpulsiline Mach–Zehnderi faas `Φ = k_eff·a·T²`, kvantprojektsiooni (shot) müra `σ_Φ = 1/(C√N)`, tuletatud kiiruse juhusliku käimise PSD `q_va`, mida inertsiaalne pakk tarbib, kontrastsuse vähenemine, vibratsiooni ülekandefunktsioon `\|H(ω)\|` + valge PSD dispersioon ning nüüd Coriolisi/pöörlemise (`coriolis_phase`, ekvivalentne nihe `2Ω×v`) ja AC-Starki (AC: vahelduvvool) valguse nihke (`ac_stark_phase`, sümmeetriline tühistus) süstemaatilised vead + tsükliaja triivipühkimine (`cai_drift_sweep`) ning koostatud kvant-inertsiaalse dead-reckoning-i vea eelarve (`QuantumNavBudget`), mis voldib CAI valge müraga kiiruse juhusliku käimise kokku jääknihke (`½·b·t²`, ristkontrollitud sõltumatu `AccelModel` Euleri integraatoriga), skaalateguri vea ja valikulise pikaajalise stabiilsuse halvenemisega (erinev ühe laskme dekoherentsist) üheks asukoha triivi arvuks holdover-i jooksul pluss inertsiaalseks holdover-i-lävendini — kella holdover-i dead-reckoning-i kaksik. Modelleeritud kvantpõrand on sulgudes (mitte pariteedis) Freier et al. 2016 mobiilse gravimeetri 96 nm/s²/√Hz (arXiv:1512,05660) suhtes — see asub sellest allpool ja ~2 suurusjärgu piires. Dokumenteeritud failis `QUANTUM.md`	Lainefrondi/kiire suunamise süstemaatilisi vigu ei modelleerita; Mach–Zehnderi ribade mitmetähenduslikkuse piir on modelleeritud (`max_unambiguous_accel`, `dynamic_range_cells` failis `src/inertial/quantum_imu.rs`), kuid mitmetähenduslikkuse lahendamist ei ole; täpsed CARIOQA-PMP (CARIOQA: Cold Atom Rubidium Interferometer in Orbit for Quantum Accelerometry) / Boeing-AOSense lennukatse eelarved (vajavad avaldatud platvormi PSD-sid + laskme kaupa SNR-i (signaali ja müra suhe)) ja JS (JavaScript) mänguväljaku eelseadistus on jääkülesanded	lainefrondi süstemaatilised vead + lennukatse reprodutseerimine: P2+ (`QUANTUM-MODELS.md`)
Konstellatsiooni kavandamine	osaline	Sünteetiline Walker (nii analüütiline Kepleri kui ka SGP4 keskmiste elementidega, viimane propageeritud 4,12 mm-kontrollitud tuuma kaudu — `src/walker.rs`) + päris TLE mitme konstellatsiooni nähtavus ja DOP (GPS+Galileo kuni 100%), kontrollitud päris Celestraki gps-ops hetktõmmise vastu (`tests/igs_real_data.rs`); PDOP (positsiooni täpsuse halvenemise tegur) kavandipühkimine võrgu `{planes × sats × inclination}` üle ja kattuvusosa / korduskülastuse aja kvaliteedinäitajad; käivitatav liik `constellation-design` (Walkeri delta- ja tähemustrid i: T/P/F konventsioonis, selgesõnalised elementide loendid, mitme kestaga kavandid ja avaldatud eelseadistused, ümber Maa, Kuu, Marsi või mis tahes muu kataloogitud keha), mille Walkeri geomeetria ning avaldatud GPS, Galileo ja GLONASS pesad on VALIDATED avaldatud tabelite vastu ja mille globaalne GPS lähtetaseme täpsuse halvenemise tegur on VALIDATED GPS Standard Positioning Service toimivusstandardi vastu, samas kui suvaliste kavandite kattekaardid jäävad MODELLED; gradiendivaba kavandi optimeerija (`optimize_walker_design`), mis otsib võrgust valitud eesmärgi alusel parima kavandi (`MinSatellitesForCoverage` / `MaxCoverage` / `MinWorstPdop`), kontrollitud tagastama toore jõu võitja; ja analüütiline kattuvusribade geomeetria (`coverage_half_angle_rad`, `street_half_width_rad`; Rider/Beste kinnised kujud, käsitsi kontrollitud — GPS 5° maskiga: λ ≈ 71,2°, 4-satelliidilise riba poolsuurus ≈ 62,8°)	Idealiseeritud kattuvusribade minimaalse satelliitide arvu mõõtmine on olemas (`walker::StreetsCoverageDesign`); vastupidiselt pöörleva tasandi piiril õmbluse täpset Rideri parandust ei ole realiseeritud; mänguväljak joonistab sõltuvusteta 3-D orbiidivaate (`web/studio/lib/orbit3d.mjs`) ning CZML (Cesium Language) eksport `--export czml` laadib geomeetria CesiumJS gloobusele; DOP tuum on VALIDATED gnss_lib_py vastu (`tests/dop_reference.rs`) ning täielik mitme konstellatsiooni nähtavuse konveier on otsast otsani ristkontrollitud Orekit 12,2 + gnss_lib_py vastu (`tests/coverage_dop_full_oracle.rs`): Maa kavandid langevad kokku kõigil lävedel, kuid Kuu ja Marsi kavandid jätavad DOP läve numbriliselt singulaarse geomeetria tõttu täitmata, mistõttu rida jääb MODELLED; geodeetiline vs geotsentriline „üles“ DOP raamis	kattuvusribade mõõtmine + 3-D orbiidivaade + otsast otsani Maa ristkontroll: tehtud; õmbluse täpne Rideri parandus + halvasti tingitud Maa-välise DOP: P2
Verifitseerimine ja valideerimine	osaline	Sõltumatu etaloni kontrollid kogu mootoris (SGP4 vs 666 AIAA vektorit, Alani pere vs Stable32 ja allantools, raamid vs SOFA/ERFA, jõumudel ja orbiidi määramine vs Orekit, ARAIM vs WG-C läbitöötatud näide ja muu; elav arv on faili `VERIFICATION-MATRIX.md` genereeritud päises); deterministlikud Alani kontrollid; masinkontrollitud kontrollimaatriks (`src/verification.rs`) — nõue→moodul→test→sõltumatu etalon→staatus ristviide, mille ausustuse invariandid on ühiktestitud: rida võib olla sildistatud kontrollituks ainult siis, kui sellel on sõltumatu väline etalon (NIST/AIAA/SOFA/IGS/avaldatud väärtus), nii et sisemine enesekooskõla kontroll ei saa end kontrollimisena maskeerida; renderdub Markdown/CSV (CSV: komaga eraldatud väärtused) kujule ECSS-E-ST-10-02 (ECSS: European Cooperation for Space Standardization) verifitseerimise ristviiteks ning registreerib neli partneri omanduses olevat riistvara/PA (PA: toote kvaliteedi tagamine) lünka just sellisena	Kalibreerimisansamblid katavad seni kolme ühe algväärtusega kontrolli (`CALIBRATION-ENSEMBLES.md`, eelregistreeritud: Monte Carlo bootstrapi vahemik katab 96 % 200 algväärtusest; üks protsentiili tolerants on algväärtuse suhtes habras, NOT MET tasemel 91,5 %); ülejäänud read on endiselt kalibreeritud ühtedel algväärtustel. Maatriks jõustab rea klassifikatsiooni ning CI kontrollib nüüd ka, et iga test, fail ja kasti-sisene üksus, millele rida viitab, on olemas (`tests/verification_rows_name_a_test_that_exists.rs`, `tests/verification_rows_cite_evidence_that_exists.rs`) ja et avaldatud arvud endiselt reprodutseeruvad (`tests/published_figures_still_reproduce.rs`); see ei hinda etaloni ennast, mida ülevaataja loeb endiselt	kalibreerimisansamblid: P1
LEO-PNT (positsioneerimine, navigatsioon ja aeg madalalt Maa orbiidilt)	osaline	Seitse liiki, süsteemist sõltumatud nimega avalike eelseadistustega: `leo-signal` (mis tahes riba ja struktuuriga signaalikavandid: BPSK, BOC, MBOC (multiplexed BOC) või lamedad OFDM-laadsed (orthogonal frequency-division multiplexing) komponendid, koodijälgimine, haare, GNSS-iga ühilduvus, ribade kompromiss), `leo-pass` (kavandatud, elemendi-, TLE- või Walkeri läbimine riba kaupa lingieelarvega: ITU-R (International Telecommunication Union Radiocommunication Sector) vihm, skintillatsioon ja hoonesse sisenemise kadu, ionosfäär, antenn, Doppler, nähtavate MEO (keskmine Maa orbiit) GNSS satelliitide vastu), `leo-navmsg` (edastatav efemeriid ja kell Galileo ICD (interface control document) Kepleri baasil või valitavate LEO mudelitega, sobitatud ja kodeeritud CRC-24Q (24-bitine tsükliline liiasuskontroll) kaadrikontrolliga), `leo-pvt` (ühendatud MEO + LEO pseudovahemaa ja Doppleri positsioneerimine mis tahes konstellatsioonide üle), `leo-ppp` (PPP koondumine LEO täiendusega ja ilma, simuleeritud mõõtmistel), `ntn-positioning` (5G NTN, mittemaapealse võrgu, positsioneerimise piirid signaali ribalaiusest) ja `leo-pnt-chain` (üks süsteem otsast otsani, iga etapi väljund antakse järgmisele). VALIDATED osad: ITU-R lingi liikmed soovituste tabelite ja kontrollnäidete vastu, maksimaalne Doppler avaldatud tabeli vastu, Galileo kasutajaalgoritm RTKLIB vastu täpsusega 1 mm, CRC-24Q, SISRE (signal-in-space range error) kaalud	Välja- ega salvestatud signaale pole; positsioneerimise, PPP, NTN ja ajastuse arvud on MODELLED (kinnised kujud, filtri kooskõla, avaldatud trendivõrdlused); eelseadistused on avaliku allikaga või tuletatud, mitte operaatori andmed	päris salvestatud signaali kontrollimine: P3
Spekter / RF keskkond	osaline	Liik `spectrum` (`src/spectrum.rs`): GNSS L-riba (ja ülikõrgsagedus- (UHF), S- ja C-riba mitmeribalised kavandid) ühe võimsusspektri tihedusena, sagedus risti ja aeg alla, stsenaarse segaja ajajoone all (pidevlaine-, kitsaribalised, chirp- ja sobitatud lairibasegajad), riba kaupa J/S-ga (segaja ja signaali suhe) ja efektiivse C/N₀-ga (kandja ja müra tihedus); SigMF salvestised sisse ja välja ning kompleksvalimite Welchi spektrihinnangud. Kinnised signaalispektrid ja spektrierituse koefitsiendid on VALIDATED; juga on MODELLED	GLONASS, BeiDou ja Galileo E6 signaale ei modelleerita; vastuvõtja esiotsa ega salvestatud IQ (in-phase/quadrature) kontrollimist pole	salvestatud signaali võrdlus: P3
Vastuvõtja logi usaldus (laev ja üldine)	osaline	`src/receiver_trust/`: vastuvõtja enda logi monitorid (kandja ja müra tihedus, asukoha, kiiruse ja suuna kooskõla, aeg) enne käivitust väljaöeldud sündmuste ja prognoosidega; laevaplatvormil skoor 0–100 koos põhjendustega; reaalajarežiim voo peal lausega `$PKSHT` ja valikulise väravaga. MODELLED; nõuandev, mitte tüübikinnitust omav navigatsiooniseade	Läved on väljaöeldud vaikeväärtused, mitte mõõdetud kasutuses olevate vastuvõtjate vastu; logi annab skoori ainult sellele logile; raadiosageduslikku sisendit ega väljundit ei ole; mitte tüübikinnitust omav navigatsiooniseade	`docs/RECEIVER-TRUST.md`, `docs/MARITIME-TRUST.md`
Tõendipaketid ja usalduse telemeetria	osaline	`src/evidence/`: allkirjastatud, räsiahelaga logiakna, selle konfiguratsiooni ja mootori tulemuse pakett, mis on võrguühenduseta kontrollitav, valikulise RFC 3161 ajatempli tokeniga. `src/telemetry/`: usaldusvoog Prometheuse mõõdikutena, syslog-sündmused (CEF või LEEF) ja valikuline OpenTelemetry, koos näidis-Grafana töölauaga	Pakett on tehniline kirje, mitte juriidiline arvamus, ega ütle, mis sündmuse põhjustas; ajatempli asutuse allkirja ei kontrollita; telemeetria edastab ainult telemeetriat	`docs/EVIDENCE-PACKS.md`, `docs/TRUST-TELEMETRY.md`
Meeskonna koolituse voogud ja häirekaardid	osaline	`src/nmea_synth/`: sünteetiline sillasüsteemi NMEA stsenaarse segamise, kõrvalejuhtimise (drag-off), aja spuufimise ja taasesituse sündmustega ning juhendaja logiga (ainult tekst). `src/interference_map/`: koondatud halvenenud navigatsiooni kaardid avatud litsentsiga õhusõidukite ja laevade aruannetest ning marsruudi kokkupuude, kohalikest failidest	Vood on koolitusandmed, mitte kunagi laeva reaalajas navigatsioonisüsteemide jaoks; kaardid on koondatud, mitte prognoos, ja sõltuvad antud aruannetest	`docs/NMEA-TRAINING.md`, `docs/INTERFERENCE-MAP.md`
Katsestendi eksport	osaline	`src/interop/testbench.rs`: stsenaariumi `gnss-ins`, `jamming` või `gnss-sim` sõiduki liikumine ja sündmused liikumis-CSV-na, NMEA-na, teekonnapunktide tekstina ja sündmuste failidena laboratoorse GNSS-simulaatori jaoks	Signaali ei kirjutata; simulaatori ega vastuvõtja toimivust ei väideta; faile kontrollitakse nii, nagu ühe avatud lähtekoodiga simulaatori liikumislugejad (gps-sdr-sim) neid tagasi loevad, kuid stsenaariumi enda tõelise trajektoori füüsikat välisega ei kontrollita	`docs/TEST-BENCH.md`
Galileo OSNMA kontrollimine	osaline	`src/osnma/` ja `kshana osnma verify`: loeb Galileo I/NAV lehti või UBX-voogu ja teatab satelliidi ning epohhi kaupa, kas navigatsiooniandmed on autenditud (allkirjastatud Merkle-juurega võti, TESLA ahel, MAC-id), koos põhjusega, miks kontroll ebaõnnestus, ja valikulise sõltumatu viiteajaga värskuse jaoks; ka `osnma_verify` Pythonis ja WebAssembly-s	Autendib andmeid kasutaja antud võtmete vastu; ei väida spuufimisvastast toimivust ega ole navigatsiooni terviklikkuse teenus ega tüübikinnitust omav seade; kontrollitud sünteetilistel vektoritel, ametlikud ICD testvektorid on väline allalaadimine	`docs/OSNMA.md`
Avalike raamistike compliance-kaardistus	osaline	`src/compliance/` ja `kshana compliance-report`: Kshana väljundid kaardistatud kuuele avalikule vastupidavusraamistikule ja standardile koos allikatega ja lüngaga igal real; käivitus loeb ainult siis, kui selle tulemus kannab väljasid, mida selle liik kirjutab	Kaardistus on otsustus; aruanne ütleb, mille kohta käivituste komplekt toetab tõendeid (supports evidence for), mitte kunagi seda, et raamistik on täidetud või toode heaks kiidetud; EN 16803 on viidatud ainult kataloogitekstist	`docs/compliance/README.md`
Merendusintegratsioonid	osaline	Signal K plugin, OpenCPN värava-režiimi (gate-mode) NMEA kaudu TCP-l ja viiteversioon vastuvõtja kõrval olevale väikearvutile (`integrations/`, `deploy/`)	Testitud salvestatud sünteetilisel väljundil; plugin ei ole npm-is avaldatud; nõuandev, mitte tüübikinnitust omav navigatsiooniseade	`docs/MARINE-INTEGRATIONS.md`

Laiemad kosmosesüsteemide valdkonnad (täna ulatusest väljas)#

Mitmed neist on puuduvad; teised on nüüd esimese järgu partial mudelid (missioonianalüüsi / keskkonna liigid, mis lisati v0.17.0 seerias) — loetletud, et ulatus oleks üheselt mõistetav, mitte vaikimisega vihjatud. Kshana on PNT simulaator, mitte GMAT/STK/Orekit (STK: Systems Tool Kit); need kõrvalolevad mudelid on teadlikult esimest järku ja MODELLED, mitte kunagi kontrollitud lennutööriistad.

Võimekus	Staatus	Märkus / teekaart
Missiooni kavandamine / trajektoori optimeerimine	osaline	`src/maneuver.rs`: impulsiivsed ΔV sõlmed 6×6 kovariatsiooni propageerimisega (ECI/LVLH (ECI: Maa-tsentriline inertsiaalne; LVLH: kohalik vertikaal, kohalik horisontaal) täitmisvea raamid), lõpliku põlemise integreerimine kontrollitud kinnise Tsiolkovski võrrandi vastu täpsusega < 0,01 %, Izzo-2015 ühe tiiruga Lamberti lahendaja + täpne universaalmuutujate Kepleri propageerija (Lamberti väljundid tsükliliselt kontrollitud kahe keha tõe vastu) ning porkchop (start × saabumine) C3 / saabumis-V∞ pühkimine, mis on väljastatud JSON-i kontuurivõrguna, mille miinimumi kontrollitakse analüütilise Hohmanni põranda vastu. Trajektoori optimeerijat ei ole; mitme tiiruga Lamberti lahendaja (`maneuver::lambert_multirev`, kuni kolm tiiru, mõlemad harud) on VALIDATED pykep 3.0.1 vastu (`tests/lambert_multirev_oracle.rs`); porkchop töötab sünteetilisel koplanaarsel-ringmudelil või, kasutades `maneuver::porkchop_kernel`, DE440 SPK-l (VALIDATED SPICE olekute + pykepi Lamberti vastu, `tests/porkchop_de440_oracle.rs`); `maneuver::optimise_transfer_kernel` leiab pideva kuupäevaoptimumi (min C3 või min saabumis-V∞, tüüp I või II) DE440-l, VALIDATED sõltumatu SPICE + pykep + SciPy optimeerija vastu (`tests/transfer_optimiser_oracle.rs`); avaldatud NASA/TM-2010-216764 2026 Maa–Marsi miinimumide vastu langeb see kokku II tüübi väärtustega ja jääb I tüübi miinimumi C3 poolest −5,18 % kaugusele (registreeritud). GMAT-i ennast ei käivitatud; pykep on teegi sõltumatu etalon. Süvakosmose planeetide efemeriidi õmblus (`src/ephem_provider.rs`) ja DE440 (Development Ephemeris 440) ristkontroll (`xval/anise-mars-od`, 137 m @ 1-päevane Marsi kaar) on nüüd olemas — vt süvakosmose / planeetidevahelise PNT rida. Toimivussimulatsiooni kiht GMAT/Orekit kohal, mitte asendus. P3
AOCS (orientatsiooni- ja orbiidijuhtimissüsteem) / GNC (juhtimine, navigatsioon ja kontroll) / orientatsioon	osaline	Liik `attitude-budget` (`src/attitude_budget.rs`): halvima juhtumi gravitatsioonigradiendi moment `1.5·(μ/R³)·ΔI` + RSS (ruutude summa ruutjuur) suunamisvea eelarve iga panustaja 1σ liikmete üle — MODELLED skalaarne riistvara-eelne suunamise/häirete eelarve. Momendivaba jäiga keha orientatsiooni dünaamika kvaternioonolekuga (`src/attitude_dynamics.rs`: Euleri võrrandid + kvaternioonkinemaatika, RK4) on VALIDATED Basilisk 2.9.1 kosmoselaeva keskme vastu (`tests/attitude_dynamics_basilisk_oracle.rs`, kvaternioon 1e-9 piires 1e4 s jooksul) ja gravitatsioonigradiendi momendi tipp Basiliski GravityGradientEffector-i vastu (`tests/attitude_gg_torque_basilisk_oracle.rs`); Wahba orientatsiooni määramine on failis `src/wahba.rs`. Liik `aocs` (`src/aocs.rs`, `src/aocs_kind.rs`, `AOCS.md`): inertsiaalne suunamispööre tasakaalustatud reaktsiooniratastega MRP tagasisidega, minimaalse normiga ratta momendid mootoripiirangutega; suletud ahel on VALIDATED Basilisk 2.9.1 vastu kolmel eelregistreeritud juhtumil ümardusveani. Güroskoobi ja tähejälgija MEKF (`src/aocs_mekf.rs`) saab ahela sulgeda oma hinnangul (MODELLED, filtri kooskõla). Jälgimisjuhtimist, integraaltagasisidet, impulsimomendi haldust, magnetmomendi tekitajaid, tõukureid, ratta hõõrdumist ega kiiruspiiranguid ei ole; orientatsiooni dünaamikas puudub väline momendi keskkond; ei ole lennukontroller. P3
Tugisüsteemid → Maaga seotud	täielik	Tehtud — TEME→ECEF/ITRF, poolusenihe ja CIO-põhine GCRS→ITRS ahel on realiseeritud ja VALIDATED (bitthaaval vs SOFA/ERFA; 4 mm otsast otsani vs Vallado). Vt ülal rida Tugisüsteemid
Side ja lingieelarved	osaline	`src/linkbudget.rs`: süvakosmose Friisi lingieelarve (Tx võimsus · antennivõimendused · müra → C/N₀ · Eb/N₀ · varu), mis toidab radiomeetrilist/GSE (GSE: maapealne tugiseadmestik) teed, pluss optilised/RF aja edastamise lingid (`src/timetransfer.rs`) ja käivitatav liik `link-budget`* — ühesuunaline CCSDS-401/DSN-810-005 (DSN: Deep Space Network) lingivõrrand `C/N₀ = EIRP − FSPL − L_other + G/T − k` EIRP (efektiivne isotroopne kiirgusvõimsus) / G-T sisenditega ja S/X/Ka riba valikuga (MODELLED insenerlik lingieelarve, mitte kalibreeritud terminali andmeleht). Ei ole juurdepääsu ajastamist ega adaptiivset kodeerimist. P2
Maasegment ja operatsioonid	osaline	Liik `passes` (`src/passes.rs`): maajaama tõusu/loojangu läbimise prognoos — AOS/TCA/LOS (AOS: signaali haare; TCA: lähima lähenemise aeg; LOS: signaali kadu), maksimaalne kõrgus, läbimise kestus ja kogu ligipääs horisondi jooksul, SGP4 elemendikomplektist IAU 2006/2000A Maaga seotud raamis ITU-R P.834-9 refraktsiooni ja valguse ajaga — VALIDATED Orekit 13.1.8 vastu merepinna jaamades (60 juhtumit / 1210 läbimist, `tests/pass_predictor_on_path_orekit_oracle.rs`); geomeetriline `passes::predict_passes` on VALIDATED Orekit 12,2 kõrgusdetektori vastu (22 stsenaariumi / 129 läbimist, `tests/ground_station_pass_prediction_reference.rs`); ajastuse optimeerijat ega konfliktide lahendamist ei ole. P3
Telemeetria / TT&C / CCSDS	osaline	kohandatud TOML-sisend/JSON-väljund; CCSDS OEM (Orbit Ephemeris Message) eksport ja import (502.0-B KVN (keyword-value notation), GMAT/Orekit/STK) käivitatava liigi `oem-interop` kaudu (`src/oem.rs` `parse_oem` edasi-tagasi sild; standardi järgiv ühe objekti vahetus on VALIDATED sõltumatu `oem` 0.4.5 parseri vastu); CCSDS-TDM (503) Tracking-Data-Message parsimine + väljastamine (`src/ccsds_tdm.rs`, süvakosmose radiomeetriline vahetusvorming); ja liik `space-packet` (`src/space_packet.rs`): CCSDS 133.0-B Space Packet primaarpäise kodeerimine/dekodeerimine bitttäpse edasi-tagasi teisendusega. CCSDS OMM (Orbit Mean-Elements Message, 502.0-B-2, ODM-pere osa) kirjutaja (`src/omm.rs`) avaldab SGP4 keskmised elemendid KVN-is ja puhas Rusti NAIF SPICE kerneli lugeja (`src/naif_kernel.rs`: DAF konteiner, SPK tüüp 2, binaarne PCK tüüp 2) toetab `ephem_provider::KernelEphemeris`. Muud CCSDS sõnumitüübid (OPM, OCM, AEM (AEM: Attitude Ephemeris Message)) ja SPICE kirjutamine jäävad teekaardi punktiks (P2)
Koostalitlusvõime ja standardid (RINEX/SP3/SPICE/CCSDS)	osaline	RINEX 3 mitme-GNSS NAV — GPS, Galileo, QZSS, BeiDou MEO/IGSO (IS-GPS-200) ja GLONASS (PZ-90 (PZ: Parametry Zemli, vene geodeetiline datum) olekuvektori RK4) — sissevõetud + propageeritud + käivitatav ühe segatud konstellatsioonina; RINEX 3 OBSERVATION parser (pseudovahemaa/kandelaine/Doppler/SNR vaatluskoodi kaupa, LLI/SSI (LLI: haardekao indikaator; SSI: signaali tugevuse indikaator) lippudega; 4,00 peaks parsima, testimata); SP3-c/d täppisefemeriidi lugemise ↔ kirjutamise edasi-tagasi teisendus (parsimine + eksport Ginani/RTKLIB/gLAB jaoks) ja 10. järgu (11 punkti) Lagrange'i propageerija (`Propagator::Sp3Precise`); SP3 eksport on CLI-s avatud (`kshana <orbit.toml> --export-sp3 out.sp3` või `export_sp3 = true`) ja edasi-tagasi kontrollitud päris GPS konstellatsiooni vastu täpsusega <0,5 m 24 h jooksul (`tests/sp3_export_roundtrip.rs`); CCSDS OEM 2,0 efemeriidi kirjutaja — kiirust kandev TEME oleku eksport lennudünaamika tööriistadele — on nüüd CLI-s avatud (`kshana <orbit.toml> --export-oem out.oem` või `export_oem = true`) ja edasi-tagasi kontrollitud propageerija oleku vastu (`tests/sp3_export_roundtrip.rs`). RINEX vaatluste parser toidab nüüd ühepunkti-positsioneerimise lahendust (`pvt`, kontrollitud päris IGS andmetel — vt GNSS / PNT rida). Lisaks CCSDS-TDM (503) jälgimisandmete sõnumi parsimine + väljastamine (`src/ccsds_tdm.rs`). Geomeetria eksport vaaturitele ja missioonianalüüsi tööriistadele: CZML, KML (Keyhole Markup Language), GeoJSON ja STK efemeriid (`--export`, `src/interop/`), igaüks parsitud tagasi vormingu spetsifikatsioonist kirjutatud valideerijaga (`tests/interop_formats.rs`), GeoJSON marsruudi import (`--import-route`), SigMF (Signal Metadata Format) salvestised sisse ja välja liigile `spectrum` ning RINEX-4-laadne / CSV tekst LEO navigatsioonisõnumi jaoks (`INTEROP.md`, `STANDARDS.md`). Ei ole BeiDou-GEO-d, PPP täisarvuliste mitmetähenduslikkuste fikseerimist ega kinemaatilist RTK-d (staatiline ujuv PPP ja lühikese baasjoone RTK päris andmetel on olemas, vt GNSS / PNT rida), SPICE kirjutajat ega OPM/AEM-i veel (OEM lugeja on olemas liigi `oem-interop` kaudu, OMM kirjutaja failis `src/omm.rs` ja SPICE SPK/PCK lugeja failis `src/naif_kernel.rs`) — P2 „lisa kõrvalvaldkonnad standardvormingute kaudu“
Kosmoseilm / keskkond (iono/atmo/kiirgus)	osaline	Liik `space-weather` (`src/space_weather.rs`): päikese/geomagnetilised indeksid (Kp↔ap IAGA (International Association of Geomagnetism and Aeronomy) 28-sammuline tabel, päevane Ap, tsentreeritud 81-päevane F10.7a), Jacchia-71 eksosfääri temperatuur ja aktiivsusest juhitud termosfääri tiheduse sidestus staatilise atmosfääri kohal — MODELLED esimest järku, MITTE NRLMSISE absoluuttiheduse mudel. Ionosfäär: Klobucharu edastusmudel (VALIDATED RTKLIB vastu) ja IONEX (IONosphere map EXchange format) TEC (elektronide kogusisaldus) kaardi lugeja (`src/ionex.rs`, ühiktestitud). Päris CODE globaalne ionosfääri kaart (`CODG1330.18I`) on geomeetriavaba kaldtee-TEC rea mõõdetud sõltumatu etalon (`tests/geometry_free_tec_gim_oracle.rs`), kuid see test hindab kaarti oma fikstuurigeneraatoris, seega ei ole lugejat `src/ionex.rs` ennast veel päris toote vastu ristkontrollitud; füüsikapõhist ega kosmoseilmast juhitud ionosfäärimudelit ei ole; P2+
Gravitatsioonikaardi / alt-PNT navigatsioon	osaline	`src/gravimeter.rs`: külmaatomi gravimeetri mõõtmismudel, mille valge müra põrand on tuletatud CAI kiirendusmõõturi ASD-st (`σ = ASD/√τ`), madala astmega täielikult normaliseeritud sfäärilise harmoonilise gravitatsioonianomaalia väli (kontrollitud kinniste Legendre'i funktsioonide ja käsitsi tuletatud ühe liikme anomaalia vastu) pluss sünteetilised mascon'id ja gravitatsioonikaardi sobitamise osakeste filter (komponeerib `mapmatch` + `particle_filter`), mis taastab GPS-ita raja anomaaliate jadast, mille läbi see lendab. 60-minutiline GPS-ita bench (`run_gps_denied_gravity_nav`, `scenarios/gps-denied-gravity-nav.toml`) lendab ~700 km / ühe tunni katkestuse, kus inertsiaallahendus triivib ≈ 70 km kaugusele, ja hierarhiline jämedast peeneni sobitaja gravimeetri deterministliku algväärtustatud valge müraga taastab selle täpsusega ≈ 145 m (< 500 m) — stabiilne müra realisatsioonide lõikes ja tõestatavalt täpsustamisega piiratud (üks jäme võrk takerdub ~2 km juures). Lisaks täielik IGRF-14 (IGRF: International Geomagnetic Reference Field) geomagnetilise põhivälja mudel (`src/igrf.rs`: IAGA Schmidti-normaliseeritud sfääriline harmooniline väli astmeni/järguni 13, 2025,0 + sekulaarne muutus, koefitsiendid masinaga genereeritud ametlikust failist `igrf14coeffs.txt`; kontrollitud kinnise kujuga kaldus dipooli, skalaarpotentsiaali lõplike vahede ning teadaoleva geomagnetilise pooluse/tugevuse vastu) — magnetväli, mida platvorm saab kaardiga sobitada magnetanomaalia navigatsiooniks. Lisaks maastikuga seotud navigatsioon (TERCOM/SITAN (TERCOM: maastikukontuuri sobitamine; SITAN: Sandia Inertial Terrain-Aided Navigation)) ja kombineeritud gravitatsiooni+magnet+maastiku navigaator (`src/altpnt/terrain.rs`): käsitsi kirjutatud SRTM (Shuttle Radar Topography Mission) `.hgt` kõrgusmudeli (DEM) parser (16-bitine märgiga big-endian, reajärjestus, põhjarida esimesena, tühik -32768; kontrollitud GDAL (Geospatial Data Abstraction Library) SRTMHGT (Shuttle Radar Topography Mission height-file format) draiveri spetsifikatsiooni ja kinnise bilineaarse keskpunkti etaloni vastu), radari/baro kõrgusmõõtja mudel ja `run_terrain_nav` sobitaja, mis taastab GPS-ita raja maapinna kõrgusprofiilist DEM-i vastu, ja `run_combined_altpnt`, mis liidab kolm skalaarset väljakanalit teekonnapunkti kohta (Δg mGal · \|B\| nT maakoore anomaalia · kõrgus m), nii et ühisposterioor on teravam (madalam CRLB (Cramér–Rao alumine tõke)) kui ükskõik milline üksik väli — piiratud < 500 m 60-minutilise katkestuse jooksul ja ootuse järgi mitte halvem kui parim üksik kanal. Lisaks järjestikune (rekursiivne) maastikuga seotud navigatsioon — SITAN kui jooksev filter (`src/altpnt/sequential.rs`, `run_sequential_trn`): sama kõrgusmõõtja-vs-DEM mõõtmismudel käivitatud epohhhaaval läbi `particle_filter` SIR (sampling importance resampling) mootori (ennusta INS-i juurdekasvu + protsessimüraga → kaalu maastikusobituse järgi → taasvali degeneratsioonil), nii et ajas muutuvat INS-i triivi jälgitakse mööda rada, kus partii sobitaja taastab ainult ühe konstantse nihke — rekursiivne hinnang jääb piiratuks ja koondub uuesti (lõpuks ≈ 70 m), samal ajal kui abistamata lahendus hajub piiramatult ≈ 5 km-ni, epohhi kaupa viga järgib maastiku eristatavust ja efektiivse valimi suuruse tervisemonitori. Aus ulatus: kaart on teada ja fikseeritud — rekursiivne lokaliseerimine salvestatud DEM-i vastu (maastiku SLAM-i (simultaneous localisation and mapping) lokaliseerimise pool); ühine kaardihinnang on eraldi RBPF allpool. Kõik neli on nüüd stsenaariumimootoris `kind=` ühendatud (`gravity-map`, `terrain-nav`, `combined-altpnt`, `terrain-slam`) SVG triivigraafikuga (`scenarios/terrain-nav.toml`, `scenarios/combined-altpnt.toml`, `scenarios/terrain-slam.toml`). 0,36 (WP-10): navigaator `gravity-map` võtab valikulise päris viiteväljaga (`[reference]`: komplekteeritud EGM2008 astmeni 70 või ICGEM `.gfc` fail), mille anomaalia süntees langeb kokku ICGEM Calculation Service'iga ligikaudu 1e-8 mGal täpsusega (VALIDATED, `xval/icgem-egm2008/`); sellel astme-70 väljal lõpeb 60-minutiline bench väärtusel 3106 m, seega < 500 m lävi on NOT MET (eelregistreeritud ja ennustatud: aste 70 on liiga sile). Valikuline kaardivea Monte Carlo (`[map_error_mc]`, `scenarios/gravity-map-error-mc.toml`) näitab, et sünteetiline 144 m fiks eeldab täpset kaarti (20 realisatsioonist 1 jääb 500 m piiresse 2 mGal korreleeritud vea korral; uuriv). `combined-altpnt` võtab valikulise EMAG2v3 maakoore magnetvõrgu (`[magnetic_grid]`; EMAG2 laaditakse, mitte ei kopeerita hoidlasse, ja selle põhjal ei väideta ühtegi navigatsioonitulemust). `terrain-nav` jääb kavandi järgi ainult DEM-iks: see on ühe kanaliga TERCOM/SITAN sobitaja ja magnetsobitamine toimub failis `combined-altpnt`, mis liidab maastiku magnet- ja gravitatsioonikanalitega; magnetkanal liigis `terrain-nav` dubleeriks seda, seega on auditi punkt „EMAG2 maastikunavigatsiooni“ kaetud `combined-altpnt` ühendusega (RM-16). Päris-SRTM kontrollid töötavad CI-s kahel sissekantud täisresolutsiooniga lõikel (sõlm-sõlmelt võrdne GDAL 3.8.4-ga, `xval/srtm-ungate/`). Ühine kaardihinnang on olemas (`run_sequential_trn_on_map`, FastSLAM-laadne RBPF): ühel läbimisel võidab see vigasel kaardil 1,5 % teadaoleva kaardiga SITAN-i ees, jäädes eelregistreeritud 10 % lävest allapoole (`xval/terrain-slam-rbpf/`). Endiselt puudu: kõrgastmeline gravitatsioonimudel navigatsioonikäivituses (vajab uut eelregistreerimist), päris võrgu magnetnavigatsiooni tulemus ja korduvkülastusega (ahela sulgemisega) SLAM-i juhtum. P3
Taassisenemine / EDL (sisenemine, laskumine ja maandumine), starditeanalüüs, EO/kasulik koormus (EO: Maa vaatlus)	osaline	Esimest järku MODELLED geomeetria kolme käivitatava liigi kaudu: `reentry` (`src/reentry.rs`, Allen-Eggersi ballistiline koridor — maksimaalne aeglustus, maksimaalse g ja maksimaalse kuumenemise kiirused, maksimaalse g kõrgus), `launch-window` (`src/launch.rs`, kahe keha starditeeazimuut `sin Az = cos i/cos lat`, tasandimuutuse Δv, saidi pöörlemise boonus, päevased võimalused) ja `eo-coverage` (`src/eo_payload.rs`, SMAD (Space Mission Analysis and Design) kosmosekolmnurga EO laiuse / GSD (ground sample distance) / ligipääsu / korduskülastuse geomeetria). Ei ole 6-DoF EDL/aerotermilist simulatsiooni, trajektoori optimeerijat ega anduri radiomeetriat/MTF-i (MTF: modulatsiooni ülekandefunktsioon). P3
Kuu / tsislunaarne PNT (LunaNet)	osaline	`src/lunar.rs`: Kuu ARAIM mootor, mis taaskasutab Maa poolset MHSS tuuma LunaNet LNIS (LunaNet Interoperability Specification) parameetritega (σ_URE ≈ 30 m, P_sat ≈ 1e-4), MCI↔MCMF (MCI: Kuu-tsentriline inertsiaalne; MCMF: Kuu-tsentriline, Kuuga seotud) tsislunaarse raami redutseerimine (`mci_to_mcmf` / `mcmf_to_mci`, lihtsustatud keskmise pöörlemise mudel sidereaalsel kiirusel) ja selenograafiline lat/lon/alt (`mcmf_to_selenographic`) ning lõunapooluse kaitsetaseme läbimine (`south_pole_hpl_pass`), mis kvantifitseerib terviklikkuse lõhe — 30 m kaugusmõõtmisega on HPL lõplik, kuid ületab 50 m pinnaoperatsioonide häirepiiri. `src/cr3bp.rs` lisab Maa–Kuu CR3BP (ringkujuline piiratud kolme keha probleem) (pöörleva raami dünaamika + RK4 propageerija + Jacobi konstant + viis Lagrange'i punkti, kontrollitud avaldatud L1/L2/L3 väärtuste ja täpse L4/L5 vastu) — kolme keha tuum, mida päris NRHO (near-rectilinear halo orbit) vajab — ning olekuüleminekumaatriksi + ühe laskmise diferentsiaalkorrektori (`cr3bp_jacobian`, `propagate_state_stm`, `differential_correct_halo`), mis toodab tõeliselt perioodilisi L2 halo/NRHO orbiite: STM on kontrollitud lõplike vahede vastu, korrigeeritud halod sulguvad iseendaga masinatäpsusega (Jacobi-säilitav) ja avaldatud apolune oleku seemendamine reprodutseerib L2 lõunapoolse 9:2 NRHO (Gateway orbiit) perioodiga ≈ 6,57 d ja perilune ≈ 3 250 km — kooskõlas avaldatud ≈ 6,56 d / ≈ 3 370 km \| Diferentsiaalkorrigeeritud NRHO ICd (algtingimused) on nüüd ühendatud, kuid korrigeeritud orbiidi denormaliseeritud selenotsentriline (MCI/MCMF) teisendus ja perekonna jätkamine on endiselt jätkutööd; DE440 peatelje Kuu orientatsioon päris füüsikalise libratsiooniga on olemas (`src/lunar_orientation.rs`, PCK-st `moon_pa_de440`, kontrollitud SPICE `pxform` vastu failis `tests/lunar_pa_orientation_spice_oracle.rs`), kuid vanem tee `lunar::mci_to_mcmf` kasutab endiselt keskmist pöörlemist ilma libratsiooni või pretsesseeruva poolusenita; NRHO on CR3BP (ringkujuline, Päikeseta) lahendus, mitte kontrollitud päris LANS/Gateway (LANS: Lunar Augmented Navigation Service) efemeriidi vastu; käivitatav stsenaariumi liik `lunar-integrity` (`scenarios/lunanet-araim.toml`) avab lõunapooluse läbimise CLI-st \| selenotsentriline teisendus + perekonna jätkamine + SPICE/LunaNet liides: P3
Süvakosmose / planeetidevaheline PNT (Mars, radiomeetriline)	osaline	Tarnitud v0.17.0. Radiomeetriline navigatsioonimootor: iteratiivne valguse aeg + Shapiro viivitus, kahe-/ühe-/kolmesuunaline Doppler ja vahemaa (Moyeri kaks jalga), koherentne transponderi pööre, regeneratiivne/PN (PN: pseudomüra) kaugusmõõtmine (CCSDS 414), Δ-DOR (CCSDS 506), päikeseplasma/tropo/iono keskkonnad (`src/radiometric.rs`); CCSDS-TDM (503) parsimine + väljastamine (`src/ccsds_tdm.rs`); vähendatud dünaamikaga SRIF (ruutjuurinformatsiooni filter) RTN (radiaalne, põiki, normaal) empiiriliste kiirendustega + 3-olekulise pardakella + Marsi takistusega (`src/deepspace_od.rs`, `clock_state.rs`, `mars_atmos.rs`), mis teeb Mars-LMO (LMO: madal Marsi orbiit) OD ≈ 0,2 m sünteetilises suletud ahelas; ühesuunalise+kahesuunalise liitmine; mitme keha dünaamika tuum (`src/body.rs`, Marsi GMM-3 (GMM: Goddard Mars Model), IAU Marsi raam `src/mars_frame.rs`, `EphemerisProvider` õmblus `src/ephem_provider.rs`, kaheosaline JD + TT↔TDB (TDB: Barycentric Dynamical Time)); ning `mars-pnt` releed-PNT stsenaarium (MARCONI areostatsionaarne konstellatsioon, `src/mars_pnt.rs`) + otsast otsani GSE toimivuse simulaator (`src/gse_sim.rs`). Simulatsiooniga kontrollitud (kovariatsiooni/suletud ahela kvaliteedinäitaja); Päikese-tsentriline dünaamika ristkontrollitud JPL (Jet Propulsion Laboratory) DE440 vastu (137 m @ 1-päevane kaar, `xval/anise-mars-od`). Puudu: päris DSN/ESTRACK (ESTRACK: European Space Tracking network) jälgimisandmete kontrollimine; Marsi gravitatsioon oma natiivsel raamil (GMM-3 d/o 120 väli laaditakse PDS SHADR tabelist, `from_shadr`, VALIDATED pyshtools vastu, ja haakub kaudu `Body::with_gravity_field`, kuid seda hinnatakse IAU, mitte oma Konopliv-2006 raamis); DE-klassi efemeriid tuumas (kernelipõhiselt piiratud xval-is). P3
Päikesesüsteem ja PNT ümber mis tahes keha	osaline	Liik `solar-system`: Päikese, planeetide, Pluuto, Kuu ja seitsme suurema kuu positsioonid, kiirused ja füüsikalised konstandid ühel epohhil, kehade vahelise valguse ajaga; planeetide positsioonid (JPL Standishi elemendid) ja valguse aeg on VALIDATED JPL Horizonsi vastu (`tests/solar_system_horizons_reference.rs`), kuud, Pluuto ja välisplaneetide tabel jäävad MODELLED. Liik `body-pnt`: orbiiter või maandur ümber mis tahes kataloogitud keha (Mars, Kuu, Europa, Ganymedes, Titan ja ülejäänud), mis navigeerib kohaliku Walkeri konstellatsiooni ühesuunalistel pseudovahemaadel pluss valikulisel kahesuunalisel Maa vahemaal — MODELLED. Tuumas ei ole planeetide efemeriidi kernelit (analüütilised elemendid), releeorbiidid `body-pnt` kasutavad ainult J2 (täielik Marsi GMM-3 d/o 120 ja Kuu GRAIL GL0660B d/o 660 väli laaditakse PDS SHADR tabelitest ja haakub objektiga `Body` propageerija jaoks, `src/gravity_pds.rs`). P3
Kampaaniad / missiooni koostamine	osaline	Liik `campaign` (`src/campaign.rs`): olemasolevad liigid aheldatud ühel jagatud ajajoonel (näiteks segamine, siis spuufimine, siis holdover INS-iga inertsist liikudes, siis terviklikkuse häire, siis taastumine), parameetripühkimised ja algväärtustatud Monte Carlo ansamblid mis tahes liigi üle ning mitu stsenaariumi jagatud tingimustel kombineeritud kokkuvõttega; iga arv loetakse liikmeliigi päris käivitusest. Koostamisidentsused on testitud (`tests/campaign_composition_reference.rs`: ühefaasiline kampaania reprodutseerib iseseisva käivituse baidi baidi haaval); MODELLED. Jaotis `[optimize]` (võrk või piiratud Nelder–Mead ühe kuni kolme võtme üle, üks mõõdik, minimeeri, maksimeeri või saavuta siht) täidab oma eelregistreeritud kinnise kuju ja toore jõu lävendid (`tests/campaign_optimize_reference.rs`); MODELLED, lokaalne otsing ilma globaalse optimumi väiteta ning ilma gradient- või Bayesi meetodita. P3
Aruanded, animatsioon ja väljundid	osaline	Iga käivitus kirjutab `result.json`, graafiku ja aruande (`report.html`, `report.json`), mille sildid loetakse kontrollimaatriksist ja mille salvestatud käsk reprodutseerib tulemuse baidi baidi haaval (`tests/advanced_report_cli.rs`); `--animate` (svg, html või kaadrid) renderdab aegrea animatsioonina (`src/animation.rs`, `ANIMATION.md`); `--export` kirjutab koostalitlusvõime reas nimetatud vahetusvormingud. Need on käivituse renderdused, mitte tõendid füüsika kohta.

Ökosüsteem ja valmidus (jälgitud ausalt, mitte koodivõimekus)#

Valdkond	Staatus	Märkus
Keelesidemed ja pakendamine	osaline	Rust + Python (abi3) + WASM kolmes registris. Tüübitud pinnad (0,36, CAP-34): Python `RunOutput` NumPy ligipääsuvahenditega (`array`, `columns`, `series`) ja stub-tüübitud `ScenarioKind` / `ErrorKind` / `KindMeta`; JavaScript `run_typed` (tüübitud `RunOutput` objekt) ja `scenario_kinds`, sama sõnavaraga TypeScripti deklaratsioonides. Tulemusdokumendid jäävad liigi kaupa JSON-iks, tüübitud ainult oma ühise ümbrisega (`units`, versioonid)
Haridus / sissejuhatuse UX (kasutajakogemus)	osaline	Brauseri mänguväljak juhitud režiimiga on tarnitud: stsenaariumiga kohanduvad juhitud liugurid (`web/studio/lib/guided.mjs`, kuni kuus nuppu stsenaariumi kohta) ja interaktiivne juhitud tuur (`web/studio/lib/tour.mjs`, mänguväljakul uuesti esitatav). Iga käivitus saab ka lihtsas keeles tähenduse lause ja selle põhiarvud, loetud tulemusdokumendist (`web/studio/lib/meaning.mjs`, liigi kaupa mallidega failis `meaning-kinds.mjs`; liik, millel malli ei ole, saab oma esimese peaarvu lihtsalt öeldud). Puudu: arvu kaupa juhitud selgitused lisaks sellele lausele (lihtsas keeles `GLOSSARY.md` katab need)
Kogukond / juhtimine	osaline	Juhtimise karkass olemas — `GOVERNANCE.md` (heatahtliku hoidja mudel + tehniline lävi + avatud/suletud piir), `CODE_OF_CONDUCT.md`, `CONTRIBUTING.md`, `SECURITY.md`, probleemi/PR (PR: tõmbepäring) mallid, `FUNDING.yml`, dependabot. Üksikasutaja asutaja; aktiivne väline kogukond (panustajad, tsiteerimised) sõltub inimestest/ajast ja alles kasvab (kontaktid ootavad ülevaatust)
Rahastuse ja hanke valmidus	puudub	TRL ~3; agentuuride tsitaate/lepinguid veel ei ole (vt strateegiamärkmeid)

Uuendatud 2026-10-29 mootorile 0.40.0 (92 stsenaariumi liiki, allikas kshana kinds --json; uued versioonis 0.40.0: mission-thread, lunar-orbit-rendezvous, lunar-descent, lunar-surface ja lunar-ascent). 2026-10-22: mootor 0.39.0, 87 liiki, uusi liike pole. 2026-10-19: mootor 0.38.0, 87 liiki (uued versioonis 0.38.0: holdover-test, gnss-ssv ja lunar-infrastructure). 2026-10-18: 84 liiki (uus versioonis 0,37: optical-atmosphere). 2026-10-16: 83 liiki (uued versioonis 0,36: acm-link, aocs, ascent-losses, contact-schedule, entry-heating, eo-radiometry, lunar-station-coverage ja time-transfer-budget). 2026-10-10: mootor 0.35.0, 75 liiki, uusi liike pole. 2026-10-09 ja 2026-10-08: varasemad redaktsioonid. 2026-10-04: Nav-signal rida märgib 0.31.0 IQ kihi. 2026-09-29: lisatud LEO-PNT, spektri, päikesesüsteemi / suvalise keha PNT, kampaania ja väljundi read. Varem: viidud vastavusse 2026-06-02 suure auditi 27-realise võimekuse maatriksiga; sügavkosmose / Marsi PNT rida lisatud versioonis v0.17.0. Kvant-PNT täiendused (GNSS-ita kella holdover src/holdover.rs, koostatud kvantinertsiaalse hinnangulise navigeerimise eelarve QuantumNavBudget, ulatuskoodi projekteerimiskompromiss CodeFamily, masinkontrollitud kontrollimaatriks src/verification.rs) on koondatud ajastuse, kvant-PNT-andurite, Nav-signal ja V&V ridadesse, iga rida märgitud kontrollituks või modelleerituks vastavalt selle tegelikule oraaklile.

FutureNAV demonstraatori täiendused (modelleeritud, sisemiselt ristkontrollitud — mitte väliselt kontrollitud): (1) Masinõppega RF-häirete tuvastamise hindamise testistend src/impairment_eval.rs — sildistatud sünteetiline (parameetritel põhinev, mitte IQ) häirekorpus + detektorist sõltumatu ROC/AUC/segadusmaatriksi/Pfa-Pmd (ROC: vastuvõtja töökarakteristik; AUC: kõvera alune pindala) raamistik lekkekaitse ja kihilise jaotusega; komplekteeritud detektorid on läbipaistvad avaldatud meetodi lähtetasemed, mitte SOTA (state of the art), ja kõrge AUC siin demonstreerib konveierit, mitte välitoimivust. (2) Kvant- ja klassikalise PNT kompromissimootor src/quantum_trade.rs — mõõdetud ADEV sissevõtt (NNLS (mittenegatiivsed vähimruudud) sobitus σ_y²(τ)=q_wf/τ + q_rw·τ/3 + q_drift·τ³/20, edasi-tagasi kontrollitud vastu q_from_allan), aja/inertsiaalse holdover-i kasutegurite tabel, mis kannab põranda eelduse hoiatust artefaktil, ja GNSS-ita vastupidavuse-vs-aja ümbrik; see kvantifitseerib partneri kvantkasu, mitte kunagi ei kontrolli seadet. Mõlemad vastandlikult ülevaadatud (τ²→τ³ triivibaasi viga ja vale „piiramatult piiratud“ vastupidavuse väide tabati ja parandati). 911 teegi testi selle täienduse ajal, fmt+clippy puhas.

Vahetus- / standardvormingu täiendus (src/interchange.rs): Kshana Interchange Format (KIF) — neutraalne, versioonitud, ise-kirjeldav Envelope, mis ümbritseb mis tahes artefakti (stsenaarium, tulemus, kompromissiuuring) äratuntava format sildiga, ühe tõeallikaga SCHEMA_VERSION (skeemi versioon, mida varem kopeeriti literaalina 15 kohta, on nüüd ühes konstandis, millele kogu kast viitab), tootva engine_version ja selgesõnalise, testitud ühilduvuslepinguga (compatibility(): sama suurversioon / võrdne või vanem alamversioon on loetav additiivse välja distsipliini all; uuem alamversioon või erinev suurversioon lükatakse piiril tagasi Envelope::parse poolt, mitte ei parsita vaikselt valesti). Edasi-tagasi teisendatav (wrap→to_json→parse→payload_as::<T>()) mis tahes Deserialize kasuliku koormuse jaoks; teadlikult ajatempliga vaba, et säilitada Kshana bitthaaval reprodutseeritavust. Dokumenteeritud failis SCHEMA.md, nii et vorming on tsiteeritav, mitte ainult väljastatud — avatud tuuma „standard ootel“ positsioneerimine. 923 teegi testi selle täienduse ajal, fmt+clippy puhas.

FutureNAV domineerimisversiooni täiendused (modelleeritud, sisemiselt ristkontrollitud — mitte väliselt kontrollitud): (1) Säästlik kulu-katvuse kohta / ROI (investeeringutasuvus) kiht src/frugal.rs — kasuraamistamise kiht konstellatsiooni mõõtmise mootori kohal (walker), mis esitab kulu katvuse protsendipunkti kohta ja katvuse-euro-kohta ROI võrreldes lähtetasemega; satelliidi kulu on kutsuja antud, allikaga madala/nominaalse/kõrge vahemik (väljamõeldud punkthindu ei ole), nii et väljundid on vahemikud, mitte näiv täpsus; modelleeritud katvuse arvu modelleeritud majanduslik raamistus, mitte hinnapakkumine. (2) Tuvastamata jäämise terviklikkusmõju kaardistus src/integrity_impact.rs — kaardistab tuvastamata spuufimisest/segamisest põhjustatud asukohanihke selle efektiivsele veale → Stanfordi piirkond (kättesaadav / süsteem kättesaamatu / eksitav / ohtlikult eksitav) kontekstispetsiifiliste häirepiiride (lagedal taevas vs linn, HAL vs VAL) vastu, komponeerides välisankruga RAIM classify_stanford; tuvastamata jäämise→häirepiiri sild on modelleeritud, mitte sertifitseeritud terviklikkuse jaotus. Mõlemad on kaardistatud masinkontrollitud kontrollimaatriksisse (src/verification.rs, invariant Kontrollitud⇒ExternalDataset puutumata; elav ridade arv on faili VERIFICATION-MATRIX.md genereeritud päises). Ristvalideerimise / lekkekaitse / parameetrite järgi kihistatud jaotus tehisintellekti hindamise raamistiku jaoks tarniti juba failis src/impairment_eval.rs (stratified_split, Split::has_leakage). 951 teegi testi selle täienduse ajal, fmt+clippy puhas.

FutureNAV optimismilõhe uuringu täiendused (modelleeritud, sisemiselt ristkontrollitud kinniste kujude vastu — mitte väliselt kontrollitud, mitte simulatsioonist-välja väide): kontrollitud sünteetiline uuring RF-häirete detektorite jaotusesisese→jaotusevälise AUC optimismilõhe kohta. (1) Õppivad detektorid src/impairment_ml.rs — fikseeritud tunnuskaart + treeninguga sobitatud standardiseerija, logistilise regressiooni lähtetase (deterministlik täispartii gradientlaskumine) ja ühe peidetud kihiga MLP (mitmekihiline pertseptron; algväärtustatud tagasilevi SGD (stohhastiline gradientlaskumine)) sama ImpairmentDetector tunnuse (trait) taga, mida kasutavad avaldatud meetodi lähtetasemed. (2) Käsitsi tuletatud statistika src/eval_stats.rs — protsentiili-bootstrapi usaldusvahemikud (CI), DeLongi AUC dispersioon/CI, Spearmani ρ ja ridge regressioon, igaüks kontrollitud kinnise kuju vastu (binormaalne AUC Φ(d′/√2), käsitsi arvutatud DeLongi dispersioon, õpikuline seotud astmete ρ, täpne OLS (harilikud vähimruudud) taastamine). (3) Uuring src/impairment_study.rs — klassi kaupa AUC, (detector,class) kaupa skaleerimisseaduse trend (lõhe vs 1−tõsidus) ja ainult ID ridge lõhe ennustaja, mis hindab optimismilõhe ainult jaotusesisestest diagnostikatest, hinnatud jäta-üks-detektor-välja ja jäta-üks-klass-välja meetodil keskmise ennustamise lähtetaseme vastu. Ühe käsuga artefakt kaudu cargo run --release --example optimism_study. Iga arv on AUC mudelist tuletatud siltide üle sünteetilisel, parameetritel põhineval korpusel; lõhe on sünteetiline→sünteetiline tõsiduse nihe, mitte kunagi välituvastuse tulemus. Kaardistatud masinkontrollitud kontrollimaatriksisse (src/verification.rs, invariant Kontrollitud⇒ExternalDataset puutumata).