Один рушій для всього ланцюга відмов.

Поширення SGP4/SDP4 за реальними двостроковими елементами (закомічений знімок GPS з Celestrak) або синтетичні угруповання Волкера, середні елементи яких реалізують формулу i:T/P/F з похибкою менше 1 km за 24 h. Видимість кількох орбітальних угруповань, геометричний чинник погіршення точності та доступність GNSS, оптимізатор конструкції орбітальних угруповань, розрахунок розмірів смуг покриття та перебір конструкцій Волкера, що повідомляє Парето-оптимальні конструкції на сітці «площини × супутники».

Числовий пропагатор (Коуелла), що доповнює аналітичний шлях SGP4/SDP4, з ієрархічною силовою моделлю: задача двох тіл + повне зональне поле J2–J6, необов'язковий тесеральний геопотенціал EGM2008 до степеня/порядку 70, гравітація Сонця та Місяця як третіх тіл, що залежить від епохи (вбудовані ефемериди, без ядра DE/SPK), тиск сонячного випромінювання з конічною тінню/напівтінню, атмосферне гальмування, постньютонівська релятивістська поправка Шварцшильда та член Лензе—Тіррінга (захоплення системи відліку) — з вибором адаптивних інтеграторів: RK4 з подвоєнням кроку або Дорманда—Принса RK5(4).

Імпульсні вузли ΔV із поширенням коваріації 6×6, інтегрування скінченних імпульсів, перевірене за рівнянням ракети Ціолковського з похибкою менше 0,01 %, однооборотний розв'язувач Ламберта Іцо (2015) і точний пропагатор Кеплера в універсальних змінних, а також перебір porkchop (запуск × прибуття) C3 / V∞ прибуття, виданий як контурна сітка JSON — шар симуляції продуктивності над GMAT/Orekit.

Шкали UTC / TAI / TT / UT1 із високосними секундами IERS, API юліанських дат, кут обертання Землі IAU-2000, TEME ↔ ECEF на основі GMST і геодезичні системи WGS-84, повна нутація IAU 2000A/2000B і прецесія IAU 2006, а також редукція без рівнодення GCRS↔ITRS IAU 2006/2000A на основі CIO з рухом полюса IERS — перевірена побітово за векторами SOFA/ERFA і незалежно перехресно перевірена за ANISE (SPICE на чистому Rust): GCRS→ITRS відносно ANISE ITRF93, ті самі EOP IERS, збігаються до ≤ 0,86 m на поверхні / ≤ 3,6 m на орбіті GNSS.

Прогнозувальник орієнтації Землі в операційному стилі — метод найменших квадратів за зміщенням, швидкістю та основними періодичними членами на замикальному вікні — виміряний за справді архівними прогнозами Bulletin A, а не за інерційним прогнозом. Типовим автономним входом є реальний продукт IERS finals2000A з рядками прогнозів Bulletin A, тож порожній запуск видає заповнену таблицю за горизонтами, а не порожню. UT1 і рух полюса повідомляються на спільному наборі рядків разом зі своєю комбінацією, тож спільний показник є однією статистикою, а не квадратурною сумою двох різних вибірок.

Тривісна безплатформена INS — кватерніонна орієнтація, механізація WGS-84 NED, компенсація конінгу/склінгу та повна детермінована модель похибок IMU — плюс акселерометр на холодноатомному інтерферометрі з перших принципів (фаза Маха—Цендера, проєкційний шум, спад контрасту, зв'язок із вібрацією) і фільтр часток для навігації за рельєфом/гравітацією без GPS.

Похибка позиції залежно від тривалості дрейфу за бюджетом похибок IMU — зсув, випадкове блукання та масштабний коефіцієнт, кожен зі своїм законом зростання та своєю часткою в перетині — тож ціна відмови навігації є обчисленою кривою, а не перебраною швидкістю дрейфу. Перетини порогів є вихідними даними рушія з названим домінантним внеском у кожному, для чотирьох класів IMU, а інтервал рельєфних поправок оцінюється у власному блоці, тож основні перетини лишаються без допомоги.

Модель вимірювань холодноатомного гравіметра, білий шумовий поріг якого виведено з фізики акселерометра CAI, повністю нормоване сферично-гармонічне поле гравітаційних аномалій низького степеня плюс синтетичні масконі та фільтр часток для зіставлення з гравітаційною картою — розширений до навігації за рельєфом на основі цифрової моделі висот SRTM (TERCOM/SITAN), головного геомагнітного поля IGRF-14 до степеня/порядку 13 і комбінованого навігатора за гравітацією, магнітним полем і рельєфом, що поєднує всі три скалярні канали. 60-хвилинний бенчмарк без GPS — відмова близько 700 km / одна година, коли інерціальний розв'язок дрейфує приблизно до 70 km — відновлюється приблизно до 145 m ієрархічним зіставлювачем від грубого до точного: ціль ESA NAVISP Quantum Wayfarer.

15-станний EKF станів похибок, що дрейфує крізь відмови GNSS на відкаліброваному інерціальному розв'язку; щільно зв'язаний псевдодальномірний режим, що продовжує поправки з менш ніж чотирма супутниками; зв'язаний фільтр годинника та позиції; загальний сигма-точковий (unscented) оцінювач Калмана; щільно зв'язаний навігатор GNSS/INS на UKF, перевірений до 0,77 m RMS крізь відмову тривалістю 120 s на вигнутому прольоті LEO; і повний 17-станний щільно зв'язаний UKF GNSS/INS, чий квантовий CAI-дрейф проходить відмову за похідним випадковим блуканням швидкості холодноатомного акселерометра.

Відновлення орбітального стану за вимірюваннями дальності з наземної станції, що поєднує силову модель двох тіл + J2 та інтегратор RK4 із пакетним диференціальним коректором Гаусса—Ньютона (субметрово / mm·s⁻¹ за безшумними дальностями, ~2 m за шумового порога 5 m) і послідовним варіантом на unscented-фільтрі.

Загальний багаторазовий шар інформації Фішера / Крамера—Рао (src/fim.rs): інформаційна матриця M = HᵀWH, нижня межа Крамера—Рао, ранг спостережуваності та нуль-простір дефекту датуму (псевдообернена Мура—Пенроуза), а також скаляри D/A/E/T-оптимального планування експерименту із симетричного власного розв'язувача Якобі. Вона лежить в основі рушія DOP, межі пасивної геолокації та результату спостережуваності абсолютної місячної станції — внутрішня дальнометрія залишає дефект датуму жорсткого тіла з шістьма ступенями свободи, який прив'язка земної бази VLBI відновлює для розрідженого угруповання й загострює для насиченого, а абсолютний датум замикається на трьох неколінеарних земних станціях.

Пропагатор кругової обмеженої задачі трьох тіл Земля—Місяць (CR3BP) у системі, що обертається, — збережена стала Якобі та всі п'ять точок Лагранжа — із матрицею переходу станів 6×6 і одностріловим диференціальним коректором, що дає справді періодичні гало-орбіти / майже прямолінійні гало-орбіти (NRHO): він відтворює опубліковану південну NRHO L2 9:2 (орбіту Gateway) із періодом ~6,57 діб і периселеною ~3 250 km. Плюс геометрія цисмісячного PNT LunaNet / LNIS (редукція MCI↔MCMF, селенографічні координати) із прольотом ARAIM на південному полюсі Місяця, що чесно виявляє прогалину цілісності: σ_URE близько 30 m піднімає рівень захисту значно вище порогу тривоги 50 m.

Реалізує місячну тілозв'язану систему відліку за кампанією спостережень: зважена підгонка подібності Гаусса—Ньютона за геометрією станція—рефлектор, що повідомляє датум, його коваріацію та найгірше визначену вісь. Зв'язану калібру системи відліку та шкали часу несуть явно, а не поглинають, тож дефект рангу видно у звіті, а не поховано в псевдооберненій матриці.

Перебирає ілюстративне угруповання класу Moonlight/LCNS за селенографічною сіткою: видимість, геометричний чинник погіршення точності, покриття та рівні захисту ARAIM для кожної епохи відносно настроюваного порогу тривоги. Точність дальності сигналу в просторі є параметром, тож перебір відповідає на вимогу до дальності в усій зоні, а не на «пройдено/не пройдено» за одного фіксованого значення.

Вимірює, наскільки три незалежні авторитетні місячні ефемериди справді розходяться, і перетворює це на закон проєктування: бюджет похибки системи відліку відносно ефемерид, який успадковує користувач зі змішаними провайдерами, і допуск узгодженості, якого має дотримуватися провайдер, щоб утримати цей бюджет у заявленій межі.

Лінійна алгебра, потрібна самореферентному місячному угрупованню, щоб виявляти власні збої без наземної істини: зважений паритетний проєктор у ранг-дефіцитній псевдооберненій формі, що переживає калібр датуму та шкали часу, виявність для кожного вузла, мінімальне виявне зміщення Баарда та кількості виявлення/ідентифікації візантійських блок-іскор за реальною міжвузловою геометрією DE440.

Замінює змодельовану кампанію реальними даними: 337 архівних нормальних точок лазерної локації Місяця ILRS для п'яти масивів ретрорефлекторів, причому кожне спостереження зважено за його власною записаною прецизійністю з файлу. Координати рефлекторів — це каталог DE440 у головних осях, що зберігається під власною назвою файлу окремо від таблиці DE430 у середній земній системі: якщо подати один із них у обертання іншого, рефлектор зсувається на сотні метрів, а жодна перевірка не спрацьовує, бо обидва набори є коректно сформованими координатами.

Диференційні поправки між місячною опорною станцією та користувачем. Скасування загальної складової є точною тотожністю; залишок просторової декореляції — це геометрична модель першого порядку, що зростає з довжиною бази, а бюджет залишків каналу передавання поправок наведено поруч, щоб обмежувальний доданок залишався видимим і не зливався в одне число.

Часи перетину для кожного класу годинників у місячній шкалі часу — коли кожен клас генераторів (осциляторів) перестає відповідати заданій межі без оновлення — разом із місячною геодезичною спостережною величиною VLBI та інформацією Фішера, яку вона вносить у датум.

Зона обслуговування розраховується за опублікованими проєктами орбітальних угруповань, а не за ілюстративним: еталонний набір із п'яти супутників для демонстрації сумісності LANS, випадки LNCSS для 8, 12 та 16 супутників і чотири апарати, що справді перебували на місячній орбіті 2023-01-01 за даними JPL Horizons. Кожен файл вказує власну систему відліку та власний клас походження; горизонт за межами табульованих ефемерид відхиляється, а не екстраполюється; ілюстративний кеплерів результат виводиться поруч з отриманим разом із різницею між ними і ніколи не замінюється ним.

Співвідношення потужностей завадного передавача і сигналу для кожного супутника на реальних місячних похилих дальностях, причому бік корисного сигналу зберігається як розподіл, а не згортається до медіани, тож контур відмови містить смугу невизначеності, яку фактично створює геометрія ретранслятора. Два критерії наведено поруч: порогове співвідношення потужностей і втрату захоплення, обчислену за динамікою контурів стеження. Орбітальний район захоплення перебирається за висотою передавача та шириною променя, і якщо сітка ніколи не досягає захоплення на лімбі, у звіті це зазначено і виводиться нестача.

Накопичує похідні місячної затримки VLBI в інформаційну матрицю Фішера за розкладом «бази за епохами» і повертає коваріацію координат станцій, так що перехід від прецизійності затримки до сигми координат оцінюється, а не припускається. Вільну мережу наведено поруч із мережею з фіксованим датумом, із названими дефектом рангу та ненаглядним напрямком. Коваріацію точки на поверхні відокремлено від коваріації земної станції, оскільки частинна похідна для маяка ближнього поля є різницею двох одиничних векторів станцій і поводиться не так, як у випадку дальнього поля.

Відкритий рушій радіометричної навігації для дальнього космосу та Марса: ітеративне світлове запізнення плюс затримка Шапіро, дво-, одно- та триканальні Доплер і дальність (двоплечова модель Мойєра), когерентне перевипромінювання транспондера, регенеративне/PN-вимірювання дальності та Δ-DOR; введення/виведення CCSDS-TDM; редукований динамічний квадратно-кореневий інформаційний фільтр (емпіричні прискорення, бортовий годинник і опір атмосфери Марса), що виконує визначення орбіти Mars-LMO у синтетичному замкненому циклі; злиття одно- і двоканальних вимірювань; а також орбітальне угруповання ареостаціонарних ретрансляторів MARCONI зі наскрізним симулятором характеристик GSE.

Ін'єкція несправностей надає міжмодальному монітору потужність виявлення замість безвідмовного проходження: мінімальне виявне зміщення по кожній осі за заданого бюджету хибних тривог і пропущених виявлень. Після передачі керування коваріація, що знову зростає, розповсюджується щодо порогів сповіщення, тож у звіті вказано, як довго рішення за однією модальністю залишається в їхніх межах, а не лише те, що передача була безперервною. Оптичні та радіоканали вимірювання дальності порівнюються лише за однакового часу накопичення та шляху, а звіт відмовляється утворювати відношення до значення, яке було обране, а не виміряне.

Знімкова та RAIM із розділенням рішень з горизонтальним і вертикальним рівнями захисту (HPL/VPL), виявленням і виключенням несправностей та діаграмами цілісності Стенфорда — плюс явний рівень захисту за бюджетом ризику цілісності (MHSS) з режимом несправності всього орбітального угруповання для двох і більше угруповань (EU ARAIM / DO-316).

Рівні захисту MHSS рушія розраховуються за власними опублікованими робочими прикладами еталонного бортового алгоритму робочої групи C ЄС і США, кожен з яких переписано з вказівкою URL, дати отримання, сторінки та SHA-256 файлу і зберігається у двох місцях, збіг між якими перевіряє тест. Приймальним вектором є внутрішньо узгоджений документ Reference Airborne Algorithm Description Document v3.1, додаток D. Звіт Milestone 3 містить два внутрішні дефекти — друкарську помилку в знаку в геометрії та множник хибної тривоги, обчислений для 57 режимів несправності, тоді як у тексті йдеться про один, — тому його рівні захисту наведено як виміряні розбіжності, а не оцінено, а дефекти продемонстровано запуском власних чисел документа.

Рівні захисту SBAS / WAAS у формі зваженого методу найменших квадратів DO-229E (K-фактори для точного заходу на посадку та руху на маршруті) і двочастотна безіоносферна комбінація L1/L5 (IS-GPS-705), що лежить в основі DO-316, з геометрією рівня захисту, перехресно перевіреною за еталонною реалізацією лінійної алгебри.

Двостановий калманівський holdover, стабільність сімейства Аллана (ADEV / MDEV / TDEV / HDEV) із довірчими інтервалами та повна п'ятикоефіцієнтна степенева апроксимація IEEE-1139, а також експлуатаційні методи передавання — TWSTFT із замкненою формою Саньяка BIPM, спільне спостереження GNSS, безіоносферне передавання PPP, вільнопросторовий оптичний канал із турбулентними мерехтіннями та шкала часу ансамблю годинників з інверсно-дисперсійним зважуванням. Калькулятор holdover годинника без ГНСС (GNSS) інвертує зростання похибки вибігу за ван Лоаном у holdover до порогу — як довго годинник працює вільно, поки його похибка часу не перевищить бюджет, — для класичних і квантових класів годинників; змодельовано, і чесно зазначено, що для дуже стабільного годинника holdover до жорсткого порогу визначається припущеним рівнем шуму на великих тау, а не наведеним ADEV.

Пряме синтезування псевдодальності / Доплера з іоносферою Klobuchar (широкомовною) та IONEX / сіткою TEC (виміряною) — зокрема розбирач файлів IONEX, інтерполяція за часом і відображення косості тонкої оболонки — тропосфера Саастамойнена + Niell та знімковий RAIM.

Реальне положення приймача, розв'язане за реальними кодовими псевдодальностями RINEX і широкомовними ефемеридами ітераційним зваженим методом найменших квадратів — поправка Саньяка/обертання Землі, широкомовний годинник із TGD, двочастотна безіоносферна комбінація L1/L2 (або одночастотна Klobuchar), тропосфера Саастамойнена/Niell, зважування за кутом місця, DOP та знімковий RAIM.

Модель глушіння за бюджетом лінії (J/S → ефективне C/N₀ → втрата захоплення), стохастичний детектор спуфінгу часу (енергетичний тест Неймана–Пірсона / χ²₁ із Монте-Карло P_fa/P_md та показником безпеки Security FoM, що дорівнює 1 − P_md) і багаторівневий детектор спуфінгу, що поєднує паритетний тест узгодженості RAIM, радіомонітор потужності AGC та монітор якості сигналу (SQM). Плюс бюджет похибки квантово-інерційного рахунку шляху, що складає біле шумове зміщення холодноатомного інтерферометра із залишковим зміщенням (перехресно перевірене незалежним інтегратором) і похибкою масштабного коефіцієнта в показник дрейфу положення за час holdover — інерційний двійник holdover годинника.

Шар характеристик сигналу між бюджетом лінії та вимірювальною областю: спектральні густини потужності одиничної площі для BPSK-R(n) і синусоїдального BOC(m,n), коефіцієнт спектрального розділення, що виводить коефіцієнт протидії глушінню Q, який безпосередньо споживає модель глушіння, з фактичних спектрів сигналу та завади, середньоквадратична (Габорова) ширина смуги, що задає інформаційний зміст вимірювання дальності (BOC > BPSK), тепловий шум джитера стеження за кодом когерентного контуру DLL «раніше–пізніше», когерентна обвідна похибки багатопроменевості «раніше мінус пізніше» із придушенням вузьким корелятором та компроміс при проєктуванні кодів дальності (бічні пелюстки автокореляції m-послідовності/Голда і тризначна межа перехресної кореляції Голда, а також інверсія довжини коду в однозначну дальність). Це аналіз характеристик сигналу, а не проєктування радіонавантаження чи антенного обладнання.

Визначення місця джерела глушіння чи спуфінгу (або випадкового джерела для зворотного PNT) за гіперболоїдами різниці часу прибуття в мережі приймачів методом найменших квадратів Гауса–Ньютона; додавання різниці частот прибуття з рухомими приймачами спільно відновлює положення та швидкість випромінювача, з межею Крамера–Рао для коваріації положення, що випливає з геометрії мережі. Модель точкового джерела прямої видимості — без доданків багатопроменевості / NLOS, зміщення годинника приймача чи рефракції.

Приймання широкомовних ефемерид RINEX-3 для кількох ГНСС (GPS, Galileo, QZSS, BeiDou, GLONASS), розбирач спостережень RINEX-3 (макет спостережень RINEX 4,00 має розбиратися, але жоден файл 4,00 крізь нього не прочитано; навігаційні файли RINEX 4 відхиляються за назвою), читач/записувач точних ефемерид SP3-c/d з інтерполяцією Лагранжа, експорт CCSDS OEM 2,0 + OMM (середні елементи) для інструментів динаміки польоту (GMAT, Orekit, STK), а також розбір і генерація повідомлень з даними стеження CCSDS-TDM (503) для радіометричного стеження в дальньому космосі.

Перехресне посилання «вимога — модуль — тест — оракул — статус», згенероване самим рушієм (Markdown/CSV), з модульно протестованими інваріантами чесності: рядок можна позначити як validated лише за наявності незалежного зовнішнього оракула (NIST / AIAA / SOFA / IGS / опубліковане значення), щоб внутрішня перевірка самоузгодженості не могла видати себе за валідацію, — а апаратні можливості та можливості підсилювача потужності (PA), яких Kshana не забезпечує, записано як прогалини, що належать партнеру. Виконувана основа для перехресного посилання верифікації за ECSS-E-ST-10-02.

Кожне числове поле, яке видає сценарій, має одиницю та клас походження із закритого словника, з визначенням там, де воно існує, і публікується як машиночитна схема поряд із рушієм. Храповий шлюз запускає кожен вбудований вид і завершується помилкою на полі, що не має жодного; види, які ще не завершені, названо по одному з причиною, чому кожен досі відкритий, і цей перелік може лише скорочуватися. Звіти, що вказують власні сталі, — односторонній бюджет лінії, оптичний і радіобюджет — дають змогу читачеві перерахувати головний показник лише зі звіту.

Бюджети проєктування місій першого порядку, кожен як сценарій, що виконується: двотільна геометрія запуску та виведення (азимут запуску, мінімальний нахил, виграш від обертання Землі, Δv зміни площини з доглегом, добові можливості), балістичний коридор входу Аллена–Егерса (пікове сповільнення, швидкості піку перевантаження та піку нагріву), геометрія покриття для спостереження Землі (смуга захоплення / GSD в надирі / доступ поза надиром / періодичність повторного огляду за космічним трикутником SMAD), бюджет похибок орієнтації та наведення в 3 ступенях свободи (гравітаційно-градієнтний момент + бюджет наведення RSS), прогноз проходів наземної станції (AOS/TCA/LOS, максимальна висота, доступ) та односторонній бюджет лінії за рівнянням лінії CCSDS 401 / DSN 810-005 (FSPL, C/N₀, Eb/N₀, запас, замикання). Аналітичний шар до апаратної реалізації нижче STK/GMAT/Basilisk — змодельовані бюджети першого порядку, а не заміна моделювання з 6 ступенями свободи чи радіометричної.

На вході — план контактів і кількість апертур; на виході — навігаційний робочий цикл, робочий цикл зв'язку, відмова та конкуренція для кожного сеансу. Політику арбітражу в звіті названо, а не мається на увазі, а сеанс, який не вдалося обслужити повністю, повідомляє частку, що була втрачена, а не губиться в середньому значенні.

Модель середовища космічної погоди: індекси сонячної (F10.7 / центрований 81-добовий F10.7a) і геомагнітної (Kp, з визначальною таблицею Kp↔ap) активності, екзосферна температура за Жаккіа-1971, яку вони задають, а також скоригована за активністю та статична густина нейтрального газу термосфери на заданій висоті — залежність густини від сонячного циклу, яку статична атмосфера не враховує. Відкалібрований зв'язок першого порядку через висоту шкали, а не атмосфера NRLMSISE, перевірена за даними.

Тестовий стенд оцінювання виявлення радіозавад: розмічений, обґрунтований параметрами синтетичний корпус (номінальний / глушіння / спуфінг часу / спуфінг положення / багатопроменевість), агностичний щодо детектора каркас ROC/AUC, що оцінює будь-який детектор із Pd для кожного класу за цільової Pfa, і розрив оптимізму між розподілом навчання та поза ним. Глибше дослідження розриву оптимізму розширює це до панелі з 13 детекторів (енергетичний / AGC / SQM / паритетний, плюс детектори на основі логістичної регресії та багатошарового перцептрона з одним прихованим шаром із фіксованим зерном (seed)), законів масштабування всередині та поза розподілом із перестановочною нульовою гіпотезою і предиктора поза розподілом за принципом «залишити один». Програмно визначений приймач на вході (необроблені IQ/ПЧ → ранній/точний/пізній відводи корелятора → SQM) і адаптери введення реальних даних (RINEX, u-blox UBX, GnssLogger, JammerTest, Yunnan, SatGrid) дають змогу тим самим детекторам працювати із записами, наданими локально. Плюс компроміс квантового й класичного PNT, що кількісно оцінює вигоду holdover кандидатного годинника та інерційного датчика за виміряною кривою ADEV порівняно з класичним базовим рівнем, з огинаючою стійкості без ГНСС залежно від часу. Змодельовані робочі характеристики — ніколи не польові дані чи IQ, без вердикту «добре/погано».

Відтворювана карта того, де квантовий датчик випереджає свій класичний аналог за невизначеності параметрів: холодноатомний проти навігаційного класу рахунок шляху та оптичний проти чипового годинника holdover, залежно від тривалості перерви та вібрації платформи, причому кожна крива має мітку технологічної готовності. Відтворюється через cargo run --bin crossover_study. Змодельовані бюджети характеристик — вхідні дані є опублікованими або обмеженими коефіцієнтами, а не польовими даними.

Межа недетектованої похибки часу під час спуфінгу ГНСС (GNSS), обмежена holdover: за наявності незалежної перехресної перевірки похибку наданого часу обмежено k-сигма порогом монітора, дисперсією вибігу за ван Лоаном за час виявлення та часом до тривоги CUSUM. Відкалібровано на реально записаному спуфінгу (JammerTest 2024) і відтворюється через cargo run --example tpl_jammertest. Змодельована композиція, умовна щодо виявлення — скінченної безумовної межі не існує, оскільки досить повільний лінійний наріст обходить одиничний монітор із допомогою годинника.

Механізм оцінювання, узгоджений із рамковою структурою (категорії DHS RPCF), що зіставляє змодельовану поведінку архітектури з підоцінками за вимірами, а потім з'ясовує, чи є будь-яка єдина складена оцінка або рівень зрілості стабільною основою для рішення — через симплекс зважування Діріхле, нестабільність рангів за Кендаллом-тау, частоту зміни переможця top-1 та згортання різноманітності спільної моди (Hill-N2) — зі звітом гарантій із хешем цілісності. Відтворюється через cargo run --example resilience_report. Змодельовані синтетичні архітектури, узгоджені з RPCF v2.0; самооцінка, а не сертифікація.

Міст від пропущеного виявлення до цілісності: невиявлене зміщення, що залишилося через пропущене виявлення спуфінгу / глушіння (jamming) / RAIM, збільшує ефективну похибку положення, яку, зіставивши з контекстними порогами сповіщення, класифікують за областями цілісності Stanford-ESA (доступно / недоступно / оманливо / небезпечно). Складає зовнішньо прив'язану класифікацію Stanford для RAIM; не додає нової математики цілісності.

Погляд на рентабельність витрат на одиницю покриття — вартість на одиницю наданого покриття для компромісу між орбітальними угрупованнями / архітектурами. Складова покриття складає перевірену геометрію покриття, а арифметика покрита модульними тестами, але вартість є вхідним даним користувача, тож відношення є засобом планування, а не зовнішньо перевіреною величиною (тому, чесно кажучи, без позначки доказу).

Версійований самоописовий конверт, що загортає результат сценарію з його видом, версією схеми та мітками «змодельовано/перевірено», щоб збережений артефакт залишався самодокументованим, а старіші конверти лишалися зворотно сумісними для читання.

Оцінює, чи можна довіряти навігаційному визначенню судна за NMEA 0183, що його приймач і прилади вже видають: оцінка 0–100, три смуги та причини за ними — для кожної епохи, пакетно, наживо або як шлюз. Монітори порівнюють визначення з власним рухом судна, датчиком курсу, лагом швидкості та рівнями супутникових сигналів. Консультативне програмне забезпечення, не навігаційне обладнання із затвердженням типу: відповідальність залишається на операторі. Арифметику моніторів перевірено незалежними бібліотеками; правило й пороги оцінки є власними для проєкту і залишаються змодельованими.

Записує синтетичний NMEA 0183 для сценарного рейсу з подіями глушіння, відведення положення, спуфінгу часу та повторного відтворення, заданими інструктором, разом із журналом інструктора, щоб екіпаж міг побачити, як виглядає погіршене визначення на власних приладах. Лише текст, ніколи для живих навігаційних систем судна; нічого не передається і радіосигнал не створюється. Речення та їхні декодовані значення перевіряються; моделі приймача, неба та подій є змодельованими.

Будує добову карту GeoJSON місць, де повітряні судна (ADS-B) і кораблі (AIS) повідомляли про погіршені навігаційні дані, з відкрито ліцензованих вхідних даних, а також частку маршруту, що проходить через погіршені комірки. Погіршена комірка — це твердження про повідомлені поля точності чи неправдоподібні положення, а не висновок про наявність завад, і комірка, яку ніхто не спостерігав, не є доказом чистого маршруту. Минулі звіти, а не прогноз.

Експортує потік довіри як метрики Prometheus, OpenTelemetry (OTLP/HTTP) і події syslog CEF або LEEF через stdout, HTTP, UDP чи TCP, щоб центр операцій безпеки бачив навігаційну несправність поруч зі своїми іншими сповіщеннями. Мертвий колектор не зупиняє оцінювання і не лишається непоміченим. Prometheus, OTLP і CEF читаються назад незалежними розбирачами; LEEF перевіряється лише за власною специфікацією.

Збирає вікно навколо події довіри в ланцюжковий за хешами пакет, підписаний Ed25519, який будь-хто може перевірити офлайн: змінений, вилучений, підмінений чи доданий файл, повторно підписаний пакет або хибний закріплений ключ буде названо. До нього прив'язується необов'язковий маркер часу RFC 3161. Технічний запис, а не юридична думка, не констатація факту і не засвідчення.

Записує рух транспортного засобу та події сценарію як траєкторію CSV і NMEA 0183 для лабораторного симулятора GNSS: стовпці в земній, геодезичній та локальній швидкості, орієнтація та UTC. Лише рух і події: сигнал не записується і жодних характеристик симулятора чи приймача не заявляється.

Зіставляє результати Kshana з положеннями публічних рамкових документів (настанови IMO для суден, EU NIS2 стаття 21, EN 16803, рамкова структура DHS США для стійкого PNT і настанови EASA для авіації) лише за номером положення, заповнюючи їх із наданих вами прогонів, і вказує, для яких рядків набір прогонів підтримує докази для (supports evidence for), з прогалиною для кожного рядка. Це не висновок про те, що будь-який рамковий документ виконано, і не оцінка чи схвалення будь-ким.

Відкритий верифікатор на чистому Rust на стороні приймача для автентифікації навігаційних повідомлень Galileo Open Service: він перевіряє, навігаційні дані яких супутників приймач може автентифікувати зі сторінок I/NAV або потоку u-blox UBX, через перевірки відкритого ключа, ланцюга ключів і міток за специфікацією сигналу в космосі, і повідомляє про автентифікацію для кожного супутника та кожного моменту часу. Він автентифікує дані; він не заявляє жодних характеристик протидії спуфінгу.

Які супутники бачить місце, коли будівлі, причали, крани чи рельєф закривають частину неба, і що це робить із геометричним чинником DOP (погіршення точності) та горизонтальним еліпсом похибок. Азимутально залежний обрій замінює єдину відсічку за кутом місця; видимий набір, його DOP та еліпс видаються для кожної епохи та кожного орбітального угруповання. Обрій прибирає супутники прямої видимості і більше нічого: він не моделює ні відбиття, ні дифракцію, ні рівень сигналу.

Редукції міського каньйону, сектора та рельєфу до таблиці обрію, чотири репрезентативні пресети (міська вулиця, підхід до гавані, фіорд, контейнерний термінал) і функції, що складають їх у скайплот і хмару Монте-Карло, із CLI, MCP, Python і браузера. Пресети є репрезентативними геометріями із вибраними, вказаними розмірами, а не зйомками, і редукції перевірено лише за значеннями, обчисленими вручну.

Ставить геометрію супутників поряд з оцінкою довіри до приймача і називає клас для кожного відрахування: втрата сигналу, погана геометрія або невідповідність між заявленим приймачем DOP та DOP, виведеним із видимих супутників. Геометрія оцінюється лише тоді, коли вона відома, а мітка є головною: балів коштує лише погана геометрія. Консультативне програмне забезпечення, не навігаційне обладнання із затвердженням типу.

Одне відтворюване дослідження того, що могла б робити місячна опорна станція на південному полюсі за публічних припущень: карта покриття та точності над полярним районом (процентильна виправлена й невиправлена похибка положення, доступність із причиною для кожної недоступної епохи, рівні захисту та бюджет каналу поправок), часова лабораторія, що утримує місячний опорний час на атомному годиннику, і геодезія доданого лазерного ретрорефлектора та маяка VLBI щодо датума з п'яти масивів. Кожне вхідне значення позначено публічним джерелом або як ілюстративне. Це не твердження про характеристики будь-якої реальної системи, і Kshana не афілійована з жодним агентством.

Як часто оптична лінія передавання часу працює, коли на шляху є атмосфера. Для кожного наземного пункту рушій дає втрати в чистому повітрі, стан турбулентності Hufnagel-Valley із завмираннями від гамма-гамма мерехтіння та усередненням за апертурою, доступність щодо запасу лінії для заданого хмарного клімату, стелю, яку жоден запас не здатен підняти, розподіл тривалості перерв і похибку часу, яку перерва коштує годиннику в режимі holdover. Потім показує, що дають додаткові пункти, більша апертура, інша довжина хвилі чи адаптивна оптика. Вбудовані хмарні клімати є ілюстративними, а не виміряними; результат є консультативним.

Для космічного апарата на сфері (глобальна оболонка з буклета ICG Space Service Volume) або на кеплеровій траєкторії від LEO до місячного переходу рахує для кожного орбітального угруповання (GPS, GLONASS, Galileo, BDS, QZSS, NavIC) і для всіх разом сигнали вище порога C/N0: доступність одного та чотирьох сигналів, найдовшу перерву, прийняте C/N0, геометричний чинник DOP (погіршення точності) та зв'язки головною пелюсткою проти бічних пелюсток. Діаграми випромінювання беруться з буклета, параметричного замінника або надаються вами; модель іоносфери, плазмосфери й атмосфери для променя за лімбом і проєкт приймача слабких сигналів є необов'язковими; передбачено бортовий фільтр GNSS для високих і місячних перехідних орбіт та відносну навігацію польоту у строю. MODELLED: у порівнянні з таблицями буклета за попередньою реєстрацією, зафіксованою до прогону, константи мінімальної випромінюваної потужності та місячний поріг збігаються, інші пороги NOT MET за попередньо зареєстрованим прочитанням (майже всі через неузгоджений кут променя GLONASS у буклеті), а параметричний замінник бічної пелюстки не відтворює виміряні діаграми панелей GPS.

П'ять досліджень у обмеженій моделі трьох тіл: бортове визначення орбіти за GNSS Землі на майже прямолінійній гало-орбіті щодо незалежного наземного визначення за дальністю та швидкістю зміни дальності; спільне розв'язання цілочисельної неоднозначності фази несівної для наземної станції та орбітального апарата (LAMBDA); інформація Фішера семипараметричного місячного датума з дальностями орбітальний апарат — поверхня і без них; зсуви GNSS, VLBI та лазерної локації щодо локального зв'язку; а також чутливість до приливних і лібраційних параметрів Місяця. MODELLED з ілюстративними вхідними даними: чисельні методи перевіряються за незалежними програмами numpy і scipy, а не фізика. За попередньо зареєстрованими порогами три NOT MET: введену помилку сили не виявлено із заявленою частотою (C3), завантажена бутстрепом частота успіху відрізняється від оракула numpy на 1.7e-6 за порогу 1e-9 (Q3), а додавання родини вимірювань дальності не завжди знижує слід псевдообернення (G3, половина зі слідом).