12-EFT.WP.Methods.Repro v1.0 | 附录A 统一术语与符号

目录 ／ 文档-技术白皮书 ／ 12-EFT.WP.Methods.Repro v1.0

附录A 统一术语与符号

I. 范围与目标

• 本附录统一全卷术语、符号与表达口径，覆盖时间与到达时、随机与复现度量、谱与窗口、环境锁定与签名、并发与运行观测、基准与评分、变更与发布等域，确保跨章交叉引用的一致性与可取证性。
• 所有内联量以反引号包裹，含除号、积分或复合算符强制显式括号与测度声明，量纲与单位按本附录口径执行。

II. 记号与基本约定

• 集合、序列与区间：{·} 为集合，[a,b] 为闭区间，x[0:N) 为半开区间序列。
• 范数与内积：norm( x ) 为二范数；<x,y> 为内积；相关处默认实域。
• 概率与期望：Pr(·)，E[·]，方差 var( · )。
• 积分路径与测度：曲线 gamma(ell)，弧长测度 d ell；面、体测度分别为 dS、dV。
• 单位与校核：check_dim(expr) 为量纲校核；无量纲以 1 表示；频率 Hz，时间 s，长度 m，概率与相似度 1。

III. 统一符号清单（分域）

1. 时间与时基
   • tau_mono：单调内部时基（s）。
   • ts：对外发布时标（s），与 tau_mono 线性映射。
   • alpha, beta：时基映射系数，ts = alpha + beta * tau_mono。
   • r_tb：时基残差归一量，r_tb = ( norm( ts - ( alpha + beta * tau_mono ) ) / norm( ts ) )（1）。
   • T_arr：到达时，两口径并行给出（s）。
   • c_ref：参考相速（m/s）。
   • n_eff(x,t)：有效折射率（1）。
   • gamma(ell)，d ell：传播路径与测度。
2. 随机与确定性
   • seed：随机源种子（整数或字节序列）。
   • gate.rep：复现通过门（布尔），由门限集判定。
   • E_NONDETERMINISM：非确定性异常枚举名。
   • 生成器族与库版本需与 EnvLock 绑定记录。
3. 复现与度量
   • delta_rep = ( norm( y_new - y_ref ) / norm( y_ref ) )（1）。
   • R_coef = 1 - delta_rep（1）。
   • delta_psd：谱差异度量（1），参见 V 节定义。
   • eps_norm：归一化误差（1）。
   • eps_mass：物理守恒残差（1）。
   • score：基准合成分（1），权重式定义见第8章。
   • CI_score：score 的置信下界（1）。
4. 谱与窗口
   • S_xx(f)：信号 x 的单边功率谱密度（单位随归一化，默认 1/Hz）。
   • U_w：窗口能量归一化因子（1）。
   • ENBW：等效噪声带宽（Hz）。
   • f：频率（Hz），积分域显式声明。
5. 环境与签名
   • EnvLock：环境锁定对象。
   • hash(·)：密码学散列函数。
   • fingerprint：产物指纹，含内容与关键元信息的哈希。
   • anchor：发布/回退锚点，基于环境与工件联合指纹。
   • H_k，sig_k：审计链第 k 节点哈希与签名。
6. 并发与运行观测
   • TS.*：运行观测字段命名空间（如 TS.latency.p50、TS.thrpt、TS.error_rate）。
   • hb：心跳事件。
   • bp：背压标志。
   • makespan，critical path：工序完工时间与关键路径。
7. 卡片与报告对象
   • PipelineCard：管线卡（结构化描述流程与版本）。
   • ParamCard：参数卡（结构化参数与约束）。
   • BenchReport，RepReport：基准与复现报告。
   • MigPlan，DiffMatrix，CutoverReport，RollbackReport：变更相关工件。
   • ScoreSummary(old,new)：分数对照摘要。
8. 变更与通道
   • version = MAJOR.MINOR.PATCH：语义化版本。
   • channel ∈ {canary, stable, LTS}：发布通道。
   • compat flag：兼容旗标集合。
   • W_mig，T_dep，T_grace：迁移窗口、弃用生效时刻与宽限期。
   • budget = { b_rep , b_psd , b_tb , b_mass }：差异预算。

IV. 冲突名与口径（强制约束）

• T_fil 仅指张力；T_trans 仅指透射系数；两者不得混作时间或传输时延符号。
• n 仅指数密度；n_eff 仅指有效折射率；涉及 T_arr 的表达仅允许使用 n_eff。
• score 为多指标合成分；R_coef 为单一结果相对一致性指标，二者不可互称。
• seed 与 nonce 不等价；本卷仅使用 seed 描述可重放随机源。
• ts 为外部时标；内部仅使用 tau_mono；任何跨设备/节点比较先映射到公共 ts。

V. 示例表达与量纲

1. 到达时两口径
   • 常量外提：T_arr = ( 1 / c_ref ) * ( ∫_{gamma(ell)} n_eff d ell )（s）。
   • 一般口径：T_arr = ( ∫_{gamma(ell)} ( n_eff / c_ref ) d ell )（s）。
   • 差异量：delta_form = ( | T_arr(const) - T_arr(general) | / max( |T_arr(const)| , |T_arr(general)| ) )（1）。
2. 时基映射与残差
   • ts = alpha + beta * tau_mono（s）。
   • r_tb = ( norm( ts - ( alpha + beta * tau_mono ) ) / norm( ts ) )（1）。
3. 复现度量
   • delta_rep = ( norm( y_new - y_ref ) / norm( y_ref ) )，R_coef = 1 - delta_rep（1）。
   • var( x ) ≈ ( ∫ S_xx(f) df )，在 S_xx(f) 与 x 的归一化口径一致时成立。
4. 谱差异与窗口
   • delta_psd = ( ∫ | S_xx(f) - S_yy(f) | df ) / ( ∫ S_xx(f) df )（1），频带与加窗一致。
   • ENBW = ( ( Σ w[n]^2 ) / ( Σ w[n] )^2 ) * Fs（Hz），Fs 为采样率（Hz），w[n] 为窗口。
   • U_w = 1 / ( Σ w[n] / N ) 或按章节指定归一化口径（1）。
5. 环境与签名
   • EnvLock = hash( OS || kernel || drivers || libs || compiler || cpu_id || gpu_id || flags || rng_family )。
   • fingerprint = hash( bytes(artifact) || meta )。
   • anchor = hash( EnvLock || PipelineCard || ParamCard || fingerprint )。

VI. 组合口径与锁定字段最小集

1. 环境锁定最小字段
   OS、kernel、driver、libc、数值库与加速栈版本、cpu_id/gpu_id、编译器与编译标志、rng_family 与 seed 策略、并发开关（omp/threads）与 TS.* 采样频率。
2. 卡片最小字段
   • PipelineCard：步骤 DAG、输入输出锚点、EnvLock 绑定、版本与通道、观测点与告警规则。
   • ParamCard：参数名、值、单位、量纲、范围、默认值、约束关系与引用路径。
3. 审计链最小字段
   事件时间 ts、操作者与角色、变更摘要、H_k/sig_k、影响面与差异摘要、可回退 anchor。

VII. 门限与通过条件（回顾性定义）

1. 复现门 gate.rep
   • 硬门：delta_rep <= b_rep ∧ delta_psd <= b_psd ∧ r_tb <= b_tb ∧ eps_mass <= b_mass。
   • 软门：lower( CI_score ) >= tau_score 且 score_new - score_old >= -tau_reg。
2. 评分合成（概要）
   score = w1*( 1 - Delta_agg ) + w2*( 1 - PSD_agg ) + w3*( 1 - TB_agg ) + ...，权重 w* 满足 Σ w* = 1。

VIII. 跨卷与跨章引用锚点

• 时基与海面参照：见《Core.Sea》之时基口径与参考基准。
• 谱口径与计量：见《Core.Metrology》之 S_xx(f)、U_w、ENBW 定义与实验流程。
• 并发与运行观测：见《Core.Threads》之 TS.*、hb、bp、critical path 语义。
• 守恒与最小方程：见《Core.Equations》统一守恒框架与校核流程。

IX. 符号索引与命名规则

• 统一以小写英文字母加下划线或驼峰命名，常量与枚举使用全大写或驼峰枚举名。
• 频域量以下标 xx 标识自谱，互谱以 xy；窗口相关量以后缀 _w 指示。
• 事件与卡片使用名词短语，报告使用 *Report，计划使用 *Plan，摘要使用 *Summary。

X. 版本与变更策略（本附录）

• 本附录的任何口径变动属于 MAJOR 级变更；新增符号且不破坏既有口径属于 MINOR；勘误属于 PATCH。
• 变更同时更新 CHANGELOG、跨章引用与 anchor，并在第9章审计轨登记 H_k/sig_k。