FA-84275 / Sports scoring and tiebreakers / Member archive

Short fractional parts read as thousandths · case 05

A time of "10.2" is treated as 10.002 seconds.

Member previewVariant 5 · 3 implementations · 8 checks per implementation

Case contract

Sprint results. results rows are [name, time] where time is seconds with up to three decimals, or "DNF"/"DQ". Times are rounded up to the next hundredth for publication. Rank by rounded time then name; equal rounded times share the place and the next place is skipped (1, 2, 2, 4). DNF athletes follow the finishers in name order with place None and time "DNF"; DQ athletes are omitted. Return [place, name, time "S.hh"] rows.

Why this case matters

Result feeds publish hundredths from fully automatic timing and must rank ties consistently.

One recorded failure

Sample boundary fixture

This sample comes from the broken implementation of a controlled reproducer.

Boundary fixture	Actual	Expected	Outcome
control distinct times	`[[1, "Ade", "10.02"], [1, "Bo", "10.02"]]`	`[[1, "Bo", "10.12"], [2, "Ade", "10.15"]]`	Failed

MEMBER ARCHIVE

The complete case is available to members.

This record includes three runnable implementations, regression fixtures, execution results, and source hashes.

Member access is invitation-based. Sign in with your invited account to inspect the sources.