MongoR memory maps each file in a recording in turn.

An empty file at the end of a recording (or as the sole file in a recording) is a valid case.

An empty file will fail mapping.

For any earlier file, being empty is an error.

For the final file, the replay should be allowed to end normally.