一个引擎，覆盖整条故障链。

基于真实两行根数（已提交的Celestrak GPS快照）或合成Walker星座的SGP4/SDP4外推，后者的平均根数实现i:T/P/F公式，24 h内偏差小于1 km。包括多星座可见性、精度因子和GNSS可用性，星座设计优化器，覆盖带尺寸设计，以及在轨道面数 × 卫星数网格上报告帕累托最优设计的Walker设计扫描。

一个与解析SGP4/SDP4路径互补的数值（Cowell）外推器，采用分层力模型：二体 + 完整的J2–J6带谐场，可选的EGM2008田谐地球重力位（阶/次至70），由历元驱动的太阳和月球第三体引力（内置星历，不用DE/SPK核），带锥形本影/半影的太阳辐射压，大气阻力，后牛顿Schwarzschild相对论修正，以及Lense–Thirring框架拖曳项；由RK4步长倍增或Dormand–Prince RK5(4) 自适应积分器两者择一驱动。

带6×6协方差传播的脉冲 ΔV节点，对照Tsiolkovsky火箭方程核对到误差小于0.01 % 的有限推力点火积分，Izzo-2015单圈Lambert求解器和精确的通用变量Kepler外推器，以及以JSON等值线网格输出的porkchop（发射 × 到达）C3 / 到达V∞ 扫描：位于GMAT/Orekit之上的性能仿真层。

IERS含闰秒的UTC / TAI / TT / UT1时间尺度，儒略日API，IAU-2000地球自转角，基于GMST的TEME ↔ ECEF与WGS-84大地坐标系，完整的IAU 2000A/2000B章动和IAU 2006岁差，以及基于CIO的无春分点IAU 2006/2000A GCRS↔ITRS归算（含IERS极移）：已与SOFA/ERFA向量逐位核对一致，并与ANISE（纯Rust的SPICE）独立交叉核对：GCRS→ITRS对照ANISE ITRF93，使用相同的IERS EOP，地面处相符至 ≤ 0.86 m，GNSS轨道处相符至 ≤ 3.6 m。

一个运行级风格的地球定向预测器：在尾随窗口内对偏置、速率和主要周期项做最小二乘，并对照真正已存档的Bulletin A预测来衡量，而不是对照持续性。离线默认输入是一份带有Bulletin A预测行的真实IERS finals2000A产品，因此直接运行即可输出填充好的各提前期表格，而不是空表。UT1与极移连同它们的组合在同一组行上报告，所以联合数字是一个统计量，而不是两个不同样本的二次和。

三轴捷联INS：四元数姿态，WGS-84 NED机械编排，圆锥/划桨补偿，以及完整的确定性IMU误差模型；外加第一性原理冷原子干涉仪加速度计（Mach–Zehnder相位、投影噪声、对比度衰减、振动耦合），以及用于地形/重力参考GPS拒止导航的粒子滤波器。

由IMU误差预算得到的位置误差随滑行时长的变化：偏置、随机游走和比例因子，各有自己的增长规律和各自在越限中所占的份额，因此导航中断的代价是一条计算出的曲线，而不是扫描出的漂移率。阈值越限是引擎输出，每一处都注明主导贡献，涵盖四个IMU等级；地形修正间隔在自己的块中评分，因此主要的越限结果保持无辅助。

一个冷原子重力仪测量模型，其白噪声下限由CAI加速度计物理推导而来；一个低阶全归一化球谐重力异常场外加合成质量瘤；以及一个重力图匹配粒子滤波器；并扩展到对照SRTM高程DEM的地形参考导航（TERCOM/SITAN）、阶/次至13的IGRF-14地磁主场，以及融合全部三个标量通道的重力 + 磁场 + 地形组合导航器。一个60分钟GPS拒止基准测试：约700 km、持续一小时的中断，其间惯性解漂移到约70 km；由分层由粗到精的匹配器恢复到约145 m：即ESA NAVISP Quantum Wayfarer目标。

一个15状态误差状态EKF，在GNSS中断期间依靠已校准的惯性解滑行；一种紧耦合伪距模式，在可见卫星少于四颗时仍持续修正；一个耦合的时钟 + 位置滤波器；一个通用的无迹（sigma点）卡尔曼估计器；一个紧耦合GNSS/INS UKF导航器，在弯曲的LEO过境上经过120 s中断验证达到0.77 m RMS；以及一个完整的17状态紧耦合GNSS/INS UKF，其量子CAI航位推算依靠冷原子加速度计推导出的速度随机游走来滑行通过中断。

由地面站测距跟踪恢复轨道状态，将二体 + J2力模型和RK4积分器与高斯–牛顿批处理微分校正器（无噪声测距下为亚米级 / mm·s⁻¹，5 m噪声下限下约2 m）以及序贯无迹滤波器变体组合起来。

一个通用、可复用的Fisher信息 / Cramér–Rao层（src/fim.rs）：信息矩阵M = HᵀWH、Cramér–Rao下界、可观测性秩和基准缺陷零空间（Moore–Penrose伪逆），以及由对称Jacobi特征值求解器得到的D/A/E/T最优实验设计标量。它支撑DOP引擎、被动地理定位界限，以及月球绝对站点可观测性结果：内部测距会留下六自由度刚体基准缺陷，对稀疏星座而言，地球基线VLBI连接可将其恢复，对丰富星座则可使其更锐化，绝对基准在三个不共线的地球站处闭合。

一个旋转坐标系中的地月圆形限制性三体（CR3BP）外推器：守恒的Jacobi常数和全部五个拉格朗日点，带6×6状态转移矩阵和单次打靶微分校正器，可生成真正周期性的晕轨道 / 近直线晕轨道（NRHO）：它复现已发表的L2南向9:2 NRHO（Gateway轨道），周期约6.57天，近月点约3,250 km。外加LunaNet / LNIS地月空间PNT几何（MCI↔MCMF归算、月面坐标），以及一次月球南极ARAIM过境，它如实暴露出完好性缺口：约30 m的 σ_URE使保护级远高于50 m的告警限值。

由观测活动实现月固坐标系：对站点–反射器几何做加权高斯–牛顿相似变换拟合，报告基准、其协方差和确定得最差的坐标轴。耦合的坐标系与时间尺度规范被明确保留而不是被吸收，因此秩亏在报告中清晰可见，而不是埋没在伪逆里。

在月面坐标网格上扫描一个示意性的Moonlight/LCNS级星座：可见性、精度因子、覆盖，以及对照可配置告警限值的逐历元ARAIM保护级。空间信号测距精度是一个参数，因此该扫描回答的是整个服务区内的测距要求，而不是在某个固定值上的通过/不通过。

衡量三种独立的权威月球星历实际相差多远，并将其转化为一条设计规律：混合提供方用户所继承的坐标系与星历误差预算，以及提供方为将该预算保持在规定界限内必须维持的一致性容差。

自参照月球星座在没有地面真值时检测自身故障所需的线性代数：以秩亏伪逆形式给出的、在基准与时间尺度规范下仍然成立的加权奇偶投影，逐节点可检测性，Baarda最小可检测偏差，以及基于真实DE440节点间几何的拜占庭块火花检测/识别计数。

以真实数据取代仿真活动：337个已归档的ILRS月球激光测距标准点，覆盖五个后向反射器阵列，每个观测值按文件中记录的自身精密度加权。反射器坐标采用主轴系DE440星表，以独立文件名保存，与平均地球系DE430表分开；把其中一个送入另一个的旋转中，会使反射器偏移数百米而没有任何报错，因为两者都是格式正确的坐标。

月球参考站与用户之间的差分改正。共模抵消是精确恒等式；空间去相关残差是随基线增长的一阶几何模型，改正链路残差预算与其并列给出，使起限制作用的一项保持可见，而不是并入一个数字之中。

月球时间尺度下各时钟类别的交叉时间，即各类振荡器在没有更新的情况下何时不再满足给定界限，同时给出月球大地测量VLBI观测量及其对基准贡献的费希尔信息。

服务体积基于已发布的星座设计运行，而不是示意性设计：五颗卫星的LANS互操作性演示参考集，8、12和16颗卫星的LNCSS案例研究，以及来自JPL Horizons的2023-01-01当日实际在月球轨道上的四个航天器。每个文件都说明自身的坐标系和来源类别；超出列表星历末端的时间范围会被拒绝而不是外推；示意性的开普勒结果与检索得到的结果并列给出，并附两者之差，绝不以后者取而代之。

在真实的月球斜距上逐卫星计算干信比，并把有用信号一侧保持为分布而不是压缩为中位数，使拒止等值线带有中继几何实际产生的不确定度范围。两项判据并列报告：功率比阈值，以及由跟踪环动力学计算的失锁。轨道捕获覆盖区按发射机高度和波束宽度扫描；网格始终未达到临边捕获时，报告会如实说明并给出差额。

在基线乘历元的观测计划上，把月球VLBI时延偏导数累加为费希尔信息矩阵，并返回站坐标协方差，使从时延精密度到坐标标准差的这一步是估计出来的，而不是假定的。自由网与基准固定网并列报告，并指明其秩亏数和不可观测方向。表面点协方差与地球站协方差分开保存，因为近场信标偏导数是两个测站单位矢量之差，其表现与远场情形不同。

一个开放的深空与火星无线电测量导航引擎：迭代光行时加夏皮罗延迟，双向、单向和三向多普勒与测距（Moyer双程），相干转发器转换，再生式与PN测距以及 Δ-DOR；CCSDS-TDM输入输出；简化动力学平方根信息滤波器（经验加速度、星载时钟和火星大气阻力），在合成闭环中完成火星低轨定轨；单向加双向融合；以及带有端到端GSE性能仿真器的MARCONI火星静止中继星座。

故障注入使跨模态监测器具有检测功效，而不只是无故障时的通过：在给定的虚警和漏检预算下，给出每个轴的最小可检测偏差。切换之后，协方差的重新增长会对照告警限值向前传播，因此报告说明单一模态解保持在限值之内的时长，而不只是说明切换是连续的。光学与射频测距环节仅在积累时间和路径匹配时才进行比较，报告拒绝与选定而非实测的数值构成比值。

快照式和解分离式RAIM，含水平与垂直保护级（HPL/VPL）、故障检测与排除以及斯坦福完好性图；另有显式的完好性风险预算（MHSS）保护级，含双星座和多星座的全星座故障模式（EU ARAIM / DO-316）。

引擎的MHSS保护级对照欧美C工作组参考机载算法自身已发布的算例运行，每个算例都连同其检索URL、日期、页码和文件SHA-256一并转录，并保存在两处，由测试断言两者一致。验收向量是内部自洽的《参考机载算法描述文件》v3.1附录D。里程碑3报告含有两处内部缺陷：几何中的一处符号笔误，以及在57个故障模式下求值的虚警乘数，而正文称其为一个；因此其保护级按实测差异报告，而不予评定，这些缺陷通过运行该文件自身的数值加以演示。

采用DO-229E加权最小二乘形式的SBAS / WAAS保护级（精密进近和航路K因子），以及作为DO-316基础的L1/L5双频无电离层组合（IS-GPS-705）；保护级几何结构与参考线性代数实现交叉核对。

二态卡尔曼守时，含置信区间的阿伦族稳定度（ADEV / MDEV / TDEV / HDEV）和完整的IEEE-1139五系数幂律拟合，以及实用的传递方法：采用BIPM Sagnac闭式的TWSTFT、GNSS共视、PPP无电离层传递、带湍流闪烁的自由空间光链路，以及逆方差时钟集合时间尺度。GNSS拒止下的时钟守时（holdover）计算器把范洛恩滑行误差增长反演为守时至阈值时间，即时钟自由运行多久其钟差才超出预算，涵盖经典与量子时钟类别；结果由模型计算得出，并如实指出：对于非常稳定的时钟，达到严格阈值的守时时间取决于假定的长tau噪声底，而不是所引用的ADEV。

前向伪距 / 多普勒合成，电离层采用Klobuchar（广播）和IONEX / TEC格网（实测），包括IONEX文件解析器、时间内插和薄壳斜向倾斜映射；对流层采用Saastamoinen + Niell；以及快照式RAIM。

由真实RINEX码伪距加广播星历，经迭代加权最小二乘解算出真实接收机位置：含萨尼亚克 / 地球自转改正、带TGD的广播钟差、L1/L2双频无电离层组合（或单频Klobuchar）、Saastamoinen/Niell对流层、高度角加权、DOP以及快照式RAIM。

一个链路预算压制干扰模型（J/S → 有效C/N₀ → 失锁），一个随机时间欺骗干扰检测器（Neyman–Pearson / χ²₁ 能量检验，含蒙特卡罗P_fa/P_md以及等于1 − P_md的安全性能指标），以及一个融合RAIM一致性奇偶检验、射频AGC功率监测和信号质量（SQM）监测的多层欺骗干扰检测器。另有量子惯性航位推算误差预算：将冷原子干涉仪白噪声漂移与残余偏差（与独立积分器交叉核对）以及标度因子误差合成为守时期间的位置漂移数值，即时钟守时的惯性对应项。

位于链路预算与测量域之间的信号性能层：BPSK-R(n) 和正弦BOC(m,n) 的单位面积功率谱密度；由实际信号和干扰机频谱直接导出抗干扰Q（压制干扰模型所使用的量）的谱分离系数；决定测距信息量的RMS（Gabor）带宽（BOC > BPSK）；相干早迟DLL码跟踪热噪声抖动；带窄相关器抑制的相干早减迟多路径误差包络；以及测距码设计权衡（m序列 / Gold自相关旁瓣和三值Gold互相关界，外加码长到无模糊距离的反演）。这是信号性能分析，不是射频载荷或天线硬件设计。

利用接收机网络上的到达时间差双曲面，经高斯–牛顿最小二乘解算，定位压制干扰源或欺骗干扰源（或用于反向PNT的机会信号源）；加入到达频率差并使用移动接收机，可联合恢复辐射源的位置和速度，并由网络几何给出位置协方差上的克拉美–罗界。采用点源视线模型，不含多路径 / NLOS、接收机钟差或折射项。

多GNSS RINEX-3广播星历摄取（GPS、Galileo、QZSS、北斗、GLONASS），RINEX-3观测值解析器（RINEX 4.00观测值布局预期可解析，但尚未用其读取过任何4.00文件；RINEX 4导航文件按名称被拒绝），带拉格朗日内插的SP3-c/d精密星历读写器，面向飞行动力学工具（GMAT、Orekit、STK）的CCSDS OEM 2.0 + OMM（平均根数）导出，以及面向深空无线电测量跟踪的CCSDS-TDM（503）跟踪数据消息解析与生成。

一份从引擎自身生成（Markdown/CSV）的需求—模块—测试—参考基准（oracle）—状态交叉对照表，并带有经单元测试的诚实性不变式：仅当某行带有独立的外部参考基准（oracle）（NIST / AIAA / SOFA / IGS / 已发表的数值）时才可标注为已验证，因此内部自洽性检查不能冒充验证；Kshana不提供的硬件 / 功放能力则记录为合作方负责的缺口。这是ECSS-E-ST-10-02验证交叉对照的可执行骨架。

场景输出的每个数值字段都带有单位，以及取自封闭词表的来源类别，并在有定义时附带定义，作为机器可读的模式与引擎一同发布。一个逐级收紧的检查门会运行每种内置类型，对未带这些信息的字段判定失败；尚未完成的类型逐一列出，并说明各自仍未完成的原因，该清单只会缩短。自带常数的报告（单向链路预算、光学与射频预算）使读者仅凭报告本身即可重新计算要点数值。

一阶任务设计预算，每项都是可运行的场景：二体发射与上升几何（发射方位角、最小倾角、地球自转增益、转弯平面变轨 Δv、每日发射窗口数），Allen–Eggers弹道再入走廊（峰值减速度、峰值过载和峰值加热速度），对地观测覆盖几何（经SMAD空间三角形得到幅宽 / 星下点GSD / 偏离星下点可达性 / 重访），三自由度（3-DOF）姿态与指向误差预算（重力梯度力矩 + RSS指向预算），地面站过境预测（AOS/TCA/LOS、最大仰角、可达性），以及基于CCSDS 401 / DSN 810-005链路方程的单向链路预算（FSPL、C/N₀、Eb/N₀、余量、闭合）。这是位于STK/GMAT/Basilisk之下的硬件前期解析层：由模型计算得出的一阶预算，不能替代六自由度（6-DoF）或无线电测量分析。

输入接触计划和天线口径数量；输出导航占空比、通信占空比、逐会话中断与争用。仲裁策略在报告中明确写出，而不是隐含其中；无法被完全满足的会话会报告其损失的比例，而不是消失在平均值之中。

一个空间天气环境模型：太阳（F10.7 / 以81天为中心的F10.7a）和地磁（Kp，附定义性的Kp↔ap对照表）活动指数，由其驱动的Jacchia-1971外逸层温度，以及某一高度上经活动修正与静态热层中性密度的对比，即静态大气所忽略的太阳周期密度依赖。这是经标定的一阶标高耦合，不是经数据验证的NRLMSISE大气。

一个射频损伤检测评估试验台：带标签、参数有依据的合成语料（标称 / 压制干扰 / 时间欺骗 / 位置欺骗 / 多路径），一个与检测器无关的ROC/AUC测试框架，可对任意检测器评分，并给出目标Pfa下各类别的Pd，以及分布内与分布外的乐观性差距。更深入的乐观性差距研究将其扩展到13个检测器的组合（能量 / AGC / SQM / 奇偶，外加带随机种子的逻辑回归和单隐层MLP检测器）、带置换零假设的分布内与分布外缩放规律，以及分布外性能退化的留一法预测器；软件定义接收机前端（原始IQ/IF到相关器早 / 即时 / 晚抽头再到SQM）和真实数据摄取适配器（RINEX、u-blox UBX、GnssLogger、JammerTest、Yunnan、SatGrid）使同样的检测器可在本地提供的记录上运行。另有量子与经典PNT的权衡：对照经典基线，从实测ADEV曲线量化候选时钟的授时与惯性守时收益，并给出GNSS拒止下韧性随时间变化的包络。这是由模型计算得出的工作特性，绝不是现场 / IQ数据，也不给出好坏结论。

一张可复现的图，展示在参数不确定的情况下量子传感器在何处超过其经典对应物：冷原子对导航级航位推算，以及光学对芯片级时钟的守时，覆盖中断时长和平台振动范围，每条曲线都带有技术成熟度标签。可通过cargo run --bin crossover_study复现。这是由模型计算得出的性能预算，输入是已发表或有界的系数，不是飞行数据。

GNSS欺骗干扰下未检出钟差的守时受限界：给定独立的交叉核对，所提供时间的误差受k倍标准差的监测器下限、检测时延内的范洛恩滑行方差以及CUSUM报警时间所限定。在一次真实记录的欺骗干扰（JammerTest 2024）上标定，可通过cargo run --example tpl_jammertest复现。这是由模型计算得出的组合结果，以检测为条件；不存在有限的无条件界，因为足够缓慢的斜坡会躲过单一的时钟辅助监测器。

一个与框架对齐的评分引擎（DHS RPCF类别），把某个架构的仿真行为映射为各维度的子分数，然后检验任何单一的综合分数或成熟度等级是否构成稳定的决策依据：通过Dirichlet权重单纯形、Kendall-tau排序不稳定性、top-1胜者翻转率和共模多样性坍缩（Hill-N2），并给出带完整性哈希的保障报告。可通过cargo run --example resilience_report复现。由模型计算的合成架构，与RPCF v2.0对齐；这是一项自我评估，不是认证。

一座从漏检到完好性的桥梁：欺骗干扰 / 压制干扰 / RAIM检测被漏检后遗留的未检出偏差会放大有效位置误差，将其对照特定场景的告警限值，即被划入斯坦福-ESA完好性区域（可用 / 不可用 / 误导 / 危险）。其组合了有外部基准的RAIM斯坦福分类；不增加任何新的完好性数学。

单位覆盖成本投资回报视角：星座 / 架构权衡中每单位所交付覆盖的成本。覆盖部分组合了经独立外部参考基准核对的覆盖几何，其算术经过单元测试，但成本是用户输入，因此该比值是规划辅助，不是经外部验证的量（所以如实说明，没有验证徽章）。

一种带版本、自描述的封装，把场景结果连同其类型、模式版本以及由模型计算得出 / 经独立外部参考基准核对的标签一并包裹，使存储的产物保持自我说明，较旧的封装仍可向前兼容地读取。

根据船舶接收机和仪器已经输出的NMEA 0183，对船舶导航定位结果是否可信打分：逐历元、批量、实时或作为门限，给出0-100的分数、三个等级及其背后的原因。监测器将定位结果与船舶自身的运动、航向传感器、计程仪和卫星信号电平进行比较。仅供参考的软件，不是经型式认可的导航设备：责任仍由操作人员承担。监测器的算术已对照独立的库核对；评分规则和阈值是本项目自己的，仍属由模型计算得出。

为一次按脚本设定的航程写出合成的驾驶台NMEA 0183，其中包含教员编排的压制干扰、位置拖离、时间欺骗和重放事件，并附教员日志，使船员能在自己的仪器上看到劣化的定位结果是什么样子。仅为文本，绝不用于船舶的实时导航系统；不发射任何内容，也不产生任何无线电信号。语句及其解码值经过核对；接收机、天空和事件模型则是由模型计算得出。

基于公开许可的输入，生成逐日的GeoJSON地图，显示飞机（ADS-B）和船舶（AIS）在何处报告了劣化的导航数据，以及航线穿过劣化单元的比例。劣化单元只是关于所报告精度字段或不合理位置的陈述，不是存在干扰的结论；无人观测的单元也不能证明航线畅通。反映的是过去的报告，不是预报。

将信任度数据流导出为Prometheus指标、OpenTelemetry（OTLP/HTTP）以及经stdout、HTTP、UDP或TCP发送的CEF或LEEF系统日志事件，使安全运营中心能在其他告警旁边看到导航故障。采集器失效既不会使评估停滞，也不会无人察觉。Prometheus、OTLP和CEF由独立解析器回读核对；LEEF仅对照其自身规范核对。

把信任事件前后的时间窗口打包成哈希链接、Ed25519签名的包，任何人都可离线验证：文件被修改、删除、替换或添加、包被重新签名或固定的密钥有误，均会被指出。可选的RFC 3161时间戳令牌与其绑定。这是技术记录，不是法律意见、事实认定或证明。

把场景中的载体运动和事件写为CSV轨迹和NMEA 0183，供实验室GNSS模拟器使用：含地固、大地和局部速度列、姿态和UTC。仅限运动和事件：不写出信号，也不声称任何模拟器或接收机的性能。

仅按条款编号，把Kshana的输出对应到公开框架的条款（面向船舶的IMO指南、欧盟NIS2第21条、EN 16803、美国DHS韧性PNT框架以及EASA航空指南），依据你所提供的运行结果填写，并说明一组运行结果为哪些行提供证据支持（supports evidence for），同时给出每一行的差距。这不能据此认定任何框架已被满足，也不是任何一方的评级或批准。

一个开放的、纯Rust的接收机侧验证器，用于Galileo开放服务导航电文认证：它通过空间信号规范中的公钥、密钥链和标签检查，判断接收机能从I/NAV页面或u-blox UBX数据流认证哪些卫星的导航数据，并按卫星和按时间报告认证结果。它认证的是数据；不声称任何抗欺骗干扰性能。

当建筑物、码头、起重机或地形遮挡部分天空时，某地点能看见哪些卫星，以及这对精度因子（DOP）和水平误差椭圆有何影响。随方位角变化的天际线取代了单一的高度截止角；可见集合、其DOP和误差椭圆按历元和按星座给出。天际线只剔除视线卫星，别无其他：它不建模反射、不建模衍射，也不建模信号强度。

把街道峡谷、扇区和地形化简为天际线表，四个有代表性的预设（城市街道、港口进近、峡湾、集装箱码头），以及把它们组合成天空图和蒙特卡罗点云的函数，可通过CLI、MCP、Python和浏览器使用。这些预设是具有选定并已说明尺寸的代表性几何，不是实测勘测，并且这些化简仅对照手工计算的数值核对。

把卫星几何与接收机信任度评分并列，并为每一项扣分指明类别：信号丢失、几何不佳，或接收机所报DOP与由所见卫星导出的DOP之间不一致。只有在几何已知时才对其评判，标签是首要信息：只有几何不佳才会扣分。仅供参考的软件，不是经型式认可的导航设备。

一项可复现的研究，考察在公开假设下月球南极参考站能做什么：覆盖整个极区的覆盖与精度地图（改正与未改正位置误差的百分位数、附每个不可用历元原因的可用性、保护级和改正链路预算），在原子钟上保持月球时间基准的时间实验室，以及新增激光后向反射器和VLBI信标相对于五阵列基准的大地测量。每项输入都标明其公开来源，或标明为示意性。这不是对任何真实系统性能的陈述，Kshana与任何机构均无隶属关系。

大气处于路径上时，光学时间传递链路有多大比例的时间可用。对每个地面站，引擎给出晴空损耗、含伽马-伽马闪烁衰落和孔径平均的Hufnagel-Valley湍流状态、依据所述云气候相对于链路余量的可用性、任何余量都无法突破的上限、中断时长分布，以及中断给守时时钟造成的钟差。随后展示增加站点、加大口径、改用另一波长或采用自适应光学能带来什么。所附带的云气候是示意性的，不是实测的；输出仅供参考。

针对位于球面上（ICG空间服务体积手册的全球壳层）或位于从LEO到月球转移的开普勒轨迹上的航天器，按每个星座（GPS、GLONASS、Galileo、BDS、QZSS、NavIC）以及全部合计，统计C/N0阈值以上的信号：一路与四路信号的可用性、最长中断、接收C/N0、精度因子，以及主瓣与旁瓣链路对比。发射方向图取手册中的、参数化替代模型或由你提供的；临边射线电离层、等离子体层和大气模型以及弱信号接收机设计为可选；包含面向高轨和月球转移轨道的星载GNSS滤波器以及编队相对导航。MODELLED：在运行之前提交的预先登记之下与手册表格比较，最小辐射功率常数和月球判据一致，其余判据在预先登记的读法下为NOT MET（几乎全部源于手册中不一致的GLONASS波束角），并且参数化旁瓣替代模型不能复现实测的GPS面板方向图。

限制性三体模型中的五项研究：近直线晕轨道上的星载地球GNSS定轨，对照独立的地面测距与测距变率定轨；月面站与轨道器联合的载波相位整周模糊度固定（LAMBDA）；有无轨道器至月面测距时七参数月球基准的费希尔信息；GNSS、VLBI和激光测距相对于局部联测的偏移；以及对月球潮汐和天平动参数的敏感性。MODELLED，输入为示意性：数值部分已对照独立的numpy和scipy程序核对，物理部分未核对。在预先登记的判据之下，三项为NOT MET：注入的力误差未以所述比率检出（C3），自助法成功率与numpy参考基准相差1.7e-6，而判据为1e-9（Q3），且增加一类测距并不总是降低伪逆矩阵的迹（G3，迹的一半）。