I. 目的与范围（Purpose & Scope）
- 给出模型卡全卷统一的术语定义、符号记号与单位/量纲口径，用于模型架构、训练协议、评测与部署各章的规范引用。
- 凡涉及路径量（到达时/相位），正文显式路径 gamma(ell) 与测度 d ell，数据侧记录 delta_form ∈ {general, factored}；发布要求 p_dim = 1.0。
II. 术语（Terms）
- sample：最小数据记录单元。
- feature：可供建模/分析的输入字段。
- label/target：监督目标字段或评测指标所依赖的真值。
- model f_θ(x)：以参数 θ 表示的函数近似。
- loss L：训练目标（含数据项与正则项）。
- inference：部署阶段的前向推理。
- uncertainty / coverage：不确定度与区间口径（k/alpha/quantile）。
- covariance Σ：输入或参数的不确定度协方差。
- pipeline/stage：执行图中的节点与其 I/O 契约。
III. 符号（Symbols，最小集）
- 模型与数据：x（输入），y（标签/目标），f_θ(x)（模型），θ（可训练参数），φ（特征映射），L（损失）。
- 评测与质量：ACC、AUC、MAE、RMSE、r_phi（相位一致性），Q_res（稳健残差）。
- 不确定度：u(x)（标准不确定度），u_c（合成标准不确定度），U = k·u_c（扩展不确定度），Σ（协方差）。
- 资源与性能：Throughput，Latency_P95，ρ（资源利用度）。
- 路径相关：gamma(ell)（路径），d ell（测度），n_eff(ell)（有效折射率），c_ref（参考传播上限），λ_ref（参考波长），T_arr（到达时），Phi（相位）。
IV. 单位与量纲（Units & Dimensions）
- SI/国际符号：m, s, rad, 1, m/s, 1/m, Pa, N, J, Hz。
- 字段/表达式必须给出单位与量纲（或在契约中声明），全卷通过 I70-dim_check 并随附 check_dim_report.json，发布要求 p_dim = 1.0。
- 资源/性能类量统一注明观测窗口与统计口径（如 Latency_P95@window=60s）。
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 )
正文显式 gamma(ell) 与 d ell；数据侧记录 delta_form；路径数组满足 len(gamma_ell)=len(d_ell)=len(n_eff)≥2。
VI. 书写规则与歧义规避（Mandatory Conventions）
- 反引号包裹内联符号（如 f_θ(x)、T_arr、Phi、n_eff、c_ref）。
- 括号强制：含除号/积分/复合算符的表达必须加括号；对数/指数/卷积写作 ln(·)、exp(·)、conv(·)。
- 冲突名：T_fil（张力）≠ T_trans（透射系数）；n（数密度）≠ n_eff（有效折射率）。
- 禁止裸用：c、T、n；需用 c_ref、T_arr（或具体量名）、n_eff。
- 覆盖一致：全卷仅在 k/alpha/quantile 三者中选其一，并在模型、数据、误差、管线四卷对齐。
VII. 字段/量纲表（最小模板）
名称 | 符号 | 单位 | 量纲 | 定义/说明 | see |
|---|---|---|---|---|---|
输入 | x | 见数据契约 | 见数据契约 | 模型输入向量/张量 | Dataset Ch.4 |
目标 | y | 任务相关 | 任务相关 | 监督目标/评测真值 | Dataset Ch.4 |
模型 | f_θ(x) | — | — | 参数化函数 | — |
到达时 | T_arr | s | T | 路径积分时间 | S20-1 |
相位 | Phi | rad | 1 | 路径积分相位 | S21-2 |
覆盖 | coverage | — | — | k/alpha/quantile 三选一 | EB Ch.8 |
协方差 | Σ | 目标相关 | 目标相关 | 不确定度协方差 | EB Ch.5 |
VIII. 机读术语表（Machine-Readable Glossary，节选）
{
"version":"1.0.0",
"terms":[
{"name":"sample","desc":"minimal record unit","see":["Dataset Card v1.0:Ch.4"]},
{"name":"f_theta","symbol":"f_θ(x)","desc":"parametric model","see":[]},
{"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"]}
]
}
IX. 反例与修正（Anti-Patterns & Fixes）
- 反例：T_arr = ∫ n_eff / c_ref d ell（缺括号） → 修正：T_arr = ( ∫ ( n_eff / c_ref ) d ell )。
- 反例：裸用 c、T、n → 修正：改为 c_ref、T_arr、n_eff 并注明单位/量纲。
- 反例：覆盖口径在模型/数据/误差卷不一致 → 修正：统一为单一模式并在清单中声明。
X. 交叉引用（Cross-References）
- 数据：数据集卡第4章（Schema/单位/量纲）、第6章（Splits/Versioning）。
- 误差：误差预算卡第5/6/8章（协方差与覆盖）。
- 管线：管线卡第6章（阶段控制式）。
- 参数：参数注册卡第4/6/8章（单位/新鲜度/协方差组）。
XI. 执行勾选清单（Checklist）
- 所有内联符号使用反引号，含除号/积分/复合算符表达已括号化。
- 路径量显式 gamma(ell)/d ell 并记录 delta_form；len(path) ≥ 2、Δell 合规。
- 字段单位/量纲在表中完整；全卷 coverage 模式统一。
- I70-dim_check 通过，p_dim = 1.0；引用锚点直指率 ≥ 90%，无外链与别名。