{
 "type": "excalidraw",
 "version": 2,
 "source": "https://excalidraw.com",
 "elements": [
  {
   "type": "rectangle",
   "id": "canvas_frame",
   "x": 0,
   "y": 0,
   "width": 1180,
   "height": 800,
   "strokeColor": "transparent",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 0,
   "opacity": 100,
   "angle": 0,
   "seed": 1007,
   "version": 1,
   "versionNonce": 1010,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "frameId": null,
   "updated": 1
  },
  {
   "type": "text",
   "id": "title",
   "x": 40,
   "y": 36,
   "width": 1081.08,
   "height": 33.75,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1014,
   "version": 1,
   "versionNonce": 1017,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "frameId": null,
   "updated": 1,
   "text": "A restarted replica votes from t0; it joins root votes once replay catches up",
   "originalText": "A restarted replica votes from t0; it joins root votes once replay catches up",
   "fontSize": 27,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "text",
   "id": "sub",
   "x": 40,
   "y": 78,
   "width": 341.12,
   "height": 20.0,
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1021,
   "version": 1,
   "versionNonce": 1024,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "frameId": null,
   "updated": 1,
   "text": "07 §7.6 · catch-up from snapshot plus log",
   "originalText": "07 §7.6 · catch-up from snapshot plus log",
   "fontSize": 16,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "ellipse",
   "id": "t0",
   "x": 61,
   "y": 161,
   "width": 18,
   "height": 18,
   "strokeColor": "#5A2D91",
   "backgroundColor": "#5A2D91",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1028,
   "version": 1,
   "versionNonce": 1031,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "frameId": null,
   "updated": 1
  },
  {
   "type": "text",
   "id": "t0_t",
   "x": 40,
   "y": 128,
   "width": 26.4,
   "height": 27.5,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1035,
   "version": 1,
   "versionNonce": 1038,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "frameId": null,
   "updated": 1,
   "text": "t0",
   "originalText": "t0",
   "fontSize": 22,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "arrow",
   "id": "live",
   "x": 82,
   "y": 170,
   "width": 858,
   "height": 554,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 3.5,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1042,
   "version": 1,
   "versionNonce": 1045,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "frameId": null,
   "updated": 1,
   "points": [
    [
     0,
     0
    ],
    [
     858,
     0
    ],
    [
     858,
     554
    ]
   ],
   "lastCommittedPoint": null,
   "startBinding": null,
   "endBinding": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "elbowed": false
  },
  {
   "type": "text",
   "id": "live_t",
   "x": 110,
   "y": 132,
   "width": 748.8000000000001,
   "height": 22.5,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1049,
   "version": 1,
   "versionNonce": 1052,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "frameId": null,
   "updated": 1,
   "text": "subscribe to live frames + data; verify and vote at once (votes need no history)",
   "originalText": "subscribe to live frames + data; verify and vote at once (votes need no history)",
   "fontSize": 18,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "text",
   "id": "votes_t",
   "x": 913.0,
   "y": 732,
   "width": 54.0,
   "height": 22.5,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1056,
   "version": 1,
   "versionNonce": 1059,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "frameId": null,
   "updated": 1,
   "text": "votes",
   "originalText": "votes",
   "fontSize": 18,
   "fontFamily": 3,
   "textAlign": "center",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "line",
   "id": "spine",
   "x": 70,
   "y": 180,
   "width": 0,
   "height": 460,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2.5,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1063,
   "version": 1,
   "versionNonce": 1066,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "frameId": null,
   "updated": 1,
   "points": [
    [
     0,
     0
    ],
    [
     0,
     460
    ]
   ],
   "lastCommittedPoint": null
  },
  {
   "type": "ellipse",
   "id": "d1",
   "x": 64,
   "y": 220,
   "width": 12,
   "height": 12,
   "strokeColor": "#191B26",
   "backgroundColor": "#191B26",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1070,
   "version": 1,
   "versionNonce": 1073,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "frameId": null,
   "updated": 1
  },
  {
   "type": "line",
   "id": "d1_b",
   "x": 70,
   "y": 226,
   "width": 22,
   "height": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1077,
   "version": 1,
   "versionNonce": 1080,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "frameId": null,
   "updated": 1,
   "points": [
    [
     0,
     0
    ],
    [
     22,
     0
    ]
   ],
   "lastCommittedPoint": null
  },
  {
   "type": "text",
   "id": "s1",
   "x": 100,
   "y": 212,
   "width": 488.8,
   "height": 25.0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1084,
   "version": 1,
   "versionNonce": 1087,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "frameId": null,
   "updated": 1,
   "text": "fetch the newest snapshot ≤ the newest RootCert",
   "originalText": "fetch the newest snapshot ≤ the newest RootCert",
   "fontSize": 20,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "rectangle",
   "id": "src0",
   "x": 120,
   "y": 252,
   "width": 140,
   "height": 38,
   "strokeColor": "#191B26",
   "backgroundColor": "#FFFFFF",
   "fillStyle": "solid",
   "strokeWidth": 1.5,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1091,
   "version": 1,
   "versionNonce": 1094,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": [
    {
     "id": "src0_t",
     "type": "text"
    }
   ],
   "link": null,
   "locked": false,
   "roundness": null,
   "frameId": null,
   "updated": 1
  },
  {
   "type": "text",
   "id": "src0_t",
   "x": 128,
   "y": 261.0,
   "width": 124,
   "height": 20.0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1098,
   "version": 1,
   "versionNonce": 1101,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "frameId": null,
   "updated": 1,
   "text": "local NVMe",
   "originalText": "local NVMe",
   "fontSize": 16,
   "fontFamily": 3,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": "src0",
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "rectangle",
   "id": "src1",
   "x": 300,
   "y": 252,
   "width": 240,
   "height": 38,
   "strokeColor": "#191B26",
   "backgroundColor": "#FFFFFF",
   "fillStyle": "solid",
   "strokeWidth": 1.5,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1105,
   "version": 1,
   "versionNonce": 1108,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": [
    {
     "id": "src1_t",
     "type": "text"
    }
   ],
   "link": null,
   "locked": false,
   "roundness": null,
   "frameId": null,
   "updated": 1
  },
  {
   "type": "text",
   "id": "src1_t",
   "x": 308,
   "y": 261.0,
   "width": 224,
   "height": 20.0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1112,
   "version": 1,
   "versionNonce": 1115,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "frameId": null,
   "updated": 1,
   "text": "else peers via REPAIR",
   "originalText": "else peers via REPAIR",
   "fontSize": 16,
   "fontFamily": 3,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": "src1",
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "arrow",
   "id": "src_a1",
   "x": 262,
   "y": 271,
   "width": 36,
   "height": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1.5,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1119,
   "version": 1,
   "versionNonce": 1122,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "frameId": null,
   "updated": 1,
   "points": [
    [
     0,
     0
    ],
    [
     36,
     0
    ]
   ],
   "lastCommittedPoint": null,
   "startBinding": null,
   "endBinding": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "elbowed": false
  },
  {
   "type": "rectangle",
   "id": "src2",
   "x": 580,
   "y": 252,
   "width": 150,
   "height": 38,
   "strokeColor": "#191B26",
   "backgroundColor": "#FFFFFF",
   "fillStyle": "solid",
   "strokeWidth": 1.5,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1126,
   "version": 1,
   "versionNonce": 1129,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": [
    {
     "id": "src2_t",
     "type": "text"
    }
   ],
   "link": null,
   "locked": false,
   "roundness": null,
   "frameId": null,
   "updated": 1
  },
  {
   "type": "text",
   "id": "src2_t",
   "x": 588,
   "y": 261.0,
   "width": 134,
   "height": 20.0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1133,
   "version": 1,
   "versionNonce": 1136,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "frameId": null,
   "updated": 1,
   "text": "else archive",
   "originalText": "else archive",
   "fontSize": 16,
   "fontFamily": 3,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": "src2",
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "arrow",
   "id": "src_a2",
   "x": 542,
   "y": 271,
   "width": 36,
   "height": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1.5,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1140,
   "version": 1,
   "versionNonce": 1143,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "frameId": null,
   "updated": 1,
   "points": [
    [
     0,
     0
    ],
    [
     36,
     0
    ]
   ],
   "lastCommittedPoint": null,
   "startBinding": null,
   "endBinding": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "elbowed": false
  },
  {
   "type": "ellipse",
   "id": "d2",
   "x": 64,
   "y": 324,
   "width": 12,
   "height": 12,
   "strokeColor": "#191B26",
   "backgroundColor": "#191B26",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1147,
   "version": 1,
   "versionNonce": 1150,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "frameId": null,
   "updated": 1
  },
  {
   "type": "line",
   "id": "d2_b",
   "x": 70,
   "y": 330,
   "width": 22,
   "height": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1154,
   "version": 1,
   "versionNonce": 1157,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "frameId": null,
   "updated": 1,
   "points": [
    [
     0,
     0
    ],
    [
     22,
     0
    ]
   ],
   "lastCommittedPoint": null
  },
  {
   "type": "text",
   "id": "s2",
   "x": 100,
   "y": 316,
   "width": 166.4,
   "height": 25.0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1161,
   "version": 1,
   "versionNonce": 1164,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "frameId": null,
   "updated": 1,
   "text": "verify it (§7.5)",
   "originalText": "verify it (§7.5)",
   "fontSize": 20,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "ellipse",
   "id": "d3",
   "x": 64,
   "y": 386,
   "width": 12,
   "height": 12,
   "strokeColor": "#191B26",
   "backgroundColor": "#191B26",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1168,
   "version": 1,
   "versionNonce": 1171,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "frameId": null,
   "updated": 1
  },
  {
   "type": "line",
   "id": "d3_b",
   "x": 70,
   "y": 392,
   "width": 22,
   "height": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1175,
   "version": 1,
   "versionNonce": 1178,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "frameId": null,
   "updated": 1,
   "points": [
    [
     0,
     0
    ],
    [
     22,
     0
    ]
   ],
   "lastCommittedPoint": null
  },
  {
   "type": "text",
   "id": "s3",
   "x": 100,
   "y": 378,
   "width": 518.4,
   "height": 22.5,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1182,
   "version": 1,
   "versionNonce": 1185,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "frameId": null,
   "updated": 1,
   "text": "fetch finalized blocks snapshot.height+1 .. live",
   "originalText": "fetch finalized blocks snapshot.height+1 .. live",
   "fontSize": 18,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "text",
   "id": "s3b",
   "x": 100,
   "y": 408,
   "width": 556.9200000000001,
   "height": 42.5,
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1189,
   "version": 1,
   "versionNonce": 1192,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "frameId": null,
   "updated": 1,
   "text": "striped by height across all peers (block record + cert, §8.2);\nverify certs and roots, write them to the local journal",
   "originalText": "striped by height across all peers (block record + cert, §8.2);\nverify certs and roots, write them to the local journal",
   "fontSize": 17,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "ellipse",
   "id": "d4",
   "x": 64,
   "y": 492,
   "width": 12,
   "height": 12,
   "strokeColor": "#191B26",
   "backgroundColor": "#191B26",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1196,
   "version": 1,
   "versionNonce": 1199,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "frameId": null,
   "updated": 1
  },
  {
   "type": "line",
   "id": "d4_b",
   "x": 70,
   "y": 498,
   "width": 22,
   "height": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1203,
   "version": 1,
   "versionNonce": 1206,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "frameId": null,
   "updated": 1,
   "points": [
    [
     0,
     0
    ],
    [
     22,
     0
    ]
   ],
   "lastCommittedPoint": null
  },
  {
   "type": "text",
   "id": "s4",
   "x": 100,
   "y": 484,
   "width": 395.2,
   "height": 25.0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1210,
   "version": 1,
   "versionNonce": 1213,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "frameId": null,
   "updated": 1,
   "text": "replay at max speed; buffer live input",
   "originalText": "replay at max speed; buffer live input",
   "fontSize": 20,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "text",
   "id": "s4b",
   "x": 100,
   "y": 514,
   "width": 335.92,
   "height": 21.25,
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1217,
   "version": 1,
   "versionNonce": 1220,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "frameId": null,
   "updated": 1,
   "text": "live input already counts toward votes",
   "originalText": "live input already counts toward votes",
   "fontSize": 17,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "rectangle",
   "id": "done",
   "x": 40,
   "y": 580,
   "width": 560,
   "height": 92,
   "strokeColor": "#191B26",
   "backgroundColor": "#F2D447",
   "fillStyle": "solid",
   "strokeWidth": 2.5,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1224,
   "version": 1,
   "versionNonce": 1227,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": {
    "type": 3
   },
   "frameId": null,
   "updated": 1
  },
  {
   "type": "text",
   "id": "done_t",
   "x": 60,
   "y": 592,
   "width": 388.8,
   "height": 22.5,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1231,
   "version": 1,
   "versionNonce": 1234,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "frameId": null,
   "updated": 1,
   "text": "replay lag ≤ REP_LIVE_LAG_MS (10 ms)",
   "originalText": "replay lag ≤ REP_LIVE_LAG_MS (10 ms)",
   "fontSize": 18,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "text",
   "id": "done_b",
   "x": 60,
   "y": 626,
   "width": 488.8,
   "height": 25.0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1238,
   "version": 1,
   "versionNonce": 1241,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "frameId": null,
   "updated": 1,
   "text": "the replica joins root votes and is \"caught up\"",
   "originalText": "the replica joins root votes and is \"caught up\"",
   "fontSize": 20,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "arrow",
   "id": "root",
   "x": 600,
   "y": 626,
   "width": 490,
   "height": 98,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 3.5,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1245,
   "version": 1,
   "versionNonce": 1248,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "frameId": null,
   "updated": 1,
   "points": [
    [
     0,
     0
    ],
    [
     490,
     0
    ],
    [
     490,
     98
    ]
   ],
   "lastCommittedPoint": null,
   "startBinding": null,
   "endBinding": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "elbowed": false
  },
  {
   "type": "text",
   "id": "root_t",
   "x": 1063.0,
   "y": 732,
   "width": 54.0,
   "height": 45.0,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1252,
   "version": 1,
   "versionNonce": 1255,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "frameId": null,
   "updated": 1,
   "text": "root\nvotes",
   "originalText": "root\nvotes",
   "fontSize": 18,
   "fontFamily": 3,
   "textAlign": "center",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "text",
   "id": "n1",
   "x": 600,
   "y": 300,
   "width": 274.04,
   "height": 42.5,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1259,
   "version": 1,
   "versionNonce": 1262,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "frameId": null,
   "updated": 1,
   "text": "a snapshot is trusted through\nits certificate, not its source",
   "originalText": "a snapshot is trusted through\nits certificate, not its source",
   "fontSize": 17,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "arrow",
   "id": "n1_a",
   "x": 592,
   "y": 318,
   "width": 302,
   "height": 28,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1.5,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1266,
   "version": 1,
   "versionNonce": 1269,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": {
    "type": 2
   },
   "frameId": null,
   "updated": 1,
   "points": [
    [
     0,
     0
    ],
    [
     -172,
     -18
    ],
    [
     -302,
     10
    ]
   ],
   "lastCommittedPoint": null,
   "startBinding": null,
   "endBinding": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "elbowed": false
  },
  {
   "type": "text",
   "id": "n2",
   "x": 600,
   "y": 470,
   "width": 300.56,
   "height": 42.5,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1273,
   "version": 1,
   "versionNonce": 1276,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "frameId": null,
   "updated": 1,
   "text": "budget: restart at 10% load ~13 s;\nat sustained peak ~3.5 min",
   "originalText": "budget: restart at 10% load ~13 s;\nat sustained peak ~3.5 min",
   "fontSize": 17,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "arrow",
   "id": "n2_a",
   "x": 592,
   "y": 486,
   "width": 92,
   "height": 14,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1.5,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1280,
   "version": 1,
   "versionNonce": 1283,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": {
    "type": 2
   },
   "frameId": null,
   "updated": 1,
   "points": [
    [
     0,
     0
    ],
    [
     -32,
     14
    ],
    [
     -92,
     12
    ]
   ],
   "lastCommittedPoint": null,
   "startBinding": null,
   "endBinding": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "elbowed": false
  }
 ],
 "appState": {
  "viewBackgroundColor": "#ffffff",
  "gridSize": 20
 },
 "files": {}
}