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

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 alinhadas com LunaNet/IOAG e baseadas em CCSDS, com aderência à norma de ida e volta e dos campos. REAPROVEITA o emissor e analisador CCSDS OEM 2,0 da crate (crate::oem), reetiquetado para o contexto lunar — o REF_FRAME do OEM transporta o referencial do corpo lunar segundo o WGCCRE da IAU de 2015 (MOON_ME / MOON_PA), o TIME_SYSTEM a escala de tempo lunar (LTC / TCL / UTC), CENTER_NAME = MOON — sobre umas efemérides de amostra ilustrativas da classe LCNS (posições de crate::lunar_service, velocidade por diferença finita). 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 artefactos no envelope KIF existente (crate::interchange) com a etiqueta de honestidade MODELLED. Indica os artefactos emitidos, o número de linhas do OEM, a aderência dos campos à norma (resultado positivo) e a lista de campos presentes/em falta, a ida e volta do OEM correta, a ida e volta dos metadados de tempo correta e o tamanho em bytes do KIF. MODELLED — a referência independente é a ida e volta determinística e a aderência dos nomes de campos à norma face ao CCSDS OEM publicado e à semântica de campos do LunaNet/IOAG; NÃO é um ensaio certificado de aderência à norma de interoperabilidade; efemérides ilustrativas de fontes públicas, sem afiliação à ESA; sem TRL, herança de voo nem aval de agências.

Uma execução de scenarios/lunar-interop-export.toml resume-se assim: lunar-interop-export | REF_FRAME MOON_ME / TIME_SYSTEM LTC | 9 estados, OEM com 23 linhas | aderência à norma PASS (9 presentes / 0 em falta) | ida e volta do OEM correta | ida e volta dos metadados de tempo correta | 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:

Execute-o#

kshana scenarios/lunar-interop-export.toml

O que dá#

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

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
• MODELLED Exportação de referencial lunar + tempo + efemérides alinhada com LunaNet/IOAG (CCSDS OEM + KIF) com aderência à norma de ida e volta. Referência independente (InternalConsistency): a exportação OEM lunar do kshana voltou a ser analisada pela biblioteca independente de terceiros oem (R. J. Anderson): os tokens de referencial/tempo e o estado por época concordam até à 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/tempo lunar é validada pelas suas próprias linhas, pelo que esta continua a ser MODELLED. 0,30 comparação externa, uma constatação (continua a ser MODELLED): uma se

Limitações#

O que o próprio relatório da execução diz que não está modelado ou não está 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 artefactos no envelope KIF existente (crate::interchange) com a etiqueta de honestidade MODELLED. (catálogo de tipos de cenário (kshana kinds --json))
• MODELLED — a referência independente é a ida e volta determinística e a aderência dos nomes de campos à norma face ao CCSDS OEM publicado e à semântica de campos do LunaNet/IOAG; NÃO é um ensaio certificado de aderência à norma de interoperabilidade; efemérides ilustrativas de fontes públicas, sem afiliação à ESA; sem TRL, herança de voo nem aval de agências. (catálogo de tipos de cenário (kshana kinds --json))
• O QUE faz src/lunar_interop.rs: * export_lunar_oem — REAPROVEITA o emissor CCSDS OEM 2,0 da crate (crate::oem), reetiquetado para o contexto lunar: REF_FRAME = o referencial do corpo lunar segundo o WGCCRE da IAU de 2015 (MOON_ME / MOON_PA), TIME_SYSTEM = a escala de tempo lunar (LTC / TCL / UTC), CENTER_NAME = MOON, sobre umas efemérides de amostra ILLUSTRATIVE da classe LCNS (posições de crate::lunar_service, velocidade por diferença finita central). * export_ (comentário do ficheiro de cenário, linhas 6 a 19)
• HONESTIDADE: MODELLED. Os NOMES dos campos e as unidades estão alinhados com normas PUBLIC (CCSDS 502.0-B OEM, referenciais lunares do WGCCRE da IAU de 2015, LunaNet Interoperability Specification / arquitetura lunar do IOAG). A ida e volta determinística e a aderência dos nomes de campos à norma são a referência independente. Isto NÃO é um ensaio certificado de aderência à norma de interoperabilidade. As efemérides são ilustrativas, de fontes públicas, SEM afiliação à ESA, e não implicam TRL (comentário do ficheiro de cenário, linhas 21 a 26)
• 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))
• A exportação de interoperabilidade lunar é MODELLED, não validada: verificada face à sua própria identidade analítica de forma fechada, deteta erros de transcrição e de coeficientes, mas não é uma referência independente. (matriz de verificação (docs/MODELLED-RATIONALE.md))

Ver também#

• Página da família: Lunar e cislunar
• Todos os tipos: KINDS.md