{"id":"crdt-convergence-practically-sustainable","text":"CRDT merge convergence is both algebraically correct and practically sustainable in production with bounded resource consumption.","truth_value":"OUT","source":"","source_url":"","source_hash":"","justifications":[{"type":"SL","antecedents":["crdt-merge-algebra-satisfies-convergence-requirements"],"outlist":["orset-no-causal-context"],"label":"Algebraic convergence holds but without causal context ORSet tombstones grow monotonically without bound, making long-lived production deployments unsustainable"}],"dependents":[],"metadata":{},"created_at":"","updated_at":"","reviewed_at":"","verified_at":"","retracted_at":"","explanation":{"steps":[{"node":"crdt-convergence-practically-sustainable","truth_value":"OUT","reason":"SL justification invalid","failed_antecedents":["crdt-merge-algebra-satisfies-convergence-requirements"],"label":"Algebraic convergence holds but without causal context ORSet tombstones grow monotonically without bound, making long-lived production deployments unsustainable","violated_outlist":["orset-no-causal-context"]}]}}