Виды сценариев

92 встроенных видов сценариев, по которым диспетчеризует kshana::api::run_toml, каждый с однострочным описанием и обязательными / необязательными полями TOML (Tom's Obvious, Minimal Language).

Этот файл сформирован из api::list_scenario_kinds() — единственного источника истины — командой cargo run --bin gen_validation_artifacts; правьте источник, а не этот файл. Каждая привязка (пакет Python, инструмент list_scenario_kinds сервера MCP (Model Context Protocol) и песочница WebAssembly (WASM)) предоставляет тот же каталог, поэтому перечисленное здесь — это в точности то, что может запустить каждая поверхность. Описания краткие и не всегда расшифровывают сокращения; каждое из них раскрыто в GLOSSARY.md.

Каждый сценарий, кроме clock, должен также задавать kind = "<name>" на верхнем уровне: документ без kind запускается как clock, поэтому kind не повторяется в обязательных полях ни одного вида ниже. Обязательная запись может называть альтернативы: | разделяет формы, из которых должна присутствовать хотя бы одна, а + соединяет поля, которые должны присутствовать вместе, так что tle|orbit+epoch читается как «tle или orbit с epoch».

#	Вид	Описание
1	`clock`	Holdover часов относительно спецификации; необязательный ансамбль Монте-Карло (runs > 1).
2	`inertial`	Инерциальное счисление пути (1-DOF) во время пропадания GNSS.
3	`orbit`	Доступность GNSS и DOP по орбитальной группировке (Walker / TLE / RINEX).
4	`ephemeris`	Эфемериды и трасса на поверхности: распространение орбиты одного спутника (TLE→SGP4 или аналитическая орбита) с выдачей его состояния TEME/GCRS (положение + скорость), положения в ITRF/ECEF, подспутниковых широты, долготы и высоты WGS-84 и азимута, угла места, дальности и скорости изменения дальности (Доплер) станции на каждом шаге. Спутник берётся из `tle` или из аналитической `orbit` с её `epoch` (`tle` имеет приоритет, если заданы обе); при наличии `tle` параметр `epoch` переопределяет собственную эпоху TLE как t = 0.
5	`integrity`	Снимковый / с разделением решений / ARAIM RAIM с HPL/VPL и диаграммой Стэнфорда.
6	`lunar-integrity`	Проверка уровня защиты ARAIM на южном полюсе Луны для репрезентативного набора ретрансляторов LunaNet. sigma_ure_m задаёт точность дальности сигнала в пространстве (уровни защиты масштабируются с ней линейно, поэтому перебор этого параметра отвечает на вопрос, какая точность дальности нужна для предела тревоги). По умолчанию — исторический случай южного полюса класса LNIS.
7	`lunar-time-offset`	Modelled-релятивистский ход часов Земля–Луна (лунное координатное время, LTC/TCL): вековой ход LTC−TT, получаемый из разности собственных потенциалов и кинетического члена Луны, с опубликованной полосой 56–59 мкс/сут, плюс накопленное смещение на горизонте.
8	`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.
9	`lunar-joint-od-clock`	Modelled-оценщик совместного пакетного определения лунной орбиты и часов по нескольким технологиям на СИМУЛИРОВАННОЙ сети: одномоментная подгонка методом Гаусса–Ньютона, объединяющая задержки геодезического VLBI на земных базах, локальные лунные дальности «станция ↔ спутник» и межспутниковые дальности, чтобы совместно восстановить по введённой истине положение (3-D) лунной поверхностной станции, положения небольшой орбитальной группировки и смещение часов каждого объекта. Главный честный результат — VLBI делает полное положение станции (3-D) наблюдаемым там, где одна лунная локальная дальнометрия оставляет слабо наблюдаемое направление, — приводится как сравнение ошибки станции с VLBI и без него. MODELLED, симулированное восстановление в замкнутом контуре (истина использует ту же модель наблюдений), детерминированное (с заданным начальным значением), НЕ проверено на реальных данных; без распространения по модели сил внутри решателя; никакого TRL, лётного наследия или одобрения агентств.
10	`lunar-frame-realisation`	Modelled-реализация лунной системы отсчёта: подгонка 7-параметрического датума Гельмерта (преобразования подобия) — 3 сдвига, 3 малых угла поворота, 1 масштаб — привязывающая методом взвешенных наименьших квадратов (crate::batch_ls::gauss_newton) оценённый набор координат точек MCMF, выведенных из селенографических, к датуму, плюс простая привязка ориентации, выражающая реализованный малый поворот вокруг осей ICRF относительно ориентации тела по IAU 2015 WGCCRE. Сценарий вводит известное малое преобразование (сдвиг порядка десятков м, поворот порядка мкрад, масштаб порядка 1e-7) в хорошо распределённую синтетическую сеть точек, добавляет гауссов шум с заданным начальным значением, восстанавливает датум и сообщает восстановленное преобразование, ошибку восстановления по каждому параметру относительно введённой истины и остаточную СКО после подгонки. MODELLED, самосогласованность — восстанавливает введённое преобразование подобия (без шума с точностью до машинной), НЕ является реализацией по реальным данным слежения или VLBI; детерминирован (с заданным начальным значением); никакого TRL, лётного наследия или одобрения агентств.
11	`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, лётного наследия или одобрения агентств.
12	`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).
13	`lunar-station-coverage`	Modelled-охват лунных опорных станций: перебор по методу Монте-Карло лунной модели дифференциального PNT по южно-полярной сетке пользователей и суткам эпох. Дифференциальная опорная станция в известной южно-полярной точке исправляет заданную орбитальную группировку (иллюстративную кеплерову или по табличным эфемеридам) с заданной ошибкой сигнала в пространстве, ошибкой привязки, задержкой поправок и квантованием линии; по каждой точке и по региону сообщаются процентили исправленной и неисправленной ошибки положения (3-D, горизонтальной, вертикальной), доступность, охват относительно заданного порога, уровни защиты DO-229E, радиус охвата по каждому азимуту и бюджет линии поправок на станции и в худшей точке. Не является утверждением о характеристиках какой-либо реальной системы; не связано с каким-либо агентством и не одобрено им. MODELLED.
14	`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, лётного наследия или одобрения агентств.
15	`timetransfer`	Оптическая и радиочастотная двусторонняя передача времени и частоты.
16	`quantum-anomaly-detect`	MODELLED, обнаружение неисправностей и аномалий для квантовых систем PNT: размеченный каталог неисправностей (скачок частоты, дрейф и потеря захвата часов; скачок смещения и пропадание датчика), ROC AUC статистики обнаружения (с доверительным интервалом по бутстрэпу из внешне проверенного eval_stats) и минимально обнаружимая неисправность при фиксированной частоте ложных тревог, причём монитор с квантовыми часами (меньший шум) обнаруживает меньшие неисправности — как честное TradeEvidence и репрезентативность. Гауссова модель статистики обнаружения (AUC = Phi(mu/(sigma*sqrt2))); моделирует класс, иллюстративные параметры из публичных источников, без TRL, лётных испытаний и сертификации.
17	`quantum-gnss-free-nav`	MODELLED, квантовая навигация без GNSS: во время перерыва в работе GNSS бюджет квантовой (на холодных атомах, интерферометрической) инерциальной системы в сравнении с классической инерциальной навигационной системой навигационного класса — рост ошибки положения на выбеге, holdover до порога по положению и сравнение квантового и классического как честное TradeEvidence с репрезентативностью. Честное замечание о наблюдаемости: без внешнего определения смещение акселерометра ненаблюдаемо, поэтому ошибка растёт; квантовый датчик замедляет этот разрыв, но не закрывает его. Иллюстративные параметры устройств из публичных источников; моделирует класс, без TRL, лётных испытаний и сертификации.
18	`quantum-time-transfer`	MODELLED: цепочка доверенной квантовой синхронизации: сквозной бюджет передачи времени квантовой системы (часы на оптической решётке + линия запутанных / одиночных фотонов) в сравнении с классической (CSAC + двусторонняя радиосвязь), повторно используемый уровень защиты синхронизации времени + показатель качества безопасности при атаке задержкой или повтором (1-P_md), вероятность обнаружения аномалии часов + задержка CUSUM и компромисс «квантовая система против классической» как честный TradeEvidence с записью о репрезентативности и разрывах до лётной готовности. Иллюстративные параметры устройств и линий из открытых источников; моделируется класс устройств, без заявлений об уровне TRL, лётной готовности или сертификации.
19	`hybrid`	Гибридный итоговый PNT: часы + IMU + поддержка передачей времени.
20	`fusion`	Совместное комплексирование PNT фильтром Калмана по тем же гибридным входным данным.
21	`hybrid-ukf`	17-state гибридный квантово-классический тесно связанный UKF GNSS/INS (MODELLED): 15 состояний ошибок INS + поправка смещения акселерометра на основе CAI + 2-state (фаза + частота) модель часов из движка q-параметров часов, управляемая ограниченной моделью ошибок CAI. Показатель качества — самосогласованность фильтра (NEES + белизна инноваций относительно границ χ²): это утверждение о самосогласованности, а НЕ гарантия точности в реальных условиях. Только моделирование; без TRL>3, без лётного опыта, без внешней валидации.
22	`gnss-ins`	EKF по вектору ошибок для слабо и тесно связанной системы GNSS/INS.
23	`gnss-sim`	Имитация псевдодальностей в области измерений (Klobuchar, ионосфера; Saastamoinen/Niell, тропосфера) + RAIM.
24	`jamming`	Подавление по бюджету линии: J/S → эффективное C/N₀ → потеря захвата.
25	`spoof`	Стохастический детектор спуфинга времени (Неймана–Пирсона / χ²₁) с P_fa/P_md по методу Монте-Карло.
26	`spoof-detect`	Комбинированный детектор спуфинга по РЧ и измерениям (согласованность RAIM по нескольким SV + AGC + SQM, с объединением) против параметризованной атаки (преимущество по мощности, выравнивание фазы несущей, сдвиг времени/положения; в стиле TEXBAT).
27	`sweep`	Одномерный (1-D) перебор для исследования компромисса по параметру пакета часов.
28	`sweep-nd`	Обобщённый N-мерный перебор по любому пакету через ключи TOML с точками / пути метрик JSON.
29	`gravity-map`	Навигация по гравитационной карте без GPS: гравиметр на холодных атомах восстанавливает постоянный дрейф INS по последовательности гравитационных аномалий, через которые проходит траектория.
30	`terrain-nav`	Навигация по рельефу местности без GPS (TERCOM/SITAN): радиолокационный или барометрический высотомер сопоставляет профиль высот земной поверхности с ЦМР типа SRTM, чтобы восстановить дрейф ИНС.
31	`terrain-slam`	Последовательная (рекурсивная) навигация по рельефу местности без GPS: фильтр частиц выполняет модель измерения сопоставления с рельефом эпоха за эпохой (SITAN как работающий фильтр), так что изменяющийся во времени дрейф ИНС отслеживается вдоль трека, тогда как пакетный terrain-nav восстанавливает лишь одно постоянное смещение.
32	`combined-altpnt`	Комбинированный навигатор по гравитации, магнитному полю и рельефу при отсутствии GPS: три скалярных канала поля объединяются в каждой путевой точке, чтобы получить более точную (с меньшей границей Крамера — Рао) поправку на дрейф, чем по любому одному полю.
33	`pvt`	Одноточечное определение положения по реальным наблюдениям: определение положения приёмника по файлу наблюдений RINEX 3 и файлу широковещательной навигации (кодовые псевдодальности, широковещательные эфемериды, ионосфера по Клобучару, тропосфера по Саастамойнену/Нилу), при необходимости с проверкой по съёмочной координате.
34	`mars-pnt`	PNT на Марсе в дальнем космосе: симулированная ретрансляционная орбитальная группировка MARCONI (ареостационарные и наклонные ретрансляторы, ведущие одностороннее вещание и ретранслирующие двусторонний обмен со станцией дальнего космоса) осуществляет навигацию опорного пользователя (transfer \| lmo \| surface) через совместный оценщик слияния односторонних и двусторонних радиометрических данных. Сообщает геометрию и видимость по эпохам, достигнутое СКО относительно истины и формальную ковариацию (положение 1σ / 3σ) — честный симулированный показатель качества, а НЕ сертифицированный уровень защиты.
35	`impairment-eval`	Испытательный стенд оценки машинного обнаружения RF-нарушений (13494): генерирует размеченный, обоснованный параметрами СИНТЕТИЧЕСКИЙ корпус (nominal/jamming/spoof-time/spoof-position/multipath), оценивает детектор (energy\|agc\|sqm\|parity\|fused) универсальной по отношению к детектору обвязкой и сообщает AUC/ROC/матрицу ошибок + Pd по классам при целевом Pfa, а также разрыв оптимизма между данными внутри и вне распределения. Только рабочие характеристики MODELLED — никогда не полевые данные/IQ, без вердикта «хорошо/плохо».
36	`quantum-trade`	Компромисс «квантовая система против классической» для PNT (13503): выигрыш в holdover времени и инерциальном holdover от часов-кандидата (измеренная кривая ADEV — опора обоснованности — или класс квантовых часов) по сравнению с классическим базовым классом, с оговоркой о допущении по уровню шума на больших tau, которая сопровождает артефакт, а также огибающая устойчивости в зависимости от времени в условиях отсутствия GNSS. MODELLED; количественно оценивает (но никогда не подтверждает) устройство партнёра. Часы-кандидат задаются измеренной кривой (`candidate_adev_taus` + `candidate_adev_values`, одинаковой длины, не менее 2 точек; при указании обеих форм приоритет у неё) или полем `candidate_clock_class`.
37	`space-weather`	Модель космической погоды: индексы солнечной (F10.7/F10.7a) и геомагнитной (Kp, с определяющей таблицей Kp↔ap) активности, управляемая ими экзосферная температура по Jacchia-1971 (независимо проверена по опубликованным значениям для минимума, среднего уровня и максимума солнечной активности) и термосферная плотность нейтралов по Jacchia-1971 при среднесуточной экзосферной температуре в сравнении со статическим профилем без учёта активности на ряде высот — зависимость плотности от солнечного цикла, которую статическая атмосфера опускает. MODELLED: плотность согласуется с плотностями, полученными по акселерометрам (TOLEOS CHAMP и GRACE), в пределах множителя 2 в максимуме солнечной активности, но примерно в 1.7x завышена в солнечном минимуме 2008 года.
38	`oem-interop`	Мост совместимости CCSDS OEM: импорт Orbit Ephemeris Message, созданного внешним инструментом динамики полёта (OEM выдают GMAT, Orekit и STK), и сообщение о его сегментах, объектах, системах отсчёта и охваченном интервале эпох плюс проверка согласованности скоростей; без входных данных он выполняет круговую передачу сгенерированной эталонной орбиты и сообщает точность соответствия импорта и экспорта. Структурная и физическая проверка приёма данных уровня MODELLED, а НЕ проверка точности орбиты источника.
39	`launch-window`	Геометрия запуска и выведения в двухтельной постановке: азимут(ы) запуска (sin Az = cos i / cos lat), минимальное достижимое наклонение, круговая скорость, восточная прибавка от вращения Земли, изменение скорости Δv на доворот плоскости (dogleg), когда наклонение цели меньше широты площадки, и число ежесуточных возможностей запуска. Геометрия сферической Земли уровня MODELLED (без поправки на скоростной треугольник вращающейся Земли, без модели потерь на выведение/сопротивление).
40	`reentry`	Коридор баллистического входа в атмосферу по Аллену–Эггерсу: пиковое замедление (не зависящее от баллистического коэффициента, V_e^2 sin\|γ\|/(2eH)), скорость и высота при пиковой перегрузке и скорость пикового нагрева для заданных скорости входа, угла траектории и баллистического коэффициента в экспоненциальной атмосфере, а также планарное интегрирование материальной точки для того же баллистического входа с учётом гравитации, кривизны Земли и стандартной атмосферы США 1976 (пиковое замедление, скорость, высота и время в момент пика). MODELLED баллистический вход (без подъёмной силы); выходная величина нагрева — это СКОРОСТЬ пикового нагрева, а не тепловой поток (без аэротермической модели и модели ТЗП).
41	`eo-coverage`	Геометрия охвата и полосы захвата полезной нагрузки наблюдения Земли (космический треугольник SMAD): угловой радиус Земли, ширина полосы захвата, расстояние между выборками на местности в надире, максимальный доступ вне надира, период круговой орбиты, узловой период с учётом J2 и расстояние между экваториальными трассами с признаком сплошного покрытия — для заданных высоты орбиты, наклонения (по умолчанию солнечно-синхронное) и поля зрения датчика FOV/IFOV. MODELLED геометрия сферической Земли (без радиометрии, MTF, атмосферы, дрожания и бликов); расстояние между узлами R_e·(ω − Ω̇)·T_nodal с вековыми скоростями J2 первого порядка.
42	`space-packet`	Кадрирование по протоколу пакетов космической связи CCSDS 133.0-B: кодирование синтетического потока пакетов TM/TC (первичный заголовок из 6 октетов + поле данных) и вывод декодирования заголовка каждого пакета, общего числа октетов и точного кругового преобразования кодирование↔декодирование. Детерминированное кадрирование с точной разметкой битов — уровень совместимости форматов пакетов между агентствами; это НЕ сертификация соответствия (логики вторичного заголовка, CRC и сегментации сверх флагов нет).
43	`attitude-budget`	Бюджет ошибки ориентации и наведения с 3 степенями свободы: наихудший гравитационно-градиентный возмущающий момент ((3/2)(μ/R³)ΔI) и бюджет ошибки наведения как корень из суммы квадратов по названным вкладам 1σ (шум датчика, дрожание маховика, тепловые эффекты, юстировка) с доминирующим членом, для высоты орбиты и разброса моментов инерции тела. MODELLED скалярный бюджет AOCS — дозаводской комплемент к Basilisk/42, а не симуляция контура управления / 6 степеней свободы / гибких мод.
44	`passes`	Предсказание пролётов над наземной станцией: пролёты видимости во временной области (AOS/TCA/LOS, максимальное видимое возвышение, длительность) круговой орбиты, заданной средними элементами SGP4 на начало окна, над станцией выше маски возвышения в пределах окна, с общим временем доступа. Распространение SGP4/SDP4 в связанной с Землёй системе IAU 2006/2000A (необязательно UT1 − UTC и движение полюса), тропосферная рефракция ITU-R P.834-9 и время распространения света нисходящей линии (оба включены по умолчанию), пересечения решаются до 1e-7 с, а кульминация — поиском золотого сечения. Геометрия пролёта VALIDATED по Orekit 13.1.8 на станциях на уровне моря; орбита и станция сценария — иллюстративные входные данные.
45	`link-budget`	Односторонний бюджет линии по уравнению линии CCSDS 401 / DSN 810-005: потери в свободном пространстве, C/N₀, Eb/N₀, запас и замыкание линии для передающей EIRP, приёмной G/T, дальности, скорости передачи данных и диапазона (s\|x\|ka) относительно требуемого Eb/N₀. Детерминированный инженерный расчёт по заданным входным данным (не паспорт откалиброванного терминала).
46	`lunar-time-budget`	MODELLED, сквозной бюджет ошибки времени по Координированному лунному времени (LTC): семь членов ошибки LTC, собранные как кривые ошибки времени x_i(τ) по всей сетке времён усреднения, суммируются по правилу квадратного корня в x_Σ(τ), и ТОЧКА ПЕРЕСЕЧЕНИЯ τ «часы против системы отсчёта», в которой растущий член часов обгоняет постоянный член реализации системы отсчёта в реальном времени (ниже неё бюджет ограничен системой отсчёта, выше — часами) — честный ответ на артефакт одного значения τ. Наклоны по τ заданы в замкнутой форме и аналитически проверяемы (часы τ^{+1/2}/τ^{+1}, пороговые уровни τ^0, измерение τ^{-1/2}), а строки часов воспроизводят опубликованные суточные спецификации часов (crate::clock_specs); ВЕЛИЧИНЫ пороговых уровней радио- и оптической линии, реализации системы отсчёта, релятивистской невязки и эфемерид — это Modelled-распределения бюджета (документированные значения по умолчанию, переопределяемые вызывающей стороной), а не измерения. Вклад работы — воспроизводимая точка пересечения τ, а не сертифицированное число по каждому члену; не сертифицировано для эксплуатационного хранения времени.
47	`lunar-ascent`	MODELLED активный подъём с южно-полярной точки поверхности на орбиту сближения и ковариация положения и скорости, которую он возвращает на орбиту (класс Artemis). Пятисостоянная инерциальная модель ошибок по осям из lunar-descent (положение, скорость, смещение акселерометра, наклон ориентации, смещение гироскопа, возбуждаемые удельной силой) выполняется по всем трём осям площадки от состояния поверхности, с которым фаза начинается; определение положения AFS по видимым ретрансляторам созвездия класса LCNS ILLUSTRATIVE (автономное или дифференциальное, с использованием остатка линии коррекции из lunar-differential-pnt, с поддержкой часов, когда видимы только три ретранслятора) берётся через заданный интервал, при этом лунное время поступает через часы аппарата, а ошибка временной метки — вдоль траектории. Сообщает инерциальные источники в замкнутом виде, вклад средства, абляцию, навигационные 1-сигмы на подъёме, разброс при отсечке двигателя рядом с навигационным знанием и полную ковариацию 6x6 MCI при выводе с сохранённой корреляцией положения и скорости. MODELLED: класс IMU, удельная сила, набор ретрансляторов и разброс при отсечке иллюстративны; ошибки заданы в осях места запуска; номинальное состояние выхода — заместитель. Не одобрено агентством; программное обеспечение консультативного характера, не навигационное оборудование с утверждённым типом.
48	`lunar-surface`	MODELLED доступность позиционирования и времени на поверхности по площадкам и сезонам для южнополярных площадок класса Artemis. Для каждой площадки и сезона (эпоха и окно после неё) сообщает позиционирование по ретрансляторам (четыре и более ретранслятора ILLUSTRATIVE орбитальной группировки класса LCNS в зоне видимости и PDOP ниже порога; по тем же функциям, что и в moonlight-service-volume, а при наличии раздела о рельефе — с трассированным по лучам горизонтом рельефа из lunar-station-coverage), находятся ли Земля и Солнце над горизонтом площадки (аналитические Солнце, Луна и ориентация Луны с учётом либрации, которая и меняется с сезоном) и доступность времени (ретранслятор или Земля в зоне видимости) с самым длинным промежутком, когда нет ни того, ни другого, — это holdover, который должны пережить часы на поверхности. Результат для одной площадки совпадает с результатом moonlight-service-volume с точностью до бита. MODELLED: иллюстративный кеплеровский набор ретрансляторов на Луне со средним вращением; показатель по ретрансляторам не меняется с сезоном; рельеф — фрагмент LOLA 1200 m. Не одобрено агентством; программное обеспечение консультативного характера, не сертифицированное навигационное оборудование.
49	`lunar-descent`	MODELLED бюджет разброса посадки при управляемом спуске на южнополярную площадку (класс Artemis). По каждой горизонтальной оси пятисостоянийная модель инерциальной ошибки (положение, скорость, смещение акселерометра, наклон ориентации, смещение гироскопа) приводится в действие удельной силой спуска; последовательный фильтр принимает фиксации положения от включённых средств: фиксацию AFS по видимым ретрансляторам ILLUSTRATIVE орбитальной группировки класса LCNS (автономную или дифференциальную, с использованием остатка линии поправок из lunar-differential-pnt, причём часы поддерживаются, когда видны только три ретранслятора) и рельефную фиксацию (сопоставитель TERCOM/SITAN крейта на синтетическом рельефе либо граница Крамера — Рао для сопоставления окна высот реальной южнополярной цифровой модели рельефа LOLA). Лунное время входит через часы аппарата в моменты фиксаций (смещение LTC-TT из lunar-time-offset или неопределённость его опубликованного диапазона) и как ошибка временной метки вдоль трека. Сообщает эллипс посадки 3-сигма, R95, инерциальные источники в замкнутой форме, вклад каждого средства, абляцию каждой комбинации средств, калибровку эллипса методом Монте-Карло и передаваемую дальше ковариацию. MODELLED: иллюстративный класс ИНС, набор ретрансляторов, профиль спуска и член наведения; рельефная навигация использует синтетический рельеф в земном масштабе метров; доступность AFS — одна эпоха при плоской маске. Не одобрено агентством; программное обеспечение консультативного характера, не сертифицированное навигационное оборудование.
50	`lunar-orbit-rendezvous`	MODELLED относительная навигация при стыковке в стиле «Orion — посадочный модуль» на низкой лунной орбите или эллиптической полярной орбите (класс Artemis). Преследователь и цель летят по одной орбите в лунной модели сил крейта; совместная 21-параметрическая пакетная оценка Гаусса — Ньютона по дуге (два вектора состояния аппаратов и устойчивые смещения сигнала в пространстве) объединяет абсолютную фиксацию положения каждого аппарата по ILLUSTRATIVE набору ретрансляторов класса LCNS (ретрансляторы за Луной отбрасываются, нужны четыре, синфазная ошибка сигнала в пространстве взаимно сокращается между аппаратами) и дальность по межспутниковой линии, причём точность дальнометрии берётся из границы слежения за кодом для пилот-сигнала LunaNet AFS. Сообщает формальную и монте-карловскую ошибку относительного положения и скорости в осях LVLH цели, доступность фиксаций, среднюю нормированную квадратичную ошибку оценивания в сравнении с ожидаемым значением, любое испытание, итерация которого не сошлась, дрейф при игнорировании гармоник гравитации и полную ковариацию 6x6, передаваемую дальше. Для круговой орбиты применима проверка в замкнутой форме по Хиллу и Клохесси — Уилтширу. MODELLED: иллюстративный набор ретрансляторов, бюджет ошибок и априорные значения; истинное движение и оценщик используют одну модель сил, поэтому NEES проверяет внутреннюю согласованность, а не ошибку модели. Не одобрено агентством; программное обеспечение консультативного характера, не сертифицированное навигационное оборудование.
51	`hybrid-optical-rf`	MODELLED гетерогенный совместный показатель качества оптического и радиочастотного PNT (P5): объединяет двусторонний бюджет оптической линии связи на 1550 нм (фотонно-ограниченная нижняя граница Крамера–Рао CRLB для двусторонней дальнометрии σ_τ/√N и дифракционный след λ/D·дальность), уровень защиты RAIM с разделением решений между модальностями (по положению И по времени), объединяющий слабосвязанное радиочастотное и тесносвязанное оптическое решения с различными ковариациями, оптическую доступность ясного неба для N станций (независимое объединение 1−Π(1−a_i) и вариант с пространственной корреляцией), передачу состояния и ковариации между оптикой и РЧ с ДОКАЗАННЫМ побитно непрерывным (без скачка) средним и проверкой согласованности NEES χ², а также совместную оценку P(доступно И прецизионный класс И целостность обеспечена) с учётом корреляций. VALIDATED замкнутая форма: нижняя граница CRLB дальнометрии, дифракционный след, квантиль уровня защиты χ², комбинаторика объединения, непрерывность среднего при передаче + проверка NEES и совместное независимое произведение. MODELLED: распределение оптических потерь, величины σ для РЧ и оптики, входные данные климатологии облачности, корреляции и бюджет P_HMI. Не является сертифицированным продуктом по доступности и целостности.
52	`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) и конкретная последовательность рангов, которую он даёт. Не является сертифицированным продуктом для оценки навигационных характеристик.
53	`conflict-resilience`	MODELLED устойчивость многоуровневых PNT к конфликту (P7): пользователь в оспариваемой среде располагает несколькими уровнями PNT (GNSS открытого сервиса, широкополосный GNSS, орбитальная группировка с аутентификацией, ретранслятор системы дополнения), у каждого из которых есть базовая доступность, точность 1σ и уязвимость к отказу по каждому вектору относительно общей угрозы подавления и спуфинга. СЛУЧАЙНЫЙ с начальным значением (seed) метод Монте-Карло с перебором интенсивности лишает каждый уровень сигнала с вероятностью clamp(vulnerability·intensity·vector_weight,0 1), объединяет уцелевшие по замкнутому правилу обратных дисперсий σ_fused=(Σ 1/σ_i²)^(−1/2) и сообщает вероятность полной потери (все уровни лишены сигнала), медианную объединённую ошибку и статистику пригодности и отказов по уровням в зависимости от интенсивности. Основной показатель устойчивости (отношение вероятности полной потери при одном уровне и при нескольких) достигает ~7x при допущении НЕЗАВИСИМОСТИ; затем однофакторный перебор коррелированных отказов по гауссовой копуле показывает, как это ~7x падает к 1 с ростом корреляции отказов (корреляция сводит на нет пользу многоуровневости). Блок чувствительности к априорным значениям варьирует основной показатель по ИМЕЮЩИМ ИСТОЧНИК априорным значениям уязвимости с помощью торнадо-диаграммы mcda + перераспределения усилий угрозы по Дирихле + процентильных доверительных интервалов. Ядро VALIDATED: полная потеря в Монте-Карло сходится к замкнутому произведению независимых вероятностей Π_i p_deny_i (в пределах стандартной ошибки МК при фиксированном seed и большом N); объединение по обратным дисперсиям — замкнутое тождество; при ρ=0 копула сводится к независимой модели, и каждое ρ сохраняет маргинальную долю отказов каждого уровня. MODELLED: величины уязвимости, доступности и точности по уровням — это имеющие источник, но Modelled входные данные (JammerTest 2024, TEXBAT, EASA SIB, RTCA DO-229, LunaNet/IOAG — см. conflict_threat_params), а конкретная величина ~7x и форма кривой «отношение — корреляция» следуют из этой параметризации. Затем разбивка выживаемости по векторам в § 4,2 раскладывает общую радиочастотную угрозу на четыре именованных вектора (подавление, спуфинг, кинетическое воздействие, кибервоздействие) и сообщает для каждого вектора кривую плавной деградации пригодного PNT S_v(x)=1-Prod_i(1-a_i(1-clamp(susceptibility_i,v·x,0 1))) — VALIDATED: посчитанная методом Монте-Карло с seed выживаемость по уровням сходится к этой замкнутой форме; подавление — самый острый вектор для коррелированного радиочастотного базового случая, а не зависящий от радиочастот инерциальный уровень — решающий уцелевший. Это не сертифицированный продукт по доступности навигации.
54	`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: репрезентативные величины геометрии и мощности и конкретные значения ячеек карты захвата. Не является сертифицированным продуктом безопасности.
55	`realtime-frame-eop`	Бюджет предсказания лунной системы отсчёта и ориентации Земли в реальном времени: таблица 1 P4 (проверка согласованности ошибки системы отсчёта — постобработка ~0,27 m ↔ ~0,010 ms и реальное время ~15 m ↔ ~0,5 ms, причём каждое положение в системе отсчёта выражено через эквивалентную ошибку UT1 по плечу рычага L19 Δr = D_EM·ω⊕·ΔUT1) и таблица 2 (измеренная ошибка предсказания UT1 в зависимости от горизонта — кривая L18, считанная прямо с реального ряда IERS finals2000A: окончательный предел Bulletin A − Bulletin B и ошибка многодневного предсказателя персистентности, каждая из которых отображена в положение в лунной системе отсчёта через L19), а также среднеквадратичный бюджет ошибки системы отсчёта L21 в реальном времени (EOP + эфемериды + предел реализации). VALIDATED замкнутая форма (плечо рычага L19, ω⊕ перекрёстно проверена по углу вращения Земли CIO) и VALIDATED реальные данные (кривая L18 по реальным строкам finals2000A); MODELLED — величины ковариации OD лунного ретранслятора и предел реализации системы отсчёта (репрезентативные выделения) и предсказатель персистентности (не операционный алгоритм Bulletin A от IERS). Это не сертифицированный продукт системы отсчёта реального времени.
56	`aperture-duty-cycle`	Коэффициент занятости апертур: разделение времени между навигацией и связью, которое подразумевает план контактов для пула управляемых апертур. Принимает план контактов (список окон `[[contacts]]` aos_s/los_s, каждое из которых запрашивает навигацию или связь — тот же словарь aos_s/los_s, который выдаёт предиктор `passes`), число апертур и ПОЛИТИКУ АРБИТРАЖА (по умолчанию приоритет навигации, либо приоритет связи, либо невытесняющее обслуживание в порядке поступления) и сообщает занятость навигацией, занятость связью, долю простоя и простой по сеансам — время контакта, которое сеанс запросил и которое ни одна апертура не обслужила. Точный интервальный проход по границам окон, поэтому соприкасающиеся окна никогда не конкурируют и ни одна секунда апертуры не учитывается дважды; секунды апертур для навигации, связи и простоя накапливаются независимо и сходятся с apertures*horizon_s. Отчёт указывает применённую политику, её полное определение и определения занятости и простоя, потому что значение занятости, приведённое без политики арбитража, невоспроизводимо. MODELLED арифметика планирования: время на перенаведение / перестройку / смену не учитывается, когда апертура меняет службу или сеанс, в решении не участвуют ни объём данных, ни состояние буфера, ни энергобюджет, ни замыкание линии, а окна контактов — входные данные, и их геометрия такова, какой её получил источник. Это не продукт для планирования наземного сегмента.
57	`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 с учтённой причиной, а не усечённому радиусу.
58	`ins-trn-coast`	Модель ошибок выбега INS/TRN: ошибка позиции в зависимости от длительности выбега, построенная по коэффициентам IMU, а не перебором предполагаемой скорости дрейфа. Пять составляющих роста — смещение акселерометра, наклон от смещения гироскопа через силу тяжести, случайное блуждание скорости, случайное блуждание угла и масштабный коэффициент относительно пройденного расстояния — каждая распространяется через девятисостоянийную инерциальную модель ошибок в местной горизонтной системе с обратной связью Шулера на заданных широте и высоте (рядом приводятся законы главного порядка для короткого выбега t², t³, t^1,5, t^2,5 и t¹/t²) и объединяются по ЗАДАННОМУ правилу (по умолчанию корень из суммы квадратов, либо линейная сумма, либо детерминированная сумма со стохастическим rss; все три вычисляются при каждом прогоне, чтобы выбор был виден, а не скрыт). Длительности выбега, при которых достигаются заданные вызывающей стороной пороги позиции (по умолчанию 10 m и 50 m), находятся уже имеющимся в движке методом бисекции, каждая с разбивкой по составляющим, называющей доминирующий источник, а пересечение каждой отдельной составляющей дополнительно обращается алгебраически, чтобы обе оценки совпадали. Режим навигации по рельефу местности (TRN) ограничивает выбег периодическими фиксациями позиции и сообщает наибольший интервал между фиксациями, при котором выдерживается каждый порог; фиксация только по позиции оставляет ошибку скорости и наклон после фиксации живыми, поэтому она не всегда ограничивает выбег при любой частоте фиксаций, и отчёт говорит об этом, а не возвращает ноль. MODELLED: коэффициенты класса IMU — репрезентативные значения диапазона, а не паспортные данные, а остаток фиксации по рельефу является входными данными. Недостигнутый порог сообщается как null со статусом, а никогда не как ноль. Это не сертифицированный продукт оценки характеристик инерциальной навигации.
59	`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: эфемериды центра Луны, часы станций, тропосфера и параметры ориентации Земли считаются ФИКСИРОВАННЫМИ, а наблюдения считаются независимыми, поэтому ковариация является границей Крамера–Рао для сокращённого набора параметров, а не предсказанным результатом сеанса; сигма задержки, координаты станций и расписание являются входными данными. Частная производная, которую якобиан геометрической задержки не учитывает (разностный член Шапиро), измеряется конечной разностью и выдаётся. Не геодезический продукт.
60	`tracking-loop`	Срыв слежения в петле слежения: C/N0 -> захват/потеря захвата С ГИСТЕРЕЗИСОМ, время до потери захвата и втягивание спуфера как функция СКОРОСТИ смещения кода и несущей. Существующие в движке критерии подавления и захвата — это отношения по принимаемой мощности (глушитель подавляет при J/S = 30 dB, спуфер захватывает при 3 dB); реальный срыв слежения — это не отношение мощностей, а то место, где джиттер петли плюс динамическое напряжение выходят за бюджет её порога слежения. Выводятся: (1) 1-сигма тепловой джиттер несущей (Костас) и кода (некогерентный «раньше/позже») в зависимости от C/N0, с учётом потерь на возведение в квадрат, относительно заданных правил 3sigma_PLL + theta_e <= 45 deg (правило 15 градусов в форме трёх сигм) и 3sigma_DLL + запаздывание по скорости изменения <= d/2 чипа; (2) пороги C/N0 срыва и повторного захвата с названной определяющей петлёй, причём порог повторного захвата ВЫВЕДЕН из более широкой полосы, в которой приёмник повторно втягивается, а не задан произвольно, так что ширина гистерезиса должна лежать между 5log10(ratio) и 10log10(ratio) dB; (3) объявленное время до потери захвата от двухпорогового детектора захвата с подтверждающими выдержками при проходе по рампе C/N0, выводимое отдельно от физического времени ухода фазы (среднее время Витерби между проскальзываниями циклов, в log10 s, поскольку оно охватывает сотни порядков); (4) пределы втягивания спуфера — наибольшая скорость смещения кода и доплеровская скорость несущей, за которыми могут следовать петли жертвы, с картой по обеим осям, потому что спуфер, смещающий быстрее этих пределов, не захватывает петлю, а опережает её; и (5) РАДИУС ПОДАВЛЕНИЯ, следующий из динамики петли, выводимый РЯДОМ с существующим радиусом по отношению мощностей, а не вместо него, с их знаковой разностью в отдельном именованном поле (denial_radius_delta_km) и определением рядом. Каждое выводимое числовое поле несёт единицу и класс происхождения. VALIDATED замкнутые формы: выражения джиттера несущей и кода, редукция фильтра петли sqrt(2B_nT) и запаздывание по скорости изменения первого порядка перекрёстно проверены по собственному коррелятору sdr движка, пошагово запущенному на засеянной синтетической ПЧ, — другим путём к тем же числам — до 0,6 %, 3,7 % и 0,17 % соответственно, а модифицированная функция Бесселя I0, лежащая в основе времени проскальзывания цикла, — по стандартным табличным значениям до 1e-7. Нижний предел применимости утверждён, а не только заявлен: ниже ~32 dB-Hz при 1 ms реальный дискриминатор atan насыщается относительно своего диапазона +-pi/2 и измеряет меньший джиттер, чем любая линейная теория. MODELLED: полосы петель, время интегрирования, разнос коррелятора, отношение полос втягивания, подтверждающие выдержки, мощность глушителя и усиления антенн — это репрезентативные значения диапазона, а не техпаспорт. НЕ моделируются: джиттер генератора (девиация Аллана) и вибрации, ограничение полосы входного тракта, многолучевость, динамика AGC, потери на переходах битов данных, внешнее сопровождение и любая поправка на полцикла к формуле проскальзывания циклов Костаса. При динамике петли у захвата спуфера радиуса нет вовсе — определяющее ограничение — скорость смещения, а не мощность, — поэтому это поле равно null с указанием причины, а не выдуманным числом. Это не сертифицированный продукт для оценки характеристик приёмника.
61	`araim-reference-check`	Опубликованные опорные векторы для ARAIM: уровни защиты ARAIM по горизонтали и вертикали движка прогоняются по СОБСТВЕННЫМ разобранным числовым примерам Технической подгруппы ARAIM рабочей группы WG-C с допуском (TOL_PL = 5e-2 м), который указывают сами эти документы. Два вектора зафиксированы как фикстуры, и у каждого есть URL получения, дата получения, SHA-256 исходного файла и страница: Reference Airborne Algorithm Description Document v3.1 (2019), приложение D — внутренне согласованный и приёмочный вектор — и Milestone 3 Report (2016), приложение A, раздел A.IX, утверждение, на которое ссылаются исследовательские библиографии. Каждый опубликованный входной параметр (матрица геометрии из 10 спутников в 2 орбитальных группировках, диагонали дисперсий C_int и C_acc, b_nom, P_sat, P_const и набор констант LPV-200) и каждый опубликованный выходной (VPL, HPL, EMT, sigma_v_acc, K_fa_3 и sigma_3, sigma_ss_3 и b_3 двух режимов отказа орбитальной группировки) приводится рядом с собственным числом движка и их абсолютной разностью. Уравнение уровня защиты здесь НЕ решается заново: список режимов эталона передаётся существующим raim::araim_protection_level / araim_integrity_risk движка, так что проверяемые бисекция и алгебра гауссова хвоста принадлежат самому движку; для него строятся только геометрия, подрешения, пороги обнаружения и опубликованное разбиение бюджета. ВНЕШНЯЯ ПРОВЕРКА по вектору 2019: VPL 18,2926 м против опубликованных 18,3 м, HPL 13,4063 м против 13,45 м, EMT 7,2997 м против 7,2998 м, sigma_v_acc 1,3694 м против 1,3694 м, и все шесть опубликованных промежуточных величин с точностью до половины единицы в последнем напечатанном десятичном знаке. Вектор 2016 содержит два внутренних дефекта, которые отчёт называет, а не скрывает, — опечатку в знаке в строке 3 матрицы G и K_fa_3, вычисленное для 57 режимов отказа, тогда как документ указывает N_fault_max = 1 (12 режимов), — поэтому его промежуточные величины геометрии воспроизводятся точно, а его уровни защиты приводятся как измеренные расхождения и исключаются из приёмочного показателя; допуск никогда не расширяется, чтобы их поглотить. Каждое выдаваемое числовое поле несёт единицу и класс происхождения, а переписанная из источника величина помечается `published`, чтобы её нельзя было принять за вычисленную. ОБЛАСТЬ: реализован только N_fault_max = 1 (режимы отказа одного спутника и одной орбитальной группировки), а случай, чьи априорные вероятности требуют одновременных многособытийных подмножеств отказов, REFUSED, а не молча усекается; обнаружение и исключение отказов, проверка согласованности по хи-квадрат и шаг перераспределения двойного учёта эталонного алгоритма выходят за область применения. Это воспроизводит разобранный пример опубликованного эталонного алгоритма — это не сертификация, не документ лётной годности и не одобрение.
62	`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: каталог маяков имеет источник, но КАМПАНИЯ смоделирована — сеть станций и сигма задержки являются иллюстративными входными данными, отдельные наблюдения задержки считаются независимыми, а эфемерида центра Луны, часы станций, тропосфера и параметры ориентации Земли ФИКСИРОВАНЫ, поэтому ковариация датума — это граница Крамера — Рао для сокращённого набора параметров. Не является геодезическим продуктом.
63	`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 копию этого среза.
64	`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. Не является обязательством по характеристикам службы.
65	`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; ни того, ни другого нет в репозитории, и здесь они не выдуманы.
66	`lunar-infrastructure`	MODELLED-исследования орбиты и поверхности Луны как навигационной и геодезической инфраструктуры: пять исследований в одном виде, выбираемых полем `study`: od-consistency (бортовое определение орбиты по Earth-GNSS на NRHO или ELFO в сравнении с независимым наземным радиометрическим определением орбиты, оценка по их собственным ковариациям на Монте-Карло с заданным начальным значением), carrier-phase (совместная двойная разность фазы несущей «поверхность — орбитальный аппарат» и разрешение целочисленных неоднозначностей методом LAMBDA), frame-coestimation (поверхностная станция и орбитальные аппараты, добавленные к дальнометрии земных станций для семипараметрического датума лунной системы отсчёта), space-tie (GNSS, VLBI и лазерная локация на одном космическом аппарате, точность привязки систем отсчёта в сравнении с ошибкой локальной привязки) и geodesy-sensitivity (информация Фишера о числах Лява Луны h2, k2, l2 и физической либрации по лазерной локации, слежению за орбитальными аппаратами, поверхностному гравиметру и поверхностным часам). Ограниченная модель трёх тел с заявленными упрощениями; численные методы проверены независимыми программами, и ничто не сравнивается с измерением лунной величины.
67	`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: проект группировки, сетка эпох, единственная отслеживаемая линия, величина смещения, сигма измерения и две заданные границы. Не является сертифицированным продуктом для оценки навигационных характеристик.
68	`telecom-timing`	Синхронизация времени в телекоммуникациях: ошибка времени, максимальная ошибка временного интервала (MTIE) и девиация времени (TDEV) при holdover GNSS, проверенные по маскам ITU-T с результатом PASS или FAIL и запасом для каждой маски. Входные данные — либо СИНТЕТИЧЕСКИЙ HOLDOVER (предустановка генератора — ocxo, рубидий, цезий или csac, у каждой — цифры стабильности, старения и температуры из названного открытого техпаспорта Microchip — плюс время потери GNSS, длина записи и интервал дискретизации; свободно идущие часы несут белый, фликкерный и, где этого требует подгонка по техпаспорту, шум случайного блуждания частоты, линейное старение и синусоидальный температурный член), либо ЗАГРУЖЕННЫЙ РЯД пар [time_s, time_error_ns], заданных встроенно (и, только в нативных сборках, файл CSV). Маски: ITU-T G.8272 (07/2025) PRTC-A и PRTC-B (max\|TE\| 100 / 40 ns, MTIE таблицы 1–2, TDEV таблицы 3–4); G.8272.1 (2024) Amd. 1 (07/2025) ePRTC в режиме синхронизации (30 ns, таблицы 1–2) и holdover ePRTC-A (огибающая ошибки времени из таблицы 3, нарастающая с 30 ns до 100 ns за период holdover H, задаваемый длительностью периода в режиме синхронизации, MTIE таблица 4, TDEV таблица 5); G.8273.2 (2023) Amd. 2 (11/2025) классы A–C T-BC/T-TSC (max\|TE\|, постоянная ошибка времени, MTIE и TDEV после фильтра нижних частот) и класс D (max\|TE_L\| 5 ns — единственная цифра класса D, не оставленная для дальнейшего изучения); G.8271.1 (2022) Amd. 3 (05/2025) опорная точка C (max\|TE_L\| 1100 / 600 / 100 ns с MTIE таблицы 7-1–7-3). Каждая запись, которую Рекомендация отмечает как предмет дальнейшего изучения, отсутствует, а не заполнена, и каждый отчёт перечисляет то, что не реализовано. Также выводятся время до превышения каждого бюджета максимальной ошибки времени (по умолчанию: 100 ns для max\|TE_HO\| ePRTC, 400 ns для распределения holdover в сети, 1100 ns для точки C, 1,5 us для класса 4), кривые MTIE/TDEV в виде таблицы CSV с пределом каждой маски и запись об единицах и происхождении для каждого числового поля. VALIDATED: оценки MTIE и TDEV по пакету allantools на закоммиченном ряду holdover. MODELLED: таблицы масок являются перепиской, а синтетический holdover — модель, построенная по максимумам из техпаспортов, а не измерение какого-либо экземпляра. Это не испытание на соответствие.
69	`slot-timing`	Слотовая синхронизация: время в секундах до выхода свободно идущих часов за защитный интервал слота маршрутизации или постановки задач, привязанного ко времени (наибольшая абсолютная ошибка времени, которую допускает слот), вклад каждого члена в этот момент с указанием доминирующего (неопределённость привязки, белый фазовый шум, белый, фликкерный шумы частоты, шумы случайного блуждания и случайного хода частоты, остаточное смещение частоты, температура, старение), оставшееся время с последней привязки и наибольший интервал между привязками, при котором часы остаются в пределах слота, за вычетом задержки привязки. Генератор задаётся ДЕФОЛТНЫМ КЛАССОМ (csac, uso, dsac, tcxo, ocxo или rafs: одна цитируемая односекундная девиация Аллана и допущенный красный шумовой пол), ПРЕДУСТАНОВКОЙ ПО ТЕХПАСПОРТУ для телекоммуникационной синхронизации или встроенным ТЕХПАСПОРТОМ (максимумы девиации Аллана, подогнанные как огибающая, плюс старение и температурный коэффициент), либо встроенной MEASURED ЗАПИСЬЮ ФАЗЫ (её перекрывающаяся девиация Аллана подогнана взвешенным методом наименьших квадратов в базисе белой фазы и частотной модуляции по IEEE Std 1139, так что красный шумовой пол измерен, а не допущен). Выход за пределы наибольшего времени усреднения, которое поддерживает техпаспорт или запись, помечается как экстраполяция. Необязательный раздел о спуфинге добавляет уровень защиты синхронизации времени для приёмника на орбите: орбитальную скорость и период, как долго один наземный спуфер может воздействовать на спутник за пролёт, нижний предел монитора с использованием часов и задержку обнаружения CUSUM, условную границу, смещение, которое накапливает спуфер при заданной максимальной скорости нарастания, пока спутник не выйдет из зоны его действия или не будет выполнена независимая проверка, и независима ли каждая проверка по наземному контакту или по межспутниковой связи от этого спуфера. VALIDATED: инверсия holdover по подогнанной записи, отложенная (holdout) на реальных цезиевых часах, измеренных относительно водородного мазера (tests/slot_timing_cs5071a_holdout.rs, зависит от наличия данных); на измеренном кварцевом генераторе отложенное предсказание консервативно, но не укладывается в порог, поэтому случай кварца относится к MODELLED. MODELLED: источники по классу и техпаспорту, детерминированные члены и оценка спуфинга.
70	`spectrum`	Модель спектра L-диапазона и водопадная диаграмма: весь L-диапазон GNSS как одна спектральная плотность мощности (PSD), частота по горизонтали, время по вертикали, при заданной сценарием временной шкале помех-глушителей. СИГНАЛЫ: GPS L1 C/A и L2C (BPSK(1)), открытый сервис Galileo E1 (MBOC(6,1,1/11) или BOC(1 1)), GPS L5 и Galileo E5a (BPSK(10)), каждый на своей несущей с минимальной принимаемой мощностью по спецификации интерфейса (IS-GPS-200, IS-GPS-705, Galileo OS SIS ICD), если не задано иное; GLONASS, BeiDou и Galileo E6 не моделируются. ГЛУШИТЕЛИ: тон непрерывной волны, плоский узкополосный шум, линейный пилообразный чирп и широкополосный шум, согласованный с собственной модуляцией диапазона, у каждого — центр, полоса, принимаемая мощность (напрямую либо через EIRP и дальность по потерям в свободном пространстве вида подавления) и моменты включения и выключения. Каждый глушитель оценивается относительно каждого диапазона по коэффициенту спектрального разделения kappa в полосе приёмника, и (C/N0)_eff = [1/(C/N0) + sum (J/S) kappa]^-1; для одного глушителя это равно уравнению защиты от помех вида подавления при Q = 1/(R_c kappa), и отчёт содержит эту перекрёстную проверку (и рядом репрезентативное значение Q вида подавления). Уровень шума равен k T_sys при T_sys = T_ant + 290 K (F - 1). Водопад усредняет каждую ячейку по её интервалу частоты и по её строке (чирпы точно, целые развёртки плюс неполная; глушители, переключающиеся в середине строки, — по скважности), так что временная шкала C/N0 и картинка получаются из одних и тех же чисел; result.json содержит сетку, усреднённую блоками по мощности, C/N0 и J/S для каждого диапазона на строку, а для каждого глушителя и диапазона — SSC, Q, J/S, J/S в полосе и установившееся C/N0. Необязательный [iq]: модель, отрисованная как комплексный IQ в один момент, записанная в запись SigMF (cf32_le или ci16_le), считанная обратно и сопоставленная с оценкой Уэлча. Необязательный [recording] (нативные сборки): PSD Уэлча реальной записи SigMF рядом с моделью. VALIDATED: PSD сигналов по учебниковым ширинам главного лепестка (BPSK(n) 2n x 1,023 MHz от нуля до нуля; лепестки BOC(1 1) с центрами на +/-1.023 MHz) и коэффициенты спектрального разделения по их замкнутым формам на основе равенства Парсеваля и по Q = 1 (CW) и 1,5 (согласованный) из Kaplan & Hegarty. MODELLED: мощности глушителей, временная шкала, полосы входных трактов, трактовка непрерывного спектра (без кодовых линий) и отсутствие АРУ, бланкирования и диаграммы направленности антенны.
71	`solar-system`	Вся Солнечная система на одну эпоху, для PNT (позиционирование, навигация и время) вокруг любого тела. Для Солнца, восьми планет, Плутона, Луны, Фобоса, Деймоса, Ио, Европы, Ганимеда, Каллисто и Титана выводятся гелиоцентрическое положение и скорость в ICRF (Международная небесная система отсчёта, экваториальная J2000), гелиоцентрическое расстояние и эклиптические долгота и широта J2000, гравитационный параметр, экваториальный и средний радиус, J2 там, где он опубликован, и его опорный радиус, сидерический период вращения, полюс по IAU и начальный меридиан на эпоху, трек орбиты, дискретизированный на одном обороте (гелиоцентрический для планет, относительно родительского тела для спутников), а также время распространения света, односторонняя и двусторонняя дальность, солнечная задержка Шапиро и угловое расстояние от Солнца относительно тела-наблюдателя (по умолчанию Земля); дополнительные связи from/to обрабатываются так же. Положения: кеплеровы элементы JPL по Standish и Williams (таблица 1 для 1800 г. н. э. – 2050 г. н. э., таблицы 2a/2b для 3000 г. до н. э. – 3000 г. н. э.) с номинальной ошибкой каждой планеты, лунный ряд Montenbruck & Gill для разделения Земли и Луны, средние элементы JPL с синхронной скоростью вращения по IAU для марсианских и галилеевых спутников и модель вращения IAU для Титана. Время распространения света: радиометрическое решение методом неподвижной точки, передатчик в запаздывающем положении; ньютоновское, с задержкой Шапиро, приводимой отдельно. VALIDATED по JPL Horizons (DE441) в пределах удвоенной номинальной ошибки: от Меркурия до Сатурна и Земля по таблице 1 (наихудший случай 1,87 номинальной) и все восемь планет по таблицам 2a/2b (наихудший случай 1,71 номинальной), а также время распространения света от Земли до Марса и Юпитера. MODELLED, каждая строка помечена: Уран и Нептун по таблице 1 (2,0 и 5,2 номинальной ошибки относительно DE441), Плутон (строка 1992; ошибка не указана), Луна и семь спутников (измерено относительно Horizons, опубликованной границы нет).
72	`body-pnt`	Позиционирование вокруг любого тела Солнечной системы: орбитальный аппарат или посадочный модуль на поверхности вокруг центрального тела, выбираемого по названию (Марс, Луна, Европа, Ганимед, Титан и остальной каталог тел Солнечной системы), с навигацией по односторонним псевдодальностям от небольшой навигационной группировки Уокера вокруг тела (двухтельные орбиты с вековым дрейфом J2 самого тела, неизвестные часы пользователя) и, по выбору, по не зависящей от часов двусторонней дальности в дальнем космосе от Земли, направление и расстояние до которой на каждую эпоху берутся из аналитических эфемерид Солнечной системы. Линии визирования перекрываются средней сферой тела, а пользователю на поверхности нужна ещё и маска возвышения. На каждую эпоху: ретрансляторы в зоне видимости, находится ли Земля над лимбом, GDOP и PDOP только по группировке (геометрический фактор и фактор положения), формальная неопределённость положения (одна сигма) с учётом строки Земли и без неё, а также ошибка решения методом наименьших квадратов Гаусса–Ньютона с заданным начальным значением в каждом из двух вариантов; за прогон: доступность, видимость Земли, медианный PDOP, СКО ошибки и медианная формальная сигма, а также время распространения света от Земли до тела, двойной пробег, задержка Шапиро и угловое расстояние до Солнца на эпоху. MODELLED: орбиты ретрансляторов, уровни шума и мгновенная модель измерений — это выбор моделирования, а не результат проверки по навигационным данным какой-либо миссии; константы тел — опубликованные значения, процитированные в body.rs, а геометрия Земли наследует метки эфемерид Солнечной системы.
73	`constellation-design`	Проектирование орбитальных группировок в большом масштабе: схемы Walker DELTA и Walker STAR в нотации i: T/P/F (узлы распределены по 360 или 180 deg, расстояние в плоскости 360P/T, сдвиг фаз между плоскостями 360F/T), явные списки элементов и многооболочечные проекты, несколько орбитальных группировок в одном прогоне, вокруг Земли, Луны, Марса или любой другой планеты, Плутона или крупного спутника с использованием констант из модуля body (тех же, что используют виды solar-system и body-pnt). ПРЕСЕТЫ по опубликованным номинальным элементам: gps-baseline и gps-expandable (24 слота и шесть расширяемых пар «впереди/позади» из GPS Standard Positioning Service Performance Standard, 5-е издание 2020, таблицы 3.2-1–3.2-3), galileo (Walker 24/3/1 на 29 599,801 km и 56 deg, Galileo Open Service Service Definition Document, выпуск 1,1, таблицы 1 и 23), beidou и beidou-meo (Walker 24/3/1 на 21 528 km и 55 deg плюс три геостационарных спутника на 80, 110,5 и 140 deg E и три наклонных геосинхронных спутника на 55 deg, BeiDou Open Service Performance Standard 3,0, раздел 4,1; фаза MEO и пересечение наклонной геосинхронной орбиты на 118 deg E смоделированы, потому что стандарт их не задаёт) и glonass (24/3/1 на 19 100 km и 64,8 deg по формуле слотов из GLONASS Interface Control Document, издание 5,1, раздел 5,2). ПОКРЫТИЕ И ГЕОМЕТРИЧЕСКИЙ ФАКТОР DOP: по сетке широт и долгот и выборочному окну с маской по углу места — число видимых спутников, GDOP, PDOP, HDOP и VDOP в каждой ячейке, доступность (решение с PDOP не выше порога, по умолчанию 6) в каждой ячейке, глобально (с весом по площади) и на худшей площадке, с одними часами приёмника на каждую орбитальную группировку, если не задано clock = "common". Метод масштабируется до тысяч спутников: видимость вычисляется как скалярное произведение с половинным углом покрытия каждого спутника, а спутники в каждую эпоху разбиваются на полосы по широте подспутниковой точки, так что строка сетки проверяет лишь те, что могут быть в зоне видимости; отчёт подсчитывает сэкономленные проверки пар. JSON содержит карты сетки и прореженные трассы спутников на поверхности. VALIDATED: генератор Walker по таблице 23 из Galileo OS SDD и формуле слотов из GLONASS ICD, пресет GPS по опубликованному столбцу экваториальных пересечений из таблицы 3.2-1 SPS PS, а глобальное распределение HDOP для базового GPS по приложению B SPS PS (медиана 0,94, 95% 1,25, среднее 0,96, допуск 0,03). MODELLED: двухтельные орбиты с необязательным вековым J2, сферическое тело, только геометрическая видимость (без мощности сигнала, исправности и рельефа) и относительная фаза между разными системами, которая не является снимком какой-либо реальной даты.
74	`campaign`	Кампания: существующие виды сценариев, составленные в один прогон, где каждое число считывается из реального прогона названного вида. Четыре раздела в любом сочетании. PHASES: цепочечная миссия на одной общей временной шкале — каждая фаза запускает один или несколько сценариев (например, подавление, затем спуфинг, затем часы в режиме holdover с инерциальной навигационной системой, идущей рядом на выбеге, затем тревога по целостности, затем восстановление); их выходные данные считываются в именованные каналы (ошибка времени часов относительно их предела, отношение несущей к плотности шума относительно порога слежения, уровень защиты относительно предела тревоги, ошибка положения, отслеживаемые спутники, флаги тревоги) по заготовке для вида или по явно заданным путям результата и передискретизируются на общую сетку удержанием нулевого порядка, с границами фаз и событиями; состояние передаётся дальше через carry (канал продолжается со значения в конце предыдущей фазы), handoff (число предыдущей фазы записывается в сценарий этой фазы) и end_at (фаза заканчивается в момент, вычисленный прогоном, например во время обнаружения монитором спуфинга). SWEEP: сетка по одному–трём ключам сценария любого вида в точечной записи (целочисленный сегмент индексирует массив таблиц, как в system.2.sisre_m), с метриками, считываемыми по пути результата, и, при числе прогонов больше одного, ансамблем Монте-Карло с заданным seed в каждом узле. MONTE_CARLO: реализация k запускается с base_seed + k; для каждой метрики сообщаются среднее, стандартное отклонение, 5-й/50-й/95-й процентили по ближайшему рангу и бутстреп-доверительный интервал 95% для среднего с фиксированным seed. COMPOSE: несколько сценариев с общими значениями (мощность и положение одного источника подавления записываются в морской и дорожный приёмники) со сводным лучшим/худшим итогом. Результат содержит хеш кампании, сводный хеш по результатам всех участников и запись единиц для каждого выданного числа; экспорты для интероперабельности записывают каждый сценарий-участник, у которого есть геометрия, в виде отдельного набора файлов. Тождества композиции проверяются: однофазная кампания воспроизводит автономный прогон бит в бит, ансамбль с фиксированным seed побайтно стабилен, а для часов с белым частотным шумом среднее по ансамблю попадает в заявленный интервал, причём разброс соответствует sqrt(q_wf * tau). MODELLED: аддитивный перенос carry и удержание нулевого порядка — это выбор моделирования, и каждая фаза несёт метку вида, который её выполнил.
75	`leo-signal`	Проекты сигналов LEO-PNT: параметризованные сигналы позиционирования, навигации и времени (PNT) на низких околоземных орбитах (LEO) для любой системы, диапазона и структуры. СИГНАЛ — это диапазон (центральная частота, ширина полосы передачи, распределение ITU RNSS/RDSS/MSS/EESS/non-RNSS/other) и компоненты (захват, данные, пилот; любое подмножество), у каждой из которых есть модуляция (BPSK(n) с дробным n, BOC(m,n), MBOC(6 1,p) или плоская OFDM-подобная полоса), доля мощности, необязательные смещения поднесущих FDMA, длина кода и скорость данных. Сигналы берутся из встроенных общедоступных файлов пресетов (xona-pulsar, iridium-stl, starlink-soo, centispace, generic-c-band, generic-bands; каждый с URL источника, а каждое неопубликованное значение помечено как «REPRESENTATIVE») или записываются во встроенном виде. ПО КАЖДОМУ СИГНАЛУ: ограниченная полосой спектральная плотность мощности и доля мощности каждой компоненты, которую пропускает полоса передачи (замкнутая форма BPSK рядом с численным значением), среднеквадратичная (Gabor) ширина полосы, тепловой шумовой джиттер кодового слежения контура слежения за задержкой в зависимости от C/N0 и разноса раннего и позднего по ограниченной полосой когерентной (или некогерентной) формуле раннего-позднего Betz & Kolodziejski 2009 с её учебниковой формой для неограниченной полосы и её границей Gabor при исчезающем разносе, точность определения дальности в метрах, пространство поиска при захвате (бины Доплера из максимального Доплера орбиты плюс члены генератора и пользователя, умноженные на кодовые бины), вероятность обнаружения квадратичным детектором и среднее время захвата последовательного и кодово-параллельного, коэффициент спектрального разделения сигнала с GPS L1 C/A, Galileo E1, GPS L5, Galileo E5a, E5b и E5 AltBOC и каждого из них с сигналом при деградации C/N0, а также CW, широкополосный и согласованный J/S, который выдерживает отслеживаемая компонента, по собственному аппарату SSC вида spectrum. СРАВНЕНИЕ ДИАПАЗОНОВ: ионосферная задержка первого порядка (40,3 TEC/f^2), потери в свободном пространстве, точность определения дальности при равном C/N0 и при равной EIRP и устойчивость к помехе-подавителю. Необязательные ПРОВЕРКИ ФОРМЫ сопоставляют спектр проекта с описанным измерением (согласованность MODELLED). VALIDATED: замкнутые формы мощности BPSK в полосе (90,3 % в главном лепестке) и ширины полосы Gabor, ограниченный полосой джиттер, сводящийся к учебниковой когерентной форме раннего-позднего и к своей границе Gabor, коэффициент спектрального разделения BPSK со смещением относительно его замкнутой формы по Парсевалю, единичная площадь спектра AltBOC и максимальный Доплер LEO относительно опубликованных значений Xona Pulsar (32-34 kHz) и Iridium (36 kHz). MODELLED: каждый проект, распределение мощности, уровни C/N0 и подавителя; спектры EFQPSK, CSK и OFDM приближены.
76	`leo-pass`	Пролёт LEO и бюджет линии по диапазонам для LEO-PNT (позиционирование, навигация и время с низкой околоземной орбиты), независимо от системы: пользователь (наземный, морской, воздушный или в помещении, неподвижный или движущийся) и один или несколько спутников LEO из DESIGNED PASS (расчётного пролёта: круговая орбита, расположенная так, что пользователь видит один пролёт с выбранным максимальным возвышением в выбранное время, солнечно-синхронная по запросу), явных ЭЛЕМЕНТОВ, TLE (двухстрочный набор элементов) через SGP4 движка или орбитальной группировки WALKER, построенной кодом проектирования группировок (сообщаются самые высокие пролёты). Диапазоны берутся из именованного пресета (универсальный многодиапазонный UHF/L/S/C, универсальный C-диапазон, Xona Pulsar X1/X5, Iridium STL, Starlink как сигнал возможности только по Доплеру, CentiSpace и необязательный пресет Celeste IOD с пометкой «WORKSHOP») или записываются в сценарий; каждый пресет указывает, являются ли его числа PUBLIC (с URL), REPRESENTATIVE или WORKSHOP. По каждому спутнику, диапазону и эпохе: возвышение, азимут, дальность, скорость изменения дальности и ускорение дальности; потери в свободном пространстве; EIRP и усиление диаграммы спутника (изопоток, гауссов луч или плоская); усиление антенны пользователя по возвышению (патч, полусферическая или изотропная); газовое затухание (ITU-R P.676-10 Annex 2), затухание в дожде (коэффициенты ITU-R P.838-3 и процедура P.618-14 по интенсивности и высоте дождя), тропосферная сцинтилляция (ITU-R P.618-14 section 2.4.1), потери проникновения в здание для пользователя в помещении (ITU-R P.2109-2), поляризационное рассогласование, шумовая температура системы и C/N0 (отношение несущей к плотности шума); Доплер и скорость изменения Доплера в замкнутой форме по скорости изменения дальности и ускорению дальности, каждые проверены центральными разностями; ионосферная задержка первого порядка 40,3 STEC/f^2 из наклонного TEC по Klobuchar или вертикальному TEC, приведённого к части ионосферы ниже спутника. Парам диапазонов даются безионосферные коэффициенты, усиление шума и шум кода на пике пролёта. Спутники MEO GNSS (пресеты Galileo или GPS) оцениваются той же моделью антенны и шума по принимаемым мощностям из интерфейсных документов, поэтому колоколообразный пролёт LEO и плоские несущие GNSS делят один график. Необязательный раздел [iot] даёт время до первого определения, энергию на определение и срок службы батареи в зависимости от скважности для заданного энергобюджета приёмника (MODELLED). Каждая пара диапазонов также даёт наклонный TEC, который восстанавливает её геометрически-независимая комбинация на пике, и сигму шума кода этой оценки (зондирование ионосферы). Необязательный раздел [spoofer] подделывает сигналы заявленной позиции, которая после начала скачком смещается или сдвигается от истинной, и запускает два монитора с заданными вероятностями ложной тревоги и пропуска обнаружения: согласованность Доплера и геометрии пролёта (измеренные скорости изменения дальности относительно предсказанных по орбитам и независимой априорной позиции и скорости, обобщённый критерий хи-квадрат по методу наименьших квадратов по окну, по каналам GNSS, LEO и всем каналам) и междиапазонная согласованность (шаг от эпохи к эпохе геометрически-независимой комбинации каждой пары диапазонов LEO, скорректированной по модели), сообщающие статистики по эпохам и момент обнаружения каждым монитором (MODELLED). Компоненты VALIDATED: потери в свободном пространстве, коэффициенты P.838-3 по его Table 5, процедуры дождя и сцинтилляции P.618-14 и потери проникновения в здание P.2109 по проверочным примерам ITU-R Study Group 3, отношение групповых задержек L1/L2 по IS-GPS-200 и максимальный Доплер неподвижного пользователя на круговой орбите по arXiv 2509,19551 Table 1. MODELLED: EIRP, диаграммы, доля Чепмена TEC ниже спутника и весь пролёт в целом.
77	`leo-navmsg`	Навигационное сообщение LEO: передаваемые эфемериды и поправка часов спутника позиционирования, навигации и времени на низкой околоземной орбите (LEO) для любой орбиты, несущей и модели, с необязательными именованными пресетами (Xona Pulsar, Iridium, Starlink, CentiSpace, репрезентативная система C-диапазона, модель ATOMIC с нулевыми часами, Celeste IOD). СОДЕРЖИМОЕ: вспомогательные данные (SVID, выпуск данных, диапазон, признак исправности сигнала), синхронизация (неделя, время недели, полином часов второго порядка af0-af2 относительно toc), эфемериды в одной из четырёх моделей -- 16-параметрический кеплеровский набор из Galileo OS SIS ICD; этот набор плюс полиномы поправок вдоль трека, поперёк трека и радиальных; 22-параметрическая модель Liu et al. 2025; полином в ECEF без членов часов (ATOMIC с нулевыми часами) -- и прочие службы (вещательный набор Klobuchar, NeQuick-G ai0-ai2 с эффективным уровнем ионизации и параметры перехода от системного времени к UTC с логикой високосной секунды по ICD). ПОДГОНКА: истинная орбита, проинтегрированная с зональной гравитацией J2-J6 или EGM2008 до выбранной степени и с сопротивлением, и заданные начальным значением (seed) свободные или управляемые часы; подгонка кеплеровского набора методом Левенберга — Марквардта по неособенным элементам, затем линейные поправочные полиномы по методу наименьших квадратов; часы подгоняются за вычетом релятивистского члена, который добавляет пользователь. АНАЛИЗЫ: fit-interval-trade (ошибка дальности в сигнале в пространстве, SISRE, с глобально усреднёнными весами для высоты орбиты, в зависимости от интервала подгонки и периода обновления, только по орбите и с часами), model-comparison (четыре модели, число параметров, кодированные биты и подгонка Kshana на высотах Liu et al. рядом с опубликованными значениями), midpass-update (самый высокий пролёт над пользователем, скачок позиции, часов и дальности пользователя при каждой смене сообщения, скачок при наихудшей геометрии, PASS/FAIL относительно порога непрерывности), encode-decode (собственный документированный двоичный кадр Kshana с CRC-24Q, бюджет квантования с полушагом по каждому полю, проверка повреждённого кадра, экспорт и импорт записи в стиле RINEX-4, помеченный как расширение Kshana, и таблица CSV). VALIDATED: веса SISRE по опубликованной таблице MEO/GEO (Montenbruck et al. 2018); пользовательский алгоритм Galileo по RTKLIB на реальных вещательных эфемеридах Galileo; CRC-24Q по контрольному значению каталога и примеру кадра RTCM 1005. MODELLED: каждое значение подгонки и SISRE — это ошибка представления относительно истины, проинтегрированной Kshana (без ошибки определения или прогноза орбиты); сравнение с Liu et al. использует другие орбиты; форматы кодирования и текстовые форматы — собственные для Kshana.
78	`leo-pvt`	Объединённое позиционирование, навигация и время (PNT) на средних околоземных орбитах (MEO) и низких околоземных орбитах (LEO) для ЛЮБЫХ орбитальных группировок: каждая [[system]] — это пресет GNSS вида constellation-design, пресет LEO (xona-pulsar, iridium-stl, starlink-sop, centispace, generic-c-band, модель эфемерид atomic-zero-clock или другой файл пресета, каждый в собственном файле, с источниками, помеченными как «PUBLIC», «WORKSHOP» или «ПРОИЗВОДНЫЙ»), оболочки Walker или явные наборы элементов, с несущей, скоростью чипов, огибающей отношения несущей к плотности шума (C/N0) от маски возвышения до зенита, ошибкой дальности в сигнале в пространстве (SISRE), сигмой Доплера и моделью часов (собственные часы приёмника, поэтому межсистемное смещение оценивается, либо известное вещательное смещение). Четыре режима. DOPPLER: пакетное позиционирование по методу Гаусса — Ньютона по скорости изменения дальности с аналитическими частными производными, состояниями дрейфа часов и необязательной скорости и необязательным ограничением по высоте, по одному или нескольким спутникам, ошибка в зависимости от длины окна, огибающая Доплера, скорости изменения Доплера и рывка для каждой системы LEO, а также точность вдоль и поперёк трека для одного пролёта в зависимости от смещения поперёк трека (ошибка поперёк трека неограниченно растёт, когда пролёт проходит над головой; у одного пролёта есть также зеркальное решение по другую сторону трассы). Здесь выполняется сигнал возможности только по Доплеру (starlink-sop). JOINT: поэпохные фиксации по псевдодальности методом взвешенных наименьших квадратов только по GNSS, только по LEO и по обоим, сигмы по каждому измерению из модели теплового шума контура слежения за задержкой при C/N0 плюс SISRE (или фиксированная сигма, чтобы её могла подавать модель сигнала), оцененные межсистемные смещения и PDOP/HDOP/VDOP в зависимости от числа добавленных спутников LEO. POLAR: спутники в видимости и DOP в зависимости от широты для GNSS, LEO и обоих. TIMING: передача времени на Всемирное координированное время (UTC) со спутников LEO в известной позиции двухсостоянийным фильтром часов, шум процесса которого берётся из классов генераторов движка, в зависимости от C/N0 и генератора, а также выражение перехода от системного времени к UTC по IS-GPS-200; при [timing] trace = true каждая строка сообщает также свою ошибку времени и прогнозную сигму на каждой эпохе. VALIDATED: наибольший Доплер пролёта от зенита до горизонта относительно опубликованных значений Iridium (до 36 kHz) и Xona Pulsar X1 (от 32 до 34 kHz). MODELLED: всё остальное; DOP проверен на случае, выведенном вручную, фиксации — по их ковариации, а модель Доплера — по тождеству ускорения дальности.
79	`leo-ppp`	Сходимость прецизионного абсолютного позиционирования (PPP) только по GNSS и с дополнением LEO: нефиксированный (float) расширенный фильтр Калмана по безионосферным коду и фазе несущей со статическими координатами станции, белыми часами приёмника, одним межсистемным смещением на каждую дополнительную систему, случайно блуждающей зенитной влажной задержкой, проецируемой через 1/sin(elevation), и нефиксированной неоднозначностью на дугу каждого спутника; прецизионная ошибка орбиты и часов белая и общая для кода и фазы спутника, поэтому каждый спутник — это одно коррелированное двухстрочное обновление в стабилизированной форме Джозефа. Измерения моделируются по той же модели с шумом, заданным начальным значением (seed), на нескольких площадках и начальных значениях, и каждый случай (сначала только GNSS, затем каждый [[case]] систем LEO, любая орбитальная группировка или пресет) сообщает медианное время сходимости (первая эпоха, после которой горизонтальная и вертикальная ошибки остаются ниже порогов, по умолчанию 10 cm), долю сошедшихся, медианные кривые ошибок и согласованность фильтра (усреднённый по прогонам NEES позиции относительно двусторонней 95%-ной полосы хи-квадрат). Дополнительно рядом приводятся опубликованные значения Li et al. (2019, J. Geod. 93:749, doi 10.1007/s00190-018-1195-2) для средних широт: 9,6 min для мульти-GNSS сокращаются до 7,0, 3,2, 2,1 и 1,3 min при 60, 96, 192 и 288 спутниках LEO. MODELLED: сравнение согласованности тренда, а не воспроизведение орбитальных группировок, шума или станций того исследования; без разрешения неоднозначностей, срывов цикла, набега фазы (phase wind-up), приливов и коррелированных во времени ошибок продуктов.
80	`ntn-positioning`	Позиционирование по нисходящей линии 5G нетеррестриальной сети (NTN) в диапазоне S подвижной спутниковой службы (MSS) (диапазон 3GPP n256, нисходящая линия от 2170 до 2200 МГц; несущая по умолчанию 2172,5 МГц): граница Крамера–Рао (CRB) для времени прихода, c / (2 pi beta sqrt(2 (C/N0) T)), где beta — среднеквадратичная (по Габору) ширина полосы плоского спектра OFDM (B/sqrt(12)), и для доплеровского сдвига комплексного тона, sqrt(3 / (2 pi^2 (C/N0) T^3)), для каждого сигнала (по умолчанию канал New Radio 5 МГц с занятой полосой 4,5 МГц и узкополосный канал 200 кГц с занятой полосой 180 кГц); затем для любой орбитальной группировки LEO — определения по времени прихода нисходящей линии с неизвестными часами приёмника (с заданным начальным значением, в качестве сигмы берётся граница плюс ошибка сетевой синхронизации), их PDOP и формальная 3D-сигма, а также определение по доплеровскому сдвигу одного спутника на самом длинном пролёте при фиксированной высоте. MODELLED: шаг от ширины полосы к границе — это классическая замкнутая форма, проверенная численным интегрированием плоского и ограниченного по полосе спектров BPSK (внутренняя согласованность, без привязки к опубликованному разобранному числу), а точность позиционирования — это граница для канала без многолучевости с заявленной ошибкой синхронизации, а не достигнутый результат.
81	`leo-pnt-chain`	Одна система LEO-PNT (позиционирование, навигация и время с низкой околоземной орбиты) от начала до конца, для любой орбитальной группировки и сигнала: проект leo-signal, названный в signal_design (общедоступный пресет или встроенный проект [signal]), задаёт центр, полосу, скорость чипов и распределение EIRP диапазона [pass], бюджет линии leo-pass даёт отслеживаемое C/N0 и ограниченный полосой джиттер кода за пролёт, линия C/N0 по sin(elevation) и передаваемое SISRE сообщения [navmsg] (подогнанное на высоте спутника пролёта) питают каждую систему LEO совместного определения [fusion] leo-pvt и, при необходимости, случаи [ppp] leo-ppp; каждая передача перечислена со своим значением и единицей. MODELLED.
82	`contact-schedule`	Планирование наземных сеансов связи для нескольких спутников и нескольких станций: видимые окна доступа (SGP4, земная система координат IAU 2006/2000A, рефракция по ITU-R P.834, время распространения света), объём данных DVB-S2 ACM за каждый пролёт (пороги из ETSI EN 302 307-1, таблица 13) и расписание без конфликтов (один спутник на антенну с временем перенацеливания, одна станция на спутник, доставка с весами приоритета, ограниченная накопленным объёмом) жадным алгоритмом по предельной ценности, базовым вариантом «первым пришёл — первым обслужен» и точным методом ветвей и границ на малых наборах, с указанием разрыва оптимальности жадного алгоритма. MODELLED.
83	`acm-link`	Один спутник над одной станцией: наклонная дальность, угол места и Es/N0 вдоль каждого прохода, MODCOD DVB-S2, выбранный на каждом шаге (пороги ETSI EN 302 307-1, таблица 13, плюс запас реализации), и объём данных, который ACM передаёт по сравнению с базовым вариантом постоянного кодирования, замыкающимся на маске. MODELLED.
84	`aocs`	Управление ориентацией космического аппарата: разворот жёсткого корпуса с инерциальным наведением, имеющего три или более сбалансированных маховика, при обратной связи MRP (L = -K sigma - P omega), с минимально-нормовыми моментами маховиков, ограниченными пределом каждого двигателя, методом RK4 с экстраполятором нулевого порядка; по выбору замкнутый на мультипликативный EKF по имитированному гироскопу (случайное блуждание угла и скорости) и звёздному датчику. Сообщает время успокоения, конечную и пиковую ошибку наведения, пиковые скорость и момент маховика, долю насыщения, дрейф момента импульса и, при наличии оценивателя, его ошибку ориентации и NEES. Контур истинного состояния — VALIDATED по Basilisk 2.9.1; оцениватель — MODELLED.
85	`entry-heating`	3-DoF вход в атмосферу материальной точки над вращающейся сферической Землёй или Марсом (баллистический или с подъёмной силой при постоянном крене), RK4, через US76, экспоненциальную атмосферу или атмосферу Марса, с конвективным нагревом в точке торможения по Саттону–Грейвсу (NASA TR R-376): пиковое замедление, тепловой поток и скоростной напор, тепловая нагрузка, дальность по поверхности, проверка энергии во вращающейся системе и рядом с ними замкнутая форма Аллена–Эггерса. Пиковое замедление проверено по опубликованному номиналу Stardust; нагрев — MODELLED.
86	`eo-radiometry`	Радиометрия и качество изображения надирного формирователя изображений: яркость сцены по Ламберту на апертуре, уравнение камеры, сигнал и дробовой, темновой, считывания и квантования шум и SNR; системная MTF на частоте Найквиста (дифракция x детектор x смаз x дрожание), относительный отклик на край из неё, Q = lambda F/p и NIIRS по GIQE версии 4 без компенсации MTF. MODELLED.
87	`ascent-losses`	Плоский гравитационный разворот при выведении многоступенчатого аппарата над невращающейся сферической Землёй сквозь Стандартную атмосферу США 1976 (вертикальный подъём, импульс по тангажу, тяга вдоль скорости), с интегрированием потерь на гравитацию, сопротивление, управление и противодавление и проверкой идеального dv за вычетом потерь по скорости выгорания; max-Q, пиковое ускорение и состояние выгорания. MODELLED.
88	`time-transfer-budget`	Двусторонняя спутниковая передача времени и частоты между двумя станциями через геостационарный ретранслятор: двустороннее уравнение, решённое относительно T_A - T_B, со всеми невзаимными членами (задержки аппаратуры станций, ионосфера в Ku-диапазоне, транспондер, эффект Саньяка), квадратурный бюджет неопределённости, в котором член типа A — это TDEV смоделированной линии на времени усреднения, смоделированная линия с белым и фликкерным фазовым шумом и суточной невзаимностью, а также стабильность (скорость, остаточный RMS, TDEV, ADEV) любого предоставленного ряда BIPM Circular T, раздел 1, CSV вида MJD,ns или записей часов станций IGS RINEX. MODELLED.
89	`optical-atmosphere`	MODELLED, оптический PNT через атмосферу: для оптической линии и набора наземных площадок с заданным климатом облачности сообщаются зависящие от длины волны и возвышения потери в чистом воздухе (закон видимости Кима плюс рэлеевское рассеяние), состояние турбулентности по Хафнагелю–Вэлли (дисперсия Рытова, индекс мерцаний, параметры гамма-гамма, усреднение по апертуре), доступность, определяемая погодой, относительно запаса линии (оптическая толщина облаков из логнормального климата жидкой воды, экстинкция в геометрической оптике, независимое замирание из-за турбулентности), запас линии, необходимый для целевых значений доступности, распределение длительности перерывов, рост ошибки времени и дальности за каждый перерыв по модели holdover часов, доступность при разнесении площадок с корреляцией по расстоянию и гипотетические выигрыши от методов улучшения (длина волны, приёмная апертура, снижение мерцаний адаптивной оптикой, дополнительный запас). VALIDATED как реализация заявленных формул по независимому оракулу на mpmath: дисперсия Рытова, индекс мерцаний, вероятность замирания гамма-гамма, коэффициент усреднения по апертуре, оптическая толщина облаков и чистого воздуха. MODELLED: все входные данные по погоде, методам и часам, а также допущения о независимости и копулах; сравнения с измеренной записью доступности не проводилось. Консультативный анализ, а не сертифицированный продукт по доступности или навигации.
90	`holdover-test`	MODELLED испытание holdover системы синхронизации времени, оцениваемое по записи ошибки времени, которую предоставляет ОПЕРАТОР (журнал linuxptp ptp4l, phc2sys или ts2phc, журнал отслеживания или статистики chrony, журнал часов TICC, TimeLab или RINEX либо пары time_s,time_error_ns). Испытание состоит из четырёх шагов, и Kshana не выполняет ни один из них: захваченный БАЗОВЫЙ режим, ОТКЛЮЧЕНИЕ GNSS оператором (антенный кабель или выход имитатора; Kshana ничего не передаёт и ничем не управляет) в заданный момент, HOLDOVER на собственном генераторе системы и ВОССТАНОВЛЕНИЕ после того, как оператор вернёт GNSS во второй заданный момент. Запись разделяется по этим двум моментам. Базовый режим: статистика ошибки времени и маски ITU-T, написанные для захваченных часов. Holdover: статистика, доля частотного смещения, которое система удерживала (прямая по методу наименьших квадратов), маски, написанные для holdover или автономных часов, огибающая holdover ePRTC-A по заданной длительности захвата и время до превышения каждого бюджета ошибки времени. Восстановление: вошла ли \|TE\| в заданную полосу и когда, и оставалась ли в ней, пик и наибольший скачок. Каждый предел переписан из общедоступной таблицы ITU-T (маски синхронизации в телекоммуникациях); формулировка — «измерено относительно маски», а оба момента — заявление оператора, они не проверяются. Запись, слишком короткая для маски, получает статус INCOMPLETE и никогда не экстраполируется. См. docs/TIMING-HIL.md.
91	`gnss-ssv`	MODELLED доступность GNSS и уровень сигнала в космической зоне обслуживания (Space Service Volume) и за её пределами: для пользователя на сфере (глобальная оболочка из буклета ICG) или на кеплеровой траектории (от низкой околоземной орбиты до лунного перелёта) подсчитываются по каждой орбитальной группировке (GPS, GLONASS, Galileo, BDS, QZSS, NavIC) и по всем вместе сигналы, пригодные при C/N0 выше порога, — доступность не менее одного и не менее четырёх сигналов, максимальная длительность перерыва, принимаемое C/N0, геометрический фактор DOP, линии связи по главному и боковым лепесткам — с диаграммой передачи из буклета, параметрической или заданной пользователем, необязательными эффектами ионосферы вдоль касательного луча, плазмосферы и атмосферы и необязательной конструкцией приёмника для слабых сигналов; а также бортовой расширенный фильтр Калмана GNSS для аппаратов на HEO и на лунном перелёте (орбитальная динамика, давление солнечного излучения, третьи тела, часы) и относительная навигация группы из нескольких аппаратов по однократно разностным псевдодальностям. Проверено по таблицам буклета ICG SSV в рамках предварительной регистрации (xval/gnss-ssv)
92	`mission-thread`	MODELLED бюджет ошибок навигации и времени заданной цепочки фаз миссии от запуска до входа в атмосферу: запуск и выведение, сближение и стыковка на низкой околоземной орбите (повторяемая), транслунная инжекция и цислунный перелёт, сближение на лунной орбите, спуск, пребывание на поверхности, взлёт и возвращение с входом в атмосферу, причём каждая фаза — один из восьми зарегистрированных видов со своими датчиками и фильтром. Ковариация 6x6, часы и система отсчёта передаются от фазы к фазе по заданному правилу (перенос, раздувание или повторный захват); преобразования систем отсчёта и шкал времени (GCRF, MCI, MCMF, UTC, TT, TDB, LTC) — самостоятельные строки бюджета, причём состояние Луны берётся из необязательного фрагмента ядра DE440, а аналитический ряд служит заявленным запасным вариантом. Необязательное наложение наземной сети задаёт долю времени слежения каждой фазы. Сообщает бюджет по фазам (1-сигма на входе, в пике и на выходе, каждый вклад с единицей измерения), запас относительно заданного требования, самое слабое звено, события и рисунок временной шкалы. MODELLED: каждое число — заданный входной параметр; цепочка следует одному стеку, и никакой аппарат не моделируется. Только открытые источники; не связано ни с каким агентством и не одобрено им; программное обеспечение консультативного характера, не сертифицированное навигационное оборудование.

`clock`#

Holdover часов относительно спецификации; необязательный ансамбль Монте-Карло (runs > 1).

Обязательные поля: seed, threshold_ns, time, gnss, clock_quantum, clock_classical
Необязательные поля: runs, integrity

`inertial`#

Инерциальное счисление пути (1-DOF) во время пропадания GNSS.

Обязательные поля: seed, threshold_m, time, gnss, accel_quantum, accel_classical
Необязательные поля: runs

`orbit`#

Доступность GNSS и DOP по орбитальной группировке (Walker / TLE / RINEX).

Обязательные поля: seed, threshold_ns, mask_deg, time, user|user_site, constellation, clock_quantum, clock_classical
Необязательные поля: sigma_uere_m, constellations, epoch, export_sp3, export_omm, export_oem, skyline

`ephemeris`#

Эфемериды и трасса на поверхности: распространение орбиты одного спутника (TLE→SGP4 или аналитическая орбита) с выдачей его состояния TEME/GCRS (положение + скорость), положения в ITRF/ECEF, подспутниковых широты, долготы и высоты WGS-84 и азимута, угла места, дальности и скорости изменения дальности (Доплер) станции на каждом шаге. Спутник берётся из tle или из аналитической orbit с её epoch (tle имеет приоритет, если заданы обе); при наличии tle параметр epoch переопределяет собственную эпоху TLE как t = 0.

Обязательные поля: tle|orbit+epoch
Необязательные поля: step_s, duration_s, station, dut1_s, xp_arcsec, yp_arcsec, carrier_hz, eop_finals2000a

`integrity`#

Снимковый / с разделением решений / ARAIM RAIM с HPL/VPL и диаграммой Стэнфорда.

Обязательные поля: mask_deg, sigma_uere_m, p_fa, p_md, al_h_m, al_v_m, time, user|user_site, constellation
Необязательные поля: sigma_ura_m, b_nom_m, constellations, seed, araim_dual, p_hmi, skyline

`lunar-integrity`#

Проверка уровня защиты ARAIM на южном полюсе Луны для репрезентативного набора ретрансляторов LunaNet. sigma_ure_m задаёт точность дальности сигнала в пространстве (уровни защиты масштабируются с ней линейно, поэтому перебор этого параметра отвечает на вопрос, какая точность дальности нужна для предела тревоги). По умолчанию — исторический случай южного полюса класса LNIS.

Обязательные поля: (нет)
Необязательные поля: step_s, duration_s, alert_limit_m, p_hmi, sigma_ure_m

`lunar-time-offset`#

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

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

`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

`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

`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

`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

`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

`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

`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

`timetransfer`#

Оптическая и радиочастотная двусторонняя передача времени и частоты.

Обязательные поля: seed, samples, step_s, range_spec_mm, link_quantum, link_classical
Необязательные поля: (нет)

`quantum-anomaly-detect`#

MODELLED, обнаружение неисправностей и аномалий для квантовых систем PNT: размеченный каталог неисправностей (скачок частоты, дрейф и потеря захвата часов; скачок смещения и пропадание датчика), ROC AUC статистики обнаружения (с доверительным интервалом по бутстрэпу из внешне проверенного eval_stats) и минимально обнаружимая неисправность при фиксированной частоте ложных тревог, причём монитор с квантовыми часами (меньший шум) обнаруживает меньшие неисправности — как честное TradeEvidence и репрезентативность. Гауссова модель статистики обнаружения (AUC = Phi(mu/(sigma*sqrt2))); моделирует класс, иллюстративные параметры из публичных источников, без TRL, лётных испытаний и сертификации.

Обязательные поля: (нет)
Необязательные поля: fault_mu, quantum_sigma, classical_sigma, pfa, pd, samples, seed

`quantum-gnss-free-nav`#

MODELLED, квантовая навигация без GNSS: во время перерыва в работе GNSS бюджет квантовой (на холодных атомах, интерферометрической) инерциальной системы в сравнении с классической инерциальной навигационной системой навигационного класса — рост ошибки положения на выбеге, holdover до порога по положению и сравнение квантового и классического как честное TradeEvidence с репрезентативностью. Честное замечание о наблюдаемости: без внешнего определения смещение акселерометра ненаблюдаемо, поэтому ошибка растёт; квантовый датчик замедляет этот разрыв, но не закрывает его. Иллюстративные параметры устройств из публичных источников; моделирует класс, без TRL, лётных испытаний и сертификации.

Обязательные поля: (нет)
Необязательные поля: outage_s, threshold_m, quantum_bias_m_s2, classical_bias_m_s2

`quantum-time-transfer`#

MODELLED: цепочка доверенной квантовой синхронизации: сквозной бюджет передачи времени квантовой системы (часы на оптической решётке + линия запутанных / одиночных фотонов) в сравнении с классической (CSAC + двусторонняя радиосвязь), повторно используемый уровень защиты синхронизации времени + показатель качества безопасности при атаке задержкой или повтором (1-P_md), вероятность обнаружения аномалии часов + задержка CUSUM и компромисс «квантовая система против классической» как честный TradeEvidence с записью о репрезентативности и разрывах до лётной готовности. Иллюстративные параметры устройств и линий из открытых источников; моделируется класс устройств, без заявлений об уровне TRL, лётной готовности или сертификации.

Обязательные поля: (нет)
Необязательные поля: integration_s, dissemination_interval_s, link_loss_db, classical_link_sigma_s, monitor_pfa, attack_delay_s, clock_fault_sigma

`hybrid`#

Гибридный итоговый PNT: часы + IMU + поддержка передачей времени.

Обязательные поля: seed, timing_spec_ns, position_spec_m, time, gnss, resync, clock_quantum, clock_classical, accel_quantum, accel_classical
Необязательные поля: (нет)

`fusion`#

Совместное комплексирование PNT фильтром Калмана по тем же гибридным входным данным.

Обязательные поля: seed, timing_spec_ns, position_spec_m, time, gnss, resync, clock_quantum, clock_classical, accel_quantum, accel_classical
Необязательные поля: coupled

`hybrid-ukf`#

17-state гибридный квантово-классический тесно связанный UKF GNSS/INS (MODELLED): 15 состояний ошибок INS + поправка смещения акселерометра на основе CAI + 2-state (фаза + частота) модель часов из движка q-параметров часов, управляемая ограниченной моделью ошибок CAI. Показатель качества — самосогласованность фильтра (NEES + белизна инноваций относительно границ χ²): это утверждение о самосогласованности, а НЕ гарантия точности в реальных условиях. Только моделирование; без TRL>3, без лётного опыта, без внешней валидации.

Обязательные поля: seed, time, gnss, accel, clock
Необязательные поля: residual_accel_bias_m_s2, speed_m_s, sigma_pr_m, sigma_rr_mps, consistency_seeds, q_factor, r_factor

`gnss-ins`#

EKF по вектору ошибок для слабо и тесно связанной системы GNSS/INS.

Обязательные поля: seed, threshold_m, time, gnss, imu_quantum, imu_classical
Необязательные поля: fix_interval_s, sigma_pos_m, sigma_vel_mps, lat_deg, lon_deg, alt_m, trajectory, tight

`gnss-sim`#

Имитация псевдодальностей в области измерений (Klobuchar, ионосфера; Saastamoinen/Niell, тропосфера) + RAIM.

Обязательные поля: seed, time, receiver, constellation
Необязательные поля: iono, tropo, mask_deg, noise_sigma_m, multipath_m, sat_clock_rms_m, uere_m, p_fa, p_md, alert_limit_h_m, alert_limit_v_m, skyline

`jamming`#

Подавление по бюджету линии: J/S → эффективное C/N₀ → потеря захвата.

Обязательные поля: seed, time, receiver, constellation
Необязательные поля: jammer, mask_deg, tracking_threshold_dbhz, degraded_margin_db, signal_power_dbw, temp_k, freq_hz, chip_rate_hz, skyline

`spoof`#

Стохастический детектор спуфинга времени (Неймана–Пирсона / χ²₁) с P_fa/P_md по методу Монте-Карло.

Обязательные поля: threshold_ns, time, attack, clock_quantum, clock_classical
Необязательные поля: (нет)

`spoof-detect`#

Комбинированный детектор спуфинга по РЧ и измерениям (согласованность RAIM по нескольким SV + AGC + SQM, с объединением) против параметризованной атаки (преимущество по мощности, выравнивание фазы несущей, сдвиг времени/положения; в стиле TEXBAT).

Обязательные поля: attack
Необязательные поля: satellites, detector

`sweep`#

Одномерный (1-D) перебор для исследования компромисса по параметру пакета часов.

Обязательные поля: parameter, metric, start, stop, steps, base
Необязательные поля: scale

`sweep-nd`#

Обобщённый N-мерный перебор по любому пакету через ключи TOML с точками / пути метрик JSON.

Обязательные поля: base, axes, metrics
Необязательные поля: (нет)

`gravity-map`#

Навигация по гравитационной карте без GPS: гравиметр на холодных атомах восстанавливает постоянный дрейф INS по последовательности гравитационных аномалий, через которые проходит траектория.

Обязательные поля: nmax, start_lat_deg, start_lon_deg, step_lat_deg, step_lon_deg, waypoints, drift_lat_deg, drift_lon_deg, gravimeter_asd, averaging_time_s, map_sigma_mgal, search_half_deg, search_step_deg
Необязательные поля: coeffs, mascons, refine_stages, refine_factor, noise_seed, reference, map_error_mc

`terrain-nav`#

Навигация по рельефу местности без GPS (TERCOM/SITAN): радиолокационный или барометрический высотомер сопоставляет профиль высот земной поверхности с ЦМР типа SRTM, чтобы восстановить дрейф ИНС.

Обязательные поля: dem_seed, start_lat_deg, start_lon_deg, step_lat_deg, step_lon_deg, waypoints, drift_lat_deg, drift_lon_deg, altimeter_sigma_m, map_sigma_m, search_half_deg, search_step_deg
Необязательные поля: refine_stages, refine_factor, noise_seed

`terrain-slam`#

Последовательная (рекурсивная) навигация по рельефу местности без GPS: фильтр частиц выполняет модель измерения сопоставления с рельефом эпоха за эпохой (SITAN как работающий фильтр), так что изменяющийся во времени дрейф ИНС отслеживается вдоль трека, тогда как пакетный terrain-nav восстанавливает лишь одно постоянное смещение.

Обязательные поля: dem_seed, start_lat_deg, start_lon_deg, step_lat_deg, step_lon_deg, waypoints, drift_rate_lat_deg, drift_rate_lon_deg, altimeter_sigma_m, map_sigma_m
Необязательные поля: n_particles, init_pos_sigma_deg, process_sigma_deg, resample_ess_frac, seed

`combined-altpnt`#

Комбинированный навигатор по гравитации, магнитному полю и рельефу при отсутствии GPS: три скалярных канала поля объединяются в каждой путевой точке, чтобы получить более точную (с меньшей границей Крамера — Рао) поправку на дрейф, чем по любому одному полю.

Обязательные поля: start_lat_deg, start_lon_deg, step_lat_deg, step_lon_deg, waypoints, drift_lat_deg, drift_lon_deg, search_half_deg, search_step_deg, nmax, gravity_sigma_mgal, igrf_year, magnetic_sigma_nt, dem_seed, terrain_sigma_m
Необязательные поля: coeffs, mascons, magnetic_mascons, igrf_alt_km, refine_stages, refine_factor, noise_seed, magnetic_grid

`pvt`#

Одноточечное определение положения по реальным наблюдениям: определение положения приёмника по файлу наблюдений RINEX 3 и файлу широковещательной навигации (кодовые псевдодальности, широковещательные эфемериды, ионосфера по Клобучару, тропосфера по Саастамойнену/Нилу), при необходимости с проверкой по съёмочной координате.

Обязательные поля: obs_rinex, nav_rinex
Необязательные поля: truth_ecef, apriori_ecef, mask_deg, dual_frequency

`mars-pnt`#

PNT на Марсе в дальнем космосе: симулированная ретрансляционная орбитальная группировка MARCONI (ареостационарные и наклонные ретрансляторы, ведущие одностороннее вещание и ретранслирующие двусторонний обмен со станцией дальнего космоса) осуществляет навигацию опорного пользователя (transfer | lmo | surface) через совместный оценщик слияния односторонних и двусторонних радиометрических данных. Сообщает геометрию и видимость по эпохам, достигнутое СКО относительно истины и формальную ковариацию (положение 1σ / 3σ) — честный симулированный показатель качества, а НЕ сертифицированный уровень защиты.

Обязательные поля: (нет)
Необязательные поля: user, clock_class, step_s, duration_s, nmax, range_sigma_m, doppler_sigma_mps, dynamic_tightness, two_way_period_s, seed

`impairment-eval`#

Испытательный стенд оценки машинного обнаружения RF-нарушений (13494): генерирует размеченный, обоснованный параметрами СИНТЕТИЧЕСКИЙ корпус (nominal/jamming/spoof-time/spoof-position/multipath), оценивает детектор (energy|agc|sqm|parity|fused) универсальной по отношению к детектору обвязкой и сообщает AUC/ROC/матрицу ошибок + Pd по классам при целевом Pfa, а также разрыв оптимизма между данными внутри и вне распределения. Только рабочие характеристики MODELLED — никогда не полевые данные/IQ, без вердикта «хорошо/плохо».

Обязательные поля: (нет)
Необязательные поля: seed, n_per_class, nominal_cn0_dbhz, meas_noise, detector, target_pfa, shift_severity_scale, optimism_tol

`quantum-trade`#

Компромисс «квантовая система против классической» для PNT (13503): выигрыш в holdover времени и инерциальном holdover от часов-кандидата (измеренная кривая ADEV — опора обоснованности — или класс квантовых часов) по сравнению с классическим базовым классом, с оговоркой о допущении по уровню шума на больших tau, которая сопровождает артефакт, а также огибающая устойчивости в зависимости от времени в условиях отсутствия GNSS. MODELLED; количественно оценивает (но никогда не подтверждает) устройство партнёра. Часы-кандидат задаются измеренной кривой (candidate_adev_taus + candidate_adev_values, одинаковой длины, не менее 2 точек; при указании обеих форм приоритет у неё) или полем candidate_clock_class.

Обязательные поля: timing_threshold_s, position_threshold_m, baseline_clock_class, candidate_adev_taus+candidate_adev_values|candidate_clock_class
Необязательные поля: baseline_ins, candidate_ins, resilience_times_s, alt_pnt_bound_m

`space-weather`#

Модель космической погоды: индексы солнечной (F10.7/F10.7a) и геомагнитной (Kp, с определяющей таблицей Kp↔ap) активности, управляемая ими экзосферная температура по Jacchia-1971 (независимо проверена по опубликованным значениям для минимума, среднего уровня и максимума солнечной активности) и термосферная плотность нейтралов по Jacchia-1971 при среднесуточной экзосферной температуре в сравнении со статическим профилем без учёта активности на ряде высот — зависимость плотности от солнечного цикла, которую статическая атмосфера опускает. MODELLED: плотность согласуется с плотностями, полученными по акселерометрам (TOLEOS CHAMP и GRACE), в пределах множителя 2 в максимуме солнечной активности, но примерно в 1.7x завышена в солнечном минимуме 2008 года.

Обязательные поля: (нет)
Необязательные поля: f107, f107a, kp, altitudes_km

`oem-interop`#

Мост совместимости CCSDS OEM: импорт Orbit Ephemeris Message, созданного внешним инструментом динамики полёта (OEM выдают GMAT, Orekit и STK), и сообщение о его сегментах, объектах, системах отсчёта и охваченном интервале эпох плюс проверка согласованности скоростей; без входных данных он выполняет круговую передачу сгенерированной эталонной орбиты и сообщает точность соответствия импорта и экспорта. Структурная и физическая проверка приёма данных уровня MODELLED, а НЕ проверка точности орбиты источника.

Обязательные поля: (нет)
Необязательные поля: oem_text

`launch-window`#

Геометрия запуска и выведения в двухтельной постановке: азимут(ы) запуска (sin Az = cos i / cos lat), минимальное достижимое наклонение, круговая скорость, восточная прибавка от вращения Земли, изменение скорости Δv на доворот плоскости (dogleg), когда наклонение цели меньше широты площадки, и число ежесуточных возможностей запуска. Геометрия сферической Земли уровня MODELLED (без поправки на скоростной треугольник вращающейся Земли, без модели потерь на выведение/сопротивление).

Обязательные поля: (нет)
Необязательные поля: site_lat_deg, target_inclination_deg, altitude_km, site_lon_deg, epoch, eop_finals2000a

`reentry`#

Коридор баллистического входа в атмосферу по Аллену–Эггерсу: пиковое замедление (не зависящее от баллистического коэффициента, V_e^2 sin|γ|/(2eH)), скорость и высота при пиковой перегрузке и скорость пикового нагрева для заданных скорости входа, угла траектории и баллистического коэффициента в экспоненциальной атмосфере, а также планарное интегрирование материальной точки для того же баллистического входа с учётом гравитации, кривизны Земли и стандартной атмосферы США 1976 (пиковое замедление, скорость, высота и время в момент пика). MODELLED баллистический вход (без подъёмной силы); выходная величина нагрева — это СКОРОСТЬ пикового нагрева, а не тепловой поток (без аэротермической модели и модели ТЗП).

Обязательные поля: (нет)
Необязательные поля: entry_velocity_m_s, flight_path_angle_deg, ballistic_coeff_kg_m2, scale_height_m, rho0_kg_m3, entry_interface_altitude_m

`eo-coverage`#

Геометрия охвата и полосы захвата полезной нагрузки наблюдения Земли (космический треугольник SMAD): угловой радиус Земли, ширина полосы захвата, расстояние между выборками на местности в надире, максимальный доступ вне надира, период круговой орбиты, узловой период с учётом J2 и расстояние между экваториальными трассами с признаком сплошного покрытия — для заданных высоты орбиты, наклонения (по умолчанию солнечно-синхронное) и поля зрения датчика FOV/IFOV. MODELLED геометрия сферической Земли (без радиометрии, MTF, атмосферы, дрожания и бликов); расстояние между узлами R_e·(ω − Ω̇)·T_nodal с вековыми скоростями J2 первого порядка.

Обязательные поля: (нет)
Необязательные поля: altitude_km, half_fov_deg, ifov_microrad, max_off_nadir_deg, inclination_deg

`space-packet`#

Кадрирование по протоколу пакетов космической связи CCSDS 133.0-B: кодирование синтетического потока пакетов TM/TC (первичный заголовок из 6 октетов + поле данных) и вывод декодирования заголовка каждого пакета, общего числа октетов и точного кругового преобразования кодирование↔декодирование. Детерминированное кадрирование с точной разметкой битов — уровень совместимости форматов пакетов между агентствами; это НЕ сертификация соответствия (логики вторичного заголовка, CRC и сегментации сверх флагов нет).

Обязательные поля: (нет)
Необязательные поля: apid, telecommand, packet_count, data_len

`attitude-budget`#

Бюджет ошибки ориентации и наведения с 3 степенями свободы: наихудший гравитационно-градиентный возмущающий момент ((3/2)(μ/R³)ΔI) и бюджет ошибки наведения как корень из суммы квадратов по названным вкладам 1σ (шум датчика, дрожание маховика, тепловые эффекты, юстировка) с доминирующим членом, для высоты орбиты и разброса моментов инерции тела. MODELLED скалярный бюджет AOCS — дозаводской комплемент к Basilisk/42, а не симуляция контура управления / 6 степеней свободы / гибких мод.

Обязательные поля: (нет)
Необязательные поля: altitude_km, i_max_kg_m2, i_min_kg_m2, contributors

`passes`#

Предсказание пролётов над наземной станцией: пролёты видимости во временной области (AOS/TCA/LOS, максимальное видимое возвышение, длительность) круговой орбиты, заданной средними элементами SGP4 на начало окна, над станцией выше маски возвышения в пределах окна, с общим временем доступа. Распространение SGP4/SDP4 в связанной с Землёй системе IAU 2006/2000A (необязательно UT1 − UTC и движение полюса), тропосферная рефракция ITU-R P.834-9 и время распространения света нисходящей линии (оба включены по умолчанию), пересечения решаются до 1e-7 с, а кульминация — поиском золотого сечения. Геометрия пролёта VALIDATED по Orekit 13.1.8 на станциях на уровне моря; орбита и станция сценария — иллюстративные входные данные.

Обязательные поля: (нет)
Необязательные поля: altitude_km, inclination_deg, raan_deg, arg_lat_deg, station_lat_deg, station_lon_deg, station_alt_m, epoch, mask_deg, duration_hours, step_s, refraction, light_time, ut1_minus_utc_s, xp_arcsec, yp_arcsec

`link-budget`#

Односторонний бюджет линии по уравнению линии CCSDS 401 / DSN 810-005: потери в свободном пространстве, C/N₀, Eb/N₀, запас и замыкание линии для передающей EIRP, приёмной G/T, дальности, скорости передачи данных и диапазона (s|x|ka) относительно требуемого Eb/N₀. Детерминированный инженерный расчёт по заданным входным данным (не паспорт откалиброванного терминала).

Обязательные поля: (нет)
Необязательные поля: band, eirp_dbw, g_over_t_db, range_km, data_rate_bps, other_losses_db, required_eb_n0_db, tsys_k

`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

`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

`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

`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

`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

`hybrid-optical-rf`#

MODELLED гетерогенный совместный показатель качества оптического и радиочастотного PNT (P5): объединяет двусторонний бюджет оптической линии связи на 1550 нм (фотонно-ограниченная нижняя граница Крамера–Рао CRLB для двусторонней дальнометрии σ_τ/√N и дифракционный след λ/D·дальность), уровень защиты RAIM с разделением решений между модальностями (по положению И по времени), объединяющий слабосвязанное радиочастотное и тесносвязанное оптическое решения с различными ковариациями, оптическую доступность ясного неба для N станций (независимое объединение 1−Π(1−a_i) и вариант с пространственной корреляцией), передачу состояния и ковариации между оптикой и РЧ с ДОКАЗАННЫМ побитно непрерывным (без скачка) средним и проверкой согласованности NEES χ², а также совместную оценку P(доступно И прецизионный класс И целостность обеспечена) с учётом корреляций. VALIDATED замкнутая форма: нижняя граница CRLB дальнометрии, дифракционный след, квантиль уровня защиты χ², комбинаторика объединения, непрерывность среднего при передаче + проверка NEES и совместное независимое произведение. MODELLED: распределение оптических потерь, величины σ для РЧ и оптики, входные данные климатологии облачности, корреляции и бюджет P_HMI. Не является сертифицированным продуктом по доступности и целостности.

Обязательные поля: (нет)
Необязательные поля: wavelength_nm, tx_power_w, tx_aperture_m, rx_aperture_m, range_km, pulse_rms_ps, integration_s, atmospheric_loss_db, pointing_loss_db, optics_efficiency, detector_efficiency, two_way, rf_pos_sigma_m, rf_vertical_sigma_m, rf_clock_sigma_s, p_fa, p_md, alert_limit_h_m, alert_limit_v_m, alert_limit_t_s, grade_pos_m, grade_time_s, n_optical_sites, site_correlation, fom_correlation, handoff_inflation, p_hmi, fault_ramp_rate_pos_m_s, fault_ramp_rate_clock_s_s, process_noise_pos_psd_m2_s, process_noise_clock_psd_s2_s, coast_coverage_k, rf_band, rf_eirp_dbw, rf_g_over_t_db, rf_other_losses_db, rf_data_rate_bps, rf_required_eb_n0_db, rf_chip_rate_hz, rf_correlator_spacing_chips, rf_dll_bandwidth_hz, rf_tracking_threshold_dbhz, rf_degraded_margin_db

`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

`conflict-resilience`#

MODELLED устойчивость многоуровневых PNT к конфликту (P7): пользователь в оспариваемой среде располагает несколькими уровнями PNT (GNSS открытого сервиса, широкополосный GNSS, орбитальная группировка с аутентификацией, ретранслятор системы дополнения), у каждого из которых есть базовая доступность, точность 1σ и уязвимость к отказу по каждому вектору относительно общей угрозы подавления и спуфинга. СЛУЧАЙНЫЙ с начальным значением (seed) метод Монте-Карло с перебором интенсивности лишает каждый уровень сигнала с вероятностью clamp(vulnerability·intensity·vector_weight,0 1), объединяет уцелевшие по замкнутому правилу обратных дисперсий σ_fused=(Σ 1/σ_i²)^(−1/2) и сообщает вероятность полной потери (все уровни лишены сигнала), медианную объединённую ошибку и статистику пригодности и отказов по уровням в зависимости от интенсивности. Основной показатель устойчивости (отношение вероятности полной потери при одном уровне и при нескольких) достигает ~7x при допущении НЕЗАВИСИМОСТИ; затем однофакторный перебор коррелированных отказов по гауссовой копуле показывает, как это ~7x падает к 1 с ростом корреляции отказов (корреляция сводит на нет пользу многоуровневости). Блок чувствительности к априорным значениям варьирует основной показатель по ИМЕЮЩИМ ИСТОЧНИК априорным значениям уязвимости с помощью торнадо-диаграммы mcda + перераспределения усилий угрозы по Дирихле + процентильных доверительных интервалов. Ядро VALIDATED: полная потеря в Монте-Карло сходится к замкнутому произведению независимых вероятностей Π_i p_deny_i (в пределах стандартной ошибки МК при фиксированном seed и большом N); объединение по обратным дисперсиям — замкнутое тождество; при ρ=0 копула сводится к независимой модели, и каждое ρ сохраняет маргинальную долю отказов каждого уровня. MODELLED: величины уязвимости, доступности и точности по уровням — это имеющие источник, но Modelled входные данные (JammerTest 2024, TEXBAT, EASA SIB, RTCA DO-229, LunaNet/IOAG — см. conflict_threat_params), а конкретная величина ~7x и форма кривой «отношение — корреляция» следуют из этой параметризации. Затем разбивка выживаемости по векторам в § 4,2 раскладывает общую радиочастотную угрозу на четыре именованных вектора (подавление, спуфинг, кинетическое воздействие, кибервоздействие) и сообщает для каждого вектора кривую плавной деградации пригодного PNT S_v(x)=1-Prod_i(1-a_i(1-clamp(susceptibility_i,v·x,0 1))) — VALIDATED: посчитанная методом Монте-Карло с seed выживаемость по уровням сходится к этой замкнутой форме; подавление — самый острый вектор для коррелированного радиочастотного базового случая, а не зависящий от радиочастот инерциальный уровень — решающий уцелевший. Это не сертифицированный продукт по доступности навигации.

Обязательные поля: (нет)
Необязательные поля: layers, intensity, correlation, trials, seed, primary_layer

`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

`realtime-frame-eop`#

Бюджет предсказания лунной системы отсчёта и ориентации Земли в реальном времени: таблица 1 P4 (проверка согласованности ошибки системы отсчёта — постобработка ~0,27 m ↔ ~0,010 ms и реальное время ~15 m ↔ ~0,5 ms, причём каждое положение в системе отсчёта выражено через эквивалентную ошибку UT1 по плечу рычага L19 Δr = D_EM·ω⊕·ΔUT1) и таблица 2 (измеренная ошибка предсказания UT1 в зависимости от горизонта — кривая L18, считанная прямо с реального ряда IERS finals2000A: окончательный предел Bulletin A − Bulletin B и ошибка многодневного предсказателя персистентности, каждая из которых отображена в положение в лунной системе отсчёта через L19), а также среднеквадратичный бюджет ошибки системы отсчёта L21 в реальном времени (EOP + эфемериды + предел реализации). VALIDATED замкнутая форма (плечо рычага L19, ω⊕ перекрёстно проверена по углу вращения Земли CIO) и VALIDATED реальные данные (кривая L18 по реальным строкам finals2000A); MODELLED — величины ковариации OD лунного ретранслятора и предел реализации системы отсчёта (репрезентативные выделения) и предсказатель персистентности (не операционный алгоритм Bulletin A от IERS). Это не сертифицированный продукт системы отсчёта реального времени.

Обязательные поля: (нет)
Необязательные поля: epoch, horizons_days, ephemeris_pos_sigma_m, ephemeris_vel_sigma_mps, latency_s, frame_realization_floor_m, delta_ut1_ms, delta_xp_mas, delta_yp_mas, eop_finals2000a, eop_finals2000a_later, frame_realization_tie_noise_m, operational_window_days, operational_min_cycle_fraction, operational_anchor_residual

`aperture-duty-cycle`#

Коэффициент занятости апертур: разделение времени между навигацией и связью, которое подразумевает план контактов для пула управляемых апертур. Принимает план контактов (список окон [[contacts]] aos_s/los_s, каждое из которых запрашивает навигацию или связь — тот же словарь aos_s/los_s, который выдаёт предиктор passes), число апертур и ПОЛИТИКУ АРБИТРАЖА (по умолчанию приоритет навигации, либо приоритет связи, либо невытесняющее обслуживание в порядке поступления) и сообщает занятость навигацией, занятость связью, долю простоя и простой по сеансам — время контакта, которое сеанс запросил и которое ни одна апертура не обслужила. Точный интервальный проход по границам окон, поэтому соприкасающиеся окна никогда не конкурируют и ни одна секунда апертуры не учитывается дважды; секунды апертур для навигации, связи и простоя накапливаются независимо и сходятся с apertures*horizon_s. Отчёт указывает применённую политику, её полное определение и определения занятости и простоя, потому что значение занятости, приведённое без политики арбитража, невоспроизводимо. MODELLED арифметика планирования: время на перенаведение / перестройку / смену не учитывается, когда апертура меняет службу или сеанс, в решении не участвуют ни объём данных, ни состояние буфера, ни энергобюджет, ни замыкание линии, а окна контактов — входные данные, и их геометрия такова, какой её получил источник. Это не продукт для планирования наземного сегмента.

Обязательные поля: (нет)
Необязательные поля: apertures, arbitration, horizon_start_s, horizon_end_s, contacts

`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

`ins-trn-coast`#

Модель ошибок выбега INS/TRN: ошибка позиции в зависимости от длительности выбега, построенная по коэффициентам IMU, а не перебором предполагаемой скорости дрейфа. Пять составляющих роста — смещение акселерометра, наклон от смещения гироскопа через силу тяжести, случайное блуждание скорости, случайное блуждание угла и масштабный коэффициент относительно пройденного расстояния — каждая распространяется через девятисостоянийную инерциальную модель ошибок в местной горизонтной системе с обратной связью Шулера на заданных широте и высоте (рядом приводятся законы главного порядка для короткого выбега t², t³, t^1,5, t^2,5 и t¹/t²) и объединяются по ЗАДАННОМУ правилу (по умолчанию корень из суммы квадратов, либо линейная сумма, либо детерминированная сумма со стохастическим rss; все три вычисляются при каждом прогоне, чтобы выбор был виден, а не скрыт). Длительности выбега, при которых достигаются заданные вызывающей стороной пороги позиции (по умолчанию 10 m и 50 m), находятся уже имеющимся в движке методом бисекции, каждая с разбивкой по составляющим, называющей доминирующий источник, а пересечение каждой отдельной составляющей дополнительно обращается алгебраически, чтобы обе оценки совпадали. Режим навигации по рельефу местности (TRN) ограничивает выбег периодическими фиксациями позиции и сообщает наибольший интервал между фиксациями, при котором выдерживается каждый порог; фиксация только по позиции оставляет ошибку скорости и наклон после фиксации живыми, поэтому она не всегда ограничивает выбег при любой частоте фиксаций, и отчёт говорит об этом, а не возвращает ноль. MODELLED: коэффициенты класса IMU — репрезентативные значения диапазона, а не паспортные данные, а остаток фиксации по рельефу является входными данными. Недостигнутый порог сообщается как null со статусом, а никогда не как ноль. Это не сертифицированный продукт оценки характеристик инерциальной навигации.

Обязательные поля: (нет)
Необязательные поля: imu_grade, accel_bias_ug, accel_vrw_m_s_per_sqrt_hr, accel_scale_factor_ppm, gyro_bias_deg_per_hr, gyro_arw_deg_per_sqrt_hr, speed_m_s, ref_accel_m_s2, latitude_deg, height_m, combination, crossing_thresholds_m, grades, drift_band_lo_m_per_s, drift_band_hi_m_per_s, trn_fix_mode, trn_fix_interval_s, trn_fix_residual_m, mission_duration_s

`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

`tracking-loop`#

Срыв слежения в петле слежения: C/N0 -> захват/потеря захвата С ГИСТЕРЕЗИСОМ, время до потери захвата и втягивание спуфера как функция СКОРОСТИ смещения кода и несущей. Существующие в движке критерии подавления и захвата — это отношения по принимаемой мощности (глушитель подавляет при J/S = 30 dB, спуфер захватывает при 3 dB); реальный срыв слежения — это не отношение мощностей, а то место, где джиттер петли плюс динамическое напряжение выходят за бюджет её порога слежения. Выводятся: (1) 1-сигма тепловой джиттер несущей (Костас) и кода (некогерентный «раньше/позже») в зависимости от C/N0, с учётом потерь на возведение в квадрат, относительно заданных правил 3sigma_PLL + theta_e <= 45 deg (правило 15 градусов в форме трёх сигм) и 3sigma_DLL + запаздывание по скорости изменения <= d/2 чипа; (2) пороги C/N0 срыва и повторного захвата с названной определяющей петлёй, причём порог повторного захвата ВЫВЕДЕН из более широкой полосы, в которой приёмник повторно втягивается, а не задан произвольно, так что ширина гистерезиса должна лежать между 5log10(ratio) и 10log10(ratio) dB; (3) объявленное время до потери захвата от двухпорогового детектора захвата с подтверждающими выдержками при проходе по рампе C/N0, выводимое отдельно от физического времени ухода фазы (среднее время Витерби между проскальзываниями циклов, в log10 s, поскольку оно охватывает сотни порядков); (4) пределы втягивания спуфера — наибольшая скорость смещения кода и доплеровская скорость несущей, за которыми могут следовать петли жертвы, с картой по обеим осям, потому что спуфер, смещающий быстрее этих пределов, не захватывает петлю, а опережает её; и (5) РАДИУС ПОДАВЛЕНИЯ, следующий из динамики петли, выводимый РЯДОМ с существующим радиусом по отношению мощностей, а не вместо него, с их знаковой разностью в отдельном именованном поле (denial_radius_delta_km) и определением рядом. Каждое выводимое числовое поле несёт единицу и класс происхождения. VALIDATED замкнутые формы: выражения джиттера несущей и кода, редукция фильтра петли sqrt(2B_nT) и запаздывание по скорости изменения первого порядка перекрёстно проверены по собственному коррелятору sdr движка, пошагово запущенному на засеянной синтетической ПЧ, — другим путём к тем же числам — до 0,6 %, 3,7 % и 0,17 % соответственно, а модифицированная функция Бесселя I0, лежащая в основе времени проскальзывания цикла, — по стандартным табличным значениям до 1e-7. Нижний предел применимости утверждён, а не только заявлен: ниже ~32 dB-Hz при 1 ms реальный дискриминатор atan насыщается относительно своего диапазона +-pi/2 и измеряет меньший джиттер, чем любая линейная теория. MODELLED: полосы петель, время интегрирования, разнос коррелятора, отношение полос втягивания, подтверждающие выдержки, мощность глушителя и усиления антенн — это репрезентативные значения диапазона, а не техпаспорт. НЕ моделируются: джиттер генератора (девиация Аллана) и вибрации, ограничение полосы входного тракта, многолучевость, динамика AGC, потери на переходах битов данных, внешнее сопровождение и любая поправка на полцикла к формуле проскальзывания циклов Костаса. При динамике петли у захвата спуфера радиуса нет вовсе — определяющее ограничение — скорость смещения, а не мощность, — поэтому это поле равно null с указанием причины, а не выдуманным числом. Это не сертифицированный продукт для оценки характеристик приёмника.

Обязательные поля: (нет)
Необязательные поля: pll_bandwidth_hz, dll_bandwidth_hz, predetection_integration_s, correlator_spacing_chips, carrier_allowance_deg, code_allowance_chips, pullin_bandwidth_ratio, drop_confirm_epochs, relock_confirm_epochs, doppler_rate_hz_per_s, code_slew_chips_per_s, cn0_high_dbhz, cn0_low_dbhz, ramp_duration_s, jitter_table_cn0_dbhz, jammer_power_dbw, jammer_gain_dbi, rx_gain_toward_jammer_db, rx_gain_toward_sat_db, signal_power_dbw, temp_k, freq_hz, chip_rate_hz, jammer_type, q_override, denial_js_threshold_db, capture_js_threshold_db, spoof_code_slew_chips_per_s, spoof_doppler_rate_hz_per_s

`araim-reference-check`#

Опубликованные опорные векторы для ARAIM: уровни защиты ARAIM по горизонтали и вертикали движка прогоняются по СОБСТВЕННЫМ разобранным числовым примерам Технической подгруппы ARAIM рабочей группы WG-C с допуском (TOL_PL = 5e-2 м), который указывают сами эти документы. Два вектора зафиксированы как фикстуры, и у каждого есть URL получения, дата получения, SHA-256 исходного файла и страница: Reference Airborne Algorithm Description Document v3.1 (2019), приложение D — внутренне согласованный и приёмочный вектор — и Milestone 3 Report (2016), приложение A, раздел A.IX, утверждение, на которое ссылаются исследовательские библиографии. Каждый опубликованный входной параметр (матрица геометрии из 10 спутников в 2 орбитальных группировках, диагонали дисперсий C_int и C_acc, b_nom, P_sat, P_const и набор констант LPV-200) и каждый опубликованный выходной (VPL, HPL, EMT, sigma_v_acc, K_fa_3 и sigma_3, sigma_ss_3 и b_3 двух режимов отказа орбитальной группировки) приводится рядом с собственным числом движка и их абсолютной разностью. Уравнение уровня защиты здесь НЕ решается заново: список режимов эталона передаётся существующим raim::araim_protection_level / araim_integrity_risk движка, так что проверяемые бисекция и алгебра гауссова хвоста принадлежат самому движку; для него строятся только геометрия, подрешения, пороги обнаружения и опубликованное разбиение бюджета. ВНЕШНЯЯ ПРОВЕРКА по вектору 2019: VPL 18,2926 м против опубликованных 18,3 м, HPL 13,4063 м против 13,45 м, EMT 7,2997 м против 7,2998 м, sigma_v_acc 1,3694 м против 1,3694 м, и все шесть опубликованных промежуточных величин с точностью до половины единицы в последнем напечатанном десятичном знаке. Вектор 2016 содержит два внутренних дефекта, которые отчёт называет, а не скрывает, — опечатку в знаке в строке 3 матрицы G и K_fa_3, вычисленное для 57 режимов отказа, тогда как документ указывает N_fault_max = 1 (12 режимов), — поэтому его промежуточные величины геометрии воспроизводятся точно, а его уровни защиты приводятся как измеренные расхождения и исключаются из приёмочного показателя; допуск никогда не расширяется, чтобы их поглотить. Каждое выдаваемое числовое поле несёт единицу и класс происхождения, а переписанная из источника величина помечается published, чтобы её нельзя было принять за вычисленную. ОБЛАСТЬ: реализован только N_fault_max = 1 (режимы отказа одного спутника и одной орбитальной группировки), а случай, чьи априорные вероятности требуют одновременных многособытийных подмножеств отказов, REFUSED, а не молча усекается; обнаружение и исключение отказов, проверка согласованности по хи-квадрат и шаг перераспределения двойного учёта эталонного алгоритма выходят за область применения. Это воспроизводит разобранный пример опубликованного эталонного алгоритма — это не сертификация, не документ лётной годности и не одобрение.

Обязательные поля: (нет)
Необязательные поля: vector

`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

`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

`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

`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

`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

`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

`telecom-timing`#

Синхронизация времени в телекоммуникациях: ошибка времени, максимальная ошибка временного интервала (MTIE) и девиация времени (TDEV) при holdover GNSS, проверенные по маскам ITU-T с результатом PASS или FAIL и запасом для каждой маски. Входные данные — либо СИНТЕТИЧЕСКИЙ HOLDOVER (предустановка генератора — ocxo, рубидий, цезий или csac, у каждой — цифры стабильности, старения и температуры из названного открытого техпаспорта Microchip — плюс время потери GNSS, длина записи и интервал дискретизации; свободно идущие часы несут белый, фликкерный и, где этого требует подгонка по техпаспорту, шум случайного блуждания частоты, линейное старение и синусоидальный температурный член), либо ЗАГРУЖЕННЫЙ РЯД пар [time_s, time_error_ns], заданных встроенно (и, только в нативных сборках, файл CSV). Маски: ITU-T G.8272 (07/2025) PRTC-A и PRTC-B (max|TE| 100 / 40 ns, MTIE таблицы 1–2, TDEV таблицы 3–4); G.8272.1 (2024) Amd. 1 (07/2025) ePRTC в режиме синхронизации (30 ns, таблицы 1–2) и holdover ePRTC-A (огибающая ошибки времени из таблицы 3, нарастающая с 30 ns до 100 ns за период holdover H, задаваемый длительностью периода в режиме синхронизации, MTIE таблица 4, TDEV таблица 5); G.8273.2 (2023) Amd. 2 (11/2025) классы A–C T-BC/T-TSC (max|TE|, постоянная ошибка времени, MTIE и TDEV после фильтра нижних частот) и класс D (max|TE_L| 5 ns — единственная цифра класса D, не оставленная для дальнейшего изучения); G.8271.1 (2022) Amd. 3 (05/2025) опорная точка C (max|TE_L| 1100 / 600 / 100 ns с MTIE таблицы 7-1–7-3). Каждая запись, которую Рекомендация отмечает как предмет дальнейшего изучения, отсутствует, а не заполнена, и каждый отчёт перечисляет то, что не реализовано. Также выводятся время до превышения каждого бюджета максимальной ошибки времени (по умолчанию: 100 ns для max|TE_HO| ePRTC, 400 ns для распределения holdover в сети, 1100 ns для точки C, 1,5 us для класса 4), кривые MTIE/TDEV в виде таблицы CSV с пределом каждой маски и запись об единицах и происхождении для каждого числового поля. VALIDATED: оценки MTIE и TDEV по пакету allantools на закоммиченном ряду holdover. MODELLED: таблицы масок являются перепиской, а синтетический holdover — модель, построенная по максимумам из техпаспортов, а не измерение какого-либо экземпляра. Это не испытание на соответствие.

Обязательные поля: (нет)
Необязательные поля: seed, masks, budgets, holdover, series

`slot-timing`#

Слотовая синхронизация: время в секундах до выхода свободно идущих часов за защитный интервал слота маршрутизации или постановки задач, привязанного ко времени (наибольшая абсолютная ошибка времени, которую допускает слот), вклад каждого члена в этот момент с указанием доминирующего (неопределённость привязки, белый фазовый шум, белый, фликкерный шумы частоты, шумы случайного блуждания и случайного хода частоты, остаточное смещение частоты, температура, старение), оставшееся время с последней привязки и наибольший интервал между привязками, при котором часы остаются в пределах слота, за вычетом задержки привязки. Генератор задаётся ДЕФОЛТНЫМ КЛАССОМ (csac, uso, dsac, tcxo, ocxo или rafs: одна цитируемая односекундная девиация Аллана и допущенный красный шумовой пол), ПРЕДУСТАНОВКОЙ ПО ТЕХПАСПОРТУ для телекоммуникационной синхронизации или встроенным ТЕХПАСПОРТОМ (максимумы девиации Аллана, подогнанные как огибающая, плюс старение и температурный коэффициент), либо встроенной MEASURED ЗАПИСЬЮ ФАЗЫ (её перекрывающаяся девиация Аллана подогнана взвешенным методом наименьших квадратов в базисе белой фазы и частотной модуляции по IEEE Std 1139, так что красный шумовой пол измерен, а не допущен). Выход за пределы наибольшего времени усреднения, которое поддерживает техпаспорт или запись, помечается как экстраполяция. Необязательный раздел о спуфинге добавляет уровень защиты синхронизации времени для приёмника на орбите: орбитальную скорость и период, как долго один наземный спуфер может воздействовать на спутник за пролёт, нижний предел монитора с использованием часов и задержку обнаружения CUSUM, условную границу, смещение, которое накапливает спуфер при заданной максимальной скорости нарастания, пока спутник не выйдет из зоны его действия или не будет выполнена независимая проверка, и независима ли каждая проверка по наземному контакту или по межспутниковой связи от этого спуфера. VALIDATED: инверсия holdover по подогнанной записи, отложенная (holdout) на реальных цезиевых часах, измеренных относительно водородного мазера (tests/slot_timing_cs5071a_holdout.rs, зависит от наличия данных); на измеренном кварцевом генераторе отложенное предсказание консервативно, но не укладывается в порог, поэтому случай кварца относится к MODELLED. MODELLED: источники по классу и техпаспорту, детерминированные члены и оценка спуфинга.

Обязательные поля: oscillator, slot
Необязательные поля: spoofing

`spectrum`#

Модель спектра L-диапазона и водопадная диаграмма: весь L-диапазон GNSS как одна спектральная плотность мощности (PSD), частота по горизонтали, время по вертикали, при заданной сценарием временной шкале помех-глушителей. СИГНАЛЫ: GPS L1 C/A и L2C (BPSK(1)), открытый сервис Galileo E1 (MBOC(6,1,1/11) или BOC(1 1)), GPS L5 и Galileo E5a (BPSK(10)), каждый на своей несущей с минимальной принимаемой мощностью по спецификации интерфейса (IS-GPS-200, IS-GPS-705, Galileo OS SIS ICD), если не задано иное; GLONASS, BeiDou и Galileo E6 не моделируются. ГЛУШИТЕЛИ: тон непрерывной волны, плоский узкополосный шум, линейный пилообразный чирп и широкополосный шум, согласованный с собственной модуляцией диапазона, у каждого — центр, полоса, принимаемая мощность (напрямую либо через EIRP и дальность по потерям в свободном пространстве вида подавления) и моменты включения и выключения. Каждый глушитель оценивается относительно каждого диапазона по коэффициенту спектрального разделения kappa в полосе приёмника, и (C/N0)_eff = [1/(C/N0) + sum (J/S) kappa]^-1; для одного глушителя это равно уравнению защиты от помех вида подавления при Q = 1/(R_c kappa), и отчёт содержит эту перекрёстную проверку (и рядом репрезентативное значение Q вида подавления). Уровень шума равен k T_sys при T_sys = T_ant + 290 K (F - 1). Водопад усредняет каждую ячейку по её интервалу частоты и по её строке (чирпы точно, целые развёртки плюс неполная; глушители, переключающиеся в середине строки, — по скважности), так что временная шкала C/N0 и картинка получаются из одних и тех же чисел; result.json содержит сетку, усреднённую блоками по мощности, C/N0 и J/S для каждого диапазона на строку, а для каждого глушителя и диапазона — SSC, Q, J/S, J/S в полосе и установившееся C/N0. Необязательный [iq]: модель, отрисованная как комплексный IQ в один момент, записанная в запись SigMF (cf32_le или ci16_le), считанная обратно и сопоставленная с оценкой Уэлча. Необязательный [recording] (нативные сборки): PSD Уэлча реальной записи SigMF рядом с моделью. VALIDATED: PSD сигналов по учебниковым ширинам главного лепестка (BPSK(n) 2n x 1,023 MHz от нуля до нуля; лепестки BOC(1 1) с центрами на +/-1.023 MHz) и коэффициенты спектрального разделения по их замкнутым формам на основе равенства Парсеваля и по Q = 1 (CW) и 1,5 (согласованный) из Kaplan & Hegarty. MODELLED: мощности глушителей, временная шкала, полосы входных трактов, трактовка непрерывного спектра (без кодовых линий) и отсутствие АРУ, бланкирования и диаграммы направленности антенны.

Обязательные поля: (нет)
Необязательные поля: seed, duration_s, step_s, receiver, grid, bands, jammers, iq, recording

`solar-system`#

Вся Солнечная система на одну эпоху, для PNT (позиционирование, навигация и время) вокруг любого тела. Для Солнца, восьми планет, Плутона, Луны, Фобоса, Деймоса, Ио, Европы, Ганимеда, Каллисто и Титана выводятся гелиоцентрическое положение и скорость в ICRF (Международная небесная система отсчёта, экваториальная J2000), гелиоцентрическое расстояние и эклиптические долгота и широта J2000, гравитационный параметр, экваториальный и средний радиус, J2 там, где он опубликован, и его опорный радиус, сидерический период вращения, полюс по IAU и начальный меридиан на эпоху, трек орбиты, дискретизированный на одном обороте (гелиоцентрический для планет, относительно родительского тела для спутников), а также время распространения света, односторонняя и двусторонняя дальность, солнечная задержка Шапиро и угловое расстояние от Солнца относительно тела-наблюдателя (по умолчанию Земля); дополнительные связи from/to обрабатываются так же. Положения: кеплеровы элементы JPL по Standish и Williams (таблица 1 для 1800 г. н. э. – 2050 г. н. э., таблицы 2a/2b для 3000 г. до н. э. – 3000 г. н. э.) с номинальной ошибкой каждой планеты, лунный ряд Montenbruck & Gill для разделения Земли и Луны, средние элементы JPL с синхронной скоростью вращения по IAU для марсианских и галилеевых спутников и модель вращения IAU для Титана. Время распространения света: радиометрическое решение методом неподвижной точки, передатчик в запаздывающем положении; ньютоновское, с задержкой Шапиро, приводимой отдельно. VALIDATED по JPL Horizons (DE441) в пределах удвоенной номинальной ошибки: от Меркурия до Сатурна и Земля по таблице 1 (наихудший случай 1,87 номинальной) и все восемь планет по таблицам 2a/2b (наихудший случай 1,71 номинальной), а также время распространения света от Земли до Марса и Юпитера. MODELLED, каждая строка помечена: Уран и Нептун по таблице 1 (2,0 и 5,2 номинальной ошибки относительно DE441), Плутон (строка 1992; ошибка не указана), Луна и семь спутников (измерено относительно Horizons, опубликованной границы нет).

Обязательные поля: (нет)
Необязательные поля: epoch, epoch_jd_tdb, bodies, observer, track_points, table, links

`body-pnt`#

Позиционирование вокруг любого тела Солнечной системы: орбитальный аппарат или посадочный модуль на поверхности вокруг центрального тела, выбираемого по названию (Марс, Луна, Европа, Ганимед, Титан и остальной каталог тел Солнечной системы), с навигацией по односторонним псевдодальностям от небольшой навигационной группировки Уокера вокруг тела (двухтельные орбиты с вековым дрейфом J2 самого тела, неизвестные часы пользователя) и, по выбору, по не зависящей от часов двусторонней дальности в дальнем космосе от Земли, направление и расстояние до которой на каждую эпоху берутся из аналитических эфемерид Солнечной системы. Линии визирования перекрываются средней сферой тела, а пользователю на поверхности нужна ещё и маска возвышения. На каждую эпоху: ретрансляторы в зоне видимости, находится ли Земля над лимбом, GDOP и PDOP только по группировке (геометрический фактор и фактор положения), формальная неопределённость положения (одна сигма) с учётом строки Земли и без неё, а также ошибка решения методом наименьших квадратов Гаусса–Ньютона с заданным начальным значением в каждом из двух вариантов; за прогон: доступность, видимость Земли, медианный PDOP, СКО ошибки и медианная формальная сигма, а также время распространения света от Земли до тела, двойной пробег, задержка Шапиро и угловое расстояние до Солнца на эпоху. MODELLED: орбиты ретрансляторов, уровни шума и мгновенная модель измерений — это выбор моделирования, а не результат проверки по навигационным данным какой-либо миссии; константы тел — опубликованные значения, процитированные в body.rs, а геометрия Земли наследует метки эфемерид Солнечной системы.

Обязательные поля: (нет)
Необязательные поля: body, epoch, epoch_jd_tdb, duration_s, step_s, seed, table, user, constellation, earth_link

`constellation-design`#

Проектирование орбитальных группировок в большом масштабе: схемы Walker DELTA и Walker STAR в нотации i: T/P/F (узлы распределены по 360 или 180 deg, расстояние в плоскости 360P/T, сдвиг фаз между плоскостями 360F/T), явные списки элементов и многооболочечные проекты, несколько орбитальных группировок в одном прогоне, вокруг Земли, Луны, Марса или любой другой планеты, Плутона или крупного спутника с использованием констант из модуля body (тех же, что используют виды solar-system и body-pnt). ПРЕСЕТЫ по опубликованным номинальным элементам: gps-baseline и gps-expandable (24 слота и шесть расширяемых пар «впереди/позади» из GPS Standard Positioning Service Performance Standard, 5-е издание 2020, таблицы 3.2-1–3.2-3), galileo (Walker 24/3/1 на 29 599,801 km и 56 deg, Galileo Open Service Service Definition Document, выпуск 1,1, таблицы 1 и 23), beidou и beidou-meo (Walker 24/3/1 на 21 528 km и 55 deg плюс три геостационарных спутника на 80, 110,5 и 140 deg E и три наклонных геосинхронных спутника на 55 deg, BeiDou Open Service Performance Standard 3,0, раздел 4,1; фаза MEO и пересечение наклонной геосинхронной орбиты на 118 deg E смоделированы, потому что стандарт их не задаёт) и glonass (24/3/1 на 19 100 km и 64,8 deg по формуле слотов из GLONASS Interface Control Document, издание 5,1, раздел 5,2). ПОКРЫТИЕ И ГЕОМЕТРИЧЕСКИЙ ФАКТОР DOP: по сетке широт и долгот и выборочному окну с маской по углу места — число видимых спутников, GDOP, PDOP, HDOP и VDOP в каждой ячейке, доступность (решение с PDOP не выше порога, по умолчанию 6) в каждой ячейке, глобально (с весом по площади) и на худшей площадке, с одними часами приёмника на каждую орбитальную группировку, если не задано clock = "common". Метод масштабируется до тысяч спутников: видимость вычисляется как скалярное произведение с половинным углом покрытия каждого спутника, а спутники в каждую эпоху разбиваются на полосы по широте подспутниковой точки, так что строка сетки проверяет лишь те, что могут быть в зоне видимости; отчёт подсчитывает сэкономленные проверки пар. JSON содержит карты сетки и прореженные трассы спутников на поверхности. VALIDATED: генератор Walker по таблице 23 из Galileo OS SDD и формуле слотов из GLONASS ICD, пресет GPS по опубликованному столбцу экваториальных пересечений из таблицы 3.2-1 SPS PS, а глобальное распределение HDOP для базового GPS по приложению B SPS PS (медиана 0,94, 95% 1,25, среднее 0,96, допуск 0,03). MODELLED: двухтельные орбиты с необязательным вековым J2, сферическое тело, только геометрическая видимость (без мощности сигнала, исправности и рельефа) и относительная фаза между разными системами, которая не является снимком какой-либо реальной даты.

Обязательные поля: (нет)
Необязательные поля: body, duration_s, step_s, mask_deg, pdop_threshold, grid_step_deg, lat_min_deg, lat_max_deg, lon_min_deg, lon_max_deg, clock, j2, track_points, max_tracks, constellation

`campaign`#

Кампания: существующие виды сценариев, составленные в один прогон, где каждое число считывается из реального прогона названного вида. Четыре раздела в любом сочетании. PHASES: цепочечная миссия на одной общей временной шкале — каждая фаза запускает один или несколько сценариев (например, подавление, затем спуфинг, затем часы в режиме holdover с инерциальной навигационной системой, идущей рядом на выбеге, затем тревога по целостности, затем восстановление); их выходные данные считываются в именованные каналы (ошибка времени часов относительно их предела, отношение несущей к плотности шума относительно порога слежения, уровень защиты относительно предела тревоги, ошибка положения, отслеживаемые спутники, флаги тревоги) по заготовке для вида или по явно заданным путям результата и передискретизируются на общую сетку удержанием нулевого порядка, с границами фаз и событиями; состояние передаётся дальше через carry (канал продолжается со значения в конце предыдущей фазы), handoff (число предыдущей фазы записывается в сценарий этой фазы) и end_at (фаза заканчивается в момент, вычисленный прогоном, например во время обнаружения монитором спуфинга). SWEEP: сетка по одному–трём ключам сценария любого вида в точечной записи (целочисленный сегмент индексирует массив таблиц, как в system.2.sisre_m), с метриками, считываемыми по пути результата, и, при числе прогонов больше одного, ансамблем Монте-Карло с заданным seed в каждом узле. MONTE_CARLO: реализация k запускается с base_seed + k; для каждой метрики сообщаются среднее, стандартное отклонение, 5-й/50-й/95-й процентили по ближайшему рангу и бутстреп-доверительный интервал 95% для среднего с фиксированным seed. COMPOSE: несколько сценариев с общими значениями (мощность и положение одного источника подавления записываются в морской и дорожный приёмники) со сводным лучшим/худшим итогом. Результат содержит хеш кампании, сводный хеш по результатам всех участников и запись единиц для каждого выданного числа; экспорты для интероперабельности записывают каждый сценарий-участник, у которого есть геометрия, в виде отдельного набора файлов. Тождества композиции проверяются: однофазная кампания воспроизводит автономный прогон бит в бит, ансамбль с фиксированным seed побайтно стабилен, а для часов с белым частотным шумом среднее по ансамблю попадает в заявленный интервал, причём разброс соответствует sqrt(q_wf * tau). MODELLED: аддитивный перенос carry и удержание нулевого порядка — это выбор моделирования, и каждая фаза несёт метку вида, который её выполнил.

Обязательные поля: (нет)
Необязательные поля: title, seed, timeline, phases, sweep, monte_carlo, compose

`leo-signal`#

Проекты сигналов LEO-PNT: параметризованные сигналы позиционирования, навигации и времени (PNT) на низких околоземных орбитах (LEO) для любой системы, диапазона и структуры. СИГНАЛ — это диапазон (центральная частота, ширина полосы передачи, распределение ITU RNSS/RDSS/MSS/EESS/non-RNSS/other) и компоненты (захват, данные, пилот; любое подмножество), у каждой из которых есть модуляция (BPSK(n) с дробным n, BOC(m,n), MBOC(6 1,p) или плоская OFDM-подобная полоса), доля мощности, необязательные смещения поднесущих FDMA, длина кода и скорость данных. Сигналы берутся из встроенных общедоступных файлов пресетов (xona-pulsar, iridium-stl, starlink-soo, centispace, generic-c-band, generic-bands; каждый с URL источника, а каждое неопубликованное значение помечено как «REPRESENTATIVE») или записываются во встроенном виде. ПО КАЖДОМУ СИГНАЛУ: ограниченная полосой спектральная плотность мощности и доля мощности каждой компоненты, которую пропускает полоса передачи (замкнутая форма BPSK рядом с численным значением), среднеквадратичная (Gabor) ширина полосы, тепловой шумовой джиттер кодового слежения контура слежения за задержкой в зависимости от C/N0 и разноса раннего и позднего по ограниченной полосой когерентной (или некогерентной) формуле раннего-позднего Betz & Kolodziejski 2009 с её учебниковой формой для неограниченной полосы и её границей Gabor при исчезающем разносе, точность определения дальности в метрах, пространство поиска при захвате (бины Доплера из максимального Доплера орбиты плюс члены генератора и пользователя, умноженные на кодовые бины), вероятность обнаружения квадратичным детектором и среднее время захвата последовательного и кодово-параллельного, коэффициент спектрального разделения сигнала с GPS L1 C/A, Galileo E1, GPS L5, Galileo E5a, E5b и E5 AltBOC и каждого из них с сигналом при деградации C/N0, а также CW, широкополосный и согласованный J/S, который выдерживает отслеживаемая компонента, по собственному аппарату SSC вида spectrum. СРАВНЕНИЕ ДИАПАЗОНОВ: ионосферная задержка первого порядка (40,3 TEC/f^2), потери в свободном пространстве, точность определения дальности при равном C/N0 и при равной EIRP и устойчивость к помехе-подавителю. Необязательные ПРОВЕРКИ ФОРМЫ сопоставляют спектр проекта с описанным измерением (согласованность MODELLED). VALIDATED: замкнутые формы мощности BPSK в полосе (90,3 % в главном лепестке) и ширины полосы Gabor, ограниченный полосой джиттер, сводящийся к учебниковой когерентной форме раннего-позднего и к своей границе Gabor, коэффициент спектрального разделения BPSK со смещением относительно его замкнутой формы по Парсевалю, единичная площадь спектра AltBOC и максимальный Доплер LEO относительно опубликованных значений Xona Pulsar (32-34 kHz) и Iridium (36 kHz). MODELLED: каждый проект, распределение мощности, уровни C/N0 и подавителя; спектры EFQPSK, CSK и OFDM приближены.

Обязательные поля: (нет)
Необязательные поля: presets, signals, receiver, acquisition, compatibility, trade, shape_checks, psd_points

`leo-pass`#

Пролёт LEO и бюджет линии по диапазонам для LEO-PNT (позиционирование, навигация и время с низкой околоземной орбиты), независимо от системы: пользователь (наземный, морской, воздушный или в помещении, неподвижный или движущийся) и один или несколько спутников LEO из DESIGNED PASS (расчётного пролёта: круговая орбита, расположенная так, что пользователь видит один пролёт с выбранным максимальным возвышением в выбранное время, солнечно-синхронная по запросу), явных ЭЛЕМЕНТОВ, TLE (двухстрочный набор элементов) через SGP4 движка или орбитальной группировки WALKER, построенной кодом проектирования группировок (сообщаются самые высокие пролёты). Диапазоны берутся из именованного пресета (универсальный многодиапазонный UHF/L/S/C, универсальный C-диапазон, Xona Pulsar X1/X5, Iridium STL, Starlink как сигнал возможности только по Доплеру, CentiSpace и необязательный пресет Celeste IOD с пометкой «WORKSHOP») или записываются в сценарий; каждый пресет указывает, являются ли его числа PUBLIC (с URL), REPRESENTATIVE или WORKSHOP. По каждому спутнику, диапазону и эпохе: возвышение, азимут, дальность, скорость изменения дальности и ускорение дальности; потери в свободном пространстве; EIRP и усиление диаграммы спутника (изопоток, гауссов луч или плоская); усиление антенны пользователя по возвышению (патч, полусферическая или изотропная); газовое затухание (ITU-R P.676-10 Annex 2), затухание в дожде (коэффициенты ITU-R P.838-3 и процедура P.618-14 по интенсивности и высоте дождя), тропосферная сцинтилляция (ITU-R P.618-14 section 2.4.1), потери проникновения в здание для пользователя в помещении (ITU-R P.2109-2), поляризационное рассогласование, шумовая температура системы и C/N0 (отношение несущей к плотности шума); Доплер и скорость изменения Доплера в замкнутой форме по скорости изменения дальности и ускорению дальности, каждые проверены центральными разностями; ионосферная задержка первого порядка 40,3 STEC/f^2 из наклонного TEC по Klobuchar или вертикальному TEC, приведённого к части ионосферы ниже спутника. Парам диапазонов даются безионосферные коэффициенты, усиление шума и шум кода на пике пролёта. Спутники MEO GNSS (пресеты Galileo или GPS) оцениваются той же моделью антенны и шума по принимаемым мощностям из интерфейсных документов, поэтому колоколообразный пролёт LEO и плоские несущие GNSS делят один график. Необязательный раздел [iot] даёт время до первого определения, энергию на определение и срок службы батареи в зависимости от скважности для заданного энергобюджета приёмника (MODELLED). Каждая пара диапазонов также даёт наклонный TEC, который восстанавливает её геометрически-независимая комбинация на пике, и сигму шума кода этой оценки (зондирование ионосферы). Необязательный раздел [spoofer] подделывает сигналы заявленной позиции, которая после начала скачком смещается или сдвигается от истинной, и запускает два монитора с заданными вероятностями ложной тревоги и пропуска обнаружения: согласованность Доплера и геометрии пролёта (измеренные скорости изменения дальности относительно предсказанных по орбитам и независимой априорной позиции и скорости, обобщённый критерий хи-квадрат по методу наименьших квадратов по окну, по каналам GNSS, LEO и всем каналам) и междиапазонная согласованность (шаг от эпохи к эпохе геометрически-независимой комбинации каждой пары диапазонов LEO, скорректированной по модели), сообщающие статистики по эпохам и момент обнаружения каждым монитором (MODELLED). Компоненты VALIDATED: потери в свободном пространстве, коэффициенты P.838-3 по его Table 5, процедуры дождя и сцинтилляции P.618-14 и потери проникновения в здание P.2109 по проверочным примерам ITU-R Study Group 3, отношение групповых задержек L1/L2 по IS-GPS-200 и максимальный Доплер неподвижного пользователя на круговой орбите по arXiv 2509,19551 Table 1. MODELLED: EIRP, диаграммы, доля Чепмена TEC ниже спутника и весь пролёт в целом.

Обязательные поля: (нет)
Необязательные поля: epoch, duration_s, step_s, user, atmosphere, ionosphere, satellite, leo_constellation, gnss, iono_free_pairs, iot, spoofer, name, description, skyline

`leo-navmsg`#

Навигационное сообщение LEO: передаваемые эфемериды и поправка часов спутника позиционирования, навигации и времени на низкой околоземной орбите (LEO) для любой орбиты, несущей и модели, с необязательными именованными пресетами (Xona Pulsar, Iridium, Starlink, CentiSpace, репрезентативная система C-диапазона, модель ATOMIC с нулевыми часами, Celeste IOD). СОДЕРЖИМОЕ: вспомогательные данные (SVID, выпуск данных, диапазон, признак исправности сигнала), синхронизация (неделя, время недели, полином часов второго порядка af0-af2 относительно toc), эфемериды в одной из четырёх моделей -- 16-параметрический кеплеровский набор из Galileo OS SIS ICD; этот набор плюс полиномы поправок вдоль трека, поперёк трека и радиальных; 22-параметрическая модель Liu et al. 2025; полином в ECEF без членов часов (ATOMIC с нулевыми часами) -- и прочие службы (вещательный набор Klobuchar, NeQuick-G ai0-ai2 с эффективным уровнем ионизации и параметры перехода от системного времени к UTC с логикой високосной секунды по ICD). ПОДГОНКА: истинная орбита, проинтегрированная с зональной гравитацией J2-J6 или EGM2008 до выбранной степени и с сопротивлением, и заданные начальным значением (seed) свободные или управляемые часы; подгонка кеплеровского набора методом Левенберга — Марквардта по неособенным элементам, затем линейные поправочные полиномы по методу наименьших квадратов; часы подгоняются за вычетом релятивистского члена, который добавляет пользователь. АНАЛИЗЫ: fit-interval-trade (ошибка дальности в сигнале в пространстве, SISRE, с глобально усреднёнными весами для высоты орбиты, в зависимости от интервала подгонки и периода обновления, только по орбите и с часами), model-comparison (четыре модели, число параметров, кодированные биты и подгонка Kshana на высотах Liu et al. рядом с опубликованными значениями), midpass-update (самый высокий пролёт над пользователем, скачок позиции, часов и дальности пользователя при каждой смене сообщения, скачок при наихудшей геометрии, PASS/FAIL относительно порога непрерывности), encode-decode (собственный документированный двоичный кадр Kshana с CRC-24Q, бюджет квантования с полушагом по каждому полю, проверка повреждённого кадра, экспорт и импорт записи в стиле RINEX-4, помеченный как расширение Kshana, и таблица CSV). VALIDATED: веса SISRE по опубликованной таблице MEO/GEO (Montenbruck et al. 2018); пользовательский алгоритм Galileo по RTKLIB на реальных вещательных эфемеридах Galileo; CRC-24Q по контрольному значению каталога и примеру кадра RTCM 1005. MODELLED: каждое значение подгонки и SISRE — это ошибка представления относительно истины, проинтегрированной Kshana (без ошибки определения или прогноза орбиты); сравнение с Liu et al. использует другие орбиты; форматы кодирования и текстовые форматы — собственные для Kshana.

Обязательные поля: (нет)
Необязательные поля: name, description, seed, analysis, preset, orbit, clock, message, trade, comparison, midpass

`leo-pvt`#

Объединённое позиционирование, навигация и время (PNT) на средних околоземных орбитах (MEO) и низких околоземных орбитах (LEO) для ЛЮБЫХ орбитальных группировок: каждая [[system]] — это пресет GNSS вида constellation-design, пресет LEO (xona-pulsar, iridium-stl, starlink-sop, centispace, generic-c-band, модель эфемерид atomic-zero-clock или другой файл пресета, каждый в собственном файле, с источниками, помеченными как «PUBLIC», «WORKSHOP» или «ПРОИЗВОДНЫЙ»), оболочки Walker или явные наборы элементов, с несущей, скоростью чипов, огибающей отношения несущей к плотности шума (C/N0) от маски возвышения до зенита, ошибкой дальности в сигнале в пространстве (SISRE), сигмой Доплера и моделью часов (собственные часы приёмника, поэтому межсистемное смещение оценивается, либо известное вещательное смещение). Четыре режима. DOPPLER: пакетное позиционирование по методу Гаусса — Ньютона по скорости изменения дальности с аналитическими частными производными, состояниями дрейфа часов и необязательной скорости и необязательным ограничением по высоте, по одному или нескольким спутникам, ошибка в зависимости от длины окна, огибающая Доплера, скорости изменения Доплера и рывка для каждой системы LEO, а также точность вдоль и поперёк трека для одного пролёта в зависимости от смещения поперёк трека (ошибка поперёк трека неограниченно растёт, когда пролёт проходит над головой; у одного пролёта есть также зеркальное решение по другую сторону трассы). Здесь выполняется сигнал возможности только по Доплеру (starlink-sop). JOINT: поэпохные фиксации по псевдодальности методом взвешенных наименьших квадратов только по GNSS, только по LEO и по обоим, сигмы по каждому измерению из модели теплового шума контура слежения за задержкой при C/N0 плюс SISRE (или фиксированная сигма, чтобы её могла подавать модель сигнала), оцененные межсистемные смещения и PDOP/HDOP/VDOP в зависимости от числа добавленных спутников LEO. POLAR: спутники в видимости и DOP в зависимости от широты для GNSS, LEO и обоих. TIMING: передача времени на Всемирное координированное время (UTC) со спутников LEO в известной позиции двухсостоянийным фильтром часов, шум процесса которого берётся из классов генераторов движка, в зависимости от C/N0 и генератора, а также выражение перехода от системного времени к UTC по IS-GPS-200; при [timing] trace = true каждая строка сообщает также свою ошибку времени и прогнозную сигму на каждой эпохе. VALIDATED: наибольший Доплер пролёта от зенита до горизонта относительно опубликованных значений Iridium (до 36 kHz) и Xona Pulsar X1 (от 32 до 34 kHz). MODELLED: всё остальное; DOP проверен на случае, выведенном вручную, фиксации — по их ковариации, а модель Доплера — по тождеству ускорения дальности.

Обязательные поля: (нет)
Необязательные поля: mode, seed, duration_s, step_s, user, dll, doppler, joint, polar, timing, system, skyline

`leo-ppp`#

Сходимость прецизионного абсолютного позиционирования (PPP) только по GNSS и с дополнением LEO: нефиксированный (float) расширенный фильтр Калмана по безионосферным коду и фазе несущей со статическими координатами станции, белыми часами приёмника, одним межсистемным смещением на каждую дополнительную систему, случайно блуждающей зенитной влажной задержкой, проецируемой через 1/sin(elevation), и нефиксированной неоднозначностью на дугу каждого спутника; прецизионная ошибка орбиты и часов белая и общая для кода и фазы спутника, поэтому каждый спутник — это одно коррелированное двухстрочное обновление в стабилизированной форме Джозефа. Измерения моделируются по той же модели с шумом, заданным начальным значением (seed), на нескольких площадках и начальных значениях, и каждый случай (сначала только GNSS, затем каждый [[case]] систем LEO, любая орбитальная группировка или пресет) сообщает медианное время сходимости (первая эпоха, после которой горизонтальная и вертикальная ошибки остаются ниже порогов, по умолчанию 10 cm), долю сошедшихся, медианные кривые ошибок и согласованность фильтра (усреднённый по прогонам NEES позиции относительно двусторонней 95%-ной полосы хи-квадрат). Дополнительно рядом приводятся опубликованные значения Li et al. (2019, J. Geod. 93:749, doi 10.1007/s00190-018-1195-2) для средних широт: 9,6 min для мульти-GNSS сокращаются до 7,0, 3,2, 2,1 и 1,3 min при 60, 96, 192 и 288 спутниках LEO. MODELLED: сравнение согласованности тренда, а не воспроизведение орбитальных группировок, шума или станций того исследования; без разрешения неоднозначностей, срывов цикла, набега фазы (phase wind-up), приливов и коррелированных во времени ошибок продуктов.

Обязательные поля: (нет)
Необязательные поля: seed, duration_s, step_s, runs, criterion_horizontal_m, criterion_vertical_m, compare_li_2019, noise, site, gnss, case

`ntn-positioning`#

Позиционирование по нисходящей линии 5G нетеррестриальной сети (NTN) в диапазоне S подвижной спутниковой службы (MSS) (диапазон 3GPP n256, нисходящая линия от 2170 до 2200 МГц; несущая по умолчанию 2172,5 МГц): граница Крамера–Рао (CRB) для времени прихода, c / (2 pi beta sqrt(2 (C/N0) T)), где beta — среднеквадратичная (по Габору) ширина полосы плоского спектра OFDM (B/sqrt(12)), и для доплеровского сдвига комплексного тона, sqrt(3 / (2 pi^2 (C/N0) T^3)), для каждого сигнала (по умолчанию канал New Radio 5 МГц с занятой полосой 4,5 МГц и узкополосный канал 200 кГц с занятой полосой 180 кГц); затем для любой орбитальной группировки LEO — определения по времени прихода нисходящей линии с неизвестными часами приёмника (с заданным начальным значением, в качестве сигмы берётся граница плюс ошибка сетевой синхронизации), их PDOP и формальная 3D-сигма, а также определение по доплеровскому сдвигу одного спутника на самом длинном пролёте при фиксированной высоте. MODELLED: шаг от ширины полосы к границе — это классическая замкнутая форма, проверенная численным интегрированием плоского и ограниченного по полосе спектров BPSK (внутренняя согласованность, без привязки к опубликованному разобранному числу), а точность позиционирования — это граница для канала без многолучевости с заявленной ошибкой синхронизации, а не достигнутый результат.

Обязательные поля: (нет)
Необязательные поля: seed, carrier_hz, signal, integration_s, doppler_integration_s, cn0_dbhz, sync_error_m, user, duration_s, step_s, system

`leo-pnt-chain`#

Одна система LEO-PNT (позиционирование, навигация и время с низкой околоземной орбиты) от начала до конца, для любой орбитальной группировки и сигнала: проект leo-signal, названный в signal_design (общедоступный пресет или встроенный проект [signal]), задаёт центр, полосу, скорость чипов и распределение EIRP диапазона [pass], бюджет линии leo-pass даёт отслеживаемое C/N0 и ограниченный полосой джиттер кода за пролёт, линия C/N0 по sin(elevation) и передаваемое SISRE сообщения [navmsg] (подогнанное на высоте спутника пролёта) питают каждую систему LEO совместного определения [fusion] leo-pvt и, при необходимости, случаи [ppp] leo-ppp; каждая передача перечислена со своим значением и единицей. MODELLED.

Обязательные поля: signal_design, pass, fusion
Необязательные поля: name, description, seed, signal, navmsg, od_sisre_m, ppp

`contact-schedule`#

Планирование наземных сеансов связи для нескольких спутников и нескольких станций: видимые окна доступа (SGP4, земная система координат IAU 2006/2000A, рефракция по ITU-R P.834, время распространения света), объём данных DVB-S2 ACM за каждый пролёт (пороги из ETSI EN 302 307-1, таблица 13) и расписание без конфликтов (один спутник на антенну с временем перенацеливания, одна станция на спутник, доставка с весами приоритета, ограниченная накопленным объёмом) жадным алгоритмом по предельной ценности, базовым вариантом «первым пришёл — первым обслужен» и точным методом ветвей и границ на малых наборах, с указанием разрыва оптимальности жадного алгоритма. MODELLED.

Обязательные поля: (нет)
Необязательные поля: epoch, duration_hours, step_s, refraction, light_time, link, satellites, stations

`acm-link`#

Один спутник над одной станцией: наклонная дальность, угол места и Es/N0 вдоль каждого прохода, MODCOD DVB-S2, выбранный на каждом шаге (пороги ETSI EN 302 307-1, таблица 13, плюс запас реализации), и объём данных, который ACM передаёт по сравнению с базовым вариантом постоянного кодирования, замыкающимся на маске. MODELLED.

Обязательные поля: (нет)
Необязательные поля: epoch, duration_hours, step_s, refraction, light_time, link, satellite, station

`aocs`#

Управление ориентацией космического аппарата: разворот жёсткого корпуса с инерциальным наведением, имеющего три или более сбалансированных маховика, при обратной связи MRP (L = -K sigma - P omega), с минимально-нормовыми моментами маховиков, ограниченными пределом каждого двигателя, методом RK4 с экстраполятором нулевого порядка; по выбору замкнутый на мультипликативный EKF по имитированному гироскопу (случайное блуждание угла и скорости) и звёздному датчику. Сообщает время успокоения, конечную и пиковую ошибку наведения, пиковые скорость и момент маховика, долю насыщения, дрейф момента импульса и, при наличии оценивателя, его ошибку ориентации и NEES. Контур истинного состояния — VALIDATED по Basilisk 2.9.1; оцениватель — MODELLED.

Обязательные поля: hub_inertia_kg_m2, k_nm, p_nms, wheels, sigma0
Необязательные поля: duration_s, dt_s, sample_s, omega0_rad_s, pointing_threshold_deg, estimator

`entry-heating`#

3-DoF вход в атмосферу материальной точки над вращающейся сферической Землёй или Марсом (баллистический или с подъёмной силой при постоянном крене), RK4, через US76, экспоненциальную атмосферу или атмосферу Марса, с конвективным нагревом в точке торможения по Саттону–Грейвсу (NASA TR R-376): пиковое замедление, тепловой поток и скоростной напор, тепловая нагрузка, дальность по поверхности, проверка энергии во вращающейся системе и рядом с ними замкнутая форма Аллена–Эггерса. Пиковое замедление проверено по опубликованному номиналу Stardust; нагрев — MODELLED.

Обязательные поля: (нет)
Необязательные поля: body, atmosphere, rho0_kg_m3, scale_height_m, entry_interface_altitude_m, velocity_frame, entry_speed_m_s, flight_path_angle_deg, heading_deg, latitude_deg, longitude_deg, mass_kg, drag_coefficient, reference_area_m2, nose_radius_m, lift_to_drag, bank_angle_deg, rotating_planet, step_s, terminal_altitude_m, max_time_s

`eo-radiometry`#

Радиометрия и качество изображения надирного формирователя изображений: яркость сцены по Ламберту на апертуре, уравнение камеры, сигнал и дробовой, темновой, считывания и квантования шум и SNR; системная MTF на частоте Найквиста (дифракция x детектор x смаз x дрожание), относительный отклик на край из неё, Q = lambda F/p и NIIRS по GIQE версии 4 без компенсации MTF. MODELLED.

Обязательные поля: (нет)
Необязательные поля: altitude_m, focal_length_m, aperture_m, pixel_pitch_um, wavelength_um, bandwidth_um, fill_factor, smear_px, jitter_px_rms, reflectance, solar_irradiance_w_m2_um, sun_zenith_deg, atmospheric_transmittance, path_radiance_w_m2_sr_um, optics_transmittance, integration_s, quantum_efficiency, dark_current_e_s, read_noise_e, full_well_e, adc_bits

`ascent-losses`#

Плоский гравитационный разворот при выведении многоступенчатого аппарата над невращающейся сферической Землёй сквозь Стандартную атмосферу США 1976 (вертикальный подъём, импульс по тангажу, тяга вдоль скорости), с интегрированием потерь на гравитацию, сопротивление, управление и противодавление и проверкой идеального dv за вычетом потерь по скорости выгорания; max-Q, пиковое ускорение и состояние выгорания. MODELLED.

Обязательные поля: (нет)
Необязательные поля: stages, payload_kg, drag_coefficient, reference_area_m2, kick_altitude_m, kick_angle_deg, kick_duration_s, step_s

`time-transfer-budget`#

Двусторонняя спутниковая передача времени и частоты между двумя станциями через геостационарный ретранслятор: двустороннее уравнение, решённое относительно T_A - T_B, со всеми невзаимными членами (задержки аппаратуры станций, ионосфера в Ku-диапазоне, транспондер, эффект Саньяка), квадратурный бюджет неопределённости, в котором член типа A — это TDEV смоделированной линии на времени усреднения, смоделированная линия с белым и фликкерным фазовым шумом и суточной невзаимностью, а также стабильность (скорость, остаточный RMS, TDEV, ADEV) любого предоставленного ряда BIPM Circular T, раздел 1, CSV вида MJD,ns или записей часов станций IGS RINEX. MODELLED.

Обязательные поля: station_a, station_b, satellite_lon_deg, transponder_ab_ns, transponder_ba_ns, white_noise_ns, uncertainty
Необязательные поля: uplink_ghz, downlink_ghz, true_offset_ns, flicker_noise_ns, diurnal_amplitude_ns, reciprocity_bias_ns, step_s, span_days, averaging_s, seed, series

`optical-atmosphere`#

MODELLED, оптический PNT через атмосферу: для оптической линии и набора наземных площадок с заданным климатом облачности сообщаются зависящие от длины волны и возвышения потери в чистом воздухе (закон видимости Кима плюс рэлеевское рассеяние), состояние турбулентности по Хафнагелю–Вэлли (дисперсия Рытова, индекс мерцаний, параметры гамма-гамма, усреднение по апертуре), доступность, определяемая погодой, относительно запаса линии (оптическая толщина облаков из логнормального климата жидкой воды, экстинкция в геометрической оптике, независимое замирание из-за турбулентности), запас линии, необходимый для целевых значений доступности, распределение длительности перерывов, рост ошибки времени и дальности за каждый перерыв по модели holdover часов, доступность при разнесении площадок с корреляцией по расстоянию и гипотетические выигрыши от методов улучшения (длина волны, приёмная апертура, снижение мерцаний адаптивной оптикой, дополнительный запас). VALIDATED как реализация заявленных формул по независимому оракулу на mpmath: дисперсия Рытова, индекс мерцаний, вероятность замирания гамма-гамма, коэффициент усреднения по апертуре, оптическая толщина облаков и чистого воздуха. MODELLED: все входные данные по погоде, методам и часам, а также допущения о независимости и копулах; сравнения с измеренной записью доступности не проводилось. Консультативный анализ, а не сертифицированный продукт по доступности или навигации.

Обязательные поля: (нет)
Необязательные поля: wavelength_nm, elevation_deg, availability_targets_pct, link, atmosphere, site, network, technique, clock, timeseries

`holdover-test`#

MODELLED испытание holdover системы синхронизации времени, оцениваемое по записи ошибки времени, которую предоставляет ОПЕРАТОР (журнал linuxptp ptp4l, phc2sys или ts2phc, журнал отслеживания или статистики chrony, журнал часов TICC, TimeLab или RINEX либо пары time_s,time_error_ns). Испытание состоит из четырёх шагов, и Kshana не выполняет ни один из них: захваченный БАЗОВЫЙ режим, ОТКЛЮЧЕНИЕ GNSS оператором (антенный кабель или выход имитатора; Kshana ничего не передаёт и ничем не управляет) в заданный момент, HOLDOVER на собственном генераторе системы и ВОССТАНОВЛЕНИЕ после того, как оператор вернёт GNSS во второй заданный момент. Запись разделяется по этим двум моментам. Базовый режим: статистика ошибки времени и маски ITU-T, написанные для захваченных часов. Holdover: статистика, доля частотного смещения, которое система удерживала (прямая по методу наименьших квадратов), маски, написанные для holdover или автономных часов, огибающая holdover ePRTC-A по заданной длительности захвата и время до превышения каждого бюджета ошибки времени. Восстановление: вошла ли |TE| в заданную полосу и когда, и оставалась ли в ней, пик и наибольший скачок. Каждый предел переписан из общедоступной таблицы ITU-T (маски синхронизации в телекоммуникациях); формулировка — «измерено относительно маски», а оба момента — заявление оператора, они не проверяются. Запись, слишком короткая для маски, получает статус INCOMPLETE и никогда не экстраполируется. См. docs/TIMING-HIL.md.

Обязательные поля: test, series
Необязательные поля: masks, budgets

`gnss-ssv`#

MODELLED доступность GNSS и уровень сигнала в космической зоне обслуживания (Space Service Volume) и за её пределами: для пользователя на сфере (глобальная оболочка из буклета ICG) или на кеплеровой траектории (от низкой околоземной орбиты до лунного перелёта) подсчитываются по каждой орбитальной группировке (GPS, GLONASS, Galileo, BDS, QZSS, NavIC) и по всем вместе сигналы, пригодные при C/N0 выше порога, — доступность не менее одного и не менее четырёх сигналов, максимальная длительность перерыва, принимаемое C/N0, геометрический фактор DOP, линии связи по главному и боковым лепесткам — с диаграммой передачи из буклета, параметрической или заданной пользователем, необязательными эффектами ионосферы вдоль касательного луча, плазмосферы и атмосферы и необязательной конструкцией приёмника для слабых сигналов; а также бортовой расширенный фильтр Калмана GNSS для аппаратов на HEO и на лунном перелёте (орбитальная динамика, давление солнечного излучения, третьи тела, часы) и относительная навигация группы из нескольких аппаратов по однократно разностным псевдодальностям. Проверено по таблицам буклета ICG SSV в рамках предварительной регистрации (xval/gnss-ssv)

Обязательные поля: shell|trajectory|navigation
Необязательные поля: name, constellations, transmit, receiver, atmosphere, formation

`mission-thread`#

MODELLED бюджет ошибок навигации и времени заданной цепочки фаз миссии от запуска до входа в атмосферу: запуск и выведение, сближение и стыковка на низкой околоземной орбите (повторяемая), транслунная инжекция и цислунный перелёт, сближение на лунной орбите, спуск, пребывание на поверхности, взлёт и возвращение с входом в атмосферу, причём каждая фаза — один из восьми зарегистрированных видов со своими датчиками и фильтром. Ковариация 6x6, часы и система отсчёта передаются от фазы к фазе по заданному правилу (перенос, раздувание или повторный захват); преобразования систем отсчёта и шкал времени (GCRF, MCI, MCMF, UTC, TT, TDB, LTC) — самостоятельные строки бюджета, причём состояние Луны берётся из необязательного фрагмента ядра DE440, а аналитический ряд служит заявленным запасным вариантом. Необязательное наложение наземной сети задаёт долю времени слежения каждой фазы. Сообщает бюджет по фазам (1-сигма на входе, в пике и на выходе, каждый вклад с единицей измерения), запас относительно заданного требования, самое слабое звено, события и рисунок временной шкалы. MODELLED: каждое число — заданный входной параметр; цепочка следует одному стеку, и никакой аппарат не моделируется. Только открытые источники; не связано ни с каким агентством и не одобрено им; программное обеспечение консультативного характера, не сертифицированное навигационное оборудование.

Обязательные поля: epoch_utc, entry, phase
Необязательные поля: kind, title, seed, moon_kernel_path, ground_network

Виды сценариев

clock#

inertial#

orbit#

ephemeris#

integrity#

lunar-integrity#

lunar-time-offset#

lunar-vlbi#

lunar-joint-od-clock#

lunar-frame-realisation#

moonlight-service-volume#

lunar-differential-pnt#

lunar-station-coverage#

lunar-interop-export#

timetransfer#

quantum-anomaly-detect#

quantum-gnss-free-nav#

quantum-time-transfer#

hybrid#

fusion#

hybrid-ukf#

gnss-ins#

gnss-sim#

jamming#

spoof#

spoof-detect#

sweep#

sweep-nd#

gravity-map#

terrain-nav#

terrain-slam#

combined-altpnt#

pvt#

mars-pnt#

impairment-eval#

quantum-trade#

space-weather#

oem-interop#

launch-window#

reentry#

eo-coverage#

space-packet#

attitude-budget#

passes#

link-budget#

lunar-time-budget#

lunar-ascent#

lunar-surface#

lunar-descent#

lunar-orbit-rendezvous#

hybrid-optical-rf#

cislunar-observability#

conflict-resilience#

lunar-attack-surface#

realtime-frame-eop#

aperture-duty-cycle#

lunar-jamming#

ins-trn-coast#

lunar-vlbi-fim#

tracking-loop#

araim-reference-check#

lunar-frame-campaign#

lunar-llr-datum#

lunar-beacon#

earth-gnss-lunar#

lunar-infrastructure#

cislunar-arc-recovery#

telecom-timing#

slot-timing#

spectrum#

solar-system#

body-pnt#

constellation-design#

campaign#

leo-signal#

leo-pass#

leo-navmsg#

leo-pvt#

leo-ppp#