Q-69: A successful protest can order a restart #23

New issue

Open

opened 2026-09-02 08:44:55 +02:00 by robert · 0 comments

robert commented

2026-09-02 08:44:55 +02:00

(Migrated from git.butzei.de)

[C 1.5.1.4] says all competitors make one attempt. Ben's domain model would like that
as a hard invariant.

But at DM 2025 the jury ordered a restart ("Restart wegen Coachfehler") and lifted two
DQ Turn50 decisions. So a second attempt for the same entry is a real outcome, and
"one attempt per entry" cannot be enforced in the data model.

Needs confirming with the Main Judge, and then the model must represent: which attempt counts,
what happens to the first one in the log, and how the protocol prints it.

Found by Kai in the 2025 protocol. See docs/04-open-questions.md Q-69.

`[C 1.5.1.4]` says all competitors make **one attempt**. Ben's domain model would like that as a hard invariant. But at DM 2025 the jury ordered a **restart** ("Restart wegen Coachfehler") and lifted two `DQ Turn50` decisions. So a second attempt for the same entry is a real outcome, and "one attempt per entry" cannot be enforced in the data model. Needs confirming with the Main Judge, and then the model must represent: which attempt counts, what happens to the first one in the log, and how the protocol prints it. Found by Kai in the 2025 protocol. See `docs/04-open-questions.md` Q-69.