Tradução automática, não revista por um falante nativo. O inglês é a referência.

Páginas dos tipos de cenárioEditar no GitHubFonte: docs/kinds/by-kind/lunar-time-offset.md

lunar-time-offset (tipo de cenário)

Tipo de cenário do motor v0.40.0, família Lunar e cislunar. Consultivo: resultado de análise de uma ferramenta de investigação e engenharia, não um equipamento de navegação homologado e não um serviço de segurança da vida humana. Cada etiqueta aqui é do motor ou da matriz de verificação; um tipo de cenário é MODELLED salvo indicação em contrário da matriz (como se obtém um rótulo: a secção Evidence do README).

O que faz#

Taxa relativista modelada do relógio Terra–Lua (Tempo Coordenado Lunar, LTC/TCL): a taxa secular LTC−TT a partir da diferença de autopotencial e do termo cinético da Lua, indicada com a banda publicada de 56–59 µs/dia, mais o desvio acumulado ao longo de um horizonte.

Uma execução de scenarios/lunar-time-offset.toml resume-se assim: lunar-time-offset | taxa secular LTC−TT de 57,04 µs/dia (banda 56–59) | autopot 57,50 cinético -0.46 | desvio @ 1,00 d = 57,04 µs

Entradas#

A partir do esquema (kshana kinds --json):

  • Campos obrigatórios: nenhum
  • Campos opcionais: epoch_year, epoch_month, epoch_day, horizon_days

O exemplo scenarios/lunar-time-offset.toml define, entre outros:

Campo Valor Unidade
epoch_day 1 d
epoch_month 1 não indicado
epoch_year 2000 não indicado
horizon_days 1 dia
kind lunar-time-offset texto

Execute-o#

kshana scenarios/lunar-time-offset.toml

O que dá#

Os resultados escalares dessa execução, com as unidades que o motor indica:

Resultado Valor Unidade
band_high 59 us/day
band_low 56 us/day
evidence.id_rule o id estável da linha da matriz (o ID texto
evidence.matrix docs/VERIFICATION-MATRIX.md texto
evidence.tier MODELLED texto
horizon_days 1 dia
kinetic_us_per_day -0.458241 us/day
offset_at_horizon_us 57.043632 us
secular_rate_us_per_day 57.043632 us/day
self_potential_us_per_day 57.501873 us/day
O gráfico que o motor escreve para scenarios/lunar-time-offset.toml, tipo de cenário lunar-time-offset

Evidências#

Nenhuma linha da matriz nomeia este tipo de cenário pelo nome; o rótulo do seu resultado é o do próprio motor, acima.

As linhas que a própria execução exercitou, com a referência independente que a matriz dá a cada uma (as fontes públicas estão aí nomeadas):

  • MODELLED Determinista, com hash do cenário, SBOM + portões de referência multiplataforma. Referência independente (ExternalDataset): aderência à norma do SBOM ao esquema JSON oficial CycloneDX 1,5 (+ identificadores SPDX válidos) — uma norma externa publicada, zero erros de validação em todo o grafo de dependências; a parte de determinismo das FoM / reprodutibilidade byte a byte permanece uma verificação de autoconsistência fixada, pelo que a linha permanece MODELLED
  • VALIDATED Taxa relativista do relógio Terra-Lua (LTC/TCL) + encadeamento TT/TAI/UTC + conjunto. Referência independente (ExternalDataset): Ashby & Patla 2024, 'A Relativistic Framework to Estimate Clock Rates on the Moon', Astronomical Journal 167:149 (NIST; base do LTC LunaNet da IAU/IAG): o autopotencial à superfície da Lua L_m = 3.13881e-11 e o total secular de 56,02 µs/dia coincidem como valores numéricos publicados; a velocidade geocêntrica da Lua verificada de forma cruzada face ao JPL DE440 (de440s.bsp via SPICE)

Limitações#

O que o próprio relatório da execução diz que não está modelado ou não está validado:

  • Honestidade: MODELLED, não certificado. O valor principal em us/dia depende da referência (geoide terrestre W0 vs um selenoide lunar, a janela de média temporal, correções centrífugas/J2 inferiores a us/dia desprezadas) -> uma banda, e não um único número, é o resultado honesto. Nada aqui está validado até uma exatidão absoluta inferior ao nanossegundo nem certificado para manutenção da hora operacional. O relatório indica também o desvio LTC-TT acumulado ao longo do hori (comentário do ficheiro de cenário, linhas 11 a 16)
  • A reprodutibilidade e a garantia de software são MODELLED, não validadas: uma subafirmação é verificada externamente, mas a capacidade no seu conjunto compõe partes modeladas, pelo que a capacidade permanece modelada. (matriz de verificação (docs/MODELLED-RATIONALE.md))

Ver também#