27-EFT.WP.Packets.Light v1.0 | Appendix B — Contract Library & Strategy Cards (C60 Suite)

Home ／ Docs-Technical WhitePaper ／ 27-EFT.WP.Packets.Light v1.0

Appendix B — Contract Library & Strategy Cards (C60 Suite)

One-sentence goal: Provide an executable set of contracts C60-* and a library of strategy cards spanning Physics → Framing → Modulation → Labeling → Compensation → FSO → Arrival Time → Switching/Queueing → Metrology → Multipath → Security → Runtime, enforcing dual-form compliance and dimensional correctness, and supporting manifest-based publication and replayable audits.

I. Scope & Objects

• Objects: graph / segments / devices, frame_spec, label = ( lambda, k_sub, S_sel ), compensation kernels & time-domain equalizers, FSO budget, arrival time T_arr / T_arr*, swrt / queue, meas, mpath, sec, and runtime panels.
• Inputs: configured conventions (analytic/model/budget), measured conventions (observations/timestamps/OSA/OTDR/IQ), RefCond, and threshold policies.
• Outputs: contracts.rules, contracts.report, strategy.cards, and disposition records + evidence URIs embedded in manifest.packet.*.
• Constraints: every contract declares { metric, unit / dim, window, threshold / range } and passes check_dim( y − f(x) ).

II. Naming, Severity & Common Fields

• Naming: C60-<domain><index>; domain IDs map to chapters: 1x Domain, 2x Physics, 3x Framing, 4x Modulation, 5x Labeling, 6x Compensation, 7x FSO, 8x Arrival, 9x Switching/Routing, 10x Queueing, 11x Metrology, 12x Multipath, 13x Security, 14x Runtime, 15x Use-case gates.
• Severity: sev ∈ { blocker, high, medium, low }; action: action ∈ { fail, warn, degrade, bypass }.
• Common record: { rule_id, sev, metric, unit, dim, threshold|range, window, samples, RefCond, evidence_uri, pass, msg, ts }.
• Dual forms (mandatory): every domain records delta_form_* along with tolerance tol_*.

III. Domain Contract Summary (essentials)

Compiled thresholds from chapters; if conflicts arise, scenario-specific thresholds in contracts.thresholds prevail.

1. 1x Domain
   • C60-101: two-form delta delta_form_p95 ≤ tol_Tarr.
   • C60-103: dimensional compliance check_dim(*) == true.
2. 2x Physics (CD/PMD/OSNR)
   • C60-201: T_arr two-form gap ≤ tol_Tarr.
   • C60-204: OSNR_dB ≥ OSNR_min_dB.
   • C60-205: nonlinearity gate phi_SPM ≤ phi_max.
3. 3x Framing/Timebase
   • C60-301: delta_form_frame_p95 ≤ tol_frame.
   • C60-302: guard conservation T_guard ≥ 2σ_J + ΔCD + ΔPMD.
4. 4x Modulation/Detection
   • C60-401: delta_form_mod_p95 ≤ tol_mod.
   • C60-402: spectral mask ACLR ≥ ACLR_min_dB, OBB ≤ OBB_max.
   • C60-405: LLR consistency KS( LLR, SNR/EVM ) pass.
5. 5x Labeling (WDM/SDM/Subcarriers)
   • C60-501: guard & isolation GB ≥ GB_min, Iso_ch ≥ Iso_min_dB.
   • C60-503: spatial crosstalk XT_pwr ≤ XT_max_dB.
6. 6x Compensation (CD/PMD/NL)
   • C60-601: dual-form consistency delta_form_comp_p95 ≤ tol_comp.
   • C60-602/603/604: CD_res / PMD_res / NL_res within limits.
7. 7x FSO
   • C60-701: delta_form_fso ≤ tol_fso.
   • C60-702: availability Avail ≥ Avail_min.
8. 8x Arrival-Time Harmonization
   • C60-801: delta_form(T_arr forms) ≤ tol_Tarr.
   • C60-802: fusion consistency | T_arr* − t̂_cont |_p95 ≤ tol_align.
9. 9x Switching & Routing
   • C60-901: delta_form_swrt ≤ tol_swrt.
   • C60-904: isolation/guard preserved; FM_dB ≥ FM_min.
10. 10x Queueing & Conservation
    • C60-1001: delta_form_queue ≤ tol_queue.
    • C60-1002: guard conservation & ρ < 1.
11. 11x Metrology & Telemetry
    • C60-1101: delta_form_meas ≤ tol_meas.
    • C60-1103: calibration valid cal.valid == true.
12. 12x Multipath & Scattering
    • C60-1201: delta_form_mpath ≤ tol_mpath.
    • C60-1204: cleaning gain EVM_after ≤ EVM_before.
13. 13x Security & Integrity
    • C60-1301: delta_form_sec ≤ tol_sec.
    • C60-1302: energy-conservation residual E_balance_p95 ≤ τ_E.
14. 14x Runtime & Streaming
    • C60-1401: delta_form_rt ≤ tol_rt.
    • C60-1402/1403: latency / cache gates satisfied.
15. 15x Use-case & Release
    • C60-1501: end-to-end delta_form_*_p95 ≤ tol_*.
    • C60-1506: manifest required keys, signatures, replayability.

IV. Strategy Cards (Executable Playbooks)

Template (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>"

Canonical cards

• card.spectral_stabilize (mask / tilt)
  triggers: C60-402, C60-605
  act: I60-53 power_equalize; if needed, lower filter order or enlarge GB
  verify: ACLR ≥ ACLR_min_dB, ε_tilt ≤ tilt_max.
• card.frame_guard_raise (insufficient guard)
  triggers: C60-302, C60-1002
  act: I60-35 guard_budget → raise T_guard & reduce throughput
  verify: T_guard ≥ 2σ_J + ΔCD + ΔPMD.
• card.comp_recompute (compensation residuals / large dual-form gap)
  triggers: C60-601..604
  act: re-estimate D/PMD (I60-61/64) → freq/time compensation (I60-62/63/65)
  verify: CD_res / PMD_res / NL_res and delta_form_comp within limits.
• card.fso_rate_adapt (weather dynamics)
  triggers: C60-701..705
  act: I60-75 link_budget_fso update → rate down / reroute
  verify: Avail ≥ Avail_min, P_rx / OSNR on target.
• card.swrt_reroute (blocking / contention / reconf timeout)
  triggers: C60-901..904
  act: I60-92 rsa_assign reroute, I60-93 xbar_program preconfigure/segment switch
  verify: P_block / P_cont, lat_sw on target.
• card.queue_guard_expand (queue overshoot)
  triggers: C60-1001..1003
  act: token-bucket rate-limit (I60-143), raise T_guard, change schedule
  verify: lat_total_p95, ρ, T_guard within limits.
• card.meas_recalibrate (metrology drift / expired cal)
  triggers: C60-1103
  act: recalibration flow / swap instruments
  verify: new cal.hash and comparative errors within thresholds.
• card.mpath_cleaning (significant multipath)
  triggers: C60-1201..1204
  act: I60-124 multipath_cancel / I60-125 notch_smooth
  verify: improved MER_meas / MP_res, and EVM / OSNR.
• card.sec_fail_closed (security/integrity anomaly)
  triggers: C60-1301..1306
  act: I60-138 act_security_policy → limit / bypass / rollback / isolate
  verify: Score and key metrics back within thresholds.
• card.runtime_fallback (runtime SLO breach)
  triggers: C60-1401..1404
  act: I60-146 apply_fallback through scale_down → damping → lower_order → bypass → rollback
  verify: delta_form_rt / latency / drop_rate restored.

V. Threshold Suggestions & Calibration

• Dual-form: 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 per SLA.
• Physics / metrology: OSNR_min_dB, EVM_max, BER_postFEC_target, Iso_min_dB / GB_min, XT_max_dB, FM_min, ε_tilt_max depend on format & device calibration; maintain scenario tables/curve hashes in contracts.thresholds.
• Methodology: calibrate thresholds with offline baselining + online replay; every change must record a version & evidence URI.

VI. Persistence & Audit

1. Manifest keys
   • contracts.rules[]: per-C60-* status, window, evidence_uri;
   • contracts.thresholds: threshold tables & source hashes;
   • contracts.strategy.cards[]: armed strategy cards and triggers;
   • contracts.audit: { who, when, tool, signature } and replay pointers;
   • contracts.decisions[]: each action, blast radius, and verification results.
2. Minimum visibility: never store raw sensitive data—use snapshot hashes/pointers and de-identified statistics.
3. Replay: every evidence_uri must allow recomputation of delta_form_* and key metrics; signature chains must be complete.

VII. Execution Mapping

• Contract computation: see each chapter’s M60-* pipelines.
• Disposition execution: call this volume’s I60-* (referenced by act.api in strategy cards).
• Manifest I/O: via the emit_*_manifest family (Phys / Frame / Mod / Label / Comp / FSO / Tarr / Swrt / Queue / Meas / MPath / Sec / RT).

VIII. Cross-References

• Chapters 1–15 (P/S/M/I).
• Companion volumes: PathCorrection / TimeBase / Instrument / Sync for two-form, timebase, calibration, and replay requirements.
• Manifests: Appendix A (interfaces), Appendix C (manifest templates).

Summary

• This appendix delivers the complete C60-* contract set and a playbook of strategy cards, operationalizing two-form deltas + dimensional compliance + threshold gates into a detect → act → verify → rollback loop.
• Together with I60-* and manifest.packet.*, the Stack from physics → network → runtime becomes measurable, auditable, and rollback-capable for Packets.Light.