{
 "type": "excalidraw",
 "version": 2,
 "source": "https://excalidraw.com",
 "elements": [
  {
   "type": "rectangle",
   "id": "frame",
   "x": 0,
   "y": 0,
   "width": 1160,
   "height": 900,
   "strokeColor": "transparent",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 0,
   "opacity": 100,
   "angle": 0,
   "seed": 1007,
   "version": 1,
   "versionNonce": 5013,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null
  },
  {
   "type": "text",
   "id": "t2",
   "x": 40,
   "y": 36,
   "width": 631.4000000000001,
   "height": 70.0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1014,
   "version": 1,
   "versionNonce": 5026,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "text": "A missing payload comes from peers first;\nthe sequencer is only the last resort",
   "originalText": "A missing payload comes from peers first;\nthe sequencer is only the last resort",
   "fontSize": 28,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null
  },
  {
   "type": "text",
   "id": "t3",
   "x": 40,
   "y": 116,
   "width": 76.8,
   "height": 20.0,
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1021,
   "version": 1,
   "versionNonce": 5039,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "text": "03 §6.20",
   "originalText": "03 §6.20",
   "fontSize": 16,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null
  },
  {
   "type": "rectangle",
   "id": "b4",
   "x": 40.0,
   "y": 160,
   "width": 200,
   "height": 56,
   "strokeColor": "#191B26",
   "backgroundColor": "#F4B7C2",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1028,
   "version": 1,
   "versionNonce": 5052,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": {
    "type": 3
   }
  },
  {
   "type": "text",
   "id": "t5",
   "x": 51.175,
   "y": 176.125,
   "width": 177.65,
   "height": 23.75,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1035,
   "version": 1,
   "versionNonce": 5065,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "text": "replica Rk lane l",
   "originalText": "replica Rk lane l",
   "fontSize": 19,
   "fontFamily": 5,
   "textAlign": "center",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null
  },
  {
   "type": "rectangle",
   "id": "b6",
   "x": 528,
   "y": 168,
   "width": 240,
   "height": 56,
   "strokeColor": "#191B26",
   "backgroundColor": "#F4B7C2",
   "fillStyle": "hachure",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1042,
   "version": 1,
   "versionNonce": 5078,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": {
    "type": 3
   }
  },
  {
   "type": "rectangle",
   "id": "b7",
   "x": 520,
   "y": 160,
   "width": 240,
   "height": 56,
   "strokeColor": "#191B26",
   "backgroundColor": "#F4B7C2",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1049,
   "version": 1,
   "versionNonce": 5091,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": {
    "type": 3
   }
  },
  {
   "type": "text",
   "id": "t8",
   "x": 613.875,
   "y": 176.125,
   "width": 52.25000000000001,
   "height": 23.75,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1056,
   "version": 1,
   "versionNonce": 5104,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "text": "peers",
   "originalText": "peers",
   "fontSize": 19,
   "fontFamily": 5,
   "textAlign": "center",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null
  },
  {
   "type": "text",
   "id": "t9",
   "x": 538.8,
   "y": 230,
   "width": 202.4,
   "height": 20.0,
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1063,
   "version": 1,
   "versionNonce": 5117,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "text": "(Rj lane l, data boxes)",
   "originalText": "(Rj lane l, data boxes)",
   "fontSize": 16,
   "fontFamily": 5,
   "textAlign": "center",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null
  },
  {
   "type": "rectangle",
   "id": "b10",
   "x": 935.0,
   "y": 160,
   "width": 170,
   "height": 56,
   "strokeColor": "#191B26",
   "backgroundColor": "#F2D447",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1070,
   "version": 1,
   "versionNonce": 5130,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": {
    "type": 3
   }
  },
  {
   "type": "text",
   "id": "t11",
   "x": 957.3,
   "y": 176.125,
   "width": 125.4,
   "height": 23.75,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1077,
   "version": 1,
   "versionNonce": 5143,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "text": "vyrn-seq c51",
   "originalText": "vyrn-seq c51",
   "fontSize": 19,
   "fontFamily": 5,
   "textAlign": "center",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null
  },
  {
   "type": "text",
   "id": "t12",
   "x": 962.8,
   "y": 222,
   "width": 114.4,
   "height": 20.0,
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1084,
   "version": 1,
   "versionNonce": 5156,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "text": "(last resort)",
   "originalText": "(last resort)",
   "fontSize": 16,
   "fontFamily": 5,
   "textAlign": "center",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null
  },
  {
   "type": "line",
   "id": "l13",
   "x": 140,
   "y": 216,
   "width": 0,
   "height": 504,
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "dashed",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1091,
   "version": 1,
   "versionNonce": 5169,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "points": [
    [
     0,
     0
    ],
    [
     0,
     504
    ]
   ]
  },
  {
   "type": "line",
   "id": "l14",
   "x": 640,
   "y": 256,
   "width": 0,
   "height": 464,
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "dashed",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1098,
   "version": 1,
   "versionNonce": 5182,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "points": [
    [
     0,
     0
    ],
    [
     0,
     464
    ]
   ]
  },
  {
   "type": "line",
   "id": "l15",
   "x": 1020,
   "y": 246,
   "width": 0,
   "height": 474,
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "dashed",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1105,
   "version": 1,
   "versionNonce": 5195,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "points": [
    [
     0,
     0
    ],
    [
     0,
     474
    ]
   ]
  },
  {
   "type": "text",
   "id": "t16",
   "x": 154,
   "y": 250,
   "width": 44.0,
   "height": 20.0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1112,
   "version": 1,
   "versionNonce": 5208,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "text": "holds",
   "originalText": "holds",
   "fontSize": 16,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null
  },
  {
   "type": "text",
   "id": "t17",
   "x": 202.6,
   "y": 250,
   "width": 360.0,
   "height": 18.75,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1119,
   "version": 1,
   "versionNonce": 5221,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "text": "PacketRecord(session, pkt_seq, pkt_hash)",
   "originalText": "PacketRecord(session, pkt_seq, pkt_hash)",
   "fontSize": 15,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null
  },
  {
   "type": "text",
   "id": "t18",
   "x": 154,
   "y": 274,
   "width": 130.9,
   "height": 21.25,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1126,
   "version": 1,
   "versionNonce": 5234,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "text": "but no payload",
   "originalText": "but no payload",
   "fontSize": 17,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null
  },
  {
   "type": "text",
   "id": "t19",
   "x": 154,
   "y": 302,
   "width": 46.75000000000001,
   "height": 21.25,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1133,
   "version": 1,
   "versionNonce": 5247,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "text": "after",
   "originalText": "after",
   "fontSize": 17,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null
  },
  {
   "type": "text",
   "id": "t20",
   "x": 205.2,
   "y": 302,
   "width": 211.2,
   "height": 20.0,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1140,
   "version": 1,
   "versionNonce": 5260,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "text": "ARC_DATA_WAIT_US = 200",
   "originalText": "ARC_DATA_WAIT_US = 200",
   "fontSize": 16,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null
  },
  {
   "type": "text",
   "id": "t21",
   "x": 154,
   "y": 340,
   "width": 351.0,
   "height": 18.75,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1147,
   "version": 1,
   "versionNonce": 5273,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "text": "fetch(unit, session, pkt_seq, pkt_hash)",
   "originalText": "fetch(unit, session, pkt_seq, pkt_hash)",
   "fontSize": 15,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null
  },
  {
   "type": "arrow",
   "id": "a22",
   "x": 140,
   "y": 380,
   "width": 500,
   "height": 16,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1154,
   "version": 1,
   "versionNonce": 5286,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "points": [
    [
     0,
     0
    ],
    [
     500,
     -16
    ]
   ],
   "startBinding": null,
   "endBinding": null,
   "startArrowhead": null,
   "endArrowhead": "arrow"
  },
  {
   "type": "arrow",
   "id": "a23",
   "x": 140,
   "y": 380,
   "width": 500,
   "height": 18,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1161,
   "version": 1,
   "versionNonce": 5299,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "points": [
    [
     0,
     0
    ],
    [
     500,
     18
    ]
   ],
   "startBinding": null,
   "endBinding": null,
   "startArrowhead": null,
   "endArrowhead": "arrow"
  },
  {
   "type": "text",
   "id": "t24",
   "x": 340,
   "y": 404,
   "width": 168.3,
   "height": 21.25,
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1168,
   "version": 1,
   "versionNonce": 5312,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "text": "to 2 peers at once",
   "originalText": "to 2 peers at once",
   "fontSize": 17,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null
  },
  {
   "type": "text",
   "id": "t25",
   "x": 654,
   "y": 358,
   "width": 135.0,
   "height": 18.75,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1175,
   "version": 1,
   "versionNonce": 5325,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "text": "ARC_FETCH_PORT,",
   "originalText": "ARC_FETCH_PORT,",
   "fontSize": 15,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null
  },
  {
   "type": "text",
   "id": "t26",
   "x": 654,
   "y": 380,
   "width": 105.60000000000001,
   "height": 20.0,
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1182,
   "version": 1,
   "versionNonce": 5338,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "text": "rate-limited",
   "originalText": "rate-limited",
   "fontSize": 16,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null
  },
  {
   "type": "text",
   "id": "t27",
   "x": 340,
   "y": 440,
   "width": 65.45,
   "height": 21.25,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1189,
   "version": 1,
   "versionNonce": 5351,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "text": "payload",
   "originalText": "payload",
   "fontSize": 17,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null
  },
  {
   "type": "arrow",
   "id": "a28",
   "x": 640,
   "y": 468,
   "width": 500,
   "height": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "dashed",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1196,
   "version": 1,
   "versionNonce": 5364,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "points": [
    [
     0,
     0
    ],
    [
     -500,
     0
    ]
   ],
   "startBinding": null,
   "endBinding": null,
   "startArrowhead": null,
   "endArrowhead": "arrow"
  },
  {
   "type": "text",
   "id": "t29",
   "x": 654,
   "y": 456,
   "width": 81.0,
   "height": 18.75,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1203,
   "version": 1,
   "versionNonce": 5377,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "text": "+0.5–1 ms",
   "originalText": "+0.5–1 ms",
   "fontSize": 15,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null
  },
  {
   "type": "ellipse",
   "id": "d30",
   "x": 134,
   "y": 498,
   "width": 12,
   "height": 12,
   "strokeColor": "#191B26",
   "backgroundColor": "#191B26",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1210,
   "version": 1,
   "versionNonce": 5390,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null
  },
  {
   "type": "text",
   "id": "t31",
   "x": 154,
   "y": 492,
   "width": 46.75000000000001,
   "height": 21.25,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1217,
   "version": 1,
   "versionNonce": 5403,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "text": "check",
   "originalText": "check",
   "fontSize": 17,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null
  },
  {
   "type": "text",
   "id": "t32",
   "x": 205.2,
   "y": 492,
   "width": 67.2,
   "height": 20.0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1224,
   "version": 1,
   "versionNonce": 5416,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "text": "PktHash",
   "originalText": "PktHash",
   "fontSize": 16,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null
  },
  {
   "type": "text",
   "id": "t33",
   "x": 279.4,
   "y": 492,
   "width": 215.05,
   "height": 21.25,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1231,
   "version": 1,
   "versionNonce": 5429,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "text": "· apply · vote as usual",
   "originalText": "· apply · vote as usual",
   "fontSize": 17,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null
  },
  {
   "type": "text",
   "id": "t34",
   "x": 154,
   "y": 536,
   "width": 102.85000000000001,
   "height": 21.25,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1238,
   "version": 1,
   "versionNonce": 5442,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "text": "no reply by",
   "originalText": "no reply by",
   "fontSize": 17,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null
  },
  {
   "type": "text",
   "id": "t35",
   "x": 258.24,
   "y": 536,
   "width": 201.6,
   "height": 20.0,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1245,
   "version": 1,
   "versionNonce": 5455,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "text": "ARC_DATA_FETCH_MS = 2",
   "originalText": "ARC_DATA_FETCH_MS = 2",
   "fontSize": 16,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null
  },
  {
   "type": "arrow",
   "id": "a36",
   "x": 140,
   "y": 566,
   "width": 880,
   "height": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1252,
   "version": 1,
   "versionNonce": 5468,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "points": [
    [
     0,
     0
    ],
    [
     880,
     0
    ]
   ],
   "startBinding": null,
   "endBinding": null,
   "startArrowhead": null,
   "endArrowhead": "arrow"
  },
  {
   "type": "text",
   "id": "t37",
   "x": 744.2,
   "y": 578,
   "width": 261.8,
   "height": 21.25,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1259,
   "version": 1,
   "versionNonce": 5481,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "text": "from the lane's RX retention",
   "originalText": "from the lane's RX retention",
   "fontSize": 17,
   "fontFamily": 5,
   "textAlign": "right",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null
  },
  {
   "type": "text",
   "id": "t38",
   "x": 910,
   "y": 606,
   "width": 65.45,
   "height": 21.25,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1266,
   "version": 1,
   "versionNonce": 5494,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "text": "payload",
   "originalText": "payload",
   "fontSize": 17,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null
  },
  {
   "type": "arrow",
   "id": "a39",
   "x": 1020,
   "y": 634,
   "width": 880,
   "height": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "dashed",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1273,
   "version": 1,
   "versionNonce": 5507,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "points": [
    [
     0,
     0
    ],
    [
     -880,
     0
    ]
   ],
   "startBinding": null,
   "endBinding": null,
   "startArrowhead": null,
   "endArrowhead": "arrow"
  },
  {
   "type": "ellipse",
   "id": "d40",
   "x": 134,
   "y": 666,
   "width": 12,
   "height": 12,
   "strokeColor": "#191B26",
   "backgroundColor": "#191B26",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1280,
   "version": 1,
   "versionNonce": 5520,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null
  },
  {
   "type": "text",
   "id": "t41",
   "x": 154,
   "y": 660,
   "width": 356.40000000000003,
   "height": 22.5,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1287,
   "version": 1,
   "versionNonce": 5533,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "text": "still missing: no vote for the block",
   "originalText": "still missing: no vote for the block",
   "fontSize": 18,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null
  },
  {
   "type": "text",
   "id": "t42",
   "x": 154,
   "y": 686,
   "width": 316.8,
   "height": 20.0,
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1294,
   "version": 1,
   "versionNonce": 5546,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "text": "(07: nullify, suspect the sequencer)",
   "originalText": "(07: nullify, suspect the sequencer)",
   "fontSize": 16,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null
  },
  {
   "type": "text",
   "id": "t43",
   "x": 690,
   "y": 262,
   "width": 280.5,
   "height": 63.75,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1301,
   "version": 1,
   "versionNonce": 5559,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "text": "peers come first: the data\nhome is never in the\nsequencer's facility (ARC-D12)",
   "originalText": "peers come first: the data\nhome is never in the\nsequencer's facility (ARC-D12)",
   "fontSize": 17,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null
  },
  {
   "type": "arrow",
   "id": "a44",
   "x": 684,
   "y": 274,
   "width": 24,
   "height": 22,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1308,
   "version": 1,
   "versionNonce": 5572,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": {
    "type": 2
   },
   "points": [
    [
     0,
     0
    ],
    [
     -8,
     -16
    ],
    [
     16,
     -22
    ]
   ],
   "startBinding": null,
   "endBinding": null,
   "startArrowhead": null,
   "endArrowhead": "arrow"
  },
  {
   "type": "text",
   "id": "t45",
   "x": 500,
   "y": 736,
   "width": 396.00000000000006,
   "height": 67.5,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1315,
   "version": 1,
   "versionNonce": 5585,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "text": "an invented PacketRecord with no payload\ncannot get a block notarized: no honest\nreplica holds it",
   "originalText": "an invented PacketRecord with no payload\ncannot get a block notarized: no honest\nreplica holds it",
   "fontSize": 18,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null
  },
  {
   "type": "arrow",
   "id": "a46",
   "x": 494,
   "y": 752,
   "width": 30,
   "height": 72,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1322,
   "version": 1,
   "versionNonce": 5598,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": {
    "type": 2
   },
   "points": [
    [
     0,
     0
    ],
    [
     -24,
     -42
    ],
    [
     -30,
     -72
    ]
   ],
   "startBinding": null,
   "endBinding": null,
   "startArrowhead": null,
   "endArrowhead": "arrow"
  },
  {
   "type": "text",
   "id": "t47",
   "x": 40,
   "y": 852,
   "width": 72.0,
   "height": 18.75,
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1329,
   "version": 1,
   "versionNonce": 5611,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "text": "vyrn-seq",
   "originalText": "vyrn-seq",
   "fontSize": 15,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null
  },
  {
   "type": "text",
   "id": "t48",
   "x": 119.0,
   "y": 852,
   "width": 616.0,
   "height": 20.0,
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1336,
   "version": 1,
   "versionNonce": 5624,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "text": "counts the payloads it serves per session and closes the session above",
   "originalText": "counts the payloads it serves per session and closes the session above",
   "fontSize": 16,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null
  },
  {
   "type": "text",
   "id": "t49",
   "x": 708.4,
   "y": 852,
   "width": 171.0,
   "height": 18.75,
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1343,
   "version": 1,
   "versionNonce": 5637,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "text": "ARC_FETCH_SERVE_MAX",
   "originalText": "ARC_FETCH_SERVE_MAX",
   "fontSize": 15,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null
  }
 ],
 "appState": {
  "viewBackgroundColor": "#ffffff",
  "gridSize": 20
 },
 "files": {}
}