Individual Fairness in Hierarchical Clustering
A sharp local threshold is identified, stability under bounded perturbations is proved, monotonicity in $k$ is established, and an intrinsic $\Theta(\log n)$ separation between local and global realizability is shown.