Traduction automatique, non relue par un locuteur natif. L'anglais fait foi.

Pages des types de scénarioModifier sur GitHubSource : docs/kinds/by-kind/lunar-time-offset.md

lunar-time-offset (type de scénario)

Type de scénario du moteur v0.40.0, famille Lunaire et cislunaire. À titre consultatif : résultat d'analyse d'un outil de recherche et d'ingénierie, et non un équipement de navigation homologué ni un service de sauvegarde de la vie humaine. Chaque étiquette ici est celle du moteur ou de la matrice de vérification ; un type de scénario est MODELLED sauf si la matrice dit le contraire (comment une étiquette s'acquiert : la section Evidence du README).

Ce qu'il fait#

Taux d'horloge relativiste Terre–Lune modélisé (Temps lunaire coordonné, LTC/TCL) : le taux séculaire LTC−TT issu de la différence de potentiel propre et du terme cinétique de la Lune, rapporté avec la bande publiée de 56–59 µs/jour, plus le décalage accumulé sur un horizon.

Une exécution de scenarios/lunar-time-offset.toml se résume ainsi : 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

Entrées#

D'après le schéma (kshana kinds --json) :

  • Champs requis : aucun
  • Champs facultatifs : epoch_year, epoch_month, epoch_day, horizon_days

L'exemple scenarios/lunar-time-offset.toml définit, entre autres :

Champ Valeur Unité
epoch_day 1 d
epoch_month 1 non indiqué
epoch_year 2000 non indiqué
horizon_days 1 jour
kind lunar-time-offset texte

L'exécuter#

kshana scenarios/lunar-time-offset.toml

Ce qu'il donne#

Les résultats scalaires de cette exécution, avec les unités que le moteur indique :

Résultat Valeur Unité
band_high 59 us/day
band_low 56 us/day
evidence.id_rule l'identifiant stable de la ligne de la matrice (l'ID texte
evidence.matrix docs/VERIFICATION-MATRIX.md texte
evidence.tier MODELLED texte
horizon_days 1 jour
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
Le graphique que le moteur écrit pour scenarios/lunar-time-offset.toml, type de scénario lunar-time-offset

Preuves#

Aucune ligne de la matrice ne nomme ce type de scénario ; l'étiquette de son résultat est celle du moteur lui-même, ci-dessus.

Les lignes que l'exécution elle-même a exercées, avec la référence indépendante que la matrice donne pour chacune (les sources publiques y sont nommées) :

  • MODELLED Déterministe, hachée par scénario, avec des barrières SBOM + références d'or multiplateformes. Référence indépendante (ExternalDataset) : respect du schéma JSON officiel CycloneDX 1,5 par la SBOM (+ identifiants SPDX valides) — une norme publiée externe, zéro erreur de validation sur tout le graphe de dépendances ; la partie déterminisme du FoM / reproductibilité à l'octet près reste un contrôle d'autocohérence figé, de sorte que la ligne reste MODELLED
  • VALIDATED Taux d'horloge relativiste Terre-Lune (LTC/TCL) + chaînage TT/TAI/UTC + ensemble. Référence indépendante (ExternalDataset) : Ashby & Patla 2024, 'A Relativistic Framework to Estimate Clock Rates on the Moon', Astronomical Journal 167:149 (NIST ; base du LTC LunaNet de l'UAI/IAG) : potentiel propre de la surface de la Lune L_m = 3.13881e-11 et total séculaire 56,02 µs/jour concordant avec les valeurs numériques publiées ; vitesse géocentrique de la Lune recoupée avec JPL DE440 (de440s.bsp via SPICE)

Limites#

Ce que le rapport propre à l'exécution dit n'être pas modélisé ou pas validé :

  • Honnêteté : MODELLED, non certifié. Le chiffre principal en us/jour dépend de la référence (géoïde terrestre W0 par rapport à un sélénoïde lunaire, fenêtre de moyennage temporel, corrections centrifuge/J2 inférieures à l'us/jour négligées) -> une bande, et non un nombre unique, est la sortie honnête. Rien ici n'est vérifié à une exactitude absolue inférieure à la nanoseconde ni certifié pour la tenue du temps en exploitation. Le rapport donne aussi le décalage LTC-TT accumulé sur l'hori (commentaire du fichier de scénario, lignes 11 à 16)
  • La reproductibilité et l'assurance logicielle sont MODELLED, et non validées : une sous-affirmation est vérifiée de l'extérieur, mais la capacité entière compose des éléments modélisés, de sorte qu'elle reste modélisée. (matrice de vérification (docs/MODELLED-RATIONALE.md))

Voir aussi#