Луна и цислунное пространство (семейство видов сценариев)

24 видов сценариев движка v0.40.0. Носит консультативный характер: результат анализа исследовательского и инженерного инструмента; это не навигационное оборудование с утверждённым типом и не служба обеспечения безопасности жизни. Каждая метка здесь принадлежит движку или матрице верификации; вид считается MODELLED, если матрица не говорит иного (как заслуживается метка: раздел README «Evidence»).

Тематические страницы: 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.

Реестр (ledger): ни одна строка матрицы не называет этот вид; движок сам маркирует свой результат. Полная страница со входными данными, результатами, доказательствами и ограничениями: lunar-integrity.

kshana scenarios/lunanet-araim.toml

lunar-time-offset#

Modelled-релятивистский ход часов Земля–Луна (лунное координатное время, LTC/TCL): вековой ход LTC−TT, получаемый из разности собственных потенциалов и кинетического члена Луны, с опубликованной полосой 56–59 мкс/сут, плюс накопленное смещение на горизонте.

Обязательные поля: нет. Необязательные: epoch_year, epoch_month, epoch_day, horizon_days.

Реестр (ledger): ни одна строка матрицы не называет этот вид; движок сам маркирует свой результат. Полная страница со входными данными, результатами, доказательствами и ограничениями: 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); ВЕЛИЧИНЫ пороговых уровней радио- и оптической линии, реализации системы отсчёта, релятивистской невязки и эфемерид — это Modelled-распределения бюджета (документированные значения по умолчанию, переопределяемые вызывающей стороной), а не измерения. Вклад работы — воспроизводимая точка пересечения τ, а не сертифицированное число по каждому члену; не сертифицировано для эксплуатационного хранения времени.

Обязательные поля: нет. Необязательные: clock, tau_min_s, tau_max_s, points_per_decade, clocks, time_lab.

Реестр (ledger): MODELLED. Полная страница со входными данными, результатами, доказательствами и ограничениями: lunar-time-budget.

kshana scenarios/lunar-time-budget.toml

lunar-ascent#

MODELLED активный подъём с южно-полярной точки поверхности на орбиту сближения и ковариация положения и скорости, которую он возвращает на орбиту (класс Artemis). Пятисостоянная инерциальная модель ошибок по осям из lunar-descent (положение, скорость, смещение акселерометра, наклон ориентации, смещение гироскопа, возбуждаемые удельной силой) выполняется по всем трём осям площадки от состояния поверхности, с которым фаза начинается; определение положения AFS по видимым ретрансляторам созвездия класса LCNS ILLUSTRATIVE (автономное или дифференциальное, с использованием остатка линии коррекции из 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.

Реестр (ledger): 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.

Реестр (ledger): 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: иллюстративный класс ИНС, набор ретрансляторов, профиль спуска и член наведения; рельефная навигация использует синтетический рельеф в земном масштабе метров; доступность 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.

Реестр (ledger): 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.

Реестр (ledger): MODELLED. Полная страница со входными данными, результатами, доказательствами и ограничениями: lunar-orbit-rendezvous.

kshana scenarios/lunar-orbit-rendezvous.toml

lunar-vlbi#

Modelled-наблюдаемая задержки геодезического лунного 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.

Реестр (ledger): MODELLED 3 · VALIDATED 3. Полная страница со входными данными, результатами, доказательствами и ограничениями: lunar-vlbi.

kshana scenarios/lunar-vlbi.toml

lunar-vlbi-fim#

Ковариация координат станций лунного VLBI: частные производные задержки наблюдаемой lunar-vlbi, накопленные по явному РАСПИСАНИЮ (базы x эпохи) в информационную матрицу Фишера, обращённую и выдаваемую как ковариация координат станций и сигма станции по каждой координате — вычисленный выход движка, а не скалярная точность задержки, пропущенная через предполагаемый изотропный коэффициент равнораспределения g = 3. Состояние несёт ЗЕМНЫЕ ФИКСИРОВАННЫЕ (ITRS) координаты станций, поэтому якобиан — это инерциальная частная производная, повёрнутая матрицей GCRS->ITRS каждой эпохи: именно вращение Земли делает эти координаты наблюдаемыми, и отчёт ИЗМЕРЯЕТ размах линии визирования в земной системе и склонение маяка, а не предполагает их. Одно наблюдение — это одна пара (база, эпоха), в которой ОБЕ станции находятся над маской возвышения, с весом 1/delay_sigma_s^2. При каждом прогоне выдаются ранг, дефект датума, число обусловленности, полный информационный спектр, ковариационная матрица, сигмы станций по каждой оси и 3-D, а также нуль-пространство свободной сети; при дефиците ранга главная сигма публикуется как 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: эфемериды центра Луны, часы станций, тропосфера и параметры ориентации Земли считаются ФИКСИРОВАННЫМИ, а наблюдения считаются независимыми, поэтому ковариация является границей Крамера–Рао для сокращённого набора параметров, а не предсказанным результатом сеанса; сигма задержки, координаты станций и расписание являются входными данными. Частная производная, которую якобиан геометрической задержки не учитывает (разностный член Шапиро), измеряется конечной разностью и выдаётся. Не геодезический продукт.

Обязательные поля: нет. Необязательные: 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.

Реестр (ledger): MODELLED 3 · VALIDATED 2. Полная страница со входными данными, результатами, доказательствами и ограничениями: lunar-vlbi-fim.

kshana scenarios/lunar-vlbi-fim.toml

lunar-joint-od-clock#

Modelled-оценщик совместного пакетного определения лунной орбиты и часов по нескольким технологиям на СИМУЛИРОВАННОЙ сети: одномоментная подгонка методом Гаусса–Ньютона, объединяющая задержки геодезического 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.

Реестр (ledger): ни одна строка матрицы не называет этот вид; движок сам маркирует свой результат. Полная страница со входными данными, результатами, доказательствами и ограничениями: lunar-joint-od-clock.

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

lunar-frame-realisation#

Modelled-реализация лунной системы отсчёта: подгонка 7-параметрического датума Гельмерта (преобразования подобия) — 3 сдвига, 3 малых угла поворота, 1 масштаб — привязывающая методом взвешенных наименьших квадратов (crate::batch_ls::gauss_newton) оценённый набор координат точек MCMF, выведенных из селенографических, к датуму, плюс простая привязка ориентации, выражающая реализованный малый поворот вокруг осей 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.

Реестр (ledger): ни одна строка матрицы не называет этот вид; движок сам маркирует свой результат. Полная страница со входными данными, результатами, доказательствами и ограничениями: 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. НИКАКОЕ преобразование не вносится и ничто не восстанавливается из заложенного ответа, поэтому сообщаемая точность датума происходит от программы наблюдений: уменьшение сигмы задержки вдвое уменьшает её ровно вдвое, а удлинение дуги улучшает её, потому что либрация, которую отчёт ИЗМЕРЯЕТ (sub_earth_direction_sweep_deg), — это то, что отделяет координату маяка вдоль линии визирования от координат в плоскости неба. Ранг, дефект датума, число обусловленности, полный спектр, ненаблюдаемые направления В СЕМИПАРАМЕТРИЧЕСКОМ БАЗИСЕ, слабейшее направление даже при полном ранге и доля каждого параметра в нём выдаются при каждом прогоне; параметр, который кампания не ограничивает, публикуется как NULL со статусом и никогда не считывается из почти вырожденной обратной матрицы. Корреляция ошибок маяков измеряется, а не предполагается: при зафиксированных станциях ни одно наблюдение не затрагивает два маяка, так что информационная матрица в точности блочно-диагональна (offblock_fraction 0), а при оцениваемых станциях маргинализированный по Шуру блок связан, с выведенной индуцированной корреляцией, и всё распространение перезапускается с её отбрасыванием, так что цена предположения о независимости — число. То же распространение при изотропной сигме по координате и ошибка восстановления, которую сообщает сценарий lunar-frame-realisation, выполняются здесь и выводятся рядом со значением кампании с их отношениями. MODELLED: каталог маяков имеет источник, но КАМПАНИЯ смоделирована — сеть станций и сигма задержки являются иллюстративными входными данными, отдельные наблюдения задержки считаются независимыми, а эфемерида центра Луны, часы станций, тропосфера и параметры ориентации Земли ФИКСИРОВАНЫ, поэтому ковариация датума — это граница Крамера — Рао для сокращённого набора параметров. Не является геодезическим продуктом.

Обязательные поля: нет. Необязательные: 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.

Реестр (ledger): MODELLED 2 · VALIDATED 3. Полная страница со входными данными, результатами, доказательствами и ограничениями: lunar-frame-campaign.

kshana scenarios/lunar-frame-campaign.toml

lunar-llr-datum#

Семипараметрический датум лунной системы отсчёта Гельмерта, определяемый РЕАЛЬНОЙ АРХИВНОЙ наблюдательной кампанией, а не симулированной. Если lunar-frame-campaign убрал введённое преобразование, но всё ещё задавал сеть станций, расписание и сигму каждого наблюдения как 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 и не геодезический продукт. Зафиксированный срез реальных данных поставляется с репозиторием, но не с опубликованным пакетом crate; укажите в 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.

Реестр (ledger): VALIDATED. Полная страница со входными данными, результатами, доказательствами и ограничениями: lunar-llr-datum.

kshana scenarios/lunar-llr-datum.toml

moonlight-service-volume#

Modelled-анализ лунного навигационного объёма обслуживания по ILLUSTRATIVE орбитальной группировке класса Moonlight/LCNS на лунной орбите из публичных источников (не связана с ESA): перебирает селенографическую сетку широты и долготы на временном горизонте и сообщает DOP, охват и доступность (≥4 спутников И PDOP < порога), а также обобщённую огибающую уровней защиты лунного ARAIM (HPL/VPL) по объёму. Геометрия DOP ПОВТОРНО ИСПОЛЬЗУЕТ ядро, VALIDATED по gnss_lib_py (crate::orbit::dop); уровень защиты ПОВТОРНО ИСПОЛЬЗУЕТ механизм лунного ARAIM LunaNet LNIS (crate::lunar, σ_URE≈30 м) и в частном случае сводится к существующему уровню защиты для южного полюса. Композиция 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.

Реестр (ledger): 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 при базе → 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.

Реестр (ledger): ни одна строка матрицы не называет этот вид; движок сам маркирует свой результат. Полная страница со входными данными, результатами, доказательствами и ограничениями: lunar-differential-pnt.

kshana scenarios/lunar-differential-pnt.toml

lunar-station-coverage#

Modelled-охват лунных опорных станций: перебор по методу Монте-Карло лунной модели дифференциального 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.

Реестр (ledger): MODELLED. Полная страница со входными данными, результатами, доказательствами и ограничениями: lunar-station-coverage.

kshana scenarios/lunar-station-coverage.toml

lunar-beacon#

Дополнение лунной орбитальной навигационной службы поверхностными маяками в виде исполняемой таблицы «до/после». Пользователь у южного полюса видит разреженный орбитальный набор в узком участке неба, поэтому геометрия дальнометрии плохо обусловлена; несколько ПОДТВЕРЖДЁННЫХ СЪЁМКОЙ ПОВЕРХНОСТНЫХ МАЯКОВ дают строки линии визирования с малым возвышением и широким азимутом, которых недостаёт набору, целиком находящемуся над головой, и горизонтальный геометрический фактор DOP резко падает. Сценарий сообщает три конфигурации на одной эпохе — только спутники, спутники плюс видимые маяки и более крупная орбитальная группировка как альтернативный путь к той же геометрии — с числом видимых источников, полным DOP и реализованной точностью 1-sigma в МЕТРАХ, получаемой умножением на эквивалентную пользовательской ошибку дальности по каждому маяку, составленную как корень из суммы квадратов членов синхронизации часов, многолучевости и съёмки. Видимость маяков — это геометрический горизонт безатмосферной Луны по двум высотам (атмосферы нет, поэтому граница точна), а сборка DOP — то же ядро, перекрёстно проверенное по gnss_lib_py в tests/dop_reference.rs. ПОЧЕМУ ЭТОТ ВИД СУЩЕСТВУЕТ: модуль за ним находился в движке и проверялся независимым путём DOP начиная с L08/L09, но не был достижим из прогона — ни вида, ни ветки диспетчеризации, ни встроенного файла. README рекламировал возможность, а матрица верификации вообще не содержала для неё строки, поэтому она одновременно заявлялась в тексте и не заявлялась в реестре, оставаясь недостижимой в движке. Значения по умолчанию — это геометрия, для которой уже есть зафиксированный эталон (пользователь на -80 deg с антенной 2 m, три маяка на -80/0, -79/+60 и -79/-60 на высоте 2 km, шестиспутниковый иллюстративный снимок LCNS при t=0, маска 5 deg), так что «голый» прогон воспроизводит таблицу, уже охваченную оракулом, а не выдумывает новые числа. 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.

Реестр (ledger): MODELLED. Полная страница со входными данными, результатами, доказательствами и ограничениями: lunar-beacon.

kshana scenarios/lunar-beacon.toml

lunar-interop-export#

Modelled-экспорт для лунной совместимости: выдаёт лунную систему отсчёта, лунную шкалу времени и лунные эфемериды в обменных формах на основе CCSDS, согласованных с LunaNet/IOAG, с проверкой круговой передачи и соответствия полей. ПОВТОРНО ИСПОЛЬЗУЕТ генератор и разборщик CCSDS OEM 2,0 пакета (crate::oem), перемаркированные для лунного контекста: REF_FRAME несёт лунную систему координат тела по 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.

Реестр (ledger): ни одна строка матрицы не называет этот вид; движок сам маркирует свой результат. Полная страница со входными данными, результатами, доказательствами и ограничениями: lunar-interop-export.

kshana scenarios/lunar-interop-export.toml

cislunar-observability#

MODELLED наблюдаемость плоской цислунной группировки (P6): отслеживает четырёхаппаратную дифференциально скорректированную группировку на плоских DRO с межспутниковыми измерениями дальности и сообщает, какая часть четырёхмерного состояния аппарата [x,y,ẋ,ẏ] становится наблюдаемой на дуге. Выдаёт (1) таблицу «ранг по длине дуги» для одной линии только по дальности — мгновенно ранг 1, растущий к полному четырёхмерному состоянию по мере удлинения дуги (P6, таблица 1); (2) собственный спектр грамиана наблюдаемости и число обусловленности по дуге; (3) сравнение мгновенного ранга «только дальность» и «дальность + скорость изменения дальности» (рычаг проектирования через эффект Доплера), а также выдачу GDOP: для «только дальность» — сингулярный, для «дальность + скорость» — определён; и (4) независимую перекрёстную проверку по SRIF, апостериорная ковариация которой становится конечной и хорошо обусловленной ровно на той дуге, где ранг наблюдаемости достигает четырёх. VALIDATED ядро: ранг наблюдаемости — это порог по сингулярным числам, выявляющий ранг, сверенный с собственным рангом грамиана; собственный спектр подчиняется спектральным инвариантам (след=Σλ, 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.

Реестр (ledger): MODELLED. Полная страница со входными данными, результатами, доказательствами и ограничениями: cislunar-observability.

kshana scenarios/cislunar-observability.toml

cislunar-arc-recovery#

MODELLED проверка независимым оценивателем порога наблюдаемости по длине дуги в цислунном пространстве. Этот порог — РАНГ матрицы наблюдаемости, собранной из АНАЛИТИЧЕСКИХ строк якобиана дальности и АНАЛИТИЧЕСКОЙ вариационной матрицы перехода состояния, а его перекрёстная проверка квадратно-корневым информационным фильтром сворачивает те же самые строки: это проверка согласованности двух численных механизмов, а не подтверждение. Этот вид даёт недостающий арбитр: пакетный оцениватель по методу наименьших квадратов, который действительно ВОССТАНАВЛИВАЕТ начальное состояние ведущего аппарата по смоделированным измерениям, причём частные производные измерений берутся как ЦЕНТРАЛЬНЫЕ КОНЕЧНЫЕ РАЗНОСТИ составной прямой модели. Он не вызывает ни одной аналитической строки якобиана, ни вариационной матрицы перехода, ни сингулярного или собственного разложения, ни допуска по рангу, ни квадратно-корневого информационного фильтра — защита по исходному тексту в tests/cislunar_arc_recovery_reference.rs делает это проверяемым, — тогда как динамика (тот же поток RK4 CR3BP), начальные условия (та же дифференциально скорректированная группировка), скалярная наблюдаемая и сетка эпох сделаны общими намеренно и названы в выдаваемом блоке independence, потому что два анализа одной физической задачи должны согласоваться в физике, чтобы быть сопоставимыми. Два критерия, каждый перебирается в пяти декадах собственной границы: БЕЗШУМОВОЕ ВОССТАНОВЛЕНИЕ (конечная ошибка состояния каждого испытания с заданным seed не более recovery_factor, умноженного на его априорное смещение, — аналог ранга, без допуска по сингулярным числам) и ОЦЕНИВАЕМОСТЬ ПО МОНТЕ-КАРЛО (измеренная СКО ошибки положения по ансамблю шума с заданным seed ниже заданной границы — аналог оцениваемости, измеренный, а не предсказанный). Поддерживаются плоское четырёхмерное и пространственное шестимерное состояния, семейства DRO / гало L2 / NRHO L2, наблюдаемые дальность и скорость изменения дальности, а также полярная параметризация с центром в Луне, при которой преобразование применяется к СОСТОЯНИЮ, а прямая модель дифференцируется заново там. MEASURED на опубликованной плоской сетке DRO: оцениватель восстанавливает четырёхмерное состояние начиная с 0,782609 ч против 2,086957 ч по критерию ранга при rel_tol 1e-6 (отношение 0,375) — порог по рангу НЕ подтверждается как граница восстановимости, — тогда как измеренная граница оцениваемости попадает в ту же ячейку сетки, что и формальная, 5,739130 ч, а измеренная кривая ошибки воспроизводит формальную 1-сигму на 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.

Реестр (ledger): MODELLED. Полная страница со входными данными, результатами, доказательствами и ограничениями: cislunar-arc-recovery.

kshana scenarios/cislunar-arc-recovery.toml

lunar-attack-surface#

Поверхность атаки на безопасность сигналов лунной поверхностной навигации (P1): объединяет открытые анализы безопасности сигналов в один достижимый из бинарного файла прогон. Сообщает (1) принимаемую мощность AFS и её ПРЕВЫШЕНИЕ над наземным опорным уровнем GPS, а также полосу чувствительности 12-18 dB как настоящий многоосевой перебор по входным данным линии (опорный уровень x EIRP x наклонная дальность) со сверкой линейных коэффициентов 25x при округлении / 28x без округления. ПЕРЕСМОТРЕНО (правило R4): здесь сообщался ДЕФИЦИТ мощности 15,6 dB и коэффициент 32x/36x, пока опорный уровень GPS не был исправлен с -125 / -128.5 (это значения в dBm) на -155 / -158.5 dBW — значения ICD-GPS-200, которые модуль подавления всегда нёс. Знак меняется на обратный: смоделированный сигнал лунной AFS на 14,4 dB СИЛЬНЕЕ наземного GPS L1 C/A, а не слабее. Сама принимаемая мощность не изменилась ни на бит, а линейный коэффициент — прежний, делённый ровно на 1000, что в точности соответствует сдвигу dBm-в-dBW на 30 dB; (2) требуемая мощность передачи нарушителя для спуфинга (J/S = 3 dB) и для отказа в обслуживании (J/S = 30 dB) на каждой дистанции, обратная задача к линии J/S; (3) орбитальная зона захвата при реальной диаграмме направленности антенны с равномерной апертурой (Эйри [2 J1(x)/x]^2), ограниченная высотой субполусферическая шапка, лимб которой НЕ захватывается; (4) вычисленный исход втягивания контура слежения при спуфинговом захвате (действительно ли спуфер с согласованным кодом при заданном превышении мощности и смещении кода тянет за собой DLL/PLL), а не заявленный порог 3 dB; (5) геометрическая дальность горизонта безатмосферного тела для поднятого поверхностного передатчика; и (6) бюджет аутентификации OSNMA/TESLA (20 bit/s накладных расходов = ~40 % навигационного сообщения AFS в 50 bit/s, задержка раскрытия ключа, подделка 2^-40). Пустое тело воспроизводит базовый уровень P1; все входные данные имеют значения по умолчанию и могут быть переопределены. Подрезультаты VALIDATED несут оракул своего исходного модуля (замкнутая радиометрия в dB; круговой обход обратной J/S; диаграмма Эйри против бесселевых функций из A&S и геометрии сферической шапки; втягивание DLL/PLL по Kaplan & Hegarty; тождество сферического касательного горизонта против 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.

Реестр (ledger): ни одна строка матрицы не называет этот вид; движок сам маркирует свой результат. Полная страница со входными данными, результатами, доказательствами и ограничениями: 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, мощность постановщика помех, коэффициенты усиления антенн и шумовая температура, а также отсутствие затенения рельефом, многолучевости, динамики АРУ и адаптивного обнуления. Не является сертифицированным продуктом для отказа в обслуживании. При настроенном постановщике помех отчёт также содержит КОНТУР ОТКАЗА С ПОЛОСОЙ НЕОПРЕДЕЛЁННОСТИ, а не контур, считанный по одному скаляру: полное измеренное распределение 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), то есть то же отображение в замкнутой форме, применённое к собственным квантилям выборки: не сигма, подогнанная к выборке, и не медиана ± k·стандартное отклонение, при этом стандартное отклонение выдаётся для преемственности и ничем не используется. Квантиль, уже находящийся на уровне порога слежения или ниже него, не имеет конечного подавляющего 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.

Реестр (ledger): MODELLED. Полная страница со входными данными, результатами, доказательствами и ограничениями: lunar-jamming.

kshana scenarios/lunar-jamming.toml

earth-gnss-lunar#

Приём сигналов Earth-GNSS на лунном расстоянии — слой слабого сигнала, который называет статья об устойчивости к конфликту и для которого у движка не было модели. Спутник GNSS направляет антенну на Землю; приёмник вблизи Луны находится примерно в пятнадцати орбитальных радиусах от него, поэтому одновременно действуют три фактора. Земля ЗАКРЫВАЕТ ГЛАВНУЮ ОСЬ: с 26 560 km она видна под половинным углом 13,9 deg, поэтому любой луч в сторону Луны должен покидать передатчик не менее чем на этот угол от надира, что убирает пик диаграммы ещё до расчёта мощности. Остаются КРАЙ ГЛАВНОГО ЛЕПЕСТКА И БОКОВЫЕ ЛЕПЕСТКИ, режим, в котором полезная нагрузка LuGRE фактически работала в 2025. А потери в свободном пространстве на L1 составляют около 208 dB, примерно на 25 dB больше, чем у наземного пользователя. Отчёт выдаёт по одной строке на спутник (угол от оси, затмение Землёй, дальность, потери на трассе, коэффициент усиления передатчика под этим углом, принятая мощность, отношение несущей к плотности шума) и агрегирует только линии, превышающие порог слежения. ОН ТАКЖЕ СООБЩАЕТ ОБУСЛОВЛЕННОСТЬ, потому что именно она определяет этот слой: все видимые спутники лежат внутри конуса шириной в пару градусов, если смотреть с Луны, поэтому линии визирования почти параллельны, геометрический фактор DOP огромен, и решение Earth-GNSS на лунном расстоянии — это наблюдение класса СИНХРОНИЗАЦИИ ВРЕМЕНИ, а не класса определения положения. MODELLED, причём причина в диаграмме передачи: усиление под углом задаётся равномерной круглой апертурой (диск Эйри), тогда как настоящая антенна GPS L1 — двенадцатиэлементная спиральная решётка с профилированным главным лепестком и неэйриевыми боковыми лепестками. Измеренные диаграммы существуют, но здесь не включены, поэтому порядки величин и упорядочение осмысленны, а дБ для отдельного спутника — нет. Намеренно ОТСУТСТВУЮТ, и каждый из этих факторов делает бюджет оптимистичным: нет ионосферных и тропосферных потерь на лучах, скользящих по лимбу, нет потерь на поляризацию, наведение и реализацию, а Земля сферическая, без рефракционного расширения. Положение Луны — ВХОДНОЕ значение (дальность и инерциальное направление), а не выборка из эфемерид, потому что проверяется линия связи и геометрия луча. Чтобы перевести эту строку в Validated, нужны измеренная диаграмма передачи и нормальные точки 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.

Реестр (ledger): 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.

Реестр (ledger): ни одна строка матрицы не называет этот вид; движок сам маркирует свой результат. Полная страница со входными данными, результатами, доказательствами и ограничениями: lunar-infrastructure.

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

без графика: пример не создаёт диаграмму