Місяць і цисмісячний простір (родина видів сценаріїв)

24 види сценаріїв рушія v0.40.0. Лише консультативно: результат аналізу від дослідницького та інженерного інструмента; це не навігаційне обладнання із затвердженням типу і не послуга забезпечення безпеки життя. Кожна позначка тут належить рушієві або матриці верифікації; вид вважається MODELLED, якщо матриця не каже іншого (як заробляється позначка: розділ Evidence у README).

Тематичні сторінки: LUNAR-REFERENCE-STATION, LUNAR-INFRASTRUCTURE, LUNANET-AFS. Запустити один: kshana scenarios/lunar-infrastructure-od-consistency.toml. Усі родини: KINDS.md.

lunar-integrity#

Розрахунок рівня захисту ARAIM на південному полюсі Місяця відносно репрезентативного набору ретрансляторів LunaNet. sigma_ure_m задає точність далекомірних вимірювань сигналу в просторі (рівні захисту лінійно масштабуються з нею, тож її перебір відповідає на запитання, яка точність далекометрії потрібна для граничного значення тривоги). За замовчуванням — історичний випадок південного полюса класу LNIS.

Обов'язкові поля: немає. Необов'язкові: step_s, duration_s, alert_limit_m, p_hmi, sigma_ure_m.

Реєстр: жоден рядок матриці не називає цей вид; рушій сам позначає свій результат. Повна сторінка з вхідними даними, результатами, доказами та обмеженнями: lunar-integrity.

kshana scenarios/lunanet-araim.toml

lunar-time-offset#

Модельована релятивістська швидкість ходу годинників Земля–Місяць (Координований місячний час, LTC/TCL): вікова швидкість LTC−TT, що випливає з різниці власних потенціалів і кінетичного складника Місяця, подана з опублікованою смугою 56–59 мкс/добу, плюс накопичений зсув на горизонті.

Обов'язкові поля: немає. Необов'язкові: epoch_year, epoch_month, epoch_day, horizon_days.

Реєстр: жоден рядок матриці не називає цей вид; рушій сам позначає свій результат. Повна сторінка з вхідними даними, результатами, доказами та обмеженнями: lunar-time-offset.

kshana scenarios/lunar-time-offset.toml

lunar-time-budget#

MODELLED наскрізний бюджет похибки часу за Координованим місячним часом (LTC): сім складників похибки LTC, зібраних як криві похибки часу x_i(τ) на всій сітці часів усереднення, із середньоквадратичним підсумовуванням у x_Σ(τ), і ТОЧКА ПЕРЕТИНУ τ годинника та системи відліку, у якій зростаючий складник годинника переважає сталий складник реалізації системи відліку в реальному часі (нижче неї бюджет обмежує система відліку, вище — годинник) — чесна відповідь на артефакт єдиного τ. Нахили за τ замкнені й піддаються аналітичній перевірці (годинник τ^{+1/2}/τ^{+1}, нижні межі τ^0, вимірювання τ^{-1/2}), а рядки годинника відтворюють опубліковані добові специфікації годинників (crate::clock_specs); ВЕЛИЧИНИ нижніх меж радіочастотної/оптичної лінії, реалізації системи відліку, релятивістського залишку та ефемерид — це модельовані розподіли бюджету (задокументовані типові значення, які викликач може змінити), а не вимірювання. Внесок — відтворювана точка перетину τ, а не сертифікована цифра для кожного складника; не сертифіковано для операційного підтримання часу.

Обов'язкові поля: немає. Необов'язкові: clock, tau_min_s, tau_max_s, points_per_decade, clocks, time_lab.

Реєстр: MODELLED. Повна сторінка з вхідними даними, результатами, доказами та обмеженнями: lunar-time-budget.

kshana scenarios/lunar-time-budget.toml

lunar-ascent#

MODELLED активне виведення з південно-полярного місця на поверхні на орбіту зустрічі та коваріація положення–швидкості, яку воно переносить назад на орбіту (клас Artemis). П'ятистанова інерційна модель похибок за віссю з lunar-descent (положення, швидкість, зміщення акселерометра, нахил орієнтації, зміщення гіроскопа, що керується питомою силою) виконується на всіх трьох осях місця від стану на поверхні, з яким фаза входить; фікс положення AFS від видимих ретрансляторів ILLUSTRATIVE угруповання класу LCNS (автономний або диференціальний із залишком каналу корекції з lunar-differential-pnt, з підтримкою годинника, коли видно лише три ретранслятори) береться із заданим інтервалом, при цьому місячний час входить через годинник апарата та похибку мітки часу вздовж траєкторії. Повідомляє замкнені інерційні джерела, внесок допоміжного засобу, абляцію, навігаційні 1-сигми на виведенні, розсіювання при відсічці двигуна поряд з навігаційним знанням і повну коваріацію 6x6 MCI на вході з збереженою кореляцією положення–швидкості. MODELLED: ілюстративний клас IMU, питома сила, набір ретрансляторів і розсіювання при відсічці; похибки утримуються в осях місця запуску; номінальний стан виходу є заступником. Без схвалення агентством; консультативне програмне забезпечення, не сертифіковане навігаційне обладнання.

Обов'язкові поля: немає. Необов'язкові: site_lat_deg, site_lon_deg, ascent_s, specific_force_m_s2, insertion_altitude_km, accel_bias_ug, align_arcmin, gyro_bias_deg_per_hr, surface_pos_sigma_m, surface_vel_sigma_m_s, cutoff_sigma_m_s, afs_mode, n_relays, mask_deg, afs_cn0_dbhz, sis_ure_m, afs_first_fix_s, afs_interval_s, baseline_km, lunar_time_mode, time_since_sync_days.

Реєстр: MODELLED. Повна сторінка з вхідними даними, результатами, доказами та обмеженнями: lunar-ascent.

kshana scenarios/lunar-ascent.toml

lunar-surface#

MODELLED доступність позиціонування та часу на поверхні за майданчиком і порою року для південно-полярних майданчиків класу Artemis. Для кожного майданчика й пори року (епоха та вікно після неї) повідомляє позиціонування за ретрансляторами (чотири або більше ретрансляторів ILLUSTRATIVE орбітального угруповання класу LCNS у полі зору та PDOP під порогом, тими самими функціями, що й у moonlight-service-volume, а з рельєфним розділом — за променево розрахованою лінією обрію рельєфу lunar-station-coverage), чи перебувають Земля й Сонце над горизонтом майданчика (аналітичні Сонце, Місяць і орієнтація Місяця, з урахуванням лібрації, яка й змінюється за порою року), та доступність часу (ретранслятор або Земля в полі зору) з найдовшим проміжком без жодного з них, тобто holdover, який поверхневий годинник мусить пережити. Результат для одного майданчика збігається з результатом moonlight-service-volume до біта. MODELLED: ілюстративний кеплерівський набір ретрансляторів на Місяці із середнім обертанням; показник ретрансляторів не змінюється за порою року; рельєф — це обрізка LOLA розміром 1200 m. Не схвалено жодним агентством; консультативне програмне забезпечення, не сертифіковане навігаційне обладнання.

Обов'язкові поля: немає. Необов'язкові: sites, season_dates, window_days, step_min, stay_days, timing_floor_s, n_sats, sma_km, eccentricity, inc_deg, argp_deg, mask_deg, pdop_threshold, earth_mask_deg, sun_mask_deg, terrain.

Реєстр: MODELLED. Повна сторінка з вхідними даними, результатами, доказами та обмеженнями: lunar-surface.

kshana scenarios/lunar-surface.toml

lunar-descent#

MODELLED бюджет розкиду посадки для керованого спуску на південно-полярний майданчик (клас Artemis). Для кожної горизонтальної осі п'ятистанова модель інерціальної похибки (положення, швидкість, зсув акселерометра, нахил орієнтації, зсув гіроскопа) збуджується питомою силою спуску; послідовний фільтр бере позиційні визначення від увімкнених засобів: визначення AFS за видимими ретрансляторами ILLUSTRATIVE орбітального угруповання класу LCNS (автономне або диференційне, із залишком лінії поправок із lunar-differential-pnt, із допомогою годинника, коли видно лише три ретранслятори) та рельєфно-прив'язане визначення (зіставлювач TERCOM/SITAN крейта на синтетичному рельєфі або межа Крамера–Рао зіставлення вікна висот справжньої південно-полярної ЦМР LOLA). Місячний час входить через годинник апарата в моменти визначень (зсув LTC-TT з lunar-time-offset або невизначеність його опублікованої смуги) та як похибка часової мітки вздовж траєкторії. Повідомляє еліпс посадки 3-сигма, R95, замкнені інерціальні джерела, внесок кожного засобу, абляцію кожної комбінації засобів, калібрування еліпса методом Монте-Карло та коваріацію, що передається далі. MODELLED: ілюстративний клас IMU, набір ретрансляторів, профіль спуску й складник наведення; рельєфна навігація використовує синтетичний рельєф у земному метровому масштабі; доступність AFS — це одна епоха на плоскій масці. Не схвалено жодним агентством; консультативне програмне забезпечення, не сертифіковане навігаційне обладнання.

Обов'язкові поля: немає. Необов'язкові: site_lat_deg, site_lon_deg, more_site_lats_deg, descent_s, specific_force_m_s2, horizontal_speed_m_s, accel_bias_ug, align_arcmin, gyro_bias_deg_per_hr, carried_pos_sigma_m, carried_vel_sigma_m_s, guidance_sigma_m, afs_mode, n_relays, mask_deg, afs_cn0_dbhz, sis_ure_m, afs_first_fix_s, afs_interval_s, baseline_km, trn_source, trn_fix_time_s, trn_altimeter_sigma_m, trn_map_sigma_m, dem_descriptor, trn_window_m, trn_height_sigma_m, trn_registration_sigma_m, lunar_time_mode, time_since_sync_days, n_trials, seed.

Реєстр: MODELLED. Повна сторінка з вхідними даними, результатами, доказами та обмеженнями: lunar-descent.

kshana scenarios/lunar-descent.toml

lunar-orbit-rendezvous#

MODELLED відносна навігація для стикування в стилі Orion і посадкового апарата на низькій місячній орбіті або еліптичній полярній орбіті (клас Artemis). Переслідувач і ціль летять тією самою орбітою за силовою моделлю Місяця крейта; спільна 21-параметрова пакетна оцінка Гауса–Ньютона за дугою (два стани апаратів і постійні зсуви сигналу в просторі) зливає абсолютне позиційне визначення для кожного апарата з набору ретрансляторів ILLUSTRATIVE класу LCNS (ретранслятори за Місяцем відкидаються, потрібні чотири, синфазна похибка сигналу в просторі взаємно знімається між апаратами) і міжсупутникову дальність, з точністю вимірювання дальності за межею стеження за кодом на пілот-сигналі LunaNet AFS. Повідомляє формальну та Монте-Карло похибку відносного положення й швидкості в осях LVLH цілі, доступність визначень, середню нормовану квадратичну похибку оцінювання щодо її очікуваного значення та будь-яку спробу, ітерація якої не збіглася, дрейф від нехтування гравітаційними гармоніками та повну коваріацію 6x6, що передається далі. Для кругового випадку застосовується замкнена перевірка Гілла/Клохессі–Вілтшира. MODELLED: ілюстративний набір ретрансляторів, бюджет похибок і апріорні значення; істина й оцінювач мають одну силову модель, тож NEES перевіряє самоузгодженість, а не похибку моделі. Не схвалено жодним агентством; консультативне програмне забезпечення, не сертифіковане навігаційне обладнання.

Обов'язкові поля: немає. Необов'язкові: orbit, sma_km, eccentricity, inc_deg, argp_deg, mean_anomaly_deg, separation_m, arc_s, step_s, n_relays, afs_cn0_dbhz, isl_cn0_dbhz, integration_s, sis_ure_m, common_mode_fraction, target_pos_sigma_m, target_vel_sigma_m_s, carried_pos_sigma_m, carried_vel_sigma_m_s, filter_model, n_trials, seed, conv_threshold_m, gravity_table_path, gravity_degree.

Реєстр: MODELLED. Повна сторінка з вхідними даними, результатами, доказами та обмеженнями: lunar-orbit-rendezvous.

kshana scenarios/lunar-orbit-rendezvous.toml

lunar-vlbi#

Модельована місячна геодезична спостережувана величина затримки VLBI: земна база (дві наземні станції, GCRS) спостерігає односторонній сигнал від маяка класу NovaMoon на місячній поверхні. Виводить близькопольову затримку як різницю двох відстаней, її швидкість і поправку на кривину хвильового фронту ближнього поля за проліт — перехресно перевірену за плоскохвильовою спостережуваною величиною Δ-DOR з тієї самої кодової бази в межі дальнього поля, з часткових похідних, перевірених скінченною різницею. Типовий аналітичний шлях є MODELLED і має застереження щодо узгодженості систем відліку, руху полюса xp=yp=0 та плоскої хвилі проти ближнього поля. Задання planetary_kernel_path, earth_orientation_kernel_path і moon_orientation_kernel_path запускає натомість шлях ядер (DE440, MOON_PA_DE440, ITRF93; збіжні баріцентричні часи проходження світла; додає часткові похідні маяка та станції для епохи), чия ньютонівська затримка та часткові похідні збігаються зі збіжними часами проходження світла NAIF SPICE до 0,06 пс і 7.4e-9. Не перевірено за реальними даними VLBI.

Обов'язкові поля: немає. Необов'язкові: station1_lat_deg, station1_lon_deg, station1_alt_m, station2_lat_deg, station2_lon_deg, station2_alt_m, beacon_lat_deg, beacon_lon_deg, beacon_alt_m, epoch_year, epoch_month, epoch_day, horizon_hours, step_min, planetary_kernel_path, earth_orientation_kernel_path, moon_orientation_kernel_path.

Реєстр: MODELLED 3 · VALIDATED 3. Повна сторінка з вхідними даними, результатами, доказами та обмеженнями: lunar-vlbi.

kshana scenarios/lunar-vlbi.toml

lunar-vlbi-fim#

Коваріація координат станцій місячного VLBI: часткові похідні затримки спостережуваної величини lunar-vlbi, накопичені за явним РОЗКЛАДОМ (бази x епохи) у матрицю інформації Фішера, обернені й подані як коваріація координат станцій та sigma станції для кожної координати — обчислений вихід рушія, а не скалярна точність затримки, пропущена через припущений ізотропний коефіцієнт рівнорозподілу g = 3. Стан містить ЗЕМНІ (ITRS) координати станцій, тож якобіан — це інерційна часткова похідна, повернута матрицею GCRS->ITRS кожної епохи: обертання Землі робить ці координати спостережуваними, і звіт ВИМІРЮЄ розгортку променя візування в земній системі та схилення маяка, а не припускає їх. Одне спостереження — це одна пара (база, епоха), у якій ОБИДВІ станції вище маски кута місця, з вагою 1/delay_sigma_s^2. Звітує про ранг, дефект датуму, число обумовленості, повний спектр інформації, матрицю коваріації, sigma для кожної станції за кожною віссю та 3-D, а також нульовий простір вільної мережі в кожному прогоні; за дефіциту рангу головна sigma публікується як NULL зі статусом і ніколи не зчитується з майже виродженої оберненої матриці. Значення рівнорозподілу cdelay_sigma_ssqrt(g/N) для ТОГО САМОГО розкладу виводиться поряд з обчисленим значенням із відношенням, разом з ізотропною межею за слідом sqrt(p/trace(M)), яку нерівність AM-HM робить жорсткою нижньою межею — тож відношення — це анізотропія, яку відкинуло припущення. Замикання затримки tau_ik = tau_ij + tau_jk робить геометрично незалежними лише n-1 з n(n-1)/2 баз; звіт наводить обидві кількості. MODELLED: ефемерида центра Місяця, годинники станцій, тропосфера та параметри орієнтації Землі ЗАФІКСОВАНІ, а спостереження вважаються незалежними, тож коваріація є межею Крамера–Рао для скороченого набору параметрів, а не передбаченим результатом сесії; sigma затримки, координати станцій і розклад — вхідні дані. Часткову похідну, яку якобіан геометричної затримки пропускає (диференційований складник Шапіро), вимірюють скінченною різницею й виводять. Не геодезичний продукт.

Обов'язкові поля: немає. Необов'язкові: stations, beacon_lat_deg, beacon_lon_deg, beacon_alt_m, epoch_year, epoch_month, epoch_day, arc_hours, step_min, delay_sigma_s, elevation_mask_deg, datum, estimate_beacon, rel_tol, equipartition_g, planetary_kernel_path.

Реєстр: MODELLED 3 · VALIDATED 2. Повна сторінка з вхідними даними, результатами, доказами та обмеженнями: lunar-vlbi-fim.

kshana scenarios/lunar-vlbi-fim.toml

lunar-joint-od-clock#

Модельований спільний багатотехнічний місячний пакетний оцінювач визначення орбіти й годинника на СИМУЛЬОВАНІЙ мережі: підгонка знімка за Гауссом–Ньютоном, що зводить затримки геодезичного VLBI на земних базах, місцеві місячні відстані станція↔супутник і міжсупутникові відстані, щоб спільно відновити 3-D положення місячної поверхневої станції, положення невеликого орбітального угруповання та зсув годинника кожного об'єкта за введеною істиною. Головний чесний результат — VLBI робить повне 3-D положення станції спостережуваним там, де самі місцеві місячні відстані лишають слабко спостережуваний напрямок — подано як контраст похибки станції з VLBI і без нього. MODELLED симульоване відновлення із замкненим циклом (істина ділить модель спостережень), детерміноване (із зерном), НЕ перевірене за реальними даними; без поширення моделі сил усередині розв'язувача; жодних TRL, спадщини чи схвалення агенцій.

Обов'язкові поля: немає. Необов'язкові: n_sat, n_earth, seed, sigma_vlbi_s, sigma_range_m, sigma_isl_m, station_lat_deg, station_lon_deg, station_alt_m, orbit_radius_km, sigma_clock_s, orbit_ecc, orbit_inc_deg, orbit_argp_deg, orbit_planes, epoch_year, epoch_month, epoch_day.

Реєстр: жоден рядок матриці не називає цей вид; рушій сам позначає свій результат. Повна сторінка з вхідними даними, результатами, доказами та обмеженнями: lunar-joint-od-clock.

kshana scenarios/lunar-joint-od-clock.toml

lunar-frame-realisation#

Модельована реалізація місячної системи відліку: підгонка 7-параметричного датуму Гельмерта (подібності) — 3 трансляції, 3 повороти малого кута, 1 масштаб — що прив'язує оцінений набір координат точок MCMF, виведених із селенографічних, до датуму зваженим методом найменших квадратів (crate::batch_ls::gauss_newton), плюс проста прив'язка орієнтації, що виражає реалізований малий поворот навколо осей ICRF відносно орієнтації тіла за IAU 2015 WGCCRE. Сценарій вводить відоме мале перетворення (трансляція ~десятки м, поворот ~мкрад, масштаб ~1e-7) у добре розподілену синтетичну мережу точок, додає гауссів шум із зерном, відновлює датум і звітує про відновлене перетворення, похибку відновлення за кожним параметром відносно введеної істини та післяпідгоночну середньоквадратичну нев'язку. MODELLED самоузгодженість — відновлює введене перетворення подібності (без шуму приблизно до машинної точності), а НЕ реалізацію за реальними даними трекінгу/VLBI; детермінований (із зерном); жодних TRL, спадщини чи схвалення агенцій.

Обов'язкові поля: немає. Необов'язкові: n_points, tx_m, ty_m, tz_m, rot_x_urad, rot_y_urad, rot_z_urad, scale_ppb, noise_sigma_m, seed, epoch_year, epoch_month, epoch_day.

Реєстр: жоден рядок матриці не називає цей вид; рушій сам позначає свій результат. Повна сторінка з вхідними даними, результатами, доказами та обмеженнями: lunar-frame-realisation.

kshana scenarios/lunar-frame-realisation.toml

lunar-frame-campaign#

Семипараметричний датум системи відліку Гельмерта (подібності), заданий СИМУЛЬОВАНОЮ КАМПАНІЄЮ СПОСТЕРЕЖЕНЬ, а не введеним перетворенням. Мережа земних станцій спостерігає каталог місячних наземних маяків за явним розкладом; часткові похідні затримки місячного VLBI накопичуються за цим розкладом у матрицю інформації Фішера координат маяків точно так, як це робить lunar-vlbi-fim; ця інформація поширюється через план Гельмерта A = [I3 | [p]_x | p] у точках каталогу на коваріацію датуму H = A^T M_b A, яку діагностує crate::fim::crlb. Жодного перетворення НЕ вводиться, і нічого не відновлюється із закладеної відповіді, тож зазначена точність датуму випливає з програми спостережень: удвічі менша sigma затримки точно вдвічі зменшує її, а подовження дуги покращує її, бо лібрація, яку звіт ВИМІРЮЄ (sub_earth_direction_sweep_deg), відокремлює координату маяка вздовж променя візування від координат у площині неба. Ранг, дефект датуму, число обумовленості, повний спектр, неспостережувані напрямки У СЕМИПАРАМЕТРИЧНОМУ БАЗИСІ, найслабший напрямок навіть за повного рангу та частка кожного параметра в ньому виводяться в кожному прогоні; параметр, який кампанія не обмежує, публікується як NULL зі статусом і ніколи не зчитується з майже виродженої оберненої матриці. Кореляцію похибок маяків ВИМІРЮЮТЬ, а не припускають: за нерухомих станцій жодне спостереження не стосується двох маяків, тож інформаційна матриця точно блочно-діагональна (offblock_fraction 0), а за оцінюваних станцій блок після маргіналізації за Шуром зв'язаний, наведена кореляція виводиться, і все поширення повторюється з її відкиданням, тож ціна припущення про незалежність — це число. Те саме поширення за ізотропної sigma для кожної координати та похибка відновлення, про яку звітує сценарій lunar-frame-realisation, обидва виконуються тут і виводяться поряд зі значенням кампанії з їхніми відношеннями. MODELLED: каталог маяків має джерело, але КАМПАНІЯ симульована — мережа станцій і sigma затримки є ілюстративними вхідними даними, окремі спостереження затримки вважаються незалежними, а ефемерида центра Місяця, годинники станцій, тропосфера й параметри орієнтації Землі ЗАФІКСОВАНІ, тож коваріація датуму є межею Крамера–Рао для скороченого набору параметрів. Не геодезичний продукт.

Обов'язкові поля: немає. Необов'язкові: stations, beacons, epoch_year, epoch_month, epoch_day, arc_hours, step_min, delay_sigma_s, elevation_mask_deg, earth_elevation_mask_deg, station_datum, rel_tol, assumed_coordinate_sigma_m, solver.

Реєстр: MODELLED 2 · VALIDATED 3. Повна сторінка з вхідними даними, результатами, доказами та обмеженнями: lunar-frame-campaign.

kshana scenarios/lunar-frame-campaign.toml

lunar-llr-datum#

семипараметричний датум місячної системи відліку Гельмерта, заданий РЕАЛЬНОЮ АРХІВНОЮ кампанією спостережень, а не симульованою. Там, де lunar-frame-campaign прибрав введене перетворення, але все ще задавав мережу станцій, розклад і sigma для кожного спостереження як ILLUSTRATIVE вхідні дані, цей вид бере всі три з вимірювань: епохи — це часи наземної передачі архівних нормальних точок ILRS Consolidated Laser Ranging Data, спостереження — це лазерні далекомірні вимірювання, справді здійснені до п'яти масивів ретрорефлекторів на Місяці, а вага кожного спостереження — це власна архівна точність цієї нормальної точки bin_rms/sqrt(n_raw), зчитана з файлу. Координати станцій походять із розв'язку IERS ITRF2020 SLR (поширені на епоху за їхніми опублікованими швидкостями), а координати рефлекторів — з таблиці 7 JPL DE430 у системі відліку середньої Землі / середнього обертання, яку реалізує модель IAU 2015 WGCCRE. Часткові похідні відстаней накопичуються в спільну матрицю інформації Фішера координат рефлекторів і поширюються через той самий план Гельмерта на коваріацію датуму, яку діагностує crate::fim::crlb. Ранг, дефект, обумовленість, спектр, неспостережувані напрямки в семипараметричному базисі, найслабший напрямок за повного рангу та частка кожного параметра в ньому виводяться в кожному прогоні, а необмежений параметр публікується як NULL зі статусом. Міжмасивна кореляція MEASURED як точно нульова, а не припущена, бо лазерна відстань стосується одного масиву. Запис, який каталоги не можуть розмістити — станція без опублікованого положення ITRF — ПРОПУСКАЄТЬСЯ І ПІДРАХОВУЄТЬСЯ, і їй ніколи не підставляється замінна координата. ЯКІ ЛАНКИ MEASURED, А ЯКІ MODELLED, — ЦЕ І Є ЗВІТ, А НЕ ПРИМІТКА: ефемерида центра Місяця та орієнтація тіла за IAU лишаються модельованими, а їхній сукупний розмір виводиться як різниця «виміряне мінус обчислене» односторонньої відстані за кожною використаною точкою; тропосфера, приливи твердого тіла, ексцентриситет станції, рух полюса, UT1-UTC, релятивістська затримка й годинники станцій відсутні та входять до цієї нев'язки. Оскільки похибка ефемериди потрапляє в коваріацію лише через напрямок кожного променя візування, кожен прогін також заново розв'язує весь датум з усіма частковими похідними, нахиленими на sensitivity_tilt_deg (зі змінним знаком), і виводить відношення, тож нечутливість коваріації до модельованої ефемериди — це число, а не аргумент. Власні показники симульованої кампанії ВИКОНУЮТЬСЯ й виводяться поряд із виміряними, а не переписуються. MODELLED: семипараметричні показники — це межа Крамера–Рао для скороченого набору параметрів на реальному розкладі — не розв'язаний датум, не аналіз LLR і не геодезичний продукт. Закомічений зріз реальних даних постачається з репозиторієм, але не з опублікованим крейтом; вкажіть data_dir на його копію.

Обов'язкові поля: немає. Необов'язкові: data_dir, normal_points_dir, reflectors_path, stations_path, dut1_s, rel_tol, compare_simulated_campaign, sensitivity_tilt_deg, planetary_kernel_path, extra_reflectors, extra_beacons, extra_earth_elevation_mask_deg, beacon_campaign.

Реєстр: VALIDATED. Повна сторінка з вхідними даними, результатами, доказами та обмеженнями: lunar-llr-datum.

kshana scenarios/lunar-llr-datum.toml

moonlight-service-volume#

Модельований аналіз місячного навігаційного обсягу обслуговування за ILLUSTRATIVE орбітальним угрупованням місячної орбіти класу Moonlight/LCNS із відкритих джерел (без афіліації з ESA): перебирає селенографічну сітку широта/довгота на часовому горизонті та звітує про DOP / покриття / доступність (≥4 супутн. І PDOP < порога), а також узагальнену огинаючу місячного рівня захисту ARAIM (HPL/VPL) по всьому обсягу. Геометрія DOP ПОВТОРНО ВИКОРИСТОВУЄ ядро, VALIDATED за gnss_lib_py (crate::orbit::dop); рівень захисту ПОВТОРНО ВИКОРИСТОВУЄ механізм LunaNet LNIS місячного ARAIM (crate::lunar, σ_URE≈30 м) і зводиться до наявного PL південного полюса як окремого випадку. MODELLED композиція: набір ретрансляторів на колових/еліптичних кеплерових орбітах (не справжні диференційно скориговані ефемериди LCNS/NRHO), Місяць із середнім обертанням (без лібрації/прецесії полюса). Детермінований (чиста геометрія). Жодних TRL, спадщини чи схвалення агенцій.

Обов'язкові поля: немає. Необов'язкові: n_sats, sma_km, eccentricity, inc_deg, argp_deg, lat_min_deg, lat_max_deg, lat_step_deg, lon_min_deg, lon_max_deg, lon_step_deg, horizon_hours, step_min, elev_mask_deg, pdop_threshold, alert_limit_m, p_hmi, perturbed, sigma_ure_m, export_site_lat_deg, export_site_lon_deg, export_antenna, ephemeris_path, planetary_kernel_path, epoch_utc, terrain.

Реєстр: MODELLED. Повна сторінка з вхідними даними, результатами, доказами та обмеженнями: moonlight-service-volume.

kshana scenarios/moonlight-service-volume.toml

lunar-differential-pnt#

Модельований місячний ДИФЕРЕНЦІЙНИЙ PNT (аналог місячних DGNSS/SBAS): опорна станція класу NovaMoon у ВІДОМІЙ селенографічній точці обчислює диференційні поправки для кожного супутника за ILLUSTRATIVE орбітальним угрупованням класу Moonlight/LCNS із відкритих джерел (NovaMoon згадано лише як КЛАС системи, без афіліації з ESA), а користувач, зміщений на baseline_km, застосовує їх, і СПІЛЬНІ для обох похибки орбіти та годинника компенсуються. Складник годинника компенсується ТОЧНО (алгебраїчна тотожність); складник орбіти залишає лише проєкцію різниці променів візування, яка → 0 при baseline → 0 (поріг просторової декореляції) і зростає приблизно лінійно з базою. Звітує про 3-D похибку положення користувача З поправками і БЕЗ них, коефіцієнт зменшення, криву залежності похибки від бази та рівень захисту користувача, який ПОВТОРНО ВИКОРИСТОВУЄ механізм SBAS за DO-229E (crate::sbas) з диференційним залишковим σ. MODELLED — точна тотожність компенсації + модель декореляції першого порядку; не перевірено за реальними даними; жодних TRL, спадщини чи схвалення агенцій. Детермінований, якщо задано зерно (seed).

Обов'язкові поля: немає. Необов'язкові: n_sats, sma_km, eccentricity, inc_deg, argp_deg, ref_lat_deg, ref_lon_deg, baseline_km, orbit_err_m, clock_err_m, noise_m, seed, t_s, residual_sigma_m, p_hmi, survey_sigma_m, latency_s, quantization_bits.

Реєстр: жоден рядок матриці не називає цей вид; рушій сам позначає свій результат. Повна сторінка з вхідними даними, результатами, доказами та обмеженнями: lunar-differential-pnt.

kshana scenarios/lunar-differential-pnt.toml

lunar-station-coverage#

Модельоване покриття місячної опорної станції: перебір Монте-Карло місячної диференційної моделі PNT над південнополярною сіткою користувачів і добою епох. Диференційна опорна станція в відомому південнополярному місці виправляє зазначене орбітальне угруповання (ілюстративне кеплерове або табличні ефемериди) із зазначеними похибкою сигналу в просторі, похибкою зйомки, затримкою поправок і квантуванням лінії; для кожної точки та по всьому регіону звітує про процентильну виправлену й невиправлену похибку положення (3-D, горизонтальну, вертикальну), доступність, покриття відносно зазначеного порога, рівні захисту за DO-229E, радіус покриття за азимутом і бюджет лінії поправок на станції та в найгіршій точці. Не є твердженням про продуктивність жодної реальної системи; без афіліації з жодним агентством і без його схвалення. MODELLED.

Обов'язкові поля: немає. Необов'язкові: n_sats, sma_km, eccentricity, inc_deg, argp_deg, ephemeris_path, mask_deg, station_lat_deg, station_lon_deg, station_height_m, survey_sigma_m, orbit_err_m, clock_err_m, sise_sigma_m, sise_orbit_variance_fraction, noise_m, latency_s, quantization_bits, grid_lat_max_deg, grid_lat_step_deg, points, t_start_s, t_span_s, t_step_s, n_trials, accuracy_threshold_m, percentile, alert_limit_m, residual_sigma_m, p_hmi, seed, terrain, orbit_err_growth_m_per_s, receiver, solution.

Реєстр: MODELLED. Повна сторінка з вхідними даними, результатами, доказами та обмеженнями: lunar-station-coverage.

kshana scenarios/lunar-station-coverage.toml

lunar-beacon#

Доповнення місячної орбітальної навігаційної служби наземними маяками у вигляді запускної таблиці «до/після». Користувач на південному полюсі бачить розріджений орбітальний набір у вузькій ділянці неба, тому геометрія вимірювання дальності погано обумовлена; кілька ОБСТЕЖЕНИХ НАЗЕМНИХ МАЯКІВ додають рядки прямої видимості з малим кутом місця та широким азимутом, яких бракує набору, що весь над головою, і горизонтальний геометричний чинник DOP різко падає. Сценарій повідомляє три конфігурації на одній епосі — лише супутники, супутники плюс видимі маяки та більше угруповання як альтернативний шлях до тієї самої геометрії — кожну з кількістю видимих джерел, повним DOP та реалізованою точністю 1-сигма в МЕТРАХ, отриманою множенням на еквівалентну користувачеві похибку дальності на маяк, складену як корінь із суми квадратів доданків синхронізації годинників, багатопроменевості та обстеження. Видимість маяка — це геометричний горизонт безповітряного Місяця за двома висотами (без атмосфери, тож межа точна), а складання DOP — це те саме ядро, перехресно перевірене з gnss_lib_py у tests/dop_reference.rs. НАВІЩО ЦЕЙ ВИД ІСНУЄ: модуль за ним був у рушії і перевірявся за незалежним шляхом DOP з L08/L09, але був недосяжний із прогону — без виду, без гілки диспетчеризації, без вбудованого файлу. README рекламував можливість, а матриця верифікації НЕ мала жодного рядка для неї, тож вона водночас була заявлена в прозі й незаявлена в реєстрі, залишаючись недосяжною в рушії. Типові значення — це геометрія, яка вже має зафіксований еталонний результат (користувач на -80 град з антеною 2 м, три маяки на -80/0, -79/+60 і -79/-60 на 2 км, ілюстративний знімок LCNS із шести супутників за t=0, маска 5 град), тож порожній прогін відтворює таблицю, яку вже охоплює оракул, а не вигадує нові числа. MODELLED: проєкт угруповання, розміщення маяків і кожна величина бюджету похибок — це ілюстративні входи, а не експлуатаційне обстеження чи виміряна лінія; лише арифметика DOP, замкнена форма горизонту та співвідношення sigma = DOP x sigma_URE мають зовнішнє закріплення. Не є зобов'язанням щодо продуктивності служби.

Обов'язкові поля: немає. Необов'язкові: user, beacons, n_satellites, comparison_n_satellites, epoch_s, elevation_mask_deg, clock_sync_m, multipath_m, survey_m.

Реєстр: MODELLED. Повна сторінка з вхідними даними, результатами, доказами та обмеженнями: lunar-beacon.

kshana scenarios/lunar-beacon.toml

lunar-interop-export#

Модельований експорт місячної інтероперабельності: виводить місячну систему відліку, місячну шкалу часу та місячні ефемериди в обмінних формах, узгоджених із LunaNet/IOAG на основі CCSDS, із перевіркою відповідності полів і прямого та зворотного перетворення. ПОВТОРНО ВИКОРИСТОВУЄ генератор і розбирач CCSDS OEM 2,0 з крейта (crate::oem), перемарковані для місячного контексту — REF_FRAME в OEM містить місячну систему відліку тіла за IAU 2015 WGCCRE (MOON_ME / MOON_PA), TIME_SYSTEM — місячну шкалу часу (LTC / TCL / UTC), CENTER_NAME = MOON — на зразку ілюстративних ефемерид класу LCNS (положення з crate::lunar_service, швидкість скінченною різницею). Також виводить дескриптор місячного часу, узгоджений із LunaNet/IOAG (ідентифікатор шкали, вікова швидкість мкс/добу з crate::lunar_time, опублікована смуга, опорна поверхня), який проходить пряме й зворотне перетворення через serde_json, і загортає артефакти в наявну оболонку KIF (crate::interchange) з міткою чесності MODELLED. Звітує про виведені артефакти, кількість рядків OEM, відповідність полів: пройдено та список наявних/відсутніх полів, успішність прямого й зворотного перетворення OEM, успішність прямого й зворотного перетворення метаданих часу та розмір KIF у байтах. MODELLED — оракул: детерміноване пряме й зворотне перетворення + відповідність назв полів опублікованим CCSDS OEM + семантиці полів LunaNet/IOAG; це НЕ сертифікований тест відповідності інтероперабельності; ілюстративні ефемериди з відкритих джерел, без афіліації з ESA; жодних TRL, спадщини чи схвалення агенцій.

Обов'язкові поля: немає. Необов'язкові: frame, time_system, n_states, epoch, step_min, object.

Реєстр: жоден рядок матриці не називає цей вид; рушій сам позначає свій результат. Повна сторінка з вхідними даними, результатами, доказами та обмеженнями: lunar-interop-export.

kshana scenarios/lunar-interop-export.toml

cislunar-observability#

MODELLED спостережуваність плоского цисмісячного угруповання (P6): відстежує чотириапаратне диференційно скориговане плоске угруповання DRO з міжсупутниковою далекометрією та повідомляє, яку частину чотиристанового вектора апарата [x,y,ẋ,ẏ] дуга робить спостережуваною. Видає (1) таблицю ранг-проти-довжини-дуги для однієї лінії лише з далекістю — миттєво ранг 1, що зростає до повного чотиристанового вектора зі збільшенням дуги (P6 Table 1); (2) власний спектр грамішана спостережуваності + число обумовленості за дугу; (3) порівняння миттєвого рангу лише з далекістю проти далекість+швидкість зміни далекості (важіль проєкту — Доплер) разом зі звітуванням GDOP, сингулярним для лише далекості та визначеним для далекість+швидкість; та (4) незалежну перехресну перевірку SRIF, чия апостеріорна коваріація стає скінченною / добре обумовленою саме на дузі, де ранг спостережуваності сягає чотирьох. VALIDATED ядро: ранг спостережуваності є сингулярним порогом, що розкриває ранг, перехресно перевіреним із власним рангом грамішана; власний спектр підпорядковується спектральним інваріантам (trace=Σλ, det=Πλ, Frobenius²=Σλ²); варіаційна STM є перевіреною скінченними різницями STM CR3BP; рядки якобіана далекості / швидкості зміни далекості є аналітичними частинними похідними, перевіреними скінченними різницями (перехресно перевіреними із 3-D спостережуваною швидкості зміни далекості крейта); чотири початкові умови є диференційно скоригованими плоскими DRO, що замикаються до малої нев'язки періодичності й ретроградні; перехід рангу перехресно перевірено фільтром квадратного кореня з інформації крейта (апостеріорна коваріація скінченна саме за повного рангу, cond(P)=cond(OᵀO)); знімок з дефіцитом рангу позначається як GDOP невизначений (fim condition=inf), ніколи не як хибне скінченне значення — той самий захист сингулярної геометрії, який застосовує pvt::solve_spp. MODELLED: проєкт орбітального угруповання (амплітуди та фази перилюни DRO) і конкретна послідовність рангів, яку він дає. Це не сертифікований продукт навігаційних характеристик.

Обов'язкові поля: немає. Необов'язкові: mu, arc_hours, epochs, steps, rel_tol, spatial, sigma_range_m, family, n_spacecraft, sigma_pos_threshold_km.

Реєстр: MODELLED. Повна сторінка з вхідними даними, результатами, доказами та обмеженнями: cislunar-observability.

kshana scenarios/cislunar-observability.toml

cislunar-arc-recovery#

MODELLED тест незалежного оцінювача порога спостережуваності довжини цисмісячної дуги. Цей поріг є зчитуванням РАНГУ матриці спостережуваності, зібраної з АНАЛІТИЧНИХ рядків якобіана далекості та АНАЛІТИЧНОЇ варіаційної матриці переходу стану, а його перехресна перевірка фільтром квадратного кореня з інформації згортає ті самі рядки — це перевірка узгодженості між двома числовими механізмами, а не підтвердження. Цей тип надає відсутнього арбітра: пакетний оцінювач найменших квадратів, який справді ВІДНОВЛЮЄ початковий стан головного апарата за змодельованими вимірюваннями, із частинними похідними вимірювань, взятими як ЦЕНТРАЛЬНІ СКІНЧЕННІ РІЗНИЦІ складеної прямої моделі. Він не викликає жодного аналітичного рядка якобіана, жодної варіаційної STM, жодного сингулярного чи власного розкладу, жодного допуску рангу та жодного фільтра квадратного кореня з інформації — захист на рівні початкового тексту в tests/cislunar_arc_recovery_reference.rs робить це перевірюваним — тоді як динаміка (той самий потік RK4 CR3BP), початкові умови (те саме диференційно скориговане орбітальне угруповання), скалярна спостережувана величина та сітка епох навмисно спільні й названі у виданому блоці independence, бо два аналізи однієї фізичної задачі мають погоджуватися щодо фізики, щоб бути порівнянними. Два критерії, кожен переглянутий за п'ять декад власної межі: ВІДНОВЛЕННЯ БЕЗ ШУМУ (кінцева похибка стану кожного засіяного випробування не більша за recovery_factor разів його апріорного зсуву — аналог рангу без жодного допуску сингулярних значень) та ОЦІНЮВАНІСТЬ МОНТЕ-КАРЛО (виміряна середньоквадратична похибка позиції за засіяним ансамблем шуму нижча за заявлену межу — аналог оцінюваності, виміряний, а не спрогнозований). Підтримуються плоский чотиристановий і просторовий шестистановий випадки, родини DRO / L2 halo / L2 NRHO, спостережувані далекості та швидкості зміни далекості, а також полярна параметризація з центром на Місяці, де перетворення застосовується до СТАНУ, а пряма модель диференціюється там наново. MEASURED на опублікованій плоскій сітці DRO: оцінювач відновлює чотиристановий вектор від 0,782609 год проти 2,086957 год за критерієм рангу за rel_tol 1e-6 (відношення 0,375) — поріг рангу НЕ підтверджується як межа відновлюваності — тоді як виміряна межа оцінюваності потрапляє в ту саму комірку сітки, що й формальна, 5,739130 год, а виміряна крива похибки відтворює формальну 1-sigma на 21 довжинах дуги до середньогеометричного відношення 0,98. MODELLED: проєкт орбітального угруповання, сітка епох, єдина відстежувана лінія, величина зсуву, сигма вимірювання та дві заявлені межі. Це не сертифікований продукт навігаційних характеристик.

Обов'язкові поля: немає. Необов'язкові: mu, arc_hours, epochs, steps, spatial, family, n_spacecraft, observable, coordinates, trials, seed, displacement_nd, recovery_factor, sigma_range_m, sigma_range_rate_mm_s, error_bound_km, max_iterations, rel_tol.

Реєстр: MODELLED. Повна сторінка з вхідними даними, результатами, доказами та обмеженнями: cislunar-arc-recovery.

kshana scenarios/cislunar-arc-recovery.toml

lunar-attack-surface#

Поверхня атак на безпеку сигналів місячної наземної навігації (P1): поєднує відкриті аналізи безпеки сигналів в один прогін, досяжний із бінарного файлу. Повідомляє (1) прийняту потужність AFS та її ПЕРЕВИЩЕННЯ відносно наземного опорного рівня GPS, а також діапазон чутливості 12-18 dB як справжній багатоосьовий перебір за входами лінії (опорний рівень × EIRP × похила дальність) зі зведенням лінійних коефіцієнтів 25x за округленням / 28x без округлення. ПЕРЕГЛЯНУТО (правило R4): раніше повідомлялося про ДЕФІЦИТ потужності 15,6 дБ і коефіцієнт 32x/36x, доки опорний рівень GPS не виправили з -125 / -128.5 (це значення в dBm) на -155 / -158.5 dBW, значення з ICD-GPS-200, які модуль глушіння завжди містив. Знак змінюється на протилежний: змодельований місячний сигнал AFS на 14,4 дБ СИЛЬНІШИЙ за наземний GPS L1 C/A, а не слабший. Сама прийнята потужність не змінилася ні на біт, а лінійний коефіцієнт — це старий, поділений рівно на 1000, що є саме зсувом 30 дБ між dBm та dBW; (2) потрібна потужність передавача зловмисника для спуфінгу (J/S = 3 дБ) та для придушення (J/S = 30 дБ) на кожній дистанції, обернена лінія J/S; (3) орбітальний слід захоплення за реальною діаграмою спрямованості антени з рівномірною апертурою (Ері [2 J1(x)/x]^2), обмежена висотою субпівкульна шапка, чий лімб НЕ захоплюється; (4) обчислений результат втягування в захоплення спуфінгу петлею відстеження (чи справді спуфер із погодженим кодом за заданої переваги потужності та зсуву коду затягує DLL/PLL), а не заявлений поріг 3 дБ; (5) геометричний радіус горизонту безповітряного тіла для піднятого наземного передавача; та (6) бюджет автентифікації OSNMA/TESLA (20 біт/с накладних = ~40 % навігаційного повідомлення AFS на 50 біт/с, затримка розкриття ключа, підробка 2^-40). Порожнє тіло відтворює базовий рівень P1; кожен вхід має значення за замовчуванням і може бути перевизначений. Підрезультати VALIDATED несуть оракул свого вихідного модуля (замкнена радіометрія в дБ; круговий обхід оберненого J/S; діаграма Ері проти бесселів A&S і геометрії сферичної шапки; втягування DLL/PLL проти Каплана та Гегарті; тотожність сферичного дотичного горизонту проти eo_payload; розміри полів OSNMA SIS-ICD). MODELLED: репрезентативні величини геометрії/потужності та конкретні значення комірок карти захоплення. Не є сертифікованим продуктом безпеки.

Обов'язкові поля: немає. Необов'язкові: afs_eirp_dbw, user_gain_dbi, slant_range_m, slant_range_max_m, carrier_hz, gps_reference_dbw, gps_reference_min_dbw, afs_isotropic_signal_dbw, transmitter_altitude_m, transmitter_power_dbw, antenna_diameter_m, footprint_grid, spoof_power_advantage_db, spoof_code_offset_chips, attacker_gain_dbi, spoof_capture_js_db, jam_denial_js_db, standoffs_m, mast_height_m, user_antenna_height_m, footprint_altitude_min_m, footprint_altitude_max_m, footprint_altitude_steps, footprint_altitude_scale, footprint_diameter_min_m, footprint_diameter_max_m, footprint_diameter_steps, footprint_diameter_scale.

Реєстр: жоден рядок матриці не називає цей вид; рушій сам позначає свій результат. Повна сторінка з вхідними даними, результатами, доказами та обмеженнями: lunar-attack-surface.

kshana scenarios/lunar-attack-surface.toml

lunar-jamming#

Місячне радіочастотне глушіння (jamming): співвідношення завадного й корисного сигналів для кожного супутника, ефективне C/N₀ і втрата захоплення для користувача на селенографічній поверхні під місячним наземним (або піднятим) засобом глушіння, над ілюстративним орбітальним угрупованням місячної орбіти класу Moonlight/LCNS із відкритих джерел. Складає наявну відкриту фізику глушіння (jamming::j_over_s_db, effective_cn0_dbhz, rx_antenna_gain_db, lock_status, q_factor) із наявною геометрією місячного неба (lunar_service::LunarConstellation + topocentric, lunar::selenographic_to_mcmf); геометрія чи радіометрія заново не виводяться. На відміну від земного виду jamming, ланка корисного сигналу — НЕ фіксована прийнята потужність: ізотропна прийнята потужність кожного супутника — це його власний бюджет лінії EIRP − FSPL(похила дальність), тож J/S змінюється від супутника до супутника залежно від місячної дальності й кута місця. Звітує про ОДИН РЯДОК НА КОЖНУ ВИДИМУ ЛІНІЮ (епоха, супутник) — азимут, кут місця, похила дальність, обидві прийняті потужності, різницею яких є J/S, сам J/S, номінальне й ефективне C/N₀ та стан захоплення — плюс зведені показники якості поряд із цією таблицею (але не замість неї) і ту саму таблицю як артефакт CSV. Кожне виведене числове поле має одиницю та клас походження. Підрезультати VALIDATED мають оракул свого вихідного модуля (рівняння протидії глушінню та лінія J/S за Kaplan & Hegarty §9,4, зовнішньо задані в tests/gnss_denied_jamming_resilience_reference.rs; місячна геометрія lunar_service). Саму композицію перехресно перевірено за незалежним шляхом із двома бюджетами ліній (linkbudget::received_signal_power_dbw, інший вираз втрат у вільному просторі) із точністю до 1e-9 дБ. MODELLED: ілюстративне орбітальне угруповання, репрезентативні EIRP / потужність засобу глушіння / підсилення антен / шумова температура та відсутність затінення рельєфом, багатопроменевості, динаміки AGC і адаптивного занулення. Не є сертифікованим продуктом відмови в обслуговуванні. Якщо задано засіб глушіння, звіт також містить КОНТУР ВІДМОВИ ЗІ СМУГОЮ НЕВИЗНАЧЕНОСТІ, а не контур, зчитаний з одного скаляра: повний виміряний розподіл C/N₀ корисного сигналу за таблицею для кожного супутника (n, min, p05, p25, медіана, p75, p95, max, середнє, вибіркове стандартне відхилення та власна асиметрія вибірки), і контур, обчислений на кожній із цих порядкових статистик за ОБОМА критеріями відмови, які визнає рушій, — усталеним за співвідношенням потужностей (J/S = 30 дБ, як в attack-surface і tracking-loop) і за втратою захоплення (ефективне C/N₀ падає до tracking_threshold_dbhz, критерій, який використовує власний стовпець стану цього звіту) — на обох осях площини відмови (потрібна EIRP засобу глушіння за відстані від сценарію, відстань відмови за EIRP сценарію). Краї смуги Є contour(p05) і contour(p95), те саме замкнене відображення, застосоване до власних квантилів вибірки: не sigma, підігнана до вибірки, і не медіана ± k·stdev, причому stdev виводиться для наступності й нічим не використовується. Квантиль, що вже на порозі стеження або нижче, не має скінченного J/S, який забезпечував би відмову, і його стовпці втрати захоплення мають значення null із підрахованою причиною, а не обмежений радіус.

Обов'язкові поля: немає. Необов'язкові: n_sats, sma_km, eccentricity, inc_deg, argp_deg, site_lat_deg, site_lon_deg, site_alt_m, horizon_hours, step_min, elev_mask_deg, sat_eirp_dbw, carrier_hz, chip_rate_hz, user_boresight_gain_dbi, temp_k, tracking_threshold_dbhz, degraded_margin_db, jammer.

Реєстр: MODELLED. Повна сторінка з вхідними даними, результатами, доказами та обмеженнями: lunar-jamming.

kshana scenarios/lunar-jamming.toml

earth-gnss-lunar#

Приймання GNSS із Землі на місячній відстані — шар слабкого сигналу, який називає стаття про стійкість до конфліктів і для якого в рушія не було моделі. Супутник GNSS спрямовує антену на Землю; приймач поблизу Місяця перебуває на відстані близько п'ятнадцяти орбітальних радіусів, тож одночасно діють три чинники. Земля ЗАТУЛЯЄ ВІСЬ ДІАГРАМИ: з 26 560 км вона стягує півкут 13,9 град, тож будь-який промінь до Місяця має залишити передавач щонайменше на цей кут від надира, що прибирає пік променя ще до обчислення потужності. Лишаються КРАЙ ГОЛОВНОЇ ПЕЛЮСТКИ ТА БІЧНІ ПЕЛЮСТКИ, режим, у якому корисне навантаження LuGRE фактично працювало у 2025. А втрати у вільному просторі становлять близько 208 дБ на L1, приблизно на 25 дБ більше, ніж платить наземний користувач. Звіт видає один рядок на супутник (кут від осі, затуляння Землею, дальність, втрати на трасі, коефіцієнт підсилення передавача під цим кутом, прийнята потужність, відношення потужності несівної до спектральної густини шуму) і агрегує лише лінії, що долають поріг стеження. ВІН ТАКОЖ ЗВІТУЄ ОБУМОВЛЕНІСТЬ, бо саме вона визначає цей шар: кожен видимий супутник лежить усередині конуса шириною кілька градусів, якщо дивитися з Місяця, тож лінії візування майже паралельні, погіршення точності величезне, а виправлення за Earth-GNSS на місячній відстані є спостереженням рівня TIMING значно більшою мірою, ніж рівня позиції. MODELLED, і причина в діаграмі передавача: підсилення під кутом задано рівномірною круговою апертурою (Ері), тоді як справжня антена GPS L1 є дванадцятиелементною спіральною решіткою зі сформованою головною пелюсткою та бічними пелюстками, що не відповідають моделі Ері. Виміряні діаграми існують і тут не постачаються, тож впорядкування та порядки величин мають сенс, а дБ окремого супутника — ні. Навмисно ВІДСУТНІ, кожне з яких робить бюджет оптимістичним: немає іоносферних чи тропосферних втрат на променях, що ковзають по лімбу, немає втрат на поляризацію, наведення чи реалізацію, а Земля сферична без рефракційного розширення. Позиція Місяця є ВХІДНИМ значенням (дальність плюс інерціальний напрям), а не пошуком в ефемеридах, бо тестується лінія та геометрія променя. Підвищення цього рядка до рівня перевірених потребує виміряної діаграми передавача та нормальних точок LuGRE; жодного з них у репозиторії немає, і тут їх не вигадано.

Обов'язкові поля: немає. Необов'язкові: altitude_km, inclination_deg, planes, sats_per_plane, phasing_f, epoch_s, receiver_range_m, receiver_ra_deg, receiver_dec_deg, tx_power_dbw, tx_diameter_m, tx_efficiency, freq_hz, rx_gain_dbi, system_temp_k, tracking_threshold_dbhz, back_lobe_suppression_db, epochs, span_s.

Реєстр: MODELLED. Повна сторінка з вхідними даними, результатами, доказами та обмеженнями: earth-gnss-lunar.

kshana scenarios/earth-gnss-lunar.toml

lunar-infrastructure#

MODELLED дослідження орбіти й поверхні Місяця як навігаційної та геодезичної інфраструктури, п'ять досліджень за одним видом, що обирається через study: od-consistency (бортове визначення орбіти за Earth-GNSS на NRHO або ELFO порівняно з незалежним наземним радіометричним визначенням орбіти, за власними коваріаціями на основі Монте-Карло із зерном), carrier-phase (спільна подвійно-різницева фаза несівної «поверхня — орбітальний апарат» і розв'язання цілочисельних неоднозначностей методом LAMBDA), frame-coestimation (поверхнева станція й орбітальні апарати, додані до далекомірних вимірювань із земних станцій для семипараметричного датуму місячної системи відліку), space-tie (GNSS, VLBI і лазерна локація на одному космічному апараті, точність прив'язки системи відліку проти похибки локальної прив'язки) і geodesy-sensitivity (інформація Фішера про числа Лява місяця h2, k2, l2 і фізичну лібрацію за лазерною локацією, трекінгом орбітальних апаратів, поверхневим гравіметром і поверхневим годинником). Обмежена модель трьох тіл із зазначеними спрощеннями; числові методи перевірено за незалежними програмами, і ніщо не порівнюється з вимірюванням місячної величини.

Обов'язкові поля: study. Необов'язкові: seed, orbit, gnss, ground, monte_carlo, surface, llr, orbiter, gravimeter, clock, techniques, nominal.

Реєстр: жоден рядок матриці не називає цей вид; рушій сам позначає свій результат. Повна сторінка з вхідними даними, результатами, доказами та обмеженнями: lunar-infrastructure.

kshana scenarios/lunar-infrastructure-space-tie.toml

без графіка: приклад не записує діаграму