Do you mean those who fail to <perfectly live up to coding standards, every single time>? Or is there a tolerance level for imperfectly meeting standards, belo

Do you mean those who fail to <perfectly live up to coding standards, every single time>? Or is there a tolerance level for imperfectly meeting standards, below which it is not necessary to exclude? I mean, you could, I suppose, require that submissions all include a coq proof of correctness (and of meeting standards), and then you wouldn't have to respond to submissions not meeting standards at all; any that didn't just wouldn't go through. (Angle brackets meant to reduce ambiguity)