Exact Local Exchange Profiles and Reconfiguration Barriers for Isosceles-Triangle-Free Grid Sets
How can a grid point set be modified without creating an isosceles triangle? This work introduces two local profiles: points that become individually admissible after deletions, and points that can actually be added together. It establishes exact profiles around two public AlphaEvolve configurations and lower bounds on the changes required to reach another configuration of equal or greater size.