mission-thread（场景类型）
引擎v0.40.0的场景类型，所属类别为任务链。仅供参考：研究与工程工具的分析输出，不是经型式认可的导航设备，也不是生命安全服务。此处的每个标签都来自引擎或验证矩阵；除非矩阵另有说明，一种类型即为MODELLED（标签如何获得：见README的证据一节）。
作用#
MODELLED的导航与授时误差预算，针对从发射到再入的一条给定任务阶段链：发射与上升、近地轨道交会对接（可重复）、地月转移入轨与地月空间巡航、月球轨道交会、下降、地表停留、上升以及返回与再入，每个阶段是八种已注册的类别之一，各有自己的传感器和滤波器。6x6协方差、时钟和坐标系按规定规则（沿用、膨胀或重新捕获）逐阶段传递；坐标系与时标的转换（GCRF、MCI、MCMF、UTC、TT、TDB、LTC）各自是预算行，月球状态取自可选的DE440星历截取，并以解析级数作为规定的备选。可选的地面网络叠加设定各阶段的跟踪占空。报告逐阶段预算（进入、峰值和退出时的1σ，每项贡献及其单位）、相对规定需求的余量、最薄弱环节、各事件和一幅时间线图。MODELLED：每个数值都是给定的输入；该链路遵循同一套体系，不对任何飞行器建模。仅使用公开资料；与任何机构无隶属关系，亦未获其背书；仅供参考的软件，不是经认证的导航设备。
运行一次scenarios/mission-thread-artemis-class.toml的摘要为：mission-thread | 11个阶段 | Artemis级任务链(ILLUSTRATIVE) | 最薄弱环节descent | MODELLED
输入#
来自模式（kshana kinds --json）：
- 必填字段：
epoch_utc、entry、phase - 可选字段：
kind、title、seed、moon_kernel_path、ground_network
示例scenarios/mission-thread-artemis-class.toml设置了以下内容等：
| 字段 | 取值 | 单位 |
|---|---|---|
entry.frame |
gcrf | 文本 |
entry.sigma_drift_s_per_s |
1.0000e-12 | s |
entry.sigma_pos_m |
10 | m |
entry.sigma_time_s |
1.0000e-7 | s |
entry.sigma_vel_mps |
0.01 | m/s |
entry.timescale |
utc | 文本 |
entry.x |
[5.2850e6, 1.8802e6, 3.0253e6, -137.105, 385.389, 0] | 未说明 |
epoch_utc |
2028-01-01T00:00:00Z | 文本 |
ground_network.handover_gap_s |
120 | s |
ground_network.min_elevation_deg |
10 | deg |
ground_network.phases[0].geometry |
moon-direction | 文本 |
ground_network.phases[0].phase |
cruise | 文本 |
运行#
kshana scenarios/mission-thread-artemis-class.toml给出什么#
该次运行的标量结果，单位为引擎所给出的单位：
| 结果 | 取值 | 单位 |
|---|---|---|
epoch_utc |
2028-01-01T00:00:00Z | 文本 |
evidence.id_rule |
矩阵行的稳定标识（ID | 文本 |
evidence.matrix |
docs/VERIFICATION-MATRIX.md | 文本 |
evidence.tier |
MODELLED | 文本 |
schema |
kshana-mission-thread/1 | 文本 |
seed |
20261024 | 1 |
weakest_link.basis |
相对规定需求的最小余 | 文本 |
weakest_link.limiting_source |
惯性漂移，无辅助，东向 | 文本 |
weakest_link.margin |
1.213087 | 1 |
weakest_link.phase_id |
descent | 文本 |
结果标签（引擎给出的）：MODELLED
证据#
MODELLED：列出此类型的验证矩阵各行。
- MODELLED
mission-thread类型：由多个阶段组成的文档，每个阶段是八种已注册类型之一，按顺序运行，6x6协方差、时钟和坐标系依所述规则向后交接（carry；inflate，对所述间隔施加白加速度噪声 测试：field_units_global.rs。 - MODELLED
launch-ascent阶段：带白加速度噪声的匀速位置与速度协方差（航位推算级），在获取时间之后且不在规定衰落期内施加规定精度的GNSS定位，一个偏置与 - MODELLED
leo-rendezvous阶段：目标LVLH轴系中的相对状态，采用闭式Clohessy-Wiltshire转移，带白加速度噪声的6x6卡尔曼协方差，以及方差为当前传感器方差的位置更新 - MODELLED
tli-and-cruise阶段：平均状态由引擎的Cowell传播器给出（地球点质量和J2、作为第三体的太阳和月球；月球取自任务链的DE440星历文件（在其覆盖该航段时），太阳取自解析级 - 矩阵中另有4项。
本次运行实际涉及的各行，以及矩阵为每行给出的参考基准（oracle）（公开来源在矩阵中列出）：
- MODELLED确定性、场景哈希、SBOM加跨平台golden门限。参考基准（ExternalDataset）：SBOM与官方CycloneDX 1.5 JSON Schema（加有效的SPDX标识符）一致，这是已发布的外部标准，整个依赖图上零验证错误；FoM确定性与逐字节可复现性部分仍是固定的自洽性检查，因此该行仍为MODELLED
- MODELLED
mission-thread类型：一份由若干阶段组成的文档，每个阶段是八种已注册类别之一，依次运行，6x6协方差、时钟和坐标系传递下去。参考基准（InternalConsistency）：测试中的手算（直线协方差增长、平均恒星自转、长期月球时钟速率），以及仅针对月球状态，已提交的DE440星历截取对照固定的JPL Horizons数值（最差2.6 m和7e-6 m/s）。没有任何任务数据与该链路作比较；其各阶段是各自独立的行。该文档是一条给定的链路，输入为ILLUSTRATIVE，仅使用公开资料，且不涉及任何机构 - MODELLED
launch-ascent阶段：带白加速度噪声的匀速位置与速度协方差（航位推算级），规定精度的GNSS定位。参考基准（InternalConsistency）：测试中的Riccati稳态和预测的手算。这里没有对运载火箭或接收机建模；每个数值都是给定的输入 - MODELLED
leo-rendezvous阶段：目标LVLH轴系中的相对状态，采用闭式Clohessy-Wiltshire转移，带白加速度噪声的6x6卡尔曼协方差。参考基准（InternalConsistency）：测试中对预测与更新的单轴手算；Clohessy-Wiltshire转移即cw_dynamics对照独立数值积分所检验的那一个。传感器为ILLUSTRATIVE，没有与任何真实交会作比较 - MODELLED
tli-and-cruise阶段：平均状态由引擎的Cowell传播器给出（地球点质量和J2，太阳和月球作为第三体，月球取自该。参考基准（InternalConsistency）：测试中的Liouville定理（保守部分的状态转移矩阵行列式为一）和更细的差分；平均状态与下一行中的公开轨迹作了比较，二者不符。点火误差、更新和协方差没有与任何东西作比较
局限#
本次运行自身的报告所说的未建模或未经独立验证的内容：
- MODELLED的导航与授时误差预算，针对从发射到再入的一条给定任务阶段链：发射与上升、近地轨道交会对接（可重复）、地月转移入轨与地月空间巡航、月球轨道交会、下降、地表停留、上升以及返回与再入，每个阶段是八种已注册的类别之一，各有自己的传感器和滤波器。（类型目录（
kshana kinds --json）） - MODELLED：每个数值都是给定的输入；该链路遵循同一套体系，不对任何飞行器建模。（类型目录（
kshana kinds --json）） - 诚实说明。这里的每个数值都是ILLUSTRATIVE的：为使链路运行而选取的整数值，不是任何飞行器、传感器、站点或网络的性能。该链路遵循同一套体系，作为给定的简化；不对飞行器更换、乘员转移和月球轨道站建模，月球轨道取月球类型所飞的100 km圆轨道和极轨道（不是近直线晕轨道），TLI点火为（场景文件注释，第11至17行）
- 可复现性与软件保障为MODELLED，而不是经独立验证：其中一项子声明经过外部核对，但整项能力由模型计算的部分组合而成，因此该能力仍属于由模型计算得出一级。（验证矩阵（docs/MODELLED-RATIONALE.md））
- 从发射到再入的任务阶段链的导航与授时误差预算（
mission-thread）为MODELLED，而不是经独立验证：它对照自身的闭式或解析恒等式进行检查，能发现转录错误和系数错误，但不是外部参考基准（oracle）。（验证矩阵（docs/MODELLED-RATIONALE.md）） - 带GNSS获取与衰落的发射与上升至停泊轨道（
launch-ascent）为MODELLED，而不是经独立验证：它对照自身的闭式或解析恒等式进行检查，能发现转录错误和系数错误，但不是外部参考基准（oracle）。（验证矩阵（docs/MODELLED-RATIONALE.md）） - 近地轨道上沿传感器区段到达对接包络的相对导航（
leo-rendezvous）为MODELLED，而不是经独立验证：它对照自身的闭式或解析恒等式进行检查，能发现转录错误和系数错误，但不是外部参考基准（oracle）。（验证矩阵（docs/MODELLED-RATIONALE.md）） - 地月转移入轨与地月空间巡航：带跟踪更新的传播平均状态与协方差（
tli-and-cruise）为MODELLED，而不是经独立验证：它对照自身的闭式或解析恒等式进行检查，能发现转录错误和系数错误，但不是外部参考基准（oracle）。（验证矩阵（docs/MODELLED-RATIONALE.md））
另请参阅#
- 类别页面：任务链
- 所有类型：KINDS.md
- 主题页面：MISSION-THREAD.md
- 主题页面：MISSION-THREAD-LUNAR.md