Library / First Principles Framework (FPF) - Core Conceptual Specification
Jump to passage
In this reading

Link to current text

Published source confirmed at last check

Source changed 2026-10-03 07:42:37 UTC · snapshot created 2026-10-03 07:43:27 UTC · last check 2026-10-03 07:55:10 UTC

A.14:9.9 - Mereology in composition and aggregation

Receiving useMereological hooks (what A.14 supplies)Key effect
System aggregation decision (B.1.2:4)Add measures of disjoint portions only under :5.1 and the selected whole-characteristic rule in B.1.2:4.4. Establish ComponentOf and boundary integration separately. AspectOf remains facet-local structural parthood; PhaseOf requires its own carrier identity and temporal restriction.Supports justified quantitative roll-up while preserving the distinct component, aspect and phase claims.
Γ_epist (B.1.3)PortionOf of text or data uses a declared measure; ConstituentOf composes arguments or sections; AspectOf is available only for an independently admitted episteme-dependent structural aspect under a declared facet rule. A viewpoint, view, heading, or projection remains with E.17 or C.29. PhaseOf may restrict one unchanged episteme to a proper interval.Preserves provenance and prevents description choices from creating episteme parts.
Γ_ctx / Γ_time (B.1.4)PhaseOf supplies proper temporal restrictions, including nested or overlapping windows. A separately selected partition supplies non-overlap and coverage only for its own cells. Order/dependencies live in Γ_ctx and method graphs (A.15/B.1.5). PortionOf is orthogonal (quantities inside steps/runs).Ensures chronological consistency without turning every temporal restriction into one partition.
Γ_method (B.1.5)Γ_method composes Methods rather than A.14 structural parts. A recipe-labelled claim-bearing episteme is a MethodDescription only when its EntityOfConcern is one admitted U.Method and at least one substantive way-of-doing claim obtains under A.3.2; any graph form is a representation handled by C.29. When a recipe refers to stuff-like inputs, those are PortionOf statements on resources.Separates recipe composition from structure.
Γ_work (B.1.6)Only Work carries resource deltas; when logging “consumed 5 kg from Tank A”, model it as PortionOf relation to the stock prior to consumption.Makes Σ‑balance explicit; aligns with CC‑POR‑3/4.