lunar-descent（シナリオ種別）

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

内容#

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

scenarios/lunar-descent.toml の一回の実行の要約：lunar-descent | -89.50 deg | inertial only 517/517 m (E/N) | with aids 7.6/4.8 m | dispersion R95 51 m | 3-sigma ellipse 64 x 62 m | 99.1% inside (expect 98.9%) (MODELLED)

入力#

スキーマ（kshana kinds --json）より：

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

例 scenarios/lunar-descent.toml では、とりわけ次を設定しています：

実行する#

kshana scenarios/lunar-descent.toml

この kind を使う同梱シナリオは 2 件です。その他はscenarios/にあります。

得られるもの#

その実行のスカラー結果。単位はエンジンが示すとおりです：

結果ラベル（エンジンのもの）：MODELLED

エビデンス#

MODELLED：この種類を挙げている検証マトリクスの行。

• MODELLED lunar-descent の種別とフェーズ：動力降下にわたる、水平軸ごとの五状態の慣性誤差モデル（位置、速度、加速度計バイアス、傾き、ジャイロバイアス）を、AFS フィックス（単独、または差分で、時計補助付きの三中継衛星

実行そのものが検証した行と、マトリクスが各行に示すオラクル（公開ソースはそこに記載されています）：

• MODELLED決定論的、シナリオハッシュ付き、SBOMとクロスプラットフォームのゴールデンゲート。オラクル（ExternalDataset）：公式のCycloneDX 1.5 JSON Schema（および有効なSPDX識別子）へのSBOM適合性。これは外部の公開標準であり、依存関係グラフ全体で検証エラーはゼロです。FoMの決定論性とバイト単位の再現性の部分は固定された自己整合性チェックのままであるため、この行はMODELLEDのままです
• MODELLED lunar-descent の種別とフェーズ：動力降下にわたる、水平軸ごとの五状態の慣性誤差モデル（位置、速度、加速度計バイアス、傾き、ジャイロバイアス）。オラクル（InternalConsistency）：テストにおける、閉形式の慣性ドリフト、再利用した種別自身の結果、そして 3-sigma 楕円の較正（内側に入る割合が期待値と一致）。飛行または試験で実施された着陸との比較は行っていません

制限事項#

実行そのものの報告が、モデル化されていない、または検証されていないとしている内容：

• MODELLED（結果label）
• 南極域の着陸地点（アルテミス級）への動力降下に対する、MODELLED の着陸分散バジェット。（種別カタログ（kshana kinds --json））
• MODELLED：IMU クラス、中継衛星の構成、降下プロファイル、誘導項は例示的なものです。地形航法は地球のメートルスケールの合成起伏を使います。AFS の可用性は、平坦なマスクでの一エポックのものです。（種別カタログ（kshana kinds --json））
• 誠実な注記：MODELLED。IMU クラス、降下プロファイル、中継衛星の構成、信号空間誤差、誘導項は ILLUSTRATIVE な入力であり、測定値ではありません。地形航法モードは自己完結型の合成起伏と地球のメートルスケールを使うため、ここでの地形項は代替物に対するマッチャーの挙動であり、南極域の起伏についての記述ではありません。lola-crlb の変種（lunar-descent-lola.toml）は実際の（シナリオファイルのコメント、14 行目から 20 行目）
• 再現性とソフトウェア保証はMODELLEDであり、独立した外部の参照との照合はされていません。サブクレームの 一つは外部で確認されていますが、機能全体はモデルから計算した要素を組み合わせているため、この機能はモデルから計算したものにとどまります。（検証マトリクス（docs/MODELLED-RATIONALE.md））
• 月極域の着陸地点での着陸分散バジェット（lunar-descent）は MODELLED であり、独立した外部の参照と照合して確認されていません。自身の閉形式・解析的な恒等式と照合しており、転記や係数の誤りは検出できますが、外部のオラクルではありません。（検証マトリクス（docs/MODELLED-RATIONALE.md））

関連項目#

• ファミリーページ：月と地球・月間空間
• すべての種類：KINDS.md
• トピックページ：MISSION-THREAD-LUNAR.md
• トピックページ：MISSION-THREAD.md