Fastest lap with pit filter

Find a driver's fastest "representative" lap of a race, ignoring the laps that are slowed down by the pit lane.

A timing loop logs the moment the car crosses the finish line at the end of every lap. crossings[i] is that moment, in tenths of a second since the start of the race, so lap 1 lasts crossings[0] tenths and lap i + 1 lasts crossings[i] - crossings[i - 1].

These laps do not count:

• Lap 1, which is a standing start.
• Every lap listed in pitLaps: that lap is the one on which the car drove into the pits (the in-lap).
• The lap right after each listed lap (the out-lap). Laps that do not exist are simply ignored.

Among the laps that do count, find the fastest one. If several laps share the best time, the earliest of them wins. A lap *sets a record* when it counts and is strictly faster than every counting lap before it (the first counting lap always sets a record).

Input: crossings, a strictly increasing list of integers, and pitLaps, a list of lap numbers (1-based, possibly unordered or repeated).

Output: a list [lap, duration, records] with the 1-based number of the fastest counting lap, its duration in tenths of a second, and how many records were set during the race. If no lap counts, return [].