lunar-interop-export (druh scénáře)

Druh scénáře enginu v0.40.0, rodina Lunární a cislunární. Pouze poradní charakter: výstup analýzy z výzkumného a inženýrského nástroje; nejde o typově schválené navigační zařízení ani o službu z oblasti bezpečnosti života. Každé označení zde pochází z enginu nebo z verifikační matice; druh je MODELLED, pokud matice neuvádí jinak (jak se označení získává: oddíl Evidence v README).

Co dělá#

Modelovaný export lunární interoperability: vydává lunární referenční rámec, lunární časovou škálu a lunární efemeridy ve výměnných formách zarovnaných s LunaNet/IOAG a založených na CCSDS, s konformitou zpětné cesty / polí. POUŽÍVÁ ZNOVU emitor+parser CCSDS OEM 2,0 z balíku (crate::oem) přeznačený pro lunární kontext — REF_FRAME v OEM nese lunární rámec tělesa IAU 2015 WGCCRE (MOON_ME / MOON_PA), TIME_SYSTEM lunární časovou škálu (LTC / TCL / UTC), CENTER_NAME = MOON — přes ukázkové ilustrativní efemeridy třídy LCNS (polohy z crate::lunar_service, rychlost konečnou diferencí). Vydává také lunární popisovač času zarovnaný s LunaNet/IOAG (id škály, sekulární rychlost µs/den z crate::lunar_time, publikované pásmo, referenční povrch), který projde zpětnou cestou přes serde_json, a artefakty zabalí do existující obálky KIF (crate::interchange) se štítkem čestnosti MODELLED. Uvádí vydané artefakty, počet řádků OEM, konformitu polí (splněno) + seznam přítomných/chybějících polí, zpětnou cestu OEM ok, zpětnou cestu metadat času ok a velikost KIF v bajtech. MODELLED — orákulem je deterministická zpětná cesta + konformita názvů polí vůči publikovanému CCSDS OEM + sémantice polí LunaNet/IOAG; NENÍ to certifikovaný test konformity interoperability; ilustrativní efemeridy z veřejných zdrojů, bez spojení s ESA; bez TRL/heritage/podpory agentury.

Jeden běh scenarios/lunar-interop-export.toml se shrne takto: lunar-interop-export | REF_FRAME MOON_ME / TIME_SYSTEM LTC | 9 stavů, OEM 23 řádků | konformita PASS (9 přítomných / 0 chybějících) | zpětná cesta OEM ok | zpětná cesta metadat času ok | KIF 1640 bajtů | MODELLED

Vstupy#

Ze schématu (kshana kinds --json):

• Povinná pole: žádná
• Volitelná pole: frame, time_system, n_states, epoch, step_min, object

Příklad scenarios/lunar-interop-export.toml mimo jiné nastavuje:

Spusťte jej#

kshana scenarios/lunar-interop-export.toml

Co poskytuje#

Skalární výsledky tohoto běhu s jednotkami, které engine uvádí:

Důkazy#

Žádný řádek matice tento druh nejmenuje; označení jeho výsledku je vlastní označení enginu uvedené výše.

Řádky, které běh sám procvičil, s orákulem, které matice každému dává (veřejné zdroje jsou tam uvedeny):

• MODELLED Deterministické, hashované po scénářích, brány SBOM a zlatých výsledků mezi platformami. Orákulum (ExternalDataset): shoda SBOM s oficiálním schématem JSON CycloneDX 1,5 (+ platné identifikátory SPDX) — externí publikovaný standard, nula chyb validace přes celý graf závislostí; část o determinismu FoM / bajtové reprodukovatelnosti zůstává zafixovanou kontrolou vlastní konzistence, takže řádek zůstává MODELLED
• MODELLED Export lunárního rámce + času + efemerid zarovnaný s LunaNet/IOAG (CCSDS OEM + KIF) s konformitou zpětné cesty. Orákulum (InternalConsistency): lunární export OEM z kshana znovu rozebraný nezávislou knihovnou třetí strany oem (R. J. Anderson): tokeny rámce/času a stav v každé epoše se shodují na přesnost zápisu (1 mm / 1e-9 km/s) a export s vypuštěným TIME_SYSTEM je odmítnut — strukturální zpětná cesta výměny; fyzikální sémantika lunárního rámce/času je ověřena jejich vlastními řádky, takže toto zůstává MODELLED. 0,30 externí srovnání, zjištění (zůstává MODELLED): se

Omezení#

Co zpráva samotného běhu uvádí jako nemodelované nebo neověřené:

• MODELLED (výsledek honesty)
• Vydává také lunární popisovač času zarovnaný s LunaNet/IOAG (id škály, sekulární rychlost µs/den z crate::lunar_time, publikované pásmo, referenční povrch), který projde zpětnou cestou přes serde_json, a artefakty zabalí do existující obálky KIF (crate::interchange) se štítkem čestnosti MODELLED. (katalog druhů (kshana kinds --json))
• MODELLED — orákulem je deterministická zpětná cesta + konformita názvů polí vůči publikovanému CCSDS OEM + sémantice polí LunaNet/IOAG; NENÍ to certifikovaný test konformity interoperability; ilustrativní efemeridy z veřejných zdrojů, bez spojení s ESA; bez TRL/heritage/podpory agentury. (katalog druhů (kshana kinds --json))
• CO DĚLÁ src/lunar_interop.rs: * export_lunar_oem — POUŽÍVÁ ZNOVU emitor CCSDS OEM 2,0 z balíku (crate::oem), přeznačený pro lunární kontext: REF_FRAME = lunární rámec tělesa IAU 2015 WGCCRE (MOON_ME / MOON_PA), TIME_SYSTEM = lunární časová škála (LTC / TCL / UTC), CENTER_NAME = MOON, přes ukázkové ILLUSTRATIVE efemeridy třídy LCNS (polohy z crate::lunar_service, rychlost centrální konečnou diferencí). * export_ (komentář v souboru scénáře, řádky 6 až 19)
• ČESTNOST: MODELLED. NÁZVY polí a jednotky jsou zarovnány s PUBLIC standardy (CCSDS 502.0-B OEM, lunární rámce IAU WGCCRE 2015, specifikace interoperability LunaNet / lunární architektura IOAG). Orákulem je deterministická zpětná cesta a konformita názvů polí. NENÍ to certifikovaný test konformity interoperability. Efemeridy jsou ilustrativní, z veřejných zdrojů, BEZ spojení s ESA a neimplikují žádné TRL (komentář v souboru scénáře, řádky 21 až 26)
• Reprodukovatelnost a zajištění softwaru je MODELLED, nikoli ověřeno nezávislou referencí: dílčí tvrzení je externě zkontrolováno, ale celá schopnost skládá modelované části, takže schopnost zůstává vypočtená z modelu. (verifikační matice (docs/MODELLED-RATIONALE.md))
• Export lunární interoperability je MODELLED, nikoli ověřený: je kontrolován proti vlastní identitě v uzavřeném tvaru / analytické — zachytí chyby přepisu a koeficientů, ale není vnějším orákulem. (verifikační matice (docs/MODELLED-RATIONALE.md))

Viz také#

• Stránka rodiny: Lunární a cislunární
• Všechny druhy: KINDS.md