Library / First Principles Framework (FPF) - Core Conceptual Specification
Jump to passage
In this reading

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:50:07 UTC

C.3.3:6.1 - Direct Relation Subject and Scope

KB-01 (Distinct participants and obtaining). One KindBridge occurrence has exactly two ordered participants: an independently identified source kind and an independently identified distinct target kind. It obtains only when its directional correspondence predicate holds within declared definedness. A different locality, label, scheme, or extension supplies no bridge. Signatures, assertions, evidence, CL^k, loss notes, and slices are not participants.

KB-02 (No Scope or sense substitution). A KindBridge maps neither Claim/Work scope nor local wording. Scope translation uses A.2.6 when the receiving claim actually consumes it. An F.9 relation is added only for a current distinct-sense use. Neither channel is required merely because a kind bridge exists.

No blended score. Scope congruence, sense-relation loss, and kind congruence remain separate. Do not aggregate them into one interoperability score.