13-EFT.WP.Methods.SimStack v1.0 | 前言

目录 ／ 文档-技术白皮书（V5.05） ／ 13-EFT.WP.Methods.SimStack v1.0

前言

I. 范围与目标

• 本卷给出连续近似（Sea/Density/Tension）与离散编织（Threads）的混合仿真栈（SimStack）之统一方法学与接口，固化从模型到运行到发布的最小闭环。
• 书写与编号一律沿用系列规范：小节以罗马数字加粗，项目符号用 “- 空格”，编号列表用 “1. 空格”；内联符号以反引号包裹，含除号/积分/复合算符一律加括号并显式声明路径 gamma(ell) 与测度 d ell。
• 到达时两口径作为跨卷锚点长期生效：T_arr = ( 1 / c_ref ) * ( ∫ n_eff d ell ) 与 T_arr = ( ∫ ( n_eff / c_ref ) d ell )。
• 本卷预留编号段：公设 P61-*，最小方程 S62-*，计量流程 Mx-6*，实现绑定 I60-*；跨卷引用固定写法：“见 配套白皮书《…》 第x章 S/P/M/I…”。

II. 读者与阅读路径

1. 目标读者
   • 建模与数值：关注核耦合、耦合推进、稳定性与误差控制。
   • 平台与并行：关注调度、背压、SLO 与可观测性 TS.*。
2. 建议先修
   《Core.Terms》《Core.Equations》《Core.Metrology》《Core.DataSpec》《Core.Threads》《Core.Sea》《Core.Density》，按总清单顺序阅读可获得统一口径与依赖闭环。

III. 编号段与跨卷接口

• 本卷采用并声明：P61-* / S62-* / Mx-6* / I60-*；与他卷交叉引用遵循统一格式并保持符号/单位一致。
• 时间基准与映射：内部以 tau_mono 评估延时/抖动，对外以 ts 发布；线性时钟模型 ts_i(t) = alpha_i * tau_mono + beta_i + epsilon_i(t) 作为默认标定框架。
• 若使用到达时进行时序校准，须并行计算两口径并报告差异 delta_form = | ( 1 / c_ref ) * ( ∫ n_eff d ell ) - ( ∫ ( n_eff / c_ref ) d ell ) |，同时记录 gamma(ell)、d ell、c_ref、n_eff。

IV. 统一定义与符号（前言固化）

• 路径与测度
  gamma(ell)：分段 C1 路径，ell ∈ [0, L_gamma]；d ell 为路径测度；L_gamma = ( ∫_gamma 1 d ell )；路径平均 avg_gamma[f] = ( 1 / L_gamma ) * ( ∫_gamma f d ell )。
• 到达时（统一模板）
  定义：T_arr(gamma) def= ( ∫_gamma ( n_eff / c_ref ) d ell )；常量外提：T_arr(gamma) = ( 1 / c_ref ) * ( ∫_gamma n_eff d ell )。
• 时间轴
  tau_mono（单调时钟，内部度量）；ts（UTC 发布）；二者满足线性映射并携带 offset/skew/jitter 估计。
• 冲突名强制
  T_fil（张力）与 T_trans（透射系数）不可混用；n（数密度）与 n_eff（有效折射率）严格区分。
• 测度显式
  任一积分必须指明域与测度，如 ( ∫_Omega p(x) dx ) = 1、( ∫_V rho(x,t) dV )、( ∫_{gamma(ell)} a(ell) d ell )。

V. 数学表达歧义规避（本卷执行）

• 书写公设
  内联符号反引号包裹；含除号/积分/复合算符一律加括号并显式 gamma(ell) 与 d ell；到达时两口径并列给出。
• 量纲守恒
  以 check_dim(expr) 验证 dim( ( n_eff / c_ref ) * d ell ) = [T]，禁止将 n 代替 n_eff。
• 时间轴对齐
  延时/抖动/重试以 tau_mono 计量，对外发布以 ts 记录；需要 hb 因果比较的跨设备事件先映射至 tau_mono。
• 两口径差异报告
  任何基于 T_arr 的校准或拟合必须报告 delta_form 并入清单字段。

VI. SimStack 方法族与栈层

1. 层级与对象
   • 连续核层：n_eff(x,t),rho(x,t) 与谱量 S_xx(f) 等可插拔物理核；
   • 离散编织层：Thread/Actor、执行图 G=(V,E)、hb 与背压 bp；
   • 耦合器层：跨域交换与一致性/幂等契约；
   • 执行与观测层：调度、配额与 TS.* 指标。
2. 典型接口族（预告编号 I60-*）
   • I60-1 couple_fields(...) 建立连续核—离散网耦合；
   • I60-2 exchange_packets(...) 按消息语义交换波包/通量/事件；
   • I60-3 advance_dt(...) 稳定性与步长控制；
   • I60-4 calibrate_arrival_time(...) 并行计算两口径并产出 delta_form；
   • I60-5 emit_metrics(...) 输出 TS.* 供 SLO 与回归。
   • （并发语义、队列与背压策略严格对齐《Core.Threads》运行流程与契约测试矩阵。）

VII. 数据与清单最小口径

1. 必备字段（随产物落盘）
   • measure/units/support/norm（域、测度、单位、归一化/守恒状态）；
   • 若涉及到达时：T_arr.{gamma, d ell, c_ref, n_eff, delta_form}；
   • 时基：ts 与 tau_mono 的对齐与不确定度。
2. 采集与频谱类清单字段（当适用）遵循窗口与 ENBW 口径并纳入 manifest。

VIII. 质量门与校准流程（提要）

• Mx-61 时间基准与到达时校准
  以线性时钟模型估计 alpha/beta，若采用 T_arr，则同时记录两口径与 delta_form。
• Mx-62 守恒/归一化检查
  概率密度归一化误差 eps_norm 与物理密度守恒残差 eps_mass 达标后方可发布。

IX. 交叉引用与依赖

• 并发域概念与指标继承《Core.Threads》；时序与 hb 语义按该卷第4章执行。见 配套白皮书《Core.Threads》 第4章 P74-/S74-/Mx-*。
• 到达时、时间基准与窗口口径承接《Core.Sea》；若以 T_arr 校准，需在谱估计或拟合前完成 tau_mono 对齐。见 配套白皮书《Core.Sea》 第3章 P83-/S83-。
• 测度、支集与单位规范承接《Core.Density》，严格执行“测度显式”与清单字段最小集。见 配套白皮书《Core.Density》 第1章 P91-* / 第2章 S92-*。

X. 版本与合规

• 本卷自 v1.0 起冻结核心口径与接口；任何增量修订以相容方式发布，并在附录记录差异与迁移指引（复现实验与管线合规遵循《Methods.Repro》）。

统一记号清单（前言固定，供全卷复用）

• 时间与路径：tau_mono，ts，gamma(ell)，d ell，T_arr，c_ref，n_eff(x,t)。
• 场量与密度：rho(x,t)，S_xx(f)；测度显式 dV/dS/d ell。
• 并发与执行：G=(V,E)，hb，bp，T_make(G)，TS.sli.*。
• 冲突名与口径：T_fil vs T_trans；n vs n_eff（强制隔离）。

两口径统一示例（前言锚点）

• 常量外提：T_arr = ( 1 / c_ref ) * ( ∫ n_eff d ell )
• 一般口径：T_arr = ( ∫ ( n_eff / c_ref ) d ell )
• 差异度量：delta_form = | ( 1 / c_ref ) * ( ∫ n_eff d ell ) - ( ∫ ( n_eff / c_ref ) d ell ) |。

禁混与书写纪律（强制）

• 任何章节出现 T_fil 与 T_trans、n 与 n_eff 概念，均按强制隔离规则执行；公式、符号与定义一律英文与纯文本表达。