FPF Reference

    Source-pressure tests for the FPF categories

    Preface node heading:source-pressure-tests-for-the-fpf-categories:87563

    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. Same-individual membership and ontology-level inclusion. MaintenancePlan_Q3 remains the one episteme identified by C.2.1. A.15.2 may add U.WorkPlan membership and the implication to U.Episteme; it does not create a second plan individual. OntoUML Role/Phase and OWL subclassing are useful comparators, but only the FPF direct membership predicate and root-inclusion law close this admission.
    2. Identity dependence and non-parthood. Pump37MaintenanceCapability_2026 would be distinct from holder system Pump37. gUFO/BFO show that dependent aspects can be distinct individuals, but they do not provide the missing FPF capability-to-holder relation or its identity effect. The candidate therefore remains at E24UK-BLK-U-CAPABILITY-01; even a future dependence result would establish no part-of claim.
    3. Role and phase near-misses. A technician role or a damaged-pump phase does not by itself reidentify its bearer. When the distinction is only participation in a current relation or an intrinsic condition for one bounded use, keep the same individual and use the direct relation or a C.3 local kind. Do not mint either another individual or a durable U-kind merely because an external taxonomy offers Role or Phase.
    4. Quality and relator near-misses. A source model may treat a pressure quality or a contract relator as a distinct dependent individual. FPF opens a distinct-individual admission only when a direct owner identifies that individual and governs its dependence. A measurement value, quality assertion, participant pair, contract document, or relation record is not that individual and cannot move the case into identity-dependent.
    5. C.3 separation and the durable threshold. HighRiskPump@Turnaround2026, defined by one turnaround's risk rule, can support local quantification through one C.3.2 declaration without becoming a public durable U-kind. No selected source mandates this exact FPF split. E.24.UK owns it as a governance decision: only repeated cross-pattern reliance that cannot be preserved by existing kinds, direct relations, and one bounded local declaration may proceed to positive durable admission.

    Reopen this source basis when a cited edition changes, a stronger current source defeats one of these mutations, or a worked counterexample shows that the FPF branch returns the wrong individual, membership, dependence, inclusion, local-kind boundary, or non-parthood result.

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