Rule RUL-03 says the gate supplies every file that carries DRC rules from the spec and never uses the emitter's copies; the same PR notes Renode's STM32F7 I2C model has no I2C errors at all, so simulated firmware can't hit a NACK.
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.