FPF Reference

    A.6.P:4.1 — Stable lens

    Preface node heading:a-6-p-4-1-stable-lens:13265

    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

    A RPR‑pattern SHALL name a stable mathematical “lens” that prevents re‑inventing roles per domain. Examples of lenses (illustrative):

    • Kind-labelled qualified relation record (default A.6.P lens)
    • n‑ary relation with distinguished positions (A.6.5 style)
    • kind‑labelled dependence arrow over a base (A.6.6 style)
    • span and cospan + declared loss and correspondence notes (Bridge‑like relation patterns)
    • correspondence relation + repair operations (sync and consistency relation patterns)

    The lens is a compression device: one stable abstraction that keeps the relation’s arity and polarity stable and makes invariants speakable.

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