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-interop-export.md

lunar-interop-export (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#

Exportação de interoperabilidade lunar modelada: emite o referencial lunar, a escala de tempo lunar e as efemérides lunares em formas de intercâmbio baseadas em CCSDS e alinhadas com LunaNet/IOAG, com ida e volta e aderência à norma dos campos. REAPROVEITA o emissor+analisador CCSDS OEM 2,0 do crate (crate::oem), reetiquetado para o contexto lunar — o REF_FRAME do OEM leva o referencial do corpo lunar WGCCRE da IAU 2015 (MOON_ME / MOON_PA), o TIME_SYSTEM a escala de tempo lunar (LTC / TCL / UTC), CENTER_NAME = MOON — sobre uma efeméride de amostra ilustrativa da classe LCNS (posições de crate::lunar_service, velocidade por diferença finita). Também emite um descritor de tempo lunar alinhado com LunaNet/IOAG (id da escala, taxa secular em µs/dia de crate::lunar_time, banda publicada, superfície de referência) que faz ida e volta via serde_json, e envolve os artefatos no envelope KIF existente (crate::interchange) com o rótulo de honestidade MODELLED. Informa artefatos emitidos, contagem de linhas do OEM, êxito na aderência à norma dos campos + lista de campos presentes/ausentes, ida e volta do OEM ok, ida e volta dos metadados de tempo ok, e tamanho do KIF em bytes. MODELLED — ida e volta determinística + aderência à norma dos nomes de campo contra o CCSDS OEM publicado + a semântica de campos do LunaNet/IOAG é a referência independente; NÃO é um ensaio certificado de aderência à norma de interoperabilidade; efeméride ilustrativa de fonte pública, sem afiliação com a ESA; sem TRL, herança nem endosso de agência.

Uma execução de scenarios/lunar-interop-export.toml resume-se assim: lunar-interop-export | REF_FRAME MOON_ME / TIME_SYSTEM LTC | 9 states, OEM 23 lines | conformance PASS (9 present / 0 missing) | OEM round-trip ok | time-meta round-trip ok | KIF 1640 bytes | MODELLED

Entradas#

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

  • Campos obrigatórios: nenhum
  • Campos opcionais: frame, time_system, n_states, epoch, step_min, object

O exemplo scenarios/lunar-interop-export.toml define, entre outros:

Campo Valor Unidade
epoch 2030-01-01T00:00:00 texto
frame MOON_ME texto
kind lunar-interop-export texto
n_states 9 contagem
object LCNS-ILLUSTRATIVE-1 texto
step_min 30 min
time_system LTC texto

Execute#

kshana scenarios/lunar-interop-export.toml

O que ele fornece#

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

Resultado Valor Unidade
conformance.data_lines 9 contagem
conformance.pass true flag
conformance.ref_frame MOON_ME texto
conformance.time_system LTC texto
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
frame MOON_ME texto
honesty MODELLED texto
kif_bytes 1640 octeto
O gráfico que o motor escreve para scenarios/lunar-interop-export.toml, tipo de cenário lunar-interop-export

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
  • MODELLED Exportação de referencial lunar + tempo + efemérides alinhada com LunaNet/IOAG (CCSDS OEM + KIF) com aderência à norma na ida e volta. Referência independente (InternalConsistency): a exportação OEM lunar do kshana reanalisada pela biblioteca independente de terceiros oem (R. J. Anderson): os tokens de referencial e de tempo e o estado por época concordam até a precisão de escrita (1 mm / 1e-9 km/s) e uma exportação sem TIME_SYSTEM é rejeitada — uma ida e volta estrutural de intercâmbio; a semântica física do referencial e do tempo lunares é validada pelas suas próprias linhas, de modo que esta continua MODELLED. 0,30 comparação externa, um achado (continua MODELLED): um

Limitações#

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

  • MODELLED (resultado honesty)
  • Emite também um descritor de tempo lunar alinhado com LunaNet/IOAG (id da escala, taxa secular em µs/dia de crate::lunar_time, banda publicada, superfície de referência) que faz ida e volta via serde_json, e envolve os artefatos no envelope KIF existente (crate::interchange) com o rótulo de honestidade MODELLED. (catálogo de tipos de cenário (kshana kinds --json))
  • MODELLED — ida e volta determinística + aderência à norma dos nomes de campo contra o CCSDS OEM publicado + a semântica de campos do LunaNet/IOAG é a referência independente; NÃO é um ensaio certificado de aderência à norma de interoperabilidade; efeméride ilustrativa de fonte pública, sem afiliação com a ESA; sem TRL, herança nem endosso de agência. (catálogo de tipos de cenário (kshana kinds --json))
  • O QUE src/lunar_interop.rs faz: * export_lunar_oem — REAPROVEITA o emissor CCSDS OEM 2,0 do crate (crate::oem), reetiquetado para o contexto lunar: REF_FRAME = o referencial do corpo lunar WGCCRE da IAU 2015 (MOON_ME / MOON_PA), TIME_SYSTEM = a escala de tempo lunar (LTC / TCL / UTC), CENTER_NAME = MOON, sobre uma efeméride de amostra da classe LCNS, ILLUSTRATIVE (posições de crate::lunar_service, velocidade por diferença finita central). * export_ (comentário do arquivo de cenário, linhas 6 a 19)
  • HONESTIDADE: MODELLED. Os NOMES e as unidades dos campos estão alinhados com normas PUBLIC (CCSDS 502.0-B OEM, referenciais lunares WGCCRE da IAU 2015, Especificação de Interoperabilidade LunaNet / arquitetura lunar do IOAG). A ida e volta determinística e a aderência à norma dos nomes de campo são a referência independente. Isto NÃO é um ensaio certificado de aderência à norma de interoperabilidade. A efeméride é ilustrativa, de fonte pública, SEM afiliação com a ESA, e não implica nenhum TRL (comentário do arquivo de cenário, linhas 21 a 26)
  • 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))
  • A exportação de interoperabilidade lunar é MODELLED, não validada: verificada contra a sua própria identidade analítica ou de forma fechada, o que detecta erros de transcrição e de coeficientes, mas não é uma referência externa independente. (matriz de verificação (docs/MODELLED-RATIONALE.md))

Veja também#