J1/J10 had eight genuine copper-to-NPTH violations at the 0.20 mm rule already present in Circuit JSON, but native generation masked them by overriding the rule to 0.13 mm; the fix keeps 0.20 mm and trims the pads, taking website converter hole errors from 8 to 0 and KiCad DRC to 0 errors.
From the Grok pain-radar digests, Oct 28-29 2026 (Oct 28 8:41 AM ET through Oct 29 early-morning Haitch editions). Verified live 2026-10-29: issue/PR read; title and state confirmed.