OptionaldiscrepancyDiscrepancy is a flag signalling that a discrepancy has been detected.
Optionalhighest_HighestRank is the rank of the highest-ranked scheduler among those who have submitted a commitment for their own proposal. The maximum value indicates that no scheduler has submitted a commitment.
Optionalscheduler_SchedulerCommitments is a map that groups scheduler commitments and worker votes by the scheduler's rank.
Pool is a serializable pool of scheduler commitments that can be used to perform discrepancy detection and resolution.
The pool is not safe for concurrent use.