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.
Leave a Reply