第7章 计量与可观测量设计


I. 一句话目标

一句话目标:以 T_arr/Delta_T_arr/F_nu/LC 为核心可观测量,设计同一路径多频带 + 跨角度多路径的计量方案,定义两口径一致性与能量一致审计、GUM/MC 不确定度传播与复现实务,使早期对象从对象→环境→传播→观测形成可追溯、可审计、可重放的执行口径。


II. 范围与非目标


III. 术语与符号最小集

  1. 对象与状态:O_i,state(t);类型 type ∈ {PopIII, ProtoGalaxy, BHSeed, MiniQSO, ShockCloud}。
  2. 传播与路径:n_eff(x,t,f)(无量纲且 ≥ 1),c_ref,gamma(ell),d ell,分段 gamma_i,界面集合 Sigma_env。
  3. 观测与差分:T_arr(f, gamma),Delta_T_arr(f1,f2, gamma),F_nu(f),LC(t)。
  4. 能量一致:R_env + T_trans + A_sigma = 1。
  5. 两口径:
    • 常量外提:T_arr = ( 1 / c_ref ) * ( ∫ n_eff d ell )
    • 一般口径:T_arr = ( ∫ ( n_eff / c_ref ) d ell )

IV. 计量对象与可测定义


V. 实验设计总则


VI. 步骤化流程(M70-4…M70-12)


VII. 不确定度模型与传播(GUM / MC)


VIII. 追溯与日志最小集


IX. 合格判据与否证线

  1. 合格
    • T_arr_obs ≥ L_path / c_ref;
    • eta_T 达标;
    • tau_switch 达标;
    • R_env + T_trans + A_sigma = 1;
    • Delta_T_arr 线性区/指定阶次吻合;
    • 量纲核查通过,分段端点 { ell_i } 显式入积、无跨界面插值。
  2. 否证
    稳定 n_eff < 1;两口径长期不一致且回溯无解;tau_switch 超阈;能量一致破坏;差分线性区失效且非带外泄漏所致;路径分段实现错误。

X. 接口与实现绑定(与模板接口族对齐,示例 I70-*)


XI. 数据打包与发布口径


XII. 交叉引用


XIII. 产出物