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

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:11 - Conformance Checklist

IDRequirement
KB-01A locality or scheme change first triggers kind-definition comparison. A bridge has exact ordered, independently identified distinct kind participants and an obtaining directional correspondence predicate.
KB-02A KindBridge maps neither Scope nor sense; A.2.6 and F.9 are added only when their own exact use is current.
KB-03Participants, distinctness, direction, predicate, applicability, definedness, and participant-determined identity are recoverable. Scheme/signature/assertion/card/publication editions qualify interpretation or reliance but do not reidentify the occurrence.
KB-04Receiving classification checks admissibility before a fresh three-valued judgment. Source truth is never copied; bridge refusal does not rewrite the receiving result.
KB-05An order-preservation assertion names exact source and target subkind facts and the two bridge relations used.
KB-06Inversion is non-preservation with loss; unsettled order remains unknown.
KB-07Collapse designates affected source order facts and lost distinctions without rewriting either kind order.
KB-08CL^k is an assessment in the bridge assertion and does not alter kind identity, formality, scope, or abstraction facet.
KB-09Reliance applies only justified CL^k consequences to R; admissibility, F, G, and classification truth stay unchanged.
KB-10Chained bridge reliance uses the weakest link while keeping occurrences and assertions distinct.
KB-11Loss notes state non-preserved criteria or subkind facts and do not change either kind.
KB-12Definedness is explicit; outside it the guard declines that bridge use while independent receiving classification keeps its own result.

Integration requirements with Part B. Part B distinguishes the C.3.3 kind-correspondence channel from scope and F.9 sense channels, routes justified CL^k consequences to R, and retains weakest-link chaining. Templates designate exact relied-on relations and assertions; their fields create none of them.