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

Link to current text

Published source confirmed at last check

Source changed 2026-10-03 05:29:54 UTC · snapshot created 2026-10-03 05:30:57 UTC · last check 2026-10-03 06:00:20 UTC

A.6.5:12 - Relations

  • A.6.0 defines U.Signature and RelationSignature; A.6.5 supplies SlotSpec declaration discipline inside their vocabulary declarations.
  • A.6.REL defines explicit relation-occurrence individuation and the progressive threshold for stable reference.
  • A.6.P and A.6.RSIR recover the direct relation and its participants before slot typing begins.
  • Use A.2.1 for the system-role-assignment family’s discipline and continuity rule, the exact direct species definition for its predicate, applicability, participant meanings, and assigned-kind domain, and A.6.5 for the SlotSpec reading of that species’ declaration.
  • C.2.1 defines episteme identity, assertion and description content, and their semantic fields; A.6.5 §4.2 gives the declaration and representation correspondence routes by which such fields receive relation semantics while field, SlotSpec, designation, and actual participant remain distinct.
  • C.3 and C.3.1 define local participant kinds, subkind relations, and continuity when membership, substitution, typed quantification, or subkind use is current; C.3.2 supplies the KindSignature, membership judgment, and optional extension.
  • A.15.3 may cite an exact RelationSignature SlotSpec for a planned participant designation; A.15.2/A.15.3 define the planned claim, the direct-relation definition supplies the participant meaning and later actual-participation predicate, and A.6.5 supplies only SlotSpec declaration discipline. Operation arguments and results remain A.6.1 declarations.
  • A.15.1 and A.3.1 define the constructive holonhood and identity of Work and Methods; A.3.4 defines the actual-bounded-change identity of transformations; E.18 defines selected transformation-flow structures over those independently defined transformations and adjacent loci.
  • A.1, A.2, A.2.1, and A.15 keep acting systems, exact local system-role kinds, system-role assignments, Methods, and performed Work distinct.
  • Use A.2.4 for compact episteme evidence-use and status-use relation SlotSpecs, A.10 for the full evidence-provenance path, and F.10 for durable status semantics. A.6.5 does not duplicate those relations or make an episteme the holder system, assigned system-role kind, assignment occurrence, or assignment-state relation.
  • When one is current, the exact named C.30 architecture-relation subpattern defines the architecture relation. A.6.M defines module-interface relations; after A.6.RSIR recovery, a non-module interface use follows its direct-relation definition. A.6.5 does not duplicate either family.
  • C.29 governs a declared mathematical-lens use of tuple, graph, database, or mathematical representations of a relation, assertion, signature, or occurrence description.
  • E.10 supplies wording-use recovery, E.24.UK supplies the U-kind admission test, and F.18 supplies designation guidance after the object is known.