29-EFT.WP.TBN.Measurement v1.0 | 第10章 解析 vs 观测 vs 基准（anchor/回放）

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

第10章 解析 vs 观测 vs 基准（anchor/回放）

一句话目标：把模型解析（predict）、实测观测（measure）与基准锚定（anchor）/回放（replay）统一到同一计量框架，形成差分残差→契约判定→处置/回放的可执行闭环，并与 T_arr 两口径配套发布。

I. 范围与对象

1. 输入
   • 解析端：基于 RefCond 与路径/环境/仪器/网络模型生成的 pred = {phi/f/y, S_phi/S_y/sigma_y, T_arr^{form1/2}, T_arr*}；
   • 观测端：估计器输出 meas = {phi/f/y, S_phi/S_y/sigma_y, T_arr^{form1/2}, T_arr*, EVM/eye}（见第4–6/9章）；
   • 基准与锚：anchor ∈ {回环/对等/三角, 频率比链, 标准谱线/时间源}；
   • 回放素材：原始或降采样数据、窗/带宽/口径、脚本与版本哈希。
2. 输出
   • 残差与判定：resid = meas - pred 的谱/统计/时延/质量分量；
   • 回放工单：重算 pred/meas 的最小充分字段与脚本；
   • 清单：manifest.tbn.anchor.*（锚/回放证据、不确定度与契约结果）。
3. 边界
   本章不新增物理模型，聚焦一致性与回放：如何比较、如何锚定、如何重现。

II. 名词与变量

• 残差与分量：resid_phi, resid_f, resid_y, resid_Sφ, resid_Sy, resid_sigma_y, resid_T, resid_EVM。
• 锚与基准：anchor（比链、谱线、回环/对等/三角、对时校准），回放脚本 replay.script 与版本 replay.hash。
• 量纲：各分量随被比较量的单位/量纲；统一记录 unit/dim 并 check_dim。

III. 公设 P510-*

• P510-1（同窗同带宽同单位）：pred 与 meas 必须在同 W、同 RBW/ENBW、同单位/量纲下比较；未满足则先重采样/重算再比较。
• P510-2（两口径配套）：T_arr^{form1/2} 与 delta_form 的比较为硬门；delta_form ≤ tol_Tarr 未满足→先处置再继续。
• P510-3（锚优先与不可辨识）：以不变量（比链/回环/谱线）作为偏置/尺度校准；不可辨识分量通过不确定度上界入 u/U。
• P510-4（回放可复验）：任何判定都应可通过 replay.script 与清单哈希独立复现。
• P510-5（量纲与来源追溯）：所有字段 check_dim 通过；RefCond.hash、源/固件/脚本 hash 可追溯。

IV. 最小方程 S510-*

1. 差分残差（同窗同带宽）

• S510-1：
  resid_y(t) = y_meas(t) - y_pred(t)；
  resid_Sy(f) = S_y,meas(f) - S_y,pred(f)；
  resid_sigma_y(τ) = sigma_y,meas(τ) - sigma_y,pred(τ)；
  resid_T = T_arr*,meas - T_arr*,pred；
  resid_EVM = EVM_meas - EVM_pred。

2. 残差门与上线门

• S510-2（发布条件，结合不确定度）
  |resid| + k·u(resid) ≤ threshold；
  常用门：resid_T ≤ tol_T、resid_sigma_y ≤ tol_sigma、|resid_EVM| ≤ tol_evm。

3. 锚定校准

• S510-3：参考第8章（回环/对等/三角）、第11章（比链/谱线）：
  • 回环：ΔT_bias ≈ τ_loop/2 - (T_arr* + ΔT_inst + ΔT_proc)；
  • 比链：解 z_bias/z_scale；
  • 谱线：Δ_line = f̂_line - f_line。
    校准映射 apply(anchor) : meas → meas_cal，更新 resid。

4. 回放最小充分集

• S510-4：
  replay.core = {raw|downsampled, window:{W,w}, RBW, ENBW, method/cfg, RefCond.hash, path.hash, scripts.hash}；
  重算 pred：RefCond + models.hash；重算 meas：raw + estimator.cfg。

V. 计量流程 M50-10（就绪→对齐→比较→锚定→回放→落盘）

• 就绪：冻结 RefCond，拉取 pred 与 meas 的清单与窗口/带宽；准备 anchor 与 replay 脚本/素材。
• 对齐：将 pred/meas 重采样到同 W/RBW/ENBW/单位 与同一时标 tau_mono；对齐 T_arr^{form1/2} 并校核 delta_form。
• 比较：计算 resid_*（S510-1）与不确定度 u(resid)；执行上线门（S510-2）。
• 锚定：若残差偏置显著，按 S510-3 执行校准，更新 resid_* 与 u/U。
• 回放：打包 replay.core；提供一键重算脚本与版本哈希；验证第三方回放一致。
• 落盘：
  manifest.tbn.anchor = {compare:{resid_*, u(resid)}, anchor:{type, params, Δbias/scale}, replay:{core, scripts.hash}, Tarr:{form1,form2,delta_form,T_arr*}, RefCond, contracts.*, signature}。

VI. 契约与断言 C50-10x（建议阈值）

• C50-1001（两口径硬门）：delta_form_p95 ≤ tol_Tarr 未满足→拒发与策略卡。
• C50-1002（同窗同带宽）：pred/meas 的 W/RBW/ENBW/单位 必一致，未一致先重算。
• C50-1003（残差上线门）：|resid_*| + k·u(resid_*) ≤ threshold_*。
• C50-1004（锚/回放完备）：anchor 与 replay.core 的证据 URI 与哈希必落盘；缺失拒发。
• C50-1005（量纲/追溯）：所有字段 check_dim 通过；RefCond.hash/models.hash/scripts.hash 可追溯。

VII. 实现绑定 I50-10*（接口原型、输入输出、不变量）

• I50-101 align_pred_meas(pred, meas) -> {aligned, meta}
• I50-102 residuals(pred, meas) -> {resid_*, u(resid), pass}
• I50-103 apply_anchor(meas, anchor) -> {meas_cal, params, u}
• I50-104 build_replay_core(pred, meas, RefCond, scripts) -> {replay.core}
• I50-105 assert_anchor_contracts(ds, rules) -> {report, pass}
• I50-106 emit_anchor_manifest(results, policy) -> {uri, status}
  不变量：two_forms_present=true；同窗同带宽同单位；RefCond.hash 与脚本/模型哈希可追溯；回放可独立复现。

VIII. 交叉引用

IX. 质量与风控

• SLI/SLO：delta_form_p95, resid_T_p95, resid_sigma_y_p95, resid_EVM_p95, anchor_bias/scale, replay_pass_rate, panel_freshness。
• 回退策略：同窗同带宽不符→重算；残差持续超限→扩大 guardband 与更新模型；锚校准失败→切换锚或旁路；回放失败→冻结发布并复查脚本/源。
• 审计：残差与门限曲线、锚参数与证据、回放包与签名链、第三方复算报告。

小结

• 本章把解析 vs 观测 vs 基准/回放统一为同窗同带宽同单位的差分—锚定—回放闭环，并与 T_arr 两口径配套；
• 通过 M50-10/C50-10x/I50-10* 与 manifest.tbn.anchor，TBN 的量测发布实现可比较、可校正、可复验、可回退。