一句话目标：给出 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>"
典型策略卡
- 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。
- 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。
- card.spectrum_recompute（谱门违约）
- triggers：C50-1204/1302/1402
- act：I50-33 correct_enbw/调整 RBW/ENBW/window_fn；模型回写。
- verify：p95(|resid_Sy|_B) ≤ τ_Sy。
- card.mapping_dualpub（相/群映射超限）
- triggers：C50-703/1104
- act：相/群双口径并列发布；增 tol_map guardband。
- verify：ΔT_map_p95 入门。
- card.source_refresh（新鲜度/覆盖不足）
- triggers：C50-1211/1304
- act：切源/补采；I50-103 interp_sources；降级/拒发。
- verify：age ≤ Δt_max, coverage ≥ cov_min。
- 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. 交叉引用
第2–15章（P/S/M/I/C）；附录 A（接口）/C（清单）/D（指标）/E（不确定度）；配套《TimeBase/Sync》《PathCorrection》《Packets.Light》《PathRedshift》《Instrument》《Methods.Cleaning》。小结
- 本附录汇编 C50-* 全集并提供标准化策略卡，以两口径/同窗同带宽/量纲/追溯四大刚性约束为基线；
- 结合 I50-* 与 manifest.tbn.*，工程团队可在 TBN 计量全链路落地可检测、可处置、可验证、可回滚的治理闭环。