FPF Reference

A.6.B:14 — SoTA‑Echoing (post‑2015 practice alignment)

Preface node heading:a-6-b-14-sota-echoing-post-2015-practice-alignment:7605

Content

Informative. Alignment notes; not normative requirements.

Representative sources (post‑2015; illustrative). See also A.6:11 for a fuller list.

  • ISO/IEC/IEEE 42010:2022 (view/viewpoint discipline).

  • Leijen (2017) / Hillerström & Lindley (2018) (effects & handlers).

  • OpenTelemetry Specification (v1.0+, 2021–) (evidence carriers as traces/logs/metrics).

  • Effect systems & handlers: clear separation between operation signature (L) and handler/runtime behavior (A/E), with governance duties (D) attached to accountable operators/implementers.

  • Behavioural/session typing: protocol laws (L) and admissibility (A) remain distinct from commitments (D) and runtime traces (E), improving interpretability of “progress/safety” style boundary guarantees.

  • SRE/observability discipline: treating traces/logs/metrics as evidence carriers (E) and separating evidence semantics from retention/exposure duties (D) mirrors contemporary operational practice while staying tool‑agnostic.