{"id":"lock-expiry-enables-reacquisition-without-release","text":"`LockService.acquire` checks `is_expired(current_time)` before rejecting a competing acquire, so a crashed or GC-paused client's lock is automatically reclaimable after TTL without requiring explicit release","truth_value":"IN","source":"entries/2026/05/29/topic-ddia-ch8-process-pauses.md","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{},"explanation":{"steps":[{"node":"lock-expiry-enables-reacquisition-without-release","truth_value":"IN","reason":"premise"}]}}