FPF Reference

    C.3.A:A.6 Migration checklist [I]

    Preface node heading:c-3-a-a-6-migration-checklist-i:39566

    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

    1. Inventory regulatory references in policies/specs.
    2. Create Kind cards for referenced legal categories (intent summary, KindSignature + F, known subkinds, AT tag if helpful).
    3. Publish KindBridges to your local kinds with CL^k and loss notes.
    4. Rewrite guards to use Scope coverage (USM) plus MemberOf on the mapped kind; add an explicit time selector (Γ_time).
    5. Wire penalties: Ψ(CL^k) and Φ(CL) lower R; refresh evidence windows.
    6. Catalog RoleMasks for local nuances; promote frequently reused masks to subkinds.

    Last Updated: 2026-06-08 — upstream FPF commit 093d30e8 (github.com/ailev/FPF)