{"id":"raft-partition-via-set","text":"Network partitions are simulated by adding node IDs to `_partitioned`; partitioned nodes neither tick nor send/receive messages, modeling complete network isolation.","truth_value":"IN","source":"entries/2026/05/29/raft-consensus-raft.md","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{"example":"self._partitioned = set()\n# ...\nif sender in self._partitioned or receiver in self._partitioned:\n    continue  # drop message"},"explanation":{"steps":[{"node":"raft-partition-via-set","truth_value":"IN","reason":"premise"}]}}