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

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:50:07 UTC

B.3.5:15 - Relations

Builds on

  • A.14 Advanced Mereology — supplies direct structural relations and the discipline for collection belonging under each collection’s own rule and separately grounded parthood; B.3.5 adds only the assurance branch elected for the relation.
  • A.11 Ontological Parsimony (C‑5) — constructive grounding lives in a calculus; the kernel remains minimal.
  • B.1 Universal Γ — shared invariants and the placement of order/time in their respective Γ‑flavours.
  • Part E authoring rules — canonical pattern template and notational independence, which CT2R‑LOG explicitly follows.

Coordinates with

  • Compose-CAL (Γ_m) and C.13 — supply current construction accounts for structural parthood and the set account for elected assurance of collection belonging. Each trace reports facts whose meanings and conditions come from the pattern that defines the relation.
  • A.22.CGUS / StructuralCT2RTypingGroundingUnfoldingStructureBlock — provides the local structural CT2R unfolding block when a constructive trace, working-model relation, target kind or logical representation, bridge, preserved structure, and loss must be inspected together; A.7.1 is the pattern for general diagnostic return to a subject construction.
  • KD‑CAL — provides the logical shoulder (inferential justification) when authors pick validationMode = inferential.
  • Kind-CAL / Lang-CHR — provide the mapping shoulder (kind and relation-label alignment) governing alias policies without altering Working-Model relations.

Constrained by

  • Notational Independence (E.5.2) — CT2R‑LOG refuses to prescribe formats, keeping all obligations conceptual.

Specialises / feeds

  • B.3, B.3.3 and B.3.4 — supplies the publication discipline (Working-Model relations, declared relation kind and validationMode; F per C.2.3 where relevant) that B.3’s trust calculus expects; interacts with ageing and assurance-level assessments without changing the relations themselves.

Non‑relations No introduction of order/time — CT2R‑LOG does not define SerialStepOf / ParallelFactorOf / temporal phases; use B.1.5 for Method-order claims, A.14 and B.1.4 for same-carrier temporal phases and their aggregation, and A.15.1 for Work parts and occurrences.