44-EFT.WP.Data.ModelCards v1.0 | 第2章 术语与依赖

目录 ／ 文档-技术白皮书 ／ 44-EFT.WP.Data.ModelCards v1.0

第2章 术语与依赖

I. 章节定位与覆盖

II. 术语来源与版本锁定

• 通用术语来源：一律遵循《EFT 技术白皮书与技术备忘模板 全面清单 v0.1》，本卷仅补充与模型卡直接相关的增量术语。引用必须包含“卷名 + 版本号 + 章节/锚点”。示例：见《EFT.WP.Core.Equations v1.1》Ch.2 S20-1。
• 固定依赖集（最小集合）：Core.Terms v1.0、Core.Metrology v1.0、Core.Equations v1.1、EFT.WP.Data.DatasetCards v1.0；如需更高版本，须在模型卡元数据中显式声明。
• 条文级引用：优先引用 P/S/M/I 锚点，避免整卷泛引与别名。

III. 统一符号与记号（模型卡增量）

• 内联符号：一律用反引号包裹（如 f_θ(x)、p(y|x,θ)、L(θ)、ŷ、z、T_arr、c_ref、n_eff）。含除号/积分/复合算符的表达必须加括号并显式声明路径 gamma(ell) 与测度 d ell；公式/符号/定义禁用中文。
• 训练/评测参数：η（学习率）、B（批大小）、s（随机种子）、M_param（参数量）、FLOPs、T_inf（单样本时延）。
• 概率与校准：ECE、Brier、q(y|x)（经校准分布）。
• 鲁棒与偏移：δ（扰动）、‖δ‖_p、τ（阈值）。

IV. 字段命名风格与保留名

• 命名风格：键名统一 snake_case；数组以 [] 表示复数字段。
• 保留名（不得重定义）：model_id、version、task、io_schema、architecture、training_data、preprocess、optimization、hyperparams、evaluation、calibration、robustness、fairness、safety、deployment、resources、export_manifest。

V. 跨卷依赖映射（最小依赖集）

• 术语/定义：EFT.WP.Core.Terms v1.0。
• 计量/单位/不确定度：EFT.WP.Core.Metrology v1.0（check_dim、误差预算流程）。
• 路径相关方程：EFT.WP.Core.Equations v1.1（Ch.2，S20-*：到达时；路径积分最小表达）。
• 数据事实/切分/质量：EFT.WP.Data.DatasetCards v1.0（引用数据来源与冻结切分）。

VI. 引用与锚点规范

• 固定写法：见《<卷名> vX.Y》Ch.<章> <锚点>；锚点类型：公设 Pxx-?、最小方程 Sxx-?、计量流程 Mx-?、实现绑定 Ixx-?。
• 机器可读引用：模型卡与代码/数据对象的 see[] 使用 "卷名 vX.Y:锚点"，导出清单 export_manifest 必须含 version 与 references[]。
• 禁止项：禁止短码/别名/缺版本引用。

VII. 到达时 T_arr 的依赖口径（如适用）

1. 两种等价表达：
   • 常量外提：T_arr = ( 1 / c_ref ) * ( ∫ n_eff d ell )
   • 一般口径：T_arr = ( ∫ ( n_eff / c_ref ) d ell )
2. 登记要求：凡涉及 T_arr，需在模型卡元数据登记 delta_form、path="gamma(ell)"、measure="d ell"，并通过计量校核 check_dim。

VIII. 冲突名与禁混用

IX. 机器可读依赖与实现绑定

• see[] 示例：
• see:
• - "EFT.WP.Core.Equations v1.1:S20-1"
• - "EFT.WP.Core.Metrology v1.0:check_dim"
• - "EFT.WP.Data.DatasetCards v1.0:EXPORT"
• 导出清单 export_manifest 要求：
• version: "v1.0"
• references:
• - "EFT.WP.Core.Equations v1.1:S20-1"
• - "EFT.WP.Core.Metrology v1.0:check_dim"
• - "EFT.WP.Data.DatasetCards v1.0:Ch.11"

（以上写法与《引用与交叉引用规范 v0.1》一致。）

X. 本章合规自检

• 全部引用含“卷名+版本号+章/锚点”，且优先指向 P/S/M/I。
• 数学表达使用反引号与括号；路径与测度显式声明；不出现中文。
• 量纲/单位校核 check_dim 通过；如涉及 T_arr，已登记 delta_form/path/measure。
• 键名采用 snake_case；保留名未被重定义；see[] 与 export_manifest.references[] 采用固定格式。