{"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":{},"created_at":"","updated_at":"","reviewed_at":"","verified_at":"","retracted_at":"","explanation":{"steps":[{"node":"vc-prune-tiebreak-unstable","truth_value":"IN","reason":"premise"}]}}