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

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 14:30:10 UTC

C.3.3:6.5 - Loss Notes & Definedness

KB-11 (Loss notes). The bridge-assertion episteme SHALL state which KindSignature invariants are not preserved, which obtaining source U.SubkindOf relations are collapsed or not preserved, and any higher-equality caveats. These claims do not rewrite the source or target kinds. KB-12 (Definedness and guard use). The bridge predicate and assertion SHALL state definedness. Outside it, a receiving guard declines that bridge use. Independently, receiving classification keeps not-applicable or its admissible true, false, or unknown result; bridge inapplicability rewrites none of them.