| CC‑PHA‑1 (Proper interval & carrier identity) | PhaseOf(x,y) requires x ≠ y, a proper sub-interval of y’s interval, and an explicit identity criterion for y valid throughout both restrictions (e.g., serial number, legal identity, theorem statement). | Excludes self/whole-lifetime phasing and prevents re-identification by stealth. |
| CC‑PHA‑2 (Nesting & overlap) | Nested or overlapping PhaseOf values for one carrier MAY obtain. Do not infer a partition, aspect difference, or carrier difference merely from overlap. | Keeps universal temporal parthood consistent and permits ordinary windows. |
| CC‑PHA‑3 (Selected partition) | If a claim selects an exhaustive partition, it MUST name one carrier, covered interval, aspect or partition rule, and family of phase cells. Only cells of that same selected partition are required to be pairwise non-overlapping and jointly cover the declared interval. | Makes coverage and non-overlap local to the claim that needs them. |
| CC‑PHA‑4 (Identity failure) | If the carrier-identity criterion fails, PhaseOf does not span that boundary. Apply the subject’s identity and continuation rules; a claimed Meta‑Holon Transition must independently satisfy B.2. | Keeps temporal parthood separate from whole reidentification. |
| CC-PHA-5 (Episteme & Work boundary) | PhaseOf MAY restrict one unchanged U.MethodDescription episteme to a proper interval only after its C.2.1 identity triple remains fixed. Changed description epistemes use EpistemeEditionRelation only when C.2.1’s historical-continuation predicate obtains. Work intervals, episodes, performed parts, retries, resumptions, and later occurrences SHALL use A.15.1’s exact relations; generic PhaseOf is not their substitute. PhaseOf never applies to a local system-role kind by kind identity or to U.Method. | Keeps episteme identity, edition continuity, and Work-temporal law with their subject patterns. |