{"id":"raft-sentinel-entry-assumption","text":"The Raft log is initialized with a sentinel `LogEntry(term=0, index=0, command=None)` at position 0, and multiple methods depend on this entry always being present at `self._log[0]`","truth_value":"IN","source":"entries/2026/05/29/topic-raft-log-compaction.md","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{},"explanation":{"steps":[{"node":"raft-sentinel-entry-assumption","truth_value":"IN","reason":"premise"}]}}