`lunar-surface`（シナリオ種別）

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

内容#

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

scenarios/lunar-surface.toml の一回の実行の要約：lunar-surface | 4 sites x 4 seasons | positioning 41% to 41% | worst timing availability 100.0% | longest timing gap 0.0 h (MODELLED)

入力#

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

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

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

フィールド	値	単位
`argp_deg`	90	deg
`earth_mask_deg`	0	deg
`eccentricity`	0.6	記載なし
`inc_deg`	57.7	deg
`kind`	lunar-surface	テキスト
`mask_deg`	5	deg
`n_sats`	8	記載なし
`pdop_threshold`	6	1
`season_dates`	[2028-01-01, 2028-04-01, 2028-07-01, 2028-09-30]	記載なし
`sites[0].lat_deg`	-89.9	deg
`sites[0].lon_deg`	0	deg
`sites[0].name`	南極域 89.9	テキスト

実行する#

kshana scenarios/lunar-surface.toml

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

得られるもの#

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

結果	値	単位
`advisory`	助言用ソフトウェアであり、認証を受けた航法	テキスト
`evidence.id_rule`	マトリクスの行の安定した ID（ID	テキスト
`evidence.matrix`	docs/VERIFICATION-MATRIX.md	テキスト
`evidence.tier`	MODELLED	テキスト
`exit_state.clock_sigma_s`	5.0000e-8	s
`exit_state.evidence`	MODELLED	テキスト
`exit_state.frame`	mci	テキスト
`exit_state.longest_timing_gap_h`	0	h
`exit_state.position_velocity_covariance`	そのまま通過する	テキスト
`exit_state.stay_days`	27.3217	d

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

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

エビデンス#

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

MODELLED lunar-surface の種別とフェーズ：地点と季節ごとの、中継衛星の可用性と PDOP、地球と太陽の可視性、規律された月面の時計。地形のスカイラインは moonlight-service-volume のものを使い、単一地点の実行はその種別と一致します

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

MODELLED決定論的、シナリオハッシュ付き、SBOMとクロスプラットフォームのゴールデンゲート。オラクル（ExternalDataset）：公式のCycloneDX 1.5 JSON Schema（および有効なSPDX識別子）へのSBOM適合性。これは外部の公開標準であり、依存関係グラフ全体で検証エラーはゼロです。FoMの決定論性とバイト単位の再現性の部分は固定された自己整合性チェックのままであるため、この行はMODELLEDのままです
MODELLED lunar-surface の種別とフェーズ：地点と季節ごとの、中継衛星の可用性と PDOP、地球と太陽の可視性、規律された月面の時計。地形のス。オラクル（ReferenceImpl）：テストにおける、一地点についての既存の種別との完全な一致と、単調性のチェック。中継衛星の構成は ILLUSTRATIVE であり、月面での測定との比較は行っていません

制限事項#

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

MODELLED（結果label）
アルテミス級の南極域の地点について、地点と季節ごとの、MODELLED の月面測位・タイミングの可用性。（種別カタログ（kshana kinds --json））
MODELLED：平均自転の月の上の、例示的なケプラー軌道の中継衛星群です。中継衛星の数値は季節で変わりません。地形は 1200 m の LOLA 切り出しです。（種別カタログ（kshana kinds --json））
誠実な注記：MODELLED。中継衛星の構成は例示的なケプラー軌道のもので、月は、moonlight-service-volume と同様に、中継衛星に対して平均の速度で回転します（秤動なし）。地球と太陽は解析的な向きを使うため、その省略の分だけ二つの座標系は異なります。このモデルでは、中継衛星による測位の数値は季節で変わりませんが、地球と太陽の数値は変わります。実在のいかなるサービスや地点との一致も主張していません。助言（シナリオファイルのコメント、11 行目から 15 行目）
再現性とソフトウェア保証はMODELLEDであり、独立した外部の参照との照合はされていません。サブクレームの一つは外部で確認されていますが、機能全体はモデルから計算した要素を組み合わせているため、この機能はモデルから計算したものにとどまります。（検証マトリクス（docs/MODELLED-RATIONALE.md））
月の極域での、地点と季節ごとの月面測位・タイミングの可用性（lunar-surface）は MODELLED であり、独立した外部の参照と照合して確認されていません。同じコードベース内の別の実装と照合しており、テスト対象のユニットからは独立していますが、外部の権威ある基準ではありません。（検証マトリクス（docs/MODELLED-RATIONALE.md））