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

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:25:20 UTC

C.3.3:7 - Interactions (informative)

C.3.3:7.1 - With Scope and Sense Relations

A receiving use may need none, one, or several independent relations:

  • an A.2.6 scope relation when the claim’s admitted extent is translated or compared;
  • a C.3.3 KindBridge when two distinct kinds are directionally related; and
  • an F.9 relation when distinct local senses are related for a bounded use.

Open only the channels the receiving claim consumes. Keep their definedness, losses, and R consequences separate.

C.3.3:7.2 - With Receiving Classification

After same-kind reuse or an obtaining bridge, use the receiving KindSignature edition. Check candidate and slice admissibility. If admissible, evaluate the exact receiving judgment. If a mapping motivates another signature, author that declaration episteme separately. A source judgment can support a claim but never supplies receiving truth.

C.3.3:7.3 - With Kind-use Adaptations

For same-kind reuse, select the receiving C.3.4 declaration and evaluate afresh without a bridge. For distinct-kind use, recover the obtaining KindBridge, bridge assertion, receiving adaptation declaration, and any exact adaptation-correspondence declaration needed for differing constraints or bindings. Source adaptation results are not receiving truth.

C.3.3:7.4 - With Guards

A typed receiving guard first determines whether the same kind continues or a distinct-kind bridge is current. It then checks receiving admissibility and, when admissible, the fresh judgment. It independently checks any scope or sense relation the claim consumes and applies only justified consequences to R. not-applicable, unknown, absent bridge, and guard refusal remain different results.