50-参数注册卡 Template v1.0 | 第2章 术语与符号（注册最小集）

目录 ／ 文档-技术白皮书（V5.05） ／ 50-参数注册卡 Template v1.0

第2章 术语与符号（注册最小集）

I. 变量与符号（Variables & Symbols, 最小集）

内联符号一律用反引号；凡涉及路径量必须显式 gamma(ell) 与测度 d ell，并在注册卡数据侧记录 delta_form ∈ {general, factored}。

• param_id：参数主键标识（snake_case），全局唯一。
• symbol：参数物理/数学符号（如 c_ref、λ_ref、τ_sys、n_eff）。
• domain：取值域与数据类型，含 type / unit / range / default / precision。
• lineage：来源/血缘（source_type、instrument、calib_run_id）。
• freshness：新鲜度/有效期（valid_from/valid_to、policy{tau_calib_s_max, clock_state}）。
• uncertainty：不确定度（type(A/B)、estimate、distribution、coverage{k 或 置信度}）。
• constraints：约束与依赖（depends_on[]、derived 控制式）。
• cov_group：协方差分组标签（与误差预算卡协同）。
• status：状态机（draft/stable/deprecated）。
• see[]/references[]/version：引用锚点与版本字段（卷名+版本+锚点，直指率 ≥ 90%）。

II. 统计与不确定度记号（Minimal UQ Notation）

• u(x)：标准不确定度；u_c：合成标准不确定度；U = k · u_c：扩展不确定度。
• E[x]、Var[x]、Cov(x,y)、ρ：期望、方差、协方差、相关系数。
• 区间类型：confidence / credible / quantile（须标注覆盖水平，如 k=2 或 [2.5%,97.5%]）。

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

• c_ref：参考传播上限，单位 m/s。
• λ_ref：参考波长，单位 m。
• k_ref = 2π / λ_ref：参考波数，单位 1/m。
• σ_y(τ)：Allan 偏差，单位 1（无量纲）。

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

• 基础单位与示例：m, s, rad, 1；Pa, N, J, Hz 等按 SI。
• 到达时维度检查：
  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]。
• 注册/发布要求：所有表达式通过 I70-dim_check，p_dim = 1.0，导出随附 check_dim_report.json。

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

• 括号与优先级：任何含除号/积分/复合算符的表达一律加括号；对数/指数/卷积统一写作 ln(·)、log10(·)、exp(·)、conv(·)。
• 路径显式：凡涉及 T_arr/Phi 的参数注册，正文必须出现 gamma(ell) 与 d ell，卡片记录 delta_form。
• 禁止裸用：c、T、n；统一使用 c_ref、具体量名（如 T_arr）、n_eff（或 n 但需明示单位）。
• 冲突名：T_fil（张力）≠ T_trans（透射系数）；n（数密度）≠ n_eff（有效折射率）；严禁混用。
• 语种：公式、符号、定义禁用中文；变量/算符/单位采用国际符号；表头用 snake_case。

VI. 统一口径示例（Normative Examples，可直接复用）

• 到达时（两种等价）：
  T_arr = ( 1 / c_ref ) * ( ∫ n_eff d ell )
  T_arr = ( ∫ ( n_eff / c_ref ) d ell )
• 相位累计：
  Phi = ( 2π / λ_ref ) * ( ∫ n_eff d ell )
• 新鲜度策略示例：
  policy: { tau_calib_s_max: 86400, clock_state: "locked" }。
• 协方差分组：
  cov_group: "timing"、"optics"、"medium" 等，用于跨卡合成。

VII. 符号与字段注册（Machine-Readable，YAML 最小片段）

version: "1.0.0"

param_card:

param_id: "REF-c_ref"

name: "reference_speed"

symbol: "c_ref"

domain: { type: "real", unit: "m/s", range: [2.9e8, 3.1e8], default: 2.99792458e8, precision: "float64" }

lineage: { source_type: "constant", method: "SI", instrument: "—", calib_run_id: "—" }

freshness: { valid_from: "2025-01-01T00:00:00Z", valid_to: "9999-12-31T23:59:59Z", policy: { tau_calib_s_max: 86400, clock_state: "locked" } }

uncertainty: { type: "B", estimate: 0.0, distribution: "degenerate", coverage: { k: 2 } }

constraints: { depends_on: [], derived: "" }

cov_group: "timing"

status: "stable"

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

version: "1.0.0"

VIII. 结果页与数据侧一致性（Consistency for Publishing）

• 文内与数据 see[]/references[] 采用“卷名 + 版本 + 锚点（P/S/M/I）”，锚点直指率 ≥ 90%；禁止外链与别名。
• 对路径量相关参数：正文显式 gamma(ell)、d ell；卡片记录 delta_form；len(path) ≥ 2、Δell 满足采样约束。
• 在注册表与结果页中统一列示单位/量纲与覆盖口径；对接误差预算卡的 cov_group 与 U = k·u_c 合成口径。