telecom-timing（场景类型）
引擎v0.40.0的场景类型，所属类别为时钟、授时与守时。仅供参考：研究与工程工具的分析输出，不是经型式认可的导航设备，也不是生命安全服务。此处的每个标签都来自引擎或验证矩阵；除非矩阵另有说明，一种类型即为MODELLED（标签如何获得：见README的证据一节）。
作用#
电信授时：GNSS守时（holdover）的钟差、最大时间间隔误差（MTIE）和时间偏差（TDEV），对照ITU-T模板检查，每个模板给出PASS或FAIL及余量。输入为以下两种之一：一是合成守时（SYNTHETIC HOLDOVER，即某个振荡器预设——ocxo、铷、铯或csac，每种都带有某份具名的Microchip公开数据手册中的稳定度、老化和温度数据——加上GNSS丢失时间、记录长度和采样间隔；自由运行的时钟带有白频率噪声、闪烁频率噪声，以及数据手册拟合需要时的随机游走频率噪声，另有线性老化和正弦温度项），二是摄入的序列（INGESTED SERIES，即内联给出的 [time_s, time_error_ns] 数据对，仅在原生构建中还可使用CSV文件）。模板：ITU-T G.8272（07/2025）PRTC-A和PRTC-B（max|TE| 分别为100 / 40 ns，MTIE表1-2，TDEV表3-4）；G.8272.1（2024）Amd. 1（07/2025）ePRTC锁定（30 ns，表1-2）和ePRTC-A守时（表3的时间误差包络，在由锁定时长设定的守时期H内从30 ns上升到100 ns，MTIE表4，TDEV表5）；G.8273.2（2023）Amd. 2（11/2025）T-BC/T-TSC A-C类（max|TE|、恒定时间误差、低通滤波后的MTIE和TDEV）以及D类（max|TE_L| 5 ns，这是D类中唯一未留待进一步研究的数值）；G.8271.1（2022）Amd. 3（05/2025）参考点C（max|TE_L| 分别为1100 / 600 / 100 ns，MTIE表7-1至7-3）。凡建议书标注为留待进一步研究的条目一律缺省，不予填补，每份报告都会列出未实现的内容。还报告超出各最大时间误差预算所需的时间（默认值：100 ns为ePRTC max|TE_HO|，400 ns为网络守时分配，1100 ns为C点，1.5 us为4类）、附有各模板限值的CSV表形式的MTIE/TDEV曲线，以及每个数值字段的单位与出处条目。VALIDATED：MTIE和TDEV估计器已在一条已提交的守时序列上与allantools软件包核对一致。MODELLED：模板表是转录而来，合成守时是依据数据手册最大值构建的模型，而非对任何设备的测量。不是一致性测试。
scenarios/telecom-synce-eec.toml的一次运行汇总为：telecom-timing: max|TE| 488.2 ns over 12000 s; g8262-eec-option-1 FAIL, g8262-eec-option-2 FAIL, g8262-1-eeec FAIL (MODELLED)
输入#
来自模式（kshana kinds --json）：
- 必填字段：无
- 可选字段：
seed、masks、budgets、holdover、series
示例scenarios/telecom-synce-eec.toml设置了以下各项（节选）：
| 字段 | 取值 | 单位 |
|---|---|---|
budgets |
[]（无元素） | 未说明 |
holdover.duration_s |
12000 | s |
holdover.gnss_loss_s |
0 | s |
holdover.initial_frequency_offset |
0 | 1 |
holdover.locked_te_sigma_ns |
0 | ns |
holdover.oscillator |
ocxo | 文本 |
holdover.sample_interval_s |
1 | s |
holdover.temperature_amplitude_k |
0 | K |
holdover.temperature_period_s |
86400 | s |
kind |
telecom-timing | 文本 |
masks |
[g8262-eec-option-1, g8262-eec-option-2, g8262-1-eeec] | 未说明 |
seed |
20260925 | 1 |
运行#
kshana scenarios/telecom-synce-eec.toml有3个内置场景使用此类型；其余的在scenarios/中。
给出什么#
该次运行的标量结果，单位为引擎所给出的单位：
| 结果 | 取值 | 单位 |
|---|---|---|
evidence.id_rule |
矩阵行的稳定标识（ID | 文本 |
evidence.matrix |
docs/VERIFICATION-MATRIX.md | 文本 |
evidence.tier |
MODELLED | 文本 |
holdover.aging_te_at_end_ns |
125 | ns |
holdover.deterministic_te_at_end_ns |
125 | ns |
holdover.gnss_loss_s |
0 | s |
holdover.holdover_duration_s |
12000 | s |
holdover.initial_frequency_offset |
0 | 1 |
holdover.locked_te_sigma_ns |
0 | ns |
holdover.temperature_amplitude_k |
0 | K |
结果标签（引擎给出）：MODELLED — 对照转录的ITU-T模板检查钟差、MTIE和TDEV。估计器已与allantools核对一致；模板表是对所列建议书的转录；合成守时是依据公开数据手册数据构建的模型，而非对任何设备的测量。不是一
证据#
MODELLED 5 · VALIDATED 1：点名此类型的验证矩阵行。
- VALIDATED
telecom-timing场景类型在电信级守时记录上报告的最大时间间隔误差和时间偏差：采用O(n) 单调队列滑动窗口MTIE（telecom_timing::mtie_sliding，其作用是使一天的每秒采样 测试：telecom_timing_reference.rs。 - MODELLED转录的ITU-T G.8272（07/2025）PRTC-A/B、G.8272.1（2024）Amd. 限值。测试：telecom_timing_reference.rs。
- MODELLED为
telecom-timing类型提供的七个恒温MTIE与TDEV漂移产生模板：G.811（09/1997）PRC（自主）、G.812（06/2004）I、II和III型、G.8262（10/2024）EEC选项1和2，以及G.8262.1（11/2025）eEEC（锁定 - MODELLED clock_log::read_input：一个解析层，把RINEX钟文件（某一指定时钟的AS/AR记录，版本2以及3.00至3.04）、TimeLab式ASCII相位或频率日志，或TAPR TICC时间戳或间隔日志转换为统一的相位 测试：clock_log_allantools.rs。
- 矩阵中另有2项。
本次运行实际涉及的各行，以及矩阵为每行给出的参考基准（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四种预设——OCXO（Microchip OX-208）、铷（Microchip 8040C）、铯（Microchip 5071A高性能管）和CSAC（Microchip SA.45s）——各自带有。参考基准（oracle，InternalConsistency）：输入数据取自四份具名的Microchip数据手册（文档编号和URL见每个预设以及docs/TELECOM-TIMING.md）；闭式老化斜坡及拟合的包络性质作为内部检查。这些数据如何转化为噪声模型——拟合、下限规则、30天月、线性温度读数——属于建模选择；没有任何预设是对某台设备的测量。0.30 round 2，单侧判据与
局限#
本次运行自身的报告所说的未建模或未经独立验证的内容：
- 建议书标注为“留待进一步研究”的所有要求（超出max|TE_L| 的D类、ePRTC-B守时、两路输入均丢失时的T-BC/T-TSC守时、TDEV网络限值，以及超过10,000 s的ePRTC-A守时MTIE和TDEV）（结果
not_implemented[0]） - 高通滤波后的动态时间误差（dTE_H，G.8273.2表7-7以及G.8271.1第7.3.2-7.3.3条）（结果
not_implemented[1]） - G.8273.2表7-6的变温MTIE，以及G.8273.2表7-10的物理层辅助守时MTIE（结果
not_implemented[2]） - 两路输出之间的相对时间误差（cTE_R、dTE_R,L）（结果
not_implemented[3]） - G.8272和G.8272.1针对PTP接口规定的滑动平均分组滤波器：该序列被视为每秒一个脉冲的时间间隔误差（结果
not_implemented[4]） - MODELLED — 对照转录的ITU-T模板检查钟差、MTIE和TDEV。估计器已与allantools核对一致；模板表是对所列建议书的转录；合成守时是依据公开数据手册数据构建的模型，而非对任何设备的测量。不是一致性测试。（结果
label） - MODELLED：模板表是转录而来，合成守时是依据数据手册最大值构建的模型，而非对任何设备的测量。（类型目录（
kshana kinds --json）） - 时钟：OCXO预设（Microchip OX-208数据手册，Rev 12-1-2021），自第一个采样起自由运行，白频率噪声、闪烁频率噪声以及（拟合需要时的）随机游走频率噪声均按数据手册的阿伦偏差最大值拟合，并带有其线性老化。温度保持恒定（幅度0 K），与模板的假设一致。（场景文件注释，第12至15行）
另请参阅#
- 类别页面：时钟、授时与守时
- 所有类型：KINDS.md
- 专题页面：CLOCK-LOG-FORMATS.md
- 主题页面：LEO-PNT.md