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

Link to current text

Published source confirmed at last check

Source changed 2026-10-03 08:25:59 UTC · snapshot created 2026-10-03 08:26:43 UTC · last check 2026-10-03 09:15:10 UTC

C.2.3:12 - Relations

  • Defines: U.Formality for epistemes, including the F result consumed by an assurance argument when its use requires that characteristic.
  • Builds on: characteristic machinery from A.18 / A.19 and episteme-level characteristic assignment from Part C.
  • Coordinates with: C.2.2, B.3, F.9, C.2.LS, A.16, C.2.4, C.2.5, C.2.6, and C.2.7.
  • Coordinates with: C.19.2 when a declared use asks whether increasing rigor of expression or selecting/configuring a formal apparatus repays application work. F measures expression rigor; it does not select the apparatus, plan the work, or establish the problem-facing result.
  • Constrains: any pattern, gate, or editorial rule that speaks about rigor of expression.