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

Link to current text

Published source confirmed at last check

Source changed 2026-10-03 11:52:20 UTC · snapshot created 2026-10-03 11:53:41 UTC · last check 2026-10-03 13:35:10 UTC

C.3.3:6.2 - Settlement, Assertion, and Identity

KB-03 (Direct settlement). The C.3.3 settlement SHALL make recoverable:

  1. exact ordered source-kind and target-kind participants and the proof that they are distinct;
  2. the directional correspondence predicate, applicability, and definedness; and
  3. participant-determined occurrence identity for that ordered pair.

The separate bridge assertion states whether obtaining is affirmed, denied, or unresolved; only an affirmative assertion may designate an obtaining occurrence. It also names the declaration and scheme editions used to interpret the predicate, selected source and target subkind facts, preservation/collapse/non-preservation/unknown results, CL^k, loss, evidence, and admitted use. Another assertion, mapping expression, card, signature, scheme edition, or publication does not create another relation occurrence. A changed interpretation prompts a renewed obtaining test. If the same ordered participants and correspondence continue, the same relation continues; if not, the prior obtaining claim is no longer current.

KB-04 (Fresh receiving classification). With fixed receiving candidate, signature edition, and slice, check admissibility first. not-applicable forms no classification judgment. An admissible request is evaluated reproducibly as true, false, or unknown. A source judgment or bridge assertion may support reliance but is never copied into the receiving result. An unavailable bridge dependency blocks that bridge use without rewriting an independently evaluated receiving result.