realtime-frame-eop (вид сценария)

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

Что делает#

Бюджет предсказания лунной системы отсчёта и ориентации Земли в реальном времени: таблица 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). Это не сертифицированный продукт системы отсчёта реального времени.

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

Входные параметры#

Из схемы (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 и кроссплатформенные эталонные проверки (golden). Оракул (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, ур. 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, а не validated: одно из частных утверждений проверено извне, но вся возможность составлена из смоделированных частей, поэтому возможность остаётся Modelled. (матрица верификации (docs/MODELLED-RATIONALE.md))
• Ошибка предсказания ориентации Земли в операционном стиле, измеренная как «предсказано против окончательного», относится к уровню MODELLED, а не проверена по внешнему эталону: она проверена по отдельной реализации в этой же кодовой базе — независимой от проверяемого модуля, но не имеющей внешнего авторитета. (матрица верификации (docs/MODELLED-RATIONALE.md))

См. также#

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