Maskinoversettelse, ikke gjennomgått av en morsmålsbruker. Engelsk er referansen.

Sider for scenariotyperRediger på GitHubKilde: docs/kinds/by-kind/lunar-time-offset.md

lunar-time-offset (scenariotype)

Scenariotype i motoren v0.40.0, familie Måne og cislunart rom. Veiledende: analyseutdata fra et forsknings- og ingeniørverktøy, ikke typegodkjent navigasjonsutstyr og ikke en sikkerhetskritisk tjeneste for menneskeliv. Hver etikett her er motorens eller verifikasjonsmatrisens; en type er MODELLED med mindre matrisen sier noe annet (hvordan en etikett fortjenes: Evidens-avsnittet i README).

Hva den gjør#

Modellert relativistisk klokkerate mellom Jorden og Månen (Lunar Coordinate Time, LTC/TCL): den sekulære raten LTC−TT fra forskjellen i selvpotensial og Månens kinetiske ledd, rapportert med det publiserte båndet 56–59 µs/døgn, pluss det akkumulerte avviket over en horisont.

Én kjøring av scenarios/lunar-time-offset.toml oppsummeres slik: lunar-time-offset | sekulær rate LTC−TT 57,04 µs/døgn (bånd 56–59) | selvpot 57,50 kinetisk -0.46 | avvik @ 1,00 d = 57,04 µs

Inndata#

Fra skjemaet (kshana kinds --json):

  • Påkrevde felt: ingen
  • Valgfrie felt: epoch_year, epoch_month, epoch_day, horizon_days

Eksempelet scenarios/lunar-time-offset.toml setter blant annet:

Felt Verdi Enhet
epoch_day 1 d
epoch_month 1 ikke oppgitt
epoch_year 2000 ikke oppgitt
horizon_days 1 dag
kind lunar-time-offset tekst

Kjør den#

kshana scenarios/lunar-time-offset.toml

Hva den gir#

Skalarresultatene fra den kjøringen, med enhetene motoren oppgir:

Resultat Verdi Enhet
band_high 59 us/day
band_low 56 us/day
evidence.id_rule den stabile id-en til matriseraden (ID tekst
evidence.matrix docs/VERIFICATION-MATRIX.md tekst
evidence.tier MODELLED tekst
horizon_days 1 dag
kinetic_us_per_day -0.458241 us/day
offset_at_horizon_us 57.043632 us
secular_rate_us_per_day 57.043632 us/day
self_potential_us_per_day 57.501873 us/day
Diagrammet motoren skriver for scenarios/lunar-time-offset.toml, type lunar-time-offset

Evidens#

Ingen matriserad nevner denne typen ved navn; etiketten på resultatet er motorens egen, ovenfor.

Radene kjøringen selv brukte, med den uavhengige referansen matrisen gir hver (de offentlige kildene er navngitt der):

  • MODELLED Deterministisk, scenariohashet, SBOM + gates med gylne verdier på tvers av plattformer. Uavhengig referanse (ExternalDataset): SBOM-overensstemmelse med det offisielle CycloneDX 1,5 JSON Schema (+ gyldige SPDX-identifikatorer), en ekstern publisert standard, null valideringsfeil over hele avhengighetsgrafen; delen om FoM-determinisme / byte-reproduserbarhet er fortsatt en festet selvkonsistenssjekk, så raden forblir MODELLED
  • VALIDATED Relativistisk klokkerate mellom Jorden og Månen (LTC/TCL) + kjeding av TT/TAI/UTC + ensemble. Uavhengig referanse (ExternalDataset): Ashby & Patla 2024, 'A Relativistic Framework to Estimate Clock Rates on the Moon', Astronomical Journal 167:149 (NIST; grunnlag for IAU/IAG LunaNet LTC): selvpotensialet på månens overflate L_m = 3.13881e-11 og den sekulære totalen 56,02 µs/døgn gjengitt som publiserte numeriske verdier; geosentrisk månefart kryssjekket mot JPL DE440 (de440s.bsp via SPICE)

Begrensninger#

Hva kjøringens egen rapport sier ikke er modellert eller ikke er validert:

  • Ærlighet: MODELLED, ikke sertifisert. Hovedtallet i us/døgn er referanseavhengig (jordens geoide W0 mot en lunar selenoide, midlingsvinduet, forsømte sentrifugal-/J2-korreksjoner på under us/døgn) -> et bånd, ikke ett enkelt tall, er det ærlige resultatet. Ingenting her er validert til absolutt nøyaktighet under nanosekundet eller sertifisert for operativ tidtaking. Rapporten gir også det akkumulerte LTC-TT-avviket over hori (kommentar i scenariofilen, linje 11 til 16)
  • Reproduserbarhet og programvarekvalitetssikring er MODELLED, ikke validert: en delpåstand er kontrollert eksternt, men hele funksjonen setter sammen modellerte deler, så funksjonen forblir modellert. (verifikasjonsmatrise (docs/MODELLED-RATIONALE.md))

Se også#