29-EFT.WP.TBN.Measurement v1.0 | 第15章 用例与参考实现

目录 ／ 文档-技术白皮书 ／ 29-EFT.WP.TBN.Measurement v1.0

第15章 用例与参考实现

一句话目标：将第2–14章的方法论以可复现的端到端用例落地：从采集→估计→修正→分解→不确定度→契约→运行发布串接成闭环，并清单化交付 manifest.tbn.* 以支撑审计与回滚。

I. 范围与对象

• 对象：phi/f/y/S_phi/S_y/sigma_y，链路时延与抖动 T_arr^{form1/form2}, T_arr*, lat_*，环境修正 corr_env，仪器/处理链分解 ΔT_inst/ΔT_proc/ΔT_asym，解析 vs 观测 vs 锚/回放一致性，以及运行态窗口化指标。
• 输入：用例配置 profile={topology, carrier, BW, window(W/H), RBW/ENBW, SNR, RefCond sources, link segments, sync/anchor scheme, thresholds}。
• 输出：全量清单 manifests={baseline, frontend, estimator, delay, corr, anchor, u, contracts, rt} 与面板快照；处置/回滚记录。

II. 名词与变量

• 关键残差与一致门：delta_form=|T_arr^{form1}-T_arr^{form2}|，ΔT_obs=|T_arr*-t̂_cont|，resid_Sy, resid_sigma_y。
• KPI：sigma_y(τ)_p{q}, delta_form_p95, ΔT_obs_p95, resid_Sy_p95, age(source), coverage, hit/stale_ratio, latency_p95。
• 量纲：严格执行第2章；清单中对所有数值写明 unit/dim 并 check_dim 通过。

III. 公设 P515-*

• P515-1（双口径贯通）：任何用例都必须并行发布 T_arr^{form1/form2} 与 delta_form；同窗 W 与同 RBW/ENBW/单位。
• P515-2（锚与回放）：端到端交付含锚（回环/对等/三角/比链/谱线）与回放包（脚本与素材哈希），可独立复算。
• P515-3（不确定度与卫界）：上线关键量 · 的 U=k·u_c(·) 必落盘并用于卫界；GUM/MC 一致性 ρ 记录。
• P515-4（Fail-Closed）：任一硬门失败→策略卡触发（降级/旁路/回滚），并写入 contracts.decisions[]。
• P515-5（追溯与签名链）：RefCond/segments/models/scripts/firmware 哈希、版本与有效期必追溯，端到端清单签名。

IV. 最小方程 S515-*（端到端拼装）

• S515-1：谱—统计—时间域：S_y=(f/2π f_ref)^2 S_φ，sigma_y^2(τ)=2∫ S_y |H_τ|^2 df。
• S515-2：两口径到达时：T_arr^{form1}=(1/c_ref)∫ n_eff dℓ，T_arr^{form2}=∫ (n_eff/c_ref) dℓ，delta_form=|…|。
• S515-3：链路分解：lat_total=lat_prop+lat_ser+lat_sw+lat_q+lat_proc；一致化 T_arr* = T_arr^{form2}+ΔT_geom+ΔT_med+ΔT_inst+ΔT_proc+ΔT_sync。
• S515-4：上线门（含不确定度）：metric + k·u(metric) ≤ threshold，用于 delta_form/ΔT_obs/resid_Sy/sigma_y 等。

V. 计量流程 M50-15（端到端就绪→实施→验证→签名→发布）

1. 就绪：加载 profile；冻结 RefCond 源；对齐 tau_mono/ts；设定窗口 W/H、RBW/ENBW 与契约阈值；初始化面板与缓存策略。
2. 实施：
   • 前端（第3章）：采集与时标一致、ENBW 校正、抖动与量化预算；
   • 估计（第4–5章）：phi/f/y → S_phi/S_y/sigma_y；
   • 时延（第6章）：T_arr^{form1/2}, T_arr*, lat_* 与抖动谱；
   • 修正（第7章）：ΔT_trop/iono/fiber/mpath → ΔT_med；
   • 仪器（第8章）：ΔT_inst/ΔT_proc/ΔT_asym（回环/三角/对等）；
   • 一致性与锚/回放（第9–10章）；
   • 不确定度/卫界（第11章）；
   • 契约与策略卡（第12章）；
   • 运行流式（第13章）。
3. 验证：检查双口径/同窗同带宽、残差门、锚/回放一致性、GUM–MC 一致；形成 contracts.report。
4. 签名：规范化端到端清单，计算 digest 并 signature；生成 rollback_to。
5. 发布：灰度→放量；运行面板与策略卡联动；归档证据 URI 与回放包。

VI. 契约与断言 C50-15x（端到端门槛，场景可覆写）

• C50-1501：delta_form_p95 ≤ tol_Tarr；ΔT_obs_p95 ≤ tol_align。
• C50-1502：resid_Sy_p95 ≤ τ_Sy；resid_sigma_y_p95 ≤ tol_sigma。
• C50-1503：coverage ≥ 0.95，age(source) ≤ Δt_max；清单签名验证通过。
• C50-1504：coverage(U) ≥ 95%，0.8 ≤ ρ(GUM/MC) ≤ 1.25。
• C50-1505：运行 latency_p95 ≤ SLO.latency_p95，hit ≥ hit_min，stale_ratio ≤ tol_stale。

VII. 实现绑定 I50-15*（端到端封装）

• I50-151 build_usecase(profile) -> {graph, sources.hashes, RefCond, thresholds}
• I50-152 run_pipeline(profile, inputs) -> {manifests[], panels[], kpis}（内部衔接第3–13章 I50-*）
• I50-153 validate_end2end(manifests, kpis, rules) -> {report, pass}
• I50-154 publish_end2end(manifests, report) -> {uri, signature}
• I50-155 rollback_end2end(manifest_uri, reason) -> {status}
  不变量：two_forms_present=true；check_dim(*) 通过；签名链与回放可验；策略卡执行可追溯。

用例集（Profiles）

U15-A 城域 TBN（PRTC→T-BC→T-TSC，单向/往返）

I. 范围与对象

II. 公设与方程（摘要）

III. 流程（要点）

• 采集/前端（第3章）→ ENBW 校正与抖动预算；
• 估计 S_phi/S_y/sigma_y（第4–5章）；
• 时延：单向 PRBS 与往返 TWTT，分解 lat_* 与 ΔT_asym（第6章）；
• 环境修正：ΔT_trop/ΔT_fiber（第7章）；
• 仪器：ΔT_inst/ΔT_proc（第8章）；
• 锚：Two-Way/回环一致，回放包与脚本；
• u/U 与卫界（第11章），契约（第12章），运行（第13章）。

IV. KPI 与门（示例）

V. 清单主键

U15-B 地面→卫星下行（联合计量：相位噪声/频偏/到达时）

I. 范围与对象

II. 流程（要点）

• 采集/时标与 SNR 守门（第3章）；
• PLL+Hilbert 估计 y(t) 与 S_phi/S_y/sigma_y（第4–5章）；
• Two-Way/单向测时 + ΔT_asym 估计（第6章）；
• 大气/电离层修正 ΔT_trop/ΔT_iono（第7章）；
• 锚与回放（第10章）；
• u/U 与卫界，契约，运行发布。

III. KPI 与门（示例）

U15-C 数据中心光互联（WDM，群时延与抖动合规）

I. 范围与对象

II. 流程（要点）

• 前端/时标与通道一致性（第3章）；
• Hilbert/FFT 频偏估计 + Allan 统计；
• 两口径 T_arr 与 T_g（群口径）发布（第2/6章），ΔT_map 守门（第7章）；
• 多径/连接器反射识别与抑制（第7章）；
• 合同化阈值与运行面板（第12–13章）。

III. KPI 与门（示例）

VIII. 交叉引用

IX. 质量与风控

• 端到端 SLI/SLO：delta_form_p95, ΔT_obs_p95, resid_Sy_p95, sigma_y(τ)_p95, coverage, age(source)_p95, hit/stale_ratio, latency_p95。
• 回退梯度：guardband↑ → 缩窗/重采 → 模型回写/重估 → 旁路/回滚（策略卡入库）。
• 审计：与 baseline.manifest 的差分、KPI 漂移、处置轨迹、面板与证据 URI、签名链与回放脚本。

小结

• 本章将 TBN 计量的各环节汇成可运行的端到端用例模板，以双口径 + 契约 + 不确定度 + 清单为骨干；
• 借助 I50-15* 与 C50-15x，工程团队可快速复制/裁剪/上线，且全程可复现、可审计、可回退。