`lunar-surface`（场景类型）

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

作用#

MODELLED的地表定位与授时可用性，按站点和季节给出，适用于Artemis级南极站点。对每个站点和季节（一个历元及其后的一个时间窗），报告中继定位（一个ILLUSTRATIVE的LCNS级星座有四颗或更多中继星可见且PDOP低于阈值，计算函数与moonlight-service-volume相同；带地形段时，则用lunar-station-coverage的地形经射线步进得到的天际线）、地球和太阳是否在站点地平线之上（解析的太阳、月球和月球姿态，含天平动，这正是随季节变化的部分），以及授时可用性（有中继星或地球可见），并给出两者均不可见的最长时段，即地表时钟必须守时（holdover）度过的时间。单站点结果与moonlight-service-volume的结果逐位相等。MODELLED：平均自转月球上的示意性开普勒中继星集合；中继星的数值不随季节变化；地形为1200 m的LOLA裁剪区。未获机构背书；仅供参考的软件，不是经认证的导航设备。

运行一次scenarios/lunar-surface.toml的摘要为：lunar-surface | 4个站点x 4个季节 | 定位41% 至41% | 最差授时可用性100.0% | 最长授时间隙0.0 h (MODELLED)

输入#

来自模式（kshana kinds --json）：

必填字段：无
可选字段：sites、season_dates、window_days、step_min、stay_days、timing_floor_s、n_sats、sma_km、eccentricity、inc_deg、argp_deg、mask_deg、pdop_threshold、earth_mask_deg、sun_mask_deg、terrain

示例scenarios/lunar-surface.toml设置了以下内容等：

字段	取值	单位
`argp_deg`	90	deg
`earth_mask_deg`	0	deg
`eccentricity`	0.6	未说明
`inc_deg`	57.7	deg
`kind`	lunar-surface	文本
`mask_deg`	5	deg
`n_sats`	8	未说明
`pdop_threshold`	6	1
`season_dates`	[2028-01-01, 2028-04-01, 2028-07-01, 2028-09-30]	未说明
`sites[0].lat_deg`	-89.9	deg
`sites[0].lon_deg`	0	deg
`sites[0].name`	南极89.9	文本

运行#

kshana scenarios/lunar-surface.toml

有2个内置场景使用此类型；其余的在scenarios/中。

给出什么#

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

结果	取值	单位
`advisory`	仅供参考的软件，不是经认证的导航	文本
`evidence.id_rule`	矩阵行的稳定标识（ID	文本
`evidence.matrix`	docs/VERIFICATION-MATRIX.md	文本
`evidence.tier`	MODELLED	文本
`exit_state.clock_sigma_s`	5.0000e-8	s
`exit_state.evidence`	MODELLED	文本
`exit_state.frame`	mci	文本
`exit_state.longest_timing_gap_h`	0	h
`exit_state.position_velocity_covariance`	原样传递	文本
`exit_state.stay_days`	27.3217	d

结果标签（引擎给出的）：MODELLED

引擎为scenarios/lunar-surface.toml（类型lunar-surface）生成的图表

证据#

MODELLED：列出此类型的验证矩阵各行。

MODELLED lunar-surface类型与阶段：每个站点和季节的中继星可用性与PDOP、地球和太阳可见性以及受约束的地表时钟，并带有moonlight-service-volume的地形天际线；单站点运行与该类型的结果相等

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

MODELLED确定性、场景哈希、SBOM加跨平台golden门限。参考基准（ExternalDataset）：SBOM与官方CycloneDX 1.5 JSON Schema（加有效的SPDX标识符）一致，这是已发布的外部标准，整个依赖图上零验证错误；FoM确定性与逐字节可复现性部分仍是固定的自洽性检查，因此该行仍为MODELLED
MODELLED lunar-surface类型与阶段：每个站点和季节的中继星可用性与PDOP、地球和太阳可见性以及受约束的地表时钟，并带有地形。参考基准（ReferenceImpl）：在测试中，单站点时与现有类型完全相等，并通过单调性检查。中继星集合为ILLUSTRATIVE，没有与任何地表测量作比较

局限#

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

MODELLED（结果label）
MODELLED的地表定位与授时可用性，按站点和季节给出，适用于Artemis级南极站点。（类型目录（kshana kinds --json））
MODELLED：平均自转月球上的示意性开普勒中继星集合；中继星的数值不随季节变化；地形为1200 m的LOLA裁剪区。（类型目录（kshana kinds --json））
诚实说明：MODELLED。中继星集合是示意性的开普勒集合，月球按平均速率转动（无天平动），与moonlight-service-volume相同；地球和太阳使用解析姿态，因此两个坐标系因这一省略而存在差异。在该模型中，中继星定位数值不随季节变化；地球和太阳的数值则会变化。不声称与任何真实服务或站点一致。仅供参考（场景文件注释，第11至15行）
可复现性与软件保障为MODELLED，而不是经独立验证：其中一项子声明经过外部核对，但整项能力由模型计算的部分组合而成，因此该能力仍属于由模型计算得出一级。（验证矩阵（docs/MODELLED-RATIONALE.md））
月球极区按站点和季节的地表定位与授时可用性（lunar-surface）为MODELLED，而不是经独立验证：它对照本代码库内一个独立的实现进行检查，独立于被测单元，但不具外部权威性。（验证矩阵（docs/MODELLED-RATIONALE.md））

另请参阅#

系列页面：月球与地月空间
所有类型：KINDS.md
主题页面：MISSION-THREAD-LUNAR.md
主题页面：MISSION-THREAD.md

lunar-surface（场景类型）

作用#

输入#

运行#

给出什么#

证据#

局限#

另请参阅#

`lunar-surface`（场景类型）