lunar-interop-export (scenariotyp)

Scenariotyp i motor v0.40.0, familj Måne och cislunart. Rådgivande: analysutdata från ett forsknings- och ingenjörsverktyg, inte typgodkänd navigationsutrustning och inte en livräddande säkerhetstjänst. Varje etikett här är motorns eller verifieringsmatrisens; en typ är MODELLED om inte matrisen säger något annat (hur en etikett förtjänas: avsnittet Evidens i README).

Vad den gör#

Modelled export för månens interoperabilitet: ger månens referenssystem, månens tidsskala och månens efemerid i LunaNet/IOAG-anpassade, CCSDS-baserade utbytesformer med rundtur- och fältkontroll. ÅTERANVÄNDER cratens CCSDS OEM 2,0-emitter och -parser (crate::oem), omtaggade för månsammanhang — OEM REF_FRAME bär IAU 2015 WGCCRE:s månkroppssystem (MOON_ME / MOON_PA), TIME_SYSTEM månens tidsskala (LTC / TCL / UTC), CENTER_NAME = MOON — över en illustrativ exempelefemerid av LCNS-klass (positioner från crate::lunar_service, hastighet genom finit differens). Ger också en LunaNet/IOAG-anpassad deskriptor för månens tid (skal-id, sekulär takt i µs/dygn från crate::lunar_time, publicerat band, referensyta) som går att rundtura via serde_json, och packar artefakterna i det befintliga KIF-höljet (crate::interchange) med ärlighetsetiketten MODELLED. Redovisar emitterade artefakter, antal OEM-rader, fältkontroll (lyckad/misslyckad samt lista över närvarande och saknade fält), OEM-rundtur ok, rundtur för tidsmetadata ok och KIF-storlek i byte. MODELLED — deterministisk rundtur och kontroll av fältnamn mot publicerad CCSDS OEM samt LunaNet/IOAG:s fältsemantik är den oberoende referensen; INTE ett certifierat interoperabilitetstest; illustrativ efemerid från publika källor, inte knuten till ESA; inget TRL, inget arv och inget stöd från någon myndighet.

En körning av scenarios/lunar-interop-export.toml sammanfattas som: lunar-interop-export | REF_FRAME MOON_ME / TIME_SYSTEM LTC | 9 tillstånd, OEM 23 rader | formatkontroll PASS (9 närvarande / 0 saknade) | OEM tur-och-retur ok | tidsmetadata tur-och-retur ok | KIF 1640 bytes | MODELLED

Indata#

Från schemat (kshana kinds --json):

• Obligatoriska fält: inga
• Valfria fält: frame, time_system, n_states, epoch, step_min, object

Exemplet scenarios/lunar-interop-export.toml anger bland annat:

Kör den#

kshana scenarios/lunar-interop-export.toml

Vad den ger#

De skalära resultaten av den körningen, med de enheter som motorn anger:

Evidens#

Ingen matrisrad nämner den här typen vid namn; etiketten på dess resultat är motorns egen, ovan.

De rader som själva körningen använde, med den oberoende referens som matrisen anger för var och en (de offentliga källorna nämns där):

• MODELLED Deterministisk, scenario-hashad, SBOM + golden-grindar över flera plattformar. Oberoende referens (ExternalDataset): SBOM som följer det officiella CycloneDX 1,5 JSON Schema (+ giltiga SPDX-identifierare) — en extern publicerad standard, noll valideringsfel över hela beroendegrafen; delen om FoM-determinism / byte-reproducerbarhet förblir en fastlåst kontroll av inre samstämmighet, så raden förblir MODELLED
• MODELLED Export av lunart referenssystem + tid + efemerid i linje med LunaNet/IOAG (CCSDS OEM + KIF) med formatkontroll genom tur-och-retur. Oberoende referens (InternalConsistency): kshanas lunara OEM-export tolkas på nytt av det oberoende biblioteket oem från tredje part (R. J. Anderson): token för referenssystem/tid och tillstånd per epok stämmer med skrivprecisionen (1 mm / 1e-9 km/s) och en export där TIME_SYSTEM tappats avvisas — en strukturell tur-och-retur för utbyte; den fysikaliska semantiken för lunart referenssystem/lunar tid är validerad av sina egna rader, så den här förblir MODELLED. 0,30 extern jämförelse, ett fynd (förblir MODELLED): en se

Begränsningar#

Vad körningens egen rapport säger inte är modellerat eller inte validerat:

• MODELLED (resultat honesty)
• Skickar också ut en lunar tidsbeskrivning i linje med LunaNet/IOAG (skal-id, sekulär takt µs/dag från crate::lunar_time, publicerat band, referensyta) som går tur-och-retur via serde_json, och omsluter artefakterna i det befintliga KIF-höljet (crate::interchange) med ärlighetsetiketten MODELLED. (typkatalog (kshana kinds --json))
• MODELLED — deterministisk tur-och-retur + formatkontroll av fältnamn mot publicerad CCSDS OEM + fältsemantik i LunaNet/IOAG är den oberoende referensen; INTE ett certifierat interoperabilitetstest; illustrativ efemerid från offentliga källor, inte knuten till ESA; inget TRL, inget flygarv och inget stöd från någon myndighet. (typkatalog (kshana kinds --json))
• VAD src/lunar_interop.rs gör: * export_lunar_oem — ÅTERANVÄNDER cratens CCSDS OEM-sändare 2,0 (crate::oem), omtaggad för lunart sammanhang: REF_FRAME = IAU 2015 WGCCRE:s lunara kroppsfasta referenssystem (MOON_ME / MOON_PA), TIME_SYSTEM = den lunara tidsskalan (LTC / TCL / UTC), CENTER_NAME = MOON, över en exempelefemerid av ILLUSTRATIVE LCNS-klass (positioner från crate::lunar_service, hastighet med central finit differens). * export_ (kommentar i scenariofilen, rad 6 till 19)
• ÄRLIGHET: MODELLED. FältNAMNEN och enheterna är i linje med PUBLIC standarder (CCSDS 502.0-B OEM, IAU WGCCRE 2015 lunara referenssystem, LunaNet Interoperability Specification / IOAG:s lunara arkitektur). Den deterministiska tur-och-retur-kontrollen och formatkontrollen av fältnamn är den oberoende referensen. Detta är INTE ett certifierat interoperabilitetstest. Efemeriden är illustrativ, från offentliga källor, INTE knuten till ESA och innebär inget TRL (kommentar i scenariofilen, rad 21 till 26)
• Reproducerbarhet och programvarusäkring är MODELLED, inte validerad: ett delpåstående kontrolleras externt, men hela förmågan sätts ihop av modellerade delar, så förmågan förblir Modelled. (verifieringsmatris (docs/MODELLED-RATIONALE.md))
• Lunar interoperabilitetsexport är MODELLED, inte validerad: kontrollerad mot sin egen slutna eller analytiska identitet — fångar avskrivnings- och koefficientfel, men är ingen extern oberoende referens. (verifieringsmatris (docs/MODELLED-RATIONALE.md))

Se även#

• Familjesida: Måne och cislunart
• Alla typer: KINDS.md