01-EFT.WP.Core.Terms v1.0 | 附录A 术语索引

目录 ／ 文档-技术白皮书 ／ 01-EFT.WP.Core.Terms v1.0

附录A 术语索引

I. 使用说明与排序规则

• 本索引按英文字母序排列，索引项包含：code、英文定义（以 def= 给出）、type、必要时 dim、ref（锚点；可被 resolve_ref 使用）、first（首次正式出现位置）。
• 公式、符号与定义一律英文与纯文本；所有内联量用反引号包裹；涉及路径与测度的表达显式写出 gamma(ell) 与 d ell。
• 页码由版式引擎依据锚点自动生成；跨卷引用采用固定格式，如 Core.Terms:Ch3:Fields 或 P70-4。

II. 字母序索引（A–Z）

A

• add_alias — def= register an alias that maps to a canonical symbol；type=api；ref: I10-2；first: Core.Terms:Ch8:I10-2
• approx — def= textual mark for numerical approximation；type=notation；ref: Ch1:Notation；first: Core.Terms:Ch1:Notation
• arrival_time(n_eff_path, ds, c_ref) — def= discrete implementation of T_arr integral；type=api；ref: I10-5, P70-4；first: Core.Terms:Ch8:I10-5
• avg_gamma[f] — def= ( 1 / L_gamma ) * ( ∫_gamma f d ell )；type=operator；dim=dim[f]；ref: Ch5:PathStats；first: Core.Terms:Ch5:Path
• avg_t[f; Δt] — def= time-windowed mean over window Δt；type=operator；dim=dim[f]；ref: Ch5:Stats, P70-6；first: Core.Terms:Ch5:Stats
• avg_V[f; V=Ω] — def= volume mean over region Ω；type=operator；dim=dim[f]；ref: Ch5:Stats；first: Core.Terms:Ch5:Stats

C

• c_ref — def= reference upper bound for propagation speed；type=constant；dim=[L T^-1]；ref: Ch4:c_ref, P70-4；first: Core.Terms:Ch4:Refs
• check_dim(expr) — def= return dimension string of expr；type=api；ref: I10-3；first: Core.Terms:Ch6:I10-3
• cov_t[f,g; Δt] — def= time-windowed covariance；type=operator；dim=dim[f] dim[g]；ref: Ch5:Stats；first: Core.Terms:Ch5:Stats
• curl[F] — def= spatial curl；type=operator；dom=F: R^3→R^3；rng=R^3；ref: Ch5:SpatialOps；first: Core.Terms:Ch5:Spatial

D

• d ell — def= path measure (arc-length differential)；type=measure；dim=[L]；ref: Ch3:Paths, P70-3；first: Core.Terms:Ch3:Paths
• Density — def= abstract density object in core vocabulary；type=object；ref: Ch2:Objects；first: Core.Terms:Ch2:Objects
• dim[X] — def= dimension operator returning [L^a T^b M^c]；type=notation；ref: Ch6:Dimensions；first: Core.Terms:Ch6:Dim
• div[F] — def= spatial divergence；type=operator；dom=F: R^3→R^3；rng=R；ref: Ch5:SpatialOps；first: Core.Terms:Ch5:Spatial
• D_ell f — def= directional derivative along gamma(ell)；type=operator；ref: Ch5:Path；first: Core.Terms:Ch5:Path

E

• e — def= elementary charge unit used for normalization；type=constant；dim=[I T]（system-dependent）；ref: Ch4:Refs；first: Core.Terms:Ch4:Refs
• export_terms(format="yaml") — def= export registered terms as a list；type=api；ref: I10-7；first: Core.Terms:Ch8:I10-7

G

• gamma(ell) — def= integration path parameterized by arc length ell；type=path；ref: Ch3:Paths, P70-3；first: Core.Terms:Ch3:Paths
• gamma_ref(ell) — def= canonical calibration path；type=path；ref: Ch4:GammaRef；first: Core.Terms:Ch4:GammaRef
• grad[f] — def= spatial gradient；type=operator；dom=f: R^3→R；rng=R^3；ref: Ch5:SpatialOps；first: Core.Terms:Ch5:Spatial

H

• hat_ — def= prefix for estimator notation；type=notation；ref: Ch6:Scaling；first: Core.Terms:Ch6:Scaling

I

• IRef — def= opaque identifier for registered items；type=meta；fields={id, version, hash, created_at}；ref: Ch8:Conventions；first: Core.Terms:Ch8:Conventions

K

• k_T — def= conversion coefficient between tension scale and effective mass/energy scale；type=constant；ref: Ch4:k_T；first: Core.Terms:Ch4:k_T

L

• lap[f] — def= Laplacian = div[grad[f]]；type=operator；ref: Ch5:SpatialOps；first: Core.Terms:Ch5:Spatial
• L — def= locking loop length (topological length)；type=scalar；dim=[L]；ref: Ch2:Fields；first: Core.Terms:Ch2:Fields
• L_gamma — def= ∫_gamma 1 d ell (path length)；type=scalar；dim=[L]；ref: Ch3:Paths；first: Core.Terms:Ch3:Paths
• L0 — def= reference length scale for non-dimensionalization；type=constant；dim=[L]；ref: Ch6:ScalingB；first: Core.Terms:Ch6:Scaling

M

• m_ref — def= reference mass scale；type=constant；dim=[M]；ref: Ch4:Refs；first: Core.Terms:Ch4:Refs

N

• n(x,t) — def= particle number density；type=field；dim=[L^-3]（system-dependent）；ref: Ch2:Fields, P70-2；first: Core.Terms:Ch2:Fields
• n_eff(x,t) — def= effective refractive index；type=field；dim=dimensionless；ref: Ch3:Fields, P70-4；first: Core.Terms:Ch3:Fields
• normalize_symbol(token) — def= map token to canonical symbol；type=api；ref: I10-2；first: Core.Terms:Ch8:I10-2

P

• p(x,t) — def= unit-norm orientation vector field；type=field；constraint=|p|=1；ref: Ch2:Fields；first: Core.Terms:Ch2:Fields
• Pi_i — def= i-th Buckingham–Pi group；type=dimensionless group；ref: Ch6:PiGroups；first: Core.Terms:Ch6:Pi
• P70-1 … P70-6 — def= chapter-7 mandatory postulates on ambiguity prevention；type=postulate；ref: Ch7:P70；first: Core.Terms:Ch7:Postulates

R

• register_term(...) — def= register a term with code/type/unit/definition；type=api；ref: I10-1；first: Core.Terms:Ch8:I10-1
• register_unit(...) — def= register a unit with base/scale/dim；type=api；ref: I10-3；first: Core.Terms:Ch8:I10-3
• render_expr(expr, "text") — def= render an expression in textual style；type=api；ref: I10-4；first: Core.Terms:Ch8:I10-4
• resolve_ref(ref) — def= resolve cross-volume anchors；type=api；ref: I10-6；first: Core.Terms:Ch8:I10-6
• rho(x,t) — def= mass density field；type=field；dim=[M L^-3]；ref: Ch3:Fields；first: Core.Terms:Ch3:Fields

S

• Sea — def= background medium object of the weave system；type=medium；ref: Ch2:Objects；first: Core.Terms:Ch2:Objects
• sim — def= textual mark for similarity by dimensional analysis；type=notation；ref: Ch1:Notation；first: Core.Terms:Ch1:Notation
• STG — def= statistical tension gravity (effective statistical effect)；type=object；ref: Ch2:Objects；first: Core.Terms:Ch2:Objects

T

• T0 — def= reference tension scale；type=constant；ref: Ch6:ScalingC；first: Core.Terms:Ch6:Scaling
• t0 — def= reference time scale；type=constant；dim=[T]；ref: Ch6:ScalingA；first: Core.Terms:Ch6:Scaling
• T_arr — def= ( ∫_gamma ( n_eff / c_ref ) d ell )；type=scalar；dim=[T]；ref: Ch3:T_arr, P70-4；first: Core.Terms:Ch3:T_arr
• T_arr_ref — def= ( ∫_{gamma_ref} ( n_eff / c_ref ) d ell )；type=scalar；dim=[T]；ref: Ch4:GammaRef；first: Core.Terms:Ch4:GammaRef
• T_fil(x,t) — def= intrinsic tension field of the weave；type=field；ref: Ch3:Fields, P70-1；first: Core.Terms:Ch3:Fields
• T_trans — def= transmission coefficient (not tension)；type=scalar；ref: Ch7:Conflicts, P70-1；first: Core.Terms:Ch7:Conflicts
• TBN — def= tension background noise；type=object；ref: Ch2:Objects；first: Core.Terms:Ch2:Objects
• Tension — def= abstract tension object in core vocabulary；type=object；ref: Ch2:Objects；first: Core.Terms:Ch2:Objects
• TensionGrad — def= gradient-like descriptor of tension field；type=object/derived；ref: Ch2:Objects；first: Core.Terms:Ch2:Objects
• TensionPot — def= potential-like descriptor of tension field；type=object/derived；ref: Ch2:Objects；first: Core.Terms:Ch2:Objects

W

• WavePacket — def= localized wave packet entity；type=object；ref: Ch2:Objects；first: Core.Terms:Ch2:Objects
• w — def= winding number；type=scalar (integer)；ref: Ch2:Fields；first: Core.Terms:Ch2:Fields

其它前缀与记号

• bar_ — def= prefix for non-dimensionalized variables；type=notation；ref: Ch6:Scaling；first: Core.Terms:Ch6:Scaling
• tilde_ — def= prefix for perturbation variables；type=notation；ref: Ch6:Scaling；first: Core.Terms:Ch6:Scaling
• def= — def= sign marking a definition；type=notation；ref: Ch1:Notation；first: Core.Terms:Ch1:Notation

III. 禁用与冲突（索引化规则）

• 禁用符号（不得注册为术语或别名）："c", "T", "n"；ref: P70-1, P70-2, P70-4。
• 冲突对（互斥）：{ "T_fil", "T_trans" }, { "n_eff", "n" }, { "c_ref", "c_like" }；若同域并用触发 R1/R2（见 Ch7:Rules）。

IV. 逆索引（按章节首次出现）

• Ch2 基本对象与角色
  Thread, Sea, Density, Tension, TensionGrad, TensionPot, WavePacket, STG, TBN, p(x,t), L, w
• Ch3 场量与路径
  T_fil(x,t), rho(x,t), n(x,t), n_eff(x,t), gamma(ell), d ell, L_gamma, T_arr
• Ch4 常量与基准
  c_ref, k_T, m_ref, e, gamma_ref(ell), T_arr_ref
• Ch5 算符与统计
  grad[f], div[F], curl[F], lap[f], avg_t[·], avg_V[·], avg_gamma[·], var_t[·], cov_t[·], xcorr_t[·], D_ell f
• Ch6 维度与单位
  dim[X], [L], [T], [M], L0, t0, T0, bar_, tilde_, hat_, Pi_i
• Ch7 歧义规避
  P70-1 … P70-6, T_trans, c_like（仅作为冲突占位，不可用）
• Ch8 实现绑定接口
  register_term, add_alias, normalize_symbol, register_unit, check_dim, validate_expr, render_expr, arrival_time, resolve_ref, export_terms, IRef

V. 快速检索提示

• 查找到达时相关量：检索 T_arr, n_eff, c_ref, gamma(ell), d ell, avg_gamma；遵循 P70-3, P70-4, P70-5。
• 查找无量纲化映射：检索 L0, t0, T0, bar_, Pi_i；参见 Ch6:ScalingA/B/C 与 I10-3。
• 查找实现接口：检索 I10-*；参见 Ch8 的签名与错误码表。