`quantum-time-transfer`（场景类型）

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

作用#

MODELLED的可信量子授时链：端到端的量子（光晶格钟 + 纠缠/单光子链路）对经典（CSAC + 射频双向）时间传递预算、复用的授时保护级、延迟/重放攻击的安全性能指标（1-P_md）、时钟异常检测概率与CUSUM延迟，以及作为如实TradeEvidence并附代表性说明与距飞行差距记录的量子对经典权衡。示意性的公开来源器件/链路参数；对该类别建模，不声称有TRL/飞行/认证。

输入#

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

必填字段：无
可选字段：integration_s、dissemination_interval_s、link_loss_db、classical_link_sigma_s、monitor_pfa、attack_delay_s、clock_fault_sigma

示例scenarios/quantum-time-transfer.toml设置了以下内容等：

字段	取值	单位
`attack_delay_s`	5.0000e-9	s
`classical_link_sigma_s`	1.0000e-9	s
`clock_fault_sigma`	4	未说明
`dissemination_interval_s`	100	s
`integration_s`	1	s
`kind`	quantum-time-transfer	文本
`link_loss_db`	30	dB
`monitor_pfa`	0.001	1

运行#

kshana scenarios/quantum-time-transfer.toml

给出什么#

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

结果	取值	单位
`anomaly_cusum_latency_s`	2	s
`anomaly_pd`	0.760985	1
`classical_chain_sigma_s`	5.2915e-9	s
`evidence.id_rule`	矩阵行的稳定标识（ID	文本
`evidence.matrix`	docs/VERIFICATION-MATRIX.md	文本
`evidence.tier`	PARTNER	文本
`monitor_pfa`	0.001	1
`protection_level_ns`	555.239402	ns
`quantum_chain_sigma_s`	1.2332e-12	s
`quantum_link_rate_hz`	4900	Hz

引擎为scenarios/quantum-time-transfer.toml（类型quantum-time-transfer）绘制的图表

证据#

验证矩阵中没有任何一行按名称列出此类型；其结果上的标签是引擎自己的，见上文。

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

VALIDATED表格式CUSUM检测器的最坏情形检测延迟（⌊h/(z−k)⌋+1）与失控平均运行长度，用于授时保护级和欺骗监测器。参考基准（ExternalDataset）：已发表的表格式CUSUM ARL：Siegmund（1985）布朗运动近似（Hawkins与Olwell 1998，式3.7），并与Montgomery《Introduction to Statistical Quality Control》（Wiley）中k=½、h∈{4,5}的ARL表交叉锚定；确定性延迟与首次通过参考基准完全一致。组合的TPL界仍为MODELLED
MODELLED双向/TWSTFT（Sagnac）、GNSS共视、PPP；链路抖动→距离。参考基准（oracle，ExternalDataset）：Sagnac量级对照权威的已发表值核对——N. Ashby，“Relativity in the GPS”，Living Reviews in Relativity 6:1（2003），Eq. 1.29：向东环绕赤道一周累积207.4 ns（2ωA_E/c²）；kshana复现为207.386 ns。RTKLIB 2.4.3的geodist()（Takasu，BSD-2-Clause）独立地予以佐证，它带有相同的2Aω/c² 几何。复合的BIPM TWSTFT转发器/共视/
MODELLED确定性、场景哈希、SBOM加跨平台golden门限。参考基准（ExternalDataset）：SBOM与官方CycloneDX 1.5 JSON Schema（加有效的SPDX标识符）一致，这是已发布的外部标准，整个依赖图上零验证错误；FoM确定性与逐字节可复现性部分仍是固定的自洽性检查，因此该行仍为MODELLED
PARTNER不提供——仅有性能模型；冷原子/时钟硬件由合作方负责。参考基准（oracle，NoneKind）：无：由合作方负责的领域，按设计既没有模块也没有测试
MODELLED一个可复现的TradeEvidence对象（固定框架：场景+随机种子+引擎；共同的逐性能指标量子对经典取值，带极性正确的收益，可选的95%. 参考基准（InternalConsistency）：闭式的收益/胜者恒等式，以及对现有quantum_trade::TradeResult的忠实封装；诚实性与代表性台账（ledger）及验证标签绑定

局限#

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

MODELLED的可信量子授时链：端到端的量子（光晶格钟 + 纠缠/单光子链路）对经典（CSAC + 射频双向）时间传递预算、复用的授时保护级、延迟/重放攻击的安全性能指标（1-P_md）、时钟异常检测概率与CUSUM延迟，以及作为如实TradeEvidence并附代表性说明与距飞行差距记录的量子对经典权衡。（类型目录（kshana kinds --json））
可信量子授时：端到端时间传递链、安全分发、异常检测，以及量子对经典的权衡。MODELLED；示意性的公开来源器件/链路参数；对该类别建模，不作TRL/飞行声明。（场景文件注释，第1至3行）
时间传递误差预算为MODELLED，未经独立验证：某个子论断已有外部核对，但整个能力由模型计算的部分组合而成，因此该能力仍属“由模型计算得出”。（验证矩阵（docs/MODELLED-RATIONALE.md））
可复现性与软件保障为MODELLED，而不是经独立验证：其中一项子声明经过外部核对，但整项能力由模型计算的部分组合而成，因此该能力仍属于由模型计算得出一级。（验证矩阵（docs/MODELLED-RATIONALE.md））
量子对经典的权衡证据（通用形式）是MODELLED，而非经独立核对验证：它与自身的闭式/解析恒等式核对，只能发现转录和系数错误，并不是外部参考基准（oracle）。（验证矩阵（docs/MODELLED-RATIONALE.md））
可信量子授时（时间传递 + 安全分发 + 异常）是MODELLED，而非经独立核对验证：它与自身的闭式/解析恒等式核对，只能发现转录和系数错误，并不是外部参考基准（oracle）。（验证矩阵（docs/MODELLED-RATIONALE.md））

另请参阅#

类别页面：时钟、授时与守时
所有类型：KINDS.md
主题页面：QUANTUM-MODELS.md

quantum-time-transfer（场景类型）

作用#

输入#

运行#

给出什么#

证据#

局限#

另请参阅#

`quantum-time-transfer`（场景类型）