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

Link to current text

Published source confirmed at last check

Source changed 2026-10-03 08:25:59 UTC · snapshot created 2026-10-03 10:17:34 UTC · last check 2026-10-03 10:25:09 UTC

B.3.5:7 - Author Standard (at a glance)

When you add or import a relation edge:

  1. Pick a Working-Model relation sentence such as “Impeller ComponentOf Pump” or “Vehicle 12 belongs to Fleet North under its registration rule”; avoid raw ut:PartOf unless you are drafting meta-level axioms. If no current publication choice or requirement elects CT2R-LOG, publish that direct claim and stop.

  2. When CT2R-LOG is elected, attach tv:groundedBy:

    • Structural parthood → the applicable current construction trace and validationMode=axiomatic.
    • Collection belonging under the collection’s own rule → one current C.13 set trace and validationMode=axiomatic.
    • Another permitted epistemic or constitutive claim → the branch’s logical argument or evidence object and allowed mode.

  3. Declare the selected tv:validationMode for every covered claim.

What managers see: nothing new in the graph picture. What auditors get: a reliable trail from every edge covered by the elected profile back to its inspectable construction or evidence account.