Support-vector status is exact bookkeeping on the displayed rows: compute each signed margin, mark equality to one, and leave larger margins outside the setting set.
highlighted = computed this step
Compute signed margins
For each displayed row, compute y times (w dot x plus b). The exact signed margins are 1, 1, 2, and 2.
yi(w⋅xi+b)=[1,1,2,2]
Margin equal to one
A displayed row is a support vector here when its signed margin equals 1. Rows A and B have margin 1, so they are marked as support vectors.
support vector⟺yi(w⋅xi+b)=1
Margin greater than one
Rows C and D have signed margin 2. Since 2 is greater than 1, those rows sit beyond the margin and do not set it. This is displayed-row bookkeeping only.