A · Waltz filtering
discrete constraint propagation · §1.4.3FILTERING
Waltz filtering has no way to use graded evidence or costs: a label is either allowed or not.
A keeps every catalogue labelling at each junction and deletes any that lack a sponsor along a line. Red flashes are deletions in this sweep.
B solves the same linear programme as C, one pivot at a time. Amber lines changed label at this pivot.
C gives every label a supposition value and updates all of them at once. Brightness is the value; an amber ring marks a junction read as unusual.