`spoof`（シナリオ種別）

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

内容#

モンテカルロによる P_fa/P_md を伴う、確率的な時刻スプーフィング検出器（Neyman–Pearson / χ²₁）。

scenarios/spoof-attack.toml の一回の実行の要約：scenario 2b6bd22c3b80 | spoof LinearRamp { rate_ns_per_s: 0.1 } vs 20.000 ns spec (P_fa 0.010) | quantum security 1.000 (P_md 0.000, MC 0.000) detected 70s | classical security 0.558 (P_md 0.442, MC 0.444) detected 430s

入力#

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

必須フィールド：threshold_ns、time、attack、clock_quantum、clock_classical
任意フィールド：なし

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

フィールド	値	単位
`attack.rate_ns_per_s`	0.1	s
`attack.start_s`	60	s
`clock_classical.id`	csac-sa45s	テキスト
`clock_classical.provenance`	Microchip SA65 / SA.45s CSACのデータシートsigma_y(1s)=3e-10；q_	テキスト
`clock_classical.q_rw`	0	記載なし
`clock_classical.q_wf`	9.0000e-20	記載なし
`clock_classical.y0`	5.0000e-10	記載なし
`clock_quantum.id`	optical-sr-lattice	テキスト
`clock_quantum.provenance`	ストロンチウム光格子時計、宇宙向けの目標sigma_y	テキスト
`clock_quantum.q_rw`	0	記載なし
`clock_quantum.q_wf`	1.0000e-30	記載なし
`clock_quantum.y0`	5.0000e-17	記載なし

実行する#

kshana scenarios/spoof-attack.toml

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

得られるもの#

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

結果	値	単位
`classical.breaches_spec_undetected`	true	フラグ
`classical.detect_time_s`	430	s
`classical.detection.analytic_pmd`	0.442031	1
`classical.detection.boundary_ns`	18.928432	ns
`classical.detection.eval_offset_ns`	20	ns
`classical.detection.mc_pfa`	0.0088	1
`classical.detection.mc_pmd`	0.4439	1
`classical.detection.mc_runs`	10000	個数
`classical.detection.monitor_sigma_ns`	7.348481	ns
`classical.detection.target_pfa`	0.01	1

エンジンが scenarios/spoof-attack.toml（種別 spoof）に対して出力するグラフ

エビデンス#

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

MODELLED クロック支援 χ²、RAIM、AGC、SQM を融合したエポックごとのセキュリティ性能指標テスト：spoof_texbat_validation.rs。
MODELLED leo-pass 種別の [spoofer] セクション：スプーファーは、開始後に真の位置から飛び移り、または押し出される、主張された位置で見える信号を、距離と距離レートで自己整合的に偽造します（LEO バンドごと、および MEO のテスト：leo_resilience_verticals.rs。
MODELLED LEO 衛星ごと、測距バンドの組ごとに、[spoofer] セクションはジオメトリフリーの疑似距離結合を作り、受信機の電離圏モデルを除去して、そのエポック間のステップを二つのバンドのコード雑音と st テスト：leo_resilience_verticals.rs。

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

MODELLED時計支援の χ²、RAIM、AGC、SQMをエポックごとに融合したセキュリティFoM。オラクル（ExternalDataset）：TEXBATのシナリオパラメーター（Humphreys 2012）— 特性評価であり、固定したベクトルではありません。0.30外部比較、所見（MODELLEDのまま）：JammerTest 2024（Bleik、GPL-3.0のデータ）では、観測量レベルのモニター（時計支援のカイ二乗、RAIM、解の失敗）は、評価可能な公表済みスプーフィング開始8件のいずれについても10秒以内に警報を出しませんでした（開始前のウィンドウがクリーンだった場合、最初の警報は10.2〜39秒後に出ました。公
MODELLED決定論的、シナリオハッシュ付き、SBOMとクロスプラットフォームのゴールデンゲート。オラクル（ExternalDataset）：公式のCycloneDX 1.5 JSON Schema（および有効なSPDX識別子）へのSBOM適合性。これは外部の公開標準であり、依存関係グラフ全体で検証エラーはゼロです。FoMの決定論性とバイト単位の再現性の部分は固定された自己整合性チェックのままであるため、この行はMODELLEDのままです

制限事項#

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

スプーフィングの検出はMODELLEDであり、独立した外部の参照との照合はされていません。サブクレームの一つは外部で確認されていますが、機能全体はモデルから計算した要素を組み合わせているため、この機能はモデルから計算したものにとどまります。（検証マトリクス（docs/MODELLED-RATIONALE.md））
再現性とソフトウェア保証はMODELLEDであり、独立した外部の参照との照合はされていません。サブクレームの一つは外部で確認されていますが、機能全体はモデルから計算した要素を組み合わせているため、この機能はモデルから計算したものにとどまります。（検証マトリクス（docs/MODELLED-RATIONALE.md））