Lunaire et cislunaire (famille de types de scénario)

24 types de scénario du moteur v0.40.0. À 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).

Pages thématiques : LUNAR-REFERENCE-STATION, LUNAR-INFRASTRUCTURE, LUNANET-AFS. En exécuter une : kshana scenarios/lunar-infrastructure-od-consistency.toml. Toutes les familles : KINDS.md.

lunar-integrity#

Passage de niveau de protection ARAIM au pôle sud lunaire par rapport à un ensemble représentatif de relais LunaNet. sigma_ure_m expose la précision de mesure de distance du signal dans l'espace (les niveaux de protection lui sont proportionnels, de sorte que la balayer répond à la question de la précision de mesure de distance qu'exige une limite d'alerte). Par défaut, le cas historique du pôle sud de classe LNIS.

Champs obligatoires : aucun. Facultatifs : step_s, duration_s, alert_limit_m, p_hmi, sigma_ure_m.

Registre : aucune ligne de la matrice ne nomme ce type ; le moteur étiquette lui-même son résultat. Page complète, avec les entrées, les résultats, les preuves et les limites : lunar-integrity.

kshana scenarios/lunanet-araim.toml

lunar-time-offset#

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.

Champs obligatoires : aucun. Facultatifs : epoch_year, epoch_month, epoch_day, horizon_days.

Registre : aucune ligne de la matrice ne nomme ce type ; le moteur étiquette lui-même son résultat. Page complète, avec les entrées, les résultats, les preuves et les limites : lunar-time-offset.

kshana scenarios/lunar-time-offset.toml

lunar-time-budget#

Budget d'erreur de temps de bout en bout MODELLED du Temps lunaire coordonné (LTC) : les sept termes d'erreur du LTC assemblés sous forme de courbes d'erreur de temps x_i(τ) sur toute une grille de temps de moyennage, sommés quadratiquement en x_Σ(τ), et le τ de CROISEMENT horloge-référentiel auquel le terme d'horloge croissant dépasse le terme constant de réalisation du référentiel en temps réel (en dessous, le budget est limité par le référentiel, au-dessus, limité par l'horloge) — la réponse honnête à l'artefact du τ unique. Les pentes en τ sont en forme close et vérifiables analytiquement (horloge τ^{+1/2}/τ^{+1}, planchers τ^0, mesure τ^{-1/2}) et les lignes d'horloge reproduisent les spécifications d'horloge publiées sur un jour (crate::clock_specs) ; les ORDRES DE GRANDEUR des planchers de liaison RF/optique, de réalisation du référentiel, de résiduel relativiste et d'éphéméride sont des allocations de budget modélisées (valeurs par défaut documentées, redéfinissables par l'appelant), et non des mesures. L'apport est le τ de croisement reproductible, et non un nombre certifié par terme ; non certifié pour la tenue du temps en exploitation.

Champs obligatoires : aucun. Facultatifs : clock, tau_min_s, tau_max_s, points_per_decade, clocks, time_lab.

Registre : MODELLED. Page complète, avec les entrées, les résultats, les preuves et les limites : lunar-time-budget.

kshana scenarios/lunar-time-budget.toml

lunar-ascent#

Ascension propulsée MODELLED depuis un site de surface polaire sud jusqu'à l'orbite de rendez-vous, et la covariance de position et de vitesse qu'elle reporte en orbite (classe Artemis). Le modèle d'erreur inertielle à cinq états par axe de lunar-descent (position, vitesse, biais d'accéléromètre, inclinaison d'assiette, biais de gyroscope, piloté par la force spécifique) s'exécute sur les trois axes du site à partir de l'état de surface avec lequel la phase commence ; un point de position AFS issu des relais visibles d'une constellation ILLUSTRATIVE de classe LCNS (autonome, ou différentiel avec le résidu de la liaison de correction de lunar-differential-pnt, avec l'horloge aidée lorsque seuls trois relais sont visibles) est pris à un intervalle déclaré, le temps lunaire entrant par l'horloge du véhicule et une erreur d'horodatage le long de la trajectoire. Rapporte les sources inertielles en forme analytique, la contribution de l'aide, l'ablation, les 1-sigma de navigation sur l'ascension, la dispersion à la coupure des moteurs à côté de la connaissance de navigation, et la covariance MCI 6x6 complète à l'insertion avec la corrélation position-vitesse conservée. MODELLED : classe d'IMU illustrative, force spécifique, ensemble de relais et dispersion à la coupure illustratifs ; erreurs tenues dans les axes du site de lancement ; l'état de sortie nominal est un substitut. Sans aval d'aucune agence ; logiciel à titre consultatif, et non un équipement de navigation certifié.

Champs obligatoires : aucun. Facultatifs : site_lat_deg, site_lon_deg, ascent_s, specific_force_m_s2, insertion_altitude_km, accel_bias_ug, align_arcmin, gyro_bias_deg_per_hr, surface_pos_sigma_m, surface_vel_sigma_m_s, cutoff_sigma_m_s, afs_mode, n_relays, mask_deg, afs_cn0_dbhz, sis_ure_m, afs_first_fix_s, afs_interval_s, baseline_km, lunar_time_mode, time_since_sync_days.

Registre : MODELLED. Page complète, avec les entrées, les résultats, les preuves et les limites : lunar-ascent.

kshana scenarios/lunar-ascent.toml

lunar-surface#

Disponibilité du positionnement et de la synchronisation temporelle en surface MODELLED par site et par saison pour des sites polaires sud de classe Artemis. Pour chaque site et chaque saison (une époque et une fenêtre après elle), elle rapporte le positionnement par relais (quatre relais ou plus d'une constellation ILLUSTRATIVE de classe LCNS en vue et PDOP sous un seuil, issus des mêmes fonctions que moonlight-service-volume et, avec une section de terrain, la ligne d'horizon tracée par rayons du terrain de lunar-station-coverage), si la Terre et le Soleil sont au-dessus de l'horizon du site (Soleil, Lune et orientation lunaire analytiques, libration comprise, ce qui varie avec la saison), et la disponibilité de la synchronisation temporelle (un relais ou la Terre en vue) avec la plus longue période sans aucun des deux, le holdover qu'une horloge de surface doit traverser. Un résultat à site unique égale celui de moonlight-service-volume au bit près. MODELLED : ensemble de relais képlériens illustratif sur une Lune à rotation moyenne ; le chiffre des relais ne change pas avec la saison ; le terrain est la découpe LOLA de 1200 m. Sans aval d'aucune agence ; logiciel à titre consultatif, et non un équipement de navigation certifié.

Champs obligatoires : aucun. Facultatifs : sites, season_dates, window_days, step_min, stay_days, timing_floor_s, n_sats, sma_km, eccentricity, inc_deg, argp_deg, mask_deg, pdop_threshold, earth_mask_deg, sun_mask_deg, terrain.

Registre : MODELLED. Page complète, avec les entrées, les résultats, les preuves et les limites : lunar-surface.

kshana scenarios/lunar-surface.toml

lunar-descent#

Budget de dispersion à l'atterrissage MODELLED pour une descente propulsée vers un site polaire sud (classe Artemis). Par axe horizontal, un modèle d'erreur inertielle à cinq états (position, vitesse, biais d'accéléromètre, inclinaison d'assiette, biais de gyroscope) est piloté par la force spécifique de la descente ; un filtre séquentiel prend les points de position des aides activées : un point AFS issu des relais visibles d'une constellation ILLUSTRATIVE de classe LCNS (autonome, ou différentiel avec le résidu de la liaison de correction de lunar-differential-pnt, avec l'horloge aidée lorsque seuls trois relais sont visibles) et un point relatif au terrain (le comparateur TERCOM/SITAN de la crate sur un relief synthétique, ou la borne de Cramer-Rao de l'appariement d'une fenêtre d'altitude du véritable MNT polaire sud LOLA). Le temps lunaire entre par l'horloge du véhicule aux points (le décalage LTC-TT de lunar-time-offset, ou l'incertitude de sa bande publiée) et sous la forme d'une erreur d'horodatage le long de la trajectoire. Rapporte l'ellipse d'atterrissage à 3 sigma, le R95, les sources inertielles en forme analytique, la contribution de chaque aide, l'ablation de chaque combinaison d'aides, un étalonnage Monte Carlo de l'ellipse, et la covariance transmise. MODELLED : classe d'IMU, ensemble de relais, profil de descente et terme de guidage illustratifs ; la navigation sur terrain utilise un relief synthétique à une échelle en mètres terrestres ; la disponibilité AFS est d'une seule époque sur un masque plat. Sans aval d'aucune agence ; logiciel à titre consultatif, et non un équipement de navigation certifié.

Champs obligatoires : aucun. Facultatifs : site_lat_deg, site_lon_deg, more_site_lats_deg, descent_s, specific_force_m_s2, horizontal_speed_m_s, accel_bias_ug, align_arcmin, gyro_bias_deg_per_hr, carried_pos_sigma_m, carried_vel_sigma_m_s, guidance_sigma_m, afs_mode, n_relays, mask_deg, afs_cn0_dbhz, sis_ure_m, afs_first_fix_s, afs_interval_s, baseline_km, trn_source, trn_fix_time_s, trn_altimeter_sigma_m, trn_map_sigma_m, dem_descriptor, trn_window_m, trn_height_sigma_m, trn_registration_sigma_m, lunar_time_mode, time_since_sync_days, n_trials, seed.

Registre : MODELLED. Page complète, avec les entrées, les résultats, les preuves et les limites : lunar-descent.

kshana scenarios/lunar-descent.toml

lunar-orbit-rendezvous#

Navigation relative MODELLED pour un amarrage de type Orion-atterrisseur sur une orbite lunaire basse ou une orbite polaire elliptique (classe Artemis). Un chasseur et une cible volent sur la même orbite sous le modèle de forces lunaires de la crate ; une estimation conjointe par lots de Gauss-Newton à 21 paramètres sur l'arc (deux états de véhicule et des biais persistants du signal dans l'espace) fusionne un point de position absolu par véhicule issu d'un ensemble de relais ILLUSTRATIVE de classe LCNS (relais derrière la Lune écartés, quatre nécessaires, l'erreur de signal dans l'espace en mode commun s'annulant entre les véhicules) et une distance par liaison croisée, avec une précision de mesure de distance tirée de la borne de suivi de code sur le pilote AFS de LunaNet. Rapporte l'erreur de position et de vitesse relatives formelle et Monte Carlo dans les axes LVLH de la cible, la disponibilité des points, l'erreur d'estimation normalisée moyenne au carré par rapport à sa valeur attendue, et tout essai dont l'itération n'a pas convergé, la dérive due à l'omission des harmoniques de gravité, et la covariance 6x6 complète transmise. Une vérification de Hill/Clohessy-Wiltshire en forme analytique s'applique au cas circulaire. MODELLED : ensemble de relais, budget d'erreur et a priori illustratifs ; la vérité et l'estimateur partagent un même modèle de forces, de sorte que la NEES vérifie l'autocohérence et non l'erreur de modèle. Sans aval d'aucune agence ; logiciel à titre consultatif, et non un équipement de navigation certifié.

Champs obligatoires : aucun. Facultatifs : orbit, sma_km, eccentricity, inc_deg, argp_deg, mean_anomaly_deg, separation_m, arc_s, step_s, n_relays, afs_cn0_dbhz, isl_cn0_dbhz, integration_s, sis_ure_m, common_mode_fraction, target_pos_sigma_m, target_vel_sigma_m_s, carried_pos_sigma_m, carried_vel_sigma_m_s, filter_model, n_trials, seed, conv_threshold_m, gravity_table_path, gravity_degree.

Registre : MODELLED. Page complète, avec les entrées, les résultats, les preuves et les limites : lunar-orbit-rendezvous.

kshana scenarios/lunar-orbit-rendezvous.toml

lunar-vlbi#

Observable de retard VLBI géodésique lunaire modélisé : une ligne de base terrestre (deux stations au sol, GCRS) observe un signal aller d'une balise de surface lunaire de classe NovaMoon. Émet le retard en champ proche par différence de deux distances, son taux, et la correction de courbure du front d'onde en champ proche sur un passage — recoupé avec l'observable Δ-DOR à onde plane du même code source dans la limite du champ lointain, avec des dérivées partielles vérifiées par différences finies. Le chemin analytique par défaut est MODELLED et comporte les réserves de cohérence de référentiel, de mouvement du pôle xp=yp=0 et d'onde plane contre champ proche. Définir planetary_kernel_path, earth_orientation_kernel_path et moon_orientation_kernel_path exécute à la place le chemin par noyaux (DE440, MOON_PA_DE440, ITRF93 ; temps de trajet lumineux barycentriques convergés ; ajoute les dérivées partielles de la balise et des stations de l'époque), dont le retard newtonien et les dérivées partielles concordent avec les temps de trajet lumineux convergés de NAIF SPICE à 0,06 ps et 7.4e-9. Non vérifié sur de vraies données VLBI.

Champs obligatoires : aucun. Facultatifs : station1_lat_deg, station1_lon_deg, station1_alt_m, station2_lat_deg, station2_lon_deg, station2_alt_m, beacon_lat_deg, beacon_lon_deg, beacon_alt_m, epoch_year, epoch_month, epoch_day, horizon_hours, step_min, planetary_kernel_path, earth_orientation_kernel_path, moon_orientation_kernel_path.

Registre : MODELLED 3 · VALIDATED 3. Page complète, avec les entrées, les résultats, les preuves et les limites : lunar-vlbi.

kshana scenarios/lunar-vlbi.toml

lunar-vlbi-fim#

Covariance des coordonnées de station en VLBI lunaire : les dérivées partielles du retard de l'observable lunar-vlbi accumulées sur un CALENDRIER explicite (lignes de base x époques) dans une matrice d'information de Fisher, inversée, et rapportée comme covariance des coordonnées de station et sigma de station par coordonnée — une sortie calculée du moteur plutôt qu'une précision de retard scalaire passée à travers un facteur d'équipartition isotrope supposé g = 3. L'état porte des coordonnées de station FIXES dans la Terre (ITRS), de sorte que le jacobien est la dérivée partielle inertielle tournée par la matrice GCRS->ITRS de chaque époque : la rotation de la Terre est ce qui rend ces coordonnées observables, et le rapport MESURE le balayage de la ligne de visée fixe dans la Terre et la déclinaison de la balise plutôt que de les supposer. Une observation est une paire (ligne de base, époque) avec LES DEUX stations au-dessus du masque d'élévation, pondérée par 1/delay_sigma_s^2. Rapporte à chaque exécution le rang, le défaut de datum, le conditionnement, le spectre d'information complet, la matrice de covariance, les sigmas par station et par axe ainsi que 3D, et l'espace nul du réseau libre ; en cas de déficience de rang, le sigma principal est publié comme NULL avec un statut, jamais lu dans une inverse quasi singulière. La valeur d'équipartition cdelay_sigma_ssqrt(g/N) pour le MÊME calendrier est émise à côté de la valeur calculée avec le rapport, ainsi que la borne isotrope de trace sqrt(p/trace(M)) qu'AM-HM rend plancher strict — de sorte que le rapport est l'anisotropie que l'hypothèse avait écartée. La fermeture de retard tau_ik = tau_ij + tau_jk ne rend géométriquement indépendantes que n-1 des n(n-1)/2 lignes de base ; le rapport énonce les deux nombres. MODELLED : l'éphéméride du centre de la Lune, les horloges des stations, la troposphère et les paramètres d'orientation de la Terre sont maintenus FIXES et les observations sont traitées comme indépendantes, de sorte que la covariance est une borne de Cramer-Rao pour un jeu de paramètres réduit, et non un résultat de session prédit ; le sigma de retard, les coordonnées des stations et le calendrier sont des entrées. La dérivée partielle que le jacobien du retard géométrique omet (le terme de Shapiro différencié) est mesurée par différence finie et émise. Pas un produit géodésique.

Champs obligatoires : aucun. Facultatifs : stations, beacon_lat_deg, beacon_lon_deg, beacon_alt_m, epoch_year, epoch_month, epoch_day, arc_hours, step_min, delay_sigma_s, elevation_mask_deg, datum, estimate_beacon, rel_tol, equipartition_g, planetary_kernel_path.

Registre : MODELLED 3 · VALIDATED 2. Page complète, avec les entrées, les résultats, les preuves et les limites : lunar-vlbi-fim.

kshana scenarios/lunar-vlbi-fim.toml

lunar-joint-od-clock#

Estimateur par lots modélisé conjoint multi-techniques de détermination d'orbite lunaire + horloge sur un réseau SIMULÉ : un ajustement instantané de Gauss-Newton qui fusionne les retards VLBI géodésiques sur des lignes de base terrestres, les distances station↔satellite locales à la Lune et les distances inter-satellites pour retrouver, ensemble, la position 3D d'une station de surface lunaire, les positions d'une petite constellation et le décalage d'horloge de chaque élément à partir d'une vérité injectée. Le résultat principal, honnête — le VLBI rend observable la position 3D complète de la station là où la seule télémétrie locale à la Lune laisse une direction faiblement observée — est rapporté sous la forme du contraste d'erreur de station avec et sans VLBI. Récupération en boucle fermée simulée MODELLED (la vérité partage le modèle d'observation), déterministe (graine), NON vérifiée sur des données réelles ; aucune propagation par modèle de forces dans le résolveur ; aucun TRL, héritage ni aval d'une agence.

Champs obligatoires : aucun. Facultatifs : n_sat, n_earth, seed, sigma_vlbi_s, sigma_range_m, sigma_isl_m, station_lat_deg, station_lon_deg, station_alt_m, orbit_radius_km, sigma_clock_s, orbit_ecc, orbit_inc_deg, orbit_argp_deg, orbit_planes, epoch_year, epoch_month, epoch_day.

Registre : aucune ligne de la matrice ne nomme ce type ; le moteur étiquette lui-même son résultat. Page complète, avec les entrées, les résultats, les preuves et les limites : lunar-joint-od-clock.

kshana scenarios/lunar-joint-od-clock.toml

lunar-frame-realisation#

Réalisation modélisée du référentiel lunaire : ajustement d'un datum de Helmert (similitude) à 7 paramètres — 3 de translation, 3 de rotation à petit angle, 1 d'échelle — rattachant un ensemble estimé de coordonnées de points MCMF dérivées de coordonnées sélénographiques à un datum par moindres carrés pondérés (crate::batch_ls::gauss_newton), plus un simple rattachement d'orientation exprimant la petite rotation réalisée autour des axes de l'ICRF par rapport à l'orientation du corps WGCCRE de l'UAI 2015. Le scénario injecte une petite transformation connue (translation ~dizaines de m, rotation ~µrad, échelle ~1e-7) dans un réseau de points synthétique bien réparti, ajoute un bruit gaussien initialisé par une graine, retrouve le datum, et rapporte la transformation retrouvée, l'erreur de récupération par paramètre par rapport à la vérité injectée, et le résiduel RMS après ajustement. Autocohérence MODELLED — retrouve une transformation de similitude injectée (sans bruit à ~la précision machine), et NON une réalisation par rapport à de vraies données de suivi/VLBI ; déterministe (graine) ; aucun TRL, héritage ni aval d'une agence.

Champs obligatoires : aucun. Facultatifs : n_points, tx_m, ty_m, tz_m, rot_x_urad, rot_y_urad, rot_z_urad, scale_ppb, noise_sigma_m, seed, epoch_year, epoch_month, epoch_day.

Registre : aucune ligne de la matrice ne nomme ce type ; le moteur étiquette lui-même son résultat. Page complète, avec les entrées, les résultats, les preuves et les limites : lunar-frame-realisation.

kshana scenarios/lunar-frame-realisation.toml

lunar-frame-campaign#

Datum de référentiel de Helmert (similitude) à sept paramètres piloté par une CAMPAGNE D'OBSERVATION SIMULÉE plutôt que par une transformation injectée. Un réseau de stations terrestres observe un catalogue de balises de surface lunaire selon un calendrier explicite ; les dérivées partielles du retard VLBI lunaire sont accumulées sur ce calendrier en une matrice d'information de Fisher des coordonnées des balises exactement comme le fait lunar-vlbi-fim ; et cette information est propagée par la matrice de conception de Helmert A = [I3 | [p]_x | p] aux points du catalogue jusqu'à la covariance du datum H = A^T M_b A, diagnostiquée par crate::fim::crlb. AUCUNE transformation n'est injectée et rien n'est retrouvé à partir d'une réponse plantée, de sorte que la précision du datum rapportée découle du programme d'observation : diviser par deux le sigma du retard la divise exactement par deux, et allonger l'arc l'améliore parce que la libration que le rapport MESURE (sub_earth_direction_sweep_deg) est ce qui sépare la coordonnée de balise selon la ligne de visée de celles dans le plan du ciel. Le rang, le défaut de datum, le conditionnement, le spectre complet, les directions inobservables DANS LA BASE À SEPT PARAMÈTRES, la direction la plus faible même à plein rang et la part de chaque paramètre dans celle-ci sont émis à chaque exécution ; un paramètre que la campagne ne contraint pas est publié comme NULL avec un statut, jamais lu dans une inverse quasi singulière. La corrélation des erreurs de balises est mesurée, non supposée : avec les stations maintenues fixes, aucune observation ne touche deux balises, de sorte que la matrice d'information est exactement bloc-diagonale (offblock_fraction 0), et avec les stations estimées, le bloc marginalisé par Schur est couplé, la corrélation induite étant imprimée et toute la propagation étant relancée sans elle, de sorte que le prix d'une hypothèse d'indépendance est un nombre. La même propagation sous un sigma isotrope par coordonnée, et l'erreur de récupération que rapporte le scénario lunar-frame-realisation, sont toutes deux exécutées ici et imprimées à côté de la valeur de la campagne avec leurs rapports. MODELLED : le catalogue de balises est sourcé mais la CAMPAGNE est simulée — le réseau de stations et le sigma du retard sont des entrées illustratives, les observations de retard individuelles sont traitées comme indépendantes, et l'éphéméride du centre de la Lune, les horloges des stations, la troposphère et les paramètres d'orientation de la Terre sont maintenus FIXES, de sorte que la covariance du datum est une borne de Cramer-Rao pour un jeu de paramètres réduit. Pas un produit géodésique.

Champs obligatoires : aucun. Facultatifs : stations, beacons, epoch_year, epoch_month, epoch_day, arc_hours, step_min, delay_sigma_s, elevation_mask_deg, earth_elevation_mask_deg, station_datum, rel_tol, assumed_coordinate_sigma_m, solver.

Registre : MODELLED 2 · VALIDATED 3. Page complète, avec les entrées, les résultats, les preuves et les limites : lunar-frame-campaign.

kshana scenarios/lunar-frame-campaign.toml

lunar-llr-datum#

Datum de référentiel lunaire de Helmert à sept paramètres piloté par une campagne d'observation RÉELLE et ARCHIVÉE plutôt que simulée. Là où lunar-frame-campaign avait retiré la transformation injectée mais énonçait encore son réseau de stations, son calendrier et son sigma par observation comme des entrées ILLUSTRATIVE, ce type de scénario prend les trois à partir de mesures : les époques sont les heures d'émission depuis le sol de points normaux archivés des données consolidées de télémétrie laser (CLRD) de l'ILRS, les observations sont les mesures laser réellement tirées vers les cinq réseaux de rétroréflecteurs sur la Lune, et chaque poids d'observation est la propre précision archivée de ce point normal, bin_rms/sqrt(n_raw), lue dans le fichier. Les coordonnées des stations proviennent de la solution SLR ITRF2020 de l'IERS (propagées à l'époque par leurs vitesses publiées) et celles des réflecteurs de la Table 7 de JPL DE430 dans le référentiel Terre moyenne/rotation moyenne que réalise le modèle WGCCRE de l'UAI 2015. Les dérivées partielles de distance s'accumulent dans la matrice d'information de Fisher conjointe des coordonnées des réflecteurs et se propagent par la même matrice de conception de Helmert jusqu'à la covariance du datum, diagnostiquée par crate::fim::crlb. Le rang, le défaut, le conditionnement, le spectre, les directions inobservables dans la base à sept paramètres, la direction la plus faible à plein rang et la part de chaque paramètre dans celle-ci sont émis à chaque exécution, et un paramètre non contraint est publié comme NULL avec un statut. La corrélation entre réseaux est MEASURED à exactement zéro plutôt que supposée, parce qu'une mesure laser touche un seul réseau. Un enregistrement que les catalogues ne peuvent pas placer — une station sans position ITRF publiée — est IGNORÉ ET COMPTÉ, sans jamais recevoir de coordonnée de substitution. LES LIAISONS MEASURED ET CELLES QUI SONT MODELLED, C'EST LE RAPPORT, PAS UNE NOTE DE BAS DE PAGE : l'éphéméride du centre de la Lune et l'orientation du corps de l'UAI restent modélisées et leur taille combinée est émise sous forme du résiduel de distance aller observé moins calculé sur chaque point utilisé ; la troposphère, les marées du corps solide, l'excentricité de la station, le mouvement du pôle, UT1-UTC, le retard relativiste et les horloges des stations sont absents et inclus dans ce résiduel. Comme une erreur d'éphéméride n'atteint une covariance que par la direction de chaque ligne de visée, chaque exécution résout aussi à nouveau tout le datum avec toutes les dérivées partielles inclinées de sensitivity_tilt_deg (signe alterné) et émet le rapport, de sorte que l'insensibilité de la covariance à l'éphéméride modélisée est un nombre plutôt qu'un argument. Les chiffres de la campagne simulée sont EXÉCUTÉS et imprimés à côté de ceux mesurés, et non transcrits. MODELLED : les chiffres à sept paramètres sont une borne de Cramer-Rao pour un jeu de paramètres réduit sur un calendrier réel — pas un datum résolu, pas une analyse LLR et pas un produit géodésique. La tranche de données réelles consignée est livrée avec le dépôt mais pas avec le crate publié ; faites pointer data_dir vers une copie de celle-ci.

Champs obligatoires : aucun. Facultatifs : data_dir, normal_points_dir, reflectors_path, stations_path, dut1_s, rel_tol, compare_simulated_campaign, sensitivity_tilt_deg, planetary_kernel_path, extra_reflectors, extra_beacons, extra_earth_elevation_mask_deg, beacon_campaign.

Registre : VALIDATED. Page complète, avec les entrées, les résultats, les preuves et les limites : lunar-llr-datum.

kshana scenarios/lunar-llr-datum.toml

moonlight-service-volume#

Analyse modélisée du volume de service de navigation lunaire à partir d'une constellation ILLUSTRATIVE de classe Moonlight/LCNS en orbite lunaire, à sources publiques (sans affiliation à l'ESA) : balaie une grille sélénographique de latitude/longitude sur un horizon temporel et rapporte le DOP / la couverture / la disponibilité (≥4 sats ET PDOP < seuil) ainsi qu'une enveloppe généralisée de niveaux de protection ARAIM lunaires (HPL/VPL) sur le volume. La géométrie du DOP RÉUTILISE le noyau VALIDATED par gnss_lib_py (crate::orbit::dop) ; le niveau de protection RÉUTILISE le mécanisme ARAIM lunaire LunaNet LNIS (crate::lunar, σ_URE≈30 m) et se réduit au niveau de protection existant du pôle sud comme cas particulier. Composition MODELLED : un ensemble de relais képlériens circulaires/elliptiques (et non l'éphéméride réelle LCNS/NRHO à correction différentielle), une Lune à rotation moyenne (sans libration ni pôle en précession). Déterministe (géométrie pure). Aucun TRL, héritage ni aval d'une agence.

Champs obligatoires : aucun. Facultatifs : n_sats, sma_km, eccentricity, inc_deg, argp_deg, lat_min_deg, lat_max_deg, lat_step_deg, lon_min_deg, lon_max_deg, lon_step_deg, horizon_hours, step_min, elev_mask_deg, pdop_threshold, alert_limit_m, p_hmi, perturbed, sigma_ure_m, export_site_lat_deg, export_site_lon_deg, export_antenna, ephemeris_path, planetary_kernel_path, epoch_utc, terrain.

Registre : MODELLED. Page complète, avec les entrées, les résultats, les preuves et les limites : moonlight-service-volume.

kshana scenarios/moonlight-service-volume.toml

lunar-differential-pnt#

PNT DIFFÉRENTIEL lunaire modélisé (un analogue lunaire du DGNSS/SBAS) : une station de référence de classe NovaMoon, en un lieu sélénographique CONNU, calcule des corrections différentielles par satellite à partir d'une constellation ILLUSTRATIVE de classe Moonlight/LCNS à sources publiques (NovaMoon n'est cité que comme CLASSE de système, sans affiliation à l'ESA), et un utilisateur décalé de baseline_km les applique de sorte que les erreurs d'orbite et d'horloge de MODE COMMUN s'annulent. Le terme d'horloge s'annule EXACTEMENT (une identité algébrique) ; le terme d'orbite ne laisse que la projection de la différence de ligne de visée, qui → 0 quand la ligne de base → 0 (le plancher de décorrélation spatiale) et croît ≈ linéairement avec la ligne de base. Rapporte l'erreur de position 3D de l'utilisateur AVEC et SANS corrections, le facteur de réduction, la courbe d'erreur en fonction de la ligne de base, et un niveau de protection de l'utilisateur qui RÉUTILISE le mécanisme SBAS de la DO-229E (crate::sbas) avec le résiduel différentiel σ. MODELLED — identité d'annulation exacte + modèle de décorrélation au premier ordre ; non vérifié sur des données réelles ; aucun TRL, héritage ni aval d'une agence. Déterministe si initialisé par une graine.

Champs obligatoires : aucun. Facultatifs : n_sats, sma_km, eccentricity, inc_deg, argp_deg, ref_lat_deg, ref_lon_deg, baseline_km, orbit_err_m, clock_err_m, noise_m, seed, t_s, residual_sigma_m, p_hmi, survey_sigma_m, latency_s, quantization_bits.

Registre : aucune ligne de la matrice ne nomme ce type ; le moteur étiquette lui-même son résultat. Page complète, avec les entrées, les résultats, les preuves et les limites : lunar-differential-pnt.

kshana scenarios/lunar-differential-pnt.toml

lunar-station-coverage#

Couverture modélisée d'une station de référence lunaire : un balayage de Monte-Carlo du modèle de PNT différentiel lunaire sur une grille d'utilisateurs du pôle sud et une journée d'époques. Une station de référence différentielle en un site connu du pôle sud corrige une constellation donnée (képlérienne illustrative ou éphéméride tabulée) avec une erreur de signal dans l'espace, une erreur de relevé, une latence de correction et une quantification de liaison données ; par point et sur la région, elle rapporte l'erreur de position corrigée et non corrigée en percentile (3D, horizontale, verticale), la disponibilité, la couverture par rapport à un seuil donné, les niveaux de protection DO-229E, le rayon de couverture par azimut et le bilan de la liaison de correction à la station et au pire point. Pas une déclaration sur la performance d'un système réel ; sans affiliation ni aval d'aucune agence. MODELLED.

Champs obligatoires : aucun. Facultatifs : n_sats, sma_km, eccentricity, inc_deg, argp_deg, ephemeris_path, mask_deg, station_lat_deg, station_lon_deg, station_height_m, survey_sigma_m, orbit_err_m, clock_err_m, sise_sigma_m, sise_orbit_variance_fraction, noise_m, latency_s, quantization_bits, grid_lat_max_deg, grid_lat_step_deg, points, t_start_s, t_span_s, t_step_s, n_trials, accuracy_threshold_m, percentile, alert_limit_m, residual_sigma_m, p_hmi, seed, terrain, orbit_err_growth_m_per_s, receiver, solution.

Registre : MODELLED. Page complète, avec les entrées, les résultats, les preuves et les limites : lunar-station-coverage.

kshana scenarios/lunar-station-coverage.toml

lunar-beacon#

Augmentation par balises de surface d'un service de navigation orbital lunaire, sous forme de tableau avant/après exécutable. Un utilisateur au pôle sud voit un ensemble orbital clairsemé dans une étroite portion de ciel, de sorte que la géométrie de mesure de distance est mal conditionnée ; quelques BALISES DE SURFACE RELEVÉES fournissent les lignes de visée à basse élévation et grand azimut qui manquent à un ensemble entièrement au zénith, et la dilution de précision horizontale s'effondre. Le scénario rapporte trois configurations à une même époque — les satellites seuls, les satellites plus les balises visibles, et une constellation plus grande comme autre voie vers la même géométrie — chacune avec ses nombres de sources visibles, son DOP complet, et la précision réalisée à 1 sigma en MÈTRES obtenue en multipliant par une erreur équivalente de mesure de distance par balise, assemblée comme la racine de la somme des carrés des termes de synchronisation d'horloge, de multitrajet et de relevé. La visibilité des balises est l'horizon géométrique à deux hauteurs de la Lune sans atmosphère (pas d'atmosphère, donc la borne est exacte), et l'assemblage du DOP est le même noyau recoupé avec gnss_lib_py dans tests/dop_reference.rs. POURQUOI CE TYPE DE SCÉNARIO EXISTE : le module qui le sous-tend est dans le moteur et contrôlé par rapport à un chemin DOP indépendant depuis L08/L09, mais il n'était pas accessible depuis une exécution — pas de type de scénario, pas de branche de répartition, pas de fichier fourni. Le README annonçait la capacité et la matrice de vérification ne comportait AUCUNE ligne la concernant, de sorte qu'elle était à la fois revendiquée en prose et non revendiquée dans le registre, tout en étant inaccessible dans le moteur. Les valeurs par défaut sont la géométrie qui porte déjà une référence figée validée (un utilisateur à -80 deg avec une antenne de 2 m, trois balises à -80/0, -79/+60 et -79/-60 à 2 km, un instantané illustratif de LCNS à six satellites à t=0, un masque de 5 deg), de sorte qu'une exécution nue reproduit un tableau déjà couvert par une référence indépendante plutôt que d'inventer de nouveaux nombres. MODELLED : la conception de la constellation, le placement des balises et chaque ordre de grandeur du budget d'erreur sont des entrées illustratives, et non un relevé en service ni une liaison mesurée ; seuls l'arithmétique du DOP, la forme close de l'horizon et la relation sigma = DOP x sigma_URE sont ancrés à l'extérieur. Pas un engagement de performance de service.

Champs obligatoires : aucun. Facultatifs : user, beacons, n_satellites, comparison_n_satellites, epoch_s, elevation_mask_deg, clock_sync_m, multipath_m, survey_m.

Registre : MODELLED. Page complète, avec les entrées, les résultats, les preuves et les limites : lunar-beacon.

kshana scenarios/lunar-beacon.toml

lunar-interop-export#

Export d'interopérabilité lunaire modélisé : émet le référentiel lunaire, l'échelle de temps lunaire et l'éphéméride lunaire sous des formes d'échange alignées sur LunaNet/IOAG et fondées sur le CCSDS, avec vérification d'aller-retour et de correspondance des champs. RÉUTILISE l'émetteur+analyseur CCSDS OEM 2,0 du crate (crate::oem) rebaptisé pour le contexte lunaire — le REF_FRAME de l'OEM porte le référentiel de corps lunaire WGCCRE de l'UAI 2015 (MOON_ME / MOON_PA), TIME_SYSTEM l'échelle de temps lunaire (LTC / TCL / UTC), CENTER_NAME = MOON — sur un échantillon d'éphéméride illustratif de classe LCNS (positions issues de crate::lunar_service, vitesse par différence finie). Émet aussi un descripteur de temps lunaire aligné sur LunaNet/IOAG (identifiant d'échelle, taux séculaire µs/jour issu de crate::lunar_time, bande publiée, surface de référence) qui fait l'aller-retour via serde_json, et enveloppe les artefacts dans l'enveloppe KIF existante (crate::interchange) avec l'étiquette d'honnêteté MODELLED. Rapporte les artefacts émis, le nombre de lignes OEM, la réussite du contrôle de correspondance des champs + la liste des champs présents/manquants, l'aller-retour OEM réussi, l'aller-retour des métadonnées de temps réussi, et la taille en octets du KIF. MODELLED — l'aller-retour déterministe + la correspondance des noms de champs par rapport au CCSDS OEM publié + la sémantique des champs de LunaNet/IOAG sont la référence indépendante ; PAS un test de respect de la norme d'interopérabilité certifié ; éphéméride illustrative à sources publiques, sans affiliation à l'ESA ; aucun TRL, héritage ni aval d'une agence.

Champs obligatoires : aucun. Facultatifs : frame, time_system, n_states, epoch, step_min, object.

Registre : aucune ligne de la matrice ne nomme ce type ; le moteur étiquette lui-même son résultat. Page complète, avec les entrées, les résultats, les preuves et les limites : lunar-interop-export.

kshana scenarios/lunar-interop-export.toml

cislunar-observability#

Observabilité MODELLED d'une constellation cislunaire plane (P6) : suit une constellation plane de quatre engins sur DRO plane corrigée différentiellement avec mesure de distance inter-satellites et rapporte quelle part de l'état à quatre composantes [x,y,ẋ,ẏ] d'un engin l'arc rend observable. Émet (1) le tableau rang-contre-longueur d'arc pour une seule liaison de distance seule — de rang 1 instantanément, croissant vers l'état complet à quatre composantes à mesure que l'arc s'allonge (P6 Tableau 1) ; (2) le spectre propre du Gramien d'observabilité + le nombre de conditionnement sur l'arc ; (3) la comparaison de rang instantané distance seule contre distance + vitesse de distance (le levier de conception Doppler) plus le rapport de GDOP indéfini en distance seule / défini en distance + vitesse ; et (4) une validation croisée indépendante par SRIF dont la covariance a posteriori devient finie / bien conditionnée exactement à l'arc où le rang observable atteint quatre. Cœur VALIDATED : le rang observable est un seuil de valeur singulière révélateur du rang, recoupé avec le rang propre du Gramien ; le spectre propre obéit aux invariants spectraux (trace=Σλ, det=Πλ, Frobenius²=Σλ²) ; la STM variationnelle est la STM du CR3BP validée par différences finies ; les lignes du jacobien de distance / vitesse de distance sont des dérivées partielles analytiques validées par différences finies (recoupées avec l'observable de vitesse de distance 3-D de la crate) ; les quatre conditions initiales sont des DRO planes corrigées différentiellement qui se ferment à un résidu de périodicité serré et sont rétrogrades ; la transition de rang est validée de façon croisée par le filtre d'information en racine carrée de la crate (covariance a posteriori finie exactement au rang plein, cond(P)=cond(OᵀO)) ; un instantané à rang déficient est signalé GDOP indéfini (fim condition=inf), jamais une valeur finie factice — la même garde de géométrie singulière que pvt::solve_spp applique. MODELLED : la conception de la constellation (amplitudes et phases au périlune des DRO) et la progression spécifique du rang qu'elle produit. Ce n'est pas un produit de performance de navigation certifié.

Champs obligatoires : aucun. Facultatifs : mu, arc_hours, epochs, steps, rel_tol, spatial, sigma_range_m, family, n_spacecraft, sigma_pos_threshold_km.

Registre : MODELLED. Page complète, avec les entrées, les résultats, les preuves et les limites : cislunar-observability.

kshana scenarios/cislunar-observability.toml

cislunar-arc-recovery#

Test d'estimateur indépendant MODELLED du seuil d'observabilité de longueur d'arc cislunaire. Ce seuil est une lecture de RANG de la matrice d'observabilité assemblée à partir des lignes ANALYTIQUES du jacobien de distance et de la matrice de transition d'état variationnelle ANALYTIQUE, et son contrôle croisé par filtre d'information en racine carrée replie ces mêmes lignes — un contrôle de cohérence entre deux machines numériques, et non une corroboration. Ce type de scénario fournit l'arbitre manquant : un estimateur par moindres carrés par lot qui RETROUVE réellement l'état initial du chef à partir de mesures simulées, avec les dérivées partielles de mesure prises comme DIFFÉRENCES FINIES CENTRÉES du modèle direct composé. Il n'appelle aucune ligne de jacobien analytique, aucune STM variationnelle, aucune décomposition en valeurs singulières ou en valeurs propres, aucune tolérance de rang et aucun filtre d'information en racine carrée — une garde sur le texte source dans tests/cislunar_arc_recovery_reference.rs le rend vérifiable — tandis que la dynamique (le même flot RK4 du CR3BP), les conditions initiales (la même constellation corrigée différentiellement), l'observable scalaire et la grille d'époques sont partagés délibérément et nommés dans le bloc independence émis, car deux analyses d'un même problème physique doivent s'accorder sur la physique pour être comparables. Deux critères, chacun balayé sur cinq décades de sa propre borne : RÉCUPÉRATION SANS BRUIT (l'erreur d'état finale de chaque essai initialisé au plus égale à recovery_factor fois son déplacement a priori — l'analogue du rang, sans tolérance de valeur singulière) et ESTIMABILITÉ MONTE-CARLO (l'erreur de position efficace mesurée sur un ensemble de bruit initialisé en dessous d'une borne indiquée — l'analogue de l'estimabilité, mesurée plutôt que prédite). Prend en charge le quatre-états plan et le six-états spatial, les familles DRO / halo L2 / NRHO L2, les observables de distance et de vitesse de distance, et une paramétrisation polaire centrée sur la Lune dans laquelle la transformation est appliquée à l'ÉTAT et le modèle direct re-différencié à cet endroit. MEASURED sur la grille DRO plane publiée : l'estimateur retrouve le quatre-états à partir de 0,782609 h contre 2,086957 h pour le critère de rang à rel_tol 1e-6 (rapport 0,375) — le seuil de rang n'est PAS corroboré comme frontière de récupérabilité — tandis que la frontière d'estimabilité mesurée tombe dans la même cellule de grille que la formelle, 5,739130 h, et la courbe d'erreur mesurée reproduit le 1-sigma formel sur 21 longueurs d'arc avec un rapport moyen géométrique de 0,98. MODELLED : la conception de la constellation, la grille d'époques, l'unique liaison suivie, l'amplitude du déplacement, le sigma de mesure et les deux bornes indiquées. Ce n'est pas un produit de performance de navigation certifié.

Champs obligatoires : aucun. Facultatifs : mu, arc_hours, epochs, steps, spatial, family, n_spacecraft, observable, coordinates, trials, seed, displacement_nd, recovery_factor, sigma_range_m, sigma_range_rate_mm_s, error_bound_km, max_iterations, rel_tol.

Registre : MODELLED. Page complète, avec les entrées, les résultats, les preuves et les limites : cislunar-arc-recovery.

kshana scenarios/cislunar-arc-recovery.toml

lunar-attack-surface#

Surface d'attaque de sécurité des signaux de navigation en surface lunaire (P1) : compose les analyses ouvertes de sécurité des signaux en une seule exécution accessible depuis le binaire. Rapporte (1) la puissance reçue de l'AFS et son EXCÉDENT de puissance par rapport à une référence GPS terrestre, ainsi que la bande de sensibilité de 12-18 dB sous forme de véritable balayage multi-axes sur les entrées de la liaison (niveau de référence x PIRE x distance oblique), avec la réconciliation du facteur linéaire de 25x arrondi / 28x non arrondi. RÉVISÉ (règle R4) : ce rapport indiquait un DÉFICIT de puissance de 15,6 dB et un facteur de 32x/36x jusqu'à ce que la référence GPS soit corrigée de -125 / -128.5 (qui sont les valeurs en dBm) à -155 / -158.5 dBW, les valeurs de l'ICD-GPS-200 que le module de brouillage a toujours portées. Le signe s'inverse : le signal AFS lunaire modélisé est PLUS FORT de 14,4 dB que le GPS L1 C/A terrestre, et non plus faible. La puissance reçue elle-même n'a pas bougé d'un bit, et le facteur linéaire est l'ancien divisé par exactement 1000, ce qui est exactement le décalage de 30 dB entre dBm et dBW ; (2) la puissance d'émission requise de l'attaquant pour leurrer (J/S = 3 dB) et pour interdire (J/S = 30 dB) à chaque distance de sécurité, l'inverse de la liaison J/S ; (3) l'empreinte orbitale de capture sous un diagramme d'antenne réel à ouverture uniforme (Airy [2 J1(x)/x]^2), une calotte sous-hémisphérique limitée par l'altitude dont le limbe N'EST PAS capturé ; (4) un résultat calculé d'accrochage de capture par leurrage de la boucle de poursuite (un leurre à code adapté, à un avantage de puissance et un décalage de code donnés, entraîne-t-il réellement la DLL/PLL), plutôt que le seuil affirmé de 3 dB ; (5) la portée de l'horizon géométrique d'un émetteur de surface surélevé sur un corps sans atmosphère ; et (6) le budget d'authentification OSNMA/TESLA (surcharge de 20 bit/s = ~40 % d'un message de navigation AFS de 50 bit/s, latence de divulgation de clé, falsification à 2^-40). Un corps vide reproduit la référence de base P1 ; chaque entrée a une valeur par défaut et peut être redéfinie. Les sous-résultats VALIDATED portent la référence indépendante de leur module source (radiométrie en dB en forme close ; aller-retour J/S inverse ; diagramme d'Airy par rapport aux Bessel de A&S et à la géométrie de la calotte sphérique ; identité de l'horizon tangent sphérique par rapport à eo_payload ; dimensionnement des champs de l'ICD SIS d'OSNMA). MODELLED : les ordres de grandeur représentatifs de géométrie et de puissance et les valeurs des cellules de la carte de capture. Pas un produit de sécurité certifié.

Champs obligatoires : aucun. Facultatifs : afs_eirp_dbw, user_gain_dbi, slant_range_m, slant_range_max_m, carrier_hz, gps_reference_dbw, gps_reference_min_dbw, afs_isotropic_signal_dbw, transmitter_altitude_m, transmitter_power_dbw, antenna_diameter_m, footprint_grid, spoof_power_advantage_db, spoof_code_offset_chips, attacker_gain_dbi, spoof_capture_js_db, jam_denial_js_db, standoffs_m, mast_height_m, user_antenna_height_m, footprint_altitude_min_m, footprint_altitude_max_m, footprint_altitude_steps, footprint_altitude_scale, footprint_diameter_min_m, footprint_diameter_max_m, footprint_diameter_steps, footprint_diameter_scale.

Registre : aucune ligne de la matrice ne nomme ce type ; le moteur étiquette lui-même son résultat. Page complète, avec les entrées, les résultats, les preuves et les limites : lunar-attack-surface.

kshana scenarios/lunar-attack-surface.toml

lunar-jamming#

Brouillage RF propre à la Lune : rapport brouilleur/signal par satellite, C/N₀ effectif et perte d'accrochage pour un utilisateur de surface sélénographique sous un brouilleur de surface lunaire (ou surélevé), sur la constellation illustrative de classe Moonlight/LCNS en orbite lunaire, à sources publiques. Compose la physique ouverte existante du brouillage (jamming::j_over_s_db, effective_cn0_dbhz, rx_antenna_gain_db, lock_status, q_factor) avec la géométrie existante du ciel lunaire (lunar_service::LunarConstellation + topocentric, lunar::selenographic_to_mcmf) ; aucune géométrie ni radiométrie n'est redérivée. Contrairement au type de scénario terrestre jamming, la branche du signal n'est PAS une puissance reçue fixe : la puissance reçue isotrope de chaque satellite est son propre bilan de liaison PIRE − FSPL(distance oblique), de sorte que le J/S varie d'un satellite à l'autre avec la distance et l'élévation lunaires. Rapporte UNE LIGNE PAR LIAISON (époque, satellite) VISIBLE — azimut, élévation, distance oblique, les deux puissances reçues dont le J/S est la différence, le J/S, le C/N₀ nominal et effectif et l'état d'accrochage — plus des chiffres de mérite agrégés à côté de ce tableau (jamais à sa place), et le même tableau sous forme d'artefact CSV. Chaque champ numérique émis porte une unité et une classe de provenance. Les sous-résultats VALIDATED portent la référence indépendante de leur module source (l'équation anti-brouillage et la liaison J/S de Kaplan & Hegarty §9,4, référencées de façon externe dans tests/gnss_denied_jamming_resilience_reference.rs ; la géométrie lunaire de lunar_service). La composition elle-même est recoupée avec un chemin indépendant à deux bilans de liaison (linkbudget::received_signal_power_dbw, une expression différente de l'affaiblissement en espace libre) à 1e-9 dB près. MODELLED : la constellation illustrative, la PIRE / puissance du brouilleur / gains d'antenne / température de bruit représentatifs, et l'absence d'ombrage par le terrain, de multitrajet, de dynamique de CAG et d'annulation adaptative. Pas un produit certifié de déni de service. Lorsqu'un brouilleur est configuré, le rapport porte aussi un CONTOUR DE DÉNI AVEC UNE BANDE D'INCERTITUDE plutôt qu'un contour lu à partir d'un seul scalaire : la distribution mesurée complète du C/N₀ du signal utile sur le tableau par satellite (n, min, p05, p25, médiane, p75, p95, max, moyenne, écart-type de l'échantillon, et l'asymétrie propre de l'échantillon), et le contour évalué à chacune de ces statistiques d'ordre selon les DEUX critères de déni que le moteur reconnaît — celui en vigueur par rapport de puissance (J/S = 30 dB, comme dans attack-surface et tracking-loop) et celui de perte d'accrochage (C/N₀ effectif tombant à tracking_threshold_dbhz, le critère qu'utilise la propre colonne d'état de ce rapport) — sur les deux axes du plan de déni (PIRE de brouilleur requise à la distance de sécurité du scénario, distance de sécurité de déni à la PIRE du scénario). Les bords de la bande SONT contour(p05) et contour(p95), la même application en forme close appliquée aux propres quantiles de l'échantillon : non un sigma ajusté à l'échantillon et non médiane ± k·écart-type, l'écart-type étant émis par continuité et n'étant utilisé par rien. Un quantile déjà égal ou inférieur au seuil de suivi n'a pas de J/S de déni fini et ses colonnes de perte d'accrochage sont nulles avec une raison comptée, jamais un rayon borné.

Champs obligatoires : aucun. Facultatifs : n_sats, sma_km, eccentricity, inc_deg, argp_deg, site_lat_deg, site_lon_deg, site_alt_m, horizon_hours, step_min, elev_mask_deg, sat_eirp_dbw, carrier_hz, chip_rate_hz, user_boresight_gain_dbi, temp_k, tracking_threshold_dbhz, degraded_margin_db, jammer.

Registre : MODELLED. Page complète, avec les entrées, les résultats, les preuves et les limites : lunar-jamming.

kshana scenarios/lunar-jamming.toml

earth-gnss-lunar#

Réception du GNSS terrestre à distance lunaire, la couche de signal faible que nomme l'article sur la résilience aux conflits et pour laquelle le moteur n'avait aucun modèle. Un satellite GNSS pointe son antenne vers la Terre ; un récepteur près de la Lune se trouve à environ quinze fois le rayon orbital, de sorte que trois effets jouent à la fois. La Terre OCCULTE L'AXE DE VISÉE : à 26 560 km, elle sous-tend un demi-angle de 13,9 deg, si bien que tout rayon à destination de la Lune doit quitter l'émetteur à au moins cet écart du nadir, ce qui supprime le pic du faisceau avant même tout calcul de puissance. Ce qui reste, c'est LE BORD DU LOBE PRINCIPAL ET LES LOBES SECONDAIRES, le régime dans lequel la charge utile LuGRE a effectivement fonctionné en 2025. Et l'affaiblissement en espace libre est d'environ 208 dB en L1, soit environ 25 dB de plus que ce que paie un utilisateur terrestre. Le rapport émet une ligne par satellite (angle hors axe de visée, occultation par la Terre, distance, affaiblissement de propagation, gain d'émission à cet angle, puissance reçue, densité porteuse/bruit) et n'agrège que les liaisons qui franchissent le seuil de poursuite. IL RAPPORTE AUSSI LE CONDITIONNEMENT, car c'est ce qui définit cette couche : chaque satellite visible se trouve dans un cône large de quelques degrés vu de la Lune, de sorte que les lignes de visée sont presque parallèles, que la dilution de précision est énorme et qu'un point fixe du GNSS terrestre à distance lunaire est une observation de synchronisation temporelle bien plus qu'une observation de position. MODELLED, et le diagramme d'émission en est la raison : le gain en fonction de l'angle est celui d'une ouverture circulaire uniforme (Airy), alors qu'une vraie antenne GPS L1 est un réseau hélicoïdal à douze éléments avec un lobe principal conformé et des lobes secondaires non Airy. Des diagrammes mesurés existent et ne sont pas fournis ici, de sorte que les classements et les ordres de grandeur sont significatifs, alors que le dB d'un satellite pris isolément ne l'est pas. Volontairement ABSENTS, chacun rendant le bilan optimiste : aucune perte ionosphérique ou troposphérique sur les rayons rasant le limbe, aucune perte de polarisation, de pointage ou de mise en œuvre, et une Terre sphérique sans extension réfractive. La position de la Lune est une ENTRÉE (distance plus direction inertielle) plutôt qu'une consultation d'éphéméride, parce que la grandeur testée est la liaison et la géométrie du faisceau. Faire passer cette ligne à l'état validé exige un diagramme d'émission mesuré et des points normaux LuGRE ; ni l'un ni l'autre ne figure dans le dépôt et aucun n'est inventé ici.

Champs obligatoires : aucun. Facultatifs : altitude_km, inclination_deg, planes, sats_per_plane, phasing_f, epoch_s, receiver_range_m, receiver_ra_deg, receiver_dec_deg, tx_power_dbw, tx_diameter_m, tx_efficiency, freq_hz, rx_gain_dbi, system_temp_k, tracking_threshold_dbhz, back_lobe_suppression_db, epochs, span_s.

Registre : MODELLED. Page complète, avec les entrées, les résultats, les preuves et les limites : earth-gnss-lunar.

kshana scenarios/earth-gnss-lunar.toml

lunar-infrastructure#

Études MODELLED de l'orbite et de la surface de la Lune comme infrastructure de navigation et de géodésie, cinq études derrière un seul type de scénario choisi par study : od-consistency (détermination d'orbite embarquée par GNSS terrestre en NRHO ou ELFO par rapport à une détermination d'orbite radiométrique au sol indépendante, jugées par leurs propres covariances sur une simulation de Monte-Carlo initialisée par une graine), carrier-phase (phase de la porteuse en double différence conjointe surface-orbiteur et résolution de l'ambiguïté entière avec LAMBDA), frame-coestimation (une station de surface et des orbiteurs ajoutés à la télémétrie de stations terrestres pour le datum de référentiel lunaire à sept paramètres), space-tie (GNSS, VLBI et télémétrie laser sur un même engin spatial, précision du rattachement de référentiel par rapport à l'erreur de rattachement local) et geodesy-sensitivity (information de Fisher des nombres de Love lunaires h2, k2, l2 et de la libration physique à partir de la télémétrie laser, du suivi d'orbiteur, d'un gravimètre de surface et d'une horloge de surface). Un modèle restreint à trois corps avec des simplifications énoncées ; les calculs numériques sont vérifiés par rapport à des programmes indépendants et rien n'est comparé à une mesure d'une grandeur lunaire.

Champs obligatoires : study. Facultatifs : seed, orbit, gnss, ground, monte_carlo, surface, llr, orbiter, gravimeter, clock, techniques, nominal.

Registre : aucune ligne de la matrice ne nomme ce type ; le moteur étiquette lui-même son résultat. Page complète, avec les entrées, les résultats, les preuves et les limites : lunar-infrastructure.

kshana scenarios/lunar-infrastructure-space-tie.toml

pas de tracé : l'exemple n'écrit aucun graphique