In this situation—merging an append-only set of independently gathered evidence IDs—which choice best applies “CRDTs Merge Concurrent State by Construction”?