Q-57: How is the official speed time derived? #18

New issue

Open

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

robert commented

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

(Migrated from git.butzei.de)

No speed result can currently be computed.

[C 3.2.3.1] gives the mean-then-floor rule, but it sits in the static chapter only.
For speed, [C 4.1.3.2] says the timekeepers photograph their stopwatches, show them to the
Chief Judge and write the times on the timecard — and then says nothing about what the
official time is.

With two timekeepers and two different readings there is no rule that turns them into a
result. Mean? Lower? Higher? Chief Judge's call? And to what precision — static rounds down
to the full second, but speed times are printed to hundredths.

Found by Ben while specifying the arithmetic. He left the function deliberately unimplemented
rather than guessing. Ask the Main Judge.

See docs/04-open-questions.md Q-57 and docs/design/domain-model.md.

**No speed result can currently be computed.** `[C 3.2.3.1]` gives the mean-then-floor rule, but it sits in the **static chapter only**. For speed, `[C 4.1.3.2]` says the timekeepers photograph their stopwatches, show them to the Chief Judge and write the times on the timecard — and then says nothing about what the official time is. With two timekeepers and two different readings there is no rule that turns them into a result. Mean? Lower? Higher? Chief Judge's call? And to what precision — static rounds down to the full second, but speed times are printed to hundredths. Found by Ben while specifying the arithmetic. He left the function deliberately unimplemented rather than guessing. Ask the Main Judge. See `docs/04-open-questions.md` Q-57 and `docs/design/domain-model.md`.