{"id":"wal-has-truncation-raft-does-not","text":"The WAL module provides explicit `truncate(up_to_seq)` and file rotation for log lifecycle management; the Raft module has no equivalent despite both being append-only log abstractions","truth_value":"IN","source":"entries/2026/05/29/topic-raft-log-compaction.md","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{},"explanation":{"steps":[{"node":"wal-has-truncation-raft-does-not","truth_value":"IN","reason":"premise"}]}}