Robot swarms stop guessing whether holes will close: the initial state alone yields a lower bound on cumulative hole area
A distributed feedback built on harmonic edge signals turns hole information into robot forces in planar swarms whose sensing disks cover a region; under stated assumptions, model and initial state alone yield offline rational lower bounds on cumulative hole area, and in a 15-second numerical demo both initial holes close by 9.9s.