月と地球・月間空間（シスルナー）（シナリオ種別ファミリー）

エンジン v0.40.0 のシナリオ種別 24 件。助言のみ：研究・エンジニアリング用ツールによる解析出力であり、型式承認を受けた航法装置ではなく、人命安全（safety-of-life）サービスでもありません。ここにあるラベルはすべてエンジンまたは検証マトリクスによるものです。検証マトリクスに別の記載がない限り、種別は MODELLED です（ラベルの付与方法：README のエビデンスの節）。

トピックページ：LUNAR-REFERENCE-STATION、LUNAR-INFRASTRUCTURE、LUNANET-AFS。実行例：kshana scenarios/lunar-infrastructure-od-consistency.toml。全ファミリー：KINDS.md。

lunar-integrity#

代表的な LunaNet 中継衛星の集合に対する、月南極の ARAIM 保護レベルのパス。sigma_ure_m は信号空間の測距精度を公開します（保護レベルはこれに比例して線形にスケールするため、これを掃引すれば、警報限界がどの測距精度を要求するかが分かります）。既定値は従来の LNIS クラスの南極のケースです。

必須フィールド：なし。任意：step_s、duration_s、alert_limit_m、p_hmi、sigma_ure_m。

台帳：この種別を挙げている検証マトリクスの行はなく、エンジンが自身の結果にラベルを付けます。入力、結果、エビデンス、制限事項を含む全ページ：lunar-integrity。

kshana scenarios/lunanet-araim.toml

lunar-time-offset#

モデルに基づく相対論的な地球・月間の時計レート（月座標時、LTC/TCL）です。自己ポテンシャルの差と月の運動項から LTC−TT の永年レートを求め、公表されている 56–59 µs/日の範囲とあわせて報告し、期間にわたる累積オフセットも示します。

必須フィールド：なし。任意：epoch_year、epoch_month、epoch_day、horizon_days。

台帳：この種別を挙げている検証マトリクスの行はなく、エンジンが自身の結果にラベルを付けます。入力、結果、エビデンス、制限事項を含む全ページ：lunar-time-offset。

kshana scenarios/lunar-time-offset.toml

lunar-time-budget#

MODELLED のエンドツーエンドの協定月時刻（LTC）の時刻誤差バジェット：七つの LTC 誤差項を、平均化時間の格子全体にわたる時刻誤差曲線 x_i(τ) として組み立て、二乗和平方根で x_Σ(τ) にまとめ、増大するクロック項が一定のリアルタイム座標系実現の項を追い越すクロックと座標系の交差 τ（それより下では座標系が支配的、上ではクロックが支配的）を求めます — 単一 τ の成果物に対する誠実な答えです。τ の傾きは閉形式で解析的に確認でき（クロック τ^{+1/2}/τ^{+1}、下限 τ^0、測定 τ^{-1/2}）、クロックの行は公表された一日のクロック仕様（crate::clock_specs）を再現します。RF/光リンク、座標系実現、相対論的残差、エフェメリスの下限の大きさは、モデルから計算した（文書化した既定値で、呼び出し側が上書き可能な）バジェット配分であり、測定ではありません。寄与は再現可能な交差 τ であり、認証された項ごとの数値ではありません。運用上の時刻維持のために認証されたものではありません。

必須フィールド：なし。任意：clock、tau_min_s、tau_max_s、points_per_decade、clocks、time_lab。

台帳：MODELLED。入力、結果、エビデンス、制限事項を含む全ページ：lunar-time-budget。

kshana scenarios/lunar-time-budget.toml

lunar-ascent#

南極域の月面地点からランデブー軌道までの MODELLED の動力上昇と、軌道へ引き継がれる位置・速度共分散（Artemis級）。lunar-descent の軸ごとの五状態の慣性誤差モデル（位置、速度、加速度計バイアス、姿勢の傾き、ジャイロバイアスで、比力によって駆動される）は、フェーズが入るときの月面の状態から、地点の三つの軸すべてで実行します。ILLUSTRATIVE な LCNS 級コンステレーションの、見える中継衛星による AFS 位置測位解（単独、または lunar-differential-pnt の補正リンク残差を用いた差動で、見える中継衛星が三つのときはクロックを補助）を、明記した間隔で取得し、月時刻は機体のクロックと進行方向のタイムタグ誤差を通じて加わります。閉形式の慣性誤差源、補助の寄与、アブレーション、上昇中の航法の 1 シグマ、航法知識と並べたエンジン停止時の分散、そして位置・速度の相関を保った、投入時の完全な 6x6 MCI 共分散を報告します。MODELLED：例示的な IMU の等級、比力、中継衛星の組、停止時の分散。誤差は発射地点の軸で保持し、公称の離脱状態は代用です。機関による承認はありません。助言用ソフトウェアであり、認証を受けた航法装置ではありません。

必須フィールド：なし。任意：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。

台帳：MODELLED。入力、結果、エビデンス、制限事項を含む全ページ：lunar-ascent。

kshana scenarios/lunar-ascent.toml

lunar-surface#

アルテミス級の南極域の地点について、地点と季節ごとの、MODELLED の月面測位・タイミングの可用性。地点と季節（エポックとその後の時間窓）ごとに、中継衛星による測位（ILLUSTRATIVE な LCNS 級コンステレーションの中継衛星が四つ以上見え、PDOP がしきい値未満であること。moonlight-service-volume と同じ関数を使い、地形セクションがある場合は lunar-station-coverage の地形のレイマーチングによるスカイラインを使います）、地球と太陽が地点の地平線より上にあるか（解析的な太陽、月、月の向き。秤動を含み、季節とともに動くのはこれです）、そしてタイミングの可用性（中継衛星または地球が見えること）を報告し、どちらも見えない最長の区間、すなわち月面の時計が持ちこたえなければならないホールドオーバーも示します。単一地点の結果は、moonlight-service-volume の結果とビット単位で一致します。MODELLED：平均自転の月の上の、例示的なケプラー軌道の中継衛星群です。中継衛星の数値は季節で変わりません。地形は 1200 m の LOLA 切り出しです。機関の推奨は受けていません。助言用ソフトウェアであり、認証を受けた航法装置ではありません。

必須フィールド：なし。任意：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。

台帳：MODELLED。入力、結果、エビデンス、制限事項を含む全ページ：lunar-surface。

kshana scenarios/lunar-surface.toml

lunar-descent#

南極域の着陸地点（アルテミス級）への動力降下に対する、MODELLED の着陸分散バジェット。水平軸ごとに、五状態の慣性誤差モデル（位置、速度、加速度計バイアス、姿勢の傾き、ジャイロバイアス）を降下時の比力で駆動し、逐次フィルターが、有効にした補助手段からの位置フィックスを取り込みます。補助手段は、ILLUSTRATIVE な LCNS 級コンステレーションの可視中継衛星からの AFS フィックス（単独、または lunar-differential-pnt の補正リンク残差を使う差分方式で、可視の中継衛星が三つのときは時計を補助します）と、地形相対フィックス（合成起伏に対するクレートの TERCOM/SITAN マッチャー、または実際の LOLA 南極域 DEM の標高窓をマッチングする場合のクラメール・ラオ下限）です。月時刻は、フィックス時点の機体時計（lunar-time-offset の LTC-TT オフセット、または公表された帯域の不確かさ）と、沿軌道方向のタイムタグ誤差として入ります。報告するのは、3-sigma の着陸楕円、R95、閉形式の慣性誤差源、各補助手段の寄与、補助手段のあらゆる組み合わせのアブレーション、楕円のモンテカルロによる較正、そして引き継ぐ共分散です。MODELLED：IMU クラス、中継衛星の構成、降下プロファイル、誘導項は例示的なものです。地形航法は地球のメートルスケールの合成起伏を使います。AFS の可用性は、平坦なマスクでの一エポックのものです。機関の推奨は受けていません。助言用ソフトウェアであり、認証を受けた航法装置ではありません。

必須フィールド：なし。任意：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。

台帳：MODELLED。入力、結果、エビデンス、制限事項を含む全ページ：lunar-descent。

kshana scenarios/lunar-descent.toml

lunar-orbit-rendezvous#

低い月周回軌道または楕円の極軌道（アルテミス級）でのオリオン・着陸機型のドッキングに対する、MODELLED の相対航法。チェイサーとターゲットは、クレートの月力モデルのもとで同じ軌道を飛びます。弧全体にわたる 21 パラメータの結合バッチ Gauss-Newton 推定（二機の状態と持続的な信号空間バイアス）が、ILLUSTRATIVE な LCNS 級の中継衛星群から機体ごとに得る絶対位置フィックス（月の裏側に隠れた中継衛星は除外し、四つ必要で、機体間で共通モードの信号空間誤差は打ち消されます）と、クロスリンク測距を融合します。測距精度は、LunaNet AFS パイロットに対するコード追尾下限から求めます。報告するのは、ターゲットの LVLH 軸における相対位置・速度誤差の形式値とモンテカルロ値、フィックスの可用性、期待値に対する正規化推定誤差二乗の平均、反復が収束しなかった試行、重力調和項を無視した場合のドリフト、そして引き継ぐ 6x6 共分散全体です。円軌道の場合には、閉形式の Hill/Clohessy-Wiltshire チェックを適用します。MODELLED：中継衛星の構成、誤差バジェット、事前分布は例示的なものです。真値と推定器は一つの力モデルを共有するため、NEES が確認するのは自己整合性であり、モデル誤差ではありません。機関の推奨は受けていません。助言用ソフトウェアであり、認証を受けた航法装置ではありません。

必須フィールド：なし。任意：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。

台帳：MODELLED。入力、結果、エビデンス、制限事項を含む全ページ：lunar-orbit-rendezvous。

kshana scenarios/lunar-orbit-rendezvous.toml

lunar-vlbi#

モデルに基づく月測地VLBIの遅延観測量です。地球上の基線（二つの地上局、GCRS）が、NovaMoon クラスの月面ビーコンからの一方向信号を観測します。パスにわたって、近距離場の二距離差遅延、その変化率、波面曲率による近距離場補正を出力し、遠距離場の極限では同じコードベースの平面波 Δ-DOR 観測量と相互確認し、偏微分は有限差分で検証しています。既定の解析経路は MODELLED であり、フレームの整合性、xp=yp=0 の極運動、平面波と近距離場の違いという注意点を伴います。planetary_kernel_path、earth_orientation_kernel_path、moon_orientation_kernel_path を設定すると、代わりにカーネル経路が実行されます（DE440、MOON_PA_DE440、ITRF93。収束した太陽系重心の光行時間。そのエポックのビーコンと局の偏微分を追加）。そのニュートン力学的な遅延と偏微分は、NAIF SPICE の収束した光行時間と 0.06 ps および 7.4e-9 まで一致します。実際のVLBIデータとの照合による確認は行っていません。

必須フィールド：なし。任意：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。

台帳：MODELLED 3 · VALIDATED 3。入力、結果、エビデンス、制限事項を含む全ページ：lunar-vlbi。

kshana scenarios/lunar-vlbi.toml

lunar-vlbi-fim#

月VLBI局座標の共分散：lunar-vlbi 観測量の遅延偏微分を、明示的なスケジュール（基線 x エポック）にわたって積算してフィッシャー情報行列とし、これを逆行列にして、局座標の共分散と座標ごとの局 sigma として報告します。これは、想定した等方的な g = 3 の等分配係数にスカラーの遅延精密度を通して得る値ではなく、エンジンが計算した出力です。状態は地球固定（ITRS）の局座標を持つため、ヤコビアンは慣性系の偏微分を各エポックの GCRS->ITRS 行列で回転したものになります。これらの座標を観測可能にするのは地球の自転であり、レポートは地球固定の視線方向の掃引とビーコンの赤緯を、仮定せずに測定します。一つの観測は、両方の局が仰角マスクより上にある一組の（基線、エポック）で、重みは 1/delay_sigma_s^2 です。ランク、データム欠損、条件数、情報スペクトル全体、共分散行列、局ごと・軸ごとおよび3次元の sigma、自由網のヌル空間を、すべての実行で報告します。ランク落ちの場合、見出しの sigma は、ほぼ特異な逆行列から読み出さず、ステータス付きの NULL として公表します。同じスケジュールに対する等分配値 cdelay_sigma_ssqrt(g/N) は、計算値の横に比率とともに出力され、AM-HM により厳密な下限となる等方的トレース境界 sqrt(p/trace(M)) も併せて示します。したがって、この比率は、その仮定が捨てた異方性にあたります。遅延の閉包 tau_ik = tau_ij + tau_jk により、n(n-1)/2 本の基線のうち幾何学的に独立なのは n-1 本だけです。レポートは両方の本数を示します。MODELLED：月中心のエフェメリス、局の時計、対流圏、地球姿勢パラメーターは固定され、観測は独立として扱われます。そのため共分散は、縮小したパラメーター集合に対するクラメル・ラオ限界であり、セッション結果の予測ではありません。遅延 sigma、局座標、スケジュールは入力です。幾何学的遅延のヤコビアンが含まない偏微分（差分したシャピロ項）は、有限差分で測定して出力します。測地学の成果物ではありません。

必須フィールド：なし。任意：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。

台帳：MODELLED 3 · VALIDATED 2。入力、結果、エビデンス、制限事項を含む全ページ：lunar-vlbi-fim。

kshana scenarios/lunar-vlbi-fim.toml

lunar-joint-od-clock#

モデルから計算した、シミュレートしたネットワーク上での、複数技術による月面 OD + クロックの統合バッチ推定器：Gauss-Newton のスナップショットフィットで、地球基線の測地 VLBI 遅延、月面ローカルの局と衛星の間の距離、衛星間距離を融合し、注入した真値から、月面局の 3D 位置、小規模なコンステレーションの位置、各アセットのクロックオフセットを同時に回復します。最も重要な誠実な結果 — 月面ローカルの測距だけでは弱く観測される方向が残る場所で、VLBI が局の完全な 3D 位置を観測可能にすること — は、VLBI あり・なしの局誤差の対比として報告されます。MODELLED のシミュレートした閉ループ回復（真値は観測モデルを共有）。決定論的（シード付き）。実データでの検証ではありません。ソルバー内に力モデルによる伝搬はありません。TRL、飛行実績、機関による承認はありません。

必須フィールド：なし。任意：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。

台帳：この種別を挙げている検証マトリクスの行はなく、エンジンが自身の結果にラベルを付けます。入力、結果、エビデンス、制限事項を含む全ページ：lunar-joint-od-clock。

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

lunar-frame-realisation#

モデルから計算した月面の座標系の実現：7 パラメーターの Helmert（相似）データムのフィット — 3 並進、3 微小角回転、1 スケール — で、重み付き最小二乗（crate::batch_ls::gauss_newton）により、月面座標（selenographic）に由来する MCMF の点座標の推定集合をデータムに結び付けます。さらに、IAU 2015 WGCCRE の天体姿勢に対する、ICRF 軸まわりの実現された微小回転を表す簡易な姿勢の結び付けも行います。このシナリオは、既知の微小な変換（並進は数十 m 程度、回転は µrad 程度、スケールは ~1e-7）を、よく分散した合成の点ネットワークに注入し、シード付きのガウスノイズを加え、データムを回復して、回復した変換、注入した真値に対するパラメーターごとの回復誤差、フィット後の RMS 残差を報告します。MODELLED の自己整合性 — 注入した相似変換を回復します（ノイズなしではマシン精度程度まで）。実際の追跡や VLBI のデータに対する実現ではありません。決定論的（シード付き）。TRL、飛行実績、機関による承認はありません。

必須フィールド：なし。任意：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。

台帳：この種別を挙げている検証マトリクスの行はなく、エンジンが自身の結果にラベルを付けます。入力、結果、エビデンス、制限事項を含む全ページ：lunar-frame-realisation。

kshana scenarios/lunar-frame-realisation.toml

lunar-frame-campaign#

注入した変換ではなく、シミュレートした観測キャンペーンによって駆動される、七パラメーターの Helmert（相似）座標系データム。地上局のネットワークが、明示したスケジュールに従って月面ビーコンのカタログを観測します。月 VLBI の遅延偏微分はそのスケジュールにわたって蓄積され、lunar-vlbi-fim とまったく同様にビーコン座標のフィッシャー情報行列になります。その情報は、カタログ点での Helmert の計画行列 A = [I3 | [p]_x | p] を通して、データム共分散 H = A^T M_b A に伝搬され、crate::fim::crlb で診断されます。変換は一切注入されず、仕込んだ答えから回復されるものも何もないため、報告されるデータム精度は観測計画から導かれます。遅延のシグマを半分にすれば、精度はちょうど半分になり、弧を長くすれば精度が向上します。これは、レポートが測定する秤動（sub_earth_direction_sweep_deg）が、視線方向のビーコン座標を天球面内のものから切り離すためです。ランク、データムの欠損、条件数、スペクトル全体、七パラメーターの基底における観測不能な方向、フルランクでも最も弱い方向、およびその方向への各パラメーターの寄与は、すべての実行で出力されます。キャンペーンが拘束しないパラメーターは、ほぼ特異な逆行列から読み出されることはなく、ステータス付きで NULL として公開されます。ビーコン誤差の相関は、仮定されるのではなく、測定されます。局を固定した場合、どの観測も二つのビーコンに関わらないため、情報行列は厳密にブロック対角になります（offblock_fraction 0）。局を推定する場合は、シューア補元で周辺化したブロックが結合し、誘起された相関が表示され、それを捨てて伝搬全体が再実行されるので、独立性の仮定の代償は数値として得られます。等方的な座標ごとのシグマの下での同じ伝搬と、lunar-frame-realisation シナリオが報告する回復誤差は、どちらもここで実行され、キャンペーンの値と並べて、その比とともに表示されます。MODELLED：ビーコンのカタログは出典付きですが、キャンペーンはシミュレートです。局のネットワークと遅延のシグマは例示的な入力であり、個々の遅延観測は独立として扱われ、月中心のエフェメリス、局のクロック、対流圏、地球姿勢パラメーターは固定されるため、データム共分散は、縮約したパラメーター集合に対するクラメール・ラオ限界です。測地学的な成果物ではありません。

必須フィールド：なし。任意：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。

台帳：MODELLED 2 · VALIDATED 3。入力、結果、エビデンス、制限事項を含む全ページ：lunar-frame-campaign。

kshana scenarios/lunar-frame-campaign.toml

lunar-llr-datum#

シミュレートしたものではなく、実際にアーカイブされた観測キャンペーンによって駆動される、七パラメーターの Helmert 月面座標系データム。lunar-frame-campaign は注入した変換を取り除きましたが、局のネットワーク、スケジュール、観測ごとのシグマはILLUSTRATIVEな入力として明示していました。この種別は、その三つすべてを測定から取ります。エポックは、アーカイブされた ILRS Consolidated Laser Ranging Data のノーマルポイントの地上送信時刻、観測は月面の五つのレトロリフレクターアレイに実際に発射されたレーザー測距、そしてすべての観測の重みは、そのノーマルポイント自身がファイルに記録している精度 bin_rms/sqrt(n_raw) です。局座標は IERS ITRF2020 の SLR 解（公表された速度でエポックまで伝搬）から、リフレクター座標は、IAU 2015 WGCCRE モデルが実現する平均地球 / 平均自転座標系での JPL DE430 の Table 7 から得ています。測距の偏微分は、リフレクター座標の結合したフィッシャー情報行列に蓄積され、同じ Helmert の計画行列を通してデータム共分散に伝搬され、crate::fim::crlb で診断されます。ランク、欠損、条件、スペクトル、七パラメーターの基底における観測不能な方向、フルランクでの最も弱い方向、およびその方向への各パラメーターの寄与は、すべての実行で出力され、拘束されないパラメーターはステータス付きで NULL として公開されます。アレイ間の相関は、仮定されるのではなく、ちょうどゼロで MEASURED です。レーザー測距は一つのアレイにしか関わらないためです。カタログが位置を決められない記録 — 公表された ITRF 位置のない局 — は、スキップされて数えられ、代用の座標が与えられることはありません。どのリンクが MEASURED で、どのリンクが MODELLED であるかが、レポートそのものであり、脚注ではありません：月中心のエフェメリスと IAU の天体姿勢はモデルから計算したままで、その合成した大きさは、使用したすべての点にわたる、観測値から計算値を引いた片道の距離残差として出力されます。対流圏、固体潮汐、局の偏心、極運動、UT1-UTC、相対論的遅延、局のクロックは含まれず、その残差の内側にあります。エフェメリスの誤差は、各視線方向を通してのみ共分散に届くため、すべての実行は、すべての偏微分を sensitivity_tilt_deg（符号は交互）だけ傾けてデータム全体を再び解き、その比を出力します。したがって、モデルから計算したエフェメリスに対する共分散の鈍感さは、議論ではなく数値です。シミュレートしたキャンペーン自身の数値は、転記されるのではなく、実行されて、測定された数値と並べて表示されます。MODELLED：七パラメーターの数値は、実際のスケジュール上の縮約したパラメーター集合に対するクラメール・ラオ限界であり、解いたデータムでも、LLR の解析でも、測地学的な成果物でもありません。コミット済みの実データのスライスはリポジトリに同梱されていますが、公開されたクレートには含まれません。data_dir をそのコピーに向けてください。

必須フィールド：なし。任意：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。

台帳：VALIDATED。入力、結果、エビデンス、制限事項を含む全ページ：lunar-llr-datum。

kshana scenarios/lunar-llr-datum.toml

moonlight-service-volume#

ILLUSTRATIVE（例示用）の、公開情報に基づく Moonlight/LCNS クラスの月周回コンステレーション（ESA とは無関係）を用いた、モデルに基づく月航法サービスボリューム解析です。時間範囲にわたって月面の緯度・経度グリッドを掃引し、DOP、カバレッジ、可用性（≥4 機かつ PDOP がしきい値未満）と、そのボリュームにわたる一般化した月 ARAIM 保護レベル（HPL/VPL）の包絡を報告します。DOP のジオメトリは gnss_lib_py で VALIDATED なカーネル（crate::orbit::dop）を再利用し、保護レベルは LunaNet LNIS の月 ARAIM の仕組み（crate::lunar、σ_URE≈30 m）を再利用して、既存の南極 PL を特殊な場合として含みます。MODELLED の構成：円軌道・楕円ケプラー軌道のリレー群（実際の微分補正された LCNS/NRHO エフェメリスではありません）と、平均自転の月（秤動や歳差する極はなし）。決定論的（純粋なジオメトリ）。TRL・飛行実績・機関による承認はありません。

必須フィールド：なし。任意：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。

台帳：MODELLED。入力、結果、エビデンス、制限事項を含む全ページ：moonlight-service-volume。

kshana scenarios/moonlight-service-volume.toml

lunar-differential-pnt#

モデルから計算した月面の差分 PNT（月面版の DGNSS/SBAS に相当）：既知の月面座標にある NovaMoon クラスの基準局が、ILLUSTRATIVEで公開情報に基づく Moonlight/LCNS クラスのコンステレーションから衛星ごとの差分補正を計算します（NovaMoon はシステムのクラスとしてのみ参照しており、ESA とは無関係です）。baseline_km だけ離れたユーザーがそれを適用すると、共通モード（common-mode）の軌道誤差とクロック誤差が打ち消されます。クロック項は正確に打ち消されます（代数的な恒等式）。軌道項に残るのは視線方向の差の射影のみで、これは基線 → 0 で → 0 となり（空間的な非相関の下限）、基線にほぼ線形に比例して増大します。補正ありとなしのユーザーの 3D 位置誤差、低減係数、基線に対する誤差の曲線、そして差分残差 σ を用いて DO-229E の SBAS の仕組み（crate::sbas）を再利用するユーザー保護レベルを報告します。MODELLED — 正確な打ち消しの恒等式と 一次の非相関モデル。実データでは検証されていません。TRL、飛行実績、機関による承認はありません。シードを与えれば決定論的です。

必須フィールド：なし。任意：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。

台帳：この種別を挙げている検証マトリクスの行はなく、エンジンが自身の結果にラベルを付けます。入力、結果、エビデンス、制限事項を含む全ページ：lunar-differential-pnt。

kshana scenarios/lunar-differential-pnt.toml

lunar-station-coverage#

モデルから計算した月面基準局のカバレッジ：月面の差分 PNT モデルを、南極域のユーザー格子と一日分のエポックにわたってモンテカルロ掃引したもの。既知の南極域の地点にある差分基準局が、明示した信号空間誤差、測量誤差、補正の遅延、リンクの量子化を伴う、明示したコンステレーション（例示的なケプラー軌道、または表形式のエフェメリス）を補正します。点ごと、および領域全体について、補正ありとなしの位置誤差のパーセンタイル（3D、水平、垂直）、可用性、明示したしきい値に対するカバレッジ、DO-229E の保護レベル、方位ごとのカバレッジ半径、局と最悪の点での補正リンクバジェットを報告します。いかなる実システムの性能についての記述でもありません。いかなる機関とも提携しておらず、承認も受けていません。MODELLED。

必須フィールド：なし。任意：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。

台帳：MODELLED。入力、結果、エビデンス、制限事項を含む全ページ：lunar-station-coverage。

kshana scenarios/lunar-station-coverage.toml

lunar-beacon#

月周回の航法サービスに対する地表ビーコンによる補強を、実行可能な前後比較の表として示します。南極域のユーザーには、まばらな周回衛星の集合が空の狭い領域に見えるため、測距ジオメトリは悪条件になります。少数の測量済みの地表ビーコンが、すべて頭上にある集合には欠けている、低仰角で広い方位角の視線方向の行を補い、水平方向の精度低下率は大きく低下します。このシナリオは 一つのエポックにおける 三つの構成を報告します。衛星のみ、衛星と可視ビーコン、そして同じジオメトリに至る別の経路としてのより大きなコンステレーションです。それぞれに、可視ソースの数、完全な DOP、そして、クロック同期、マルチパス、測量の各項の二乗和平方根として組み立てたビーコンごとのユーザー等価測距誤差を掛け合わせて得られる、メートル単位の実現 1 シグマ精度が付きます。ビーコンの可視性は大気のない月における 二つの高度での幾何学的な地平線です（大気がないため、境界は厳密です）。DOP の組み立ては、tests/dop_reference.rs で gnss_lib_py とクロスチェックしているものと同じカーネルです。この種別が存在する理由：その背後にあるモジュールは L08/L09 以来エンジンに入っており、独立した DOP の経路と照合されていましたが、実行から到達できませんでした -- 種別も、ディスパッチの分岐も、同梱ファイルもありませんでした。README はこの機能をうたっていましたが、検証マトリクスにはその行がまったくなく、そのため散文では主張されながら台帳では主張されておらず、しかもエンジンからは到達できませんでした。既定値は、すでにコミット済みのゴールデンを持つジオメトリです（-80 度のユーザーに 2 m のアンテナ、-80/0、-79/+60、-79/-60 の 三つのビーコン（2 km）、t=0 における六機の例示的な LCNS スナップショット、5 度のマスク）。そのため、何も指定しない実行は、新しい数値を作り出すのではなく、オラクルがすでにカバーしている表を再現します。MODELLED：コンステレーション設計、ビーコンの配置、およびすべての誤差バジェットの大きさは例示的な入力であり、実際に運用されている測量や測定されたリンクではありません。外部に裏付けられているのは、DOP の演算、地平線の閉形式、シグマ = DOP x sigma_URE の関係のみです。サービス性能の確約ではありません。

必須フィールド：なし。任意：user、beacons、n_satellites、comparison_n_satellites、epoch_s、elevation_mask_deg、clock_sync_m、multipath_m、survey_m。

台帳：MODELLED。入力、結果、エビデンス、制限事項を含む全ページ：lunar-beacon。

kshana scenarios/lunar-beacon.toml

lunar-interop-export#

モデルから計算した月面の相互運用性エクスポート：月の座標系、月の時刻系、月のエフェメリスを、LunaNet/IOAG に整合した CCSDS ベースの交換形式で出力し、往復 / フィールド適合性を確認します。このクレートの CCSDS OEM 2.0 のエミッター + パーサー（crate::oem）を月面の文脈向けに付け替えて再利用します — OEM の REF_FRAME は IAU 2015 WGCCRE の月の天体座標系（MOON_ME / MOON_PA）、TIME_SYSTEM は月の時刻系（LTC / TCL / UTC）、CENTER_NAME = MOON を持ち、例示的な LCNS クラスのエフェメリスのサンプル（位置は crate::lunar_service から、速度は有限差分による）に適用します。また、serde_json で往復できる LunaNet/IOAG に整合した月の時刻の記述子（時刻系 ID、crate::lunar_time からの永年変化率 µs/day、公表された帯域、基準面）も出力し、既存の KIF エンベロープ（crate::interchange）に MODELLED の誠実性ラベルを付けて成果物を包みます。出力した成果物、OEM の行数、フィールド適合性の合格と存在 / 欠落フィールドの一覧、OEM の往復 ok、時刻メタデータの往復 ok、KIF のバイトサイズを報告します。MODELLED — オラクルは、決定論的な往復と、公表された CCSDS OEM および LunaNet/IOAG のフィールド意味論に対するフィールド名の適合性です。認証済みの相互運用性適合試験ではありません。例示的で公開情報に基づくエフェメリスであり、ESA とは無関係です。TRL、飛行実績、機関による承認はありません。

必須フィールド：なし。任意：frame、time_system、n_states、epoch、step_min、object。

台帳：この種別を挙げている検証マトリクスの行はなく、エンジンが自身の結果にラベルを付けます。入力、結果、エビデンス、制限事項を含む全ページ：lunar-interop-export。

kshana scenarios/lunar-interop-export.toml

cislunar-observability#

MODELLEDの、平面の地球・月間空間（シスルナー）コンステレーションの可観測性（P6）：衛星間レンジングを用いて、微分補正した四機の平面DROコンステレーションを追尾し、弧によって宇宙機の四状態[x,y,ẋ,ẏ]のどこまでが可観測になるかを報告します。出力は、(1)単一のレンジのみのリンクについてのランクと弧長の表（瞬時にはランク1で、弧が延びるにつれて四状態の全体に向かって増加：P6 Table 1）、(2)弧にわたる可観測性グラミアンの固有スペクトルと条件数、(3)レンジのみとレンジ＋レンジレートの瞬時ランクの比較（ドップラーという設計上の手段）と、レンジのみでは特異、レンジ＋レートでは定義されるGDOPの報告、(4)可観測ランクが四に達する弧のところで、事後共分散が有限かつ良条件になる、独立したSRIFのクロスバリデーションです。VALIDATEDの中核：可観測ランクは、グラミアンの固有ランクとクロスチェックされた、ランクを明らかにする特異値しきい値です。固有スペクトルはスペクトル不変量（trace=Σλ、det=Πλ、Frobenius²=Σλ²）に従います。変分STMは、有限差分で照合済みのCR3BP STMです。レンジ／レンジレートのヤコビアン行は、有限差分で照合済みの解析的な偏導関数です（クレートの3-Dレンジレート観測量とクロスチェック）。四つの初期条件は、微分補正した平面DROで、厳密な周期性残差まで閉じ、逆行です。ランクの遷移は、クレートの平方根情報フィルターとクロスバリデーションされています（完全ランクのところで事後共分散が有限、cond(P)=cond(OᵀO)）。ランク不足のスナップショットはGDOP未定義（fim condition=inf）と表示され、でたらめな有限値になることはありません。これはpvt::solve_sppが適用する、特異な幾何に対するガードと同じです。MODELLED：コンステレーションの設計（DROのペリルーン振幅と位相）と、それが生む具体的なランクの推移。認証を受けた航法性能製品ではありません。

必須フィールド：なし。任意：mu、arc_hours、epochs、steps、rel_tol、spatial、sigma_range_m、family、n_spacecraft、sigma_pos_threshold_km。

台帳：MODELLED。入力、結果、エビデンス、制限事項を含む全ページ：cislunar-observability。

kshana scenarios/cislunar-observability.toml

cislunar-arc-recovery#

地球・月間空間（シスルナー）の弧長可観測性しきい値に対する、MODELLEDの独立推定器テスト。そのしきい値は、解析的なレンジのヤコビアン行と解析的な変分状態遷移行列から組み立てた可観測性行列に対するランクの読み取りであり、その平方根情報フィルターによるクロスチェックも同じ行を畳み込むため、二つの数値計算機構の間の整合性チェックであって、裏付けではありません。この種類は欠けている裁定役を提供します。シミュレートした測定からチーフの初期状態を実際に回復するバッチ最小二乗推定器で、測定の偏導関数は、合成した順方向モデルの中心有限差分として求めます。解析的なヤコビアン行、変分STM、特異値分解や固有値分解、ランクの許容差、平方根情報フィルターは一切呼び出しません。tests/cislunar_arc_recovery_reference.rsのソーステキストガードによってこれが強制されます。一方、力学（同じRK4のCR3BPフロー）、初期条件（同じ微分補正済みコンステレーション）、スカラー観測量、エポックグリッドは意図的に共有され、出力されるindependenceブロックに明記されます。一つの物理問題に対する二つの解析は、比較できるようにするため、その物理について一致していなければならないからです。二つの基準があり、それぞれが固有の境界に対して五桁にわたってスイープされます。ノイズなし回復（シード付きの各試行の最終状態誤差が、事前の変位のrecovery_factor倍以下。特異値の許容差を含まない、ランクの類似物）と、モンテカルロの推定可能性（シード付きのノイズアンサンブルでのMEASUREDRMS位置誤差が、示された境界を下回ること。予測ではなくMEASUREDした、推定可能性の類似物）です。平面の四状態と空間の六状態、DRO／L2ハロー／L2 NRHOのファミリー、レンジとレンジレートの観測量、および月中心の極座標によるパラメーター化（変換を状態に適用し、順方向モデルをそこで再微分）に対応します。公開された平面DROグリッドでの実測：推定器は四状態を0.782609 hから回復するのに対し、ランク基準はrel_tol 1e-6で2.086957 hです（比0.375）。ランクのしきい値は、回復可能性の境界としては裏付けられていません。一方、実測した推定可能性の境界は、形式的な境界5.739130 hと同じグリッドセルに入り、実測した誤差曲線は、21個の弧長にわたって形式的な1シグマを、幾何平均比0.98で再現します。MODELLED：コンステレーションの設計、エポックグリッド、追尾する単一のリンク、変位の大きさ、測定のシグマ、示された二つの境界。認証を受けた航法性能製品ではありません。

必須フィールド：なし。任意：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。

台帳：MODELLED。入力、結果、エビデンス、制限事項を含む全ページ：cislunar-arc-recovery。

kshana scenarios/cislunar-arc-recovery.toml

lunar-attack-surface#

月面航法の信号セキュリティの攻撃対象領域（P1）：公開されている信号セキュリティ解析を、バイナリから到達可能な 一回の実行にまとめます。報告するのは、（1）AFS の受信電力と、地上の GPS 基準に対するその電力の余剰、さらに、リンク入力（基準レベル x EIRP x 斜距離）にわたる本格的な多軸掃引としての 12-18 dB の感度帯域と、25 倍に丸めた値 / 28 倍に丸めない値の線形係数の整合です。改訂（規則 R4）：GPS 基準が -125 / -128.5（これらは dBm の値）から -155 / -158.5 dBW、すなわちジャミングモジュールがこれまで一貫して保持してきた ICD-GPS-200 の値に訂正されるまで、これは 15.6 dB の電力不足と 32 倍 / 36 倍の係数を報告していました。符号は反転します。モデル化した月面 AFS 信号は、地上の GPS L1 C/A より 14.4 dB 強く、弱くはありません。受信電力そのものは 一ビットも動いておらず、線形係数は旧値をちょうど 1000 で割ったもので、これはちょうど 30 dB の dBm から dBW へのオフセットに相当します。（2）各スタンドオフでスプーフィング（J/S = 3 dB）と妨害（J/S = 30 dB）に必要な攻撃者の送信電力。これは J/S リンクの逆です。（3）実際の一様開口アンテナパターン（Airy [2 J1(x)/x]^2）の下での軌道上の捕捉フットプリント。高度に制限された半球未満のキャップであり、その縁は捕捉されません。（4）理想として主張した 3 dB のしきい値ではなく、計算したトラッキングループのスプーフィング捕捉プルインの結果（一致するコードのスプーファーが、与えられた電力優位とコードオフセットで、実際に DLL/PLL を引きずるか）。（5）持ち上げた地表送信機の、大気のない天体における幾何学的な地平線到達距離。（6）OSNMA/TESLA の認証バジェット（20 bit/s のオーバーヘッド = 50 bit/s の AFS 航法メッセージの約 40 %、鍵開示の遅延、2^-40 の偽造）。本文が空の場合は P1 のベースラインを再現します。すべての入力には既定値があり、上書きできます。VALIDATED の副次的な結果は、出典モジュールのオラクルを引き継ぎます（閉形式の dB 無線測定、逆 J/S の往復、Airy パターンと A&S のベッセル関数および球冠ジオメトリの比較、DLL/PLL のプルインと Kaplan & Hegarty の比較、球の接線による地平線の恒等式と eo_payload の比較、OSNMA SIS-ICD のフィールドサイズ）。MODELLED：代表的なジオメトリと電力の大きさ、および具体的な捕捉マップのセルの値。認証済みのセキュリティ製品ではありません。

必須フィールド：なし。任意：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。

台帳：この種別を挙げている検証マトリクスの行はなく、エンジンが自身の結果にラベルを付けます。入力、結果、エビデンス、制限事項を含む全ページ：lunar-attack-surface。

kshana scenarios/lunar-attack-surface.toml

lunar-jamming#

月固有の RF ジャミング：例示的で公開情報に基づく Moonlight/LCNS クラスの月周回コンステレーションの上で、月面（または高い位置）のジャマーの下にある月面座標のユーザーについての、衛星ごとのジャマー対信号比、実効 C/N₀、ロックの喪失。既存のオープンなジャミング物理（jamming::j_over_s_db、effective_cn0_dbhz、rx_antenna_gain_db、lock_status、q_factor）と、既存の月の空のジオメトリ（lunar_service::LunarConstellation + topocentric、lunar::selenographic_to_mcmf）を組み合わせます。ジオメトリや無線測定を再導出することはありません。地球の jamming 種別とは異なり、信号の側は固定の受信電力ではありません。各衛星の等方受信電力は、それ自身のリンクバジェットの EIRP − FSPL（斜距離）であるため、J/S は月の距離と仰角に応じて衛星ごとに変わります。可視な（エポック、衛星）リンクごとに一行を報告します — 方位角、仰角、斜距離、J/S がその差となる二つの受信電力、J/S、公称と実効の C/N₀、ロックの状態 — さらに、その表の代わりにではなく、その表に並べて集約した性能指標と、同じ表を CSV 成果物として。出力されるすべての数値フィールドは、単位と出所の区分を持ちます。VALIDATED の副次的な結果は、出典モジュールのオラクルを引き継ぎます（Kaplan & Hegarty の §9.4 の耐ジャミング方程式と J/S リンク。tests/gnss_denied_jamming_resilience_reference.rs で外部参照されています。lunar_service の月のジオメトリ）。構成そのものは、独立した二つのリンクバジェットの経路（linkbudget::received_signal_power_dbw、異なる自由空間損失の式）と 1e-9 dB まで照合されています。MODELLED：例示的なコンステレーション、代表的な EIRP / ジャマー電力 / アンテナ利得 / 雑音温度、そして地形による遮蔽、マルチパス、AGC の動特性、適応ヌル形成がないこと。認証済みのサービス拒否製品ではありません。ジャマーを設定すると、レポートには、一つのスカラーから読み取った等値線ではなく、不確かさの帯を持つ拒否等値線も含まれます。具体的には、衛星ごとの表にわたる、測定された目的信号の C/N₀ 分布全体（n、最小値、p05、p25、中央値、p75、p95、最大値、平均、標本標準偏差、標本自身の非対称性）と、それらの各順序統計量で評価した等値線を、エンジンが認める拒否基準の両方のもとで示します。従来からの電力比基準（J/S = 30 dB、attack-surface と tracking-loop と同じ）と、ロック喪失基準（実効 C/N₀ が tracking_threshold_dbhz まで低下すること。このレポート自身のステータス列が使う基準）で、拒否平面の両方の軸（シナリオのスタンドオフで必要なジャマー EIRP、シナリオの EIRP での拒否スタンドオフ）について評価します。帯の端は contour(p05) と contour(p95) であり、標本自身の分位数に適用した同じ閉形式の写像です。標本に当てはめたシグマでも、中央値 ± k·標準偏差でもなく、標準偏差は連続性のために出力されますが、何にも使われません。追跡しきい値以下にすでにある分位数には、有限の拒否 J/S が存在せず、そのロック喪失の列は、数えた理由とともに null となり、切り詰めた半径が出ることはありません。

必須フィールド：なし。任意：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。

台帳：MODELLED。入力、結果、エビデンス、制限事項を含む全ページ：lunar-jamming。

kshana scenarios/lunar-jamming.toml

earth-gnss-lunar#

月までの距離での地球GNSSの受信：コンフリクトレジリエンス論文が挙げているものの、エンジンにはモデルがなかった微弱信号レイヤーです。GNSS衛星はアンテナを地球に向けており、月の近くにいる受信機は軌道半径の約十五倍の距離にいるため、三つのことが同時に効いてきます。地球がボアサイトを遮ります：26,560 kmからは地球が13.9 degの半角で見えるため、月に向かう光線はどれも、少なくともそれだけ天底からずれて送信機を離れる必要があり、電力を計算する前にビームのピークが取り除かれます。残るのはメインローブの縁とサイドローブであり、LuGREペイロードが2025年に実際に動作したのはこの領域です。さらに、自由空間損失はL1で約208 dBであり、地上のユーザーが払うより約25 dB大きくなります。レポートは衛星ごとに一行（天底からの角度、地球による掩蔽、距離、経路損失、その角度での送信ゲイン、受信電力、搬送波対雑音密度）を出力し、追尾しきい値を超えるリンクだけを集計します。条件数（コンディショニング）も報告します。それがこのレイヤーを特徴づけるからです。見えている衛星はすべて、月から見て数度幅の円錐の内側にあるため、視線はほぼ平行で、DOP（精度低下率）は極めて大きく、月までの距離での地球GNSSによる測位解は、位置の観測というよりタイミング級の観測です。MODELLEDであり、その理由は送信パターンです：角度に対するゲインは一様な円形開口（エアリー）ですが、実際のGPS L1アンテナは、成形されたメインローブと非エアリーのサイドローブを持つ十二素子のヘリカルアレイです。実測のパターンは存在しますが、ここには同梱されていないため、順序や桁は意味を持つものの、個々の衛星のdBは意味を持ちません。意図的に含まれていないもの（いずれも、バジェットを楽観的にします）：地球の縁をかすめる光線に対する電離圏や対流圏の損失はなく、偏波、指向、実装の損失もなく、屈折による拡張のない球形の地球です。月の位置はエフェメリスの参照ではなく入力（距離と慣性方向）です。試験の対象はリンクとビームの幾何だからです。この行を、独立した外部の参照と照合して確認済みに格上げするには、実測の送信パターンとLuGREの標準点が必要ですが、どちらもリポジトリにはなく、ここで作り出してもいません。

必須フィールド：なし。任意：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。

台帳：MODELLED。入力、結果、エビデンス、制限事項を含む全ページ：earth-gnss-lunar。

kshana scenarios/earth-gnss-lunar.toml

lunar-infrastructure#

航法・測地インフラとしての月の軌道と表面の MODELLED の研究。study で選択する一つの種別の下に五つの研究があります：od-consistency（NRHO または ELFO における搭載の地球 GNSS による軌道決定を、独立した地上電波計測による軌道決定と、シード付きモンテカルロにわたるそれぞれの共分散で判定）、carrier-phase（LAMBDA による、地表と周回機の結合した二重差の搬送波位相と整数値バイアスの決定）、frame-coestimation（七パラメーターの月面座標系データムのための、地球局測距への地表局と周回機の追加）、space-tie（一機の宇宙機上の GNSS、VLBI、レーザー測距で、座標系の結び付けの精度をローカルタイの誤差と比較）、geodesy-sensitivity（レーザー測距、周回機の追跡、地表重力計、地表クロックからの、月のラブ数 h2、k2、l2 と物理秤動のフィッシャー情報）。明示した単純化を伴う制限三体モデルです。数値計算は独立したプログラムと照合されており、月の量の測定値との比較は一切ありません。

必須フィールド：study。任意：seed、orbit、gnss、ground、monte_carlo、surface、llr、orbiter、gravimeter、clock、techniques、nominal。

台帳：この種別を挙げている検証マトリクスの行はなく、エンジンが自身の結果にラベルを付けます。入力、結果、エビデンス、制限事項を含む全ページ：lunar-infrastructure。

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

プロットなし：この例はグラフを書き出しません