spoof（场景类型）
引擎v0.40.0的场景类型，所属系列为压制干扰、欺骗干扰与频谱。仅供参考：研究与工程工具的分析输出，不是经型式认可的导航设备，也不是生命安全服务。此处每个标签均由引擎或验证矩阵给出；除非矩阵另有说明，一个类型即为MODELLED（标签如何获得，见README的Evidence一节）。
作用#
随机时间欺骗检测器（Neyman–Pearson / χ²₁），含蒙特卡罗P_fa/P_md。
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 |
证据#
MODELLED：列出此类型的验证矩阵各行。
- MODELLED钟差辅助 χ²、RAIM、AGC、SQM融合的逐历元安全性能指标 测试：spoof_texbat_validation.rs。
- MODELLED
leo-pass类型的[spoofer]部分：欺骗源在距离和距离变化率上自洽地伪造在声称位置处所见的信号，该声称位置在起始时刻之后相对真实位置发生跳变和/或被推移（针对每个LEO频段以及MEO测试：leo_resilience_verticals.rs。 - MODELLED对每颗LEO卫星和每一对测距频段，
[spoofer]部分构成无几何伪距组合，去除接收机的电离层模型，并将其逐历元的阶跃与两个频段的码噪声以及一个 测试：leo_resilience_verticals.rs。
本次运行实际涉及的各行，以及矩阵为每行给出的参考基准（oracle）（公开来源在矩阵中列出）：
- MODELLED钟辅助 χ²、RAIM、AGC、SQM融合的逐历元安全性FoM。参考基准（ExternalDataset）：TEXBAT场景参数（Humphreys 2012）：是特性描述，不是固定的向量。0.30外部比较，一项发现（仍为MODELLED）：在JammerTest 2024（Bleik；GPL-3.0数据）上，观测量层面的监测器（钟辅助卡方、RAIM、求解失败）在8个可评估的已发布欺骗干扰起始时刻中的任何一个之后10 s内都没有报警（在起始前窗口干净的情况下，首次报警出现在10.2至39 s之后，起始pu
- MODELLED确定性、场景哈希、SBOM加跨平台golden门限。参考基准（ExternalDataset）：SBOM与官方CycloneDX 1.5 JSON Schema（加有效的SPDX标识符）一致，这是已发布的外部标准，整个依赖图上零验证错误；FoM确定性与逐字节可复现性部分仍是固定的自洽性检查，因此该行仍为MODELLED
局限#
本次运行自身的报告所说的未建模或未经独立验证的内容：
- 欺骗干扰检测为MODELLED，而不是经独立验证：其中一项子声明经过外部核对，但整项能力由模型计算的部分组合而成，因此该能力仍属于由模型计算得出一级。（验证矩阵（docs/MODELLED-RATIONALE.md））
- 可复现性与软件保障为MODELLED，而不是经独立验证：其中一项子声明经过外部核对，但整项能力由模型计算的部分组合而成，因此该能力仍属于由模型计算得出一级。（验证矩阵（docs/MODELLED-RATIONALE.md））
另请参阅#
- 系列页面：压制干扰、欺骗干扰与频谱
- 所有类型：KINDS.md
- 主题页面：CAMPAIGNS.md
- 主题页面：INTEGRITY.md