Source changed 2026-10-03 05:29:54 UTC · snapshot created 2026-10-03 05:30:57 UTC · last check 2026-10-03 07:35:20 UTC
C.3.A:A.5 Guidance and migration [I]
Inventory regulatory claims, exact category declarations, and applicability slices.
Recover or author target KindSignature declaration editions; keep F on those epistemes.
Compare kind identity; establish KindBridge relations and separate assertions with loss and admitted use only for required correspondences between distinct kinds.
Rewrite candidate-bearing guards to pin candidate, local kind, signature edition, and slice.
Preserve unknown and record refusal separately.
Route Scope through USM and bridge consequences through R.
Use RoleMask declarations for local procedural tailoring; separately establish a new kind/order relation only when the distinction truly becomes conceptual and stable.