{ "Parameters": { "Version": "verify16-v1", "Nodes": 3, "MaxTerm": 1, "Candidates": [ 1, 2 ], "RestartNode": 3, "MaxRestarts": 1, "AtomicStorage": true, "Mutation": "node3-disk-drops-vote-false-ack", "Property": "vote", "MaxDepth": 11, "MaxStates": 200000 }, "Result": "COUNTEREXAMPLE", "Visited": 137, "Expanded": 47, "Frontier": 0, "Length": 5, "Initial": { "Status": [ { "ID": 1, "Role": "follower", "Hard": { "Term": 0, "Vote": 0 }, "Last": { "Term": 0, "Index": 0 }, "Votes": 0, "AwaitingPersist": false, "Commit": 0, "Log": null, "Snapshot": { "Index": 0, "Term": 0, "Configuration": { "Old": "", "New": "" }, "Members": null, "Data": null }, "Configuration": { "Old": "1,2,3", "New": "" }, "ConfigurationIndex": 0 }, { "ID": 2, "Role": "follower", "Hard": { "Term": 0, "Vote": 0 }, "Last": { "Term": 0, "Index": 0 }, "Votes": 0, "AwaitingPersist": false, "Commit": 0, "Log": null, "Snapshot": { "Index": 0, "Term": 0, "Configuration": { "Old": "", "New": "" }, "Members": null, "Data": null }, "Configuration": { "Old": "1,2,3", "New": "" }, "ConfigurationIndex": 0 }, { "ID": 3, "Role": "follower", "Hard": { "Term": 0, "Vote": 0 }, "Last": { "Term": 0, "Index": 0 }, "Votes": 0, "AwaitingPersist": false, "Commit": 0, "Log": null, "Snapshot": { "Index": 0, "Term": 0, "Configuration": { "Old": "", "New": "" }, "Members": null, "Data": null }, "Configuration": { "Old": "1,2,3", "New": "" }, "ConfigurationIndex": 0 } ], "Disk": [ { "Term": 0, "Vote": 0, "Initial": { "Old": "", "New": "" }, "Log": null, "Snapshot": { "Index": 0, "Term": 0, "Configuration": { "Old": "", "New": "" }, "Members": null, "Data": null }, "Commit": 0 }, { "Term": 0, "Vote": 0, "Initial": { "Old": "", "New": "" }, "Log": null, "Snapshot": { "Index": 0, "Term": 0, "Configuration": { "Old": "", "New": "" }, "Members": null, "Data": null }, "Commit": 0 }, { "Term": 0, "Vote": 0, "Initial": { "Old": "", "New": "" }, "Log": null, "Snapshot": { "Index": 0, "Term": 0, "Configuration": { "Old": "", "New": "" }, "Members": null, "Data": null }, "Commit": 0 } ], "VoteSets": [ 0, 0, 0 ], "Queue": null, "Timed": [ false, false, false ], "Restarted": false, "Audit": { "Votes": [ 0, 0, 0 ], "Elected": 0, "Events": null } }, "Trace": [ { "Action": { "Kind": "timeout", "Node": 1 }, "State": { "Status": [ { "ID": 1, "Role": "candidate", "Hard": { "Term": 1, "Vote": 1 }, "Last": { "Term": 0, "Index": 0 }, "Votes": 1, "AwaitingPersist": false, "Commit": 0, "Log": null, "Snapshot": { "Index": 0, "Term": 0, "Configuration": { "Old": "", "New": "" }, "Members": null, "Data": null }, "Configuration": { "Old": "1,2,3", "New": "" }, "ConfigurationIndex": 0 }, { "ID": 2, "Role": "follower", "Hard": { "Term": 0, "Vote": 0 }, "Last": { "Term": 0, "Index": 0 }, "Votes": 0, "AwaitingPersist": false, "Commit": 0, "Log": null, "Snapshot": { "Index": 0, "Term": 0, "Configuration": { "Old": "", "New": "" }, "Members": null, "Data": null }, "Configuration": { "Old": "1,2,3", "New": "" }, "ConfigurationIndex": 0 }, { "ID": 3, "Role": "follower", "Hard": { "Term": 0, "Vote": 0 }, "Last": { "Term": 0, "Index": 0 }, "Votes": 0, "AwaitingPersist": false, "Commit": 0, "Log": null, "Snapshot": { "Index": 0, "Term": 0, "Configuration": { "Old": "", "New": "" }, "Members": null, "Data": null }, "Configuration": { "Old": "1,2,3", "New": "" }, "ConfigurationIndex": 0 } ], "Disk": [ { "Term": 1, "Vote": 1, "Initial": { "Old": "", "New": "" }, "Log": null, "Snapshot": { "Index": 0, "Term": 0, "Configuration": { "Old": "", "New": "" }, "Members": null, "Data": null }, "Commit": 0 }, { "Term": 0, "Vote": 0, "Initial": { "Old": "", "New": "" }, "Log": null, "Snapshot": { "Index": 0, "Term": 0, "Configuration": { "Old": "", "New": "" }, "Members": null, "Data": null }, "Commit": 0 }, { "Term": 0, "Vote": 0, "Initial": { "Old": "", "New": "" }, "Log": null, "Snapshot": { "Index": 0, "Term": 0, "Configuration": { "Old": "", "New": "" }, "Members": null, "Data": null }, "Commit": 0 } ], "VoteSets": [ 1, 0, 0 ], "Queue": [ { "Type": 1, "From": 1, "To": 2, "Term": 1, "CampaignTerm": 1, "Last": { "Term": 0, "Index": 0 }, "Granted": false, "RequestID": 0, "RequestTerm": 0, "PrevIndex": 0, "PrevTerm": 0, "Entries": null, "LeaderCommit": 0, "Success": false, "Snapshot": { "Index": 0, "Term": 0, "Configuration": { "Old": "", "New": "" }, "Members": null, "Data": null }, "ReadRound": { "Term": 0, "Sequence": 0 } }, { "Type": 1, "From": 1, "To": 3, "Term": 1, "CampaignTerm": 1, "Last": { "Term": 0, "Index": 0 }, "Granted": false, "RequestID": 0, "RequestTerm": 0, "PrevIndex": 0, "PrevTerm": 0, "Entries": null, "LeaderCommit": 0, "Success": false, "Snapshot": { "Index": 0, "Term": 0, "Configuration": { "Old": "", "New": "" }, "Members": null, "Data": null }, "ReadRound": { "Term": 0, "Sequence": 0 } } ], "Timed": [ true, false, false ], "Restarted": false, "Audit": { "Votes": [ 1, 0, 0 ], "Elected": 0, "Events": [ { "Kind": "vote", "Term": 1, "Node": 1, "Candidate": 1, "Voters": null, "Index": 0, "Log": null, "Base": 0, "Configuration": { "Old": "", "New": "" }, "ReadRound": { "Term": 0, "Sequence": 0 }, "Token": "" } ] } } }, { "Action": { "Kind": "timeout", "Node": 2 }, "State": { "Status": [ { "ID": 1, "Role": "candidate", "Hard": { "Term": 1, "Vote": 1 }, "Last": { "Term": 0, "Index": 0 }, "Votes": 1, "AwaitingPersist": false, "Commit": 0, "Log": null, "Snapshot": { "Index": 0, "Term": 0, "Configuration": { "Old": "", "New": "" }, "Members": null, "Data": null }, "Configuration": { "Old": "1,2,3", "New": "" }, "ConfigurationIndex": 0 }, { "ID": 2, "Role": "candidate", "Hard": { "Term": 1, "Vote": 2 }, "Last": { "Term": 0, "Index": 0 }, "Votes": 1, "AwaitingPersist": false, "Commit": 0, "Log": null, "Snapshot": { "Index": 0, "Term": 0, "Configuration": { "Old": "", "New": "" }, "Members": null, "Data": null }, "Configuration": { "Old": "1,2,3", "New": "" }, "ConfigurationIndex": 0 }, { "ID": 3, "Role": "follower", "Hard": { "Term": 0, "Vote": 0 }, "Last": { "Term": 0, "Index": 0 }, "Votes": 0, "AwaitingPersist": false, "Commit": 0, "Log": null, "Snapshot": { "Index": 0, "Term": 0, "Configuration": { "Old": "", "New": "" }, "Members": null, "Data": null }, "Configuration": { "Old": "1,2,3", "New": "" }, "ConfigurationIndex": 0 } ], "Disk": [ { "Term": 1, "Vote": 1, "Initial": { "Old": "", "New": "" }, "Log": null, "Snapshot": { "Index": 0, "Term": 0, "Configuration": { "Old": "", "New": "" }, "Members": null, "Data": null }, "Commit": 0 }, { "Term": 1, "Vote": 2, "Initial": { "Old": "", "New": "" }, "Log": null, "Snapshot": { "Index": 0, "Term": 0, "Configuration": { "Old": "", "New": "" }, "Members": null, "Data": null }, "Commit": 0 }, { "Term": 0, "Vote": 0, "Initial": { "Old": "", "New": "" }, "Log": null, "Snapshot": { "Index": 0, "Term": 0, "Configuration": { "Old": "", "New": "" }, "Members": null, "Data": null }, "Commit": 0 } ], "VoteSets": [ 1, 2, 0 ], "Queue": [ { "Type": 1, "From": 1, "To": 2, "Term": 1, "CampaignTerm": 1, "Last": { "Term": 0, "Index": 0 }, "Granted": false, "RequestID": 0, "RequestTerm": 0, "PrevIndex": 0, "PrevTerm": 0, "Entries": null, "LeaderCommit": 0, "Success": false, "Snapshot": { "Index": 0, "Term": 0, "Configuration": { "Old": "", "New": "" }, "Members": null, "Data": null }, "ReadRound": { "Term": 0, "Sequence": 0 } }, { "Type": 1, "From": 1, "To": 3, "Term": 1, "CampaignTerm": 1, "Last": { "Term": 0, "Index": 0 }, "Granted": false, "RequestID": 0, "RequestTerm": 0, "PrevIndex": 0, "PrevTerm": 0, "Entries": null, "LeaderCommit": 0, "Success": false, "Snapshot": { "Index": 0, "Term": 0, "Configuration": { "Old": "", "New": "" }, "Members": null, "Data": null }, "ReadRound": { "Term": 0, "Sequence": 0 } }, { "Type": 1, "From": 2, "To": 1, "Term": 1, "CampaignTerm": 1, "Last": { "Term": 0, "Index": 0 }, "Granted": false, "RequestID": 0, "RequestTerm": 0, "PrevIndex": 0, "PrevTerm": 0, "Entries": null, "LeaderCommit": 0, "Success": false, "Snapshot": { "Index": 0, "Term": 0, "Configuration": { "Old": "", "New": "" }, "Members": null, "Data": null }, "ReadRound": { "Term": 0, "Sequence": 0 } }, { "Type": 1, "From": 2, "To": 3, "Term": 1, "CampaignTerm": 1, "Last": { "Term": 0, "Index": 0 }, "Granted": false, "RequestID": 0, "RequestTerm": 0, "PrevIndex": 0, "PrevTerm": 0, "Entries": null, "LeaderCommit": 0, "Success": false, "Snapshot": { "Index": 0, "Term": 0, "Configuration": { "Old": "", "New": "" }, "Members": null, "Data": null }, "ReadRound": { "Term": 0, "Sequence": 0 } } ], "Timed": [ true, true, false ], "Restarted": false, "Audit": { "Votes": [ 1, 2, 0 ], "Elected": 0, "Events": [ { "Kind": "vote", "Term": 1, "Node": 1, "Candidate": 1, "Voters": null, "Index": 0, "Log": null, "Base": 0, "Configuration": { "Old": "", "New": "" }, "ReadRound": { "Term": 0, "Sequence": 0 }, "Token": "" }, { "Kind": "vote", "Term": 1, "Node": 2, "Candidate": 2, "Voters": null, "Index": 0, "Log": null, "Base": 0, "Configuration": { "Old": "", "New": "" }, "ReadRound": { "Term": 0, "Sequence": 0 }, "Token": "" } ] } } }, { "Action": { "Kind": "deliver", "Node": 3, "Message": { "Type": 1, "From": 1, "To": 3, "Term": 1, "CampaignTerm": 1 } }, "Delivered": { "Type": 1, "From": 1, "To": 3, "Term": 1, "CampaignTerm": 1, "Last": { "Term": 0, "Index": 0 }, "Granted": false, "RequestID": 0, "RequestTerm": 0, "PrevIndex": 0, "PrevTerm": 0, "Entries": null, "LeaderCommit": 0, "Success": false, "Snapshot": { "Index": 0, "Term": 0, "Configuration": { "Old": "", "New": "" }, "Members": null, "Data": null }, "ReadRound": { "Term": 0, "Sequence": 0 } }, "State": { "Status": [ { "ID": 1, "Role": "candidate", "Hard": { "Term": 1, "Vote": 1 }, "Last": { "Term": 0, "Index": 0 }, "Votes": 1, "AwaitingPersist": false, "Commit": 0, "Log": null, "Snapshot": { "Index": 0, "Term": 0, "Configuration": { "Old": "", "New": "" }, "Members": null, "Data": null }, "Configuration": { "Old": "1,2,3", "New": "" }, "ConfigurationIndex": 0 }, { "ID": 2, "Role": "candidate", "Hard": { "Term": 1, "Vote": 2 }, "Last": { "Term": 0, "Index": 0 }, "Votes": 1, "AwaitingPersist": false, "Commit": 0, "Log": null, "Snapshot": { "Index": 0, "Term": 0, "Configuration": { "Old": "", "New": "" }, "Members": null, "Data": null }, "Configuration": { "Old": "1,2,3", "New": "" }, "ConfigurationIndex": 0 }, { "ID": 3, "Role": "follower", "Hard": { "Term": 1, "Vote": 1 }, "Last": { "Term": 0, "Index": 0 }, "Votes": 0, "AwaitingPersist": false, "Commit": 0, "Log": null, "Snapshot": { "Index": 0, "Term": 0, "Configuration": { "Old": "", "New": "" }, "Members": null, "Data": null }, "Configuration": { "Old": "1,2,3", "New": "" }, "ConfigurationIndex": 0 } ], "Disk": [ { "Term": 1, "Vote": 1, "Initial": { "Old": "", "New": "" }, "Log": null, "Snapshot": { "Index": 0, "Term": 0, "Configuration": { "Old": "", "New": "" }, "Members": null, "Data": null }, "Commit": 0 }, { "Term": 1, "Vote": 2, "Initial": { "Old": "", "New": "" }, "Log": null, "Snapshot": { "Index": 0, "Term": 0, "Configuration": { "Old": "", "New": "" }, "Members": null, "Data": null }, "Commit": 0 }, { "Term": 1, "Vote": 0, "Initial": { "Old": "", "New": "" }, "Log": null, "Snapshot": { "Index": 0, "Term": 0, "Configuration": { "Old": "", "New": "" }, "Members": null, "Data": null }, "Commit": 0 } ], "VoteSets": [ 1, 2, 0 ], "Queue": [ { "Type": 1, "From": 1, "To": 2, "Term": 1, "CampaignTerm": 1, "Last": { "Term": 0, "Index": 0 }, "Granted": false, "RequestID": 0, "RequestTerm": 0, "PrevIndex": 0, "PrevTerm": 0, "Entries": null, "LeaderCommit": 0, "Success": false, "Snapshot": { "Index": 0, "Term": 0, "Configuration": { "Old": "", "New": "" }, "Members": null, "Data": null }, "ReadRound": { "Term": 0, "Sequence": 0 } }, { "Type": 1, "From": 2, "To": 1, "Term": 1, "CampaignTerm": 1, "Last": { "Term": 0, "Index": 0 }, "Granted": false, "RequestID": 0, "RequestTerm": 0, "PrevIndex": 0, "PrevTerm": 0, "Entries": null, "LeaderCommit": 0, "Success": false, "Snapshot": { "Index": 0, "Term": 0, "Configuration": { "Old": "", "New": "" }, "Members": null, "Data": null }, "ReadRound": { "Term": 0, "Sequence": 0 } }, { "Type": 1, "From": 2, "To": 3, "Term": 1, "CampaignTerm": 1, "Last": { "Term": 0, "Index": 0 }, "Granted": false, "RequestID": 0, "RequestTerm": 0, "PrevIndex": 0, "PrevTerm": 0, "Entries": null, "LeaderCommit": 0, "Success": false, "Snapshot": { "Index": 0, "Term": 0, "Configuration": { "Old": "", "New": "" }, "Members": null, "Data": null }, "ReadRound": { "Term": 0, "Sequence": 0 } }, { "Type": 2, "From": 3, "To": 1, "Term": 1, "CampaignTerm": 1, "Last": { "Term": 0, "Index": 0 }, "Granted": true, "RequestID": 0, "RequestTerm": 0, "PrevIndex": 0, "PrevTerm": 0, "Entries": null, "LeaderCommit": 0, "Success": false, "Snapshot": { "Index": 0, "Term": 0, "Configuration": { "Old": "", "New": "" }, "Members": null, "Data": null }, "ReadRound": { "Term": 0, "Sequence": 0 } } ], "Timed": [ true, true, false ], "Restarted": false, "Audit": { "Votes": [ 1, 2, 1 ], "Elected": 0, "Events": [ { "Kind": "vote", "Term": 1, "Node": 1, "Candidate": 1, "Voters": null, "Index": 0, "Log": null, "Base": 0, "Configuration": { "Old": "", "New": "" }, "ReadRound": { "Term": 0, "Sequence": 0 }, "Token": "" }, { "Kind": "vote", "Term": 1, "Node": 2, "Candidate": 2, "Voters": null, "Index": 0, "Log": null, "Base": 0, "Configuration": { "Old": "", "New": "" }, "ReadRound": { "Term": 0, "Sequence": 0 }, "Token": "" }, { "Kind": "vote", "Term": 1, "Node": 3, "Candidate": 1, "Voters": null, "Index": 0, "Log": null, "Base": 0, "Configuration": { "Old": "", "New": "" }, "ReadRound": { "Term": 0, "Sequence": 0 }, "Token": "" } ] } } }, { "Action": { "Kind": "restart", "Node": 3 }, "State": { "Status": [ { "ID": 1, "Role": "candidate", "Hard": { "Term": 1, "Vote": 1 }, "Last": { "Term": 0, "Index": 0 }, "Votes": 1, "AwaitingPersist": false, "Commit": 0, "Log": null, "Snapshot": { "Index": 0, "Term": 0, "Configuration": { "Old": "", "New": "" }, "Members": null, "Data": null }, "Configuration": { "Old": "1,2,3", "New": "" }, "ConfigurationIndex": 0 }, { "ID": 2, "Role": "candidate", "Hard": { "Term": 1, "Vote": 2 }, "Last": { "Term": 0, "Index": 0 }, "Votes": 1, "AwaitingPersist": false, "Commit": 0, "Log": null, "Snapshot": { "Index": 0, "Term": 0, "Configuration": { "Old": "", "New": "" }, "Members": null, "Data": null }, "Configuration": { "Old": "1,2,3", "New": "" }, "ConfigurationIndex": 0 }, { "ID": 3, "Role": "follower", "Hard": { "Term": 1, "Vote": 0 }, "Last": { "Term": 0, "Index": 0 }, "Votes": 0, "AwaitingPersist": false, "Commit": 0, "Log": null, "Snapshot": { "Index": 0, "Term": 0, "Configuration": { "Old": "", "New": "" }, "Members": null, "Data": null }, "Configuration": { "Old": "1,2,3", "New": "" }, "ConfigurationIndex": 0 } ], "Disk": [ { "Term": 1, "Vote": 1, "Initial": { "Old": "", "New": "" }, "Log": null, "Snapshot": { "Index": 0, "Term": 0, "Configuration": { "Old": "", "New": "" }, "Members": null, "Data": null }, "Commit": 0 }, { "Term": 1, "Vote": 2, "Initial": { "Old": "", "New": "" }, "Log": null, "Snapshot": { "Index": 0, "Term": 0, "Configuration": { "Old": "", "New": "" }, "Members": null, "Data": null }, "Commit": 0 }, { "Term": 1, "Vote": 0, "Initial": { "Old": "", "New": "" }, "Log": null, "Snapshot": { "Index": 0, "Term": 0, "Configuration": { "Old": "", "New": "" }, "Members": null, "Data": null }, "Commit": 0 } ], "VoteSets": [ 1, 2, 0 ], "Queue": [ { "Type": 1, "From": 1, "To": 2, "Term": 1, "CampaignTerm": 1, "Last": { "Term": 0, "Index": 0 }, "Granted": false, "RequestID": 0, "RequestTerm": 0, "PrevIndex": 0, "PrevTerm": 0, "Entries": null, "LeaderCommit": 0, "Success": false, "Snapshot": { "Index": 0, "Term": 0, "Configuration": { "Old": "", "New": "" }, "Members": null, "Data": null }, "ReadRound": { "Term": 0, "Sequence": 0 } }, { "Type": 1, "From": 2, "To": 1, "Term": 1, "CampaignTerm": 1, "Last": { "Term": 0, "Index": 0 }, "Granted": false, "RequestID": 0, "RequestTerm": 0, "PrevIndex": 0, "PrevTerm": 0, "Entries": null, "LeaderCommit": 0, "Success": false, "Snapshot": { "Index": 0, "Term": 0, "Configuration": { "Old": "", "New": "" }, "Members": null, "Data": null }, "ReadRound": { "Term": 0, "Sequence": 0 } }, { "Type": 1, "From": 2, "To": 3, "Term": 1, "CampaignTerm": 1, "Last": { "Term": 0, "Index": 0 }, "Granted": false, "RequestID": 0, "RequestTerm": 0, "PrevIndex": 0, "PrevTerm": 0, "Entries": null, "LeaderCommit": 0, "Success": false, "Snapshot": { "Index": 0, "Term": 0, "Configuration": { "Old": "", "New": "" }, "Members": null, "Data": null }, "ReadRound": { "Term": 0, "Sequence": 0 } }, { "Type": 2, "From": 3, "To": 1, "Term": 1, "CampaignTerm": 1, "Last": { "Term": 0, "Index": 0 }, "Granted": true, "RequestID": 0, "RequestTerm": 0, "PrevIndex": 0, "PrevTerm": 0, "Entries": null, "LeaderCommit": 0, "Success": false, "Snapshot": { "Index": 0, "Term": 0, "Configuration": { "Old": "", "New": "" }, "Members": null, "Data": null }, "ReadRound": { "Term": 0, "Sequence": 0 } } ], "Timed": [ true, true, false ], "Restarted": true, "Audit": { "Votes": [ 1, 2, 1 ], "Elected": 0, "Events": [ { "Kind": "vote", "Term": 1, "Node": 1, "Candidate": 1, "Voters": null, "Index": 0, "Log": null, "Base": 0, "Configuration": { "Old": "", "New": "" }, "ReadRound": { "Term": 0, "Sequence": 0 }, "Token": "" }, { "Kind": "vote", "Term": 1, "Node": 2, "Candidate": 2, "Voters": null, "Index": 0, "Log": null, "Base": 0, "Configuration": { "Old": "", "New": "" }, "ReadRound": { "Term": 0, "Sequence": 0 }, "Token": "" }, { "Kind": "vote", "Term": 1, "Node": 3, "Candidate": 1, "Voters": null, "Index": 0, "Log": null, "Base": 0, "Configuration": { "Old": "", "New": "" }, "ReadRound": { "Term": 0, "Sequence": 0 }, "Token": "" } ] } } }, { "Action": { "Kind": "deliver", "Node": 3, "Message": { "Type": 1, "From": 2, "To": 3, "Term": 1, "CampaignTerm": 1 } }, "Delivered": { "Type": 1, "From": 2, "To": 3, "Term": 1, "CampaignTerm": 1, "Last": { "Term": 0, "Index": 0 }, "Granted": false, "RequestID": 0, "RequestTerm": 0, "PrevIndex": 0, "PrevTerm": 0, "Entries": null, "LeaderCommit": 0, "Success": false, "Snapshot": { "Index": 0, "Term": 0, "Configuration": { "Old": "", "New": "" }, "Members": null, "Data": null }, "ReadRound": { "Term": 0, "Sequence": 0 } }, "State": { "Status": [ { "ID": 1, "Role": "candidate", "Hard": { "Term": 1, "Vote": 1 }, "Last": { "Term": 0, "Index": 0 }, "Votes": 1, "AwaitingPersist": false, "Commit": 0, "Log": null, "Snapshot": { "Index": 0, "Term": 0, "Configuration": { "Old": "", "New": "" }, "Members": null, "Data": null }, "Configuration": { "Old": "1,2,3", "New": "" }, "ConfigurationIndex": 0 }, { "ID": 2, "Role": "candidate", "Hard": { "Term": 1, "Vote": 2 }, "Last": { "Term": 0, "Index": 0 }, "Votes": 1, "AwaitingPersist": false, "Commit": 0, "Log": null, "Snapshot": { "Index": 0, "Term": 0, "Configuration": { "Old": "", "New": "" }, "Members": null, "Data": null }, "Configuration": { "Old": "1,2,3", "New": "" }, "ConfigurationIndex": 0 }, { "ID": 3, "Role": "follower", "Hard": { "Term": 1, "Vote": 2 }, "Last": { "Term": 0, "Index": 0 }, "Votes": 0, "AwaitingPersist": false, "Commit": 0, "Log": null, "Snapshot": { "Index": 0, "Term": 0, "Configuration": { "Old": "", "New": "" }, "Members": null, "Data": null }, "Configuration": { "Old": "1,2,3", "New": "" }, "ConfigurationIndex": 0 } ], "Disk": [ { "Term": 1, "Vote": 1, "Initial": { "Old": "", "New": "" }, "Log": null, "Snapshot": { "Index": 0, "Term": 0, "Configuration": { "Old": "", "New": "" }, "Members": null, "Data": null }, "Commit": 0 }, { "Term": 1, "Vote": 2, "Initial": { "Old": "", "New": "" }, "Log": null, "Snapshot": { "Index": 0, "Term": 0, "Configuration": { "Old": "", "New": "" }, "Members": null, "Data": null }, "Commit": 0 }, { "Term": 1, "Vote": 0, "Initial": { "Old": "", "New": "" }, "Log": null, "Snapshot": { "Index": 0, "Term": 0, "Configuration": { "Old": "", "New": "" }, "Members": null, "Data": null }, "Commit": 0 } ], "VoteSets": [ 1, 2, 0 ], "Queue": [ { "Type": 1, "From": 1, "To": 2, "Term": 1, "CampaignTerm": 1, "Last": { "Term": 0, "Index": 0 }, "Granted": false, "RequestID": 0, "RequestTerm": 0, "PrevIndex": 0, "PrevTerm": 0, "Entries": null, "LeaderCommit": 0, "Success": false, "Snapshot": { "Index": 0, "Term": 0, "Configuration": { "Old": "", "New": "" }, "Members": null, "Data": null }, "ReadRound": { "Term": 0, "Sequence": 0 } }, { "Type": 1, "From": 2, "To": 1, "Term": 1, "CampaignTerm": 1, "Last": { "Term": 0, "Index": 0 }, "Granted": false, "RequestID": 0, "RequestTerm": 0, "PrevIndex": 0, "PrevTerm": 0, "Entries": null, "LeaderCommit": 0, "Success": false, "Snapshot": { "Index": 0, "Term": 0, "Configuration": { "Old": "", "New": "" }, "Members": null, "Data": null }, "ReadRound": { "Term": 0, "Sequence": 0 } }, { "Type": 2, "From": 3, "To": 1, "Term": 1, "CampaignTerm": 1, "Last": { "Term": 0, "Index": 0 }, "Granted": true, "RequestID": 0, "RequestTerm": 0, "PrevIndex": 0, "PrevTerm": 0, "Entries": null, "LeaderCommit": 0, "Success": false, "Snapshot": { "Index": 0, "Term": 0, "Configuration": { "Old": "", "New": "" }, "Members": null, "Data": null }, "ReadRound": { "Term": 0, "Sequence": 0 } }, { "Type": 2, "From": 3, "To": 2, "Term": 1, "CampaignTerm": 1, "Last": { "Term": 0, "Index": 0 }, "Granted": true, "RequestID": 0, "RequestTerm": 0, "PrevIndex": 0, "PrevTerm": 0, "Entries": null, "LeaderCommit": 0, "Success": false, "Snapshot": { "Index": 0, "Term": 0, "Configuration": { "Old": "", "New": "" }, "Members": null, "Data": null }, "ReadRound": { "Term": 0, "Sequence": 0 } } ], "Timed": [ true, true, false ], "Restarted": true, "Audit": { "Votes": [ 1, 2, 3 ], "Elected": 0, "Events": [ { "Kind": "vote", "Term": 1, "Node": 1, "Candidate": 1, "Voters": null, "Index": 0, "Log": null, "Base": 0, "Configuration": { "Old": "", "New": "" }, "ReadRound": { "Term": 0, "Sequence": 0 }, "Token": "" }, { "Kind": "vote", "Term": 1, "Node": 2, "Candidate": 2, "Voters": null, "Index": 0, "Log": null, "Base": 0, "Configuration": { "Old": "", "New": "" }, "ReadRound": { "Term": 0, "Sequence": 0 }, "Token": "" }, { "Kind": "vote", "Term": 1, "Node": 3, "Candidate": 1, "Voters": null, "Index": 0, "Log": null, "Base": 0, "Configuration": { "Old": "", "New": "" }, "ReadRound": { "Term": 0, "Sequence": 0 }, "Token": "" }, { "Kind": "vote", "Term": 1, "Node": 3, "Candidate": 2, "Voters": null, "Index": 0, "Log": null, "Base": 0, "Configuration": { "Old": "", "New": "" }, "ReadRound": { "Term": 0, "Sequence": 0 }, "Token": "" } ] } } } ], "Final": { "Status": [ { "ID": 1, "Role": "candidate", "Hard": { "Term": 1, "Vote": 1 }, "Last": { "Term": 0, "Index": 0 }, "Votes": 1, "AwaitingPersist": false, "Commit": 0, "Log": null, "Snapshot": { "Index": 0, "Term": 0, "Configuration": { "Old": "", "New": "" }, "Members": null, "Data": null }, "Configuration": { "Old": "1,2,3", "New": "" }, "ConfigurationIndex": 0 }, { "ID": 2, "Role": "candidate", "Hard": { "Term": 1, "Vote": 2 }, "Last": { "Term": 0, "Index": 0 }, "Votes": 1, "AwaitingPersist": false, "Commit": 0, "Log": null, "Snapshot": { "Index": 0, "Term": 0, "Configuration": { "Old": "", "New": "" }, "Members": null, "Data": null }, "Configuration": { "Old": "1,2,3", "New": "" }, "ConfigurationIndex": 0 }, { "ID": 3, "Role": "follower", "Hard": { "Term": 1, "Vote": 2 }, "Last": { "Term": 0, "Index": 0 }, "Votes": 0, "AwaitingPersist": false, "Commit": 0, "Log": null, "Snapshot": { "Index": 0, "Term": 0, "Configuration": { "Old": "", "New": "" }, "Members": null, "Data": null }, "Configuration": { "Old": "1,2,3", "New": "" }, "ConfigurationIndex": 0 } ], "Disk": [ { "Term": 1, "Vote": 1, "Initial": { "Old": "", "New": "" }, "Log": null, "Snapshot": { "Index": 0, "Term": 0, "Configuration": { "Old": "", "New": "" }, "Members": null, "Data": null }, "Commit": 0 }, { "Term": 1, "Vote": 2, "Initial": { "Old": "", "New": "" }, "Log": null, "Snapshot": { "Index": 0, "Term": 0, "Configuration": { "Old": "", "New": "" }, "Members": null, "Data": null }, "Commit": 0 }, { "Term": 1, "Vote": 0, "Initial": { "Old": "", "New": "" }, "Log": null, "Snapshot": { "Index": 0, "Term": 0, "Configuration": { "Old": "", "New": "" }, "Members": null, "Data": null }, "Commit": 0 } ], "VoteSets": [ 1, 2, 0 ], "Queue": [ { "Type": 1, "From": 1, "To": 2, "Term": 1, "CampaignTerm": 1, "Last": { "Term": 0, "Index": 0 }, "Granted": false, "RequestID": 0, "RequestTerm": 0, "PrevIndex": 0, "PrevTerm": 0, "Entries": null, "LeaderCommit": 0, "Success": false, "Snapshot": { "Index": 0, "Term": 0, "Configuration": { "Old": "", "New": "" }, "Members": null, "Data": null }, "ReadRound": { "Term": 0, "Sequence": 0 } }, { "Type": 1, "From": 2, "To": 1, "Term": 1, "CampaignTerm": 1, "Last": { "Term": 0, "Index": 0 }, "Granted": false, "RequestID": 0, "RequestTerm": 0, "PrevIndex": 0, "PrevTerm": 0, "Entries": null, "LeaderCommit": 0, "Success": false, "Snapshot": { "Index": 0, "Term": 0, "Configuration": { "Old": "", "New": "" }, "Members": null, "Data": null }, "ReadRound": { "Term": 0, "Sequence": 0 } }, { "Type": 2, "From": 3, "To": 1, "Term": 1, "CampaignTerm": 1, "Last": { "Term": 0, "Index": 0 }, "Granted": true, "RequestID": 0, "RequestTerm": 0, "PrevIndex": 0, "PrevTerm": 0, "Entries": null, "LeaderCommit": 0, "Success": false, "Snapshot": { "Index": 0, "Term": 0, "Configuration": { "Old": "", "New": "" }, "Members": null, "Data": null }, "ReadRound": { "Term": 0, "Sequence": 0 } }, { "Type": 2, "From": 3, "To": 2, "Term": 1, "CampaignTerm": 1, "Last": { "Term": 0, "Index": 0 }, "Granted": true, "RequestID": 0, "RequestTerm": 0, "PrevIndex": 0, "PrevTerm": 0, "Entries": null, "LeaderCommit": 0, "Success": false, "Snapshot": { "Index": 0, "Term": 0, "Configuration": { "Old": "", "New": "" }, "Members": null, "Data": null }, "ReadRound": { "Term": 0, "Sequence": 0 } } ], "Timed": [ true, true, false ], "Restarted": true, "Audit": { "Votes": [ 1, 2, 3 ], "Elected": 0, "Events": [ { "Kind": "vote", "Term": 1, "Node": 1, "Candidate": 1, "Voters": null, "Index": 0, "Log": null, "Base": 0, "Configuration": { "Old": "", "New": "" }, "ReadRound": { "Term": 0, "Sequence": 0 }, "Token": "" }, { "Kind": "vote", "Term": 1, "Node": 2, "Candidate": 2, "Voters": null, "Index": 0, "Log": null, "Base": 0, "Configuration": { "Old": "", "New": "" }, "ReadRound": { "Term": 0, "Sequence": 0 }, "Token": "" }, { "Kind": "vote", "Term": 1, "Node": 3, "Candidate": 1, "Voters": null, "Index": 0, "Log": null, "Base": 0, "Configuration": { "Old": "", "New": "" }, "ReadRound": { "Term": 0, "Sequence": 0 }, "Token": "" }, { "Kind": "vote", "Term": 1, "Node": 3, "Candidate": 2, "Voters": null, "Index": 0, "Log": null, "Base": 0, "Configuration": { "Old": "", "New": "" }, "ReadRound": { "Term": 0, "Sequence": 0 }, "Token": "" } ] } } }