03-EFT.WP.Core.Parameters v1.0 | 前言

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

前言

I. 卷宗定位与目标

• 本卷聚焦参数体系的定义、组织与治理，核心对象为 theta、Theta、prior(theta)、post(theta|data)、C_eq/C_ineq、lb/ub 与 T_map。
• 目标：给出面向实施的参数词表、约束与变换规范、先验与推断口径，以及与方程/计量/术语卷的稳定绑定接口（I30-*）。
• 原则：不引入新的物理定律与场方程；关于场量与路径、到达时等关系，统一引用《Core.Terms》《Core.Equations》。

II. 读者与前置

1. 读者画像
   • 建模与推断工程师：负责 prior/L/post 设计与 infer_* 实施。
   • 领域科学家：提供物理可行域 Theta、边界 lb/ub 与本构超参数。
   • 平台与数值开发者：实现 I30-* 接口与回归基线。
2. 前置文献
   • 术语与符号：见《EFT.WP.Core.Terms v1.0》。
   • 最小方程与弱式：见《EFT.WP.Core.Equations v1.1》。
   • 单位与计量：见《Metrology.*》。

III. 范围与不做什么

1. 本卷覆盖
   • 参数命名与编号、公设与冲突表；参数域 Theta 与约束 C_eq/C_ineq；可逆变换 T_map。
   • 先验库与超参数口径；MLE/MAP/MCMC 的最小链路；Fisher 信息与可辨识性。
   • 协方差与不确定性传播；场景治理与版本追溯；跨卷绑定与导出格式。
2. 本卷不覆盖
   • 物理方程的推导与证明（见《Core.Equations》）。
   • 单位体系的创建与法制计量细节（见《Metrology.*》）。

IV. 统一记号与排版要点

1. 统一样式
   • 文中 公式、符号、定义一律英文与纯文本；内联符号用反引号，如 theta、Theta、prior(theta)、C_eq(theta)。
   • 任何带除号、积分或复合算符的表达一律加括号并声明路径 gamma(ell) 与测度 d ell。
2. 到达时两口径（跨卷示例）
   • 常量外提：T_arr = ( 1 / c_ref ) * ( ∫ n_eff d ell )
   • 一般口径：T_arr = ( ∫ ( n_eff / c_ref ) d ell )
3. 冲突名强制
   T_fil 与 T_trans 严格区分；n 与 n_eff 严格区分；禁止使用裸 c，使用 c_ref。
4. 编号与引用
   公设 Pxx-?，最小方程 Sxx-?，计量流程 Mx-?，实现绑定 Ixx-?；跨卷引用固定写法：“见 配套白皮书《能量丝》 第x章 S/P/M/I…”。

V. 跨卷关系与接口

• 与《Core.Terms》
  继承并复用 T_fil(x,t)、rho(x,t)、n(x,t)、n_eff(x,t)、gamma(ell)、d ell、c_ref 的定义与书写规则。
• 与《Core.Equations》
  通过 compute_jacobian(eqn, params)、check_dim(expr) 进行量纲闭合与灵敏度；propagate_uncertainty_mc 面向输出的传播。
• 与《Metrology.*》
  单位注册与校验通过 check_dim 落地；参数默认值与量纲在首次出现处声明单位。
• 实现绑定（本卷接口族）
  I30 1…I30 12：参数注册与别名、域与约束、先验与采样、变换与可逆性、推断与校准、识别度与协方差、不确定性传播、场景与版本、导入导出与回归。

VI. 产出物与使用方式

1. 产出物
   • 参数注册表（YAML/JSON）：name, code, type, unit, role, default, bounds, prior, transform, see。
   • 先验库与变换库：Normal/LogNormal/Beta/... 与 log/logit/softplus/zscore 的规范化入口。
   • 约束与可行集描述：Theta = { theta | C_eq=0, C_ineq ≤ 0 }。
   • 回归资产：export_params 导出、compare_param_sets 差分与基线。
2. 使用方式（最小序列）
   • register_param 与 set_bounds 完成参数入库与边界声明。
   • set_transform 与 set_prior 完成数值可行与统计口径配置。
   • 选择 infer_mle/infer_map/posterior_sample_mcmc，得到 theta 的点估计或样本。
   • 以 propagate_uncertainty_mc 将不确定性传至输出；必要时对接 compute_jacobian。
   • 通过 export_params 固化，进入回归基线与场景治理。

VII. 版本与追溯

• 版本语义
  自 v1.0 起采用“向后兼容的小版本增量”；参数字段扩展与先验族增补不破坏既有脚本。
• 追溯与治理
  通过 create_scenario/activate_scenario/diff_scenarios 管理场景；bump_version 记录演进；变更细目见附录B。

VIII. 阅读路线与示例指引

1. 推荐路线
   • 先读第1章的命名与编号公设（P31-*），掌握冲突清单与别名策略。
   • 按第3章配置 lb/ub 与 C_eq/C_ineq，选择合适 T_map。
   • 依据第4章选择先验与似然，使用第6章流程完成校准。
   • 用第7章传播不确定性，并在第8章纳入场景与版本治理。
2. 到达时相关示例（跨卷一致性）
   任何涉及 T_arr 的参数（如 c_ref、n_eff 的超参数）必须沿用括号完全体：T_arr = ( ∫ ( n_eff / c_ref ) d ell )，并显式声明路径 gamma(ell) 与测度 d ell。

IX. 合规声明

• 本卷所有参数名、集合名、函数原型、统计量、约束、先验/后验表达式 全面禁用中文；叙述性文本可用中文。
• 量纲闭合、路径显式与符号隔离等规则与《Core.Terms》《Core.Equations》保持同源一致，违者在 validate_param_set 与 check_dim 中被拒绝。