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:9355

    What this page is

    This is generated FPF reference text from the specification preface or supporting sections. It helps interpret FPF; it is not FPF Reference product documentation.

    Methodology

    Use it to understand how the specification wants to be read, then return to a route, pattern, or work packet for active work. Cite generated IDs only when the wording changes the task decision.

    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 (U.View and U.Viewpoint discipline).

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

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

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

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

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

    Last Updated: 2026-06-17 — upstream FPF commit 646b0b9b (github.com/ailev/FPF)