{"id":"raft-cluster-deterministic-simulation","text":"`RaftCluster` uses tick-based deterministic simulation with no real clocks, threads, or network I/O; time advances only via explicit `tick(ms)` calls, making partition and election scenarios fully reproducible.","truth_value":"IN","source":"entries/2026/05/29/raft-consensus-test_raft.md","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{},"explanation":{"steps":[{"node":"raft-cluster-deterministic-simulation","truth_value":"IN","reason":"premise"}]}}