Score revamp

spec/2023-07-draft.md

@@ -1109,38 +1109,40 @@ as is the maximum score of each test case in the group:
 Group Maximum Score | Aggregation Type     | Maximum Score of Test Case / Subgroup
 ------------------- | -------------------- | -------------------------------------
 `unbounded`         | any                  | `unbounded`
-bounded value `M`   | `sum` or `pass-fail` | `(M - S)/(A + T)`
-bounded value `M`   | `min`                | `M - S`
+bounded value `M`   | `pass-fail`          | 1
+bounded value `M`   | `sum`                | `(M - S)/(A + T)`
+bounded value `M`   | `min`                | `M`
 
-where the group has `T` test cases, `A` subgroups without a provided `score`, and whose other subgroups have maximum scores that sum to `S`.
-It is a judge error if `S > M`. This formula evenly distributes a group's leftover maximum points to its test cases and subgroups with unspecified maximum score.
+where the group has `T` test cases, `A` subgroups without a provided `score`, and whose other subgroups have maximum scores that sum to `S`. This formula evenly distributes a group's leftover maximum points to its test cases and subgroups with unspecified maximum score. It is a judge error if `S > M` for a group with bounded maximum score and `sum` aggregation.
 
 ### Scoring Test Cases
 
 The score of a failed test case is always 0.
 By default, the score of an accepted test case is its maximum score, computed as described above.
-A custom output validator may produce a `score.txt` file for a test case:
+A custom output validator may produce a `score.txt` or `unbounded_score.txt` file for a test case:
 
 - for test cases in a group with bounded maximum score, `score.txt` must contain a single floating-point number in the range `[0,1]`.
   The score of the test case is this number _multiplied_ by the test case maximum score.
-
-- for test cases in unbounded groups, `score.txt` must contain a non-negative floating-point number.
+- for test cases in unbounded groups, `unbounded_score.txt` must contain a non-negative floating-point number.
   The score of the test case is that number.
 
-It is a judge error if an output validator accepts a test case in an unbounded group and does not produce a `score.txt`.
-It is also a judge error if an output validator produces a `score.txt` for a test case in a group with `passs-fail` aggregation.
+It is a judge error if:
+- an output validator accepts a test case in an unbounded group and does not produce an `unbounded_score.txt`;
+- an output validator produces a `score.txt` for a test case in a group with `passs-fail` aggregation or with unbounded maximum score;
+- an output validator produces a `unbounded_score.txt` for a test case in a group with bounded maximum score.
 
 ### Scoring Test Groups
 
 The score of a test group is determined by its subgroups and test cases.
 If it has no subgroups or test cases, then its score is 0.
 Otherwise, the score depends on the aggregation mode, which is either `pass-fail`, `sum`, or `min`.
-If a group uses `pass-fail` aggregation, the group must have bounded maximum score and all subgroups must also use pass-fail aggregation.
+
+- If a group uses `pass-fail` aggregation, the group must have bounded maximum score and all subgroups must also use pass-fail aggregation.
 If the submission receives an accept verdict for all test cases in the group and its subgroups,
 the score of the group is equal to its maximum possible score.
 Otherwise the group score is 0.
-If a group uses `sum` aggregation, the group score is the sum of the scores of its test cases and subgroups.
-If a group uses `min` aggregation, then the group score is the minimum of these scores.
+- If a group uses `sum` aggregation, the group score is the sum of the scores of its test cases and subgroups.
+- If a group uses `min` aggregation, then the group score is the minimum of these scores.
 
 The submission score is the score of the `secret` group.