Hrm, well, my comment about a fix without using more RAM may or may not survive.

For the 2nd problem mentioned above, the one with the annotated timeline.  I am not understanding why the mutation made by the "merging proc" isn't visible by the "folding proc" at the place where the fold reaches that key in file # 2.