On the SparkFun Pro Micro RP2040, a board SparkFun has actually built, dfm_check fails 179 times, mostly against floors JLC does not publish: hwde holds a 0.45 mm minimum via diameter and 0.1 mm ring where JLC's page says 0.25 mm and 0.05 mm (0.45 mm is a cost tier, not a floor), 0.3 mm copper to edge where JLC says 0.2 mm, and one hole-to-hole rule where JLC has separate via, pad and castellated values. The ask is to keep preferred and min apart.