C.13:4.3 - 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:
ComponentOfmay accompany asumconstruction;- an ordinary belongs-to sentence may accompany a
setconstruction; the collection’s own pattern supplies its meaning, occurrence history, and any recurrence rule; AspectOfmay accompany asliceconstruction;PortionOfneeds the direct portion relation and metrical semantics in A.14, not a facet spelling alone;ConstituentOfneeds 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.