29-EFT.WP.TBN.Measurement v1.0 | 附录B 契约库与策略卡（C50 全集）

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

附录B 契约库与策略卡（C50 全集）

一句话目标：给出 TBN 计量从数学基线→采集→估计→时延与修正→仪器计量→频谱/时域一致→解析/观测/锚→不确定度→运行的可执行契约 C50-*与“策略卡”处置流程，刚性保证两口径并行 + 同窗同带宽同单位 + 量纲合规 + RefCond 可追溯，并支撑清单化发布与回放审计。

I. 范围与对象

• 对象：y(t), S_phi/S_y, sigma_y(τ), T_arr^{form1/form2}, T_arr*, lat_*, corr_env, ΔT_map, ΔT_obs, ΔT_inst/ΔT_proc/ΔT_asym，以及运行态 delta_form_rt, hit, stale_ratio, latency。
• 输入：解析/配置口径（模型/路径/修正/仪器/网络）与观测/实现口径（PLL/IQ/FFT/时间戳），RefCond(hash/age/coverage)，u/U 与阈值，面板窗口 W 与 RBW/ENBW。
• 输出：contracts.rules、contracts.report、strategy.cards 与 manifest.tbn.* 的处置记录（含证据 URI 和签名链）。

II. 命名、级别与通用字段

• 命名：C50-<域><序号>；域号与章节映射：
  2x 数学基线，3x 采集/时标，4x 估计器，5x Allan 家族，6x 链路时延，7x 路径/环境修正，8x 仪器/处理链，9x 频谱⇄时域一致，10x 解析/观测/锚回放，11x 不确定度/卫界，12x 契约与策略，13x 运行流式，14x 安全完整，15x 端到端。
• 严重级别：sev ∈ {blocker, high, medium, low}；动作：action ∈ {fail, warn, degrade, bypass}。
• 通用记录：{rule_id, sev, metric, unit, dim, threshold|range, window, samples, RefCond.hash, evidence_uri, pass, msg, ts}。
• 刚性前置：两口径/同窗同带宽/量纲合规/追溯——任一不满足，先处置再比较其他指标。

III. 域级契约总表（C50 全集）

如与场景化阈值冲突，以用例/环境化阈值为准（写入 contracts.thresholds）。缺省单位/量纲：unit(z)=1，unit(T)=[T]。

2x 数学基线（相位/频率/到达时）

• C50-201 两口径差：delta_form_p95 ≤ tol_Tarr。
• C50-202 窗/带宽一致：RBW/ENBW/window_fn 与清单一致。
• C50-203 SNR/CRLB：估计器满足 SNR ≥ SNR_min 且 T_obs ≥ T_min。
• C50-205 量纲合规：check_dim(S_phi)="rad^2/Hz", check_dim(S_y)="1/Hz", check_dim(sigma_y)=1, check_dim(T_arr)='[T]'。

3x 采集前端与时标

• C50-301 时标锚定：|offset| ≤ offset_max, |skew| ≤ skew_max, |J|_p95 ≤ J_max。
• C50-302 采样/触发抖动：t_j,rms ≤ t_j,max, t_trig,rms ≤ t_trig,max。
• C50-303 ENOB/SNR：ENOB ≥ ENOB_min 或 SNR_meas ≥ SNR_min。
• C50-305 多通道一致：跨通道延时/相位偏置 ≤ τ_ch,max/φ_ch,max。
• C50-306 两口径预算：前端贡献满足 u(delta_form|front-end) ≤ budget.

4x 相位与频偏估计（PLL/IQ/FFT/Hilbert）

• C50-401 CRLB/窗长/SNR：var_emp ≤ α·CRLB（α≤3）。
• C50-402 窗/泄露：RBW/ENBW/window_fn 落盘一致；L_sidelobe 不超阈。
• C50-404 两口径对齐：估计序列与 T_arr^{form1/2} 同窗对齐并记录方法分量。

5x Allan 家族

• C50-501 单位/量纲：check_dim(sigma_y)=1, check_dim(TDEV)='[T]'。
• C50-502 测度口径：重叠/无死区、τ 网格、ENBW 校正必须落盘。
• C50-503 ν_eff 与置信：coverage(U) ≥ 95%；短序列需降级或延长。

6x 链路时延与抖动

• C50-601 两口径差：delta_form_p95 ≤ tol_Tarr。
• C50-602 对称/非对称：无单向锚时 |ΔT_asym|_p95 ≤ τ_asym_max；有锚时匹配门 ≤ τ_match。
• C50-603 抖动与谱：σ_t_p95 ≤ σ_t,max；S_t(f) 带内不超谱门。
• C50-604 CRLB/SNR：var_emp(T̂) ≤ α·CRLB，SNR ≥ SNR_min。

7x 路径与环境修正

• C50-701 两口径差（修正后）：delta_form_p95 ≤ tol_Tarr。
• C50-702 新鲜度/覆盖：age(met/TEC/n_field) ≤ Δt_max，coverage ≥ cov_min。
• C50-703 映射一致：ΔT_map_p95 ≤ tol_map，落盘 u(ΔT_map)。
• C50-704 多径控制：MER_p95 ≤ MER_max 或 MP_res ≤ MP_res_max。

8x 仪器与处理链

• C50-801 两口径差：delta_form_p95 ≤ tol_Tarr。
• C50-802 非对称上界：|ΔT_asym|_p95 ≤ τ_asym_max。
• C50-803 证据完备：回环/对等/三角的时间戳组或相关证据 URI 必落盘。
• C50-804 谱/抖动：σ_t_p95 ≤ σ_t,max，S_t(f) 合规。

9x 频谱与时域一致

• C50-901 同窗同带宽：谱与时域映射用同 W/RBW/ENBW/window_fn。
• C50-902 单位合规：check_dim(σ_t)='[T]', check_dim(σ_φ)='rad', check_dim(EVM)=1。
• C50-903 两口径配套：delta_form_p95 ≤ tol_Tarr, ΔT_obs_p95 ≤ tol_align。
• C50-904 EVM 一致：|EVM_pred - EVM_meas|_p95 ≤ tol_evm。

10x 解析 vs 观测 vs 锚/回放

• C50-1001 两口径硬门：delta_form_p95 ≤ tol_Tarr 未达标→拒发。
• C50-1002 同窗同带宽同单位：不一致先重算。
• C50-1003 残差上线门：|resid_*| + k·u(resid) ≤ threshold_*。
• C50-1004 锚/回放完备：anchor 与 replay.core 证据 URI/哈希必落盘。

11x 不确定度与 guardband

• C50-1101 GUM/MC 一致：0.8 ≤ ρ ≤ 1.25。
• C50-1102 覆盖发布：上线关键量报告 U 的置信度 ≥ 95%。
• C50-1103 两口径门：delta_form + k·u(delta_form) ≤ tol_Tarr。
• C50-1104 映射/对齐门：ΔT_map + k·u(ΔT_map) ≤ tol_map，ΔT_obs + k·u(ΔT_obs) ≤ tol_align。

12x 契约与策略

• C50-1201…1222：见第12章（两口径/对齐/谱门/新鲜度/覆盖/签名/旁路等）。

13x 运行流式

• C50-1301 两口径与对齐：p95(delta_form_rt_T) ≤ tol_Tarr，p95(ΔT_obs) ≤ tol_align。
• C50-1302 频域/统计门：p95(|resid_Sy|_B) ≤ τ_Sy，sigma_y 斜率一致。
• C50-1303 延迟/抖动：latency_p95 ≤ SLO.latency_p95，jitter_p95 ≤ τ_jit_max。
• C50-1304 缓存/新鲜度：hit ≥ hit_min，stale_ratio ≤ tol_stale，面板更新 ≤ Δt_panel_max。

14x 安全与完整性

• C50-1401 两口径硬门优先：未满足拒发/降级。
• C50-1402 频谱完整：D_spec ≤ τ_spec，ACLR ≥ ACLR_min，OBB ≤ OBB_max。
• C50-1403 时间完整：Timing_anom_p95 ≤ τ_T。
• C50-1404 能量守恒：E_balance_p95 ≤ τ_E。
• C50-1405 签名/回放：Sig_ok=1 与 Replay_ok=1。

15x 端到端

• C50-1501 端到端门：delta_form_p95 ≤ tol_Tarr，ΔT_obs_p95 ≤ tol_align，resid_Sy_p95 ≤ τ_Sy，覆盖≥95%，签名可验。
• C50-1502 不确定度与运行：coverage(U) ≥ 95%，0.8 ≤ ρ(GUM/MC) ≤ 1.25，运行 hit ≥ hit_min。

IV. 策略卡（YAML 模板与典型卡）

模板

card_id: <string>

triggers: [C50-xxxx, ...]

sev: blocker|high|medium|low

decide:

if: "<metric> comparator <threshold>" # 或布尔表达式

act:

- api: I50-xx

params: {...}

- api: I50-yy

params: {...}

verify:

metric: <name>

window: "W=5min,p95"

rollback:

plan: "<bypass|lower_order|rollback_version>"

notes: "<why/impact/evidence_uri>"

典型策略卡

1. card.twoform_guard（两口径差超限）

• triggers：C50-201/601/801/1301
• act：I50-66 twoform_consistency 复算；必要时统一 form2 + I50-116 design_guardband。
• verify：delta_form_p95 ≤ tol_Tarr。

2. card.align_fix（对齐差超限）

• triggers：C50-1202/1301/1403
• act：I50-112 propagate_gum 更新 u(ΔT_obs)；重解同步 I50-112/34；缩窗重算。
• verify：ΔT_obs_p95 ≤ tol_align。

3. card.spectrum_recompute（谱门违约）

• triggers：C50-1204/1302/1402
• act：I50-33 correct_enbw/调整 RBW/ENBW/window_fn；模型回写。
• verify：p95(|resid_Sy|_B) ≤ τ_Sy。

4. card.mapping_dualpub（相/群映射超限）

• triggers：C50-703/1104
• act：相/群双口径并列发布；增 tol_map guardband。
• verify：ΔT_map_p95 入门。

5. card.source_refresh（新鲜度/覆盖不足）

• triggers：C50-1211/1304
• act：切源/补采；I50-103 interp_sources；降级/拒发。
• verify：age ≤ Δt_max, coverage ≥ cov_min。

6. card.security_failclosed（签名/旁路/异常）

• triggers：C50-1405/1402/1403
• act：旁路/回滚、限流；落盘证据与回放包。
• verify：Sig_ok=1, Replay_ok=1, 异常率回落。

V. 阈值建议与标定

• 两口径/映射/对齐：tol_Tarr ≈ 1e-3·T_arr；tol_map ≈ 0.1·tol_Tarr；tol_align ≈ 0.02·T_sym 或 1e-3·T_f。
• 谱/统计残差：τ_Sy 与 tol_sigma 依 SNR/窗/带宽与场景标定。
• 抖动/非对称：σ_t,max 与 τ_asym_max 由制式与设备规范给定。
• 新鲜度/覆盖：Δt_max 随源刷新率设定；cov_min ≥ 0.90。
• GUM/MC 一致：ρ ∈ [0.8,1.25]。
• 所有阈值变更写 contracts.thresholds 与 change_log，附来源 hash 与回放证据。

VI. 清单字段（manifest.tbn.contracts 最小键）

• rules[]：每条 C50-* 的状态、窗口、阈值、RefCond.hash 与 evidence_uri。
• metrics：{Q:{delta_form_p95, ΔT_obs_p95, resid_Sy_p95, resid_sigma_y_p95}, Int:{age, coverage, ΔT_map_p95}, Sec:{D_spec, Timing_anom, Sig_ok}}。
• decisions：执行的策略卡、动作与验证结果；rollback_to 指针。
• thresholds_uri：阈值表与来源哈希；signature：清单签名。

VII. 接口映射

• 契约计算：各章 M50-*；
• 处置执行：本卷 I50-*（策略卡 act.api 直接调用）；
• 清单写入：emit_*_manifest（baseline/frontend/estimator/delay/corr/anchor/u/contracts/rt）。

VIII. 交叉引用

小结

• 本附录汇编 C50-* 全集并提供标准化策略卡，以两口径/同窗同带宽/量纲/追溯四大刚性约束为基线；
• 结合 I50-* 与 manifest.tbn.*，工程团队可在 TBN 计量全链路落地可检测、可处置、可验证、可回滚的治理闭环。