{
 "type": "excalidraw",
 "version": 2,
 "source": "https://excalidraw.com",
 "elements": [
  {
   "type": "rectangle",
   "id": "canvas_frame",
   "x": 0,
   "y": 0,
   "width": 1180,
   "height": 680,
   "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": 859.0400000000001,
   "height": 35.0,
   "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": "Each packet travels twice; the replica joins the two copies",
   "originalText": "Each packet travels twice; the replica joins the two copies",
   "fontSize": 28,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "text",
   "id": "sub",
   "x": 40,
   "y": 78,
   "width": 257.92,
   "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 §2.1 · the log has two parts",
   "originalText": "07 §2.1 · the log has two parts",
   "fontSize": 16,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "ellipse",
   "id": "client",
   "x": 40,
   "y": 270,
   "width": 150,
   "height": 80,
   "strokeColor": "#191B26",
   "backgroundColor": "#FFFFFF",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1028,
   "version": 1,
   "versionNonce": 1031,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": [
    {
     "id": "client_t",
     "type": "text"
    }
   ],
   "link": null,
   "locked": false,
   "roundness": {
    "type": 2
   },
   "frameId": null,
   "updated": 1
  },
  {
   "type": "text",
   "id": "client_t",
   "x": 48,
   "y": 296.25,
   "width": 134,
   "height": 27.5,
   "strokeColor": "#191B26",
   "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": "client",
   "originalText": "client",
   "fontSize": 22,
   "fontFamily": 5,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": "client",
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "rectangle",
   "id": "seq",
   "x": 300,
   "y": 140,
   "width": 200,
   "height": 76,
   "strokeColor": "#191B26",
   "backgroundColor": "#F2D447",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1042,
   "version": 1,
   "versionNonce": 1045,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": [
    {
     "id": "seq_t",
     "type": "text"
    }
   ],
   "link": null,
   "locked": false,
   "roundness": {
    "type": 3
   },
   "frameId": null,
   "updated": 1
  },
  {
   "type": "text",
   "id": "seq_t",
   "x": 308,
   "y": 164.25,
   "width": 184,
   "height": 27.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": "vyrn-seq",
   "originalText": "vyrn-seq",
   "fontSize": 22,
   "fontFamily": 3,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": "seq",
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "arrow",
   "id": "c1",
   "x": 150,
   "y": 280,
   "width": 148,
   "height": 102,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1056,
   "version": 1,
   "versionNonce": 1059,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": {
    "type": 2
   },
   "frameId": null,
   "updated": 1,
   "points": [
    [
     0,
     0
    ],
    [
     70,
     -102
    ],
    [
     148,
     -102
    ]
   ],
   "lastCommittedPoint": null,
   "startBinding": null,
   "endBinding": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "elbowed": false
  },
  {
   "type": "text",
   "id": "c1_t",
   "x": 206,
   "y": 140,
   "width": 56.160000000000004,
   "height": 22.5,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "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,
   "text": "copy 1",
   "originalText": "copy 1",
   "fontSize": 18,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "arrow",
   "id": "os_a",
   "x": 500,
   "y": 166,
   "width": 510,
   "height": 126,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "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,
   "points": [
    [
     0,
     0
    ],
    [
     510,
     0
    ],
    [
     510,
     126
    ]
   ],
   "lastCommittedPoint": null,
   "startBinding": null,
   "endBinding": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "elbowed": false
  },
  {
   "type": "arrow",
   "id": "os_b",
   "x": 500,
   "y": 190,
   "width": 486,
   "height": 102,
   "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
    ],
    [
     486,
     0
    ],
    [
     486,
     102
    ]
   ],
   "lastCommittedPoint": null,
   "startBinding": null,
   "endBinding": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "elbowed": false
  },
  {
   "type": "text",
   "id": "os_t",
   "x": 520,
   "y": 118,
   "width": 499.2,
   "height": 20.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": "order stream (ORDER + HASH + HEADER frames, 2 paths)",
   "originalText": "order stream (ORDER + HASH + HEADER frames, 2 paths)",
   "fontSize": 16,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "text",
   "id": "os_r",
   "x": 520,
   "y": 200,
   "width": 240.0,
   "height": 20.0,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1091,
   "version": 1,
   "versionNonce": 1094,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "frameId": null,
   "updated": 1,
   "text": "3.3 GB/s per path, framed",
   "originalText": "3.3 GB/s per path, framed",
   "fontSize": 16,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "rectangle",
   "id": "data",
   "x": 300,
   "y": 410,
   "width": 260,
   "height": 84,
   "strokeColor": "#191B26",
   "backgroundColor": "#F4B7C2",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1098,
   "version": 1,
   "versionNonce": 1101,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": [
    {
     "id": "data_t",
     "type": "text"
    }
   ],
   "link": null,
   "locked": false,
   "roundness": {
    "type": 3
   },
   "frameId": null,
   "updated": 1
  },
  {
   "type": "text",
   "id": "data_t",
   "x": 308,
   "y": 429.5,
   "width": 244,
   "height": 45.0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1105,
   "version": 1,
   "versionNonce": 1108,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "frameId": null,
   "updated": 1,
   "text": "vyrn-data\n(session's data home)",
   "originalText": "vyrn-data\n(session's data home)",
   "fontSize": 18,
   "fontFamily": 3,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": "data",
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "arrow",
   "id": "c2",
   "x": 150,
   "y": 342,
   "width": 148,
   "height": 110,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1112,
   "version": 1,
   "versionNonce": 1115,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": {
    "type": 2
   },
   "frameId": null,
   "updated": 1,
   "points": [
    [
     0,
     0
    ],
    [
     70,
     110
    ],
    [
     148,
     110
    ]
   ],
   "lastCommittedPoint": null,
   "startBinding": null,
   "endBinding": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "elbowed": false
  },
  {
   "type": "text",
   "id": "c2_t",
   "x": 200,
   "y": 466,
   "width": 56.160000000000004,
   "height": 22.5,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "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,
   "text": "copy 2",
   "originalText": "copy 2",
   "fontSize": 18,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "arrow",
   "id": "df",
   "x": 560,
   "y": 452,
   "width": 438,
   "height": 78,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 4,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1126,
   "version": 1,
   "versionNonce": 1129,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "frameId": null,
   "updated": 1,
   "points": [
    [
     0,
     0
    ],
    [
     438,
     0
    ],
    [
     438,
     -78
    ]
   ],
   "lastCommittedPoint": null,
   "startBinding": null,
   "endBinding": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "elbowed": false
  },
  {
   "type": "text",
   "id": "df_t",
   "x": 600,
   "y": 418,
   "width": 105.6,
   "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": "data frames",
   "originalText": "data frames",
   "fontSize": 16,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "text",
   "id": "df_r",
   "x": 600,
   "y": 462,
   "width": 240.0,
   "height": 20.0,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "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,
   "text": "19.2 GB/s to each replica",
   "originalText": "19.2 GB/s to each replica",
   "fontSize": 16,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "rectangle",
   "id": "rep",
   "x": 900,
   "y": 294,
   "width": 200,
   "height": 78,
   "strokeColor": "#191B26",
   "backgroundColor": "#F4B7C2",
   "fillStyle": "hachure",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1147,
   "version": 1,
   "versionNonce": 1150,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": [
    {
     "id": "rep_t",
     "type": "text"
    }
   ],
   "link": null,
   "locked": false,
   "roundness": {
    "type": 3
   },
   "frameId": null,
   "updated": 1
  },
  {
   "type": "text",
   "id": "rep_t",
   "x": 908,
   "y": 320.5,
   "width": 184,
   "height": 25.0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "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,
   "text": "vyrn-replica",
   "originalText": "vyrn-replica",
   "fontSize": 20,
   "fontFamily": 3,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": "rep",
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "arrow",
   "id": "join",
   "x": 1100,
   "y": 334,
   "width": 504,
   "height": 226,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "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,
   "points": [
    [
     0,
     0
    ],
    [
     30,
     0
    ],
    [
     30,
     226
    ],
    [
     -474,
     226
    ]
   ],
   "lastCommittedPoint": null,
   "startBinding": null,
   "endBinding": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "elbowed": false
  },
  {
   "type": "text",
   "id": "join_t",
   "x": 300,
   "y": 532,
   "width": 291.59999999999997,
   "height": 45.0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "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,
   "text": "join key (session, pkt_seq)\nchecks: pkt_hash, data_root",
   "originalText": "join key (session, pkt_seq)\nchecks: pkt_hash, data_root",
   "fontSize": 18,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "text",
   "id": "n1",
   "x": 700,
   "y": 580,
   "width": 247.52,
   "height": 63.75,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "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,
   "text": "joined, they make block h:\nheader h + its order bytes\n+ the payloads it references",
   "originalText": "joined, they make block h:\nheader h + its order bytes\n+ the payloads it references",
   "fontSize": 17,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "arrow",
   "id": "n1_a",
   "x": 692,
   "y": 600,
   "width": 72,
   "height": 22,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1.5,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1182,
   "version": 1,
   "versionNonce": 1185,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": {
    "type": 2
   },
   "frameId": null,
   "updated": 1,
   "points": [
    [
     0,
     0
    ],
    [
     -42,
     0
    ],
    [
     -72,
     -22
    ]
   ],
   "lastCommittedPoint": null,
   "startBinding": null,
   "endBinding": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "elbowed": false
  }
 ],
 "appState": {
  "viewBackgroundColor": "#ffffff",
  "gridSize": 20
 },
 "files": {}
}