Take the first crossing only from those that complete the speed section?

[philderbeast]

The docs say that when calculating the leading coefficient, the area of time over distance, times are to be indexed off the first crossing of the zone that starts the speed section.

https://github.com/BlockScope/CIVL-GAP/blob/e26334b23531dd8b314d1c32c5304fc4aef2121a/gap.tex#L1278-L1288

I found this comment in FS source code suggesting that we should take the first crossing from the set of pilots that complete the speed section, a subset of the pilots that started the speed section.

FirstStart = the earliest PilotStart among pilots completing the SpeedSection
If nobody completes the speed section then use first start opening time.

SOURCE: LcCalculator.cs

Furthermore if no one completes the speed section then index from the time the first start gate opens.

Put another way, the tracks of pilots that start but don't finish the speed section are to be put aside when picking a first crossing time.

Does the comment in FS describe the implementation as it is?
Which is correct the docs or the implementation in FS?