第2章 术语与符号(最小集)


I. 变量表(Variables)

说明:下列为 PTN 写作的最小变量集合;正文内一律使用反引号;凡涉及路径相关量需显式 gamma(ell) 与测度 d ell。


II. 常量表(Constants)

说明:常量在正文与数据对象中必须携带清晰来源与校核入口;禁止裸用。


III. 单位与量纲(Units & Dimensions)


IV. 冲突名清单与约束(Conflicts & Constraints)


附:最小符号注册表(可直接使用,示例)

version: "1.0.0"

symbols:

- name: T_arr

kind: variable

unit: s

desc: arrival time

requires:

path: "gamma(ell)"

measure: "d ell"

see:

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

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

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

- name: c_ref

kind: constant

unit: m/s

desc: reference propagation limit

see:

- "EFT.WP.Core.Terms v1.0:P10-3"

- name: n_eff

kind: variable

unit: "1"

desc: effective refractive index

see:

- "EFT.WP.Core.Terms v1.0:P10-3"

- name: T_fil

kind: variable

unit: "<by definition>"

desc: tension (not transmittance)

note: "must not be confused with T_trans"

- name: T_trans

kind: variable

unit: "1"

desc: transmittance (not tension)

- name: gamma(ell)

kind: path

unit: m

desc: propagation path parameterization

measure: "d ell"

- name: phi(x,t)

kind: field

unit: "<by context>"

desc: scalar field or observable

- name: Xi(x,t)

kind: field

unit: "<by context>"

desc: vector/tensor placeholder


书写示例(规范口径,便于直接复用)