{"id":"raft-commit-index-monotonic","text":"`_commit_index` only ever increases within `_advance_commit_index` because the loop starts at `_commit_index + 1` and only assigns forward; it can never decrease or be reset.","truth_value":"IN","source":"entries/2026/05/29/raft-consensus-raft-_advance_commit_index.md","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{},"explanation":{"steps":[{"node":"raft-commit-index-monotonic","truth_value":"IN","reason":"premise"}]}}