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

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

附录A 统一术语与符号

I. 范围与目标

• 本附录汇总全卷通用术语、符号与合法组合，作为跨章交叉引用与实现绑定的唯一口径。适用对象涵盖假设与断言、统计检验、对抗与变异、在线守门、审计与合规、跨域一致性与版本发布。
• 约定：所有内联符号用反引号包裹；任意分式与复合算子加括号；任一积分显式域与测度；时间轴一律以单调时基对齐；发布前执行量纲核查。

II. 命名规则与书写约定

1. 分式与算子
   任意 a/b*c 写作 ( a / b ) * c；grad/div/curl 与积分一律以 ( · ) 围定。
2. 概率与期望
   条件概率/后验：p(y | x, theta)，p(theta | D)；期望：E_{p(z)}[ f(z) ]；连续域 ( ∫ f(z) p(z) dz )。
3. 路径与测度
   路径积分：( ∫_{gamma(ell)} f(ell) d ell )；体/面/线测度 dV/dS/d ell。
4. 时间与对齐
   单调时基 tau_mono；对外时戳 ts；映射 ts = alpha + beta * tau_mono。
5. 到达时两口径（常用示例）
   • 常量外提：T_arr = ( 1 / c_ref ) * ( ∫ n_eff d ell )
   • 一般口径：T_arr = ( ∫ ( n_eff / c_ref ) d ell )
6. 量纲与无量纲
   发布前执行 check_dim(expr)；log/exp/ln 的自变量须无量纲。
7. 统一编号
   公设 P51-*；最小方程 S52-*；计量流程 Mx-5*；实现绑定 I50-*。

III. 核心术语与定义

1. 基本对象
   • 假设 Hypothesis：被检验的命题集合。
   • 断言 Assertion：可观测量上的性质约束。
   • 预言器 Oracle：oracle(y_true, y_pred) -> score。
   • 检验 Test：( D, H0, H1, T(x), C_alpha ) 的五元组。
   • 形变关系 MR_k：x -> x_prime 的等价或保序映射。
   • 反例 CounterExample：违反断言的 x 或 (x, x_prime)。
   • 攻击 Attack：adversarial_attack(runtime, x, method, eps)。
2. 数据与域
   数据域 D，输入 X，输出 Y，参数 theta，运行时 runtime。

IV. 统计检验与错误控制符号

1. 假设检验
   • H0（零假设），H1（备择），检验统计量 T(x)，拒绝域 C_alpha。
   • 显著性与功效：alpha，beta，power = 1 - beta。
   • p_value，effect_size，等效性边界 delta_equiv。
2. 多重检验
   • 错误族率 FWER；错误发现率 FDR；门限 q_star；检验数 m；拒绝数 R；误拒绝数 V。
   • 定义：FDR = E[ ( V / max(R,1) ) ]。
3. 顺序/自适应检验
   SPRT；alpha-spending；停止/继续规则与已消耗显著性 alpha_spent。
4. 等效性检验
   TOST；通过条件示例：| effect_size | ≤ delta_equiv（按章内具体口径实现）。

V. 覆盖、突变与对抗符号

1. 覆盖与突变
   • 用例覆盖 cov_case；规格覆盖 cov_spec = ( |C_hit| / |C_total| )。
   • 杀伤率 kill_rate = ( |mut_killed| / |mut_all| )；突变体 mut_i。
2. 形变与负样本
   MR_k，fuzz，mutation，adversarial(epsilon)。
3. 对抗预算与范数
   epsilon_linf，epsilon_l2，attack_steps；资源预算 budget.cpu/gpu/mem，budget.power。
4. 输入级算子
   mutate(x; op, budget)。
5. 模型级算子
   gradient_attack，quantize_jitter。
6. 流水线级算子
   delay/jitter/failover。

VI. 在线守门与一致性符号

1. 时序与 SLO
   时延 TS.latency，吞吐 TS.thrpt，错误率 TS.error。
2. 守门决策
   GateDecision ∈ {pass, hold, block}。
3. 在线/离线一致性
   一致性差 delta_offon；推断可靠度 R_infer = 1 - delta_offon。
4. 双跑与非退化
   • 一致率 eq_rate = ( 1/N ) * Σ 1[ y_cand == y_base ]；
   • 距离度量 dist = ( 1/N ) * Σ L( y_cand_i , y_base_i )；
   • 非退化差 delta_baseline = ( score_cand - score_base )；非退化门 tau_nonreg；一致门 tau_eq；距离门 tau_dist。
5. 漂移度量
   D_KS，MMD；漂移显著性 alpha_drift。
6. 放量与回退
   放量曲线 blast_frac(t)；风险预算 risk_budget.change；回退触发 rollback_trigger，窗口 rollback_window。

VII. 环境、签名与可追溯性

• 环境锁与锚点
  EnvLock，anchor（数据/代码/参数/拓扑的联合定位点）。
• 指纹与哈希
  hash(·)，fingerprint。
• 签名卡片
  计算图签名 Graph.sig；参数卡 ParamCard.sig；推理流水线卡 InferPipelineCard.sig。
• 差异与审计
  差异卡 DiffCard；变更提案 ChangeProposal；证据包与审计轨 AuditTrail；CHANGELOG。
• 随机性记录
  rng.seed，rng_family；幂等要求在相同 anchor 与 EnvLock 下保持。

VIII. 风险、损失与证伪阈值

• 经验风险
  R_emp = ( 1/N ) * Σ L( y_i , y_hat_i )。
• 证伪差异与一致度
  断言差 delta_claim = ( score_claim - score_obs )；一致度 R_infer = 1 - delta_offon。
• 门限与拒绝
  典型拒绝准则：delta_baseline < - tau_nonreg，或 eq_rate < tau_eq，或 dist > tau_dist，或 TS.* 超阈。

IX. 合法组合与冲突名清单

1. 合法组合
   • T_arr 相关表达仅与 n_eff、c_ref、gamma(ell)、d ell 组合。
   • 在线对齐先做 ts = alpha + beta * tau_mono，再比较 delta_offon。
   • 形变检验与对抗攻击的报告需同时给出 epsilon_* 与 budget.*。
2. 冲突名（禁止混用）
   • T_fil（张力） vs T_trans（透射系数）。
   • n（数密度） vs n_eff（有效折射率）。

X. 统一编号映射与引用样式

• 编号段
  公设 P51-*，最小方程 S52-*，计量流程 Mx-5*，实现绑定 I50-*。
• 跨卷引用
  固定写法示例：见 配套白皮书《能量丝》 第x章 S/P/M/I…。

XI. 示例表达与量纲核查

1. 路径积分与常量外提
   • T_arr = ( 1 / c_ref ) * ( ∫ n_eff d ell )；
   • T_arr = ( ∫ ( n_eff / c_ref ) d ell )。
2. 在线一致性
   R_infer = 1 - delta_offon，其中 delta_offon 无量纲。
3. 检验功效
   power = P( reject H0 | H1 )；如涉及 log/exp/ln，其自变量须先作无量纲化。
4. 覆盖与杀伤
   cov_spec = ( |C_hit| / |C_total| )；kill_rate = ( |mut_killed| / |mut_all| )。

XII. 快速查找清单（按主题分组）

• 假设与检验：H0，H1，T(x)，C_alpha，alpha，beta，power，p_value，effect_size，delta_equiv，SPRT，alpha-spending。
• 多重检验：FDR，FWER，q_star，m，R，V。
• 覆盖与突变：cov_case，cov_spec，kill_rate，MR_k，mut_i，fuzz，mutation，adversarial(epsilon)。
• 对抗预算：epsilon_linf，epsilon_l2，attack_steps，budget.cpu/gpu/mem，budget.power。
• 在线守门：TS.latency，TS.thrpt，TS.error，GateDecision，delta_offon，R_infer，eq_rate，dist，tau_nonreg/tau_eq/tau_dist，D_KS，MMD，alpha_drift，blast_frac(t)。
• 环境与签名：EnvLock，anchor，hash(·)，fingerprint，Graph.sig，ParamCard.sig，InferPipelineCard.sig，DiffCard，AuditTrail，CHANGELOG，ChangeProposal，rng.seed/rng_family。

XIII. 兼容性与实施备注

• 任何新增符号须符合本附录书写约定与冲突名规则；跨章首次出现时在本附录登记。
• 统一以本附录口径生成 CoverageReport、RegressionReport、GateLogs 与审计项，确保可追溯、可复核、可取证。