Strojový překlad, nekontrolovaný rodilým mluvčím. Referenční je anglická verze.

Stránky druhů scénářůUpravit na GitHubuZdroj: docs/kinds/by-kind/lunar-time-offset.md

lunar-time-offset (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á relativistická rychlost chodu hodin Země–Měsíc (lunární souřadnicový čas, LTC/TCL): sekulární rychlost LTC−TT z rozdílu vlastních potenciálů a kinetického členu Měsíce, uváděná spolu s publikovaným pásmem 56–59 µs/den, plus akumulovaný posun za horizont.

Jeden běh scenarios/lunar-time-offset.toml se shrne takto: lunar-time-offset | sekulární rychlost LTC−TT 57,04 µs/den (pásmo 56–59) | vlastní pot. 57,50 kinetický -0.46 | posun @ 1,00 d = 57,04 µs

Vstupy#

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

  • Povinná pole: žádná
  • Volitelná pole: epoch_year, epoch_month, epoch_day, horizon_days

Příklad scenarios/lunar-time-offset.toml mimo jiné nastavuje:

Pole Hodnota Jednotka
epoch_day 1 d
epoch_month 1 neuvedeno
epoch_year 2000 neuvedeno
horizon_days 1 den
kind lunar-time-offset text

Spusťte jej#

kshana scenarios/lunar-time-offset.toml

Co poskytuje#

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

Výsledek Hodnota Jednotka
band_high 59 us/day
band_low 56 us/day
evidence.id_rule stabilní id řádku matice (ID text
evidence.matrix docs/VERIFICATION-MATRIX.md text
evidence.tier MODELLED text
horizon_days 1 den
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
Graf, který engine zapisuje pro scenarios/lunar-time-offset.toml, druh lunar-time-offset

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
  • VALIDATED Relativistická rychlost chodu hodin Země–Měsíc (LTC/TCL) + řetězení TT/TAI/UTC + soubor hodin. Orákulum (ExternalDataset): Ashby & Patla 2024, 'A Relativistic Framework to Estimate Clock Rates on the Moon', Astronomical Journal 167:149 (NIST; základ pro IAU/IAG LunaNet LTC): vlastní potenciál povrchu Měsíce L_m = 3.13881e-11 a sekulární celkem 56,02 µs/den se shodují jako publikované číselné hodnoty; geocentrická rychlost Měsíce křížově ověřena proti JPL DE440 (de440s.bsp přes SPICE)

Omezení#

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

  • Čestnost: MODELLED, nikoli s certifikací. Hlavní hodnota us/den závisí na referenci (geoid Země W0 oproti lunárnímu selenoidu, okno průměrování v čase, zanedbané odstředivé/J2 korekce pod us/den) -> pásmo, nikoli jediné číslo, je čestným výstupem. Nic zde není ověřeno na subnanosekundovou absolutní přesnost ani certifikováno pro provozní udržování času. Zpráva také uvádí akumulovaný posun LTC-TT za hori (komentář v souboru scénáře, řádky 11 až 16)
  • 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))

Viz také#