lunar-time-budget（场景类型）

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

作用#

MODELLED的端到端协调月球时（LTC）时间误差预算：把七项LTC误差项组装为遍及整个平均时间网格的时间误差曲线x_i(τ)，开方求和成x_Σ(τ)，并给出时钟与框架的交叉点（CROSSOVER）τ，在该处不断增长的时钟项超过恒定的实时框架实现项（低于它时预算受框架限制，高于它时受时钟限制）——这是对单一 τ 这一人为结果的如实回答。τ 斜率是闭式的，可以解析检查（时钟 τ^{+1/2}/τ^{+1}，底限 τ^0，测量 τ^{-1/2}），时钟各行复现已发布的一天时钟规格（crate::clock_specs）；射频/光学链路、框架实现、相对论残差和星历底限的量值（MAGNITUDES）是由模型计算的预算分配（有文档记载的默认值，调用者可覆盖），不是测量值。其贡献是可复现的交叉点 τ，而不是经认证的逐项数值；也未获准用于实际守时业务。

scenarios/lunar-time-budget.toml的一次运行概括如下：lunar-time-budget | 时钟passive-h-maser | 在57个 τ 点（1–1e7 s）上的7项x_Σ(τ) | 交叉点 τ 8.689e4 s（x 1.001e-9 s）| 框架底限1.001e-9 s | 时钟x(1 d) 0.995 ns（MODELLED）

输入#

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

• 必填字段：无
• 可选字段：clock、tau_min_s、tau_max_s、points_per_decade、clocks、time_lab

示例scenarios/lunar-time-budget.toml设置了下列内容等：

运行#

kshana scenarios/lunar-time-budget.toml

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

给出什么#

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

结果标签（引擎给出）：MODELLED的端到端LTC时间误差预算。τ 斜率是闭式的，可以解析检查（时钟 τ^{+1/2}/τ^{+1}，底限 τ^0，测量 τ^{-1/2}），时钟各行复现已发布的一天时钟规格；射频/光学链路、框架实现、相对论残差和星历底

证据#

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

• MODELLED一次lunar-time-budget运行针对每个时钟等级，对照同一个共用的框架项，输出一行时钟与框架的交叉点，因此时钟是比较中唯一的变量；每一行带有以两种方式得到的交叉点——由通用
• MODELLED lunar-time-budget场景中可选的 [time_lab] 块模拟一台月面参考站时钟（默认为miniRAFS等级，或任何具名等级，或按给定稳定度点拟合的器件卡），并将其校准到协调月球时 测试：lunar_station_time_lab.rs。

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

• MODELLED确定性、场景哈希、SBOM加跨平台golden门限。参考基准（ExternalDataset）：SBOM与官方CycloneDX 1.5 JSON Schema（加有效的SPDX标识符）一致，这是已发布的外部标准，整个依赖图上零验证错误；FoM确定性与逐字节可复现性部分仍是固定的自洽性检查，因此该行仍为MODELLED
• MODELLED一次lunar-time-budget运行针对每个时钟等级，对照同一个共用的框架项，输出一行时钟与框架的交叉点，因此时钟是比较中唯一的变. 参考基准（oracle，InternalConsistency）：对同一个量的两种不同的代码库内计算，而不是同一计算的重述：对IEEE-1139幂律曲线作二分，不知道噪声类型，而闭式则以代数方式反解占主导的类型，因此噪声类型分类错误或括号区间不当会表现为不小的相对差异。这四个数值也复现了论文已发表表格，一致到其最后一位打印数字的一半——但那张表是它自己的
• MODELLED lunar-time-budget场景把其数组型输出以长格式（网格索引、平均时间、项）表格的形式与报告一并发布，因此七项逐. 参考基准（oracle，InternalConsistency）：仅为自洽性：所发布的总量对照同一文件中各项的平方和开方检查，所输出的曲线在全部57个点上复现已发布的p3_time_budget_curve.csv。这两项检查共用本引擎自己的项定义，因此都不是独立的。时钟项以已发布的时钟规格为依据，但链路、框架、相对论和星历底限的量值（MAGNITUDES）是有文档记载的

局限#

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

• MODELLED的端到端LTC时间误差预算。τ 斜率是闭式的，可以解析检查（时钟 τ^{+1/2}/τ^{+1}，底限 τ^0，测量 τ^{-1/2}），时钟各行复现已发布的一天时钟规格；射频/光学链路、框架实现、相对论残差和星历底限的量值（MAGNITUDES）是由模型计算的预算分配（有文档记载的默认值，调用者可覆盖），不是测量值。其贡献（结果label）
• MODELLED的端到端协调月球时（LTC）时间误差预算：把七项LTC误差项组装为遍及整个平均时间网格的时间误差曲线x_i(τ)，开方求和成x_Σ(τ)，并给出时钟与框架的交叉点（CROSSOVER）τ，在该处不断增长的时钟项超过恒定的实时框架实现项（低于它时预算受框架限制，高于它时受时钟限制）——这是对单一 τ 人为结（类型目录（kshana kinds --json））
• 诚实说明：MODELLED。tau斜率是闭式的，可以解析检查（时钟tau^{+1/2}或tau^{+1}，底限tau^0，测量tau^{-1/2}），时钟各行复现已发布的一天时钟规格；但射频/光学链路、框架实现、相对论残差和星历底限的量值（MAGNITUDES）是由模型计算的预算分配（有文档记载的默认值，调用者可覆盖），不是测量值。其贡献是（场景文件注释，第13至18行）
• 可复现性与软件保障为MODELLED，而不是经独立验证：其中一项子声明经过外部核对，但整项能力由模型计算的部分组合而成，因此该能力仍属于由模型计算得出一级。（验证矩阵（docs/MODELLED-RATIONALE.md））
• 按时钟等级的月球时间交叉点表为MODELLED，而非已与独立的外部参考基准核对：对照其自身的闭式/解析恒等式检查——可发现转录和系数错误，但不是外部参考基准。（验证矩阵（docs/MODELLED-RATIONALE.md））
• 月球时间误差预算的可复现性为MODELLED，而非已与独立的外部参考基准核对：对照其自身的闭式/解析恒等式检查——可发现转录和系数错误，但不是外部参考基准。（验证矩阵（docs/MODELLED-RATIONALE.md））

另请参阅#

• 类别页面：月球与地月空间
• 所有类型：KINDS.md
• 专题页面：LUNAR-REFERENCE-STATION.md
• 专题页面：integrations.md