20-EFT.WP.Metrology.TimeBase v1.0 | 附录C 清单模板与样例（time manifest）

目录 ／ 文档-技术白皮书 ／ 20-EFT.WP.Metrology.TimeBase v1.0

附录C 清单模板与样例（time manifest）

一句话目标：给出可直接落盘与审计的 manifest.time 模板、字段分组、单位/量纲与样例，使时基与同步数据“可发布、可追溯、可回放”。

I. 作用与范围

• 描述对象
  tau_mono 与 ts 的映射、offset/skew/J、Allan 家族、同步伺服（NTP/PTP/SyncE）、链路延迟预算、到达时 T_arr 两口径与 delta_form、缓冲与重采样、分布式图同步与 Failover。
• 产出物
  manifest.time（JSON/YAML 皆可）、签名与哈希、契约评估结果 contracts.*、面板映射 TS.sli.*。

II. 最小键集与目录结构

1. 顶层键（必须存在）
   • schema_version，policy_version，tag，TraceID，generated_at，producer。
   • source：env, node_id, pipeline, sync_domain。
   • time_window：ts_start, ts_end, tau_start, tau_end, timezone.
   • sync_ref：profile, priority, gm_id|ntp_server|gnss，steps_removed。
   • metrics：见下分组。
   • contracts：summary, violations[]，与 C50-* 对齐。
   • signing：hash_sha256, previous_hash, signature, pubkey_id。
2. metrics 分组（最小可发布集）
   • offset：mean, p95, p99, unit="ns", dim="[T]"。
   • skew：mean_ppm, max_ppm, unit="ppm", dim="1"。
   • jitter：rms, p99, unit="ns", dim="[T]"（记作 J）。
   • allans：adev[], mdev[], tdev[]，元素为 {tau_s, value, u}。
   • latency_chain：phy, macf, stack, app, p99, unit="ms"。
   • buffering：latency_p95_ms, latency_p99_ms, drop_rate。
   • resampling：enbw_error, alias_power, roundtrip_tol。
   • arrival_time：两口径与差异
     1. form_const = ( 1 / c_ref ) * ( ∫ n_eff d ell )
     2. form_general = ( ∫ ( n_eff / c_ref ) d ell )
     3. delta_form = | form_const - form_general |
     4. tol_Tarr, gamma_spec, L_gamma
   • leap_smear：mode, profile, window, applied.
   • failover：events[]（t, from, to, t_failover, offset_p99_during）。
   • uncertainty：关键量的 U = k * u_c 摘要。

III. 字段口径与单位/量纲约束

1. 统一发布口径
   • 所有统计在 tau_mono 上计算，以 ts 发布；写入 offset/skew/J 的 unit(x) 与 dim(x)。
   • check_dim(expr) 必须通过，例如 check_dim( offset - 100 ns ) = pass。
2. 到达时两口径（强制）
   • form_const = ( 1 / c_ref ) * ( ∫_{gamma(ell)} n_eff d ell )
   • form_general = ( ∫_{gamma(ell)} ( n_eff / c_ref ) d ell )
   • delta_form ≤ tol_Tarr，同时落盘 c_ref, n_eff 口径说明与测度 d ell。
3. Allan 家族
   adev/mdev/tdev 的 tau_s 取自 TauSet = {1, 10, 100, 1000}；每点附 u。

IV. 版本与兼容策略

• schema_version = "1.0.0" 起；仅向后兼容新增键，破坏性变更提升主版本。
• policy_version 绑定契约库（见附录B C50-*），用于重放审计。
• 清单链式签名：previous_hash 指向上一版清单，形成可追溯链。

V. 模板（精简版）

{

"schema_version": "1.0.0",

"policy_version": "C50-2025.01",

"tag": "release-2025-09-01T12-00Z",

"TraceID": "trc-8b1f...f2",

"generated_at": "2025-09-01T12:05:00Z",

"producer": { "pipeline": "timebase/exporter@I50", "env": "prod", "node_id": "edge-ptp-07", "sync_domain": 24 },

"time_window": { "ts_start": "2025-09-01T11:00:00Z", "ts_end": "2025-09-01T12:00:00Z", "tau_start": 0, "tau_end": 3600, "timezone": "UTC" },

"sync_ref": { "profile": "PTPv2-telecom", "priority": 128, "gm_id": "GM:44-39-39-FF-FE-00-01-23", "steps_removed": 1 },

"metrics": {

"offset": { "mean": 85.0, "p95": 180.0, "p99": 420.0, "unit": "ns" },

"skew": { "mean_ppm": 0.8, "max_ppm": 3.5 },

"jitter": { "rms": 120.0, "p99": 900.0, "unit": "ns" },

"allans": {

"adev": [ { "tau_s": 1, "value": 8.0e-11, "u": 1.0e-11 }, { "tau_s": 10, "value": 2.5e-11, "u": 4.0e-12 } ],

"mdev": [ { "tau_s": 10, "value": 2.0e-11, "u": 3.0e-12 } ],

"tdev": [ { "tau_s": 1, "value": 80.0e-9, "u": 10.0e-9 } ]

},

"latency_chain": { "phy": 0.25, "macf": 0.30, "stack": 1.10, "app": 0.45, "p99": 2.10, "unit": "ms" },

"buffering": { "latency_p95_ms": 2.6, "latency_p99_ms": 4.9, "drop_rate": 1.0e-6 },

"resampling": { "enbw_error": 0.03, "alias_power": 1.0e-3, "roundtrip_tol": 2.0e-9 },

"arrival_time": {

"c_ref": 2.99792458e8,

"form_const": 3.700e-6,

"form_general": 3.6999e-6,

"delta_form": 1.0e-10,

"tol_Tarr": 1.0e-10,

"gamma_spec": "fiber: L=740m; non_decreasing(ell)=true",

"L_gamma": 740.0

},

"leap_smear": { "mode": "linear-24h", "profile": "google-like", "window": "2025-12-31", "applied": false },

"failover": { "events": [] },

"uncertainty": { "offset_U": 50.0, "offset_U_unit": "ns", "T_arr_U": 0.15e-9 }

},

"contracts": {

"summary": { "passed": true, "severity_max": "warn" },

"violations": []

},

"signing": {

"hash_sha256": "d2b7...9ac1",

"previous_hash": "a71e...01fb",

"signature": "MEYCIQ...==",

"pubkey_id": "k-ptp-prod-2025"

}

}

VI. 模板（完整版字段分组）

• producer
  pipeline, component@version, runtime_hash, build_id。
• sync_ref
  gnss = {sat_system, fix, dops} 或 ntp = {servers[], stratums[]}；bmca = {class, priority1, priority2}。
• metrics.offset|skew|jitter
  统计口径：窗口 Δt，聚合 {mean, p95, p99, max}，alpha_spending（如序贯评估）。
• allans
  adev|mdev|tdev 的 TauSet 与拟合包络 spec_curve_id。
• latency_chain
  预算与测量并列，键 budget_{phy|macf|stack|app}。
• arrival_time
  n_eff_model, c_ref_source, ell_sampling, measure_path = {gamma(ell), d ell}。
• buffering|resampling|conversion
  converter = {F_id, params}, roundtrip_result。
• failover
  t_failover, gm_switches, blast_radius。
• contracts
  evaluated = {C50-21:true, C50-31:true, ...}，reports[] 逐条含 rule, window, result, sev, action。
• links
  raw_logs_uri, spec_uri, playback_recipe_uri。

VII. 生成与校核流程（落盘管线 M50-C1）

• 采集与聚合
  从 I50-51/55/56/73/82/91/101 拉取原始与派生指标，统一到 tau_mono。
• 口径与单位校核
  执行 repair_units 与 check_dim(all)，补齐 unit(x), dim(x)。
• 两口径并行与到达时差
  计算 form_const, form_general, 写入 delta_form 与 tol_Tarr。
• Allan 家族评估
  计算 adev/mdev/tdev 于 TauSet，拟合包络并记录 spec_curve_id。
• 合同评估
  评估 C50-*，形成 contracts.summary 与违约清单。
• 签名与链化
  生成 hash_sha256，链接 previous_hash，对清单整体签名。
• 发布与回放
  导出 manifest.time，触发面板刷新与回放脚本落盘。

VIII. 样例 A：边缘节点 PTP + 短链路到达时

• 场景要点
  profile = PTPv2-telecom，GM 单根，fiber L ≈ 740 m，tol_Tarr = 100 ps。
• 关键信息
  offset.p95 = 180 ns，J.p99 = 0.9 μs，delta_form = 100 ps，contracts.passed = true。

IX. 样例 B：GNSS 失锁 → Holdover → Failover

• 场景要点
  GNSS 失锁 15 分钟，holdover_budget = 10 min，触发 failover 切至二级 PTP。
• 关键信息
  offset.p99 在失锁时段上升至 1.4 μs，t_failover = 1.7 s，contracts 标记 C50-24 major，策略卡执行降级。

X. 面板映射与字段命名规范

1. 面板 TS.sli.* 映射
   • TS.sli.offset.ns.p95 ← metrics.offset.p95
   • TS.sli.jitter.ns.p99 ← metrics.jitter.p99
   • TS.sli.latency.ms.p99 ← metrics.latency_chain.p99
2. 命名与冲突名
   严禁将 T_fil 与 T_trans 混用；n 与 n_eff 严格区分；所有键使用小写蛇形或点分层。

XI. 交叉引用与依赖

• 章节
  到达时两口径与路径：见第9章。同步伺服：见第5章。Allan 家族：见第7章。背压与流式：见第11章。契约库：见附录B。
• 跨卷
  清洗契约与发布冻结：见《Methods.Cleaning v1.0》第10章。统计不确定度发布：见《Methods.CrossStats v1.0》附录E。

小结