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. 字段/量纲表（最小模板）
名称 | 符号 | 单位 | 量纲 | 定义/说明 | see |
|---|---|---|---|---|---|
输入 | x | 按数据契约 | 按数据契约 | 复现实验输入张量 | Dataset Ch.4 |
目标 | y | 任务相关 | 任务相关 | 真值/评测目标 | Dataset Ch.4 |
模型 | f_θ(x) | — | — | 参数化函数 | Model Ch.4 |
到达时 | T_arr | s | T | 路径积分时间 | S20-1 |
相位 | Phi | rad | 1 | 路径积分相位 | S21-2 |
扩展不确定度 | U | 目标同 | 目标同 | U = k·u_c 或分位带 | EB Ch.8 |
协方差 | Σ | 目标² | 目标² | 不确定度协方差 | EB Ch.5 |
维度闭合 | p_dim | 1 | 1 | 量纲一致性判定 | Metrology |
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%，无外链与别名。