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；凡数值字段必须可通过量纲与单位一致性校验。
增量术语（本卷最小增量集）：
术语/符号 | 定义（中文） | 量纲/单位 | 依赖/锚点 |
|---|---|---|---|
dataset_card | 描述数据集来源、结构、质量与发布口径的机器可读/可审计卡片 | — | 《Core.DataSpec v1.0》Ch.1 P10-* |
export_manifest | 数据发布清单，含版本、引用与完整性信息 | — | 《Core.DataSpec v1.0》Mx-* |
c_ref | 参照传播上限 | m·s⁻¹ | 《Core.Metrology v1.0》check_dim |
T_arr | 到达时 | s | 《Core.Equations v1.1》Ch.2 S20-* |
n_eff | 有效折射率（路径依赖） | — | 《Core.Equations v1.1》S20-* |
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 的依赖口径
- 两种等价表达：
- 常量外提：T_arr = ( 1 / c_ref ) * ( ∫ n_eff d ell )
- 一般口径：T_arr = ( ∫ ( n_eff / c_ref ) d ell )
- 登记要求：凡出现 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。