27-EFT.WP.Packets.Light v1.0 | 附录B 契约库与策略卡（C60 全集）

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

附录B 契约库与策略卡（C60 全集）

一句话目标：给出 Packets.Light 从物理→成帧→调制→标签→补偿→FSO→到达时→交换/排队→计量→多径→安全→运行的可执行契约 C60-* 与“策略卡”处置流程，统一两口径与量纲合规，支持清单化发布与回放审计。

I. 范围与对象

• 对象：graph/segments/devices、frame_spec、label=(lambda,k_sub,S_sel)、补偿核与时域均衡、FSO 预算、到达时 T_arr/T_arr*、swrt/queue、meas、mpath、sec、rt 面板。
• 输入：配置口径（解析/模型/预算）、测量口径（实测/时间戳/OSA/OTDR/IQ）、RefCond 与阈值策略。
• 输出：contracts.rules、contracts.report、strategy.cards 与 manifest.packet.* 里的处置记录与证据 evidence_uri。
• 约束：所有契约项必须声明 metric、unit/dim、window、threshold/range，并通过 check_dim( y - f(x) )。

II. 命名、级别与通用字段

• 命名：C60-<域><序号>；域号与章节对应：1x 域定义、2x 物理、3x 成帧、4x 调制、5x 标签、6x 补偿、7x FSO、8x 到达时、9x 交换与路由、10x 排队、11x 计量、12x 多径、13x 安全、14x 运行、15x 用例关口。
• 严重级别：sev ∈ {blocker, high, medium, low}；动作：action ∈ {fail, warn, degrade, bypass}。
• 通用记录：{rule_id, sev, metric, unit, dim, threshold|range, window, samples, RefCond, evidence_uri, pass, msg, ts}。
• 两口径并行（强制）：所有域均需记录 delta_form_* 与容差 tol_*。

III. 域级契约总表（精要）

已在各章定义的门槛在此汇编；若与本附录建议冲突，以用例/环境化阈值为准（落盘 contracts.thresholds）。

1. 1x 域定义
   • C60-101 域两口径差：delta_form_p95 ≤ tol_Tarr。
   • C60-103 量纲合规：check_dim(*) == true。
2. 2x 物理（CD/PMD/OSNR）
   • C60-201 两口径差（T_arr）：≤ tol_Tarr。
   • C60-204 OSNR 下界：OSNR_dB ≥ OSNR_min_dB。
   • C60-205 非线性门：phi_SPM ≤ phi_max。
3. 3x 成帧/时基
   • C60-301 两口径差（frame）：delta_form_frame_p95 ≤ tol_frame。
   • C60-302 卫兵位守恒：T_guard ≥ 2σ_J + ΔCD + ΔPMD。
4. 4x 调制/检测
   • C60-401 两口径差（mod）：delta_form_mod_p95 ≤ tol_mod。
   • C60-402 频谱掩膜：ACLR ≥ ACLR_min_dB，OBB ≤ OBB_max。
   • C60-405 LLR 一致：KS(LLR,SNR/EVM) pass。
5. 5x 标签（WDM/SDM/子载）
   • C60-501 保护与隔离：GB ≥ GB_min，Iso_ch ≥ Iso_min_dB。
   • C60-503 空间串扰：XT_pwr ≤ XT_max_dB。
6. 6x 补偿（CD/PMD/NL）
   • C60-601 两口径一致（comp）：delta_form_comp_p95 ≤ tol_comp。
   • C60-602/603/604 CD/PMD/NL 残差达标。
7. 7x FSO
   • C60-701 两口径差（fso）：≤ tol_fso。
   • C60-702 可用率：Avail ≥ Avail_min。
8. 8x 到达时一致化
   • C60-801 两口径差（T_arr forms）：≤ tol_Tarr。
   • C60-802 融合一致：|T_arr* - t̂_cont|_p95 ≤ tol_align。
9. 9x 交换与路由
   • C60-901 两口径差（swrt）：≤ tol_swrt。
   • C60-904 隔离与保护不被破坏；FM_dB ≥ FM_min。
10. 10x 排队与守恒
    • C60-1001 两口径差（queue）：≤ tol_queue。
    • C60-1002 卫兵位守恒与稳定性 ρ<1。
11. 11x 计量与遥测
    • C60-1101 两口径差（meas）：≤ tol_meas。
    • C60-1103 校准有效：cal.valid == true。
12. 12x 多径与散射
    • C60-1201 两口径差（mpath）：≤ tol_mpath。
    • C60-1204 清洁增益：EVM_after ≤ EVM_before。
13. 13x 安全与完整性
    • C60-1301 两口径差（sec）：≤ tol_sec。
    • C60-1302 能量守恒残差：E_balance_p95 ≤ τ_E。
14. 14x 运行时与流式
    • C60-1401 两口径差（rt）：≤ tol_rt。
    • C60-1402/1403 延迟/缓存门达标。
15. 15x 用例与发布
    • C60-1501 端到端 delta_form_*_p95 ≤ tol_*。
    • C60-1506 manifest 强制键、签名与回放可验。

IV. 策略卡（可执行处置流程）

模板（YAML）

card_id: <string>

triggers: [C60-xxxx, ...] # 触发契约

sev: blocker|high|medium|low

decide:

if: "<metric> comparator <threshold>" # 单项或布尔表达式

act:

- api: <I60-xx>

params: {...}

- api: <I60-yy>

params: {...}

verify:

metric: <name>

window: "W=5min,p95"

rollback:

plan: "<bypass|lower_order|rollback_version>"

notes: "<why/impact/evidence_uri>"

典型策略卡集合

1. card.spectral_stabilize（频谱掩膜/倾斜）

• triggers：C60-402, C60-605；
• act：I60-53 power_equalize，必要时降阶滤波或增大 GB；
• verify：ACLR ≥ ACLR_min_dB、ε_tilt ≤ tilt_max。

2. card.frame_guard_raise（卫兵位不足）

• triggers：C60-302, C60-1002；
• act：I60-35 guard_budget 计算 → 提升 T_guard 并降吞吐；
• verify：T_guard ≥ 2σ_J + ΔCD + ΔPMD。

3. card.comp_recompute（补偿残差/两口径差过大）

• triggers：C60-601..604；
• act：重估 D/PMD（I60-61/64）→ 频域/时域补偿（I60-62/63/65）；
• verify：CD_res/PMD_res/NL_res 与 delta_form_comp 达标。

4. card.fso_rate_adapt（FSO 天气变化）

• triggers：C60-701..705；
• act：I60-75 link_budget_fso 更新 → 降速/改路由；
• verify：Avail ≥ Avail_min、P_rx/OSNR 达标。

5. card.swrt_reroute（阻塞/冲突/重构超时）

• triggers：C60-901..904；
• act：I60-92 rsa_assign 重路由、I60-93 xbar_program 预配置/分段切换；
• verify：P_block/P_cont、lat_sw 达标。

6. card.queue_guard_expand（排队超标）

• triggers：C60-1001..1003；
• act：令牌桶限流（I60-143）、扩 T_guard、更改排程；
• verify：lat_total_p95、ρ、T_guard 达标。

7. card.meas_recalibrate（计量漂移/校准过期）

• triggers：C60-1103；
• act：校准流程与替换设备；
• verify：新 cal.hash 与比对误差在阈值内。

8. card.mpath_cleaning（多径显著）

• triggers：C60-1201..1204；
• act：I60-124 multipath_cancel/I60-125 notch_smooth；
• verify：MER_meas/MP_res 改善、EVM/OSNR 提升。

9. card.sec_fail_closed（安全/完整性异常）

• triggers：C60-1301..1306；
• act：I60-138 act_security_policy 执行限流/旁路/回滚/隔离；
• verify：Score 与关键单项恢复至阈值内。

10. card.runtime_fallback（运行态 SLO 违约）

• triggers：C60-1401..1404；
• act：I60-146 apply_fallback 逐级 scale_down→damping→lower_order→bypass→rollback；
• verify：delta_form_rt/latency/drop_rate 恢复。

V. 阈值建议与标定

• 两口径类：tol_Tarr ≈ 1e-3·T_arr；tol_frame ≈ 0.02·T_sym；tol_mod ≈ 0.1·EVM_pred + 1e-4；tol_comp ≈ 0.02；tol_fso ≈ 1 dB；tol_swrt ≈ 5%；tol_queue ≈ 0.05·lat_total^{config}；tol_meas ≈ 0.1·EVM_pred + 1e-3；tol_mpath ≈ 0.1·MER_pred + 1e-3；tol_sec/rt 依据 SLA 校准。
• 物理/计量：OSNR_min_dB、EVM_max、BER_postFEC_target、Iso_min_dB/GB_min、XT_max_dB、FM_min、ε_tilt_max 等随制式与设备标定；在 contracts.thresholds 中维护场景化表/曲线哈希。
• 方法：用离线标定 + 线上回放校准阈值，避免一次性固定；阈值调整必须记录版本与证据 URI。

VI. 落盘与审计

1. 清单键：
   • contracts.rules[]：逐条 C60-* 的状态、窗口与 evidence_uri；
   • contracts.thresholds：阈值表与来源 hash；
   • contracts.strategy.cards[]：武装策略卡与触发条件；
   • contracts.audit：{who, when, tool, signature} 与回放指针；
   • contracts.decisions[]：每次处置的动作、影响面与验证结果。
2. 最小可见：不得落盘原始敏感数据，使用快照哈希/指针与脱敏统计。
3. 回放：所有 evidence_uri 必可复算 delta_form_* 与关键指标；签名链完整。

VII. 接口映射（执行）

• 契约计算 → 见各章 M60-*；
• 处置执行 → 见本卷 I60-*（策略卡 act.api 字段直接调用）；
• 清单写入 → emit_*_manifest 族接口（Phys/Frame/Mod/Label/Comp/FSO/Tarr/Swrt/Queue/Meas/MPath/Sec/RT）。

VIII. 交叉引用

• 章节：第1–15章 P/S/M/I；
• 配套卷：PathCorrection/TimeBase/Instrument/Sync 的两口径、时基、校准与回放要求；
• 清单：附录A（接口）、附录C（manifest 模板）。

小结

• 本附录提供 C60-* 全集与“策略卡”库，将两口径差/量纲合规/阈值门系统化为可执行的检测→处置→验证→回滚闭环；
• 结合 I60-* 与 manifest.packet.*，可在物理—网络—运行全栈落地可计量、可审计、可回退的 Packets.Light。