The finale keeps the exact assignment and update visible while drawing the boundary around broader claims. It shows one computed step, not a statement about the whole iterative procedure.
highlighted = computed this step
What is exact
The assignments, squared distances, and updated centroids are recomputed exactly from the displayed points and initial centroids.
shown data→one exact step
What is deferred
This diagram does not claim convergence, that the initialization was good, the right k, or generalization.
convergence and choice of k are deferred
Summary
This is one assign-and-update step, computed exactly from the shown points and centroids. It does not claim convergence, that the initialization was good, the right k, or generalization.