lunar-attack-surface（场景类型）

引擎v0.40.0的场景类型，所属类别为月球与地月空间。仅供参考：研究与工程工具的分析输出，不是经型式认可的导航设备，也不是生命安全服务。此处的每个标签都来自引擎或验证矩阵；除非矩阵另有说明，一种类型即为MODELLED（标签如何获得：见README的证据一节）。

作用#

月面导航信号安全攻击面（P1）：把公开的信号安全分析组合成一次可由二进制文件触达的运行。报告：（1）AFS接收功率及其相对地面GPS参考的功率盈余（SURPLUS），以及12-18 dB的灵敏度范围，这是对链路输入（参考电平x EIRP x斜距）作真正的多轴扫描得到的，并给出25x取整 / 28x未取整线性因子的核对。已修订（规则R4）：此前报告的是15.6 dB的功率亏缺（DEFICIT）以及32x/36x的因子，直到GPS参考值从 -125 / -128.5（这是dBm数值）更正为 -155 / -158.5 dBW，即干扰模块一贯采用的ICD-GPS-200数值。符号随之反转：所建模的月面AFS信号比地面GPS L1 C/A强14.4 dB（STRONGER），而不是更弱。接收功率本身没有丝毫变化，线性因子是旧因子恰好除以1000，这恰好就是dBm到dBW的30 dB偏移；（2）在每个对峙距离上，欺骗（J/S = 3 dB）和压制（J/S = 30 dB）所需的攻击者发射功率，即J/S链路的反问题；（3）在真实的均匀口径天线方向图（Airy [2 J1(x)/x]^2）下的轨道捕获足迹，这是一个受高度限制的亚半球帽形区域，其边缘（limb）不会被捕获（NOT captured）；（4）计算得到的跟踪环欺骗捕获牵入结果（在给定功率优势和码偏移下，匹配码欺骗源是否真的能拖动DLL/PLL），而不是断言的3 dB门限；（5）抬高的地面发射机在无大气天体上的几何地平线可达距离；以及（6）OSNMA/TESLA认证预算（20 bit/s开销 = 约40 % 的50 bit/s AFS导航电文、密钥披露延迟、2^-40伪造概率）。空的请求体会复现P1基线；每个输入都有默认值，且可以覆盖。VALIDATED的子结果带有其来源模块的参考基准（oracle）（闭式dB辐射度量；逆J/S往返；Airy方向图对照A&S Bessel函数以及球冠几何；DLL/PLL牵入对照Kaplan & Hegarty；球面切线地平线恒等式对照eo_payload；OSNMA SIS-ICD字段尺寸）。MODELLED：具有代表性的几何/功率量级，以及具体的捕获图单元格数值。不是经认证的安全产品。

scenarios/lunar-attack-surface.toml的一次运行概括如下：lunar-attack-surface | AFS -140.6 dBW，盈余14.4 dB（范围 -17.9–-12.0，25×/28× 盈余）| 欺骗@1000 m 0.000 W | 足迹3% 帽形区域，边缘false | 欺骗捕获true（锁定0.00 s）| 桅杆可达距离21.0 km | OSNMA 20 bit/s（占50 bit/s的40%），30 s延迟 | 足迹扫描7x5（高度20-500 km x HPBW 1.83-29.20度），捕获0.6-42.9% | 此网格上未达到边缘（NOT reached）（最佳 -0.8 dB，差3.8 dB；需要19.8 dBW，而现有16.0 dBW）

输入#

来自模式（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设置了下列内容等：

运行#

kshana scenarios/lunar-attack-surface.toml

给出什么#

该次运行的标量结果，单位为引擎所给出的单位：

证据#

验证矩阵中没有任何一行按名称列出此类型；其结果上的标签是引擎自己的，见上文。

本次运行实际涉及的各行，以及矩阵为每行给出的参考基准（oracle）（公开来源在矩阵中列出）：

• 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加跨平台golden门限。参考基准（ExternalDataset）：SBOM与官方CycloneDX 1.5 JSON Schema（加有效的SPDX标识符）一致，这是已发布的外部标准，整个依赖图上零验证错误；FoM确定性与逐字节可复现性部分仍是固定的自洽性检查，因此该行仍为MODELLED
• MODELLED对按方向图加权、受高度限制的地面捕获足迹，在发射机高度和天线口径两个轴上作扫描，每个工作点输出一行。参考基准（oracle，InternalConsistency）：集合包含关系：干信比以均匀的分贝偏移进入，因此较高发射功率下的捕获集合包含较低发射功率下的集合，比例只会上升——Airy方向图在波束宽度或高度上并不给出这一性质，在那里被捕获区域会分裂成环，比例确实是非单调的。没有已发表的表格给出月球轨道发射机的捕获圆盘比例

局限#

本次运行自身的报告所说的未建模或未经独立验证的内容：

• MODELLED：具有代表性的几何/功率量级，以及具体的捕获图单元格数值。（类型目录（kshana kinds --json））
• GNSS拒止下的压制干扰韧性为MODELLED，而不是经独立验证：它对照自身的闭式或解析恒等式进行检查，能发现转录错误和系数错误，但不是外部参考基准（oracle）。（验证矩阵（docs/MODELLED-RATIONALE.md））
• 可复现性与软件保障为MODELLED，而不是经独立验证：其中一项子声明经过外部核对，但整项能力由模型计算的部分组合而成，因此该能力仍属于由模型计算得出一级。（验证矩阵（docs/MODELLED-RATIONALE.md））
• 捕获足迹随高度和波束宽度的变化为MODELLED，而非已与独立的外部参考基准核对：对照其自身的闭式/解析恒等式检查——可发现转录和系数错误，但不是外部参考基准。（验证矩阵（docs/MODELLED-RATIONALE.md））

另请参阅#

• 类别页面：月球与地月空间
• 所有类型：KINDS.md