faultline 0.1.1 cuts etcd/raft leader failover from 1.25 s to 343 ms

faultline 0.1.1, a deterministic simulation testing tool for Go, adds a harness for etcd/raft v3.7.0. With ElectionTick lowered from 10 to 3, leader failover after a crash dropped from 1.25 s to 343 ms; safety held across 500 seeds, while a 200-seed timing test exposed a slow case at 1.78 s.

• ElectionTick lowered from 10 to 3 with a 100 ms tick
• 500 seeds with partitions, crashes and clock drift broke no raft safety check
• 200-seed test failed on seed 45 with a new leader after 1.78 s
• Seed replay reproduces the exact run in virtual time