holdover-test（场景类型）
引擎v0.40.0的场景类型，所属类别为时钟、授时与守时。仅供参考：研究与工程工具的分析输出，不是经型式认可的导航设备，也不是生命安全服务。此处的每个标签都来自引擎或验证矩阵；除非矩阵另有说明，一种类型即为MODELLED（标签如何获得：见README的证据一节）。
作用#
MODELLED的授时系统守时（holdover）测试，依据由操作人员提供的钟差记录（时间误差记录）评分（linuxptp的ptp4l、phc2sys或ts2phc日志，chrony的tracking或statistics日志，TICC、TimeLab或RINEX钟日志，或time_s,time_error_ns数据对）。该测试分四步，Kshana一步也不执行：已锁定的基线，由操作人员在所述时刻移除GNSS（天线电缆或模拟器输出；Kshana不发射、也不驱动任何东西），系统凭自身振荡器守时，以及操作人员在第二个所述时刻恢复GNSS后的恢复。记录在这两个时刻处被切分。基线：钟差统计量以及针对已锁定时钟编写的ITU-T模板。守时：统计量、系统保持的分数频率偏移（最小二乘直线）、针对守时或自主时钟编写的模板、由所述已锁定时长得出的ePRTC-A守时包络，以及超出各钟差预算的时间。恢复：|TE| 是否以及何时进入所述范围并保持在其中，峰值与最大阶跃。每一项限值均转录自公开的ITU-T表格（电信授时模板）；用语为“对照模板测得”，这两个时刻是操作人员的陈述，未经验证。对于某个模板而言过短的记录为INCOMPLETE，绝不外推。参见docs/TIMING-HIL.md。
scenarios/holdover-test-ptp4l.toml的一次运行汇总为：holdover-test: holdover 1795 s, max|TE| 59.0 ns; prtc-a PASS, eprtc-a-holdover FAIL; recovered 0 s after GNSS returned (MODELLED, measured against the mask)
输入#
来自模式（kshana kinds --json）：
- 必填字段：
test、series - 可选字段：
masks、budgets
示例scenarios/holdover-test-ptp4l.toml设置了以下内容等：
| 字段 | 取值 | 单位 |
|---|---|---|
kind |
holdover-test | 文本 |
masks |
[prtc-a, eprtc-a-holdover] | 未说明 |
series.clock_log.format |
ptp4l | 文本 |
series.clock_log.text |
ptp4l[1000.000]: master offset -4 s2 freq + 1200 pa | 文本 |
test.gnss_removed_s |
600 | s |
test.gnss_restored_s |
2400 | s |
test.locked_duration_days |
5 | d |
test.recovery_band_ns |
100 | ns |
test.recovery_dwell_s |
60 | s |
运行#
kshana scenarios/holdover-test-ptp4l.toml有2个内置场景使用此类型；其余的在scenarios/中。
给出什么#
该次运行的标量结果，单位为引擎所给出的单位：
| 结果 | 取值 | 单位 |
|---|---|---|
clock_log.clock |
master | 文本 |
clock_log.data |
phase | 文本 |
clock_log.format |
ptp4l | 文本 |
clock_log.gap_policy |
refuse | 文本 |
clock_log.n_duplicates |
0 | 1 |
clock_log.n_gaps |
0 | 1 |
clock_log.n_grid |
600 | 1 |
clock_log.n_interpolated |
0 | 1 |
clock_log.n_missing |
0 | 1 |
clock_log.n_off_grid |
0 | 1 |
引擎给出的结果标签：MODELLED — 依据操作人员提供的钟差记录评分的守时测试。每一项限值均转录自所指明的公开ITU-T建议书，结果是对照模板测得的；它不说明任何时钟或系统是否满足某项建议书，也无人对其评级或批
证据#
MODELLED：列出此类型的验证矩阵各行。
- MODELLED
holdover-test类型：钟差记录（linuxptp、chrony、TICC、TimeLab或RINEX钟日志，或time_s,time_error_ns数据对）在操作人员给出的GNSS移除与恢复这两个时刻处被切分为基线、守时
本次运行实际涉及的各行，以及矩阵为每行给出的参考基准（oracle）（公开来源在矩阵中列出）：
- MODELLED确定性、场景哈希、SBOM加跨平台golden门限。参考基准（ExternalDataset）：SBOM与官方CycloneDX 1.5 JSON Schema（加有效的SPDX标识符）一致，这是已发布的外部标准，整个依赖图上零验证错误；FoM确定性与逐字节可复现性部分仍是固定的自洽性检查，因此该行仍为MODELLED
- VALIDATED
telecom-timing场景类型报告的最大时间间隔误差与时间偏差，针对电信量级的守时记录：O(n) 单调队列滑动。参考基准（oracle，ExternalDataset）：allantools 2024.06——独立的第三方频率稳定度库——对tests/fixtures/telecom_timing/holdover_te_series.csv调用mtie() 与tdev()，两侧均由同一份17位有效数字的文本解析出序列；该参考基准记录了序列的SHA-256，并可通过tests/fixtures/telecom_timing/generate_telecom_timing_reference.py离线重新生成。验证的是该记录上的估计器，而非合成 - MODELLED转录自ITU-T G.8272（07/2025）PRTC-A/B、G.8272.1（2024）Amd. 1（07/2025）ePRTC锁定与ePRTC-A守时（包括Table 3的钟差包络。参考基准（oracle，InternalConsistency）：对所指明建议书的转录（可从itu.int免费下载），每项限值均注明其表格或条款，所有未确认或未实现的项目列于docs/TELECOM-TIMING.md；各表所蕴含的断点连续性恒等式在测试中核对。这是附带内部自洽检查的标准转录，不是一致性测试，也不是外部验证。0.30第2轮（预先登记
- MODELLED
holdover-test类型：钟差记录（linuxptp、chrony、TICC、TimeLab或RINEX钟日志，或time_s,time_error_ns数据对）在两个时刻处。参考基准（oracle，InternalConsistency）：对由公式构造的记录进行手工计算，其斜率、阶跃、极值和恢复时间在运行前即已知（测试中写明了它们），以及上述telecom-timing各行的模板、包络和预算。没有对真实守时进行实验室测量评分，也没有与外部参考基准作比较，因此该类型不对任何时钟或系统作出声明；在对任何按时钟等级的结论之前需要授时实验室合作方
局限#
本次运行自身的报告所说的未建模或未经独立验证的内容：
- MODELLED — 依据操作人员提供的钟差记录评分的守时测试。每一项限值均转录自所指明的公开ITU-T建议书，结果是对照模板测得的；它不说明任何时钟或系统是否满足某项建议书，也无人对其评级或批准。移除和恢复GNSS的时刻是操作人员的陈述，未经验证。仅供参考的软（结果
label） - MODELLED的授时系统守时测试，依据由操作人员提供的钟差记录评分（linuxptp的ptp4l、phc2sys或ts2phc日志，chrony的tracking或statistics日志，TICC、TimeLab或RINEX钟日志，或time_s,time_error_ns数据对）。（类型目录（
kshana kinds --json）） - 可复现性与软件保障为MODELLED，而不是经独立验证：其中一项子声明经过外部核对，但整项能力由模型计算的部分组合而成，因此该能力仍属于由模型计算得出一级。（验证矩阵（docs/MODELLED-RATIONALE.md））
- 带PASS/FAIL与裕量的ITU-T电信同步模板为MODELLED，未经独立验证：它是对照自身的闭式/解析恒等式检查的，能发现转录和系数错误，但不是外部参考基准（oracle）。（验证矩阵（docs/MODELLED-RATIONALE.md））
- 依据操作人员提供的钟差记录评分的守时测试为MODELLED，未经独立验证：它是对照自身的闭式/解析恒等式检查的，能发现转录和系数错误，但不是外部参考基准（oracle）。（验证矩阵（docs/MODELLED-RATIONALE.md））
另请参阅#
- 类别页面：时钟、授时与守时
- 所有类型：KINDS.md
- 主题页面：TIMING-HIL.md
- 主题页面：HARDWARE-SAFETY.md