Merge pull request #183 from icpc/current-judgement

Add `current` to `/judgements`

Author: niemela

Contest_API.md

@@ -531,7 +531,7 @@ Data is immutable though: only inserts, no updates or deletes of
 objects. It does have associated timestamp/contest time property.
 Inserts and deletes are notified via the event feed. **Note**:
 judgements are the exception to immutability in a weak sense: they get
-updated once with the final verdict.
+updated once with the final verdict, and the value for `current` may change.
 
 Aggregate data: Only `GET` makes sense. These are not included in the
 event feed, also note that these should not be considered proper REST
@@ -1715,6 +1715,7 @@ Properties of judgement objects:
 | submission\_id       | ID        | Identifier of the [submission](#submissions) judged.
 | judgement\_type\_id  | ID ?      | The [verdict](#judgement-types) of this judgement. Required iff judgement has completed.
 | score                | number    | Score for this judgement. Required iff contest:scoreboard\_type is `score`.
+| current              | boolean ? | `true` if this is the current judgement. Defaults to `true`. At any time, there must be at most one judgement per submission for which this `true` or unset (and thus defaulting to `true`).
 | start\_time          | TIME      | Absolute time when judgement started.
 | start\_contest\_time | RELTIME   | Contest relative time when judgement started.
 | end\_time            | TIME ?    | Absolute time when judgement completed. Required iff judgement\_type\_id is present.

readme.md

@@ -28,8 +28,9 @@ This is the draft of some future version of the CCS specification.
 
 These are the main changes made since the `2023-06` version:
 
-- Changed type of `penalty_time` in contest enpoint from `integer` to `RELTIME`.
+- Changed type of `penalty_time` in contest endpoint from `integer` to `RELTIME`.
 - Changed type of time related properties in scoreboard endpoint from `integer` to `RELTIME`.
+- Added `current` to judgements endpoint.
 - Added `country_subdivision` and `country_subdivision_flag` to organizations endpoint.
 
 ## References