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

Link to current text

Published source confirmed at last check

Source changed 2026-10-03 10:39:28 UTC · snapshot created 2026-10-03 10:40:04 UTC · last check 2026-10-03 11:20:03 UTC

C.3.2:5 - KindSignature Declaration

Author a reusable KindSignature only when a named receiving use needs the criterion and assumptions to persist across more than one classification. Its claim content declares:

  • the exact kind that is its EntityOfConcern;
  • the candidate ValueKind or exact value interpretation admitted as input;
  • the membership condition in terms of directly governed candidate qualities, relations, constructive grounding, epistemes, registrations, certifications, publications, legal statuses, or other exact conditions;
  • the exact U.ContextSlice applicability in which the evaluation may be formed;
  • the effective U.ReferenceScheme;
  • named assumptions, dependencies, standards, versions, units, and temporal policy;
  • its U.Formality; and
  • an optional ExtentRule for a named extension-consuming use.

In A.6.0 terms, SubjectKind is the broad candidate kind and RangedValueKind is {true, false, unknown}. not-applicable is returned before this ranged evaluation. ExtentRule is declaration content, not a new ontic relation. Formality characterizes the declaration episteme, not the kind, candidate, truth, or extension. A changed membership condition, candidate-domain declaration, EntityOfConcern, applicability, or effective scheme identifies another episteme. Recheck its signature membership under A.6.0 and its KindSignature content under this section; claim an edition relation under C.2.1 only when that relation obtains. C.3.1 separately decides kind continuity.