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

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 12:40:18 UTC

C.3.3:5 - Solution — Compare Identity, Then Relate Distinct Kinds

  1. Compare kind definitions. Recover source and receiving candidate domains, membership distinctions, and continuity rules. A changed locality or scheme prompts this check; it does not decide it.
  2. Stop on same-kind reuse. If the same kind continues, use the declaration edition selected for the receiving use, check admissibility, and evaluate the candidate afresh. No KindBridge obtains merely because source, practice, team, wording, or scheme changed.
  3. Open a bridge only for two distinct kinds. A KindBridge occurrence is an obtaining direct relation between one exact source kind and one exact target kind. Its directional predicate states the correspondence and definedness required by the named receiving use. Identify each kind independently under C.3.1.
  4. Keep the assertion separate. A C.2.1 bridge-assertion episteme designates the relation when needed and carries paired KindSignature editions, mapping rule, selected order-preservation results, CL^k, loss notes, evidence, and admitted use. A card, row, F.9 relation, or publication does not make the bridge obtain.
  5. Evaluate the receiving candidate. First return admissible or not-applicable under the receiving signature and slice. Only an admissible request returns true, false, or unknown. A source judgment may support the bridge assertion or reliance but is never copied as receiving truth.
  6. Route consequences narrowly. When a receiving claim relies on the obtaining bridge and fresh receiving result, apply only the justified CL^k consequence to R. Scope and any sense relation retain their own objects and rules; F and G do not change.

The kinds are the direct relation participants. Scheme and signature editions qualify interpretation, applicability, and the assertion. They do not identify the occurrence. For the ordered kind pair, the direct relation is participant-determined. An aligned scheme-edition change prompts reevaluation of whether the same relation still obtains; it does not mint another occurrence.

KindBridge is the direct relation kind governed here under A.6.REL. This spelling does not by itself admit a public dependent U-kind named U.KindBridge. If admission later matters, E.24.UK must close it separately.