#C.13 — Constructional Mereology (Compose‑CAL)

Preface node heading:c-13-constructional-mereology-compose-cal:46551

#What this page is

This is generated FPF reference text from the specification preface or supporting sections. It helps interpret FPF; it is not FPF Reference product documentation.

#Methodology

Use it to understand how the specification wants to be read, then return to a route, pattern, or work packet for active work. Cite generated IDs only when the wording changes the task decision.

#Content

Status: Stable Type: Pattern

At a glance. Use C.13 when a practitioner must show how exact constituents and obtaining part relations assemble one whole, collection, or aspect. The construction account explains the structural claim; writing a sum, set, or slice expression does not create the entities or relations.

Use this when. Use this pattern after the direct part-relation patterns have identified the exact participants and obtaining occurrences, when you need a compact, inspectable account of how they assemble a whole, form a collection, or distinguish an aspect.

First useful move. Name the whole, collection, or aspect whose construction you must explain; then name its inputs, the part or membership relations that obtain, and the rule by which those facts form it. Choose sum, set, or slice as the shortest truthful construction narrative.

What goes wrong if missed. A readable component, member, or aspect edge may lack an assembly account; or the opposite mistake occurs and a diagram, list, or Γ_m expression is treated as if it created a whole, a part relation, or a holon.

What this buys. A compact three-form construction discipline that keeps integrated assembly, collection, and aspect distinct while leaving relation obtaining, whole identity, evidence, and public relation names with their direct governors.

Not this pattern when. Not this pattern when the current question is only relation vocabulary, evidence or assurance without a structural claim, epistemic representation, a selected dependent U.Structure, temporal phase without an aspect claim, public-kind admission, or transformation composition without a direct transformation-composition governor.

#Intent

Provide one minimal calculus for narrating three kinds of construction: how constituents assemble an integrated whole, how members form a collection, and how a bearer is distinguished under one facet as an aspect. The calculus records how already identified entities and obtaining relations support that named whole, collection, or aspect. It is not a second source of part-relation obtaining and does not make any of them exist by notation.

Also known as “Γₘ mereology” and “constructor-based composition”.

Layer. calculus. Depends on. A.14 and the direct part-relation patterns for participant meanings, obtaining, and occurrence identity; the direct kind pattern for the candidate whole and its identity or reidentification rule. Consumed by. A.1 when candidate holon recognition needs constructive assembly, B.3.5 when a named assurance use needs a structural grounding account, and subject patterns that need a compact construction narrative.

Compose-CAL keeps exactly three narrative forms—sum, set, and slice. A materialized construction trace is a C.2.1 episteme about the construction facts. Its claims can designate exact entities, relation occurrences, rules, and identity conditions; the trace is neither the whole, collection, or aspect it describes nor a participant in the world-side part relations.

#Problem Frame

FPF needs both readable structural relations and a recoverable account of how constituents assemble a whole, members form a collection, or a facet distinguishes an aspect. A part-relation name alone may leave the construction opaque. A constructor expression alone can commit the opposite error by treating syntax as the source of entities, relation obtaining, or whole identity.

#Problem

A bare list of ComponentOf, MemberOf, or AspectOf claims does not say which assembly, collection rule, or facet makes them one construction. But a bare sum, set, or slice expression is no better: the same constituents can participate in different assemblies, a collection need not be an integrated holon, and an arbitrary facet label does not establish an aspect. The construction account must therefore name exact world-side facts and preserve the candidate's direct identity or reidentification rule.

#Forces

• Parsimony vs truth. Three construction forms are easier to reuse than an open constructor catalogue, but no form may replace a missing direct relation or assembly rule.
• Readable edge vs constructive account. Practitioners need ordinary component, member, and aspect claims; reviewers may also need to inspect how those relations support the named whole, collection, or aspect.
• Input set vs assembly. The same entities can be assembled through different obtaining relations and can therefore yield different wholes.
• Continuity vs extensional snapshots. Constituents and part-relation occurrences can change while the same whole continues when its direct reidentification rule permits the phase change.
• Construction vs evidence. A trace states the construction account; evidence and assurance separately support or warrant the claim content.
• Cross-domain reuse vs owner bypass. Systems, epistemes, methods, and work occurrences can all need constructive grounding, but their direct patterns retain kind, part, and identity authority.

#Solution

#Solution sketch

Use the coarsest of three construction narratives that fits the named whole, collection, or aspect. In each case, write the shorthand only after the required facts are recoverable.

The familiar argument lists are readable shorthand, not complete ontological signatures. A complete use names the whole, collection, or aspect and states the direct facts beside the shorthand. Input order does not matter to the list of designated inputs, but assembly relations, rules, facets, and identity conditions do matter. The same input set under a different assembly can yield another whole.

A construction may obtain in the world even when no trace episteme has been written. When another piece of work needs an inspectable trace, materialize a C.2.1 episteme whose claim content names the whole, collection, or aspect; its constituents, members, or bearer; the relation occurrences that obtain; the construction rule; and the identity conditions. Creating, editing, publishing, or losing that episteme changes the account or its availability, not the past or present construction facts.

Do not add a fourth constructor merely to carry time, execution order, parallelism, representation, evidence, or a domain label. Keep those claims with their direct patterns beside the construction account.

#Normative Standard (high‑level)

• C13-N1 — Direct facts first. A C.13 trace is conformant only when every named constituent or member and every named part, membership, or aspect occurrence is independently identified under its direct pattern.
• C13-N2 — Whole identity stays direct. The candidate whole follows its direct identity and reidentification rule. Equality of an input list or trace does not decide whether the existing whole continues or a new whole must be identified; a permitted constituent replacement can preserve one whole, while the same constituents under another assembly can form another whole.
• C13-N3 — Construction form. sum, set, and slice are the only C.13 forms. Reordering or duplicate designation does not change the listed inputs; it does not merge distinct entities or relation occurrences and does not erase assembly or facet differences.
• C13-N4 — Mereological discipline. Direct part patterns and A.14 govern acyclicity, antisymmetry, transitivity where applicable, recurrence, and occurrence identity. C.13 does not strengthen a direct relation by calculus convention.
• C13-N5 — Trace separation. A materialized trace is a C.2.1 episteme. It creates none of the following: the whole, collection, or aspect it describes; the inputs; the relation occurrences; the construction rule; the identity conditions; or holonhood.
• C13-N6 — Member is not component. set supports a collection account; it does not imply integrated assembly, ComponentOf, system agency, or A.1 recognition. Use sum only when exact constructive part relations and assembly are independently grounded.
• C13-N7 — Published-edge grounding stays with B.3.5. When a structural Working-Model edge is published, follow B.3.5 for its required tv:groundedBy link and declared validationMode; C.13 supplies the reconstructible trace content. Evidence, warrant, currentness, and reliance remain separate, and neither the link nor the mode replaces the direct construction or identity facts.
• C13-N8 — Subject owners remain authoritative. Method, work, and discipline construction may use C.13 only after their direct patterns identify actual parts and whole-forming relations. A selected dependent U.Structure does not become a whole, collection, aspect, or holon by selection or name.
• C13-N9 — Transformation composition stays fail-closed. A C.13 entity-construction trace, method decomposition, work decomposition, common changed referent, or temporal subdivision establishes neither transformation parthood nor a composite transformation. Without a direct transformation-composition governor, retain the independently identified changes and the exact blocker; infer neither composition nor atomism.

#Scope, applicability, terms & notation

Use Compose-CAL when the current claim concerns the construction of one exact system, episteme, method, work occurrence, discipline, collection, or aspect and its direct part patterns already supply the required participants and obtaining relations. Do not apply it merely because a sentence contains part, a diagram groups nodes, or a selected structure organizes relations.

• Γ_m — the three-form notation for a C.13 construction narrative.
• construction trace — claim content that names the whole, collection, or aspect; its inputs; the direct relations that obtain; its construction rule; and its identity conditions; when materialized, it is a C.2.1 episteme.
• constructive part relation — an exact world-side relation occurrence governed by its direct pattern; it is designated by the trace but not created by it.
• assembly rule or method — the rule by which the named constituents assemble the whole, the members form the collection, or the bearer and facet distinguish the aspect; a rule-description episteme is not the assembly, collection, or aspect itself.
• identity or reidentification rule — the direct rule that identifies the whole, collection, or aspect and says which changes preserve or end it.

Alias readiness. These are common readable projections only when their direct relation meanings match the case:

• ComponentOf may accompany a sum construction;
• MemberOf may accompany a set construction and remains non-transitive unless its direct pattern says otherwise;
• AspectOf may accompany a slice construction;
• PortionOf needs the direct portion relation and metrical semantics in A.14, not a facet spelling alone;
• ConstituentOf needs the direct logical or content-part relation; material mixtures use their exact portion or component owner.

The readable label and the trace answer different questions. The label states which direct relation obtains; the trace explains how the exact relation set supports this construction. Neither one is evidence merely by being present.

#Structural CT2R Typing-Grounding Use

When a target kind or logical representation must reuse both a Γ_m construction account and an independently grounded Working-Model relation, use StructuralCT2RTypingGroundingUnfoldingStructureBlock from B.3.5. C.13 contributes the account of the subject-side relations that actually obtain and states which mereological structure the target preserves or loses inside that B.3.5-governed local A.22.CGUS structure specialization. C.13 does not create separate unfolding-structure authority and does not by itself supply a bridge, kind intent, proof, empirical evidence, or admissible reuse. Apply A.7.1, rather than this structural CT2R block, when an inadequate working account must be diagnosed against the subject construction.

Use this split especially when a readable relation label such as ComponentOf, MemberOf, AspectOf, ConstituentOf, or RepresentationOf is being reused beyond what its label warrants. The readable label does not by itself prove either constructive grounding or the wider structural projection. Name the construction trace and Working-Model relation, the target kind or logical representation, any bridge used, the structure preserved and collapsed, and the proof or evidence relation required by the stronger claim. If the evidence instead diagnoses a mismatch that requires revision of the working ontology, apply A.7.1.

#Archetypal Grounding

#Pump Skid: Integrated Assembly, Not A Parts List

PumpSkid #7 is assembled from exact Pump, Motor, Baseframe, Manifold, enclosure, pipe, cable, and connector entities. The direct mechanical, electrical, and fluid part-relation patterns identify the exact fastening, coupling, enclosure, terminal, flange, and seal occurrences. The skid assembly method or rule states how those facts form the candidate, and the skid reidentification rule says which replacements preserve PumpSkid #7.

The shorthand Γ_m.sum{Pump, Motor, Baseframe, Manifold, ...} is truthful only with those facts beside it. It records an integrated-assembly construction; it does not make the relations obtain. The composition sustains skid-level boundary, interface, load-envelope, and operating characteristics not attributable to one constituent alone.

The same parts unconnected on a pallet do not form the skid. A bill of materials and drawing are epistemes about intended or possible assembly. They do not substitute for actual part relations, assembly, or identity. The same part set connected under a different governed assembly may constitute another whole.

#Collection And Aspect

A fleet register can identify one collection and exact membership occurrences. Γ_m.set{Vehicle-1, Vehicle-2, ...} narrates that collection only after the collection identity and memberships are governed. It establishes no vehicle integration, collective agency, acting system, or A.1 holonhood.

An inspection aspect of PumpSkid #7 can use Γ_m.slice(PumpSkid-7, inspection-facet) only when the exact aspect, facet, and direct aspect relation are governed. A dashboard view, selected concern, or time window is not that aspect by display.

#Episteme, Method, Work, And Discipline Holons

A theory episteme may use C.13 only after C.2.1 identifies the episteme and an exact direct episteme-part or claim-composition pattern identifies the constituent entities, the part relations that obtain, and the assembly and reidentification rule. C.2.1 claim-graph content helps constitute the episteme but does not thereby supply a C.13 part predicate. A definition, derivation, diagram, representation, publication, or evidence relation likewise does not become a part merely because it states, shows, publishes, or supports the theory; include it in a sum trace only when an exact direct part predicate independently obtains. The trace then reports the claim-bearing assembly rather than creating it.

A composite method may use C.13 after B.1.5 or another direct method-composition pattern identifies exact submethods, whole-forming relations, constraints, and the whole-method reidentification rule. A dated work occurrence may use C.13 only after the direct work-mereology owner identifies exact work parts and whole-forming relations. Step labels, a recipe, work-plan items, a WBS, co-occurrence, or common performer do not supply those facts.

A discipline may use C.13 only after C.20 and its direct relation owners identify whatever constituent entities the case actually requires, the whole-forming relations that obtain among them, and the discipline identity or reidentification rule. Do not infer parts from C.20 card positions or from objects merely associated with the discipline. A canon item, practice, organization, carrier, bridge, comparison relation, field name, bibliography, curriculum, or publication collection enters a sum trace only when an exact direct part predicate independently obtains.

#Selected Structure And Transformation Stops

A selected BoundedModelUseStructure organizes exact model-use relations for a use. Selection does not give the dependent structure constituents, parthood, agency, holonhood, or an MHT. C.13 can discuss construction of an underlying system, episteme, method, or work whole when its direct facts are available; it does not turn the selected relation organization into that whole.

Mounting, wiring, fluid-connection, and configuration changes may each be independently identified U.Transformation occurrences. A skid entity-construction trace does not make those changes constituents of one composite transformation. If a use requires transformation contribution, parthood, composite identity, or holonhood and no direct governor supplies the relevant compatibility and reidentification law, retain the separate changes and the exact blocker. Missing composition facts establish neither composition nor indivisibility.

#Scope Justification

The three forms recur across mechanical, biological, informational, method, work, and discipline cases because they keep three questions apart: integrated assembly, collection membership, and aspect distinction. Their reuse does not erase subject ownership. Order and timing remain with method and temporal patterns; evidence and warrant remain with assurance patterns; public kind admission remains with E.24.UK; the decision whether the existing whole continues or a new whole must be identified remains with the direct identity rule and B.2 when reidentification is current.

#Bias-Annotation (cognitive anti-patterns and counter-moves)

#Conformance Checklist (normative, calculus‑level)

The following regulate a C.13 use.

#Common Anti-Patterns and How to Avoid Them

• Constructor as public relation. A Γ_m trace is shown as the relation the working reader should use. Keep the exact direct relation in ordinary prose and use the trace only for the construction account.
• Trace as cause. A diagram, formula, parts list, or trace publication is said to create the assembly. Recover the actual inputs, obtaining relations, assembly, and identity rule.
• Member as component. A set construction is used to infer integrated assembly structure. Keep collection membership distinct; use sum only after exact constructive part relations obtain.
• Same parts, same whole. Two assemblies with the same component names are treated as one whole. Compare their obtaining relations, assembly rules, boundaries, and identity conditions.
• Temporal constructor drift. A phase, schedule, or assembly order is modeled as a Compose-CAL constructor. Keep temporal and method claims in their own planes.
• Method or work shortcut. Recipe steps, plan items, or WBS rows are called parts of an actual method or work occurrence. Use the direct method- or work-composition owner first.
• Transformation shortcut. Changes of constituents are called parts of one transformation because the entity was assembled. Return the exact missing transformation-composition governor and retain the separately identified changes.

#Consequences

Benefits

• Inspectable construction. A practitioner can recover which exact inputs, relations, and rule support one assembly, collection, or aspect.
• Identity clarity. The account distinguishes the input list from the assembly and keeps whole reidentification with the direct identity rule.
• Human-first use. Ordinary ComponentOf, MemberOf, and AspectOf claims remain readable; notation is optional shorthand for a named construction use.
• Plane separation. Order, time, evidence, representation, kind admission, and receiving reliance keep their direct owners.
• Cross-domain reuse. The same three forms can describe system, episteme, method, work, discipline, collection, and aspect cases without claiming one universal part relation.
• Truthful stops. Missing direct part or transformation-composition governors remain visible instead of being hidden by a trace.

Costs and mitigations

• A truthful trace needs more than a parts list: exact relations, assembly, and identity conditions must be named. Reuse a direct pattern's existing facts rather than duplicating them.
• A world-side construction can obtain before anyone writes a trace. When a structural Working-Model edge is published, however, B.3.5 requires the trace link and validation mode; materialize the account without treating publication as the cause of construction.
• The same inputs can support different assemblies, and one whole can survive permitted replacements. Always carry the direct reidentification rule.

One-line takeaway. sum, set, and slice explain an already grounded construction; they do not create its entities, relations, identity, evidence, or holonhood.

#Rationale (informative)

Why exactly three forms?

sum, set, and slice keep three recurring practitioner questions apart:

• sum asks how exact constituents and constructive relations assemble an integrated whole;
• set asks which exact members form a collection under one collection identity rule;
• slice asks which exact aspect is distinguished from one bearer under a governed facet.

The forms are intentionally small, but their inputs do not determine ontology by themselves. An assembly is more than a set of part names; a collection is not automatically a holon or agent; and a facet label is not an aspect occurrence. The direct patterns provide relation obtaining and occurrence identity, while the candidate's direct pattern decides whether the existing whole continues or a new whole must be identified.

Why traces remain epistemic. A construction can obtain before anyone writes its account. A materialized trace is claim-bearing content used to inspect, communicate, or support that account. Evidence and assurance may warrant the claim, G.11 may govern the selected edition's currentness, and receiving work may rely or decline. None of those epistemic results changes the world-side assembly by itself.

Why order, time, selected structure, and transformation composition are outside. Method order and temporal extent answer different questions from parthood. A selected U.Structure is an organization of relations for a use, not automatically another holon. Entity construction also supplies no law by which several actual changes compose into one transformation. Keeping these stops explicit prevents an economical notation from becoming an ungoverned ontology.

#SoTA-Echoing

Constructional ontology and applied mereology both require explicit choices about constructors, dependence, identity, and the relation between a construction account and the object constructed. C.13 adopts that pressure by requiring exact inputs, obtaining direct relations, assembly, and reidentification. It rejects the stronger shortcut that a term, graph, extensional input set, or written constructor expression alone settles the existence or identity of the whole.

Model-based engineering likewise separates a readable structural model from the physical, operational, informational, method, or work organization it describes. C.13 keeps that model useful while routing representation, evidence, assurance, and currentness to their direct patterns.

#Relations

Builds on

• A.14 and direct part-relation patterns. They govern participant meanings, obtaining, recurrence, and occurrence identity for component, member, aspect, portion, constituent, and other part relations.
• C.2.1. It governs the identity of a materialized construction-trace episteme.

Coordinates with

• B.3.5. Governs the required trace link and validation mode for a published structural Working-Model edge. Its publication and assurance apparatus does not create the construction or decide whole identity.
• A.1 and B.2. A.1 consumes constructive assembly as one component of holon recognition; B.2 consumes exact construction and direct reidentification facts when the question is whether the existing whole continues or a new whole must be identified. C.13 decides neither public-kind recognition nor whole reidentification.
• B.1.5 and direct method-composition patterns. Supply exact submethods, whole-forming relations, constraints, and whole-method reidentification before a method construction is narrated.
• A.15 and direct work-mereology patterns. Supply exact work parts and whole-forming relations before a dated work construction is narrated.
• C.20 and direct discipline-composition relations. Supply exact discipline constituents, whole-forming relations, and identity conditions before a discipline construction is narrated.
• A.22 and A.1.1. Keep selected relation organization and bounded model use distinct from construction of the underlying holon.
• A.3.4. Identifies each actual bounded change independently; C.13 supplies no transformation-composition law.
• C.29. Keeps formulas, graphs, diagrams, and traces as representations of independently recovered objects when representation is current.
• A.7.1 and A.22.CGUS. Handle diagnostic return and the wider structural projection from construction to a target kind or logical representation when those uses are current.

Constrains

• A pattern that relies on a constructive whole states that whole, its constituents, the part relations that obtain, the assembly rule, and the identity rule rather than relying on a list or diagram.
• Collection, aspect, method, work, discipline, selected-structure, and transformation cases keep their direct owners and stop at missing governors.
• New construction forms require a separate parsimony and use argument; ordinary time, order, evidence, representation, and domain labels do not justify one.

Provides

• the three construction narratives Γ_m.sum, Γ_m.set, and Γ_m.slice;
• a plain-language discipline for connecting those narratives to exact direct facts without making the trace their cause;
• explicit unassembled-collection, selected-structure, existing-whole continuity or new-whole identification, and transformation-composition stop conditions.

#C.13:End

---

Last Updated: 2026-07-28 — upstream FPF commit 17edd955 (github.com/ailev/FPF)