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

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

内容#

月面航法の信号セキュリティの攻撃対象領域（P1）：公開されている信号セキュリティ解析を、バイナリから到達可能な一回の実行にまとめます。報告するのは、（1）AFS の受信電力と、地上の GPS 基準に対するその電力の余剰、さらに、リンク入力（基準レベル x EIRP x 斜距離）にわたる本格的な多軸掃引としての 12-18 dB の感度帯域と、25 倍に丸めた値 / 28 倍に丸めない値の線形係数の整合です。改訂（規則 R4）：GPS 基準が -125 / -128.5（これらは dBm の値）から -155 / -158.5 dBW、すなわちジャミングモジュールがこれまで一貫して保持してきた ICD-GPS-200 の値に訂正されるまで、これは 15.6 dB の電力不足と 32 倍 / 36 倍の係数を報告していました。符号は反転します。モデル化した月面 AFS 信号は、地上の GPS L1 C/A より 14.4 dB 強く、弱くはありません。受信電力そのものは一ビットも動いておらず、線形係数は旧値をちょうど 1000 で割ったもので、これはちょうど 30 dB の dBm から dBW へのオフセットに相当します。（2）各スタンドオフでスプーフィング（J/S = 3 dB）と妨害（J/S = 30 dB）に必要な攻撃者の送信電力。これは J/S リンクの逆です。（3）実際の一様開口アンテナパターン（Airy [2 J1(x)/x]^2）の下での軌道上の捕捉フットプリント。高度に制限された半球未満のキャップであり、その縁は捕捉されません。（4）理想として主張した 3 dB のしきい値ではなく、計算したトラッキングループのスプーフィング捕捉プルインの結果（一致するコードのスプーファーが、与えられた電力優位とコードオフセットで、実際に DLL/PLL を引きずるか）。（5）持ち上げた地表送信機の、大気のない天体における幾何学的な地平線到達距離。（6）OSNMA/TESLA の認証バジェット（20 bit/s のオーバーヘッド = 50 bit/s の AFS 航法メッセージの約 40 %、鍵開示の遅延、2^-40 の偽造）。本文が空の場合は P1 のベースラインを再現します。すべての入力には既定値があり、上書きできます。VALIDATED の副次的な結果は、出典モジュールのオラクルを引き継ぎます（閉形式の dB 無線測定、逆 J/S の往復、Airy パターンと A&S のベッセル関数および球冠ジオメトリの比較、DLL/PLL のプルインと Kaplan & Hegarty の比較、球の接線による地平線の恒等式と eo_payload の比較、OSNMA SIS-ICD のフィールドサイズ）。MODELLED：代表的なジオメトリと電力の大きさ、および具体的な捕捉マップのセルの値。認証済みのセキュリティ製品ではありません。

入力#

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

必須フィールド：なし
任意フィールド：afs_eirp_dbw、user_gain_dbi、slant_range_m、slant_range_max_m、carrier_hz、gps_reference_dbw、gps_reference_min_dbw、afs_isotropic_signal_dbw、transmitter_altitude_m、transmitter_power_dbw、antenna_diameter_m、footprint_grid、spoof_power_advantage_db、spoof_code_offset_chips、attacker_gain_dbi、spoof_capture_js_db、jam_denial_js_db、standoffs_m、mast_height_m、user_antenna_height_m、footprint_altitude_min_m、footprint_altitude_max_m、footprint_altitude_steps、footprint_altitude_scale、footprint_diameter_min_m、footprint_diameter_max_m、footprint_diameter_steps、footprint_diameter_scale

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

フィールド	値	単位
`afs_eirp_dbw`	26	dBW
`antenna_diameter_m`	1	m
`carrier_hz`	2400000000	Hz
`footprint_altitude_max_m`	500000	m
`footprint_altitude_min_m`	20000	m
`footprint_altitude_scale`	線形	テキスト
`footprint_altitude_steps`	7	記載なし
`footprint_diameter_max_m`	4	m
`footprint_diameter_min_m`	0.25	m
`footprint_diameter_scale`	対数	テキスト
`footprint_diameter_steps`	5	記載なし
`footprint_grid`	400	記載なし

実行する#

kshana scenarios/lunar-attack-surface.toml

得られるもの#

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

結果	値	単位
`afs_received_dbw`	-140.594433	dBW
`deficit_band_hi_db`	-12.005567	dB
`deficit_band_lo_db`	-17.905567	dB
`deficit_db`	-14.405567	dB
`deficit_factor_rounded`	0.039811	1
`deficit_factor_unrounded`	0.036261	1
`evidence.id_rule`	マトリクスの行の安定した ID（ID	テキスト
`evidence.matrix`	docs/VERIFICATION-MATRIX.md	テキスト
`evidence.tier`	MODELLED	テキスト
`footprint_boresight_gain_dbi`	25.792321	dBi

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

エビデンス#

この種類を名前で挙げているマトリクスの行はありません。その結果のラベルは、上に示したエンジン自身のものです。

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

MODELLEDジオメトリのJ/Sリンクバジェット、耐ジャミングC/N₀、衛星ごとのロックロス。オラクル（InternalConsistency）：耐ジャミングC/N₀ リンクバジェット式を、独立したnumpyによる再導出と照合（同じ閉形式を共有するため → InternalConsistency）。加えて、実際のJammerTest-2024のC/N₀ 劣化の特性評価。0.30第2ラウンド、ブロック中（MODELLEDのまま）：測定されたJammerTest 2024のC/N0低下を、リンクバジェットの予測（事前登録6a66994b、3 dB以内）と照合する作業は、F8.1のアンテナ位置と指向が
MODELLED決定論的、シナリオハッシュ付き、SBOMとクロスプラットフォームのゴールデンゲート。オラクル（ExternalDataset）：公式のCycloneDX 1.5 JSON Schema（および有効なSPDX識別子）へのSBOM適合性。これは外部の公開標準であり、依存関係グラフ全体で検証エラーはゼロです。FoMの決定論性とバイト単位の再現性の部分は固定された自己整合性チェックのままであるため、この行はMODELLEDのままです
MODELLED 送信機の高度とディッシュ径にわたる、パターン加重で高度制限付きの地表捕捉フットプリントの二軸掃引。動作点ごとに一行を出力。オラクル（InternalConsistency）：集合の包含：ジャマー対信号比は一様なデシベルのオフセットとして入るため、送信電力が高いときの捕捉集合は低いときの集合を含み、割合は増えるしかありません -- Airy パターンはビーム幅や高度についてはこの性質を与えず、そこでは捕捉領域がリング状に分かれ、割合は本当に非単調になります。月周回の送信機の捕捉ディスク割合を与える公表された表はありません

制限事項#

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

MODELLED：代表的なジオメトリと電力の大きさ、および具体的な捕捉マップのセルの値。（種別カタログ（kshana kinds --json））
GNSSが使えない状況でのジャミングに対するレジリエンスはMODELLEDであり、独立した外部の参照との照合はされていません。自身の閉形式・解析的な恒等式に照らして確認しており、転記や係数の誤りは見つけられますが、外部のオラクルではありません。（検証マトリクス（docs/MODELLED-RATIONALE.md））
再現性とソフトウェア保証はMODELLEDであり、独立した外部の参照との照合はされていません。サブクレームの一つは外部で確認されていますが、機能全体はモデルから計算した要素を組み合わせているため、この機能はモデルから計算したものにとどまります。（検証マトリクス（docs/MODELLED-RATIONALE.md））
高度とビーム幅に対する捕捉フットプリントは MODELLED であり、独立した外部の参照と照合して確認されていません。自身の閉形式・解析的な恒等式と照合しており、転記や係数の誤りは検出できますが、外部のオラクルではありません。（検証マトリクス（docs/MODELLED-RATIONALE.md））