01-EFT.WP.Core.Terms v1.0 | 第7章 歧义规避与冲突清单

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

第7章 歧义规避与冲突清单

I. 章目标与范围

• 建立跨卷统一的歧义规避规则与冲突清单，形成可执行的校验口径，与《第1–6章》以及实现层 I10-1…I10-7 对齐。
• 输出强制公设 P70-* 与冲突校验规则 6 条，覆盖符号、路径、量纲、统计、命名与引用六个方面；所有符号与定义遵循纯文本写法与括号规则。

II. 冲突矩阵（总览）

• 符号对冲突
  T_fil ↔ T_trans；n ↔ n_eff；c_like ↔ c_ref；p（向量）↔ p_i（分量）
• 结构性冲突
  省略路径与测度：gamma(ell)、d ell；误用统计窗口：avg_t[·; Δt]、avg_V[·]
• 量纲与单位冲突
  未注册单位/量纲；到达时被积项不闭合：( n_eff / c_ref ) * d ell
• 引用与编号冲突
  误用/缺失 Pxx-? / Sxx-? / Mx-? / Ixx-?；跨卷引用口径错误

III. 强制公设（P70- 系列）

• P70-1 Symbol Exclusivity
  T_fil def= intrinsic tension field；T_trans def= transmission coefficient；二者语义互斥，禁止复用或省略后缀。
• P70-2 Refractive Separation
  n_eff(x,t) def= effective refractive index；n(x,t) def= particle number density；任一到达时表达仅允许 n_eff。
• P70-3 Path Explicitness
  任一线积分必须显式 gamma(ell) 与 d ell，且给出 L_gamma = ∫_gamma 1 d ell。
• P70-4 Timing Canonicality
  到达时统一口径：T_arr(gamma) def= ( ∫_gamma ( n_eff / c_ref ) d ell )；常量外提：T_arr = ( 1 / c_ref ) * ( ∫_gamma n_eff d ell )。
• P70-5 Dimensional Closure
  被积项 ( n_eff / c_ref ) * d ell 无量纲；路径积分后 dim[T_arr] = [T]；所有单位须在 I10-3 注册。
• P70-6 Windowed Statistics
  统计量必须声明窗口与测度：avg_t[f; Δt]、avg_V[f; V=Ω]；严禁暗含窗口或默认域。

IV. 冲突对与修正规则（错例—正例）

1. C1：T_fil/T_trans
   • 误：T = ...（同一上下文用以指代张度与透射）
   • 正：T_fil(x,t) = ...；T_trans(·) = ...（不同语义分离）
2. C2：n/n_eff
   • 误：T_arr = ( ∫ ( n / c_ref ) d ell )
   • 正：T_arr = ( ∫ ( n_eff / c_ref ) d ell )
3. C3：c_like/c_ref
   • 误：T_arr = ∫ n_eff d ell / c（裸 c、缺括号）
   • 正：T_arr = ( 1 / c_ref ) * ( ∫ n_eff d ell )
4. C4：路径省略
   • 误：∫ n_eff dl
   • 正：∫_gamma n_eff d ell，并在上下文定义 gamma(ell) 与 L_gamma
5. C5：向量标记
   • 误：用加粗或箭头表示向量 p
   • 正：p(x,t) 或分量 p_i，并声明 |p| = 1
6. C6：统计口径
   • 误：avg_t[f]（未声明窗口）
   • 正：avg_t[f; Δt]；体平均写作 avg_V[f; V=Ω]

V. 量纲与单位冲突（检测与修复）

1. 检测要点
   • check_dim("( n_eff / c_ref ) * d_ell") -> "[T^0]"；∫_gamma (...) d ell -> "[T]"。
   • dim[avg_t[f; Δt]] = dim[f]；dim[var_t[f; Δt]] = dim[f]^2。
2. 修复路径
   • 缺注册 → register_unit(...)；
   • 被积项不闭合 → 核对 c_ref 与 d ell；
   • 无量纲化混用 → 在同一推导域仅保留一种坐标族（如 bar_ell 或 ell）。

VI. 引用与编号歧义（统一口径）

1. 规则
   • 公设用 Pxx-?；方程用 Sxx-?；计量用 Mx-?；实现用 Ixx-?。
   • 本章新增锚点：P70-1…P70-6。
2. 示例
   • 到达时引用：见 本卷 第3章 T_arr 定义；符合 P70-4。
   • 计量窗口：见 本卷 第5章 统计；符合 P70-6。
   • 单位注册：见 本卷 第6章 与 I10-3。

VII. 术语寿命与作用域（临时符号治理）

1. 规则
   • 临时符号使用 tmp_ 前缀，生命周期限制在当前小节结尾；
   • 跨节量一律登记为正式术语并通过 I10-1 register_term(...)。
2. 示例
   • 正：tmp_alpha def= local smoothing factor (cleared at section end)
   • 误：在后续章节继续使用未登记的 alpha

VIII. 自动校验与实现绑定（I10- 接口映射）

1. 表达式与符号
   • validate_expr(expr, allowed)：禁止出现 { T, c, n } 等裸多义符号；允许 { T_fil, T_trans, n_eff, c_ref, gamma, d ell }。
   • normalize_symbol(token)：将别名规约为规范名（如 n_effective -> n_eff），与 P70-2 对齐。
2. 冲突扫描（建议实现）
   lint_conflicts(expr:str) -> list[code]
   • C1_TensionMix：T_fil 与 T_trans 同域出现
   • C2_RefracMix：n 用于到达时被积项
   • C3_PathOmitted：缺 gamma(ell) 或 d ell
   • C4_DimOpen：check_dim 不闭合
   • C5_StatWindowMissing：缺 Δt 或 Ω
   • C6_RawConstant：使用裸 c
3. 最小工作序列
   • validate_expr("T_arr = ( ∫ ( n_eff / c_ref ) d ell )", allowed=...) -> True
   • validate_expr("T_arr = ∫ n d ell / c", allowed=...) -> False
   • lint_conflicts(...) 返回 {C2_RefracMix, C3_PathOmitted, C6_RawConstant}

IX. 冲突校验规则 6 条（可执行）

• R1：张度—透射隔离
  断言：symbols_in(ctx) ∩ {"T_fil","T_trans"} ≤ 1。违反 → C1_TensionMix。
• R2：到达时折射口径
  断言：被积项仅含 n_eff，且 c_ref 显式出现：match("∫ ( n_eff / c_ref ) d ell")。违反 → C2_RefracMix 或 C6_RawConstant。
• R3：路径显式
  断言：所有线积分均含 gamma(ell) 与 d ell。违反 → C3_PathOmitted。
• R4：量纲闭合
  断言：check_dim("( n_eff / c_ref ) * d_ell") == "[T^0]" 且 dim[∫ ...] == "[T]"。违反 → C4_DimOpen。
• R5：统计窗口
  断言：avg_t、avg_V、var_t、cov_t 等均声明窗口或域。违反 → C5_StatWindowMissing。
• R6：坐标族一致
  断言：同一推导域内不混用 bar_ell 与 ell、bar_x 与 x。违反 → 统一到单一坐标族并声明映射。

X. 发布前检查清单

• 是否满足 P70-1…P70-6，且未触发 {C1…C6}。
• 是否所有到达时表达均写作 T_arr = ( ∫ ( n_eff / c_ref ) d ell ) 或其常量外提形式。
• 是否路径、窗口、单位、量纲均已在 I10-3 注册并通过 check_dim。
• 是否跨卷引用采用固定格式并指向正确的 P/S/M/I 锚点。
• 是否消除裸多义符号与未闭合的被积项。

本章小结
本章以 P70-* 公设与 6 条可执行规则，系统封堵了 T_fil/T_trans、n/n_eff、c_ref/c_like、路径省略、统计窗口与量纲闭合等高频歧义，配套 I10-* 接口形成自动化审校通路。后续写作与评审应以本章清单为强制门禁，确保跨卷文本与实现的一致性与可验证性。