I suppose my Zcodium session got too long (starting a new thread helped):
- The loop's run ends when no empty-row points remain (all filled) β β hmm β hmm: hmm β OR the frac_remain... β hmm β hmm: hmm β hmm: the frac_remain=0.5 termination: hmm β hmm: hmm β the sweep at the chunk expansion: hmm β hmm β hmm β the runs are short (20 iterations for K=400 β the empty records run out) β hmm β the chunk (500 columns) never fills β β hmm β hmm: the chunk expansion: hmm β hmm β hmm β hmm: hmm.
Hmm β hmm β hmm: hmm β the chunk expansion: hmm β "this array is expanding in chunks until termination" β hmm β hmm: with the never-replaced rule, the run's length: K/P iterations = 20 columns for K=400 β hmm β the chunk: hmm β hmm: let me make the chunk SMALLER: hmm β hmm β hmm: the chunk = the run's expected length? β hmm β hmm β hmm: hmm β hmm β hmm: hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm β hmm
Seems to be a known problem.

