Mechanism to avoid merging files created from same random seed #87
Description
Somewhat related to #6 and #82, @trnielsen suggested that we add some sort of mechanism to avoid people inadvertently merging MCPL files created in jobs using the same seed.
One idea is to use the new stat:... comments to add comments like:
stat:seeds: 2343243,344354325,234324324,2432424
Files would become unmergeable if they contain the same seeds, and merged files would get the full list of seeds from both files.
A split file would retain the full list of seeds, so you could not re-merge files that were originally split from the same file.
A complication would be that the comment would have indeterminate length, so the code for updating them at the end of the merge would also be somewhat complicated.
Clearly this feature is not for the near-term, we can let it simmer a bit while we think about it ;-)