The union of visual criteria for checkpoints whose visual sub-condition is not yet latched — what the judge should evaluate next in checkpoint mode. Empty when every remaining checkpoint is deterministic-only (⇒ skip the judge).
The union of visual criteria for checkpoints whose visual sub-condition is not yet latched — what the judge should evaluate next in checkpoint mode. Empty when every remaining checkpoint is deterministic-only (⇒ skip the judge).