Judge error to exceed the maximum score in score.txt

Author: Etienne Vouga

spec/2023-07-draft.md

@@ -1337,6 +1337,7 @@ It is a judge error if:
 - an output or static validator produces a `score_multiplier.txt` for a test case with unbounded maximum score;
 - an output or static validator produces both a `score.txt` and a `score_multiplier.txt` for a test case;
 - an output or static validator produces a `score.txt` or `score_multiplier.txt` for a test case in a group with `pass-fail` aggregation;
+- an output or static validator produces a `score.txt` for a test case with bounded maximum score with a value that exceeds this maximum score;
 - an output or static validator produces a `score.txt` or `score_multiplier.txt` with invalid contents.
 
 #### Scoring Test Groups