FPF Reference

    F.13:12.2 -Local alias

    Preface node heading:f-13-12-2-local-alias:93357

    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

    ContextOf(ℓ₁)=ContextOf(ℓ₂) ∧ senseOf(ℓ₁)=senseOf(ℓ₂) ⊢ aliases(ℓ₁↔ℓ₂) Reading: Legacy synonym can be kept as a read‑path; writing uses pref.

    Last Updated: 2026-08-01 — upstream FPF commit 9a9a42e4 (github.com/ailev/FPF)