fpf.tools
Jump to text
On this page
Copy and source
Original source · lines 1427–1434
Published source confirmed at last check

Source changed 2026-10-14 19:58:00 UTC · snapshot created 2026-10-14 19:58:38 UTC · last check 2026-10-15 00:55:16 UTC

PSDA.5:12 - Relations

  • PSDA.1 supplies formulation differences for candidate formation, not selected actions. PSDA.3 supplies discriminating model claims, not the obtaining conditions they represent. PSDA.13 supplies shared and contested inquiry claims only where they change the set; dissent remains explicit.
  • PSDA.6:4.2 distinguishes desired ends from proposed means. When a missing alternative requires a new means combination, PSDA.8:4.2.1 supplies backward construction and its forward test; return the candidate and its conditions to :4.3. PSDA.8 may then consume the set for the named consequence comparison. Generation does not select.
  • C.17, C.18, C.19, and C.38 supply characterization, generation stewardship, live-pool policy, and same-result construction only under their own use conditions.
  • A.15.9 supplies bounded use of an outside-practice result and selection of a worthwhile further request. Direct holder and domain practices supply feasibility, mechanisms, protected conditions, and evidence.
  • C.11 governs the later local choice over an adequate option set. A missing or incompatible input returns to its qualified direct source or remains an exact gap; no neighboring body is a compulsory prerequisite.