1. Current logic extracts records with `POS >= qlo` (query low) but omits records with `POS < qlo && END >= qlo.` 2. More thorough testing would be nice. 3. The way checkpoints are detected feels vaguely brittle.