48-实验协议卡 Template v1.0 | 第2章 术语与符号（协议卡最小集）

目录 ／ 文档-技术白皮书 ／ 48-实验协议卡 Template v1.0

第2章 术语与符号（协议卡最小集）

I. 变量表（Variables, 执行最小集）

内联符号一律用反引号；凡路径相关量显式 gamma(ell) 与测度 d ell。

• T_arr：到达时；单位 s；路径量，需与 gamma(ell)、d ell、n_eff、c_ref 同文出现并记录 delta_form。
• Phi：相位累计；单位 rad；与 lambda_ref 成对。
• n_eff(ell)：有效折射率沿路径的分布；无量纲。
• gamma(ell)：传播路径参数化；单位 m。
• d ell：路径测度元素；单位 m。
• r_hat：指向单位向量；无量纲。
• Q：稳健质量指标；无量纲，取值 [0,1]。
• ε_flux：近轴守恒误差；无量纲。
• ΔT_arr：到达时残差（观测−参考）；单位 s。
• r_phi：Phi_ref 与 Phi_obs 的相关系数；无量纲。

II. 常量与参考量（Constants & References）

• c_ref：参考传播上限；单位 m/s。
• λ_ref：参考波长；单位 m。
• k_ref：参考波数 = 2π / λ_ref；单位 1/m。

III. 单位与量纲（Units & Dimensions）

• 基础单位：m, s, rad, 1。
• 到达时统一式量纲检查：
  T_arr = ( ∫ ( n_eff / c_ref ) d ell ) ⇒ [1]/[m·s^-1]·[m] = [s]。
• 相位统一式量纲检查：
  Phi = ( 2π / λ_ref ) ( ∫ n_eff d ell ) ⇒ [1/m]·[m] = [rad]。
• 结果与报表须随附量纲闭合报告（check_dim）。

IV. 写法与冲突名约束（Mandatory Conventions）

1. 路径显式：凡出现 T_arr/Phi，正文必须同时出现 gamma(ell) 与 d ell，并在数据/元数据记录 delta_form ∈ {general, factored}。
2. 到达时两种等价口径（统一示例）：
   • 常量外提：T_arr = ( 1 / c_ref ) * ( ∫ n_eff d ell )
   • 一般口径：T_arr = ( ∫ ( n_eff / c_ref ) d ell )
3. 禁止裸用：c、T、n；统一使用 c_ref、具体量名（如 T_arr / T_fil）、n_eff（或 n 但需明示单位）。
4. 冲突名：T_fil（张力）≠ T_trans（透射系数）；n（数密度）≠ n_eff（有效折射率），不得混用。
5. 括号与优先级：任何含除号/积分/复合算符的表达一律加括号；ln(·)、log10(·)、exp(·) 明确底数/函数。
6. 语种：公式、符号、定义禁用中文。

V. 规范示例（可直接粘贴）

• 到达时（一般口径）：T_arr = ( ∫ ( n_eff / c_ref ) d ell )。
• 相位累计：Phi = ( 2π / λ_ref ) ( ∫ n_eff d ell )。
• 相关性：r_phi = corr( Phi_ref , Phi_obs )（区间用 Fisher–z 变换后还原）。
• 守恒误差：ε_flux → 0 @ O(θ^2)（近轴假设下）。

VI. 机读注册（Symbols Registry, YAML 最小片段）

version: "1.0.0"

symbols:

- name: T_arr

kind: variable

unit: s

desc: arrival time

requires: { path: "gamma(ell)", measure: "d ell", delta_form: "general|factored" }

see: ["EFT.WP.Core.Equations v1.1:S20-1","EFT.WP.Core.Metrology v1.0:check_dim"]

- name: Phi

kind: variable

unit: rad

desc: accumulated phase

requires: { lambda_ref: m, path: "gamma(ell)", measure: "d ell" }

see: ["EFT.WP.Core.Equations v1.1:S21-2"]

- name: n_eff

kind: variable

unit: "1"

desc: effective refractive index along path

see: ["EFT.WP.Core.Terms v1.0:P10-3"]

- name: c_ref

kind: constant

unit: m/s

desc: reference propagation limit

see: ["EFT.WP.Core.Terms v1.0:P10-3"]

- name: lambda_ref

kind: constant

unit: m

desc: reference wavelength

see: ["EFT.WP.Core.Metrology v1.0:check_dim"]

VII. 结果页与数据侧的最小一致性要求

• 文内与数据 see[]/references[] 使用“卷名 + 版本 + 锚点（P/S/M/I）”，直指率 ≥ 90%。
• 导出清单包含 version 与量纲报告；路径表达显式 gamma(ell)、d ell，并记录 delta_form。
• 指标与单位在结果页逐项列明：ΔT_arr (s)、r_phi (1)、ε_flux (1)、p_dim (1)、Q (1)。