Executable specification
Which line is the live one, and which screen the sailor is looking at. A sequence rule with a cycle in it, and a hysteresis with two thresholds and a dwell — neither is checkable by reading it.
The same assertions tools/run-js-tests.mjs runs in the Maven build, imported from raceclient-test.js rather than copied, so the page and the build cannot disagree.