{"id":"vc-prune-keeps-highest-counters","text":"`VectorClock.prune(n)` retains the `n` entries with the highest counter values and discards the rest, using `sorted` descending by counter","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-keeps-highest-counters","truth_value":"IN","reason":"premise"}]}}