51-管线卡 Template v1.0 | 第2章 术语与符号（管线最小集）

目录 ／ 文档-技术白皮书（V5.05） ／ 51-管线卡 Template v1.0

第2章 术语与符号（管线最小集）

I. 核心对象与拓扑（Objects & Topology）

• Pipeline：由阶段与有向边构成的处理流。
• DAG(V,E)：阶段集合 V 与依赖边集合 E 的有向无环图表示。
• Stage（阶段）：最小可执行单元；有输入契约与输出契约。
• Operator：阶段内部算子（可并行/并发）。
• Artifact：阶段产物（表/文件/报告/图）。
• Context (ctx)：执行上下文（参数、环境、幂等键、追踪标识）。
• Contract (Schema)：数据契约（字段/类型/单位/量纲/约束）。
• Idempotency Key：幂等键（确保 Exactly-Once 语义）。
• State Machine：state ∈ {pending, running, succeeded, failed, rolled_back}。

II. 数据与路径（Data & Path，若涉及路径量）

• gamma(ell)：路径参数化；单位 m。
• d ell：路径测度元素；单位 m。
• n_eff(ell)：有效折射率沿路径分布；无量纲 1。
• T_arr：到达时；单位 s。
• Phi：相位累计；单位 rad。
• 统一口径（两种等价）：
  T_arr = ( 1 / c_ref ) * ( ∫ n_eff d ell )；
  T_arr = ( ∫ ( n_eff / c_ref ) d ell )。
• 相位：Phi = ( 2π / λ_ref ) * ( ∫ n_eff d ell )。

路径量在正文必须显式 gamma(ell) 与 d ell，并在数据侧记录 delta_form ∈ {general, factored}。

III. 参考量与单位（References & Units）

• c_ref：参考传播上限；m/s。
• λ_ref：参考波长；m。
• k_ref = 2π / λ_ref：参考波数；1/m。
• SI 与国际符号：m, s, rad, 1, Pa, N, J, Hz。
• 量纲闭合要求：p_dim = 1.0，附 check_dim_report.json。

IV. 性能与质量指标（KPIs & Quality）

• Latency_P50/P95：延迟分位（s）。
• Throughput：吞吐/带宽（按上下文）。
• ρ：资源利用度（1）。
• Q_res：稳健残差指标（1，越小越好）。
• p_dim：维度闭合通过率（1，=1 要求）。
• ε_flux：近轴守恒误差（1）。
• σ_y(τ)：Allan 偏差（1）。
• SLA/SLO：服务级别目标（延迟/可用性/误差上限）。

V. 控制式与误差传播（Control & UQ）

• J：雅可比 ∂f/∂x |_{x̂}。
• Σ：协方差矩阵 Cov(x)。
• Δ法（阶段级一阶传播）：u^2(y) ≈ J · Σ · Jᵀ。
• 组合口径：u_c（合成标准不确定度），U = k · u_c（扩展不确定度）。
• 覆盖表示：k 覆盖/alpha 显著性/quantile[p_lo,p_hi]。

VI. 幂等与容错（Idempotency & Faults）

• idempotency_key：去重/幂等执行键。
• retry_policy：重试策略 {max_retries, backoff, deadline}。
• checkpoint：检查点/回放标记。
• 错误分类：E_INPUT/E_DIM/E_GATE/E_SYNC/E_UQ/E_INTERNAL。

VII. 质量门（Gates，管线级口径）

• G1 Schema 完整；G2 引用合规（锚点直指率 ≥ 90%）；G3 路径规范；G4 量纲闭合；
• G5 新鲜度；G6 覆盖口径；G7 协方差一致；G8 唯一性。
• 停止准则：S1–S5（量纲失败/新鲜度失效/路径缺失/协方差失配/引用不合规）。

VIII. 写法与冲突名（Style & Conflicts）

• 反引号包裹内联符号（如 T_arr、Phi、n_eff、c_ref）。
• 括号强制：含除号/积分/复合算符必须加括号。
• 冲突名：T_fil（张力）≠ T_trans（透射系数）；n（数密度）≠ n_eff（有效折射率）。
• 禁止裸用：c、T、n。

IX. 机读最小片段（Machine-Readable Snippets）
A. 阶段规格 stage.yaml

version: "1.0.0"

stage:

id: "stage-30-arrival"

inputs: ["path.gamma_ell","path.d_ell","medium.n_eff_profile","ref.c_ref"]

outputs: ["obs.T_arr"]

control:

form: "T_arr = ∫ ( n_eff / c_ref ) d ell"

delta_form: "general"

quality_gates: ["G1","G3","G4"]

see:

- "EFT.WP.Core.Equations v1.1:S20-1"

- "EFT.WP.Core.Metrology v1.0:check_dim"

B. 计算图 pipeline_graph.json（节选）

{

"nodes":[{"id":"ingest"},{"id":"calibrate"},{"id":"arrival"}],

"edges":[{"from":"ingest","to":"calibrate"},{"from":"calibrate","to":"arrival"}],

"idempotency_key":"run_id+partition"

}

C. 验证报告 validate_report.json（节选）

{
  "gates": {
    "G1": true,
    "G2": 0.93,
    "G3": true,
    "G4": true,
    "G5": true,
    "G6": true,
    "G7": true,
    "G8": true
  }
}

X. 规范示例（Normative Examples）

• 路径一致性：len(gamma_ell)=len(d_ell)=len(n_eff)≥2；Δell ≤ ( c_ref / f_s ) / max(n_eff)。
• 相位口径：对齐参考窗后再计算 r_phi；区间用 Fisher-z 变换后还原。
• 结果页字段：Latency_P95, Throughput, Q_res, p_dim, ε_flux, σ_y(τ)。

XI. 结果页与引用（Results & Refs）

• 图表双份导出：PDF/SVG 与 PNG；轴单位显式；图注含 see[]/version。
• 引用固定格式：见《<卷名> vX.Y》<章节> <锚点>，优先 P/S/M/I，禁止外链与别名。