An opposed-dot-polarity-subtracts-voltage scan applies the dot sign rule to two cited winding voltages, checking that aiding windings add V_out = V_a + V_b while opposing windings subtract V_out = V_a - V_b row by row. The arithmetic is exact only for the stated winding voltages, dot polarities, output voltages, and rows in the ideal shared-flux, perfectly coupled transformer model. Real transformers add leakage flux, winding resistance, core loss, saturation, dot-marking/wiring error, probe/calibration limits, finite precision, and measurement uncertainty.
Dot convention is a source-bound sign rule in this finite model. Exact arithmetic here means exact results for the stated model inputs; measured inputs still carry uncertainty and significant-figure limits.
highlighted = computed this step
Dot polarity is a sign rule on cited winding voltages
The polarity row must cite two distinct winding sources before it can add or subtract them.