I know it’s vanishingly rare, but in the hypothetical where one swimmer finishes at X.004 and another finishes at X.005, does that mean they will get scored as X.00 and X.01 and not tie despite being only 1/1000th of a second different? I know for normal meets that’s what would happen, but didn’t find an answer in the FINA standards doc for the olympics/world championships.
My read is that any finish within the same 0.01 second is a tie, but a hypothetical finish of, say, 40s.009 and 40s.011 would be ranked 1st and 2nd respectively, despite being only 0.002s different.
The docs I've linked aren't fully clear on this and I've not found official rules.
