54-复现实验清单 Template v1.0 | 第2章 术语与符号（复现最小集）

目录 ／ 文档-技术白皮书 ／ 54-复现实验清单 Template v1.0

第2章 术语与符号（复现最小集）

I. 目标与范围（Purpose & Scope）

• 给出复现实验所需的最小术语集与统一符号/单位/量纲口径，用于环境锁定、数据快照、训练/推理、评测与发布各环节的机读与人工校核。
• 凡涉及路径量（到达时/相位），正文显式路径 gamma(ell) 与测度 d ell，数据侧记录 delta_form ∈ {general, factored}；所有表达括号化；发布要求 p_dim = 1.0 并随附 check_dim_report.json。

II. 术语（Terms）

• MRB（Minimal Reproducible Bundle）：最小可复现包。
• env lock：环境锁定（硬件/OS/驱动/容器/框架/时钟源）。
• data snapshot：数据快照（来源、Schema、Splits、校验和、许可）。
• weights manifest：权重与参数清单（版本/签名/新鲜度策略）。
• coverage：区间口径，三选一：k / alpha / quantile。
• gate / stop：质量门与停止条件（G1–G8 / S1–S5）。
• lineage DAG：血缘图（节点/边含 version/checksum）。
• idempotency key：幂等键，用于命令/接口重放等价性。

III. 符号（Symbols，最小集）

• 数据与模型：x（输入），y（目标），f_θ(x)（模型），θ（参数），L（损失）。
• 评测与质量：ACC、AUC、MAE、RMSE、Q_res（稳健残差），Latency_P95、Throughput。
• 不确定度与协方差：u(x)（标准不确定度），u_c（合成标准不确定度），U = k·u_c（扩展不确定度），Σ（协方差）。
• 路径相关：gamma(ell)（路径），d ell（测度），n_eff(ell)（有效折射率），c_ref（参考传播上限），λ_ref（参考波长），T_arr（到达时），Phi（相位）。
• 维度闭合：p_dim（量纲一致性通过率，要求 = 1.0）。

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

• SI/国际符号：m, s, rad, 1, m/s, 1/m, Pa, N, J, Hz。
• 所有字段在清单/表格中必须给出 unit 与（或）在契约中声明量纲 dim。
• 复现实验前后均需运行 I70-dim_check 并产出 check_dim_report.json；发布要求 p_dim = 1.0。

V. 路径量统一口径（Normative Path Forms）

• 到达时（两式等价）：
  T_arr = ( 1 / c_ref ) * ( ∫ n_eff d ell )
  T_arr = ( ∫ ( n_eff / c_ref ) d ell )
• 相位累计：
  Phi = ( 2π / λ_ref ) * ( ∫ n_eff d ell )

执行核验前按“时间 → 路径 → 相位”顺序对齐；数组满足 len(gamma_ell)=len(d_ell)=len(n_eff)≥2；数据侧记录 delta_form。

VI. 写法与歧义规避（Mandatory Conventions）

• 反引号包裹内联符号与字段（如 f_θ(x)、T_arr、Phi、n_eff、c_ref、coverage.mode）。
• 括号强制：任何含除号/积分/复合算符的表达必须加括号；对数/指数/卷积写作 ln(·)、exp(·)、conv(·)。
• 冲突名强制：T_fil（张力）≠ T_trans（透射系数）；n（数密度）≠ n_eff（有效折射率）。
• 覆盖一致：在数据/模型/误差/管线/本卷间仅使用 k/alpha/quantile 之一，并在清单与图注声明。

VII. 字段/量纲表（最小模板）

VIII. 机读术语表（Machine-Readable Glossary，节选）

{

"version":"1.0.0",

"terms":[

{"name":"MRB","desc":"minimal reproducible bundle","see":["Repro Manifest"]},

{"name":"T_arr","unit":"s","dim":"T","norm":"(∫(n_eff/c_ref)d ell)","see":["EFT.WP.Core.Equations v1.1:S20-1"]},

{"name":"Phi","unit":"rad","dim":"1","norm":"((2π/λ_ref)∫n_eff d ell)","see":["EFT.WP.Core.Equations v1.1:S21-2"]},

{"name":"coverage","mode":["k","alpha","quantile"],"see":["Error Budget Card v1.0:Ch.8"]},

{"name":"p_dim","unit":"1","dim":"1","desc":"dimensional closure, require 1.0"}

]

}

IX. 反例与修正（Anti-Patterns & Fixes）

• 反例：T_arr = ∫ n_eff / c_ref d ell（缺括号） → 修正：T_arr = ( ∫ ( n_eff / c_ref ) d ell )。
• 反例：仅给 gamma(ell) 缺 d ell/delta_form → 修正：补齐并与 n_eff 等长。
• 反例：覆盖模式在跨卷不一致 → 修正：统一为单一模式并在清单与图注声明。
• 反例：字段缺单位/量纲 → 修正：补全 unit/dim 并通过 I70-dim_check。

X. 交叉引用（Cross-References）

• 《数据集卡》：Ch.4（Schema/单位/量纲）、Ch.6（Splits/Versioning）。
• 《模型卡》：Ch.3（术语符号）、Ch.4（控制式）、Ch.6（训练协议）。
• 《误差预算卡》：Ch.5/Ch.6/Ch.8（协方差与覆盖）。
• 《管线卡》：Ch.6（阶段控制式）、Ch.9（质量门）。
• 《参数注册卡》：Ch.4/Ch.6/Ch.8（单位/新鲜度/协方差组）。

XI. 勾选清单（Checklist）

• 内联符号均已反引号包裹；所有含除号/积分/复合算符表达已括号化。
• 路径量显式 gamma(ell)/d ell 且记录 delta_form；len(path) ≥ 2、Δell 合规。
• 字段单位/量纲在表中完整；p_dim = 1.0 校核通过并附 check_dim_report.json。
• coverage 模式在数据/模型/误差/管线/本卷统一；Σ PD。
• 所有引用以“卷名 + 版本 + 锚点（P/S/M/I）”，锚点直指率 ≥ 90%，无外链与别名。