{"id":"orset-tombstone-set-monotonic","text":"`ORSet._tombstones` is append-only: tags are added during `remove()` and unioned during `merge()` but never deleted, so the tombstone set grows without bound over the lifetime of the replica","truth_value":"IN","source":"entries/2026/05/29/topic-or-set-tombstone-growth.md","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{},"explanation":{"steps":[{"node":"orset-tombstone-set-monotonic","truth_value":"IN","reason":"premise"}]}}