RecordDivergence
Two distinct immutable AttachmentRecords under one AttachmentId — a topology fork the merge deliberately retained rather than resolving by last-writer-wins on a parent pointer (design §5.2). The whole lineage is quarantined: EntitlementLedger.holdings returns zero for any group at or below the divergent edge.