C.13:4.2 - Normative Standard (high‑level)

• C13-N1 — Direct facts first. A C.13 trace is conformant only when every named constituent or collection entity and every named part, collection-belonging, 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 — A collection account is not component assembly. set supports a collection account; it does not imply integrated assembly, ComponentOf, system agency, or A.1 recognition. Use sum only when constructive part relations and assembly are independently grounded.
• C13-N7 — Elected assurance grounding stays with B.3.5. A direct structural Working-Model edge may be published without a C.13 trace. When that publication elects B.3.5 or a named current requirement demands the profile, follow B.3.5 for the 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.