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

Páginas de 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: saída de análise de uma ferramenta de pesquisa e engenharia, não um equipamento de navegação homologado e não um serviço de segurança da vida humana. Todo rótulo aqui é do motor ou da matriz de verificação; um tipo de cenário é MODELLED a menos que a matriz diga outra coisa (como um rótulo é obtido: a seção Evidence do README).

O que faz#

Taxa relativística 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, informada com a faixa publicada de 56–59 µs/dia, mais o deslocamento acumulado ao longo de um horizonte.

Uma execução de scenarios/lunar-time-offset.toml resume-se assim: lunar-time-offset | secular LTC−TT rate 57,04 µs/day (band 56–59) | self-pot 57,50 kinetic -0.46 | offset @ 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#

kshana scenarios/lunar-time-offset.toml

O que ele fornece#

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

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 são nomeadas ali):

  • MODELLED Portões determinísticos, com hash de cenário, de SBOM e de golden entre plataformas. Referência independente (ExternalDataset): aderência à norma do SBOM ao JSON Schema oficial do CycloneDX 1,5 (+ identificadores SPDX válidos) — um padrão externo publicado, zero erros de validação em todo o grafo de dependências; a parte de determinismo das FoMs / reprodutibilidade byte a byte continua sendo uma verificação de autoconsistência fixada, de modo que a linha permanece MODELLED
  • VALIDATED Taxa relativística 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 da LunaNet IAU/IAG): o autopotencial na superfície da Lua L_m = 3.13881e-11 e o total secular de 56,02 µs/dia coincidem como valores numéricos publicados; velocidade geocêntrica da Lua verificada de forma cruzada contra o JPL DE440 (de440s.bsp via SPICE)

Limitações#

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

  • Honestidade: MODELLED, não certificado. O valor principal em us/dia depende da referência (geoide W0 da Terra contra um selenoide lunar, a janela de média no tempo, correções centrífugas/J2 abaixo de us/dia desprezadas) -> uma faixa, e não um único número, é a saída honesta. Nada aqui é validado até exatidão absoluta abaixo de um nanossegundo nem certificado para a manutenção operacional da hora. O relatório também fornece o deslocamento LTC-TT acumulado ao longo do hori (comentário do arquivo de cenário, linhas 11 a 16)
  • Reprodutibilidade e garantia de software é MODELLED, não validada: uma subafirmação é verificada externamente, mas a capacidade inteira compõe peças modeladas, de modo que a capacidade permanece modelada. (matriz de verificação (docs/MODELLED-RATIONALE.md))

Veja também#