`jamming`（シナリオ種別）

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

内容#

リンクバジェットによるジャミング：J/S → 実効 C/N₀ → ロック喪失。

scenarios/jamming-demo.tomlの一回の実行は次のように要約されます：scenario 5aac34b045c7 | ジャミング有効 | ジャミング下の可用性0.00（公称1.00） | 最小追尾0 | 平均 J/S 72.2 dB

入力#

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

必須フィールド：seed、time、receiver、constellation
任意フィールド：jammer、mask_deg、tracking_threshold_dbhz、degraded_margin_db、signal_power_dbw、temp_k、freq_hz、chip_rate_hz、skyline

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

フィールド	値	単位
`constellation.altitude_km`	20200	km
`constellation.inclination_deg`	55	deg
`constellation.phasing_f`	1	記載なし
`constellation.planes`	6	記載なし
`constellation.sats_per_plane`	4	記載なし
`jammer.bandwidth_mhz`	20	MHz
`jammer.gain_dbi`	0	dBi
`jammer.jammer_type`	broadband	テキスト
`jammer.position_ecef_m`	[3.9264e6, 2.7449e5, 5.0028e6]	m
`jammer.power_dbw`	10	dBW
`kind`	jamming	テキスト
`mask_deg`	5	deg

実行する#

kshana scenarios/jamming-demo.toml

同梱のシナリオのうち3個がこの種類を使用しています。その他はscenarios/にあります。

得られるもの#

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

結果	値	単位
`evidence.id_rule`	マトリクスの行の安定した ID（ID	テキスト
`evidence.matrix`	docs/VERIFICATION-MATRIX.md	テキスト
`evidence.tier`	PARTNER	テキスト
`fom.availability_nominal`	1	1
`fom.availability_under_jamming`	0	1
`fom.mean_js_db`	72.164862	dB
`fom.min_tracking`	0	個数
`jammer_present`	true	フラグ
`seed`	1	1

エンジンが scenarios/jamming-demo.toml（種別 jamming）について出力するグラフ

エビデンス#

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

MODELLED 幾何に基づく J/S リンクバジェット、耐ジャミングの C/N₀、衛星ごとのロック喪失テスト：gnss_denied_jamming_resilience_reference.rs。
MODELLED hybrid-optical-rf レポートは、インポートした気候値ではなく、エンジンがすでに計算している量から合成した RF リンクの可用性を示し、その合成を名前付きの規則として示します：A_rf = I_closure * I_track、ここで I_clos
MODELLED 月面ジャマー（または高所に設置したジャマー）の下にある、月面座標系の地表ユーザーに対する、月に固有のジャマー対信号比、実効 C/N₀、ロック喪失を、例示用の公開情報による Moonlight/LCNS 級コンステレーションについて求めます。
MODELLED lunar-jammingレポートは、拒否等高線をもはや一つのスカラーだけには拠っていません。
さらに5件が検証マトリクスにあります。

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

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のままです
PARTNER提供しません — Kshanaは信号性能をモデル化するものであり、ペイロード／アンテナのハードウェアではありません。オラクル（NoneKind）：なし：パートナーが所管する分野であり、設計上、モジュールもテストもありません

制限事項#

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

GNSSが使えない状況でのジャミングに対するレジリエンスはMODELLEDであり、独立した外部の参照との照合はされていません。自身の閉形式・解析的な恒等式に照らして確認しており、転記や係数の誤りは見つけられますが、外部のオラクルではありません。（検証マトリクス（docs/MODELLED-RATIONALE.md））
再現性とソフトウェア保証はMODELLEDであり、独立した外部の参照との照合はされていません。サブクレームの一つは外部で確認されていますが、機能全体はモデルから計算した要素を組み合わせているため、この機能はモデルから計算したものにとどまります。（検証マトリクス（docs/MODELLED-RATIONALE.md））