E.24.UK settlement
Preface node
heading:e-24-uk-settlement:18173
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.6.9 does not admit U.CrossContextSamenessDisambiguation as a durable U-kind. The pattern governs cross-context sameness disambiguation as a relational precision-restoration pattern. The durable values it uses are Bridge, BridgeKind, direction, congruence level, loss, scope, EntityOfConcern, Description episteme, carrier, and direct C.3/F.9/E.17 values when current; A.6.9-specific bridge-card qualifiers such as Γ_time and facetSpan are annotation slots, not new relation kinds.
Type: Architectural (A) — A.6.P specialisation (RPR) Status: Stable Normativity: Normative Placement: A.6 cluster; immediately after A.6.8 Builds on: A.6.P (RPR); F.0.1:2.3 (Explicit Bridge Principle); E.10.D1 (Context discipline); E.10.U9 (Alignment and Bridge lexical discipline); F.9 (Bridge discipline + reasoning primitives); F.7 and F.8 (Concept‑Set rows and weakest‑link); F.5 (labels); A.7 (Strict Distinction: lanes and stance hygiene); E.19 (normative precision) Coordinates with: E.17 (Viewpoints, Views, and Correspondences, when the prose is really about views, projections, or correspondences); C.3.3 (KindBridge, when the claim is about kind or classification transfer); A.6.6 (Identification and indexing, when the umbrella is really about IDs); Concept‑Set row scope rules; E.10 lexical SD (umbrella tokens); B.3 penalty conversion (if used)
Use this pattern for any document, table row, or boundary statement that asserts cross-context sameness, compatibility, alignment, mapping, or correspondence between SenseCells, or collapses A.7 lanes or CHR:ReferencePlanes under umbrella wording such as "same", "equivalent", or "aligned".
This pattern reuses Bridge, BridgeKind, dir, CL, Loss, and scope. A.6.9-specific bridge-card qualifiers such as Γ_time and facetSpan are annotation slots that make the bridge judgement reviewable; they do not alter the governed Bridge predicate and do not mint new relation kinds.
When a bridge scope is broader than Naming-only, or when an edit broadens the scope or increases the declared CL, provide witnessRefs such as a review note, evaluation suite, decision excerpt, or other evidence named by the relying context.
Last Updated: 2026-07-03 — upstream FPF commit f7c7e93f (github.com/ailev/FPF)