{"id":"vc-prune-is-lossy","text":"Pruning permanently discards causal information; subsequent `compare()` or `dominates()` calls treat pruned nodes as counter=0, which can produce false concurrency or false dominance","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-is-lossy","truth_value":"IN","reason":"premise"}]}}