Categorical precision criteria
Why it matters
“Be conservative” supplies no repeatable test, while a contradiction between a comment and behavior can be checked.
Example
Flag a comment only when the code does something incompatible with what the comment claims; skip wording preferences.