#C.3.A:A.5 Guidance and migration [I]

Preface node heading:c-3-a-a-5-guidance-and-migration-i:45672

#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 claims, exact category declarations, and applicability slices.
2. Recover or author target KindSignature declaration editions; keep F on those epistemes.
3. Establish KindBridge relations and separate assertions with loss and admitted use.
4. Rewrite candidate-bearing guards to pin candidate, local kind, signature edition, and slice.
5. Preserve unknown and record refusal separately.
6. Route Scope through USM and bridge consequences through R.
7. Use RoleMask declarations for local procedural tailoring; separately establish a new kind/order relation only when the distinction truly becomes conceptual and stable.

---

Last Updated: 2026-07-28 — upstream FPF commit 17edd955 (github.com/ailev/FPF)