timetransfer（场景类型）
引擎v0.40.0的场景类型，所属类别为时钟、授时与守时。仅供参考：研究与工程工具的分析输出，不是经型式认可的导航设备，也不是生命安全服务。此处的每个标签都来自引擎或验证矩阵；除非矩阵另有说明，一种类型即为MODELLED（标签如何获得：见README的证据一节）。
作用#
光学与射频的双向时间/频率传递对比。
scenarios/timetransfer.toml的一次运行汇总为：scenario 8f9c2e0e31a5 | optical sync_rms 0.98ps range_rms 0.293mm adev(1s) 1.73e-12 | RF sync_rms 1137.3ps range_rms 341.0mm adev(1s) 8.65e-10
输入#
来自模式（kshana kinds --json）：
- 必填字段：
seed、samples、step_s、range_spec_mm、link_quantum、link_classical - 可选字段：无
示例scenarios/timetransfer.toml设置了以下各项（节选）：
| 字段 | 取值 | 单位 |
|---|---|---|
kind |
timetransfer | 文本 |
link_classical.id |
twstft-rf | 文本 |
link_classical.provenance |
双向卫星时间频率传递（TWSTFT，Ku波 | 文本 |
link_classical.q_rw_s |
1.0000e-26 | s |
link_classical.sigma_j_s |
5.0000e-10 | s |
link_quantum.id |
optical-isl | 文本 |
link_quantum.provenance |
光学星间链路，皮秒级同步 | 文本 |
link_quantum.q_rw_s |
1.0000e-32 | s |
link_quantum.sigma_j_s |
1.0000e-12 | s |
range_spec_mm |
10 | mm |
samples |
600 | 未说明 |
seed |
42 | 1 |
运行#
kshana scenarios/timetransfer.toml给出什么#
该次运行的标量结果，单位为引擎所给出的单位：
| 结果 | 取值 | 单位 |
|---|---|---|
classical.fom.adev_tau0 |
8.6527e-10 | 1 |
classical.fom.range_p95_mm |
636.83765 | mm |
classical.fom.range_rms_mm |
340.957818 | mm |
classical.fom.sync_p95_ps |
2124.261745 | ps |
classical.fom.sync_rms_ps |
1137.312862 | ps |
classical.fom.within_spec_fraction |
0.026667 | 1 |
classical.spec.id |
twstft-rf | 文本 |
classical.spec.kind |
two-way-time-transfer | 文本 |
classical.spec.params.q_rw |
1.0000e-26 | 1/s |
classical.spec.params.q_wf |
0 | s^2/s |
证据#
MODELLED：列出此类型的验证矩阵各行。
- MODELLED双向/TWSTFT（Sagnac）、GNSS共视、PPP；链路抖动→距离 测试：time_transfer_error_budgeting_reference.rs。
本次运行实际涉及的各行，以及矩阵为每行给出的参考基准（oracle）（公开来源在矩阵中列出）：
- 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
局限#
本次运行自身的报告所说的未建模或未经独立验证的内容：
- 时间传递误差预算为MODELLED，未经独立验证：某个子论断已有外部核对，但整个能力由模型计算的部分组合而成，因此该能力仍属“由模型计算得出”。（验证矩阵（docs/MODELLED-RATIONALE.md））
- 可复现性与软件保障为MODELLED，而不是经独立验证：其中一项子声明经过外部核对，但整项能力由模型计算的部分组合而成，因此该能力仍属于由模型计算得出一级。（验证矩阵（docs/MODELLED-RATIONALE.md））