{
"#meta": {
"format": "ITF",
"format-description": "https://apalache.informal.systems/docs/adr/015adr-trace.html",
"source": "consensus.qnt",
"status": "passed",
"description": "Created by Quint on Wed Oct 25 2023 15:38:28 GMT+0200 (Central European Summer Time)",
"timestamp": 1698241108633
},
"vars": [
"system",
"_Event",
"_Result"
],
"states": [
{
"#meta": {
"index": 0
},
"_Event": {
"height": -1,
"name": "Initial",
"round": -1,
"value": "",
"vr": -1
},
"_Result": {
"decided": "",
"name": "",
"proposal": {
"height": -1,
"proposal": "",
"round": -1,
"src": "",
"validRound": -1
},
"skipRound": -1,
"timeout": "",
"voteMessage": {
"height": -1,
"id": "",
"round": -1,
"src": "",
"step": ""
}
},
"system": {
"#map": [
[
"Josef",
{
"height": 1,
"lockedRound": -1,
"lockedValue": "nil",
"p": "Josef",
"round": 0,
"step": "newRound",
"validRound": -1,
"validValue": "nil"
}
]
]
}
},
{
"#meta": {
"index": 1
},
"_Event": {
"height": 1,
"name": "NewRound",
"round": 0,
"value": "",
"vr": -1
},
"_Result": {
"decided": "",
"name": "timeout",
"proposal": {
"height": -1,
"proposal": "",
"round": -1,
"src": "",
"validRound": -1
},
"skipRound": -1,
"timeout": "timeoutPropose",
"voteMessage": {
"height": -1,
"id": "",
"round": -1,
"src": "",
"step": ""
}
},
"system": {
"#map": [
[
"Josef",
{
"height": 1,
"lockedRound": -1,
"lockedValue": "nil",
"p": "Josef",
"round": 0,
"step": "propose",
"validRound": -1,
"validValue": "nil"
}
]
]
}
},
{
"#meta": {
"index": 2
},
"_Event": {
"height": 1,
"name": "NewRound",
"round": 0,
"value": "",
"vr": -1
},
"_Result": {
"decided": "",
"name": "timeout",
"proposal": {
"height": -1,
"proposal": "",
"round": -1,
"src": "",
"validRound": -1
},
"skipRound": -1,
"timeout": "timeoutPropose",
"voteMessage": {
"height": -1,
"id": "",
"round": -1,
"src": "",
"step": ""
}
},
"system": {
"#map": [
[
"Josef",
{
"height": 1,
"lockedRound": -1,
"lockedValue": "nil",
"p": "Josef",
"round": 0,
"step": "propose",
"validRound": -1,
"validValue": "nil"
}
]
]
}
},
{
"#meta": {
"index": 3
},
"_Event": {
"height": 1,
"name": "Proposal",
"round": 0,
"value": "block",
"vr": -1
},
"_Result": {
"decided": "",
"name": "votemessage",
"proposal": {
"height": -1,
"proposal": "",
"round": -1,
"src": "",
"validRound": -1
},
"skipRound": -1,
"timeout": "",
"voteMessage": {
"height": 1,
"id": "block",
"round": 0,
"src": "Josef",
"step": "prevote"
}
},
"system": {
"#map": [
[
"Josef",
{
"height": 1,
"lockedRound": -1,
"lockedValue": "nil",
"p": "Josef",
"round": 0,
"step": "prevote",
"validRound": -1,
"validValue": "nil"
}
]
]
}
},
{
"#meta": {
"index": 4
},
"_Event": {
"height": 1,
"name": "Proposal",
"round": 0,
"value": "block",
"vr": -1
},
"_Result": {
"decided": "",
"name": "votemessage",
"proposal": {
"height": -1,
"proposal": "",
"round": -1,
"src": "",
"validRound": -1
},
"skipRound": -1,
"timeout": "",
"voteMessage": {
"height": 1,
"id": "block",
"round": 0,
"src": "Josef",
"step": "prevote"
}
},
"system": {
"#map": [
[
"Josef",
{
"height": 1,
"lockedRound": -1,
"lockedValue": "nil",
"p": "Josef",
"round": 0,
"step": "prevote",
"validRound": -1,
"validValue": "nil"
}
]
]
}
},
{
"#meta": {
"index": 5
},
"_Event": {
"height": 1,
"name": "ProposalAndPolkaAndValid",
"round": 0,
"value": "block",
"vr": -1
},
"_Result": {
"decided": "",
"name": "votemessage",
"proposal": {
"height": -1,
"proposal": "",
"round": -1,
"src": "",
"validRound": -1
},
"skipRound": -1,
"timeout": "",
"voteMessage": {
"height": 1,
"id": "block",
"round": 0,
"src": "Josef",
"step": "precommit"
}
},
"system": {
"#map": [
[
"Josef",
{
"height": 1,
"lockedRound": 0,
"lockedValue": "block",
"p": "Josef",
"round": 0,
"step": "precommit",
"validRound": 0,
"validValue": "block"
}
]
]
}
},
{
"#meta": {
"index": 6
},
"_Event": {
"height": 1,
"name": "ProposalAndPolkaAndValid",
"round": 0,
"value": "block",
"vr": -1
},
"_Result": {
"decided": "",
"name": "votemessage",
"proposal": {
"height": -1,
"proposal": "",
"round": -1,
"src": "",
"validRound": -1
},
"skipRound": -1,
"timeout": "",
"voteMessage": {
"height": 1,
"id": "block",
"round": 0,
"src": "Josef",
"step": "precommit"
}
},
"system": {
"#map": [
[
"Josef",
{
"height": 1,
"lockedRound": 0,
"lockedValue": "block",
"p": "Josef",
"round": 0,
"step": "precommit",
"validRound": 0,
"validValue": "block"
}
]
]
}
},
{
"#meta": {
"index": 7
},
"_Event": {
"height": 1,
"name": "ProposalAndCommitAndValid",
"round": 0,
"value": "block",
"vr": -1
},
"_Result": {
"decided": "block",
"name": "decided",
"proposal": {
"height": -1,
"proposal": "",
"round": -1,
"src": "",
"validRound": -1
},
"skipRound": -1,
"timeout": "",
"voteMessage": {
"height": -1,
"id": "",
"round": -1,
"src": "",
"step": ""
}
},
"system": {
"#map": [
[
"Josef",
{
"height": 1,
"lockedRound": 0,
"lockedValue": "block",
"p": "Josef",
"round": 0,
"step": "decided",
"validRound": 0,
"validValue": "block"
}
]
]
}
},
{
"#meta": {
"index": 8
},
"_Event": {
"height": 1,
"name": "ProposalAndCommitAndValid",
"round": 0,
"value": "block",
"vr": -1
},
"_Result": {
"decided": "block",
"name": "decided",
"proposal": {
"height": -1,
"proposal": "",
"round": -1,
"src": "",
"validRound": -1
},
"skipRound": -1,
"timeout": "",
"voteMessage": {
"height": -1,
"id": "",
"round": -1,
"src": "",
"step": ""
}
},
"system": {
"#map": [
[
"Josef",
{
"height": 1,
"lockedRound": 0,
"lockedValue": "block",
"p": "Josef",
"round": 0,
"step": "decided",
"validRound": 0,
"validValue": "block"
}
]
]
}
},
{
"#meta": {
"index": 9
},
"_Event": {
"height": 2,
"name": "NewHeight",
"round": 0,
"value": "",
"vr": -1
},
"_Result": {
"decided": "",
"name": "",
"proposal": {
"height": -1,
"proposal": "",
"round": -1,
"src": "",
"validRound": -1
},
"skipRound": -1,
"timeout": "",
"voteMessage": {
"height": -1,
"id": "",
"round": -1,
"src": "",
"step": ""
}
},
"system": {
"#map": [
[
"Josef",
{
"height": 2,
"lockedRound": -1,
"lockedValue": "nil",
"p": "Josef",
"round": 0,
"step": "newRound",
"validRound": -1,
"validValue": "nil"
}
]
]
}
},
{
"#meta": {
"index": 10
},
"_Event": {
"height": 2,
"name": "NewHeight",
"round": 0,
"value": "",
"vr": -1
},
"_Result": {
"decided": "",
"name": "",
"proposal": {
"height": -1,
"proposal": "",
"round": -1,
"src": "",
"validRound": -1
},
"skipRound": -1,
"timeout": "",
"voteMessage": {
"height": -1,
"id": "",
"round": -1,
"src": "",
"step": ""
}
},
"system": {
"#map": [
[
"Josef",
{
"height": 2,
"lockedRound": -1,
"lockedValue": "nil",
"p": "Josef",
"round": 0,
"step": "newRound",
"validRound": -1,
"validValue": "nil"
}
]
]
}
},
{
"#meta": {
"index": 11
},
"_Event": {
"height": 2,
"name": "NewRoundProposer",
"round": 0,
"value": "nextBlock",
"vr": -1
},
"_Result": {
"decided": "",
"name": "proposal",
"proposal": {
"height": 2,
"proposal": "nextBlock",
"round": 0,
"src": "Josef",
"validRound": -1
},
"skipRound": -1,
"timeout": "",
"voteMessage": {
"height": -1,
"id": "",
"round": -1,
"src": "",
"step": ""
}
},
"system": {
"#map": [
[
"Josef",
{
"height": 2,
"lockedRound": -1,
"lockedValue": "nil",
"p": "Josef",
"round": 0,
"step": "propose",
"validRound": -1,
"validValue": "nil"
}
]
]
}
},
{
"#meta": {
"index": 12
},
"_Event": {
"height": 2,
"name": "NewRoundProposer",
"round": 0,
"value": "nextBlock",
"vr": -1
},
"_Result": {
"decided": "",
"name": "proposal",
"proposal": {
"height": 2,
"proposal": "nextBlock",
"round": 0,
"src": "Josef",
"validRound": -1
},
"skipRound": -1,
"timeout": "",
"voteMessage": {
"height": -1,
"id": "",
"round": -1,
"src": "",
"step": ""
}
},
"system": {
"#map": [
[
"Josef",
{
"height": 2,
"lockedRound": -1,
"lockedValue": "nil",
"p": "Josef",
"round": 0,
"step": "propose",
"validRound": -1,
"validValue": "nil"
}
]
]
}
},
{
"#meta": {
"index": 13
},
"_Event": {
"height": 2,
"name": "Proposal",
"round": 0,
"value": "nextBlock",
"vr": -1
},
"_Result": {
"decided": "",
"name": "votemessage",
"proposal": {
"height": -1,
"proposal": "",
"round": -1,
"src": "",
"validRound": -1
},
"skipRound": -1,
"timeout": "",
"voteMessage": {
"height": 2,
"id": "nextBlock",
"round": 0,
"src": "Josef",
"step": "prevote"
}
},
"system": {
"#map": [
[
"Josef",
{
"height": 2,
"lockedRound": -1,
"lockedValue": "nil",
"p": "Josef",
"round": 0,
"step": "prevote",
"validRound": -1,
"validValue": "nil"
}
]
]
}
},
{
"#meta": {
"index": 14
},
"_Event": {
"height": 2,
"name": "Proposal",
"round": 0,
"value": "nextBlock",
"vr": -1
},
"_Result": {
"decided": "",
"name": "votemessage",
"proposal": {
"height": -1,
"proposal": "",
"round": -1,
"src": "",
"validRound": -1
},
"skipRound": -1,
"timeout": "",
"voteMessage": {
"height": 2,
"id": "nextBlock",
"round": 0,
"src": "Josef",
"step": "prevote"
}
},
"system": {
"#map": [
[
"Josef",
{
"height": 2,
"lockedRound": -1,
"lockedValue": "nil",
"p": "Josef",
"round": 0,
"step": "prevote",
"validRound": -1,
"validValue": "nil"
}
]
]
}
},
{
"#meta": {
"index": 15
},
"_Event": {
"height": 2,
"name": "PolkaAny",
"round": 0,
"value": "nextBlock",
"vr": -1
},
"_Result": {
"decided": "",
"name": "timeout",
"proposal": {
"height": -1,
"proposal": "",
"round": -1,
"src": "",
"validRound": -1
},
"skipRound": -1,
"timeout": "timeoutPrevote",
"voteMessage": {
"height": -1,
"id": "",
"round": -1,
"src": "",
"step": ""
}
},
"system": {
"#map": [
[
"Josef",
{
"height": 2,
"lockedRound": -1,
"lockedValue": "nil",
"p": "Josef",
"round": 0,
"step": "prevote",
"validRound": -1,
"validValue": "nil"
}
]
]
}
},
{
"#meta": {
"index": 16
},
"_Event": {
"height": 2,
"name": "PolkaAny",
"round": 0,
"value": "nextBlock",
"vr": -1
},
"_Result": {
"decided": "",
"name": "timeout",
"proposal": {
"height": -1,
"proposal": "",
"round": -1,
"src": "",
"validRound": -1
},
"skipRound": -1,
"timeout": "timeoutPrevote",
"voteMessage": {
"height": -1,
"id": "",
"round": -1,
"src": "",
"step": ""
}
},
"system": {
"#map": [
[
"Josef",
{
"height": 2,
"lockedRound": -1,
"lockedValue": "nil",
"p": "Josef",
"round": 0,
"step": "prevote",
"validRound": -1,
"validValue": "nil"
}
]
]
}
},
{
"#meta": {
"index": 17
},
"_Event": {
"height": 2,
"name": "TimeoutPrevote",
"round": 0,
"value": "nextBlock",
"vr": -1
},
"_Result": {
"decided": "",
"name": "votemessage",
"proposal": {
"height": -1,
"proposal": "",
"round": -1,
"src": "",
"validRound": -1
},
"skipRound": -1,
"timeout": "",
"voteMessage": {
"height": 2,
"id": "nil",
"round": 0,
"src": "Josef",
"step": "precommit"
}
},
"system": {
"#map": [
[
"Josef",
{
"height": 2,
"lockedRound": -1,
"lockedValue": "nil",
"p": "Josef",
"round": 0,
"step": "precommit",
"validRound": -1,
"validValue": "nil"
}
]
]
}
},
{
"#meta": {
"index": 18
},
"_Event": {
"height": 2,
"name": "TimeoutPrevote",
"round": 0,
"value": "nextBlock",
"vr": -1
},
"_Result": {
"decided": "",
"name": "votemessage",
"proposal": {
"height": -1,
"proposal": "",
"round": -1,
"src": "",
"validRound": -1
},
"skipRound": -1,
"timeout": "",
"voteMessage": {
"height": 2,
"id": "nil",
"round": 0,
"src": "Josef",
"step": "precommit"
}
},
"system": {
"#map": [
[
"Josef",
{
"height": 2,
"lockedRound": -1,
"lockedValue": "nil",
"p": "Josef",
"round": 0,
"step": "precommit",
"validRound": -1,
"validValue": "nil"
}
]
]
}
},
{
"#meta": {
"index": 19
},
"_Event": {
"height": 2,
"name": "PrecommitAny",
"round": 0,
"value": "nextBlock",
"vr": -1
},
"_Result": {
"decided": "",
"name": "timeout",
"proposal": {
"height": -1,
"proposal": "",
"round": -1,
"src": "",
"validRound": -1
},
"skipRound": -1,
"timeout": "timeoutPrecommit",
"voteMessage": {
"height": -1,
"id": "",
"round": -1,
"src": "",
"step": ""
}
},
"system": {
"#map": [
[
"Josef",
{
"height": 2,
"lockedRound": -1,
"lockedValue": "nil",
"p": "Josef",
"round": 0,
"step": "precommit",
"validRound": -1,
"validValue": "nil"
}
]
]
}
},
{
"#meta": {
"index": 20
},
"_Event": {
"height": 2,
"name": "PrecommitAny",
"round": 0,
"value": "nextBlock",
"vr": -1
},
"_Result": {
"decided": "",
"name": "timeout",
"proposal": {
"height": -1,
"proposal": "",
"round": -1,
"src": "",
"validRound": -1
},
"skipRound": -1,
"timeout": "timeoutPrecommit",
"voteMessage": {
"height": -1,
"id": "",
"round": -1,
"src": "",
"step": ""
}
},
"system": {
"#map": [
[
"Josef",
{
"height": 2,
"lockedRound": -1,
"lockedValue": "nil",
"p": "Josef",
"round": 0,
"step": "precommit",
"validRound": -1,
"validValue": "nil"
}
]
]
}
},
{
"#meta": {
"index": 21
},
"_Event": {
"height": 2,
"name": "TimeoutPrecommit",
"round": 0,
"value": "nextBlock",
"vr": -1
},
"_Result": {
"decided": "",
"name": "skipRound",
"proposal": {
"height": -1,
"proposal": "",
"round": -1,
"src": "",
"validRound": -1
},
"skipRound": 1,
"timeout": "",
"voteMessage": {
"height": -1,
"id": "",
"round": -1,
"src": "",
"step": ""
}
},
"system": {
"#map": [
[
"Josef",
{
"height": 2,
"lockedRound": -1,
"lockedValue": "nil",
"p": "Josef",
"round": 0,
"step": "precommit",
"validRound": -1,
"validValue": "nil"
}
]
]
}
},
{
"#meta": {
"index": 22
},
"_Event": {
"height": 2,
"name": "TimeoutPrecommit",
"round": 0,
"value": "nextBlock",
"vr": -1
},
"_Result": {
"decided": "",
"name": "skipRound",
"proposal": {
"height": -1,
"proposal": "",
"round": -1,
"src": "",
"validRound": -1
},
"skipRound": 1,
"timeout": "",
"voteMessage": {
"height": -1,
"id": "",
"round": -1,
"src": "",
"step": ""
}
},
"system": {
"#map": [
[
"Josef",
{
"height": 2,
"lockedRound": -1,
"lockedValue": "nil",
"p": "Josef",
"round": 0,
"step": "precommit",
"validRound": -1,
"validValue": "nil"
}
]
]
}
},
{
"#meta": {
"index": 23
},
"_Event": {
"height": 2,
"name": "NewRound",
"round": 1,
"value": "",
"vr": -1
},
"_Result": {
"decided": "",
"name": "timeout",
"proposal": {
"height": -1,
"proposal": "",
"round": -1,
"src": "",
"validRound": -1
},
"skipRound": -1,
"timeout": "timeoutPropose",
"voteMessage": {
"height": -1,
"id": "",
"round": -1,
"src": "",
"step": ""
}
},
"system": {
"#map": [
[
"Josef",
{
"height": 2,
"lockedRound": -1,
"lockedValue": "nil",
"p": "Josef",
"round": 1,
"step": "propose",
"validRound": -1,
"validValue": "nil"
}
]
]
}
},
{
"#meta": {
"index": 24
},
"_Event": {
"height": 2,
"name": "NewRound",
"round": 1,
"value": "",
"vr": -1
},
"_Result": {
"decided": "",
"name": "timeout",
"proposal": {
"height": -1,
"proposal": "",
"round": -1,
"src": "",
"validRound": -1
},
"skipRound": -1,
"timeout": "timeoutPropose",
"voteMessage": {
"height": -1,
"id": "",
"round": -1,
"src": "",
"step": ""
}
},
"system": {
"#map": [
[
"Josef",
{
"height": 2,
"lockedRound": -1,
"lockedValue": "nil",
"p": "Josef",
"round": 1,
"step": "propose",
"validRound": -1,
"validValue": "nil"
}
]
]
}
},
{
"#meta": {
"index": 25
},
"_Event": {
"height": 2,
"name": "TimeoutPropose",
"round": 1,
"value": "nextBlock",
"vr": -1
},
"_Result": {
"decided": "",
"name": "votemessage",
"proposal": {
"height": -1,
"proposal": "",
"round": -1,
"src": "",
"validRound": -1
},
"skipRound": -1,
"timeout": "",
"voteMessage": {
"height": 2,
"id": "nil",
"round": 1,
"src": "Josef",
"step": "prevote"
}
},
"system": {
"#map": [
[
"Josef",
{
"height": 2,
"lockedRound": -1,
"lockedValue": "nil",
"p": "Josef",
"round": 1,
"step": "prevote",
"validRound": -1,
"validValue": "nil"
}
]
]
}
},
{
"#meta": {
"index": 26
},
"_Event": {
"height": 2,
"name": "TimeoutPropose",
"round": 1,
"value": "nextBlock",
"vr": -1
},
"_Result": {
"decided": "",
"name": "votemessage",
"proposal": {
"height": -1,
"proposal": "",
"round": -1,
"src": "",
"validRound": -1
},
"skipRound": -1,
"timeout": "",
"voteMessage": {
"height": 2,
"id": "nil",
"round": 1,
"src": "Josef",
"step": "prevote"
}
},
"system": {
"#map": [
[
"Josef",
{
"height": 2,
"lockedRound": -1,
"lockedValue": "nil",
"p": "Josef",
"round": 1,
"step": "prevote",
"validRound": -1,
"validValue": "nil"
}
]
]
}
},
{
"#meta": {
"index": 27
},
"_Event": {
"height": 2,
"name": "PolkaNil",
"round": 1,
"value": "nextBlock",
"vr": -1
},
"_Result": {
"decided": "",
"name": "votemessage",
"proposal": {
"height": -1,
"proposal": "",
"round": -1,
"src": "",
"validRound": -1
},
"skipRound": -1,
"timeout": "",
"voteMessage": {
"height": 2,
"id": "nil",
"round": 1,
"src": "Josef",
"step": "precommit"
}
},
"system": {
"#map": [
[
"Josef",
{
"height": 2,
"lockedRound": -1,
"lockedValue": "nil",
"p": "Josef",
"round": 1,
"step": "precommit",
"validRound": -1,
"validValue": "nil"
}
]
]
}
},
{
"#meta": {
"index": 28
},
"_Event": {
"height": 2,
"name": "PolkaNil",
"round": 1,
"value": "nextBlock",
"vr": -1
},
"_Result": {
"decided": "",
"name": "votemessage",
"proposal": {
"height": -1,
"proposal": "",
"round": -1,
"src": "",
"validRound": -1
},
"skipRound": -1,
"timeout": "",
"voteMessage": {
"height": 2,
"id": "nil",
"round": 1,
"src": "Josef",
"step": "precommit"
}
},
"system": {
"#map": [
[
"Josef",
{
"height": 2,
"lockedRound": -1,
"lockedValue": "nil",
"p": "Josef",
"round": 1,
"step": "precommit",
"validRound": -1,
"validValue": "nil"
}
]
]
}
},
{
"#meta": {
"index": 29
},
"_Event": {
"height": 2,
"name": "PrecommitAny",
"round": 1,
"value": "nextBlock",
"vr": -1
},
"_Result": {
"decided": "",
"name": "timeout",
"proposal": {
"height": -1,
"proposal": "",
"round": -1,
"src": "",
"validRound": -1
},
"skipRound": -1,
"timeout": "timeoutPrecommit",
"voteMessage": {
"height": -1,
"id": "",
"round": -1,
"src": "",
"step": ""
}
},
"system": {
"#map": [
[
"Josef",
{
"height": 2,
"lockedRound": -1,
"lockedValue": "nil",
"p": "Josef",
"round": 1,
"step": "precommit",
"validRound": -1,
"validValue": "nil"
}
]
]
}
},
{
"#meta": {
"index": 30
},
"_Event": {
"height": 2,
"name": "PrecommitAny",
"round": 1,
"value": "nextBlock",
"vr": -1
},
"_Result": {
"decided": "",
"name": "timeout",
"proposal": {
"height": -1,
"proposal": "",
"round": -1,
"src": "",
"validRound": -1
},
"skipRound": -1,
"timeout": "timeoutPrecommit",
"voteMessage": {
"height": -1,
"id": "",
"round": -1,
"src": "",
"step": ""
}
},
"system": {
"#map": [
[
"Josef",
{
"height": 2,
"lockedRound": -1,
"lockedValue": "nil",
"p": "Josef",
"round": 1,
"step": "precommit",
"validRound": -1,
"validValue": "nil"
}
]
]
}
},
{
"#meta": {
"index": 31
},
"_Event": {
"height": 2,
"name": "TimeoutPrecommit",
"round": 1,
"value": "nextBlock",
"vr": -1
},
"_Result": {
"decided": "",
"name": "skipRound",
"proposal": {
"height": -1,
"proposal": "",
"round": -1,
"src": "",
"validRound": -1
},
"skipRound": 2,
"timeout": "",
"voteMessage": {
"height": -1,
"id": "",
"round": -1,
"src": "",
"step": ""
}
},
"system": {
"#map": [
[
"Josef",
{
"height": 2,
"lockedRound": -1,
"lockedValue": "nil",
"p": "Josef",
"round": 1,
"step": "precommit",
"validRound": -1,
"validValue": "nil"
}
]
]
}
},
{
"#meta": {
"index": 32
},
"_Event": {
"height": 2,
"name": "TimeoutPrecommit",
"round": 1,
"value": "nextBlock",
"vr": -1
},
"_Result": {
"decided": "",
"name": "skipRound",
"proposal": {
"height": -1,
"proposal": "",
"round": -1,
"src": "",
"validRound": -1
},
"skipRound": 2,
"timeout": "",
"voteMessage": {
"height": -1,
"id": "",
"round": -1,
"src": "",
"step": ""
}
},
"system": {
"#map": [
[
"Josef",
{
"height": 2,
"lockedRound": -1,
"lockedValue": "nil",
"p": "Josef",
"round": 1,
"step": "precommit",
"validRound": -1,
"validValue": "nil"
}
]
]
}
},
{
"#meta": {
"index": 33
},
"_Event": {
"height": 2,
"name": "NewRound",
"round": 2,
"value": "",
"vr": -1
},
"_Result": {
"decided": "",
"name": "timeout",
"proposal": {
"height": -1,
"proposal": "",
"round": -1,
"src": "",
"validRound": -1
},
"skipRound": -1,
"timeout": "timeoutPropose",
"voteMessage": {
"height": -1,
"id": "",
"round": -1,
"src": "",
"step": ""
}
},
"system": {
"#map": [
[
"Josef",
{
"height": 2,
"lockedRound": -1,
"lockedValue": "nil",
"p": "Josef",
"round": 2,
"step": "propose",
"validRound": -1,
"validValue": "nil"
}
]
]
}
},
{
"#meta": {
"index": 34
},
"_Event": {
"height": 2,
"name": "NewRound",
"round": 2,
"value": "",
"vr": -1
},
"_Result": {
"decided": "",
"name": "timeout",
"proposal": {
"height": -1,
"proposal": "",
"round": -1,
"src": "",
"validRound": -1
},
"skipRound": -1,
"timeout": "timeoutPropose",
"voteMessage": {
"height": -1,
"id": "",
"round": -1,
"src": "",
"step": ""
}
},
"system": {
"#map": [
[
"Josef",
{
"height": 2,
"lockedRound": -1,
"lockedValue": "nil",
"p": "Josef",
"round": 2,
"step": "propose",
"validRound": -1,
"validValue": "nil"
}
]
]
}
},
{
"#meta": {
"index": 35
},
"_Event": {
"height": 2,
"name": "ProposalInvalid",
"round": 2,
"value": "",
"vr": -1
},
"_Result": {
"decided": "",
"name": "votemessage",
"proposal": {
"height": -1,
"proposal": "",
"round": -1,
"src": "",
"validRound": -1
},
"skipRound": 42,
"timeout": "",
"voteMessage": {
"height": 2,
"id": "nil",
"round": 2,
"src": "Josef",
"step": "prevote"
}
},
"system": {
"#map": [
[
"Josef",
{
"height": 2,
"lockedRound": -1,
"lockedValue": "nil",
"p": "Josef",
"round": 2,
"step": "prevote",
"validRound": 200,
"validValue": "nil"
}
]
]
}
}
]
}