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

Link to current text

Published source confirmed at last check

Source changed 2026-10-03 08:25:59 UTC · snapshot created 2026-10-03 08:26:43 UTC · last check 2026-10-03 08:40:10 UTC

A.6.REL:12 - Relations

  • A.6.0 declares RelationSignature participant SlotSpecs and restates the direct predicate, applicability, and exact identity rule for reuse without making the relation obtain.
  • A.6.5 separates world-side participants from RelationSignature SlotKinds and from participant designations in assertions or descriptions.
  • A.6.P governs restoration of hidden direct relations and participants before occurrence identity is attempted.
  • A.6.RCD governs the residual case in which exact participants are known but no current direct relation closes the named receiving claim; any admitted derived or primitive relation kind must include its own direct subject settlement and identity rule.
  • A.6.RSIR governs selection among a direct relation, relation-participant meaning, declaration SlotSpec, RelationSignature, and another exact interface object when wording is ambiguous.
  • Use A.2.1 to state direct U.SystemRoleAssignment species, predicate obtaining, and occurrence identity, and F.6 for later attribution to performed Work.
  • A.14 and exact direct mereology patterns define or constrain only the part-relation kinds and part-whole changes they actually declare; A.6.REL adds no installed-part settlement.
  • A.15.1 governs work occurrence identity and readable links to separately governed participation, change, operation-result, production, evaluation, delivery, and acceptance claims.
  • C.2.1 governs assertions and descriptions about relation obtaining, predicate satisfaction, and occurrences; E.17 and E.24.PUB govern publication relations.
  • C.22.PFR supplies a worked case with two explicitly individuated relation occurrences participating in one dependent evaluative relation.
  • C.29 governs a declared mathematical-lens use, including use of a graph, tuple, or database representation as such a lens for relation structure.
  • E.24 governs ontic settlement and E.24.UK governs root U.Relation admission. A.6.REL supplies the common occurrence discipline, and each direct relation pattern supplies the relation-specific witness. E.24.CD supplies the candidate-detection rule only after the prerequisite subject results are recoverable; it does not replace the direct occurrence-identity rule.
  • F.18 governs durable names and identifier use after the relation kind and occurrence identity are settled.