mission-thread (type de scénario)

Type de scénario du moteur v0.40.0, famille Fils de mission. À 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#

Budget d'erreur de navigation et de synchronisation MODELLED d'une chaîne déclarée de phases de mission, du lancement à l'entrée : lancement et ascension, rendez-vous et amarrage en orbite basse terrestre (répétable), injection trans-lunaire et croisière cislunaire, rendez-vous en orbite lunaire, descente, séjour en surface, ascension, puis retour et entrée, chaque phase étant l'un des huit types enregistrés avec ses propres capteurs et son propre filtre. La covariance 6x6, l'horloge et le référentiel sont transmis d'une phase à l'autre selon une règle déclarée (carry, inflate ou reacquire) ; les conversions de référentiel et d'échelle de temps (GCRF, MCI, MCMF, UTC, TT, TDB, LTC) sont des lignes de budget à part, avec l'état de la Lune issu d'une découpe facultative du noyau DE440 et la série analytique comme solution de repli déclarée. Une superposition facultative du réseau au sol fixe le cycle de suivi de chaque phase. Rapporte le budget par phase (1-sigma à l'entrée, au pic et à la sortie, chaque contribution avec son unité), la marge par rapport à une exigence déclarée, le maillon le plus faible, les événements et une figure chronologique. MODELLED : chaque nombre est une entrée déclarée ; la chaîne suit un seul empilement et aucun véhicule n'est modélisé. Sources publiques seulement ; sans affiliation ni aval d'aucune agence ; logiciel à titre consultatif, et non un équipement de navigation certifié.

Une exécution de scenarios/mission-thread-artemis-class.toml se résume ainsi : mission-thread | 11 phases | Artemis-class mission thread (ILLUSTRATIVE) | weakest link descent | MODELLED

Entrées#

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

• Champs obligatoires : epoch_utc, entry, phase
• Champs facultatifs : kind, title, seed, moon_kernel_path, ground_network

L'exemple scenarios/mission-thread-artemis-class.toml définit, entre autres :

L'exécuter#

kshana scenarios/mission-thread-artemis-class.toml

Ce qu'il donne#

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

Étiquette du résultat (celle du moteur) : MODELLED

Preuves#

MODELLED : les lignes de la matrice de vérification qui nomment ce type de scénario.

• MODELLED Le type mission-thread : un document de phases, chacune d'un des huit types enregistrés, exécutées dans l'ordre avec la covariance 6x6, l'horloge et le référentiel transmis selon une règle déclarée (carry ; inflate, bruit d'accélération blanc sur un intervalle déclaré Tests : field_units_global.rs.
• MODELLED La phase launch-ascent : une covariance de position et de vitesse à vitesse constante avec un bruit d'accélération blanc (le niveau de l'estime), un point GNSS de précision déclarée appliqué après l'instant d'acquisition et hors des évanouissements déclarés, une horloge à biais et
• MODELLED La phase leo-rendezvous : l'état relatif dans les axes LVLH de la cible avec la transition de Clohessy-Wiltshire en forme analytique, une covariance de Kalman 6x6 avec un bruit d'accélération blanc et des mises à jour de position dont la variance est celle du capteur à la dis
• MODELLED La phase tli-and-cruise : l'état moyen par le propagateur de Cowell du moteur (masse ponctuelle terrestre et J2, le Soleil et la Lune comme corps tiers, la Lune issue du noyau DE440 du fil là où il couvre le segment et le Soleil issu de la sér
• et 4 autres dans la matrice.

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
• MODELLED Le type mission-thread : un document de phases, chacune d'un des huit types enregistrés, exécutées dans l'ordre avec la covariance 6x6, l'horloge et le référentiel transmis selon. Référence indépendante (InternalConsistency) : Calculs à la main dans les tests (la croissance de la covariance en ligne droite, la rotation sidérale moyenne, le taux séculaire de l'horloge lunaire) et, pour l'état de la Lune seulement, les découpes versionnées du noyau DE440 par rapport à des valeurs JPL Horizons épinglées (au pire 2,6 m et 7e-6 m/s). Aucune donnée de mission n'est comparée avec la chaîne ; ses phases sont des lignes à part. Le document est une chaîne déclarée avec des entrées ILLUSTRATIVE, des sources publiques seulement et sans aucune cau
• MODELLED La phase launch-ascent : une covariance de position et de vitesse à vitesse constante avec un bruit d'accélération blanc (le niveau de l'estime), un point GNSS de précision déclarée appliqué après l'instant d'acquisition et hors des évanouissements déclarés, une horloge à biais et dérive asservie par les mêmes points. Référence indépendante (InternalConsistency) : L'état stationnaire de Riccati et le calcul à la main de la prédiction dans les tests. Rien ici ne modélise un lanceur ou un récepteur ; chaque nombre est une entrée déclarée
• MODELLED La phase leo-rendezvous : l'état relatif dans les axes LVLH de la cible avec la transition de Clohessy-Wiltshire en forme analytique, une covariance de Kalman 6x6 avec un bruit d'accélération blanc. Référence indépendante (InternalConsistency) : Un calcul à la main à un axe de la prédiction et de la mise à jour dans le test ; la transition de Clohessy-Wiltshire est celle que cw_dynamics vérifie par rapport à une intégration numérique indépendante. Les capteurs sont ILLUSTRATIVE et aucun rendez-vous réel n'est comparé
• MODELLED La phase tli-and-cruise : l'état moyen par le propagateur de Cowell du moteur (masse ponctuelle terrestre et J2, le Soleil et la Lune comme corps tiers, la Lune issue du fil. Référence indépendante (InternalConsistency) : Le théorème de Liouville (le déterminant de la matrice de transition d'état de la partie conservative vaut un) et une différence plus fine dans les tests ; l'état moyen est comparé à une trajectoire publique dans la ligne ci-dessous, qu'il n'atteint pas. L'erreur de poussée, les mises à jour et la covariance ne sont comparées à rien

Limites#

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

• Budget d'erreur de navigation et de synchronisation MODELLED d'une chaîne déclarée de phases de mission, du lancement à l'entrée : lancement et ascension, rendez-vous et amarrage en orbite basse terrestre (répétable), injection trans-lunaire et croisière cislunaire, rendez-vous en orbite lunaire, descente, séjour en surface, ascension, puis retour et entrée, chaque phase étant l'un des huit types enregistrés avec ses propres capteurs et son propre filtre. (catalogue des types de scénario (kshana kinds --json))
• MODELLED : chaque nombre est une entrée déclarée ; la chaîne suit un seul empilement et aucun véhicule n'est modélisé. (catalogue des types de scénario (kshana kinds --json))
• HONNÊTETÉ. Chaque nombre ici est ILLUSTRATIVE : un chiffre rond choisi pour faire tourner la chaîne, et non la performance d'un véhicule, d'un capteur, d'une station ou d'un réseau. La chaîne suit un seul empilement comme simplification déclarée ; les changements de véhicule, les transferts d'équipage et la station en orbite lunaire ne sont pas modélisés, les orbites lunaires sont les orbites circulaires et polaires à 100 km que volent les types lunaires (et non l'orbite de halo quasi rectiligne), et la poussée TLI e (commentaire du fichier de scénario, lignes 11 à 17)
• 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))
• Le budget d'erreur de navigation et de synchronisation d'une chaîne de phases de mission du lancement à l'entrée (mission-thread) est MODELLED, et non validé : vérifié par rapport à sa propre identité analytique / en forme fermée — il détecte les erreurs de transcription et de coefficients, mais ce n'est pas une référence indépendante externe. (matrice de vérification (docs/MODELLED-RATIONALE.md))
• Le lancement et l'ascension vers une orbite de stationnement avec acquisition et évanouissement GNSS (launch-ascent) est MODELLED, et non validé : vérifié par rapport à sa propre identité analytique / en forme fermée — il détecte les erreurs de transcription et de coefficients, mais ce n'est pas une référence indépendante externe. (matrice de vérification (docs/MODELLED-RATIONALE.md))
• La navigation relative jusqu'à l'enveloppe d'amarrage en orbite basse terrestre sur des segments de capteur (leo-rendezvous) est MODELLED, et non validée : vérifiée par rapport à sa propre identité analytique / en forme fermée — elle détecte les erreurs de transcription et de coefficients, mais ce n'est pas une référence indépendante externe. (matrice de vérification (docs/MODELLED-RATIONALE.md))
• L'injection trans-lunaire et la croisière cislunaire : état moyen et covariance propagés avec des mises à jour de suivi (tli-and-cruise) sont MODELLED, et non validés : vérifiés par rapport à leur propre identité analytique / en forme fermée — ils détectent les erreurs de transcription et de coefficients, mais ce n'est pas une référence indépendante externe. (matrice de vérification (docs/MODELLED-RATIONALE.md))

Voir aussi#

• Page de famille : Fils de mission
• Tous les types de scénario : KINDS.md
• Page thématique : MISSION-THREAD.md
• Page thématique : MISSION-THREAD-LUNAR.md