Specify that validation_passes >= 2

Author: mpsijm

spec/2023-07-draft.md

@@ -325,20 +325,20 @@ The time defaults to the start of the day in UTC.
 Time, memory, and other limits to be imposed on submissions.
 A map with the following keys:
 
-Key                  | Comments                       | Default        | Typical system default
--------------------- | ------------------------------ | -------------- | ----------------------
-`time_multipliers`   | optional                       | see below      |
-`time_limit`         | optional float > 0, in seconds | see below      |
-`time_resolution`    | optional float > 0, in seconds | 1.0            |
-`memory`             | optional int > 0, in MiB       | system default | 2048
-`output`             | optional int > 0, in MiB       | system default | 8
-`code`               | optional int > 0, in KiB       | system default | 128
-`compilation_time`   | optional int > 0, in seconds   | system default | 60
-`compilation_memory` | optional int > 0, in MiB       | system default | 2048
-`validation_time`    | optional int > 0, in seconds   | system default | 60
-`validation_memory`  | optional int > 0, in MiB       | system default | 2048
-`validation_output`  | optional int > 0, in MiB       | system default | 8
-`validation_passes`  | optional int >= 1              | 2              |
+Key                  | Comments                               | Default        | Typical system default
+-------------------- | -------------------------------------- | -------------- | ----------------------
+`time_multipliers`   | optional map as defined below          | see below      |
+`time_limit`         | optional float > 0, in seconds         | see below      |
+`time_resolution`    | optional float > 0, in seconds         | 1.0            |
+`memory`             | optional int > 0, in MiB               | system default | 2048
+`output`             | optional int > 0, in MiB               | system default | 8
+`code`               | optional int > 0, in KiB               | system default | 128
+`compilation_time`   | optional int > 0, in seconds           | system default | 60
+`compilation_memory` | optional int > 0, in MiB               | system default | 2048
+`validation_time`    | optional int > 0, in seconds           | system default | 60
+`validation_memory`  | optional int > 0, in MiB               | system default | 2048
+`validation_output`  | optional int > 0, in MiB               | system default | 8
+`validation_passes`  | optional int >= 2, only for multi-pass | 2              |
 
 For most keys, the system default will be used if nothing is specified.
 This can vary, but you **should** assume that it's reasonable.
@@ -348,10 +348,10 @@ Only specify limits when the problem needs a specific limit, but do specify limi
 
 `time_multipliers` is a map with the following keys:
 
-Key                 | Comments   | Default
-------------------- | ---------- | -------
-`ac_to_time_limit`  | float >= 1 | 2.0
-`time_limit_to_tle` | float >= 1 | 1.5
+Key                 | Comments            | Default
+------------------- | ------------------- | -------
+`ac_to_time_limit`  | optional float >= 1 | 2.0
+`time_limit_to_tle` | optional float >= 1 | 1.5
 
 The value of `time_limit` is an integer or floating-point problem time limit in seconds.
 The time multipliers specify safety margins relative to the slowest accepted submission, `T_ac`, and fastest time_limit_exceeded submission, `T_tle`.