Status: OUT
CRDT merge convergence is both algebraically correct and practically sustainable in production with bounded resource consumption.
Algebraic convergence holds but without causal context ORSet tombstones grow monotonically without bound, making long-lived production deployments unsustainable
Depends on (SL): crdt-merge-algebra-satisfies-convergence-requirements
Unless: orset-no-causal-context