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 合成口径。