lunar-beacon（シナリオ種別）
エンジンv0.40.0のシナリオの種類。ファミリー：月および地球・月間空間（シスルナー）。助言のみ：研究・エンジニアリング用ツールによる解析出力であり、型式承認を受けた航法装置ではなく、人命安全（safety-of-life）サービスでもありません。ここにあるラベルはすべてエンジンまたは検証マトリクスによるものです。検証マトリクスに別の記載がない限り、シナリオの種類はMODELLEDです（ラベルの付与のされ方：READMEのEvidenceセクション）。
内容#
月周回の航法サービスに対する地表ビーコンによる補強を、実行可能な前後比較の表として示します。南極域のユーザーには、まばらな周回衛星の集合が空の狭い領域に見えるため、測距ジオメトリは悪条件になります。少数の測量済みの地表ビーコンが、すべて頭上にある集合には欠けている、低仰角で広い方位角の視線方向の行を補い、水平方向の精度低下率は大きく低下します。このシナリオは 一つのエポックにおける 三つの構成を報告します。衛星のみ、衛星と可視ビーコン、そして同じジオメトリに至る別の経路としてのより大きなコンステレーションです。それぞれに、可視ソースの数、完全な DOP、そして、クロック同期、マルチパス、測量の各項の二乗和平方根として組み立てたビーコンごとのユーザー等価測距誤差を掛け合わせて得られる、メートル単位の実現 1 シグマ精度が付きます。ビーコンの可視性は大気のない月における 二つの高度での幾何学的な地平線です（大気がないため、境界は厳密です）。DOP の組み立ては、tests/dop_reference.rs で gnss_lib_py とクロスチェックしているものと同じカーネルです。この種別が存在する理由：その背後にあるモジュールは L08/L09 以来エンジンに入っており、独立した DOP の経路と照合されていましたが、実行から到達できませんでした -- 種別も、ディスパッチの分岐も、同梱ファイルもありませんでした。README はこの機能をうたっていましたが、検証マトリクスにはその行がまったくなく、そのため散文では主張されながら台帳では主張されておらず、しかもエンジンからは到達できませんでした。既定値は、すでにコミット済みのゴールデンを持つジオメトリです（-80 度のユーザーに 2 m のアンテナ、-80/0、-79/+60、-79/-60 の 三つのビーコン（2 km）、t=0 における六機の例示的な LCNS スナップショット、5 度のマスク）。そのため、何も指定しない実行は、新しい数値を作り出すのではなく、オラクルがすでにカバーしている表を再現します。MODELLED：コンステレーション設計、ビーコンの配置、およびすべての誤差バジェットの大きさは例示的な入力であり、実際に運用されている測量や測定されたリンクではありません。外部に裏付けられているのは、DOP の演算、地平線の閉形式、シグマ = DOP x sigma_URE の関係のみです。サービス性能の確約ではありません。
scenarios/lunar-beacon.toml の 一回の実行の要約：月面ビーコン補強 — マスク 5.0 度、エポック +0 s、ビーコンごとの sigma_URE 1.1576 m、6 機の衛星、ビーコンなし、衛星 5、ビーコン 0、GDOP 11.6627、PDOP 9.6941、HDOP 3.4868、VDOP 9.0454、TDOP 6.4840、実現 1 シグマ：3D 11.222 m、H 4.036 m、V 10.471 m、6 機の衛星 + 1 個の可視ビーコン、衛星 5、ビーコン 1、GDOP 4.9979、PDOP 4.1160、HDOP 1.9721、VDOP 3.6128、TDOP 2.8350、実現 1 シグマ：3D 4.765 m、H 2.283 m、V 4.182 m、24 機の衛星、ビーコンなし、衛星 19、ビーコン 0、GDOP 2.8929、PDOP 2.4226、HDOP 1.0199、VDOP 2.1974、TDOP 1.5811、実現 1 シグマ：3D 2.804 m、H 1.181 m、V 2.544 m、ビーコンにより PDOP は 2.355 倍改善。代わりに大きなコンステレーションを使うと 4.002 倍 MODELLED：コンステレーション、ビーコンの配置、誤差バジェットは例示的な入力です。その基盤となる DOP カーネルは gnss_lib_py で検証済みのものであり、ビーコンの地平線は L01 の閉形式です。
入力#
スキーマ（kshana kinds --json）より：
- 必須フィールド：なし
- 任意フィールド：
user、beacons、n_satellites、comparison_n_satellites、epoch_s、elevation_mask_deg、clock_sync_m、multipath_m、survey_m
例 scenarios/lunar-beacon.toml では、とりわけ次を設定しています：
| フィールド | 値 | 単位 |
|---|---|---|
beacons[0].alt_m |
2000 | m |
beacons[0].lat_deg |
-80 | deg |
beacons[0].lon_deg |
0 | deg |
beacons[1].alt_m |
2000 | m |
beacons[1].lat_deg |
-79 | deg |
beacons[1].lon_deg |
60 | deg |
beacons[2].alt_m |
2000 | m |
beacons[2].lat_deg |
-79 | deg |
beacons[2].lon_deg |
-60 | deg |
clock_sync_m |
1 | m |
comparison_n_satellites |
24 | 記載なし |
elevation_mask_deg |
5 | deg |
実行する#
kshana scenarios/lunar-beacon.toml得られるもの#
その実行のスカラー結果。単位はエンジンが示すとおりです：
| 結果 | 値 | 単位 |
|---|---|---|
beacon_pdop_improvement |
2.355211 | 1 |
constellation_pdop_improvement |
4.001566 | 1 |
elevation_mask_deg |
5 | deg |
epoch_s |
0 | s |
evidence.id_rule |
マトリクスの行の安定した ID（ID | テキスト |
evidence.matrix |
docs/VERIFICATION-MATRIX.md | テキスト |
evidence.tier |
MODELLED | テキスト |
sigma_ure_m |
1.157584 | m |
エビデンス#
MODELLED：この種類を挙げている検証マトリクスの行。
- MODELLED 月面ユーザーに対するビーコン補強による精度低下率：可視衛星の視線方向の行と可視地表ビーコンの測距の行を 一つの計画行列に連結し、共有の DOP カーネルで評価し、そして テスト：validate_p2_beacon_before_after_table.rs。
実行そのものが検証した行と、マトリクスが各行に示すオラクル（公開ソースはそこに記載されています）：
- MODELLED決定論的、シナリオハッシュ付き、SBOMとクロスプラットフォームのゴールデンゲート。オラクル（ExternalDataset）：公式のCycloneDX 1.5 JSON Schema（および有効なSPDX識別子）へのSBOM適合性。これは外部の公開標準であり、依存関係グラフ全体で検証エラーはゼロです。FoMの決定論性とバイト単位の再現性の部分は固定された自己整合性チェックのままであるため、この行はMODELLEDのままです
- MODELLED 月面ユーザーに対するビーコン補強による精度低下率：可視衛星の視線方向の行と可視地表ビーコンの測距の行を連結。オラクル（ReferenceImpl）：DOP の演算は crate::orbit::dop カーネルで、tests/dop_reference.rs で gnss_lib_py に対して別途外部で検証されています。この行はその行のステータスを借用し直しません。ビーコンの可視性の地平線は L01 の閉形式で、シグマ = DOP x sigma_URE は標準的な GNSS の関係です（Kaplan and Hegarty, Understanding GPS/GNSS, section 7）。この行の範囲内では、補強そのものは独立した
制限事項#
実行そのものの報告が、モデル化されていない、または検証されていないとしている内容：
- MODELLED：コンステレーション設計、ビーコンの配置、およびすべての誤差バジェットの大きさは例示的な入力であり、実際に運用されている測量や測定されたリンクではありません。外部に裏付けられているのは、DOP の演算、地平線の閉形式、シグマ = DOP x sigma_URE の関係のみです。（種別カタログ（
kshana kinds --json）） - 何が裏付けられていて何が裏付けられていないか 裏付けられているもの：DOP の組み立ては tests/dop_reference.rs で gnss_lib_py とクロスチェックしたカーネルです。ビーコンの可視性は大気のない月における 二つの高度での幾何学的な地平線の閉形式です（大気がないため、屈折による延長はなく、境界は厳密です）。シグマ = DOP x sigma_URE は標準的な関係です（Kaplan & Hegarty, Understanding GPS/GNSS, section 7）。裏付けられていないもの — MODELL（シナリオファイルのコメント、40 行目から 49 行目）
- 再現性とソフトウェア保証はMODELLEDであり、独立した外部の参照との照合はされていません。サブクレームの 一つは外部で確認されていますが、機能全体はモデルから計算した要素を組み合わせているため、この機能はモデルから計算したものにとどまります。（検証マトリクス（docs/MODELLED-RATIONALE.md））
- 月面の地表ビーコンによる DOP 補強は MODELLED であり、独立した外部の参照と照合して確認されていません。このコードベース内の別の実装と照合しており、検証対象のユニットからは独立していますが、外部の権威あるものではありません。（検証マトリクス（docs/MODELLED-RATIONALE.md））
関連項目#
- ファミリーページ：月および地球・月間空間（シスルナー）
- すべての種類：KINDS.md