You can debate whether the rule is correct or whether they should have done more to stop him competing in qualifying but once he did it, the only course of action was to disqualify him.
Any other decision would have been pandering to Bartosz.
(Yes, for the record, I think the punishment on that rule is completely misplaced. Should be a bigger fine but no DQ)