lunar-interop-export (scenarietype)

Scenarietype i motoren v0.40.0, familie Måne og cislunart rum. Vejledende: analyseoutput fra et forsknings- og ingeniørværktøj, ikke typegodkendt navigationsudstyr og ikke en sikkerhedskritisk tjeneste (safety-of-life). Hver mærkat her er motorens eller verifikationsmatrixens; en type er MODELLED, medmindre matrixen siger andet (hvordan en mærkat opnås: README'ens afsnit Evidence).

Hvad det gør#

Modelleret lunar interoperabilitetseksport: udsender det lunare referencesystem, den lunare tidsskala og den lunare efemeride i LunaNet/IOAG-tilpassede, CCSDS-baserede udvekslingsformer med rundturs- og feltformatkontrol. GENBRUGER cratens CCSDS OEM 2,0-skriver og -læser (crate::oem), omkodet til den lunare kontekst — OEM-feltet REF_FRAME bærer IAU 2015 WGCCRE's lunare legemssystem (MOON_ME / MOON_PA), TIME_SYSTEM den lunare tidsskala (LTC / TCL / UTC), CENTER_NAME = MOON — over en illustrativ eksempelefemeride af LCNS-klassen (positioner fra crate::lunar_service, hastighed ved differenskvotient). Udsender også en LunaNet/IOAG-tilpasset beskrivelse af lunar tid (skalaens id, sekulær rate µs/dag fra crate::lunar_time, offentliggjort bånd, referenceoverflade), der kan gøre rundtur via serde_json, og pakker artefakterne ind i den eksisterende KIF-kuvert (crate::interchange) med mærkatet MODELLED. Rapporterer udsendte artefakter, antal OEM-linjer, feltformatkontrol bestået og liste over felter, der er til stede/mangler, OEM-rundtur ok, rundtur for tidsmetadata ok og KIF-størrelse i bytes. MODELLED — deterministisk rundtur + kontrol af feltnavne mod offentliggjort CCSDS OEM + LunaNet/IOAG-feltsemantik er den uafhængige reference; IKKE en certificeret overensstemmelsestest for interoperabilitet; illustrativ efemeride fra offentlige kilder, ikke tilknyttet ESA; ingen TRL-, heritage- eller myndighedsstøtte.

Én kørsel af scenarios/lunar-interop-export.toml opsummeres som: 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

Input#

Fra skemaet (kshana kinds --json):

• Påkrævede felter: ingen
• Valgfrie felter: frame, time_system, n_states, epoch, step_min, object

Eksemplet scenarios/lunar-interop-export.toml sætter blandt andet:

Kør den#

kshana scenarios/lunar-interop-export.toml

Hvad den giver#

De skalare resultater af den kørsel, med de enheder, motoren angiver:

Evidens#

Ingen matrixrække nævner denne type ved navn; mærkaten på dens resultat er motorens egen, ovenfor.

De rækker, som kørslen selv afprøvede, med den uafhængige reference, som matrixen giver hver (de offentlige kilder er nævnt dér):

• MODELLED Deterministisk, scenarie-hashet, SBOM + gates med golden-filer på tværs af platforme. Uafhængig reference (ExternalDataset): SBOM'ens validering mod det officielle CycloneDX 1,5 JSON-skema (+ gyldige SPDX-identifikatorer) — en ekstern publiceret standard, nul valideringsfejl over hele afhængighedsgrafen; den del, der gælder FoM-determinisme / byte-reproducerbarhed, er fortsat et fastlåst selvkonsistenstjek, så rækken forbliver MODELLED
• MODELLED LunaNet/IOAG-tilpasset eksport af lunart referencesystem + tid + efemeride (CCSDS OEM + KIF) med rundturskontrol. Uafhængig reference (InternalConsistency): kshanas lunare OEM-eksport indlæst igen af det uafhængige tredjepartsbibliotek oem (R. J. Anderson): system- og tidstokens og tilstanden pr. epoke stemmer til skrivepræcisionen (1 mm / 1e-9 km/s), og en eksport uden TIME_SYSTEM afvises — en strukturel rundtur for udveksling; de fysiske betydninger af det lunare referencesystem og den lunare tid er valideret af deres egne rækker, så denne forbliver MODELLED. 0,30 ekstern sammenligning, et fund (forbliver MODELLED): en se

Begrænsninger#

Hvad kørslens egen rapport siger ikke er modelleret eller ikke er valideret:

• MODELLED (resultat honesty)
• Udsender også en LunaNet/IOAG-tilpasset beskrivelse af lunar tid (skalaens id, sekulær rate µs/dag fra crate::lunar_time, offentliggjort bånd, referenceoverflade), der kan gøre rundtur via serde_json, og pakker artefakterne ind i den eksisterende KIF-kuvert (crate::interchange) med mærkatet MODELLED. (kategori-katalog (kshana kinds --json))
• MODELLED — deterministisk rundtur + kontrol af feltnavne mod offentliggjort CCSDS OEM + LunaNet/IOAG-feltsemantik er den uafhængige reference; IKKE en certificeret overensstemmelsestest for interoperabilitet; illustrativ efemeride fra offentlige kilder, ikke tilknyttet ESA; ingen TRL-, heritage- eller myndighedsstøtte. (kategori-katalog (kshana kinds --json))
• HVAD src/lunar_interop.rs gør: * export_lunar_oem — GENBRUGER cratens CCSDS OEM 2,0-skriver (crate::oem), omkodet til den lunare kontekst: REF_FRAME = IAU 2015 WGCCRE's lunare legemssystem (MOON_ME / MOON_PA), TIME_SYSTEM = den lunare tidsskala (LTC / TCL / UTC), CENTER_NAME = MOON, over en ILLUSTRATIVE eksempelefemeride af LCNS-klassen (positioner fra crate::lunar_service, hastighed ved central differenskvotient). * export_ (kommentar i scenariefilen, linje 6 til 19)
• ÆRLIGHED: MODELLED. FeltNAVNENE og enhederne er tilpasset offentlige (PUBLIC) standarder (CCSDS 502.0-B OEM, IAU WGCCRE 2015 lunare referencesystemer, LunaNet Interoperability Specification / IOAG's lunare arkitektur). Den deterministiske rundtur og kontrollen af feltnavne er den uafhængige reference. Dette er IKKE en certificeret overensstemmelsestest for interoperabilitet. Efemeriden er illustrativ, fra offentlige kilder, IKKE tilknyttet ESA og indebærer ingen TRL (kommentar i scenariefilen, linje 21 til 26)
• Reproducerbarhed og softwarekvalitetssikring er MODELLED, ikke valideret: en delpåstand kontrolleres eksternt, men hele funktionen sammensættes af modellerede dele, så funktionen forbliver modelleret. (verifikationsmatrix (docs/MODELLED-RATIONALE.md))
• Lunar interoperabilitetseksport er MODELLED, ikke valideret: kontrolleret mod sin egen lukkede/analytiske identitet — fanger afskrivnings- og koefficientfejl, men er ikke en ekstern uafhængig reference. (verifikationsmatrix (docs/MODELLED-RATIONALE.md))

Se også#

• Familieside: Måne og cislunart rum
• Alle typer: KINDS.md