Distributed lock

Last modified August 3, 2026: chore: remove reodev (#5263) (f5d0b6d)