?just compiles

[timm]

The general quality criteria basically just says "complies with the specific attributes." If you've nothing else to say here, just take out the section. Alternatively you could list some more general ideas like "usefulness" and "re-usability".

Likewise, the example acceptable deviation doesn't add much and can be dropped.