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

目录 ／ 文档-技术白皮书（V5.05） ／ 43-EFT.WP.Data.DatasetCards v1.0

第2章 术语与依赖

I. 章节定位与覆盖

• 定位：给出本卷采用的通用术语来源、增量术语表、统一符号与量纲基线；明确跨卷依赖的版本与锚点写法。
• 覆盖：术语来源与版本锁定、符号与记号、字段命名风格与类型约束、跨卷依赖映射、引用与锚点规范、到达时 T_arr 的依赖口径、冲突名与保留名、机器可读依赖与校验。

II. 术语来源与版本锁定

• 通用术语来源：一律遵循《EFT.WP.Core.Terms v1.0》，本卷仅补充与数据集卡直接相关的增量术语。引用必须包含“卷名 + 版本号 + 章节/锚点”。示例：见《EFT.WP.Core.Terms v1.0》Ch.1 P10-*。
• 依赖卷的版本锁定：Core.Equations v1.1、Core.Metrology v1.0、Core.DataSpec v1.0 为默认最小依赖集；如需更高版本，须在本卷卡片元数据中显式声明。
• 条文级引用：优先引用 P/S/M/I 锚点，避免整卷泛引与别名。

III. 统一符号与量纲基线

• 内联符号：全部以反引号包裹（如 T_arr、c_ref、n_eff、phi(x,t)、Xi(x,t)）；含除号/积分/复合算符的表达必须加括号并显式声明路径 gamma(ell) 与测度 d ell，公式中禁用中文。
• 量纲/单位：采用《Core.Metrology v1.0》之 SI 与量纲校验流程 check_dim；凡数值字段必须可通过量纲与单位一致性校验。

增量术语（本卷最小增量集）：

IV. 字段命名风格与类型约束

• 命名风格：键名统一 snake_case；复数字段以数组表达（如 sources[]、modality[]）。
• 类型约束：在本卷 Schema 中以 type/enum/pattern/required 固化，并配套 Lint 规则。

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

• 术语/定义：EFT.WP.Core.Terms v1.0（Ch.1–Ch.2，P10-*）。
• 方程/口径：EFT.WP.Core.Equations v1.1（Ch.2，S20-*：到达时；涉及路径积分的最小表达）。
• 计量/单位/不确定度：EFT.WP.Core.Metrology v1.0（check_dim、误差合成流程 Mx-*）。
• 数据契约/导出：EFT.WP.Core.DataSpec v1.0（文件组织、发布与 export_manifest）。

VI. 引用与锚点规范

• 固定写法：见《<卷名> vX.Y》Ch.<章> <锚点>；锚点类型：公设 Pxx-?、最小方程 Sxx-?、计量流程 Mx-?、实现绑定 Ixx-?。
• 机器可读引用：数据/代码对象的 see[] 字段使用 "卷名 vX.Y:锚点" 写法，导出清单必须含 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"，并通过计量校验。依赖：《Core.Equations v1.1》Ch.2 S20-*、《Core.Metrology v1.0》check_dim。

VIII. 冲突名与保留名

• 冲突名强制：T_fil（张力）与 T_trans（透射系数）不可混用；n（数密度）与 n_eff（有效折射率）严格区分。
• 保留名示例：dataset_id、version、license、access、splits 等字段名为保留名，不得重定义含义；其约束在本卷 Schema 与 Core.DataSpec v1.0 中统一声明。

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

• see[] 字段（示例）：
• see:
• - "EFT.WP.Core.Equations v1.1:S20-1"
• - "EFT.WP.Core.Metrology v1.0:check_dim"
• - "EFT.WP.Core.DataSpec v1.0:TARR"

导出清单 export_manifest 必含：

version: "v1.0"

references:

- "EFT.WP.Core.Equations v1.1:S20-1"

- "EFT.WP.Core.Metrology v1.0:check_dim"

- "EFT.WP.Core.DataSpec v1.0:EXPORT"

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

X. 合规校验清单（本章）

• 所有术语均可回指《Core.Terms v1.0》或本章增量表，无别名与多义。
• 所有公式满足内联反引号、括号、路径/测度声明与禁用中文规则。
• 量纲/单位通过 check_dim 校验；涉及 T_arr 的卡片元数据含 delta_form、path、measure。
• 依赖卷全部带版本号并使用 P/S/M/I 锚点；导出清单含 references[] 与 version。