Maskinoversættelse, ikke gennemgået af en modersmålstalende. Engelsk er referencen.

Sider om scenarietyperRedigér på GitHubKilde: docs/kinds/by-kind/lunar-time-offset.md

lunar-time-offset (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 relativistisk urrate mellem Jorden og Månen (Lunar Coordinate Time, LTC/TCL): den sekulære rate LTC−TT ud fra forskellen i selvpotentiale og Månens kinetiske led, rapporteret med det offentliggjorte bånd på 56–59 µs/dag, plus den akkumulerede forskydning over en horisont.

Én kørsel af scenarios/lunar-time-offset.toml opsummeres som: lunar-time-offset | secular LTC−TT rate 57,04 µs/day (band 56–59) | self-pot 57,50 kinetic -0.46 | offset @ 1,00 d = 57,04 µs

Input#

Fra skemaet (kshana kinds --json):

  • Påkrævede felter: ingen
  • Valgfrie felter: epoch_year, epoch_month, epoch_day, horizon_days

Eksemplet scenarios/lunar-time-offset.toml sætter blandt andet:

Felt Værdi Enhed
epoch_day 1 d
epoch_month 1 ikke angivet
epoch_year 2000 ikke angivet
horizon_days 1 day
kind lunar-time-offset tekst

Kør den#

kshana scenarios/lunar-time-offset.toml

Hvad den giver#

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

Resultat Værdi Enhed
band_high 59 us/day
band_low 56 us/day
evidence.id_rule det stabile id for matrixrækken (kolonnen ID tekst
evidence.matrix docs/VERIFICATION-MATRIX.md tekst
evidence.tier MODELLED tekst
horizon_days 1 day
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, som motoren skriver for scenarios/lunar-time-offset.toml, type lunar-time-offset

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
  • VALIDATED Relativistisk urrate mellem Jorden og Månen (LTC/TCL) + kædning af TT/TAI/UTC + ensemble. Uafhængig reference (ExternalDataset): Ashby & Patla 2024, 'A Relativistic Framework to Estimate Clock Rates on the Moon', Astronomical Journal 167:149 (NIST; grundlag for IAU/IAG's LunaNet LTC): Månens selvpotentiale på overfladen L_m = 3.13881e-11 og sekulær total 56,02 µs/dag stemmer som offentliggjorte numeriske værdier; Månens geocentriske hastighed krydskontrolleret mod JPL DE440 (de440s.bsp via SPICE)

Begrænsninger#

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

  • Ærlighed: MODELLED, ikke certificeret. Hovedtallet i us/dag afhænger af referencen (Jordens geoide W0 mod en lunar selenoide, middelværdivinduet i tid, forsømte korrektioner under us/dag for centrifugalkraft/J2) -> et bånd, ikke ét enkelt tal, er det ærlige output. Intet her er valideret til absolut nøjagtighed under nanosekundet eller certificeret til operationel tidshold. Rapporten angiver også den akkumulerede LTC-TT-forskydning over hori (kommentar i scenariefilen, linje 11 til 16)
  • 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))

Se også#