Maskinöversättning, inte granskad av en modersmålstalare. Engelska är referensen.

Sidor för scenariotyperRedigera på GitHubKälla: docs/kinds/by-kind/lunar-time-offset.md

lunar-time-offset (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#

Modellerad relativistisk klockgång mellan jorden och månen (Lunar Coordinate Time, LTC/TCL): den sekulära LTC−TT-gången utifrån skillnaden i egenpotential och månens kinetiska term, angiven med det publicerade bandet 56–59 µs/dygn, samt den ackumulerade offseten över en horisont.

En körning av scenarios/lunar-time-offset.toml sammanfattas 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

Indata#

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

  • Obligatoriska fält: inga
  • Valfria fält: epoch_year, epoch_month, epoch_day, horizon_days

Exemplet scenarios/lunar-time-offset.toml anger bland annat:

Fält Värde Enhet
epoch_day 1 d
epoch_month 1 inte angivet
epoch_year 2000 inte angivet
horizon_days 1 dygn
kind lunar-time-offset text

Kör den#

kshana scenarios/lunar-time-offset.toml

Vad den ger#

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

Resultat Värde Enhet
band_high 59 us/day
band_low 56 us/day
evidence.id_rule det stabila id:t för matrisraden (ID text
evidence.matrix docs/VERIFICATION-MATRIX.md text
evidence.tier MODELLED text
horizon_days 1 dygn
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 motorn skriver för scenarios/lunar-time-offset.toml, typ lunar-time-offset

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
  • VALIDATED Relativistisk klockgång mellan jorden och månen (LTC/TCL) + kedjning av TT/TAI/UTC + ensemble. Oberoende referens (ExternalDataset): Ashby & Patla 2024, 'A Relativistic Framework to Estimate Clock Rates on the Moon', Astronomical Journal 167:149 (NIST; underlag för IAU/IAG LunaNets LTC): månytans egenpotential L_m = 3.13881e-11 och den sekulära totalen 56,02 µs/dygn återgivna som publicerade numeriska värden; månens geocentriska hastighet kontrollerad mot JPL DE440 (de440s.bsp via SPICE)

Begränsningar#

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

  • Ärlighet: MODELLED, inte certifierad. Siffran us/dygn i rubriken beror på referensen (jordens geoid W0 mot en lunar selenoid, tidsmedelsfönstret, försummade centrifugal-/J2-korrektioner under us/dygn) -> ett band, inte ett enskilt tal, är det ärliga utdata. Ingenting här är validerat till absolut noggrannhet under en nanosekund eller certifierat för operativ tidshållning. Rapporten anger också den ackumulerade LTC-TT-offseten över hori (kommentar i scenariofilen, rad 11 till 16)
  • 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))

Se även#