{"id":"maybe-rotate-requires-lock","text":"`_maybe_rotate` must be called under `self._lock` but does not acquire or assert the lock itself; all three call sites (`append`, `append_batch`, `checkpoint`) satisfy this obligation.","truth_value":"IN","source":"entries/2026/05/29/write-ahead-log-wal-_maybe_rotate.md","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{},"explanation":{"steps":[{"node":"maybe-rotate-requires-lock","truth_value":"IN","reason":"premise"}]}}