Status: IN
When multiple nodes share the same counter value during `prune`, which survive depends on Python's `sorted` stability over dict iteration order — not a deterministic tiebreak policy callers can rely on
Source: entries/2026/05/29/vector-clocks-vector_clock-prune.md