{"id":"vc-prune-tiebreak-unstable","text":"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","truth_value":"IN","source":"entries/2026/05/29/vector-clocks-vector_clock-prune.md","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{},"explanation":{"steps":[{"node":"vc-prune-tiebreak-unstable","truth_value":"IN","reason":"premise"}]}}