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

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.