Машинный перевод, не проверенный носителем языка. Эталоном служит английская версия.

Страницы видов сценариевПравить на GitHubИсточник: docs/kinds/by-kind/lunar-time-offset.md

lunar-time-offset (вид сценария)

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

Что делает#

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

Один прогон scenarios/lunar-time-offset.toml сводится к следующему: lunar-time-offset | вековой ход LTC−TT 57,04 мкс/сут (полоса 56–59) | собств. потенциал 57,50, кинетический -0.46 | смещение @ 1,00 сут = 57,04 мкс

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

Из схемы (kshana kinds --json):

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

Пример scenarios/lunar-time-offset.toml задаёт, среди прочего:

Поле Значение Единица
epoch_day 1 d
epoch_month 1 не указано
epoch_year 2000 не указано
horizon_days 1 сутки
kind lunar-time-offset текст

Запустите#

kshana scenarios/lunar-time-offset.toml

Что он даёт#

Скалярные результаты этого прогона с единицами, которые указывает движок:

Результат Значение Единица
band_high 59 us/day
band_low 56 us/day
evidence.id_rule стабильный идентификатор строки матрицы (ID текст
evidence.matrix docs/VERIFICATION-MATRIX.md текст
evidence.tier MODELLED текст
horizon_days 1 сутки
kinetic_us_per_day -0.458241 us/day
offset_at_horizon_us 57.043632 мкс
secular_rate_us_per_day 57.043632 us/day
self_potential_us_per_day 57.501873 us/day
График, который движок строит для scenarios/lunar-time-offset.toml, вид lunar-time-offset

Доказательства#

Ни одна строка матрицы не называет этот вид по имени; метка его результата принадлежит самому движку и приведена выше.

Строки, которые задействовал сам прогон, с оракулом, который указывает им матрица (публичные источники названы там):

  • MODELLED Детерминированные, хешируемые по сценарию, SBOM и кроссплатформенные эталонные проверки (golden). Оракул (ExternalDataset): соответствие SBOM официальной схеме JSON CycloneDX 1,5 (плюс допустимые идентификаторы SPDX) — внешний опубликованный стандарт, ноль ошибок валидации на всём графе зависимостей; часть о детерминизме FoM и побайтной воспроизводимости остаётся закреплённой проверкой внутренней согласованности, поэтому строка остаётся MODELLED
  • VALIDATED Релятивистский ход часов Земля–Луна (LTC/TCL), цепочка TT/TAI/UTC и ансамбль. Оракул (ExternalDataset): Ashby & Patla 2024, «A Relativistic Framework to Estimate Clock Rates on the Moon», Astronomical Journal 167:149 (NIST; основа для LTC в LunaNet по IAU/IAG): собственный потенциал поверхности Луны L_m = 3.13881e-11 и вековой итог 56,02 мкс/сут совпадают как опубликованные числовые значения; геоцентрическая скорость Луны перекрёстно проверена по JPL DE440 (de440s.bsp через SPICE)

Ограничения#

Что отчёт самого прогона называет не смоделированным или не проверенным:

  • Честная оценка: MODELLED, не сертифицировано. Главная цифра в мкс/сут зависит от выбора эталона (геоид Земли W0 против лунного селеноида, окно усреднения, отброшенные центробежные поправки и поправки J2 порядка долей мкс/сут) -> честным выходом является полоса, а не одно число. Ничто здесь не проверено до абсолютной точности в доли наносекунды и не сертифицировано для эксплуатационного хранения времени. Отчёт также выдаёт накопленное смещение LTC-TT на горизонте (комментарий в файле сценария, строки 11–16)
  • Воспроизводимость и гарантии качества ПО — MODELLED, а не validated: одно из частных утверждений проверено извне, но вся возможность составлена из смоделированных частей, поэтому возможность остаётся Modelled. (матрица верификации (docs/MODELLED-RATIONALE.md))

См. также#