fpf.tools
Library / First Principles Framework (FPF) - Core Conceptual Specification
Jump to passage
In this reading
Source · lines 51900–51907

Link to current text

Published source confirmed at last check

Source changed 2026-10-03 15:41:27 UTC · snapshot created 2026-10-03 15:43:46 UTC · last check 2026-10-03 15:55:10 UTC

C.3.2:10 - Additional Transfer Cases

CaseRepaired use
Vehicle and PassengerCarCheck candidate admissibility and use C.3.1’s exact obtaining branch; a registry result is an extension representation, not U.EntitySet.
AuthenticatedRequestName the standard and key-validity dependency. An admissible request with unavailable key support yields unknown; a non-request value is not-applicable.
AdultPatientPin jurisdictional threshold, measurement time, and candidate identity. A patient with missing birth support is unknown; a non-person value rejected by ValueKind is not-applicable.