Extremal measures and clockwise overlays

We establish in full generality the correspondence between saturated Horn inequalities and clockwise overlays. This was known in generic cases by work of Knutson, Tao and Woodward. We also prove that an extremal rigid measure forms a clockwise overlay with itself. Finally, we provide a simple test for the rigidity of a measure derived from the immersion of a tree.