rotation-preserves-fd-invariant

Status: IN

After `_maybe_rotate` returns, `self._fd` is guaranteed non-None and open for writing (assuming it was non-None on entry), because `_rotate()` always opens a new file.

Source: entries/2026/05/29/write-ahead-log-wal-_maybe_rotate.md

JSON