`mission-thread`（シナリオ種別）

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

内容#

打ち上げから再突入までの、明示したミッションフェーズの連鎖についての、MODELLED の航法・タイミング誤差バジェット。打ち上げと上昇、低軌道でのランデブーとドッキング（繰り返し可）、月遷移軌道投入と地球・月間空間（シスルナー）の巡航、月周回軌道でのランデブー、降下、月面滞在、上昇、そして帰還と再突入で、各フェーズは、それぞれ固有のセンサーとフィルターを持つ、登録済みの八つの種別のうちの一つです。6x6 共分散、時計、座標系は、明示した規則（引き継ぎ、膨張、または再取得）のもとでフェーズ間を受け渡します。座標系と時間系の変換（GCRF、MCI、MCMF、UTC、TT、TDB、LTC）はそれぞれ独立したバジェット行で、月の状態は任意の DE440 カーネルの切り出しから、フォールバックとして明示した解析的な級数が使われます。任意の地上ネットワークのオーバーレイが、各フェーズの追尾デューティを設定します。報告するのは、フェーズごとのバジェット（入口、ピーク、出口の 1-sigma と、単位付きのすべての寄与）、明示した要求に対する余裕、最弱の連結、イベント、そしてタイムライン図です。MODELLED：すべての数値は明示した入力であり、連鎖は一つのスタックに従い、機体はモデル化していません。公開情報のみを使用しており、いかなる機関とも提携せず、承認も受けていません。助言用ソフトウェアであり、認証を受けた航法装置ではありません。

scenarios/mission-thread-artemis-class.toml の一回の実行の要約：mission-thread | 11 phases | Artemis-class mission thread (ILLUSTRATIVE) | weakest link descent | MODELLED

入力#

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

必須フィールド：epoch_utc、entry、phase
任意フィールド：kind、title、seed、moon_kernel_path、ground_network

例 scenarios/mission-thread-artemis-class.toml では、とりわけ次を設定しています：

フィールド	値	単位
`entry.frame`	gcrf	テキスト
`entry.sigma_drift_s_per_s`	1.0000e-12	s
`entry.sigma_pos_m`	10	m
`entry.sigma_time_s`	1.0000e-7	s
`entry.sigma_vel_mps`	0.01	m/s
`entry.timescale`	utc	テキスト
`entry.x`	[5.2850e6, 1.8802e6, 3.0253e6, -137.105, 385.389, 0]	記載なし
`epoch_utc`	2028-01-01T00:00:00Z	テキスト
`ground_network.handover_gap_s`	120	s
`ground_network.min_elevation_deg`	10	deg
`ground_network.phases[0].geometry`	moon-direction	テキスト
`ground_network.phases[0].phase`	cruise	テキスト

実行する#

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

得られるもの#

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

結果	値	単位
`epoch_utc`	2028-01-01T00:00:00Z	テキスト
`evidence.id_rule`	マトリクスの行の安定した ID（ID	テキスト
`evidence.matrix`	docs/VERIFICATION-MATRIX.md	テキスト
`evidence.tier`	MODELLED	テキスト
`schema`	kshana-mission-thread/1	テキスト
`seed`	20261024	1
`weakest_link.basis`	明示した要求に対する最小の余	テキスト
`weakest_link.limiting_source`	慣性ドリフト、補助なし、東方向	テキスト
`weakest_link.margin`	1.213087	1
`weakest_link.phase_id`	descent	テキスト

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

scenarios/mission-thread-artemis-class.toml（種別 mission-thread）についてエンジンが書き出すグラフ

エビデンス#

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

MODELLED mission-thread kind：フェーズの文書で、各フェーズは登録済みの八つの kind のいずれかです。フェーズは順に実行され、6x6 共分散、クロック、座標系が、明記した規則のもとで引き継がれます（carry、inflateは、明記した区間にわたる白色加速度ノイズテスト：field_units_global.rs。
MODELLED launch-ascent フェーズ：位置と速度の共分散を等速モデルとし、白色の加速度雑音（推測航法グレード）を加え、取得時間の後で、明示したフェードを除いて、明示した精度の GNSS フィックスを適用し、バイアスと
MODELLED leo-rendezvous フェーズ：ターゲットの LVLH 軸における相対状態に、閉形式の Clohessy-Wiltshire 遷移を用い、白色の加速度雑音を持つ 6x6 カルマン共分散と、その時点でのセンサーの分散を持つ位置更新を
MODELLED tli-and-cruiseフェーズ：平均状態はエンジンの Cowell 伝播器で求めます（地球の点質量と J2、第三体としての太陽と月、月はスレッドの DE440 カーネルがその区間を覆う場合はそれから、太陽は解析的な級
ほかに 4 件がマトリクスにあります。

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

MODELLED決定論的、シナリオハッシュ付き、SBOMとクロスプラットフォームのゴールデンゲート。オラクル（ExternalDataset）：公式のCycloneDX 1.5 JSON Schema（および有効なSPDX識別子）へのSBOM適合性。これは外部の公開標準であり、依存関係グラフ全体で検証エラーはゼロです。FoMの決定論性とバイト単位の再現性の部分は固定された自己整合性チェックのままであるため、この行はMODELLEDのままです
MODELLED mission-thread の種別：フェーズの文書。各フェーズは登録済みの八つの種別の一つで、6x6 共分散、時計、座標系を引き継ぎながら順に実行されます。オラクル（InternalConsistency）：テストにおける手計算（直線的な共分散の増大、平均の恒星時回転、月の時計の長期的なレート）と、月の状態に限っては、コミット済みの DE440 カーネルの切り出しを、固定した JPL Horizons の値と比べたもの（最悪で 2.6 m と 7e-6 m/s）。ミッションデータと連鎖の比較は行っておらず、各フェーズは独立した行です。この文書は、ILLUSTRATIVE な入力を持つ明示した連鎖であり、公開情報のみを使用し、いかなる機関の承認も受けていません
MODELLED launch-ascent フェーズ：位置と速度の共分散を等速モデルとし、白色の加速度雑音（推測航法グレード）を加え、GNSS フィックスを。オラクル（InternalConsistency）：テストにおけるリカッチ方程式の定常状態と予測の手計算。ここでは打ち上げ機も受信機もモデル化しておらず、すべての数値は明示した入力です
MODELLED leo-rendezvous フェーズ：ターゲットの LVLH 軸における相対状態に、閉形式の Clohessy-Wiltshire 遷移を用い、白色の加速度雑音を持つ 6x6 カルマン共分散。オラクル（InternalConsistency）：テストにおける予測と更新の一軸の手計算。Clohessy-Wiltshire 遷移は、cw_dynamics が独立した数値積分と照合しているものです。センサーは ILLUSTRATIVE であり、実際のランデブーとの比較は行っていません
MODELLED tli-and-cruise フェーズ：エンジンの Cowell 伝播器による平均状態（地球の点質量と J2、第三体としての太陽と月、月はスレッドから。オラクル（InternalConsistency）：テストにおけるリウヴィルの定理（保存部分の状態遷移行列の行列式は一）と、より細かい差分。平均状態は下の行で公開軌道と比べており、そこでは未達です。バーン誤差、更新、共分散は、何とも比較していません

制限事項#

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

打ち上げから再突入までの、明示したミッションフェーズの連鎖についての、MODELLED の航法・タイミング誤差バジェット。打ち上げと上昇、低軌道でのランデブーとドッキング（繰り返し可）、月遷移軌道投入と地球・月間空間（シスルナー）の巡航、月周回軌道でのランデブー、降下、月面滞在、上昇、そして帰還と再突入で、各フェーズは、それぞれ固有のセンサーとフィルターを持つ、登録済みの八つの種別のうちの一つです。（種別カタログ（kshana kinds --json））
MODELLED：すべての数値は明示した入力であり、連鎖は一つのスタックに従い、機体はモデル化していません。（種別カタログ（kshana kinds --json））
誠実な注記。ここにあるすべての数値は ILLUSTRATIVE です。連鎖を動かすために選んだ丸めた値であり、いかなる機体、センサー、地上局、ネットワークの性能でもありません。連鎖は、明示した単純化として一つのスタックに従います。機体の変更、乗員の移乗、月周回軌道上のステーションはモデル化しておらず、月周回軌道は、月の種別が飛ぶ 100 km の円軌道と極軌道であって（近直線ハロー軌道ではありません）、TLI バーンは（シナリオファイルのコメント、11 行目から 17 行目）
再現性とソフトウェア保証はMODELLEDであり、独立した外部の参照との照合はされていません。サブクレームの一つは外部で確認されていますが、機能全体はモデルから計算した要素を組み合わせているため、この機能はモデルから計算したものにとどまります。（検証マトリクス（docs/MODELLED-RATIONALE.md））
打ち上げから再突入までのミッションフェーズの連鎖についての航法・タイミング誤差バジェット（mission-thread）は MODELLED であり、独立した外部の参照と照合して確認されていません。自身の閉形式・解析的な恒等式と照合しており、転記や係数の誤りは検出できますが、外部のオラクルではありません。（検証マトリクス（docs/MODELLED-RATIONALE.md））
GNSS の取得とフェードを伴う、駐機軌道への打ち上げと上昇（launch-ascent）は MODELLED であり、独立した外部の参照と照合して確認されていません。自身の閉形式・解析的な恒等式と照合しており、転記や係数の誤りは検出できますが、外部のオラクルではありません。（検証マトリクス（docs/MODELLED-RATIONALE.md））
センサー区間にわたる、低軌道でのドッキング範囲までの相対航法（leo-rendezvous）は MODELLED であり、独立した外部の参照と照合して確認されていません。自身の閉形式・解析的な恒等式と照合しており、転記や係数の誤りは検出できますが、外部のオラクルではありません。（検証マトリクス（docs/MODELLED-RATIONALE.md））
月遷移軌道投入と地球・月間空間（シスルナー）の巡航：追尾更新を伴う、伝播した平均状態と共分散（tli-and-cruise）は MODELLED であり、独立した外部の参照と照合して確認されていません。自身の閉形式・解析的な恒等式と照合しており、転記や係数の誤りは検出できますが、外部のオラクルではありません。（検証マトリクス（docs/MODELLED-RATIONALE.md））