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

Link to current text

Published source confirmed at last check

Source changed 2026-10-03 05:29:54 UTC · snapshot created 2026-10-03 05:30:57 UTC · last check 2026-10-03 06:50:10 UTC

C.2.3:4.2 - Place in the typed F-G-R tuple

A named assurance argument may consume F alongside G or R under B.3. Declaring F for a normative episteme does not itself select an assurance argument or require the current use to consume a universal tuple. The characteristics remain distinct:

  • F is not G; scope remains governed by U.ClaimScope and other USM structures.
  • F is not R; evidence, warrant strength, and decay remain assurance concerns.
  • Mapping loss is assessed for the actual receiving use. Any effect on R needs its B.3/C.2.2 basis; an ordinal CL value supplies no automatic penalty and does not change F.
  • Changes in notation, carrier, or rendering form do not change F if the formal content is preserved.