realtime-frame-eop (тип сценарію)

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

Що він робить#

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

Один прогін scenarios/realtime-frame-eop.toml підсумовується так: realtime-frame-eop | Table 1: після обробки 0,27 m (0,0096 ms UT1) ↔ у реальному часі 14,4 m (0,514 ms UT1) | Table 2: фінальна підлога 0,0171 ms → 3 доби 1,6644 ms | загальний бюджет 20,1 m (67,0 ns) | важіль L19 + реальні дані L18 (підтверджено), коваріація OD (обчислено за моделлю)

Входи#

Зі схеми (kshana kinds --json):

• Обов'язкові поля: немає
• Необов'язкові поля: 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

Приклад scenarios/realtime-frame-eop.toml задає, серед іншого:

Запуск#

kshana scenarios/realtime-frame-eop.toml

Що це дає#

Скалярні результати цього прогону з одиницями, які вказує рушій:

Мітка результату (рушія): Бюджет передбачення лунної системи відліку / орієнтації Землі в реальному часі. VALIDATED замкнена форма: важіль L19 (1 ms ↔ 28,03 m ↔ 93,5 ns), ω⊕ перехресно перевірена за кутом обертання Землі CIO. VALIDATED реальні дані: криві похибки передбачення UT1 і руху полюса L18, прочитані безпосередньо з реального IERS finals200

Докази#

MODELLED 1 · VALIDATED 2: рядки матриці верифікації, що називають цей тип.

• VALIDATED Одна таблиця містить похибку передбачення UT1, похибку полюса руху полюса та їх квадратурну суму на Місяці для ІДЕНТИЧНОГО набору епох на кожен горизонт, із виведенням епох, на яких виміряно кожну складову. Тести: embedded_eop_vintage_astropy_preregistered.rs.
• VALIDATED Типовим значенням realtime-frame-eop під час виконання є власна вбудована бібліотекою копія дослівного витягу IERS finals2000A (tools/finals2000A_20260930.txt: 174 послідовних щоденних рядків, MJD 61224-61397, вирізано з finals2000A.all від 2026-09-30) несе Тести: operational_eop_predictor_reference.rs.
• MODELLED Підгонка методом найменших квадратів зміщення плюс швидкості на ковзному вікні разом з головними періодичними членами — річним, піврічним і двома головними зональними приливами для UT1; чандлерівським, річним і піврічним для полюса — екстрапольована з останнім у вікні Тести: operational_eop_predictor_reference.rs.

Рядки, які задіяв сам прогін, з оракулом, що його дає матриця кожному (публічні джерела названі там):

• MODELLED Детерміновані, хешовані за сценарієм, SBOM + міжплатформні еталонні шлюзи. Оракул (ExternalDataset): відповідність SBOM офіційній схемі JSON CycloneDX 1,5 (+ дійсні ідентифікатори SPDX) — зовнішній опублікований стандарт, нуль помилок валідації на всьому графі залежностей; частина щодо детермінованості FoM / побайтової відтворюваності залишається закріпленою перевіркою самоузгодженості, тому рядок залишається MODELLED
• VALIDATED Одна таблиця містить похибку передбачення UT1, похибку полюса руху полюса та їх квадратурну суму на Місяці для ІДЕНТИЧНОГО набору епох на кожен горизонт, із вив. Оракул (ExternalDataset): astropy 8.0.1 utils.iers (BSD-3), що читає продукт IERS finals2000A за власним правилом «Bulletin B, інакше A», і pyerfa 2.0.1.5 (SOFA) повні обертання від небесної до земної системи (c2i06a, sp00, pom00, c2tcio; кут обертання Землі за IERS 2010 eq. 5,15 у точній арифметиці), виконані як окремі програми на дослівних рядках зафіксованого finals2000A.all від 2026-09-30; попередньо зареєстровано (455b8fb5) з поправками A1 і A2, що фіксують лише
• VALIDATED Типовим значенням realtime-frame-eop під час виконання є власна вбудована бібліотекою копія дослівного витягу IERS finals2000A (tools/finals2000A_20260930.txt: 174 послідовн. Оракул (ExternalDataset): astropy 8.0.1 astropy.utils.iers.IERS_A (BSD-3-Clause), що читає ті самі байти власним зчитувачем, і таблиця IERS Bulletin A Vol. XXXIX No. 039, переписана число в число; попередньо зареєстровано (6fdae01b) із шістьма точними критеріями до запуску astropy. Виконуються всі шість: 30 фінальних, 54 швидких і 90 передбачених рядків із рівними списками MJD, кожен передбачений рядок має прапорець P, перепис у типовому прогоні збігається, а передбачення збігаються з Bullet
• MODELLED Підгонка методом найменших квадратів зміщення плюс швидкості на ковзному вікні разом з головними періодичними членами — річним, піврічним і двома головними зональними приливами для UT1; Ча. Оракул (ReferenceImpl): Три незалежні шляхи, жоден з яких не є опублікованим показником точності передбачення. (1) Аналітичний сигнал із відомими коефіцієнтами — єдиний спосіб задіяти періодичний механізм, бо жоден зафіксований ряд не досить довгий, щоб допустити річний член. (2) Підручниковий замкнений розв'язок методом найменших квадратів, інша алгебра, ніж матричний розв'язок, що перевіряється, на реальних рядках. (3) Справжні архівні рядки передбачень Bulletin A, що

Обмеження#

Що, за власним звітом прогону, не обчислено за моделлю або не перевірено за зовнішнім еталоном:

• Бюджет передбачення лунної системи відліку / орієнтації Землі в реальному часі. VALIDATED замкнена форма: важіль L19 (1 ms ↔ 28,03 m ↔ 93,5 ns), ω⊕ перехресно перевірена за кутом обертання Землі CIO. VALIDATED реальні дані: криві похибки передбачення UT1 і руху полюса L18, прочитані безпосередньо з реального ряду IERS finals2000A (Bulletin A швидкий проти Bulletin B фінального та багатодобова персистентність на реальних щоденних рядках). ВИВЕДЕНИЙ: система відліку (результат label)
• VALIDATED замкнена форма (важіль L19, ω⊕ перехресно перевірена за кутом обертання Землі CIO) і VALIDATED реальні дані (крива L18 з реальних рядків finals2000A); MODELLED — величини коваріації OD лунного ретранслятора та підлога реалізації системи відліку (репрезентативні розподіли) і предиктор персистентності (не операційний алгоритм Bulletin A від IERS). (каталог типів (kshana kinds --json))
• Чесність: VALIDATED замкнена форма (важіль L19, omega_earth перехресно перевірена за кутом обертання Землі CIO) і VALIDATED реальні дані (криві UT1 і руху полюса L18 з реальних рядків finals2000A). ВИВЕДЕНА підлога реалізації системи відліку (залишок після підгонки Гельмерта). MODELLED — величини коваріації OD лунного ретранслятора (0,27 m після обробки, ~14,4 m у реальному часі при годинній затримці — круглі, не підігнані зворотним розв'язком, усі (коментар у файлі сценарію, рядки 27–32)
• Відтворюваність і гарантування якості програмного забезпечення — MODELLED, а не перевірено за зовнішнім еталоном: підтвердження частини вимоги перевірено зовні, але вся можливість складається з обчислених за моделлю частин, тому можливість залишається обчисленою за моделлю. (матриця верифікації (docs/MODELLED-RATIONALE.md))
• Похибка передбачення орієнтації Землі в операційному стилі, виміряна як передбачене проти фінального, має рівень MODELLED, а не незалежно підтверджена: її звірено з окремою реалізацією в цій самій кодовій базі — незалежною від об'єкта перевірки, але не зовнішньо авторитетною. (матриця верифікації (docs/MODELLED-RATIONALE.md))

Див. також#

• Сторінка родини: Вимірювання GNSS, позиціонування та цілісність
• Усі різновиди: KINDS.md
• Тематична сторінка: integrations.md