A.3.4:4.1 - Identify the actual bounded change

U.Transformation is the FPF ontic for one actual bounded change. Use the five checks below and keep only the facts needed to distinguish this occurrence:

1. Changed subject. Name the continuing entity, selected structure, presentation carrier, constituent organization, characteristic-bearing referent, or formal object and apply its identity rule. If an episteme’s claim content differs across the boundary, identify two C.2.1 epistemes and test their EpistemeEditionRelation; do not call either one the continuing changed subject. Use A.3.4 only for another continuing subject, or use A.15.PROD when revision U.Work first constitutes the later episteme.
2. Extent and boundary. State the temporal extent of the change, including only gaps admitted by its continuity rule, or state the ordering boundary in a declared formal substrate.
3. Boundary conditions. State the conditions that delimit this change from adjacent persistence, work, or change occurrences.
4. Actual change facts. Write the characteristic-state facts and relations that actually hold before, during, and after the boundary.
5. Continuity or reidentification. If the subject varies internally, the change pauses, or several intervals are proposed, state the rule that says the subject and this occurrence continue across that variation.

Here, one means one occurrence at the resolution, subject, extent, and boundary needed for this use. It does not mean elementary, atomic, indivisible, or partless. Later refinement may identify finer changes, and future accepted work may establish constructive parts; sampling or subdividing time establishes neither result.

Treat a possible, desired, planned, predicted, modeled, asserted, or published change as claim content until the occurrence facts above hold. A formal transformation can be actual within an admitted formal substrate, but its formula or proof term remains a C.29 representation of that independently identified formal change.