B.1.4:6 - Conformance Checklist

ID	Requirement	Purpose
CC-B1.4-1	The aggregate names the EntityOfConcern, included positions or phases, aggregation mode, ClaimScope when needed, time window when temporal qualification matters, and admissible use.	Prevents a generic context or time label from standing in for the aggregation boundary.
CC-B1.4-2	Contextual aggregation names ordered relation refs and an `OrderSpec`; temporal aggregation names carrier identity, phase refs, and `TimeWindow`.	Keeps order and time as different relations.
CC-B1.4-3	Independence, join, coverage, and overlap-policy conditions are present when the claim uses them.	Keeps local composition reviewable.
CC-B1.4-4	Method, method-description, work-plan, work-occurrence, work-resource, transformation, and whole-reidentification claims use the patterns that define or test them.	Prevents B.1.4 from absorbing neighboring objects.
CC-B1.4-5	Mathematical notation is treated as a selected lens or expression, not as the in-life object or relation.	Keeps `Gamma_ctx`, `Gamma_time`, graph, and algebra language bounded.
CC-B1.4-6	If identity changes, coverage breaks, or a new whole is claimed, the record narrows use or names the pattern for the stronger claim.	Prevents temporal aggregation from becoming hidden MHT or transformation.