`lunar-orbit-rendezvous`（シナリオ種別）

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

内容#

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

入力#

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

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

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

フィールド	値	単位
`afs_cn0_dbhz`	35	dB-Hz
`arc_s`	7200	s
`carried_pos_sigma_m`	100	m
`carried_vel_sigma_m_s`	0.1	m/s
`common_mode_fraction`	0.9	1
`isl_cn0_dbhz`	35	dB-Hz
`kind`	lunar-orbit-rendezvous	テキスト
`n_relays`	8	1
`n_trials`	50	記載なし
`orbit`	llo	テキスト
`seed`	20261024	記載なし
`separation_m`	2000	m

実行する#

kshana scenarios/lunar-orbit-rendezvous.toml

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

得られるもの#

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

結果	値	単位
`advisory`	助言用ソフトウェアであり、認証を受けた航法	テキスト
`arc_s`	7200	s
`common_mode_fraction`	0.9	1
`converged_at_s`	2000	s
`cw_check.max_position_difference_m`	41.035408	m
`cw_check.ratio_to_separation`	0.020518	1
`cw_check.separation_m`	2000	m
`estimator`	弧全体にわたるバッチ Gauss-Newton	テキスト
`evidence.id_rule`	マトリクスの行の安定した ID（ID	テキスト
`evidence.matrix`	docs/VERIFICATION-MATRIX.md	テキスト

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

scenarios/lunar-orbit-rendezvous.toml（種別 lunar-orbit-rendezvous）についてエンジンが書き出すグラフ

エビデンス#

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

MODELLED lunar-orbit-rendezvous の種別とフェーズ：弧全体にわたる二機結合のバッチ Gauss-Newton 推定（二十一個のパラメータ：両機の状態と、共通および独立の持続的な信号空間位置バイアス）を、四分の一周、半テスト：mission_thread_lunar_oracles.rs。

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

MODELLED決定論的、シナリオハッシュ付き、SBOMとクロスプラットフォームのゴールデンゲート。オラクル（ExternalDataset）：公式のCycloneDX 1.5 JSON Schema（および有効なSPDX識別子）へのSBOM適合性。これは外部の公開標準であり、依存関係グラフ全体で検証エラーはゼロです。FoMの決定論性とバイト単位の再現性の部分は固定された自己整合性チェックのままであるため、この行はMODELLEDのままです
MODELLED lunar-orbit-rendezvous の種別とフェーズ：弧全体にわたる二機結合のバッチ Gauss-Newton 推定（二十一個のパラメータ：両機の状態と、持続的な信号空間。オラクル（InternalConsistency）：事前登録に基づく自己整合性（xval/mission-thread-lunar/PREREGISTRATION.md。結果と推定器の履歴は RESULTS.md）：相対状態の平均 NEES は 5.85 から 5.93 で、四つの構成のいずれでも帯域 5.2 から 6.8 の内側にあり、逐次フィルターの三つの設計が未達だったあとの四つ目の推定器設計で MET です。真値と推定器は一つの力モデルを共有するため、モデル誤差については何も言えません。
MODELLED 月の kind が共有する伝播器（GRAIL GL0660B の次数と位数 150、地球と太陽の第三体、相対論、DE440 の月の向き）を、公開されている…と比較します。オラクル（ExternalDataset）：LRO と CAPSTONE の JPL Horizons 宇宙機エフェメリスに対して、xval/mission-thread-lunar/PREREGISTRATION.md で事前登録した合格基準（修正 1 から 6）に照らしています。LRO：MET、3 次元の最大差 33 m、半径方向の RMS 2.4 m で、基準の 500 m と 60 m に対して満たしています。CAPSTONE：NOT MET、終端位置の差 136.8 km（基準 25 km）、近点の差 28.4 km（基準 10 km）で、原因は切り分けていません。この行はモデル計算です。CAPSTON

制限事項#

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

MODELLED（結果label）
低い月周回軌道または楕円の極軌道（アルテミス級）でのオリオン・着陸機型のドッキングに対する、MODELLED の相対航法。（種別カタログ（kshana kinds --json））
MODELLED：中継衛星の構成、誤差バジェット、事前分布は例示的なものです。真値と推定器は一つの力モデルを共有するため、NEES が確認するのは自己整合性であり、モデル誤差ではありません。（種別カタログ（kshana kinds --json））
誠実な注記：MODELLED。中継衛星の構成、信号空間誤差、共通モードの比率、事前分布は ILLUSTRATIVE な入力であり、測定値ではありません。真値と推定器は力モデル（組み込みの中心項、J2、C22）を共有します。事前登録した整合性チェック B1（平均 NEES が [5.2、6.8] の範囲内）は、バッチ設計では四つの構成すべてで満たされています：xval/mission-thread-lunar/RESULTS.md を参照してください。いかなる実在の（シナリオファイルのコメント、10 行目から 14 行目）
再現性とソフトウェア保証はMODELLEDであり、独立した外部の参照との照合はされていません。サブクレームの一つは外部で確認されていますが、機能全体はモデルから計算した要素を組み合わせているため、この機能はモデルから計算したものにとどまります。（検証マトリクス（docs/MODELLED-RATIONALE.md））
月周回軌道でのドッキングまでの相対航法（lunar-orbit-rendezvous）は MODELLED であり、独立した外部の参照と照合して確認されていません。自身の閉形式・解析的な恒等式と照合しており、転記や係数の誤りは検出できますが、外部のオラクルではありません。（検証マトリクス（docs/MODELLED-RATIONALE.md））
公開されている再構成された月周回機と地球・月間空間の軌道に対する、月の力モデルの伝播は、検証済みではなく、MODELLED です。部分的な主張は外部で確認されていますが、機能全体はモデル計算による部品の組み合わせであるため、機能はモデル計算のままです。（検証マトリクス（docs/MODELLED-RATIONALE.md））