Machinevertaling, niet beoordeeld door een moedertaalspreker. Engels is de referentie.

Pagina's per scenariotypeBewerken op GitHubBron: docs/kinds/by-kind/lunar-time-offset.md

lunar-time-offset (scenariosoort)

Scenariokind van de engine v0.40.0, familie Maan en cislunair. Adviserend: analyse-uitvoer van een onderzoeks- en engineeringhulpmiddel, geen typegoedgekeurde navigatieapparatuur en geen veiligheidskritieke dienst. Elk label hier is dat van de engine of van de verificatiematrix; een kind is MODELLED tenzij de matrix anders zegt (hoe een label wordt verdiend: de sectie Evidence van de README).

Wat het doet#

Gemodelleerde relativistische klokgang aarde–maan (Lunar Coordinate Time, LTC/TCL): de seculiere LTC−TT-snelheid uit het verschil in zelfpotentiaal en de kinetische term van de maan, gerapporteerd met de gepubliceerde band van 56–59 µs/dag, plus de opgebouwde offset over een horizon.

Eén run van scenarios/lunar-time-offset.toml vat zich samen als: lunar-time-offset | seculiere LTC−TT-snelheid 57,04 µs/dag (band 56–59) | zelfpot 57,50 kinetisch -0.46 | offset @ 1,00 d = 57,04 µs

Invoer#

Uit het schema (kshana kinds --json):

  • Vereiste velden: geen
  • Optionele velden: epoch_year, epoch_month, epoch_day, horizon_days

Het voorbeeld scenarios/lunar-time-offset.toml stelt onder meer in:

Veld Waarde Eenheid
epoch_day 1 d
epoch_month 1 niet vermeld
epoch_year 2000 niet vermeld
horizon_days 1 dag
kind lunar-time-offset tekst

Uitvoeren#

kshana scenarios/lunar-time-offset.toml

Wat het oplevert#

De scalaire resultaten van die run, met de eenheden die de engine noemt:

Resultaat Waarde Eenheid
band_high 59 us/day
band_low 56 us/day
evidence.id_rule de stabiele id van de matrixrij (de 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
De grafiek die de engine schrijft voor scenarios/lunar-time-offset.toml, soort lunar-time-offset

Bewijs#

Geen rij van de matrix noemt dit kind bij naam; het label op het resultaat is dat van de engine zelf, hierboven.

De rijen die de run zelf heeft beproefd, met de onafhankelijke referentie die de matrix aan elk geeft (de openbare bronnen worden daar genoemd):

  • MODELLED Deterministisch, scenario-gehasht, SBOM + gouden poorten voor meerdere platforms. Onafhankelijke referentie (ExternalDataset): formaatcontrole van de SBOM tegen het officiële CycloneDX 1,5 JSON Schema (+ geldige SPDX-identificatoren) — een externe gepubliceerde standaard, nul validatiefouten over de volledige afhankelijkheidsgraaf; het onderdeel determinisme van de FoM en byte-reproduceerbaarheid blijft een vastgepinde zelfconsistentiecontrole, dus de rij blijft MODELLED
  • VALIDATED Relativistische klokgang aarde–maan (LTC/TCL) + ketening van TT/TAI/UTC + ensemble. Onafhankelijke referentie (ExternalDataset): Ashby & Patla 2024, 'A Relativistic Framework to Estimate Clock Rates on the Moon', Astronomical Journal 167:149 (NIST; basis voor de IAU/IAG LunaNet LTC): zelfpotentiaal op het maanoppervlak L_m = 3.13881e-11 en seculier totaal 56,02 µs/dag komen overeen als gepubliceerde numerieke waarden; geocentrische maansnelheid gecontroleerd aan JPL DE440 (de440s.bsp via SPICE)

Beperkingen#

Wat het eigen rapport van de run zegt dat niet is gemodelleerd of niet extern getoetst is:

  • Eerlijkheid: MODELLED, niet gecertificeerd. Het kerncijfer in us/dag hangt van de referentie af (geoïde W0 van de aarde tegenover een selenoïde van de maan, het tijdmiddelingsvenster, verwaarloosde centrifugale/J2-correcties onder de us/dag) -> een band, geen enkel getal, is de eerlijke uitvoer. Niets hier is getoetst tot een absolute nauwkeurigheid onder de nanoseconde of gecertificeerd voor operationele tijdhouding. Het rapport geeft ook de opgebouwde LTC-TT-offset over de hori (commentaar in het scenariobestand, regels 11 tot 16)
  • Reproduceerbaarheid en softwarewaarborging is MODELLED, niet extern getoetst: een deelclaim wordt extern gecontroleerd, maar de hele mogelijkheid is samengesteld uit gemodelleerde onderdelen, dus de mogelijkheid blijft gemodelleerd. (verificatiematrix (docs/MODELLED-RATIONALE.md))

Zie ook#