Ominaisuuskartta — mitä Kshana tekee, tekee osittain ja ei tee

Kshana on PNT-suorituskyvyn ja kestävyyden (paikannus, navigointi ja ajanmääritys) todistemoottori, ei täysi avaruusjärjestelmätyökalupaketti. Se painottaa ajoitusta ja holdoveria, sen parhaiten validoitua aluetta (ks. POSITIONING.md). Tämä sivu on rehellinen laajuuskartta: jokaiselle ominaisuusalueelle, jota hankinnan tai tutkimuksen arvioija saattaa tarkistaa, se ilmoittaa tilan, mitä koodissa todella on, mitä puuttuu ja missä kohtaa etenemissuunnitelmaa se on. Tila on yksi seuraavista:

täysi — toteutettu päästä päähän ja validoitu rivillä mainittuun tasoon;
osittainen — todellinen mutta rajoitettu malli (laajuus on rajattu eksplisiittisesti alla);
ei lainkaan — ei mallinneta (tällä hetkellä rajauksen ulkopuolella).

Nämä kolme ovat ainoat arvot, joita tilasarake ottaa. Ne arvioivat ominaisuuden kypsyyttä, joka on eri akseli kuin asiakirjan VERIFICATION-MATRIX.md VALIDATED / MODELLED / PARTNER -arvosana — se arvioi todisteen alkuperää rivi riviltä ja on koneellisesti tarkistettu tiedostosta src/verification.rs.

Mikään tässä ei ole tulevaisuuden toiveita: ”osittainen” ei koskaan tarkoita ”melkein valmis”, vaan ”tämän verran eikä enempää”. Katso myös VALIDATION.md, INTEGRITY.md, QUANTUM-MODELS.md sekä ylilupausten sulkemiskirjanpito (ledger) CLAIMS-VS-REALITY.md (jokainen historiallinen ylilupaus, miten se ratkaistiin, ja CI-vartija (jatkuva integraatio), joka pitää sen ratkaistuna).

Ydin-PNT (missä Kshana todella pelaa)#

Ominaisuus	Tila	Mitä on olemassa	Mitä puuttuu	Etenemissuunnitelma
Radanmääritys ja propagointi	osittainen	Riippuvuudeton SGP4/SDP4 (SGP4: Simplified General Perturbations 4; SDP4: Simplified Deep-space Perturbations 4), validoitu tarkkuuteen 4,12 mm kaikkia 666 AIAA (American Institute of Aeronautics and Astronautics) 2006-6753 -vektoria vastaan (paikka ja nopeus, jälkimmäinen tarkkuuteen 1 mm/s); analyyttinen Kepler + J2-sekulaarinen; inertiaalinopeus tuodaan esiin ja välitetään päästä päähän ajettavan skenaarion `ephemeris` kautta (`src/ephemeris.rs`, tavoitettavissa CLI:stä/Pythonista/WASM:sta/MCP:stä (CLI: komentorivikäyttöliittymä; WASM: WebAssembly; MCP: Model Context Protocol)) — se tuottaa askelta kohden TEME-tilan (true equator, mean equinox) sekä GCRS-tilan (Geocentric Celestial Reference System) (paikka + nopeus), ITRF/ECEF-paikan (ITRF: International Terrestrial Reference Frame; ECEF: Earth-centred, Earth-fixed), WGS-84:n (WGS: World Geodetic System) satelliitin alapuolisen maanpintajäljen (leveys/pituus/korkeus) sekä aseman atsimuutin/korkeuskulman/etäisyyden + etäisyyden muutosnopeuden/Dopplerin (säteittäinen etäisyyden muutosnopeus vastaa todellista paikkaderivaattaa JD-kohinattomasti (JD: Julian date) tarkkuudella 6e-9 m/s) — sekä nopeuden sisältävän efemeridivientin (`--export-oem`) kautta CCSDS-standardin (Consultative Committee for Space Data Systems) muodossa OEM (Orbit Ephemeris Message). Numeerinen (Cowell) propagaattori (`src/propagator.rs`) integroi konfiguroitavaa vyöhykepainovoimaa käyttävää voimamallia — Maan täysi vyöhykekenttä asteeseen 6 asti (`forces::zonal_accel`, julkaistu EGM-96 (EGM: Earth Gravitational Model) `J2..J6`) — valittavalla adaptiivisella ajurilla — RK4 (neljännen asteen Runge–Kutta) askelten kaksinkertaistus tai upotettu pari Dormand–Prince RK5(4) (`integrate_dopri` / `propagate_dopri`, halvempi 7 arvioinnin upotettu virhearvio, joka läpäisee saman Kepler-portin ja on RK4-polun kanssa samaa mieltä tarkkuudella <1 m J2..J6-radalla) — lukittu analyyttiseen totuuteen, joka on vahvempi kuin numeerinen ristityökalu: häiriötön rata toistaa tarkan universaalimuuttuja-Kepler-ratkaisun alle metrin tarkkuudella 24 tunnin aikana (tiukempi portti kuin virstanpylvään ”viitteeseen verrattuna < 10 m”), energia + liikemäärämomentti säilyvät suhteellisesti ~1e-9 tarkkuudella, J2-solmun regressio vastaa suljetun muodon sekulaarista nopeutta ensimmäisen kertaluvun teorian mukaan, vyöhykekiihtyvyys todennetaan oman potentiaalinsa tarkaksi gradientiksi (ja palautuvan 666 vektorilla validoituun J2:n suljettuun muotoon), ja `solve_kepler_checked` palauttaa `Err` väärän vastauksen sijaan, kun Newton ei suppene (esim. lähellä perigeeta e = 0,999). Epookin ohjaama kolmannen kappaleen (Aurinko ja Kuu) painovoima on kytketty aikariippuvaan integraattoriin (`ForceModel::third_body` / `accel_at`, tiedoston `src/ephem.rs` Montenbruck & Gill -matalatarkkuuksisilla Auringon ja Kuun efemerideillä — DE/SPK-ytimeä (DE: Development Ephemeris; SPK: planetary ephemeris kernel) ei tarvita): jokainen RHS-arviointi (right-hand side) ottaa häiritsijöiden paikat etenneellä epookilla `epoch_jd_tt + t/86400`, joten Aurinko/Kuu liikkuvat radoillaan integroinnin aikana. Häiriö todennetaan häiriöpotentiaalinsa tarkaksi gradientiksi, se häviää geokeskipisteessä ja sillä on LEO-radan (matala Maan kiertorata) oppikirjan suuruusluokat (~5e-7 m/s² Aurinko, ~1.1e-6 m/s² Kuu); Auringon efemeridi osuu käsin johdettuihin J2000-ankkureihin (periheliin etäisyys, ~−23° päivänseisauksen deklinaatio, ~1°/vrk liike) ja Kuun efemeridi sen perigeon/apogeon vaihteluväliin, keskietäisyyteen ~384 400 km, kaltevuusrajaan ≤ 5,3° ja sideeriskuukauden suunnan paluuseen; ja integroinnin kytkentä todistetaan bitintarkaksi (RHS-termi on yhtä suuri kuin `third_body_accel` näytteistetyssä paikassa hetkellä t = 0 ja t = 1 vrk) ja neljännesvuoden epookkisiirto tuottaa eri lentoradan. Auringon säteilypaine (SRP) kulkee saman epookin ohjaaman RHS:n mukana (`forces::srp_accel` / `ForceModel::solar_radiation`): kanuunankuulamalli `ν·P☉·cᵣ·(A/m)·(AU/d)²·d̂` ja pimennyskerroin `forces::conical_shadow` (umbra+penumbra, sileä ν ∈ [0 1], todennettu kapenevan monotonisen penumbran läpi, joka ulottuu umbran sylinterin ulkopuolelle), todennettu oppikirjan 1 AU:n (AU: astronomical unit) paineeseen (≈ 4.54e-6 N/m²), LEO-suuruusluokkaan ~1.36e-7 m/s² Auringosta poispäin työntävänä, käänteisneliölakiin (Auringon etäisyyden kaksinkertaistaminen neljäsosaa sen), täsmälleen nollaan kiihtyvyyteen umbran sylinterissä ja propagoituun siirtymään, joka skaalautuu ~lineaarisesti suhteessa A/m. Ilmakehän vastus on ensimmäinen nopeudesta riippuva termi (`forces::drag_accel` / `ForceModel::drag` + uusi `accel_rv` / nopeutta välittävä RHS): neliöllinen vastus `−½·ρ(h)·(C_D·A/m)·\|v_rel\|·v_rel` mukana pyörivän ilmakehän suhteen `v_rel = v − ωₑ ẑ × r`, missä `ρ` on Valladon paloittain eksponentiaalinen `forces::atmospheric_density` — todennettu merenpinnan ankkurilla 1,225 kg/m³, ehdottoman monotonisella LEO-vaimenemisella fysikaalisella ~58 km skaalakorkeudella, suhteellista nopeutta vastustavalla ~2e-6 m/s² vastuksen suuruudella ja dissipaatiotunnusmerkillä (rata korkeudella 300 km menettää ominaisenergiaa monotonisesti ja sen isoakselin puolikas pienenee rajatusti ~km/vrk, kun tyhjiörata säilyttää energian). Post-Newtonin (Schwarzschild) relativistinen korjaus on toinen nopeudesta riippuva termi (`forces::relativistic_accel` / `ForceModel::relativity`): IERS-muoto (International Earth Rotation and Reference Systems Service) `β = γ = 1`, `a = (μ/c²r³)·{[4μ/r − v²]·r + 4(r·v)·v}`, relativistisen perigeon etenemisen pääasiallinen aiheuttaja — todennettu suljetun muodon ympyräradan arvoon `3μ²/(c²r³)·r̂` (säteittäinen, ulospäin), sen oppikirjan LEO-suhteeseen `≈1.9e-9` kahden kappaleen termiin nähden, käsin yksinkertaistettuun säteisnopeusmuotoon ja konservatiiviseen tunnusmerkkiin (se häiritsee rataa mutta pitää isoakselin puolikkaan alle metrin/vrk, rakenteellisesti vastakohta vastukselle). Koordinaatiston mukaanvetämistermi Lense–Thirring (`forces::lense_thirring_accel` / `ForceModel::lense_thirring`, IERS 2010 §10) on Schwarzschildin ylittävä gravitomagneettinen korjaus — valinnainen, LEO:ssa ~1–2 suuruusluokkaa sitä pienempi, todennettu häviävän ilman Maan pyörimistä ja olevan Schwarzschild-suuruusluokan alapuolella. Radanmääritys (OD, `src/orbit_determination.rs`) sulkee silmukan havainnoista takaisin tilaan: erämuotoinen korjain Gauss–Newton (`src/batch_ls.rs`) ajaa ehdokkaan `[r, v]` maa-aseman etäisyyksien parhaaseen sovitteeseen kaaren yli propagoituna (alle metri / mm·s⁻¹ kohinattomista etäisyyksistä; ~2 m, kun sovituksen jälkeinen residuaali on 5 m kohinalattialla — johdonmukaisen pienimmän neliösumman sovituksen tunnusmerkki), sekä sekventiaalinen rekursiivinen muunnelma unscented-suotimella	Oletus-Cowell-voimamalli sisältää vain vyöhykekentän: korkea-asteinen EGM2008 (Earth Gravitational Model 2008) tesseraalikenttä (`src/gravity_sh.rs`, aste/kertaluku 70, ICGEM-tiedostojen (International Centre for Global Earth Models) lataajalla `from_gfc`) on koostettu vain tarkkaan efemeridisovitusmoottoriin (`src/precise_od.rs`; ks. `AGENCY-ORBIT-VALIDATION.md`); vastuksen tiheys on staattinen Valladon paloittain eksponentiaalinen (aurinkoaktiivisuudesta riippumaton), ei NRLMSISE-00 (Naval Research Laboratory Mass Spectrometer and Incoherent Scatter Radar Extended atmosphere model; termosfäärin tiheyden lauseke < 5 %); SRP on kanuunankuulamalli geometrisella kartiomaisella umbra+penumbra -varjolla (ei Auringon reunatummenemista, ei litteän Maan varjoa, ei satelliitin muotoa/asentoa); relativiteetti kattaa termit Schwarzschild ja Lense–Thirring (koordinaatiston mukaanvetäminen), molemmat valinnaisia, mutta ei PPN-parametrien (PPN: parametrised post-Newtonian) viritystä; kolmannen kappaleen/SRP:n matalatarkkuuksiset efemeridit (~0,005° Aurinko, ~0,3° Kuu), eivät DE/SPK-ytimen tarkkuutta. Konservatiiviset voimamallitasot (kaksi kappaletta → J2–J6 → Aurinko/Kuu → SRP) ovat VALIDATED Orekit-ohjelmaa vastaan (versio 12,2) (huonoin 0,08 m 24 h aikana, `tests/numerical_cowell_propagator_reference.rs`), ja erä-/sekventiaalinen radanmääritys on VALIDATED Orekit-ohjelman (versio 12,2) estimaattoreita vastaan (`tests/batch_sequential_orbit_determination_reference.rs`); vastustaso ja absoluuttinen efemeridi-/tiheyssyötteen tarkkuus pysyvät MODELLED; GMAT-ristiintarkistusta (General Mission Analysis Tool) ei ole	tesseraalinen painovoima oletus-Cowell-mallissa + NRLMSISE-00-vastus + auringon reunatummeneminen + DE-tasoinen efemeridi + GMAT-ristiinvalidointi + OD-etäisyysnopeus-/kulmamittaukset ja analyyttinen STM (tilasiirtymämatriisi): P2+
Aikajärjestelmät	osittainen	`src/timescales.rs`: Julian-päivämäärä-API (siviili↔JD, MJD (modified Julian date)), UTC↔TAI (UTC: Coordinated Universal Time; TAI: International Atomic Time) täyden IERS-karkaussekuntitaulukon kautta (10→37 s, 1972→2017), TAI→TT (TT: Terrestrial Time), UT1 (Universal Time 1, Maan pyörimisaika) DUT1:n (Maan pyörimisaika miinus UTC) kautta, ja IAU-2000 (IAU: International Astronomical Union) Earth Rotation Angle (ERA validoitu bitti bitiltä SOFA:n (Standards of Fundamental Astronomy) vektoria `eraEra00` vastaan). SGP4-polun approksimaatio DUT1≈0 on dokumentoitu eksplisiittisesti kutsukohdassa `gstime` (≤ ~13″ GMST (Greenwich mean sidereal time) -virhe, hyvin SGP4:n oman mallivirheen sisällä), ja skenaario `ephemeris` ottaa eksplisiittiset nupit `dut1_s`/`xp_arcsec`/`yp_arcsec` tai sisäistetyn todellisen IERS-sarjan `finals2000A` (`eop_finals2000a` / `kshana --eop <file>`, interpoloituna saman rakenteen `EopSeries` kautta, jota `precise_od` käyttää), jotta maanpintajälki redusoidaan todellisen IERS:n UT1:n / napaliikkeen kautta, ei vain nimellisten skalaarien	Maan kiertoradan polut käyttävät yhä yksiosaista JD:tä (tyyppi `f64`; ~50 µs resoluutio vuoden 2020 tienoilla — tämä, ei algoritmi, on äärellisen erotuksen ristitarkistuksen lattia); kaksiosainen JD on olemassa (`timescales::TwoPartJd`, jota käyttävät radiometriset, CCSDS-TDM-, maasegmenttisimulaattori- ja aurinkokuntapolut, sekä `src/jd2.rs` `Jd2`) ja se on viety läpi SGP4:n (`Sgp4::propagate_at(Jd2)`), ohitusennusteen, geometrian ja Walker-mallien (validoitu SOFAa vastaan, `tests/jd2_sofa_time_oracle.rs`) sekä Maan pyörimisen kiertoratapolulla (`jd2::gmst82`, `cio::gcrs_to_itrs_matrix_jd2`, `orbit::Propagator::position_in_frame_jd2`, efemeridiskenaarion valinnainen `two_part_jd`; VALIDATED ERFA:a vastaan, `tests/jd2_earth_rotation_erfa_oracle.rs`), häviöttömin muunnoksin tyyppien `Jd2` ja `TwoPartJd` välillä; oletusarvoiset Maan kiertoradan polut säilyttävät yksiosaisen päivämäärän (tyyppi `f64`), ellei `two_part_jd` ole asetettu, ja Cowell-voimamallin epookki pysyy tarkoituksella yksiosaisena (tyyppi `f64`; sen analyyttinen Auringon/Kuun virhe on moninkertainen verrattuna pyöristykseen 40 µs); vuotta 1972 edeltävä kumisekunti-UTC (1960–1971) mallinnetaan kaksiosaisella polulla (`jd2`, `timescales::tai_minus_utc_on_date`, VALIDATED ERFA:a vastaan, `tests/jd2_pre1972_sofa_oracle.rs`), mutta yksiosainen funktio `timescales::tai_minus_utc` (tyyppi `f64`) rajaa yhä arvoon 10 s ennen vuotta 1972; pienimmän neliösumman + autoregressiivinen Maan orientaation ennustin (`src/eop_ls_ar.rs`, verrattuna IERS Bulletin A:han havaintona) voi nyt jatkaa EOP-sarjaa viimeisen rivinsä yli (`EopSeries::with_ls_ar_prediction`, valinnainen; `tests/eop_prediction_beyond_table.rs`), joten taulukon ohittavat koordinaatiston argumentit seuraavat ennustetta eikä rajaudu; oletussarja rajautuu yhä, eikä mikään skenaarioavain vielä kytke ennustusta päälle	valmis (perusta); kaksiosainen JD Maan pyörimisessä kiertoratapolulla: valmis (valinnainen efemeridiskenaariossa) ; EOP-ennuste taulukon yli: valmis (kirjasto, valinnainen); vuotta 1972 edeltävä UTC kaksiosaisella polulla: valmis
Koordinaatistot	täysi	`src/frames.rs`: GMST-pohjainen TEME↔ECEF, WGS-84-geodeettinen↔ECEF (tarkka + iteratiivinen käänteinen, koneen tarkkuus kaikilla korkeuksilla) ja geodeettinen maa-asemahavaitsija (atsimuutti/korkeuskulma/etäisyys); IAU 2006 prekessio (`src/precession.rs`: Fukushima–Williams-kulmat `(γ̄, φ̄, ψ̄, ε̄_A)` + GCRS↔keskimääräinen päivämäärä -harha-prekessiomatriisi); IAU 2000A/2000B -nutaatio + täysi TEME→GCRS-ketju (`src/nutation.rs`: täysi IAU 2000A sarja — 678 Kuu-Aurinko- + 687 planeettatermiä, `nutation_iau2000a` / `nutation_matrix_2000a`, taulukko koneellisesti generoitu ERFA:n (Essential Routines for Fundamental Astronomy) viitteestä `nut00a` skriptillä `tools/gen_nut00a.py` — mukana myös 77-termiset 2000B-sarjat, Delaunay-argumentit, SOFA:n nutaatiomatriisi `iauNumat`, ekvinoksien yhtälö sekä `teme_to_gcrs(r, v, jd_tt)` reittiä TEME→TOD→MOD→GCRS (true of date, mean of date) pitkin — molemmat sarjat validoitu bitti bitiltä SOFA/ERFA-viitevektoreita `nut00a`/`nut00b` vastaan, Δψ/Δε tarkkuudella 1e-13 rad); IERS-napaliike PEF→ITRF (pseudo-Earth-fixed to terrestrial) (`teme_to_itrf` / `polar_motion_matrix`, SOFA `iauPom00`, kutsujan antamat `x_p`/`y_p` — kymmenien metrien vaikutus kiertoratasäteellä); CIO-pohjainen (CIO: Celestial Intermediate Origin) IAU 2006/2000A -redusointi (`src/cio.rs`: ekvinoksivapaa GCRS↔CIRS↔ITRS-ketju (CIRS: Celestial Intermediate Reference System; ITRS: International Terrestrial Reference System) — CIP (Celestial Intermediate Pole) `X,Y` 2006/2000A NPB (nutation-precession-bias) -matriisista, 66-termisestä CIO-lokaattorisarjasta `s`, `gcrs_to_cirs_matrix`, Maan pyörimiskulmasta ja täydestä `gcrs_to_itrs_matrix` — validoitu bitti bitiltä SOFA-vektoreita `eraXys06a`/`eraC2ixys`/`eraEra00` vastaan). Päästä päähän ulottuvat muunnokset on nyt kiinnitetty julkaistuun auktoritatiiviseen läpikäytyyn esimerkkiin, ei vain sisäiseen johdonmukaisuuteen: Vallado AIAA 2006-6753 -tilaa (2004-04-06, IERS EOP:lla (Earth orientation parameters); `tests/frame_reference_vectors.rs`) vastaan TEME→PEF täsmää 0,1 mm, TEME→ITRF 0,6 mm, täysi CIO GCRS→ITRS 4 mm tarkkuudella, ja ECEF→geodeettinen toistaa Vallado-esimerkin 3-3 leveys/pituus/korkeus viimeiseen julkaistuun numeroon asti. Koko ketju on käyttäjän tavoitettavissa skenaarion `ephemeris` kautta (ITRF/ECEF-paikka + WGS-84:n satelliitin alapuolinen maanpintajälki askelta kohden)	Oletus-TEME→GCRS-ketju käyttää 2000B:tä (~1 mas, alle sen oman nopeuskoordinaatiston rotaatioyksinkertaistuksen); polku < 0,1 mas, täysi 2000A, on käytettävissä funktion `nutation_matrix_2000a` kautta, ja tarkka CIO (X, Y, s) -redusointi on käytettävissä tiedoston `src/cio.rs` kautta. Vanha TEME-polku käyttää IAU-1982 GMST:ää (SGP4-käytäntö). Riippumaton ANISE/SPICE (ANISE: Attitude, Navigation, Instrument, Spacecraft, Ephemeris — puhdas Rust-planeettageometriatyökalupakki; SPICE: Spacecraft, Planet, Instrument, C-matrix, Events) numeerinen ristitarkistus on toimitettu (`xval/anise-frames/`: `gcrs_to_itrs_matrix` vs ANISE:n GCRF→ITRF93 (GCRF: Geocentric Celestial Reference Frame; ITRF93: International Terrestrial Reference Frame 1993) kahdeksalla epookilla 2020–2023, ≤ 0,86 m maanpinnalla, ≤ 3,6 m GNSS-radalla (maailmanlaajuinen satelliittinavigointijärjestelmä)); se on erillinen crate oletus-CI-porttien ulkopuolella. `precession_matrix` ja `teme_to_gcrs_matrix` tarkistetaan myös suoraan ERFA:a vastaan 40 epookilla 1950–2100, ja CIO-ketju ottaa IERS:n taivaannapaoffsetit dX, dY (`cio::gcrs_to_cirs_matrix_with_offsets`; `tests/frames_erfa_vector_oracle.rs`); oletuspolut ohittavat yhä dX, dY. Varmennusmatriisi arvioi tämän rivin VALIDATED (SOFA/ERFA-vektorit + Vallado)	TEME↔ECEF + geodeettinen: valmis (Vallado-varmennettu); inertiaalinen TEME→GCRS: valmis (2000B + täysi 2000A); napaliike-ITRF: valmis (Vallado-varmennettu); CIO GCRS→ITRS: valmis (Vallado-varmennettu)
Ajoitus ja taajuus	osittainen	Tarkka van-Loan-Q-kaksitilainen Kalman-kello (NIST (National Institute of Standards and Technology) SP (Special Publication) 1065) Joseph-stabiloidulla kovarianssipäivityksellä (positiivisesti semidefiniitti äärimmäisillä Q/R-suhteilla, Cholesky-tarkistettu CI:ssä) ja suodinjohdonmukaisuuden terveysmonitori (`src/filter_health.rs`): Monte Carlo -NIS/NEES-arviointi (NIS: normalised innovation squared; NEES: normalised estimation error squared) χ²-luottamuskaistoja vastaan, tuotu esiin tulos-JSONiin (JavaScript Object Notation) kenttänä `filter_health` ja vihreänä/keltaisena korttina hiekkalaatikossa, sekä Q/R-epäsuhtapyyhkäisytesti, joka todistaa monitorin kääntyvän tilaan epäjohdonmukainen, kun viritys on pielessä (Bar-Shalom §5,4); limittäiset ADEV (Allanin poikkeama), MDEV (muokattu Allanin poikkeama), TDEV (aikapoikkeama), HDEV (Hadamardin poikkeama) -estimaattorit + χ²-pohjaiset luottamusvälit kohinatyyppikohtaisilla efektiivisillä vapausasteilla (NIST SP 1065 taulukon 5 suljetut muodot WPM/FPM/WFM/FFM/RWFM:lle (WPM: white phase modulation; FPM: flicker phase modulation; WFM: white frequency modulation; FFM: flicker frequency modulation; RWFM: random-walk frequency modulation), joukko, jota Stable32 käyttää; viety ADEV-käyrä tunnistaa tallenteen potenssilakityypin MDEV-kulmakertoimestaan ja liittää jokaiseen τ:aan kaistan (95%) — `src/allan.rs`), numeerisesti validoitu Stable32-viitepoikkeamia vastaan kanonisella NBS14-aineistolla tarkkuuteen 1e-4 (`tests/allan_reference.rs`) ja edf ristiintarkistettu Monte Carlo -valkoisen FM:n (FM: taajuusmodulaatio) joukolla; rehellinen ruudukkorajattu holdover-FoM (laatumittari); kelloensemblet; kaksisuuntainen ajansiirtomalli molemminpuolisen viiveen kumoamisella + ei-reciprokaalisella random-walk-FM-differentiaaliviivelattialla (`src/timetransfer.rs`, Allan-tunnusmerkki raportoitu); GNSS-estetty kellon holdover-laskuri (`src/holdover.rs`), joka tarjoaa suljetun muodon van-Loan-liukumisvirheen kasvun `σ_x²(t) = q_wf·t + q_rw·t³/3 + q_drift·t⁵/20` käyttäjälle näkyvänä käänteisfunktiona holdover kynnykseen (kuinka kauan kello käy vapaasti ennen kuin sen ajoitusvirhe ylittää budjetin), edustavilla kvanttikelloluokilla (optinen hila/loukutettu ioni/elohopeaioni) — mallinnettu, ei ulkoisesti validoitu: ristiintarkistettu monivaiheista `clock_state`-kovarianssirekursiota vastaan, ja todetaan rehellisesti, että erittäin vakaalla kellolla holdover tiukkaan kynnykseen on *sen oletetun* pitkän tau-punaisen kohinan lattian hallitsema, ei siteeratun ADEV:n (käytä mitattuja lattioita puolustettavaan lukuun). Ehdollinen ajoituksen suojaustaso** (`src/tpl.rs`) rakentuu samalle holdover-koneistolle harhautuksen tapauksessa: raja havaitsemattomalle aikavirheelle riippumattoman ristitarkistuksen ollessa käytössä — k-σ-monitorilattia plus van-Loan-liukumisvarianssi havaitsemisviiveen yli plus CUSUM (cumulative sum) -aika hälytykseen — kalibroitu todelliseen tallennettuun harhautukseen (JammerTest 2024, Zenodo 15911589) ja toistettavissa komennolla `cargo run --example tpl_jammertest`. Mallinnettu koostumus, ehdollinen havaitsemiselle: äärellistä ehdotonta rajaa ei ole (riittävän hidas ramppi väistää yhden kellotuetun monitorin). Maximum time interval error (MTIE) ja TDEV ovat VALIDATED vertailussa kohteeseen `allantools` (`tests/mtie_reference.rs`, `tests/mdev_tdev_reference.rs`), ja holdover-liukumisvarianssin käänteisfunktio on VALIDATED SciPyä vastaan (`tests/gnss_denied_clock_holdover_reference.rs`); laji `telecom-timing` soveltaa niitä ITU-T:n (International Telecommunication Union Telecommunication Standardization Sector) G.8272 / G.8272.1 / G.8273.2 / G.8271.1 -maskeihin — ks. `TELECOM-TIMING.md`	täysi Greenhall-algoritmin edf (yksinkertaiset suljetut muodot ovat harhaltaan rajattuja mutta karkeampia kuin tarkka BasicSum) ja monikohinasekoitusten tunnistus	tarkka edf + sekakohinan tunnistus: P2
GNSS / PNT -käsittely	osittainen	Mittausalueen pseudoetäisyyssimulaatio (laji `gnss-sim`, `src/gnss_sim.rs`): kullekin näkyvälle satelliitille se syntetisoi `ρ = geometric range + c·δt_rx − c·δt_sv + I + T + noise + multipath` ja L1-Dopplerin, Klobuchar-yksitaajuisella ionosfäärillä (IS-GPS-200 (IS: Interface Specification; GPS: Global Positioning System) §20.3.3.5.2.5) ja Saastamoinen-zeniittitroposfäärillä (Davis 1985), projisoituna Niellin (1996) kuvausfunktiolla — kukin malli yksikkötestattu käsinlaskentaa vastaan — ja syöttää residuaalit hetkelliselle RAIMille (receiver autonomous integrity monitoring) epookkikohtaisia HPL/VPL-arvoja varten (HPL: horizontal protection level; VPL: vertical protection level) ja tuottaa taulukon `gnss_measurements[]` (pseudoetäisyys, Doppler, C/N₀, iono-/tropokorjaukset SV:tä (space vehicle, eli satelliitti) kohden). Lisäksi DOP/saatavuus (DOP: dilution of precision) ja ratkaisuerotus-RAIM radoista; RINEX (Receiver Independent Exchange Format) 3 monen GNSS:n navigointisanomien sisäänluku (GPS/Galileo/QZSS/BeiDou (QZSS: Japanin Quasi-Zenith Satellite System) IS-GPS-200:n kautta, GLONASS (Venäjän Global Navigation Satellite System) -tilavektori) jäsennetty → SV:n ECEF-paikka ja kellovirhe, käytettävissä ensiluokkaisena lähteenä `Propagator` JA rivinsisäisenä tähdistölohkona `rinex` (`scenarios/orbit-rinex.toml`); RINEX 3 havaintotiedostojen sisäänluku (4,00 havaintoasettelun odotetaan jäsentyvän, mutta yhtäkään 4,00 tiedostoa ei ole kokeiltu; RINEX 4 navigointitiedostot hylätään nimeltä eikä dekoodata väärin); yhden pisteen paikannusratkaisija (laji `pvt`, `src/pvt.rs`), joka muuntaa todelliset RINEX-koodipseudoetäisyydet + broadcast-efemeridin vastaanottimen paikaksi iteroidulla painotetulla pienimmän neliösumman menetelmällä — Sagnac-/Maan pyörimiskorjaus, broadcast-satelliittikello termillä `−TGD`, kaksitaajuinen L1/L2 ionosfäärivapaa yhdistelmä (tai yksitaajuinen Klobuchar), Saastamoinen/Niell-troposfääri, korkeuskulmapainotus, DOP ja hetkellinen RAIM — validoitu todellisella IGS-datalla (International GNSS Service) (asema ABMF, Guadeloupe, 2018-05-13) tarkkuuteen 5,7 m 3-D RMS (root mean square) / 1,1 m vaakasuunnassa aseman mitattuun koordinaattiin nähden (`tests/pvt_abmf.rs`, `scenarios/pvt-abmf.toml`); sekä SP3 (Standard Product 3, tarkan radan muoto) -tarkan radan luku/kirjoitus	Koodiin perustuva paikannusmoottori sekä versiosta 0,36 alkaen kantoaaltovaiheen käsittely todellisilla havainnoilla: ratkaisija `pvt` laskee todellisen paikan todellisista koodimittauksista (yhden pisteen paikannus, metritason, kaksitaajuisella iono-vapaalla yhdistelmällä); `rtk_real::run_rtk` tekee lyhyen kantaviivan RTK:n todellisella kaksitaajuisella GPS-koodilla ja -vaiheella (kaksoisdifferenssit, float-Kalman-suodin, LAMBDA-kokonaislukuepävarmuuden ratkaisu ratio-testillä, `src/lambda.rs`), ja staattinen float-PPP-suodin ajetaan todellisella koodilla ja vaiheella IGS-lopullisilla radoilla ja kelloilla. Molemmat ovat VALIDATED IGS-asemien julkaistuja ITRF2020-koordinaatteja vastaan (WTZR/WTZZ, `tests/rtk_real_wettzell_oracle.rs`, `tests/ppp_real_wettzell_oracle.rs`, kynnykset ennakkorekisteröity); puuttuvaa on yhä PPP:n kokonaislukuepävarmuuden ratkaisu, kinemaattinen tai verkko-RTK ja reaaliaikainen käyttö. Hatch-kantoaaltotasoitus on lukittu MODELLED havainto (sen ennakkorekisteröidyt kynnykset jäivät täyttymättä). Laji `leo-ppp` ajaa float-PPP-suodinta itse simuloimillaan mittauksilla konvergenssitutkimuksia varten; eteenpäin suuntautuva paketti `gnss-sim` pysyy totuudesta lähtevänä simulaattorina; BeiDou-GEO (GEO: geostationaarinen rata) jätetty pois	PPP:n kokonaislukuepävarmuuden ratkaisu, kinemaattinen tai verkko-RTK, reaaliaikainen käyttö: käytä RTKLIB/gLAB (RTKLIB: avoimen lähdekoodin reaaliaikaisen kinemaattisen paikannuksen kirjasto)
Anturifuusio / INS (inertianavigointijärjestelmä) dead-reckoning	täysi	3-akselinen strapdown-kirjasto (`src/inertial/{attitude,mechanization,imu_errors}.rs`): kvaternioniasenne coning/sculling-kompensoinnilla, täysi NED (north-east-down) -mekanisointi (Maan pyörimisnopeus + kuljetusnopeus, WGS-84 Somigliana-painovoima) ja deterministinen IMU (inertial measurement unit) -virhemalli (mittakerroin, kohdistusvirhe, g-herkkyys, kvantisointi, kulmanopeusramppi mallinnettu). Strapdown-navigaattori on nyt kytketty ajettavaan löyhästi kytkettyyn GNSS/INS-pakettiin, jolla on laatumittari (`src/fusion/pack.rs`, `kind = "gnss-ins"`): kolmiakselinen mekanisointi sidotaan 15-tilaisella virhetila-EKF:llä (extended Kalman filter) (`src/fusion/{gnss_ins_ekf,closed_loop}.rs`, paikka/nopeus/asenne/bias-takaisinkytkentä), kun GNSS on käytössä, minkä jälkeen se liukuu katkon läpi — korvaten totuuteen palautuksen aidolla fuusiolla ja raportoiden fuusioidun vaakavirheen vs avosilmukkainen vapaa INS-liuku. Erillinen vanha `inertial`-paketti ajaa yhä skalaaribudjettia 1-DOF (DOF: vapausaste) totuuteen palautuksella. Päivitys tiukasti kytketylle pseudoetäisyydelle (`update_tightly_coupled` / `fuse_tightly_coupled`) on myös toteutettu: se muodostaa innovaation etäisyysalueella (näkölinjan Jakobiaani δp:lle) ja jatkaa korjaamista alle neljällä satelliitilla, kun löyhästi kytketty PVT (paikka, nopeus ja aika) -ratkaisu ei ole olemassa. Täysi 17-tilainen tiukasti kytketty GNSS/INS-UKF (unscented Kalman filter) (`src/fusion/tightly_coupled17.rs`) kantaa paikkaa, nopeutta, asennevirhettä, kiihtyvyysmittarin ja gyron biaseja sekä vastaanottimen kelloa (bias + drift), kvantti-CAI (CAI: kylmäatomi-interferometri) dead-reckoningilla — nopeuden satunnaiskävelyn prosessikohina on kylmäatomikiihtyvyysmittarin johdettu `q_va` — liukuen 120 sekunnin katkon läpi rajattuna muutamaan sataan metriin (vs navigointiluokan vapaan INS:n kilometrit). Tämä 17-tilainen UKF on nyt tuotu esiin ajettavana skenaariona (`src/fusion/hybrid_ukf.rs`, `kind = "hybrid-ukf"`, tavoitettavissa CLI:stä/Pythonista/WASM:sta/MCP:stä): 15 INS-virhetilaa täydennetään CAI-johdetulla kiihtyvyysmittarin biaskorjauksella (kylmäatomi-interferometri asettaa nopeuden satunnaiskävelyn lattian `q_va`) ja 2-tilaisella vaihe+taajuus-kellolla, jonka prosessikohina tulee q-parametrikellomoottorilta (`clock_state::q_from_allan`, Allan-profiili → `q_wf`/`q_rw`), jota ohjaa rajattu CAI-virhemalli, joten ajo osoittaa klassisen IMU:n lyhyen aikavälin + kvantin pitkän aikavälin hybridisaation. Sen laatumittari on suotimen itsejohdonmukaisuus — yhdistetty NEES + innovaation valkoisuus (NIS) Monte Carlo -joukon yli suhteessa niiden 95% χ²-kaistoihin (sovitettu suodin osuu kaistojen sisään; väärin viritetty suodin liputetaan, objektiivisesti tarkistettava portti). Tämä on ITSEJOHDONMUKAISUUSLAUSUMA mallinnetun kohinan alla, EI todellisen maailman tarkkuustakuu — CAI/kello-syötteet on rajattu/mallinnettu, CAI-laitteisto on kumppanin omistama, eikä mikään tässä viittaa tasoon TRL (technology readiness level)>3, lentoperintöön tai ulkoiseen validointiin. Deterministinen IMU-virhemalli on konfiguroitavissa anturikohtaisesti lajin `gnss-ins` TOML (Tom's Obvious Minimal Language) -skenaariotiedostossa (`[imu_*.error_model]`: mittakerroin, kohdistusvirhe, g-herkkyys, kvantisointi, kulmanopeusramppi), oletuksena puhdas vakiobiaslähde, kun osio jätetään pois	Tiukka kytkentä on vain pseudoetäisyyttä käyttävä (kantoaaltovaihe on etenemissuunnitelmassa); skenaario `hybrid-ukf` käyttää yhtä vakionopeuksista, tasaista lentorataa, jolla asenne- ja IMU-bias-virhetilat ovat vain heikosti havaittavissa, joten NEES-johdonmukaisuus arvioidaan estimoitavissa olevalle osajoukolle (paikka, nopeus, kello = 8 tilaa) — täysi 17 havaittavuus vaatii manööverilentoradan (etenemissuunnitelmassa); löyhästi kytketty kiihtyvyysmittarin bias/kallistus -pari on heikosti erotettavissa, joten biaskohtaista kalibrointia ei väitetä; IMU-virhemalli jättää pois tärinän tasasuuntauksen, lämpötilagradienttidriftin; 17-tilainen UKF ja tiukasti kytketyt polut on itse validoitu (analyyttinen vakionopeusintegrointi, GNSS-tuen konvergenssi, biaksen palautus, CAI-rajoitteinen 120 s katkon raja sekä NEES/NIS χ²-johdonmukaisuusoraakkeli) — itse strapdown-mekanisointi on VALIDATED NaveGo v1.4:ää vastaan (`tests/classical_strapdown_ins_reference.rs`: asenne bitti bitiltä identtinen, nopeus/paikka nimettyjen analyyttisten rajojen sisällä), mutta suodintason ristiinvalidointia (NaveGo tai KF-GINS-ajoneuvoaineisto) ei ole ajettu	kantoaaltovaiheen tiukka kytkentä, manööverilentoradan täysi 17-tilan havaittavuus, lentoratakirjasto, suodintason NaveGo/KF-GINS-ristiinvalidointi: P2
Eheys / RAIM / ARAIM (edistynyt vastaanottimen autonominen eheyden valvonta)	osittainen	Todellinen hetkellinen RAIM tiedostossa `src/raim.rs`: pienimmän neliösumman ratkaisu + residuaali-χ²-vianhavaitseminen (tarkka kynnys riippuvuudettomasta epätäydellisen gamman χ²:sta) ja kaltevuuteen perustuvat HPL/VPL (pbias epäkeskeisestä χ²:sta konfiguroidulle P_fa/P_md); ratkaisuerotus (MHSS) RAIM vian havaitsemisella/tunnistuksella; ARAIM-eheysriskin (P_HMI) budjetti (`araim_raim`), joka ratkaisee pienimmän HPL/VPL:n, jonka summattu `P_HMI = Σ_k p_fault,k·Q((PL−T_k)/σ_k)` täyttää eksplisiittisen eheysriskijaon, kahden/usean tähdistön tähdistönlaajuinen vikatila (`araim_dual_raim`, EU (Euroopan unioni) ARAIM TN (tekninen muistio) / DO-316; `P_const = 0` ⇒ bitti bitiltä `araim_raim`), eksplisiittinen eheyden tukiviesti (`IntegritySupportMessage`: σ_URA/σ_URE/b_nom/P_sat/P_const, WG-C:n (WG: työryhmä) GPS+Galileo-viitearvoilla), sekä Stanford(-ESA, Euroopan avaruusjärjestö) -eheyskaavio (skenaariolaji `integrity` ja erillinen renderöijä `stanford_svg` neljälle vyöhykkeelle + rajalle `PL=error`). Dokumentoitu päästä päähän asiakirjassa `ARAIM_REFERENCE.md`. Lisäksi skenaarion FoM:n suotimen itsejohdonmukaisuus (k-σ-raja)	RAIM on tavoitettavissa skenaariolajin `integrity` kautta ja (0,36, valinnainen) kellon/holdoverin FoM:n rinnalla erillisenä lohkona `integrity_fom` (`[integrity]`: hetkellinen RAIM esiasetetulla taivaalla ilmoitetusta paikasta, ei saatavilla GNSS:n ollessa estetty; MODELLED), jota ei koskaan sulauteta holdover-FoM:iin, joka yhä raportoi itsejohdonmukaisuutta; hetkellinen RAIM sisältää yhden satelliitin FDE:n (vian havaitseminen ja poissulkeminen, `raim::snapshot_raim_fde`, VALIDATED RTKLIB:n funktiota `raim_fde` vastaan tiedostossa `tests/integrity_snapshot_raim_rtklib_oracle.rs`); ARAIM ADD v4.2 monihypoteesiratkaisuerotus usean satelliitin osajoukon määrityksellä on tiedostossa `src/araim_reference.rs` (VALIDATED Stanford MAAST:ia vastaan, `tests/integrity_araim_stanford_oracle.rs`), mutta yhtenäisen sigman budjetti `raim::araim_raim` kattaa yhä vain yhden SV:n ja tähdistönlaajuiset viat eikä ole ADD-vaatimustenmukainen (0,36, valinnainen: samanaikaiset usean SV:n osajoukkovirheet ADD v4.2 -osajoukkosäännön kautta yleistettynä pareja pidemmälle, `araim_subset_raim`, `add_v42_protection_levels_to_order`; MODELLED, ei MAAST-ajoa parien yli), ja usean SV:n poissulkemista ei mallinneta; ja `araim_dual_raim` on kytketty TOML-skenaarioajajaan lipulla `araim_dual` (`scenarios/araim-gps-galileo.toml`), jossa on epookkikohtainen saatavuuspolku `araim_dual_constellation_availability`; hetkellinen/MHSS/ARAIM-ytimet ajetaan todellisella IGS:n tarkan radan (SP3) geometrialla (`tests/igs_real_data.rs`) ja todellisilla Celestrakin GPS+Galileo-TLE-tiedoilla (`tests/araim_dual_real_data.rs`, jokainen satelliitti propagoitu yhteiseen UTC-epookkiin — joukon viimeisin TLE (two-line element set) -epookki, 2026-06-07T07:21:04 — käyttäjälle, jonka kiertoradan kaltevuus on 45° ja korkeus 400 km, 24 h aikana: saatavuus, kun VAL on 12 m (vertical alert limit) ja HAL 10 m (horizontal alert limit), on 0,993 vain GPS:llä, 1,000 GPS+Galileo yhdistettynä ja 0,990 tähdistövikoja kestävässä kaksoistilassa; tässä aiemmin julkaistu luku, 0,21→0,67, kun robusti tila on ”rajoitettu”, syntyi propagoimalla kukin satelliitti omasta TLE-epookistaan — taivas, jota ei koskaan ollut — ja on vedetty pois); aiempi ”EU-ARAIM-TN Table A-3” -vertailu on vedetty pois (ei julkista lähdettä), ja EU-US WG-C ARAIM Milestone 3 maksimi-URA-merkintöjen (taulukot 5–7, Depleted- ja Baseline-rivit) toisto yritetään tiedostossa `xval/araim-m3/` ilmoitetuin poikkeamin (MODELLED, ks. INTEGRITY.md); ei DO-229/ARAIM-sertifioitu	monivikainen ARAIM (ADD v4.2): valmis; usean satelliitin osajoukot tyypissä `raim` + vastaanotinalueen gLAB-pariteetti + FoM-kytkentä: P2 (katso `INTEGRITY.md`)
Harhautus- ja häirintäuhkien mallinnus	osittainen	Stokastinen aikaharhautuksen ilmaisin (tyyppi `spoof`, `src/spoof.rs` + `src/detection.rs`): neljä injektiomuotoa (lineaarinen ramppi, askelhyppy, meaconing, toisto) kellotuettua monitoria vastaan, jossa on kaksipuolinen χ²₁-energia- / Neyman–Pearson-testi; ilmaisukynnys asetetaan tavoitellun väärän hälytyksen budjetin `P_fa` mukaan, ja havaitsematta jäämisen todennäköisyys `P_md` raportoidaan sekä suljetussa muodossa että Monte Carlo -menetelmällä (nämä täsmäävät muutaman ×1/√N tarkkuudella); turvallisuuden laatumittari on `1 − P_md`. Lisäksi linkkibudjettipohjainen häirintämalli (tyyppi `jamming`, `src/jamming.rs`): häirintäsignaalin ja signaalin suhde geometriasta (vapaan tilan vaimennus + suuntakohtainen vastaanottoantennin vahvistus), standardi häiriönsietoinen efektiivinen C/N₀-yhtälö (hajotuksen purun prosessointivahvistus + spektrierotuskerroin `Q`; Kaplan & Hegarty §9,4), satelliittikohtainen lukituksen menetys säädettävällä seurantakynnyksellä sekä Walker-tähdistöä koskeva saatavuuden laatumittari `availability_under_jamming`. Lisäksi monikerroksinen RF- ja mittaustason (RF: radiotaajuus) harhautusmonitorien kokonaisuus (`src/spoof_monitors.rs`): usean satelliitin RAIM-johdonmukaisuuden pariteettitesti (`parity_raim_test`, painotettu jäännösneliösumma (SOS) verrattuna kynnykseen χ²(m−4), ja se osoittaa oikein, että yhteismuotoinen harha on RAIM:lle näkymätön), AGC-monitori (AGC: automaattinen vahvistuksen säätö; `AgcMonitor`, vastaanotetun tehon ylimäärä odotettuun pohjatasoon nähden), signaalin laadun SQM-monitori (SQM: signaalin laadun valvonta; `SqmMonitor`, Early/Late-korrelaattorien epätasapaino) sekä kerrosten yhdistävä fuusiomoduuli (`fuse_spoof_layers`). Näistä muodostuu integroitu `CombinedSpoofDetector`, jonka `evaluate` ottaa vastaan yhden epookin havainnot (geometria + jäännökset, AGC-teho, Early/Late-poiminnat) ja ajaa kaikki kolme kerrosta painotetun fuusion läpi yhdellä kutsulla palauttaen kerroskohtaiset diagnostiikkatiedot; se on tarjolla ajettavana skenaariona `spoof-detect` (`src/spoof_detect.rs`, saatavilla CLI:stä, Pythonista ja playgroundista, JSON + SVG (Scalable Vector Graphics)) ja se on luonnehdittu julkaistuja TEXBAT-skenaarion (Texas Spoofing Test Battery) parametreja vasten (Humphreys ym., ION (Institute of Navigation) GNSS 2012; `tests/spoof_texbat_validation.rs`): se toistaa dokumentoidun havaittavuusmallin negatiivisia tuloksia myöten: tehoyliampuva ds2 jää AGC:n + SQM:n kiinni, tehosovitettu ds3 pelkän SQM:n, paikkaa työntävä ds4 RAIM:n, ja kantoaallon vaiheeseen kohdistettu tehosovitettu ds7 jää (oikein) kellotuetun ilmaisimen varaan	Tyyppi `jamming` on linkkibudjetti: siinä ei ole monitie-etenemistä eikä AGC:n ajallista dynamiikkaa. Versiosta 0,36 alkaen siinä on neljä valinnaista osiota: `[crpa]`, kanavakohtainen adaptiivinen ryhmäkeila (nollansuuntaus tai MVDR tiedostosta `src/crpa.rs`, tarkistettu riippumattomalla numpy-uudelleenlaskennalla; MODELLED), ja `[terrain]`, häirintälähteen reitin yksittäinen teräreunadiffraktiovaimennus SRTM-laatan yli (`src/jamming_terrain.rs`, ITU-R P.526-15 §4,1, tarkistettu riippumattomalla numpy-uudelleenlaskennalla todellisella laatalla; MODELLED, vain yksi teräreuna), `[acquisition]`, hankinnan ja seurannan välinen hystereesi, sekä `[front_end]`, vakiintunut AGC-lukema ja AD-muuntimen Gaussin sisääntulon kvantisointihäviö (`src/jamming_rx.rs`; merkitty pätemättömäksi ei-Gaussisille häirintälähteille; MODELLED). Peiliheijastuksista johtuva monitie-eteneminen, maaliikkuvan kanavan häipyminen ja AGC kuuluvat IQ-kerrokseen (`src/iq/channel/multipath.rs`, `src/iq/channel/land_mobile.rs`, `src/iq/frontend/agc.rs`), eikä niitä ole kytketty tyyppiin `jamming`; spektrierotuksen `Q`-taulukko sisältää oppikirjan tyyppikohtaiset arvot (CW ja kapeakaistainen 1, laajakaistainen ja pyyhkäisevä 2 versiosta 0,36 alkaen), lukittuna tehospektritiheyksistä (PSD) johdettuihin kertoimiin tyypissä `navsignal` (katso navigointisignaalirivi). Kellotuettu harhautusilmaisin on yhden kellon ilmaisin; RF- ja mittausmonitorit on nyt integroitu (`CombinedSpoofDetector`) ja *luonnehdittu julkaistuja TEXBAT-skenaarion parametreja* vasten (Humphreys ym.); jäljellä oleva työ on validointi raakoja** vektoreita vasten: TEXBAT IQ (in-phase/quadrature) -näytteet (jotka vaativat SDR-pohjaisen (ohjelmistoradio) hankinta- ja seurantaetuasteen, jota kshanalla ei ole, koska se on simulaattori eikä vastaanotin) tai lisensoitu Spirent-skenaario: dokumentoitu jatkotyö	kellotuettu + integroitu usean SV:n RAIM-johdonmukaisuus + AGC + SQM yhdistetty ilmaisin + TEXBAT-parametrien luonnehdinta: valmis; raakavektoreiden (TEXBAT IQ / lisensoitu Spirent) validointi: jatkotyö
Navigointisignaalin modulaatio ja koodinseurannan suorituskyky	osittainen	`src/navsignal.rs`: signaalitaso linkkibudjetin ja mittaustason välillä. Yksikköalaiset tehospektritiheydet signaaleille BPSK-R(n) (binary phase-shift keying, suorakulmaiset sirut) ja sini-BOC(m,n) (binary offset carrier) (CI-validoitu yksikköalaan, BPSK:n itsespektrierotuskertoimen (SSC) suljettuun muotoon `κ = 2/(3R_c)` ja BOC-spektrijakoon: nolla kantoaallolla, huiput kohdissa ±f_s); spektrierotuskerroin `κ = ∫ G_s(f)G_i(f) df`, joka nyt johtaa häiriönsietokertoimen `Q`, jota käyttää `jamming`, todellisista signaali- ja häirintäspektreistä (`Q = 1/(R_c·κ)`) edustavan vakion sijaan (laajakaistaviite tarkistetaan ristiin CI:ssä); RMS- (Gabor-) kaistanleveys (BOC > BPSK: etäisyysinformaation / Cramér–Rao -mitta); koherentin early–late-DLL:n (delay-locked loop) koodinseurannan terminen kohinavärinä (Kaplan & Hegarty §8: C/A-koodille alle metrin luokkaa tasolla 45 dB-Hz, monotoninen C/N₀:n suhteen); sekä monitie-etenemisvirheen verhokäyrä (koherentti EML (early-minus-late), löydetty paikantamalla yhdistetyn diskriminaattorin nollakohta: kapean korrelaattorin vaimennus varmennettu). Alueenkoodauksen suunnittelukompromissien kerros (`CodeFamily`) lisää m-sekvenssin/Goldin jaksollisen autokorrelaation sivukeilat (`1/L` m-sekvenssille) ja kolmiarvoisen Goldin ristikorrelaatiorajan `t(n)/L`: se toistaa julkaistun GPS C/A:n −23,9 dB:n Goldin ristikorrelaation (ulkoinen ankkuri) ja m-sekvenssien lukumäärän `φ(2ⁿ−1)/n`, sekä koodin pituuden ja yksiselitteisen etäisyyden välisen käänteisyyden; Goldin takuut palauttavat rehellisesti arvon None, kun suositeltua paria ei ole (`n mod 4 = 0`), sen sijaan että raportoitaisiin raja, joka ei päde.	Versiosta 0.31.0 alkaen erillinen IQ-kerros (`src/iq/`, komennot `kshana iq`; suunnitelma tiedostossa `design/GNSS-IQ-PLAN.md`) lisää ohjelmistovastaanotinketjun: FFT-hankinta (fast Fourier transform), usean kanavan DLL/PLL/FLL-seurantapankki (delay-, phase- ja frequency-locked loop), etuasteen suodatus ja 1–14-bittinen kvantisointi sekä tallennettujen aineistojen suoratoisto. Riippumaton ohjelmistovastaanotin palauttaa skenaarioidensa injektoidun totuuden, ja GPS L1 C/A -koodit ja LNAV-bitit (legacy navigation message) täsmäävät bitti bitiltä gps-sdr-simin kanssa. Puuttuu yhä: silmukoiden diskriminaattorit olettavat ihanteellisen BPSK-korrelaatiokolmion, joten BOC-seurannan monitulkintaisuutta ei ratkaista; kanava- ja silmukkamallit ovat MODELLED, ja ne on tarkistettu suljettuja muotoja ja injektoitua totuutta vasten, ei mitattua kenttä-IQ:ta vasten; vain skalaarisilmukat (ei vektoriseurantaa). Antennin ja RF-hyötykuorman laitteiston suunnittelu (säteilykuviot, etuaste) on tarkoituksella rajattu pois: se on hyötykuormakumppanin tehtävä.	BOC-monitulkintaisuus + IQ-kerroksen kenttä-IQ-validointi: P2+
Kvantti-PNT-anturien fysiikka	osittainen	Useimmat anturit ovat julkaistuja Allan-/kohinabudjettikertoimia (CSAC, optinen), sekä ensiperiaatteista johdettu kylmäatomi-interferometrinen (CAI) kiihtyvyysanturi tiedostossa `src/inertial/quantum_imu.rs`: kolmipulssinen Mach–Zehnder-vaihe `Φ = k_eff·a·T²`, kvanttiprojektiokohina (haulikohina) `σ_Φ = 1/(C√N)`, johdettu nopeuden satunnaiskulun PSD `q_va`, jota inertiapino käyttää, kontrastin vaimeneminen, tärinän siirtofunktio `\|H(ω)\|` + valkoisen PSD:n varianssi, ja nyt myös Coriolis-/pyörimis- (`coriolis_phase`, ekvivalenttinen harha `2Ω×v`) ja AC-Stark- (AC: vaihtovirta) valosiirtymä (`ac_stark_phase`, symmetrinen kumoutuminen) -systemaattiset virheet sekä sykliajan ajautumapyyhkäisy (`cai_drift_sweep`) ja koostettu kvantti-inertiaalinen dead reckoning -virhebudjetti (`QuantumNavBudget`), joka yhdistää CAI:n valkoisen kohinan nopeuden satunnaiskulun jäännösharhaan (`½·b·t²`, tarkistettu ristiin riippumattomalla `AccelModel`-Euler-integraattorilla), mittakertoimen virheeseen ja valinnaiseen pitkäaikaisen vakauden heikkenemiseen (erillinen laukaisukohtaisesta dekoherenssista) yhdeksi paikan ajautumaa holdoverin aikana kuvaavaksi luvuksi sekä inertiaaliseksi holdover-kynnysajaksi: se on kellon holdoverin dead reckoning -vastine. Mallinnettu kvanttipohja on haarukoitu (ei pariteettisovitettu) Freierin ym. 2016 liikkuvan gravimetrin 96 nm/s²/√Hz -arvoon (arXiv:1512,05660) nähden: se on sen alapuolella ja noin 2 suuruusluokan sisällä. Dokumentoitu tiedostossa `QUANTUM.md`	Aaltorintaman ja keilan suuntaamisen systemaattisia virheitä ei mallinneta; Mach–Zehnder-interferenssijuovan monitulkintaisuuden raja on mallinnettu (`max_unambiguous_accel`, `dynamic_range_cells` tiedostossa `src/inertial/quantum_imu.rs`), mutta monitulkintaisuuden ratkaisua ei; tarkat CARIOQA-PMP- (CARIOQA: Cold Atom Rubidium Interferometer in Orbit for Quantum Accelerometry) / Boeing-AOSense-lentokoebudjetit (tarvitaan julkaistut alustan PSD:t + laukaisukohtainen SNR (signaali-kohinasuhde)) ja JS-playground-esiasetus (JavaScript) ovat edelleen tekemättä	aaltorintaman systemaattiset virheet + lentokokeen toisto: P2+ (`QUANTUM-MODELS.md`)
Satelliittitähdistön suunnittelu	osittainen	Synteettinen Walker (sekä analyyttinen Kepler-malli että SGP4-keskielementit, jälkimmäinen etenemässä 4,12 mm:n tarkkuudella validoidun ytimen läpi: `src/walker.rs`) + todellisiin TLE-tietoihin perustuva usean tähdistön näkyvyys ja DOP (GPS+Galileo 100 %:iin asti), validoitu todellista Celestrakin gps-ops-tilannekuvaa vasten (`tests/igs_real_data.rs`); PDOP-suunnittelupyyhkäisy (PDOP: sijainnin tarkkuuden heikkenemiskerroin) ruudukolla `{planes × sats × inclination}` ja peittoalan osuuden / uudelleenkäyntiajan laatumittarit; ajettava tyyppi `constellation-design` (Walker-delta- ja -tähtikuviot i: T/P/F-merkinnällä, eksplisiittiset elementtilistat, monikuoriset suunnitelmat ja julkaistut esiasetukset Maan, Kuun, Marsin tai minkä tahansa muun luetteloidun kappaleen ympärillä), jonka Walker-geometria sekä julkaistut GPS-, Galileo- ja GLONASS-paikat ovat VALIDATED julkaistuja taulukoita vasten ja jonka maailmanlaajuinen GPS:n lähtötason tarkkuuden heikkenemiskerroin on VALIDATED GPS Standard Positioning Service -suorituskykystandardia vasten, kun taas mielivaltaisten suunnitelmien peittokartat ovat edelleen MODELLED; gradienttivapaa suunnitteluoptimoija (`optimize_walker_design`), joka etsii ruudukosta parhaan suunnitelman valitulla tavoitteella (`MinSatellitesForCoverage` / `MaxCoverage` / `MinWorstPdop`) ja on validoitu palauttamaan raakaan voimaan perustuvan haun voittaja; sekä analyyttinen streets-of-coverage-geometria (`coverage_half_angle_rad`, `street_half_width_rad`; Rider/Beste-suljetut muodot, tarkistettu käsin: GPS 5°:n maskilla λ ≈ 71,2°, 4 satelliitin kaistan puolileveys ≈ 62,8°)	Idealisoitu streets-of-coverage-menetelmän vähimmäissatelliittimäärän mitoitus on olemassa (`walker::StreetsCoverageDesign`); vastakkaiseen suuntaan kiertävien ratatasojen rajalla tarvittavaa saumatarkkaa Rider-korjausta ei ole toteutettu; playground piirtää riippuvuudettoman 3D-ratanäkymän (`web/studio/lib/orbit3d.mjs`), ja CZML-vienti (Cesium Language), `--export czml`, lataa geometrian CesiumJS-karttapallolle; DOP-ydin on VALIDATED gnss_lib_py:tä vastaan (`tests/dop_reference.rs`), ja koko usean tähdistön näkyvyysketju on tarkistettu päästä päähän Orekit 12,2 + gnss_lib_py -yhdistelmää vasten (`tests/coverage_dop_full_oracle.rs`): Maa-suunnitelmat täsmäävät jokaisella kynnyksellä, mutta Kuu- ja Mars-suunnitelmat eivät täytä DOP-kynnystä numeerisesti singulaarisella geometrialla, joten rivi pysyy tasolla MODELLED; geodeettinen vs. geosentrinen ”ylös” DOP-koordinaatistossa	streets-of-coverage-mitoitus + 3D-ratanäkymä + päästä päähän tehty Maa-ristiintarkistus: valmis; saumatarkka Rider-korjaus + huonosti ehdollistettu DOP Maan ulkopuolella: P2
Verifiointi ja validointi	osittainen	Ulkoisen oraakkelin tarkistuksia koko moottorissa (SGP4 vs. 666 AIAA-vektoria, Allan-perhe vs. Stable32 ja allantools, koordinaatistot vs. SOFA/ERFA, voimamalli ja radanmääritys vs. Orekit, ARAIM vs. WG-C-esimerkkilasku ja muita; ajantasainen lukumäärä on tiedoston `VERIFICATION-MATRIX.md` generoidussa otsakkeessa); deterministiset Allan-tarkistukset; koneellisesti tarkistettu varmennusmatriisi (`src/verification.rs`): vaatimus→moduuli→testi→oraakkeli→tila-ristiviittaus, jonka rehellisyysinvariantit on yksikkötestattu: rivi saa olla merkitty validoiduksi vain, jos sillä on riippumaton ulkoinen oraakkeli (NIST/AIAA/SOFA/IGS/julkaistu arvo), jotta sisäinen itseyhdenmukaisuustarkistus ei voi esiintyä validointina; se tulostuu Markdown- ja CSV-muotoon (CSV: pilkuin erotetut arvot) ECSS-E-ST-10-02-verifiointiristiviittausta varten (ECSS: European Cooperation for Space Standardization) ja kirjaa neljä kumppanin omistamaa laitteisto- ja PA-aukkoa (PA: tuotevarmistus) sellaisina	Kalibrointiyhtyeet kattavat toistaiseksi kolme yhden siemenluvun tarkistusta (`CALIBRATION-ENSEMBLES.md`, ennakkorekisteröity: Monte Carlo -bootstrap-väli kattaa 96 %:ssa 200 siemenluvusta; yksi persentiilitoleranssi on siemenlukuherkkä, NOT MET tasolla 91,5 %); muut rivit kalibroidaan yhä yksittäisillä siemenluvuilla. Matriisi valvoo rivien luokittelua, ja CI tarkistaa nyt myös, että jokainen rivin viittaama testi, tiedosto ja kirjastotason kohde on olemassa (`tests/verification_rows_name_a_test_that_exists.rs`, `tests/verification_rows_cite_evidence_that_exists.rs`) ja että julkaistut luvut toistuvat yhä (`tests/published_figures_still_reproduce.rs`); se ei arvioi itse oraakkelia, minkä tarkastaja edelleen lukee	kalibrointiyhtyeet: P1
LEO-PNT (paikannus, navigointi ja ajanmääritys matalalta Maan kiertoradalta)	osittainen	Seitsemän tyyppiä, järjestelmäriippumattomia ja nimetyillä julkisilla esiasetuksilla: `leo-signal` (minkä tahansa kaistan ja rakenteen signaalisuunnitelmat: BPSK-, BOC-, MBOC- (multiplexed BOC) tai tasaiset OFDM-tyyppiset (orthogonal frequency-division multiplexing) komponentit, koodinseuranta, hankinta, GNSS-yhteensopivuus, kaistakompromissit), `leo-pass` (suunniteltu, elementti-, TLE- tai Walker-ylilento kaistakohtaisella linkkibudjetilla: ITU-R-sade (International Telecommunication Union Radiocommunication Sector), tuikinta ja rakennuksen läpäisyvaimennus, ionosfääri, antenni, Doppler, näkyvissä olevia MEO-GNSS-satelliitteja (medium Earth orbit) vasten), `leo-navmsg` (lähetetty efemeridi ja kello Galileon ICD:n (interface control document) Kepler-pohjalla tai valittavilla LEO-malleilla, sovitettu ja koodattu CRC-24Q-kehystarkistuksella (24-bit cyclic redundancy check)), `leo-pvt` (yhdistetty MEO + LEO -pseudoetäisyys- ja Doppler-paikannus mielivaltaisilla tähdistöillä), `leo-ppp` (PPP-konvergenssi LEO-täydennyksellä ja ilman sitä, simuloiduilla mittauksilla), `ntn-positioning` (5G NTN, non-terrestrial network, paikannusrajat signaalin kaistanleveydestä) ja `leo-pnt-chain` (yksi järjestelmä päästä päähän, kunkin vaiheen tuloste annetaan seuraavalle). VALIDATED-osat: ITU-R-linkkitermit suositusten taulukoita ja validointiesimerkkejä vasten, suurin Doppler julkaistua taulukkoa vasten, Galileon käyttäjäalgoritmi RTKLIB:ia vasten 1 mm:iin asti, CRC-24Q, SISRE-painot (signal-in-space range error)	Ei kenttädataa eikä tallennettuja signaaleja; paikannus-, PPP-, NTN- ja ajoituslukemat ovat MODELLED (suljetut muodot, suodattimen johdonmukaisuus, julkaistujen suuntausten vertailut); esiasetukset ovat julkisista lähteistä tai johdettuja, eivät operaattorin dataa	todellisten tallennettujen signaalien validointi: P3
Spektri / RF-ympäristö	osittainen	Tyyppi `spectrum` (`src/spectrum.rs`): GNSS:n L-kaista (sekä UHF-, S- ja C-kaistan monikaistasuunnitelmat; UHF: ultrakorkea taajuus) yhtenä tehospektritiheytenä, taajuus vaakasuunnassa ja aika alaspäin, käsikirjoitetun häirintälähteen aikajanan alla (jatkuva-aaltoinen, kapeakaistainen, chirp- ja sovitettu laajakaistainen häirintälähde), kaistakohtaisella J/S:llä (häirintälähteen ja signaalin suhde) ja efektiivisellä C/N₀:lla (kantoaalto-kohinatiheys); SigMF-tallenteet sisään ja ulos sekä Welchin spektriestimaatit kompleksisista näytteistä. Suljetun muodon signaalispektrit ja spektrierotuskertoimet ovat VALIDATED; vesiputouskuvaaja on MODELLED	GLONASS-, BeiDou- ja Galileo E6 -signaaleja ei mallinneta; ei vastaanottimen etuasteen eikä tallennetun IQ:n (in-phase/quadrature) validointia	tallennettujen signaalien vertailu: P3
Vastaanottimen lokin luotettavuus (alus ja yleinen)	osittainen	`src/receiver_trust/`: monitorit vastaanottimen omalle lokille (kantoaalto-kohinatiheys, paikan, nopeuden ja suunnan johdonmukaisuus, aika), tapahtumat ja ennusteet ilmoitettuina ennen ajoa; alusalustalla 0–100 pisteen arvosana perusteluineen; live-tila virralla, jossa on `$PKSHT`-lause ja valinnainen portti. MODELLED; ohjeellinen, ei tyyppihyväksytty navigointilaite	Kynnysarvot ovat ilmoitettuja oletuksia, eikä niitä ole mitattu kenttävastaanottimia vasten; loki pisteyttää vain kyseisen lokin; ei radiotaajuista sisääntuloa eikä ulostuloa; ei tyyppihyväksytty navigointilaite	`docs/RECEIVER-TRUST.md`, `docs/MARITIME-TRUST.md`
Todistepaketit ja luottamustelemetria	osittainen	`src/evidence/`: allekirjoitettu, tiivisteketjutettu paketti lokiikkunasta, sen asetuksista ja moottorin tuloksesta, offline-varmennettavissa, valinnaisella RFC 3161 -aikaleimatokenilla. `src/telemetry/`: luottamusvirta Prometheus-mittareina, syslog-tapahtumina (CEF tai LEEF) ja valinnaisena OpenTelemetrynä, mukana esimerkkinä Grafana-kojelauta	Paketti on tekninen tallenne, ei oikeudellinen lausunto, eikä se kerro, mikä tapahtuman aiheutti; aikaleimaviranomaisen allekirjoitusta ei varmenneta; telemetria lähettää vain telemetriaa	`docs/EVIDENCE-PACKS.md`, `docs/TRUST-TELEMETRY.md`
Miehistön koulutusvirrat ja häiriökartat	osittainen	`src/nmea_synth/`: synteettinen komentosillan NMEA käsikirjoitetuilla häirintä-, drag-off-, aikaharhautus- ja toistotapahtumilla sekä ohjaajan lokilla (vain tekstiä). `src/interference_map/`: yhteenvetotason heikentyneen navigoinnin kartat avoimesti lisensoiduista ilma-alus- ja laivailmoituksista sekä reitin altistuminen, paikallisista tiedostoista	Virrat ovat koulutusdataa, eikä niitä saa käyttää aluksen live-navigointijärjestelmissä; kartat ovat yhteenvetotason eivätkä ennuste, ja ne riippuvat annetuista ilmoituksista	`docs/NMEA-TRAINING.md`, `docs/INTERFERENCE-MAP.md`
Test-bench-vienti	osittainen	`src/interop/testbench.rs`: skenaarion (`gnss-ins`, `jamming` tai `gnss-sim`) ajoneuvon liike ja tapahtumat liike-CSV:nä, NMEA:na, reittipistetekstinä ja tapahtumatiedostoina laboratorion GNSS-simulaattoria varten	Signaalia ei kirjoiteta; simulaattorin tai vastaanottimen suorituskykyä ei väitetä; tiedostot on tarkistettu yhden avoimen lähdekoodin simulaattorin (gps-sdr-sim) liikelukijoiden takaisinluvun mukaan, mutta skenaarion oman totuusradan fysiikkaa ei ole tarkistettu ulkoisesti	`docs/TEST-BENCH.md`
Galileon OSNMA-varmennus	osittainen	`src/osnma/` ja `kshana osnma verify`: lukee Galileon I/NAV-sivuja tai UBX-virtaa ja raportoi satelliitti- ja epookkikohtaisesti, onko navigointidata todennettu (allekirjoitettu Merkle-juurinen avain, TESLA-ketju, MAC:t), syyn tarkistuksen epäonnistumiselle ja valinnaisen riippumattoman vertailuajan tuoreuden arviointiin; lisäksi `osnma_verify` Pythonissa ja WebAssemblyssä	Todentaa datan käyttäjän antamia avaimia vasten; ei väitä harhautuksenestosuorituskykyä eikä ole navigoinnin eheyspalvelu eikä tyyppihyväksytty laite; tarkistettu synteettisillä vektoreilla, viralliset ICD-testivektorit ovat ulkoinen lataus	`docs/OSNMA.md`
Julkisten viitekehysten compliance-kartoitus	osittainen	`src/compliance/` ja `kshana compliance-report`: Kshanan tulosteet kartoitettuna kuuteen julkiseen kestävyysviitekehykseen ja standardiin lähteineen ja aukkoineen jokaisella rivillä; ajo lasketaan mukaan vain, jos sen tulos sisältää ne kentät, jotka sen tyyppi kirjoittaa	Kartoitus on harkintaa; raportti kertoo, mitä ajojoukko tukee todisteina (supports evidence for), ei koskaan sitä, että viitekehys täyttyy tai tuote on hyväksytty; EN 16803 on lainattu vain luettelotekstistä	`docs/compliance/README.md`
Meriliikenteen integraatiot	osittainen	Signal K -liitännäinen, OpenCPN portti-tilan NMEA:n kautta TCP:llä sekä vertailutoteutus vastaanottimen vieressä olevalle pienelle tietokoneelle (`integrations/`, `deploy/`)	Testattu tallennetulla synteettisellä tulosteella; liitännäistä ei ole julkaistu npm:ssä; ohjeellinen, ei tyyppihyväksytty navigointilaite	`docs/MARINE-INTEGRATIONS.md`

Laajemmat avaruusjärjestelmien alueet (nykyisin rajauksen ulkopuolella)#

Useat näistä ovat tyhjiä; toiset ovat nyt ensimmäisen kertaluvun partial-malleja (tehtäväanalyysi- ja ympäristötyypit, jotka lisättiin sarjassa v0.17.0): luettelo on tehty siksi, että laajuus on yksiselitteinen eikä hiljaisuudesta pääteltävä. Kshana on PNT-simulaattori, ei GMAT, STK eikä Orekit (STK: Systems Tool Kit); nämä lähialueen mallit ovat tarkoituksella ensimmäisen kertaluvun malleja ja MODELLED, eivät koskaan validoituja lentotyökaluja.

Ominaisuus	Tila	Huomautus / tiekartta
Tehtäväsuunnittelu / lentoradan optimointi	osittainen	`src/maneuver.rs`: impulsiiviset ΔV-solmut 6×6 -kovarianssin etenemisellä (ECI/LVLH (ECI: Earth-centred inertial; LVLH: local vertical, local horizontal) -suoritusvirhekoordinaatistot), äärellisen palon integrointi tarkistettuna suljetun muodon Tsiolkovsky-yhtälöä vasten tarkkuudella < 0,01 %, Izzo-2015-yhden kierroksen Lambert-ratkaisija + täsmällinen universaalimuuttujainen Kepler-propagaattori (Lambertin tulosteet kierrätetty kahden kappaleen totuutta vasten) sekä porkchop-pyyhkäisy (lähtö × saapuminen) C3:lle / saapumis-V∞:lle JSON-korkeuskäyräruudukkona, jonka minimi on tarkistettu analyyttistä Hohmann-alarajaa vasten. Ei lentoradan optimoijaa; usean kierroksen Lambert-ratkaisija (`maneuver::lambert_multirev`, enintään kolme kierrosta, molemmat haarat) on VALIDATED vasten kirjastoa pykep 3.0.1 (`tests/lambert_multirev_oracle.rs`); porkchop ajetaan synteettisellä koplanaarisella ympyräratamallilla tai, tyypillä `maneuver::porkchop_kernel`, DE440 SPK:lla (VALIDATED SPICE-tiloja + pykepin Lambertia vasten, `tests/porkchop_de440_oracle.rs`); `maneuver::optimise_transfer_kernel` löytää jatkuvan päivämääräoptimin (pienin C3 tai pienin saapumis-V∞, tyyppi I tai II) DE440:llä, VALIDATED riippumatonta SPICE + pykep + SciPy -optimoijaa vasten (`tests/transfer_optimiser_oracle.rs`); julkaistuja NASA/TM-2010-216764 2026 Maa–Mars-minimejä vasten se täsmää tyypin II arvoihin ja ohittaa tyypin I pienimmän C3:n −5,18 %:lla (kirjattu). GMAT:ia itseään ei ajettu; pykep on kirjastotason oraakkeli. Syväavaruuden planeettaefemeridirajapinta (`src/ephem_provider.rs`) ja DE440-ristiintarkistus (Development Ephemeris 440; `xval/anise-mars-od`, 137 m 1 vuorokauden Mars-kaarella) ovat nyt olemassa: katso syväavaruuden / planeettienvälisen PNT:n rivi. Suorituskykysimulaatiokerros GMAT:n/Orekitin yläpuolella, ei korvike. P3
AOCS (asennon ja radan ohjausjärjestelmä) / GNC (ohjaus, navigointi ja hallinta) / asento	osittainen	Tyyppi `attitude-budget` (`src/attitude_budget.rs`): pahimman tapauksen gravitaatiogradienttimomentti `1.5·(μ/R³)·ΔI` + RSS-suuntausvirhebudjetti (RSS: neliösumman juuri) lähdekohtaisilla 1σ-termeillä: MODELLED skalaarinen laitteistoa edeltävä suuntaus- ja häiriöbudjetti. Momentiton jäykän kappaleen asentodynamiikka kvaternionitilalla (`src/attitude_dynamics.rs`: Eulerin yhtälöt + kvaternionikinematiikka, RK4) on VALIDATED Basilisk 2.9.1 -avaruusaluksen hubia vasten (`tests/attitude_dynamics_basilisk_oracle.rs`, kvaternionin poikkeama alle 1e-9 ajan 1e4 s), ja gravitaatiogradienttimomentin huippu Basiliskin GravityGradientEffectoria vasten (`tests/attitude_gg_torque_basilisk_oracle.rs`); Wahban asennonmääritys on tiedostossa `src/wahba.rs`. Tyyppi `aocs` (`src/aocs.rs`, `src/aocs_kind.rs`, `AOCS.md`): inertiaalinen suuntausmanööveri tasapainotetuilla reaktiopyörillä MRP-takaisinkytkennällä, minimi-normin pyörämomentit moottorirajoin; suljettu silmukka on VALIDATED vasten ohjelmistoa Basilisk 2.9.1 kolmella ennakkorekisteröidyllä tapauksella pyöristysvirheen tarkkuudella. Gyrosta ja tähtikameralta toimiva MEKF (`src/aocs_mekf.rs`) voi sulkea silmukan omalla estimaatillaan (MODELLED, suodattimen johdonmukaisuus). Ei seurantaohjausta, integraalitakaisinkytkentää, liikemäärän hallintaa, magneettimomenttikäämejä, potkuriyksiköitä, pyörän kitkaa eikä nopeusrajoja; asentodynamiikassa ei ole ulkoisen momentin ympäristöä; ei lennonohjain. P3
Koordinaatistot → Maa-kiinteä	täysi	Valmis: TEME→ECEF/ITRF, napaliike ja CIO-pohjainen GCRS→ITRS-ketju on toteutettu ja VALIDATED (bitti bitiltä SOFA/ERFA:ta vasten; 4 mm päästä päähän Vallado vasten). Katso yllä oleva Koordinaatistot-rivi
Tietoliikenne ja linkkibudjetit	osittainen	`src/linkbudget.rs`: syväavaruuden Friisin linkkibudjetti (lähetysteho · antennivahvistukset · kohina → C/N₀ · Eb/N₀ · marginaali), joka syöttää radiometristä/GSE-polkua (GSE: maasegmentin tukilaitteisto), sekä optiset ja RF-ajansiirtolinkit (`src/timetransfer.rs`) ja ajettava tyyppi `link-budget`: yksisuuntainen CCSDS-401/DSN-810-005-linkkiyhtälö (DSN: Deep Space Network) `C/N₀ = EIRP − FSPL − L_other + G/T − k` EIRP- (effective isotropic radiated power) / G-T*-syötteillä ja S/X/Ka-kaistan valinnalla (MODELLED suunnittelutason linkkibudjetti, ei kalibroidun päätteen tietolehti). Ei yhteysajoitusta, ei adaptiivista koodausta. P2
Maasegmentti ja operaatiot	osittainen	`passes`-skenaariotyyppi (`src/passes.rs`): maa-aseman nousu- ja laskuajan ylilentoennuste: AOS/TCA/LOS (AOS: signaalin vastaanoton alku; TCA: lähimmän etäisyyden hetki; LOS: signaalin menetys), suurin korkeuskulma, kunkin ylilennon kesto ja kokonaisnäkyvyysaika ennustejaksolla. Laskenta perustuu SGP4-elementtijoukkoon IAU 2006/2000A -koordinaatistossa, joka on kiinnitetty Maahan, sekä ITU-R P.834-9 -refraktioon ja valon kulkuaikaan. VALIDATED Orekit-versiota 13.1.8 vastaan merenpinnan tasolla olevilla asemilla (60 tapausta / 1210 ylilentoa, `tests/pass_predictor_on_path_orekit_oracle.rs`). Geometrinen `passes::predict_passes` on VALIDATED Orekit-version 12,2 korkeuskulmailmaisimeen verrattuna (22 skenaariota / 129 ylilentoa, `tests/ground_station_pass_prediction_reference.rs`). Aikataulun optimointia tai ristiriitojen ratkaisua ei ole. P3
Telemetria / TT&C / CCSDS	osittainen	oma TOML sisään / JSON ulos -rajapinta; CCSDS OEM -viennin (Orbit Ephemeris Message) ja tuonnin (502.0-B KVN (avain–arvo-merkintä), GMAT/Orekit/STK) tekee ajettava `oem-interop`-tyyppi (`src/oem.rs` `parse_oem` -edestakaissilta). Standardinmukainen yhden kohteen tiedonvaihto on VALIDATED riippumatonta `oem`-jäsennintä 0.4.5 vastaan. Lisäksi on CCSDS-TDM:n (503) seurantadataviestin jäsennys ja tuotto (`src/ccsds_tdm.rs`, syväavaruuden radiometrisen datan vaihtomuoto) sekä `space-packet`-tyyppi (`src/space_packet.rs`): CCSDS 133.0-B Space Packet -pääotsakkeen koodaus ja purku bittitarkalla edestakaisella kierrolla. CCSDS OMM -kirjoitin (Orbit Mean-Elements Message, 502.0-B-2, ODM-perheen osa; `src/omm.rs`) julkaisee SGP4:n keskiarvoelementit KVN-muodossa, ja puhtaasti Rust-kielellä tehty NAIF SPICE -kernelin lukija (`src/naif_kernel.rs`: DAF-kontti, SPK-tyyppi 2, binäärinen PCK-tyyppi 2) tukee kohdetta `ephem_provider::KernelEphemeris`. Muut CCSDS-viestityypit (OPM, OCM, AEM (AEM: Attitude Ephemeris Message)) ja SPICE-tiedostojen kirjoitus ovat edelleen tiekartalla (P2)
Yhteentoimivuus ja standardit (RINEX/SP3/SPICE/CCSDS)	osittainen	RINEX 3 multi-GNSS NAV: GPS, Galileo, QZSS, BeiDou MEO/IGSO (IS-GPS-200) ja GLONASS (PZ-90 (PZ: Parametry Zemli, venäläinen geodeettinen datumi), tilavektorin RK4) luetaan, propagoidaan ja ajetaan yhtenä sekatähdistönä. RINEX 3 OBSERVATION -jäsennin (pseudoetäisyys/kantoaalto/Doppler/SNR havaintokoodin mukaan, LLI/SSI-lippujen (LLI: lukituksen menetyksen ilmaisin; SSI: signaalin voimakkuuden ilmaisin) kanssa; 4,00:n odotetaan jäsentyvän, testaamatta). SP3-c/d-tarkan efemeridin luku ↔ kirjoitus -edestakainen kierto (jäsennys ja vienti Ginanille/RTKLIBille/gLABille) sekä 10. kertaluvun (11 pisteen) Lagrange-propagaattori (`Propagator::Sp3Precise`). SP3-vienti on CLI:stä käytettävissä (`kshana <orbit.toml> --export-sp3 out.sp3` tai `export_sp3 = true`) ja edestakaisella kierrolla validoitu todellista GPS-tähdistöä vastaan tarkkuudella < 0,5 m 24 tunnin ajalta (`tests/sp3_export_roundtrip.rs`). CCSDS OEM 2,0 -efemeridikirjoitin, lentodynamiikkatyökalujen nopeuden sisältävä TEME-tilan vienti, on nyt CLI:stä käytettävissä (`kshana <orbit.toml> --export-oem out.oem` tai `export_oem = true`) ja sen edestakainen kierto on tarkistettu propagaattorin tilaa vasten (`tests/sp3_export_roundtrip.rs`). RINEX-havaintojen jäsennin syöttää nyt yhden pisteen paikannusratkaisua (`pvt`, validoitu todellisella IGS-datalla, ks. GNSS / PNT -rivi). Lisäksi CCSDS-TDM (503) -seurantadataviestin jäsennys ja tuotto (`src/ccsds_tdm.rs`). Geometriaviennit katselu- ja tehtäväanalyysityökaluille: CZML, KML (Keyhole Markup Language), GeoJSON ja STK-efemeridi (`--export`, `src/interop/`); jokainen jäsennetään takaisin muodon määrittelystä kirjoitetulla validaattorilla (`tests/interop_formats.rs`). Lisäksi GeoJSON-reitin tuonti (`--import-route`), SigMF-tallenteet (Signal Metadata Format) sisään ja ulos `spectrum`-tyypille sekä RINEX-4-tyylinen / CSV-teksti LEO-navigointiviestille (`INTEROP.md`, `STANDARDS.md`). Ei vielä BeiDou-GEO:ta, PPP:n kokonaislukuepävarmuuden ratkaisua eikä kinemaattista RTK:ta (staattinen float-PPP ja lyhyen peruslinjan RTK todellisella datalla on olemassa, ks. GNSS / PNT -rivi), ei SPICE-kirjoitinta eikä OPM/AEM:ää (OEM-lukija on `oem-interop`-tyypin kautta, OMM-kirjoitin tiedostossa `src/omm.rs` ja SPICE SPK/PCK -lukija tiedostossa `src/naif_kernel.rs`): P2 ”liitä viereiset alueet standardimuodoilla”
Avaruussää / ympäristö (ionosfääri, ilmakehä, säteily)	osittainen	`space-weather`-tyyppi (`src/space_weather.rs`): aurinko- ja geomagneettiset indeksit (Kp↔ap IAGAn (International Association of Geomagnetism and Aeronomy) 28-portainen taulukko, päivittäinen Ap, keskitetty 81 vuorokauden F10.7a), Jacchia-71:n eksosfäärin lämpötila ja aktiivisuuden ohjaama termosfäärin tiheyden kytkentä staattisen ilmakehän päälle: MODELLED ensimmäisen kertaluvun malli, EI NRLMSISE:n absoluuttisen tiheyden malli. Ionosfääri: Klobucharin lähetysmalli (VALIDATED RTKLIBiä vastaan) ja IONEX-muotoisen (IONosphere map EXchange format) TEC-kartan (total electron content, elektronien kokonaismäärä) lukija (`src/ionex.rs`, yksikkötestattu). Todellinen CODEn globaali ionosfäärikartta (`CODG1330.18I`) on geometriasta riippumattoman vinon TEC:n rivin mitattu oraakkeli (`tests/geometry_free_tec_gim_oracle.rs`), mutta testi arvioi kartan omassa fikstuurigeneraattorissaan, joten lukijaa `src/ionex.rs` itseään ei ole vielä ristiintarkistettu todellista tuotetta vastaan. Fysiikkaan tai avaruussäähän perustuvaa ionosfäärimallia ei ole; P2+
Painovoimakarttaan perustuva vaihtoehtoinen PNT-navigointi	osittainen	`src/gravimeter.rs`: kylmäatomi-gravimetrin mittausmalli, jonka valkoisen kohinan lattia johdetaan CAI-kiihtyvyysmittarin ASD:stä (`σ = ASD/√τ`); matala-asteinen täysin normalisoitu pallofunktiokehitelmän painovoima-anomaliakenttä (validoitu suljetun muodon Legendre-funktioita ja käsin johdettua yksitermistä anomaliaa vastaan) sekä synteettiset mascon-massakeskittymät; ja painovoimakarttaan sovittava partikkelisuodatin (koostuu osista `mapmatch` + `particle_filter`), joka palauttaa GPS:ltä estetyn reitin sen läpi lennetystä anomaliasarjasta. 60 minuutin GPS-estoinen benchmark (`run_gps_denied_gravity_nav`, `scenarios/gps-denied-gravity-nav.toml`) lentää noin 700 km:n / tunnin mittaisen katkon, jonka aikana inertiaratkaisu ajautuu ≈ 70 km pois, ja hierarkkinen karkeasta hienoon -sovitin gravimetrin deterministisellä siemenellä alustetulla valkoisella kohinalla palauttaa sen tasolle ≈ 145 m (< 500 m); tulos on vakaa kohinatoteutumien yli ja todistetusti hienonnuksen rajoittama (yksi karkea ruudukko jää noin 2 km:iin). Lisäksi täysi IGRF-14 (IGRF: International Geomagnetic Reference Field) geomagneettisen pääkentän malli (`src/igrf.rs`: IAGAn Schmidt-normalisoitu pallofunktiokehitelmä asteeseen/kertalukuun 13, 2025,0 + sekulaarivaihtelu, kertoimet konetuotettu virallisesta tiedostosta `igrf14coeffs.txt`; validoitu suljetun muodon kallistettua dipolia, skalaaripotentiaalin differenssiapproksimaatiota ja tunnettua geomagneettista napaa ja voimakkuutta vastaan): magneettikenttä, johon alusta voi sovittaa kartan magneettisen anomalian navigointia varten. Lisäksi maastoon perustuva navigointi (TERCOM/SITAN (TERCOM: maaston korkeusprofiilin sovitus; SITAN: Sandia Inertial Terrain-Aided Navigation)) ja yhdistetty painovoima-, magneetti- ja maastonavigaattori (`src/altpnt/terrain.rs`): käsin kirjoitettu SRTM- (Shuttle Radar Topography Mission) `.hgt`-korkeusmallin (DEM) jäsennin (16-bittinen etumerkillinen big-endian, riveittäin, pohjoisin rivi ensin, tyhjä arvo -32768; validoitu GDALin (Geospatial Data Abstraction Library) SRTMHGT-ajurin (Shuttle Radar Topography Mission height-file format) määrittelyä ja suljetun muodon bilineaarista keskipisteoraakkelia vastaan), tutka-/baro-korkeusmittarin malli ja `run_terrain_nav`-sovitin, joka palauttaa GPS:ltä estetyn reitin maanpinnan korkeusprofiilista DEMiin verrattuna, sekä `run_combined_altpnt`, joka yhdistää kolme skalaarikenttäkanavaa reittipistettä kohti (Δg mGal · \|B\| nT kuoren anomalia · korkeus m), jolloin yhteinen posteriori on terävämpi (alempi CRLB (Cramér–Rao lower bound)) kuin millään yksittäisellä kentällä: se on rajattu: < 500 m 60 minuutin katkon ajan, eikä odotusarvoisesti ole parasta yksittäistä kanavaa huonompi. Lisäksi peräkkäinen (rekursiivinen) maastoon perustuva navigointi, SITAN jatkuvana suodattimena (`src/altpnt/sequential.rs`, `run_sequential_trn`): sama korkeusmittari–DEM-mittausmalli ajetaan havaintohetki kerrallaan `particle_filter`-SIR-moottorin (sampling importance resampling) läpi (ennuste INS:n lisäyksellä ja prosessikohinalla → uudelleenpainotus maastosovituksella → uudelleenotanta degeneroitumisen yhteydessä), joten ajan mukana muuttuva INS-ajautuma seurataan reitin varrella, kun taas eräsovitin palauttaa vain yhden vakiopoikkeaman. Rekursiivinen estimaatti pysyy rajattuna ja konvergoituu uudelleen (lopussa ≈ 70 m), kun taas tukematon ratkaisu hajaantuu rajattomasti noin 5 km:iin; havaintokohtainen virhe seuraa maaston erottuvuutta, ja efektiivisen otoskoon kuntoseuranta on mukana. Rehellinen rajaus: kartta on tunnettu ja kiinteä, eli kyse on rekursiivisesta paikannuksesta tallennettua DEMiä vasten (maaston SLAM:n (simultaneous localisation and mapping) paikannuspuoli); yhteisestimointi kartalle on erillinen RBPF jäljempänä. Kaikki neljä on nyt kytketty skenaariomoottorin `kind=`-tyyppeihin (`gravity-map`, `terrain-nav`, `combined-altpnt`, `terrain-slam`) SVG-ajautumakaavion kanssa (`scenarios/terrain-nav.toml`, `scenarios/combined-altpnt.toml`, `scenarios/terrain-slam.toml`). 0,36 (WP-10): `gravity-map`-navigaattori hyväksyy valinnaisen todellisen vertailukentän (`[reference]`: mukana toimitettu EGM2008 asteeseen 70 asti tai ICGEM-tiedosto `.gfc`), jonka anomaliasynteesi vastaa ICGEM Calculation Servicea noin 1e-8 mGal:n tarkkuudella (VALIDATED, `xval/icgem-egm2008/`). Tällä asteen 70 kentällä 60 minuutin benchmark päättyy arvoon 3106 m, joten kynnys < 500 m on NOT MET (ennalta rekisteröity ja ennustettu: aste 70 on liian tasainen). Valinnainen karttavirheen Monte Carlo (`[map_error_mc]`, `scenarios/gravity-map-error-mc.toml`) osoittaa, että synteettinen 144 m:n paikanne olettaa tarkan kartan (1 toteutumaa 20:stä jää alle 500 m:n, kun korreloitunut virhe on 2 mGal; tutkiva). `combined-altpnt` hyväksyy valinnaisen kuorimagneettiruudukon (EMAG2v3, `[magnetic_grid]`; EMAG2 haetaan, ei sisällytetä mukaan, eikä sillä väitetä saavutetun mitään navigointitulosta). `terrain-nav` pysyy tarkoituksella pelkkänä DEM-tyyppinä: se on yhden kanavan TERCOM/SITAN-sovitin, ja magneettinen sovitus kuuluu tyyppiin `combined-altpnt`, joka yhdistää maaston magneetti- ja painovoimakanaviin; magneettikanava tyypissä `terrain-nav` kaksoistoteuttaisi sen, joten auditointikohta ”EMAG2 terrain-navigointiin” katetaan `combined-altpnt`-kytkennällä (RM-16). Todellisen SRTM:n tarkistukset ajetaan CI:ssä kahdella arkistoidulla täysresoluutioisella leikkeellä (solmu solmulta samat kuin GDAL 3.8.4, `xval/srtm-ungate/`). Yhteinen karttaestimointi on olemassa (`run_sequential_trn_on_map`, FastSLAM-tyyppinen RBPF): yhdellä ohituksella se parantaa tulosta 1,5 % tunnettua karttaa käyttävään SITANiin verrattuna virheellisellä kartalla, eli ei saavuta ennalta rekisteröityä 10 %:n kynnystään (`xval/terrain-slam-rbpf/`). Edelleen puuttuu: korkea-asteinen painovoimamalli navigointiajossa (vaatii uuden ennakkorekisteröinnin), todellisella ruudukolla saatu magneettinen navigointitulos ja uudelleen vierailtu (silmukan sulkeva) SLAM-tapaus. P3
Paluu ilmakehään / EDL (sisääntulo, laskeutuminen ja alasotto), laukaisuanalyysi, EO/hyötykuorma (EO: Maan havainnointi)	osittainen	Ensimmäisen kertaluvun MODELLED-geometria kolmella ajettavalla tyypillä: `reentry` (`src/reentry.rs`, Allen–Eggers-ballistinen käytävä: huippuhidastuvuus, huippu-g:n ja huippulämmityksen nopeudet, huippu-g:n korkeus), `launch-window` (`src/launch.rs`, kahden kappaleen laukaisuazimuutti `sin Az = cos i/cos lat`, tasonvaihdon Δv, kohteen pyörimisen hyöty, päivittäiset mahdollisuudet) ja `eo-coverage` (`src/eo_payload.rs`, SMAD:n (Space Mission Analysis and Design) avaruuskolmio-EO-geometria: kaistanleveys / GSD (maastoresoluutio) / näkyvyys / uudelleenkäyntiväli). Ei 6-DoF EDL-/aerotermistä simulaatiota, ei lentoradan optimoijaa eikä anturin radiometriaa/MTF:ää (MTF: modulaatiosiirtofunktio). P3
Kuun ja kuunläheinen PNT (LunaNet)	osittainen	`src/lunar.rs`: kuun ARAIM-moottori, joka käyttää uudelleen Maa-puolen MHSS-ydintä LunaNet LNIS:n (LunaNet Interoperability Specification) parametreilla (σ_URE ≈ 30 m, P_sat ≈ 1e-4); MCI↔MCMF-kuunläheisen koordinaatiston redusointi (MCI: Kuun keskipisteinen inertiaalinen; MCMF: Kuun keskipisteinen, Kuuhun kiinnitetty) (`mci_to_mcmf` / `mcmf_to_mci`, yksinkertaistettu keskimääräisen pyörimisen malli sideeriselle nopeudelle) ja selenografinen leveys/pituus/korkeus (`mcmf_to_selenographic`); sekä etelänavan suojaustasoajo (`south_pole_hpl_pass`), joka kvantifioi eheysvajeen: kun etäisyysmittauksen virhe on 30 m, HPL on äärellinen mutta ylittää pinnalla tehtävien operaatioiden 50 m:n hälytysrajan. `src/cr3bp.rs` lisää Maa–Kuu-CR3BP:n (circular restricted three-body problem, rajoitettu ympyräratainen kolmen kappaleen ongelma) (pyörivän koordinaatiston dynamiikka + RK4-propagaattori + Jacobin vakio + viisi Lagrangen pistettä, validoitu julkaistuja L1/L2/L3-arvoja ja tarkkoja L4/L5-pisteitä vastaan): kolmen kappaleen ydin, jota todellinen NRHO (near-rectilinear halo orbit, lähes suoraviivainen haloperrata) tarvitsee, sekä tilansiirtymämatriisiin + yhden ammunnan differentiaalikorjaajaan (`cr3bp_jacobian`, `propagate_state_stm`, `differential_correct_halo`) perustuva menetelmä, joka tuottaa aidosti jaksollisia L2-halo-/NRHO-ratoja: STM on validoitu differenssiapproksimaatioita vastaan, korjatut halot sulkeutuvat itsensä kanssa koneen tarkkuudella (Jacobin vakio säilyy), ja julkaistun apolunen tilan käyttö siemenenä toistaa L2:n eteläisen 9:2-NRHO:n (Gateway-radan) jaksolla ≈ 6,57 d ja perilunella ≈ 3 250 km, mikä on johdonmukainen julkaistujen arvojen ≈ 6,56 d / ≈ 3 370 km kanssa \| Differentiaalikorjatut NRHO:n alkuehdot (IC, initial conditions) on nyt kytketty mukaan, mutta korjatun radan denormalisoitu selenosentrinen (MCI/MCMF) muunnos ja perheen jatkaminen ovat vielä tekemättä. DE440:n pääakselien kuun orientaatio todellisella fysikaalisella libraatiolla on olemassa (`src/lunar_orientation.rs`, `moon_pa_de440`-PCK:sta, tarkistettu SPICEn `pxform`-funktiota vastaan tiedostossa `tests/lunar_pa_orientation_spice_oracle.rs`), mutta vanhempi `lunar::mci_to_mcmf`-polku käyttää yhä keskimääräistä pyörimistä ilman libraatiota tai prekessoivaa napaa. NRHO on CR3BP-ratkaisu (ympyräratainen, ilman Aurinkoa), jota ei ole validoitu todellista LANS/Gateway-efemeridiä (LANS: Lunar Augmented Navigation Service) vastaan. Ajettava `lunar-integrity`-skenaariotyyppi (`scenarios/lunanet-araim.toml`) tuo etelänavan ajon CLI:stä käytettäväksi \| selenosentrinen muunnos + perheen jatkaminen + SPICE/LunaNet-rajapinta: P3
Syväavaruuden / planeettojen välinen PNT (Mars, radiometrinen)	osittainen	Julkaistu v0.17.0. Radiometrinen navigointimoottori: iteratiivinen valon kulkuaika + Shapiro-viive, kahden/yhden/kolmen suunnan Doppler ja etäisyys (Moyer, kaksi osuutta), koherentti transponderin kääntö, regeneratiivinen/PN-etäisyysmittaus (PN: pseudokohina) (CCSDS 414), Δ-DOR (CCSDS 506), aurinkoplasman/troposfäärin/ionosfäärin väliaineet (`src/radiometric.rs`); CCSDS-TDM:n (503) jäsennys ja tuotto (`src/ccsds_tdm.rs`); reduced-dynamic SRIF (square-root information filter, neliöjuuri-informaatiosuodatin) RTN-empiirisillä kiihtyvyyksillä (RTN: radiaalinen, poikittainen, normaali) + 3-tilainen aluksen kello + Marsin ilmanvastus (`src/deepspace_od.rs`, `clock_state.rs`, `mars_atmos.rs`), joka tekee Marsin LMO-radanmäärityksen (LMO: matala Marsin kiertorata) ≈ 0,2 m synteettisessä suljetussa silmukassa; yksisuuntaisen ja kaksisuuntaisen datan yhdistäminen; usean kappaleen dynamiikkaydin (`src/body.rs`, Mars GMM-3 (GMM: Goddard Mars Model), IAU:n Mars-koordinaatisto `src/mars_frame.rs`, `EphemerisProvider`-rajapinta `src/ephem_provider.rs`, kaksiosainen JD + TT↔TDB (TDB: barycentric dynamical time)); sekä `mars-pnt`-releen PNT-skenaario (MARCONI-areostationaarinen tähdistö, `src/mars_pnt.rs`) + päästä päähän ulottuva GSE-suorituskykysimulaattori (`src/gse_sim.rs`). Simulaatiolla validoitu (kovarianssi/suljetun silmukan FoM); Aurinko-keskeinen dynamiikka ristiintarkistettu JPL:n (Jet Propulsion Laboratory) DE440:ää vastaan (137 m 1 vuorokauden kaarella, `xval/anise-mars-od`). Puuttuu: todellisen DSN/ESTRACK (ESTRACK: European Space Tracking network) -seurantadatan validointi; Marsin painovoima omassa koordinaatistossaan (GMM-3:n d/o 120 -kenttä ladataan PDS SHADR -taulukosta, `from_shadr`, VALIDATED pyshtoolsia vastaan, ja liitetään kohteen `Body::with_gravity_field` kautta, mutta se lasketaan IAU:n eikä sen oman Konopliv-2006-koordinaatiston mukaan); DE-luokan efemeridi ytimessä (kernelillä rajattu xval-ympäristössä). P3
Aurinkokunta ja PNT minkä tahansa kappaleen ympärillä	osittainen	`solar-system`-tyyppi: Auringon, planeettojen, Pluton, Kuun ja seitsemän suuren kuun paikat, nopeudet ja fysikaaliset vakiot yhtenä ajanhetkenä sekä kappaleiden välinen valon kulkuaika. Planeettojen paikat (JPL:n Standish-elementit) ja valon kulkuaika ovat VALIDATED JPL Horizonsia vastaan (`tests/solar_system_horizons_reference.rs`); kuut, Pluto ja ulkoplaneettojen taulukko pysyvät MODELLED-tasolla. `body-pnt`-tyyppi: kiertolaisen tai laskeutujan navigointi minkä tahansa luetteloidun kappaleen (Mars, Kuu, Europa, Ganymede, Titan ja muut) ympärillä paikallisen Walker-tähdistön yksisuuntaisilla pseudoetäisyyksillä sekä valinnaisella kaksisuuntaisella etäisyydellä Maasta: MODELLED. Ytimessä ei ole planeettaefemeridin kernelia (analyyttiset elementit); `body-pnt`-releradoissa käytetään vain J2:ta (täydet Marsin GMM-3 d/o 120 ja Kuun GRAIL GL0660B d/o 660 -kentät ladataan PDS SHADR -taulukoista ja liitetään kohteeseen `Body` propagaattoria varten, `src/gravity_pds.rs`). P3
Kampanjat / tehtävän koostaminen	osittainen	`campaign`-tyyppi (`src/campaign.rs`): olemassa olevat tyypit ketjutettuina yhdelle jaetulle aikajanalle (esimerkiksi häirintä, sitten harhautus, sitten holdover INS:n rullatessa, sitten eheyshälytys, sitten palautuminen), parametripyyhkäisyt ja siemenluvulla toistettavat Monte Carlo -joukot minkä tahansa tyypin yli sekä useita skenaarioita yhteisin ehdoin yhdistetyllä yhteenvedolla; jokainen luku luetaan jäsentyypin todellisesta ajosta. Koostamisen identiteetit on testattu (`tests/campaign_composition_reference.rs`: yhden vaiheen kampanja toistaa erillisen ajon tavu tavulta); MODELLED. `[optimize]`-osio (ruudukko tai rajattu Nelder–Mead yhden–kolmen avaimen yli, yksi mittari, minimointi, maksimointi tai tavoitearvoon osuminen) täyttää ennalta rekisteröidyt suljetun muodon ja raa'an voiman kynnyksensä (`tests/campaign_optimize_reference.rs`); MODELLED, paikallinen haku ilman väitettä globaalista optimista, eikä gradientti- tai Bayes-menetelmää. P3
Raportit, animaatio ja tulosteet	osittainen	Jokainen ajo kirjoittaa tiedoston `result.json`, kaavion ja raportin (`report.html`, `report.json`), joiden selitteet luetaan varmennusmatriisista ja joiden tallennettu komento toistaa tuloksen tavu tavulta (`tests/advanced_report_cli.rs`). `--animate` (svg, html tai kuvat) piirtää aikasarjan animaationa (`src/animation.rs`, `ANIMATION.md`); `--export` kirjoittaa yhteentoimivuusrivin vaihtomuodot. Nämä ovat ajon esityksiä, eivät todisteita fysiikasta.

Ekosysteemi ja valmius (seurataan rehellisesti, ei koodin ominaisuus)#

Alue	Tila	Huomautus
Kielisidonnat ja paketointi	osittainen	Rust + Python (abi3) + WASM kolmessa rekisterissä. Tyypitetyt rajapinnat (0,36, CAP-34): Python-`RunOutput` NumPy-lukijoilla (`array`, `columns`, `series`) ja tyyppivihjetiedostoin kuvatut `ScenarioKind` / `ErrorKind` / `KindMeta`; JavaScript-`run_typed` (tyypitetty `RunOutput`-olio) ja `scenario_kinds`, samalla sanastolla TypeScript-määrittelyissä. Tulosasiakirjat pysyvät tyyppikohtaisena JSONina, tyypitettynä vain jaetulla kuorellaan (`units`, versiot)
Opetus / perehdytys UX (käyttökokemus)	osittainen	Selainpohjainen leikkikenttä, jossa ohjattu tila on julkaistu: skenaarioon mukautuvat ohjatut liukusäätimet (`web/studio/lib/guided.mjs`, enintään kuusi säädintä skenaariota kohti) ja vuorovaikutteinen ohjattu kierros (`web/studio/lib/tour.mjs`, toistettavissa leikkikentältä). Jokainen ajo saa myös selkokielisen merkitys-lauseen ja keskeiset lukunsa, jotka luetaan tulosasiakirjasta (`web/studio/lib/meaning.mjs`, tyyppikohtaiset mallit tiedostossa `meaning-kinds.mjs`; tyyppi ilman mallia saa ensimmäisen pääluvun ilmaistuna selkeästi). Puuttuu: lukukohtaiset ohjatut selitykset tämän lauseen lisäksi (selkokielinen `GLOSSARY.md` kattaa ne)
Yhteisö / hallinto	osittainen	Hallinnon rakenteet ovat olemassa: `GOVERNANCE.md` (hyväntahtoisen ylläpitäjän malli + tekninen kynnys + avoimen ja suljetun raja), `CODE_OF_CONDUCT.md`, `CONTRIBUTING.md`, `SECURITY.md`, issue-/PR-mallit (PR: pull request), `FUNDING.yml`, dependabot. Yksi perustaja; aktiivinen ulkopuolinen yhteisö (kehittäjät, viittaukset) riippuu ihmisistä ja ajasta ja on vielä rakentumassa (tiedotus odottaa tarkistusta)
Rahoitus ja hankintavalmius	ei mitään	TRL ~3; ei vielä virastojen viittauksia eikä sopimuksia (ks. strategiamuistiinpanot)

Päivitetty 2026-10-29 moottorille 0.40.0 (92 skenaariotyyppiä, lähteenä kshana kinds --json; uusia versiossa 0.40.0: mission-thread, lunar-orbit-rendezvous, lunar-descent, lunar-surface ja lunar-ascent). 2026-10-22: moottori 0.39.0, 87 tyyppiä, ei uutta tyyppiä. 2026-10-19: moottori 0.38.0, 87 tyyppiä (uusia versiossa 0.38.0: holdover-test, gnss-ssv ja lunar-infrastructure). 2026-10-18: 84 tyyppiä (uusi versiossa 0,37: optical-atmosphere). 2026-10-16: 83 tyyppiä (uusia versiossa 0,36: acm-link, aocs, ascent-losses, contact-schedule, entry-heating, eo-radiometry, lunar-station-coverage ja time-transfer-budget). 2026-10-10: moottori 0.35.0, 75 tyyppiä, ei uutta tyyppiä. 2026-10-09 ja 2026-10-08: aiemmat versiot. 2026-10-04: Nav-signal-rivillä mainitaan IQ-kerros (0.31.0). 2026-09-29: lisätty LEO-PNT-, spektri-, aurinkokunta- / minkä tahansa kappaleen PNT-, kampanja- ja tulosterivit. Aiemmin: yhdenmukaistettu 2026-06-02 suuren auditoinnin 27-rivisen ominaisuusmatriisin kanssa; syväavaruuden / Marsin PNT -rivi lisätty versiossa v0.17.0. Kvantti-PNT-lisäykset (GNSS-estoinen kellon holdover src/holdover.rs, yhdistetty kvantti-inertiaalisen dead reckoning -budjetti QuantumNavBudget, etäisyyskoodin suunnittelukompromissi CodeFamily, koneellisesti tarkistettu varmennusmatriisi src/verification.rs) on yhdistetty Timing-, Quantum-PNT-sensor-, Nav-signal- ja V&V-riveihin; kukin on merkitty validoiduksi tai mallinnetuksi todellisen oraakkelinsa mukaan.

FutureNAV-demonstraattorin lisäykset (mallinnettu, sisäisesti ristiintarkistettu, ei ulkoisesti validoitu): (1) Koneoppimiseen perustuvan RF-häiriöiden havaitsemisen arviointikoealusta src/impairment_eval.rs: nimetty synteettinen (parametreihin perustuva, ei IQ-pohjainen) häiriökorpus + ilmaisimesta riippumaton ROC/AUC/sekaannusmatriisi/Pfa-Pmd-testiympäristö (ROC: vastaanottimen toimintakäyrä; AUC: käyrän alle jäävä pinta-ala), vuotosuoja ja ositettu jako; mukana olevat ilmaisimet ovat läpinäkyviä julkaistuihin menetelmiin perustuvia lähtötasoja, eivät SOTA-tasoa (state of the art), ja korkea AUC tässä osoittaa putken toimivuuden, ei kenttäsuorituskykyä. (2) Kvantti vs. klassinen PNT -kompromissimoottori src/quantum_trade.rs: mitatun ADEV:n sisäänluku (kohteen σ_y²(τ)=q_wf/τ + q_rw·τ/3 + q_drift·τ³/20 NNLS-sovitus (non-negative least squares, ei-negatiivinen pienimmän neliösumman menetelmä), edestakaisella kierrolla tarkistettu tiedostoa q_from_allan vastaan), ajoitus-/inertiaalisen holdoverin hyötytaulukko, joka kantaa lattiaoletuksen varauksen mukanaan artefaktissa, sekä GNSS-estoinen kestävyys–aika-verhokäyrä; se kvantifioi kumppanin kvanttihyödyn, mutta ei koskaan validoi laitetta. Molemmat on vastakkainasettelullisesti arvioitu (τ²→τ³-ajautumapohjan virhe ja virheellinen ”rajattu loputtomiin” -kestävyysväite löytyivät ja korjattiin). 911 kirjastotestiä tuon lisäyksen aikaan, fmt+clippy puhtaat.

Yhteisen vaihtomuodon / standardimuodon lisäys (src/interchange.rs): Kshana Interchange Format (KIF), neutraali, versioitu ja itsensä kuvaava Envelope, joka kääräisee minkä tahansa artefaktin (skenaario, tulos, kompromissitutkimus) tunnistettavalla format-tunnisteella, yhden totuuden lähteellä SCHEMA_VERSION (skeemaversio, jota ennen kopioitiin kirjaimellisena 15 paikkaan, on nyt yhdessä vakiossa, johon koko paketti viittaa), tuottavalla engine_version-kentällä ja nimenomaisella, testatulla yhteensopivuussopimuksella (compatibility(): sama pääversio / yhtä vanha tai vanhempi alaversio luetaan additiivisten kenttien käytännön mukaan; uudempi alaversio tai eri pääversio hylätään rajalla funktiolla Envelope::parse sen sijaan, että se tulkittaisiin hiljaa väärin). Edestakainen kierto (wrap→to_json→parse→payload_as::<T>()) onnistuu mille tahansa Deserialize-hyötykuormalle; muoto on tarkoituksella aikaleimaton, jotta Kshanan bitti bitiltä toistettavuus säilyy. Dokumentoitu tiedostossa SCHEMA.md, jotta muoto on siteerattavissa, ei pelkästään tuotettu: avoimen ytimen ”standardi odottamassa” -asemointi. 923 kirjastotestiä tuon lisäyksen aikaan, fmt+clippy puhtaat.

FutureNAV-dominanssirakennuksen lisäykset (mallinnettu, sisäisesti ristiintarkistettu, ei ulkoisesti validoitu): (1) Taloudellinen kustannus per kattavuus / ROI-kerros (ROI: sijoitetun pääoman tuotto) src/frugal.rs: hyötykehystyskerros tähdistön mitoitusmoottorin (walker) päällä, joka raportoi kustannuksen kattavuuden prosenttiyksikköä kohti ja kattavuuden euroa kohti ROI:n lähtötasoon verrattuna; satelliittikohtainen kustannus on kutsujan antama, lähteistetty alin/nimellinen/ylin haarukka (ei keksittyjä pistehintoja), joten tulokset ovat vaihteluvälejä eivätkä näennäisiä pisteitä; mallinnettu taloudellinen kehys mallinnetulle kattavuusluvulle, ei tarjous. (2) Havaitsematta jääneen tapahtuman eheysvaikutuksen kuvaus src/integrity_impact.rs: kuvaa havaitsematta jääneen harhautuksen tai häirinnän aiheuttaman paikkavinouman sen tehollisesta virheestä → Stanford-alueeseen (käytettävissä / järjestelmä ei käytettävissä / harhaanjohtava / vaarallisen harhaanjohtava) tilannekohtaisia hälytysrajoja (avoin taivas vs. kaupunki, HAL vs. VAL) vasten ja koostuu ulkoisesti ankkuroidusta RAIM-funktiosta classify_stanford; havaitsematta jääneestä tapahtumasta hälytysrajaan -silta on mallinnettu, ei sertifioitu eheyden allokaatio. Molemmat on kuvattu koneellisesti tarkistettuun varmennusmatriisiin (src/verification.rs, Validated⇒ExternalDataset-invariantti ehjänä; elävä rivimäärä on tiedoston VERIFICATION-MATRIX.md tuotettu otsikko). Tekoälyn arviointiympäristön ristiinvalidointi / vuotosuoja / parametriositettu jako oli jo toimitettu tiedostossa src/impairment_eval.rs (stratified_split, Split::has_leakage). 951 kirjastotestiä tuon lisäyksen aikaan, fmt+clippy puhtaat.

FutureNAV-optimismivajeen tutkimuksen lisäykset (mallinnettu, sisäisesti ristiintarkistettu suljettuja muotoja vasten, ei ulkoisesti validoitu, ei väite simulaatiosta kenttään): kontrolloitu synteettinen tutkimus jakauman sisäisen → jakauman ulkopuolisen AUC:n optimismivajeesta RF-häiriöiden ilmaisimille. (1) Opitut ilmaisimet src/impairment_ml.rs: kiinteä piirrekartta + opetusdatasta sovitettu standardoija, logistisen regression lähtötaso (deterministinen koko erän gradienttimenetelmä) ja yksipiilokerroksinen MLP (monikerrosperseptroni; siemenluvulla toistettava backprop-SGD (stochastic gradient descent)) saman ImpairmentDetector-piirteen takana, jota julkaistuihin menetelmiin perustuvat lähtötasot käyttävät. (2) Käsin johdetut tilastot src/eval_stats.rs: persentiili-bootstrap-luottamusvälit (CI), DeLongin AUC:n varianssi/luottamusväli, Spearmanin ρ ja ridge-regressio; kukin tarkistettu suljettua muotoa vasten (binormaalinen AUC Φ(d′/√2), käsin laskettu DeLongin varianssi, oppikirjan sidottujen sijalukujen ρ, tarkka OLS:n (ordinary least squares) palautus). (3) Tutkimus src/impairment_study.rs: luokkakohtainen AUC, (detector,class)-kohtainen skaalauslakitrendi (vaje vs. 1−vakavuus) ja pelkästään jakauman sisäinen ridge-vajeen ennustin, joka arvioi optimismivajeen pelkistä jakauman sisäisistä diagnostiikoista ja jota pisteytetään yksi ilmaisin pois- ja yksi luokka pois -menetelmillä keskiarvoennustinta vastaan. Yhden komennon artefakti komennolla cargo run --release --example optimism_study. Jokainen luku on AUC mallista johdettujen merkintöjen yli synteettisellä, parametreihin perustuvalla korpuksella; vaje on synteettisestä synteettiseen -vakavuussiirtymä, ei koskaan kenttähavaintotulos. Kuvattu koneellisesti tarkistettuun varmennusmatriisiin (src/verification.rs, Validated⇒ExternalDataset-invariantti ehjänä).