The isolation barrier check audits the gap after copper exists, but nothing upstream knows about it. The rules generator writes high-voltage DRC rules from creepage voltages and nothing from the isolation constraint, so routers and pours walk into the gap and the board finds out at final verify. One design keeps its 8 mm gaps with hand-placed keepouts in its own layout code. The ask is one source that DRC, routers and pours all read.