{"id":"bully-election-terms-monotonic","text":"Election terms in `get_election_history()` are enforced to be monotonically non-decreasing across successive elections, validated by `test_terms_increase_monotonically`","truth_value":"IN","source":"entries/2026/05/29/leader-election-test_leader_election.md","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{},"explanation":{"steps":[{"node":"bully-election-terms-monotonic","truth_value":"IN","reason":"premise"}]}}