`moonlight-service-volume`（シナリオの種類）

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

内容#

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・飛行実績・機関による承認はありません。

入力#

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

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

例の scenarios/moonlight-service-volume.toml では、とりわけ次を設定しています：

フィールド	値	単位
`alert_limit_m`	50	m
`argp_deg`	90	deg
`eccentricity`	0.6	記載なし
`elev_mask_deg`	5	deg
`horizon_hours`	12	h
`inc_deg`	57.7	deg
`kind`	moonlight-service-volume	テキスト
`lat_max_deg`	-60	deg
`lat_min_deg`	-90	deg
`lat_step_deg`	10	deg
`lon_max_deg`	180	deg
`lon_min_deg`	-180	deg

実行する#

kshana scenarios/moonlight-service-volume.toml

得られるもの#

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

結果	値	単位
`alert_limit_m`	50	m
`coverage_pct`	37.847222	%
`elev_mask_deg`	5	deg
`evidence.id_rule`	マトリクスの行の安定した ID（ID	テキスト
`evidence.matrix`	docs/VERIFICATION-MATRIX.md	テキスト
`evidence.tier`	MODELLED	テキスト
`hpl_max_m`	4176.665443	m
`hpl_min_m`	138.725726	m
`max_sats`	7	個数
`min_sats`	4	個数

エンジンが scenarios/moonlight-service-volume.toml（種類 moonlight-service-volume）に対して出力するグラフ

エビデンス#

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

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

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

MODELLED決定論的、シナリオハッシュ付き、SBOMとクロスプラットフォームのゴールデンゲート。オラクル（ExternalDataset）：公式のCycloneDX 1.5 JSON Schema（および有効なSPDX識別子）へのSBOM適合性。これは外部の公開標準であり、依存関係グラフ全体で検証エラーはゼロです。FoMの決定論性とバイト単位の再現性の部分は固定された自己整合性チェックのままであるため、この行はMODELLEDのままです
VALIDATED Moonlight クラスの月 DOP / カバレッジ / 可用性と、サービスボリュームにわたる一般化した月 ARAIM 保護レベル。オラクル（ExternalDataset）：独立したサードパーティの権威 ANISE 0.10.2 astro::Orbit ケプラー伝播器（Nyx Space、MPL-2.0）— kshana のニュートン・ラフソン法によるケプラー解とは異なる、春秋分点要素の二体コード経路。衛星ごとの MCI 位置は <1e-3 m で一致し、導出した可視衛星の数と集合はすべてのグリッド点で完全に一致します。DOP カーネルは gnss_lib_py で確認済みで、インテグリティには公表されている LunaNet/LCNS のパラメーターを使用
VALIDATED 指定した月面の地点における、衛星ごとの地平座標の見上げ角（方位角は北から時計回り、仰角）とスラント距離。衛星はその地点の座標系で与えます。オラクル（ExternalDataset）：ANISE 0.10.2（Nyx Space、MPL-2.0。xval/anise-service-geometry からツールとして実行し、バイナリは lunar-look-angles-xval、Kshana のコードは呼び出さない）。ANISE 自身の方位角・仰角・距離ルーチン（azimuth_elevation_range_sez）を、緯度・経度・高度のコンストラクターで構築した地点（pck00011 の月、球 1737.4 km）に適用し、衛星は moon_pa_de440_200625.bpc を通じて MOON_PA_DE440 に回転します。768 サンプル

制限事項#

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

MODELLED の構成：円軌道・楕円ケプラー軌道のリレー群（実際の微分補正された LCNS/NRHO エフェメリスではありません）と、平均自転の月（秤動や歳差する極はなし）。 (kind catalogue (kshana kinds --json))
正直な評価：MODELLED の構成。DOP のジオメトリは、確認済みのカーネルを再利用することで確認されています。カバレッジ・可用性・インテグリティの構成は MODELLED です。円軌道・楕円ケプラー軌道のリレー群（微分補正された LCNS / 9:2 NRHO エフェメリスではありません）、平均自転の月（物理的な秤動や歳差する極はなし）、公表されている LunaNet LNIS のインテグリティパラメーターを用いています。これは月サービスボリュームの M を示すものです (scenario file comment, lines 27 to 32)
再現性とソフトウェア保証はMODELLEDであり、独立した外部の参照との照合はされていません。サブクレームの一つは外部で確認されていますが、機能全体はモデルから計算した要素を組み合わせているため、この機能はモデルから計算したものにとどまります。（検証マトリクス（docs/MODELLED-RATIONALE.md））