@tgingold: sometimes these are unexplained spikes in the magic DRC (that happen 1 in 7 runs) and don't correspond to real violations. Rerunning DRC on the same design with the same configs again, should make them go away (if they are what I think they are).