27-EFT.WP.Packets.Light v1.0 | 第15章 用例与参考实现

目录 ／ 文档-技术白皮书 ／ 27-EFT.WP.Packets.Light v1.0

第15章 用例与参考实现

一句话目标：给出 5 个可复现的端到端用例（从物理→成帧→调制→传播补偿→交换/排队→计量→到达时一致化→运行发布），并绑定 P/S/M/I/C 与 manifest.packet.*，便于工程快速落地与审计。

I. 范围与对象

1. 覆盖用例
   • U15-A：城域 DWDM 光包传送（相干 100–400G，ROADM 级联）；
   • U15-B：数据中心内相干光互联（≥400G，短距/低时延）；
   • U15-C：城域 FSO 备份链路（天气自适应/可用率保障）；
   • U15-D：混合 OTN/包光网络（OCS+OPS 协同，保护与绕行）；
   • U15-E：实验室→生产清单化发布路径（A/B 与灰度回滚）。
2. 输入：各用例的链路与器件清单、RefCond、frame_spec、流量与 SLA。
3. 输出：端到端 manifest.packet.* 集合（phys/mod/label/comp/tarr/swrt/meas/queue/rt/sec）、契约报告与面板快照。
4. 边界：本章不重复公式推导，引用第2–14章对应 S/M/I/C。

II. 名词与变量

• Profile：用例配置档（制式、码率、路由/保护、阈值）。
• Artifacts：核/滤波/均衡与算法 hash，设备与段 hash，面板与证据 URI。
• KPIs：delta_form_*, OSNR/Q/EVM, T_arr*, lat_*, Avail, P_block/P_cont, FM_dB。
• 量纲：与前各章一致，发布前执行 check_dim( y - f(x) )。

III. 公设 P615-*

• P615-1（双口径贯通）：每个用例的关键量都以配置口径 vs 测量口径并行记录差 delta_form_*。
• P615-2（链路守恒）：T_guard、功率/OSNR 均衡与隔离/保护带满足第3/5/6/10章契约。
• P615-3（清单一键落盘）：端到端发布必须生成覆盖全链路的 manifest.packet.* 与签名链。
• P615-4（Fail-Closed）：任一关键契约失败→限流/旁路/回滚，行动与证据写入策略卡。

IV. 最小方程 S615-*（端到端拼装）

• 端到端时延：lat_total = ∑_{links}( lat_prop + E[L]/C + lat_sw + lat_q + lat_proc )（第10章），上线门 p95(lat_total) ≤ SLO.latency_p95。
• 到达时一致化：T_arr* = T_form2 + ΔT_geom + ΔT_med + ΔT_inst + ΔT_proc + ΔT_sync（第8章），delta_form ≤ tol_Tarr。
• 端到端余量：FM_dB = P_rx,med - P_min；OSNR_dB ≥ OSNR_min_dB（第11章与第4章映射）。
• WDM/SDM 标签合规：GB ≥ GB_min，Iso_link ≥ Iso_min，XT_pwr ≤ XT_max（第5章）。
• 交换/排队：P_block/P_cont 与 lat_q 受第9/第10章约束。

V. 计量流程 M60-15（端到端就绪→实施→验证→签名→发布）

• 就绪：固化 Profile（制式/码率/路由/保护）、RefCond 与 frame_spec；载入设备/段清单与阈值策略。
• 实施：按各章 I60-* 管线运行（物理建模→调制→标签与路由→补偿→到达时→计量→交换/排队→运行）。
• 验证：计算 KPIs 与所有 delta_form_*；检查契约 C60-*。
• 签名：汇总 manifest.packet.*，规范化并签名；生成面板卡与回滚计划。
• 发布/灰度：小流量灰度→逐步放量；监视面板与触发策略卡；完成后归档审计证据。

U15-A 城域 DWDM 光包传送（相干 100–400G，ROADM 级联）

I. 范围与对象

• Profile：mod=16/64QAM, R_c=~0.9, R_net=100–400G, DWDM 50/75 GHz 栅格；ROADM×N 级联，保护带 GB=~6.25 GHz。
• 目标：在多跳 ROADM 级联与功率/OSNR 倾斜条件下保障 OSNR/Q/EVM 与 lat_total，并清单化到达时。

II. 名词与变量

III. 公设 P-A

IV. 最小方程 S-A

V. 计量流程 M-A

• 物理与补偿（第2/6章）→ H_comp；
• 标签与路由（第5/9章）→ label, path, plan_pwr;
• 调制/检测（第4章）→ EVM/BER;
• 到达时一致化（第8章）→ T_arr*；
• 运行与面板（第14章）→ delta_form_rt/lat_p95。

VI. 契约与断言 C-A

VII. 实现绑定 I-A（复用 I60-*）

VIII. 交叉引用：第2/4/5/6/8/9/10/11/14章。

IX. 清单：manifest.packet.* 全量，含 phys/mod/label/comp/meas/tarr/swrt/queue/rt 与签名。

U15-B 数据中心相干光互联（≥400G，短距/低时延）

I. 范围与对象

II. 要点

III. 契约

IV. 清单

U15-C 城域 FSO 备份链路（天气自适应）

I. 范围与对象

II. 关键口径

III. 契约

IV. 清单

U15-D 混合 OTN/包光（OCS+OPS 协同）

I. 范围与对象

II. 关键口径

III. 契约

IV. 清单

U15-E 实验室→生产清单化发布路径

I. 范围与对象

II. 步骤

• 实验室跑通各章 I60-* 接口→生成全套清单与契约报告；
• 生成 baseline.manifest 作为对照；
• 预生产灰度：对比 delta_form_*、KPIs 与 SLO；
• 生产放量与持续审计：面板卡、delta_form_rt 与策略卡联动；
• 回滚：rollback_to 指针与签名链验证。

III. 成果

VI. 契约与断言 C60-15x（用例统一门槛，场景可覆写）

• C60-1501：所有 delta_form_*_p95 ≤ tol_*；
• C60-1502：OSNR/EVM/BER/Q 达标（第4/11章）；
• C60-1503：Iso/GB/XT_pwr 达标（第5章）；
• C60-1504：lat_total_p95/ρ/P_block/P_cont 达标（第9/10章）；
• C60-1505：T_arr* 与对齐满足第8/第3章；
• C60-1506：RefCond、单位/量纲与签名/哈希完整可验。

VII. 实现绑定 I60-15*（端到端封装，示例）

• I60-151 build_usecase(profile) -> {graph, segments, devices, frame_spec, thresholds}
• I60-152 run_pipeline(profile, inputs) -> {manifests[], panels[], kpis}（调用本卷 I60-* 与策略卡）
• I60-153 validate_end2end(manifests, kpis, rules) -> report
• I60-154 publish_end2end(manifests, report) -> uri
• I60-155 rollback_end2end(manifest_uri, reason) -> status
  不变量：two_forms_present=true；check_dim(*) 通过；清单签名链完整；策略卡与回滚可回放。

VIII. 交叉引用

IX. 质量与风控

• 端到端 SLI/SLO：delta_form_*_p95, lat_total_p95, OSNR/EVM/BER, Avail, P_block/P_cont, FM_dB, panel_freshness。
• 回退梯度：scale_down → damping/均衡回写 → lower_order/限带 → bypass → rollback，各步骤伴随证据与影响面落盘。
• 审计：对照 baseline.manifest 的差异、契约失败单与处置轨迹、面板快照与清单签名链。

小结

• 本章把本卷所有章节的口径汇聚到可运行的端到端用例：每个用例都以双口径+契约+清单为骨干，确保可复现、可审计、可回退；
• 配合 I60-15* 接口与 C60-15x 契约，工程团队可快速复制模板、按需裁剪与上线。