{"id":"wal-segment-naming-zero-padded","text":"WAL segment filenames are zero-padded 6-digit integers (`000001.wal`, `000002.wal`, ...) derived from the highest existing filename plus one, which makes lexicographic sort equal numeric sort.","truth_value":"IN","source":"entries/2026/05/29/write-ahead-log-wal-_rotate.md","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{"example":"self._current_file = os.path.join(self._dir, f\"{next_num:06d}.wal\")"},"explanation":{"steps":[{"node":"wal-segment-naming-zero-padded","truth_value":"IN","reason":"premise"}]}}