{
 "type": "excalidraw",
 "version": 2,
 "source": "https://excalidraw.com",
 "elements": [
  {
   "type": "rectangle",
   "id": "canvas_frame",
   "x": 0,
   "y": 0,
   "width": 1160,
   "height": 1104,
   "strokeColor": "transparent",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1392,
   "version": 1,
   "versionNonce": 1395,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null
  },
  {
   "type": "text",
   "id": "title",
   "x": 40,
   "y": 36,
   "width": 831.0400000000001,
   "height": 35.0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1007,
   "version": 1,
   "versionNonce": 1010,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "text": "The whole cluster runs in one thread, on virtual time",
   "originalText": "The whole cluster runs in one thread, on virtual time",
   "fontSize": 28,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "text",
   "id": "sub",
   "x": 40,
   "y": 82,
   "width": 470.4,
   "height": 20.0,
   "strokeColor": "#565A6B",
   "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,
   "text": "vyrn-sim  ·  the deterministic simulator  ·  §6.4",
   "originalText": "vyrn-sim  ·  the deterministic simulator  ·  §6.4",
   "fontSize": 16,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "rectangle",
   "id": "outer",
   "x": 40,
   "y": 124,
   "width": 1080,
   "height": 940,
   "strokeColor": "#191B26",
   "backgroundColor": "#FFFFFF",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1021,
   "version": 1,
   "versionNonce": 1024,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": {
    "type": 3
   }
  },
  {
   "type": "text",
   "id": "hdr",
   "x": 64,
   "y": 140,
   "width": 115.19999999999999,
   "height": 30.0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "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,
   "text": "vyrn-sim",
   "originalText": "vyrn-sim",
   "fontSize": 24,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "text",
   "id": "hdr2",
   "x": 200,
   "y": 146,
   "width": 624.0,
   "height": 20.0,
   "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,
   "text": "one thread · virtual time in Nanos · ChaCha8 seeded per component",
   "originalText": "one thread · virtual time in Nanos · ChaCha8 seeded per component",
   "fontSize": 16,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "rectangle",
   "id": "evq",
   "x": 70,
   "y": 196,
   "width": 230,
   "height": 64,
   "strokeColor": "#191B26",
   "backgroundColor": "#FFFFFF",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1042,
   "version": 1,
   "versionNonce": 1045,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": [
    {
     "id": "evq_t",
     "type": "text"
    },
    {
     "id": "a_sched",
     "type": "arrow"
    }
   ],
   "link": null,
   "locked": false,
   "roundness": {
    "type": 3
   }
  },
  {
   "type": "text",
   "id": "evq_t",
   "x": 128.9,
   "y": 206.75,
   "width": 112.2,
   "height": 42.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,
   "text": "event queue\n(time, seq)",
   "originalText": "event queue\n(time, seq)",
   "fontSize": 17,
   "fontFamily": 3,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": "evq",
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "arrow",
   "id": "a_sched",
   "x": 304,
   "y": 228,
   "width": 56,
   "height": 0,
   "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,
   "points": [
    [
     0,
     0
    ],
    [
     56,
     0
    ]
   ],
   "roundness": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "elbowed": false,
   "startBinding": {
    "elementId": "evq",
    "focus": 0,
    "gap": 4
   },
   "endBinding": null
  },
  {
   "type": "text",
   "id": "sched",
   "x": 368,
   "y": 216,
   "width": 262.08000000000004,
   "height": 45.0,
   "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,
   "text": "scheduler picks the next\nrunnable item, seeded ties",
   "originalText": "scheduler picks the next\nrunnable item, seeded ties",
   "fontSize": 18,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "text",
   "id": "n_seed",
   "x": 760,
   "y": 196,
   "width": 292.32000000000005,
   "height": 45.0,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "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,
   "text": "same seed, same run,\nbyte for byte, macOS or Linux",
   "originalText": "same seed, same run,\nbyte for byte, macOS or Linux",
   "fontSize": 18,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "arrow",
   "id": "n_seed_a",
   "x": 800,
   "y": 194,
   "width": 18,
   "height": 24,
   "strokeColor": "#5A2D91",
   "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,
   "points": [
    [
     0,
     0
    ],
    [
     12,
     -12
    ],
    [
     18,
     -24
    ]
   ],
   "roundness": {
    "type": 2
   },
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "elbowed": false,
   "startBinding": null,
   "endBinding": null
  },
  {
   "type": "ellipse",
   "id": "clients",
   "x": 70,
   "y": 296,
   "width": 200,
   "height": 76,
   "strokeColor": "#191B26",
   "backgroundColor": "#FFFFFF",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1084,
   "version": 1,
   "versionNonce": 1087,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": [
    {
     "id": "clients_t",
     "type": "text"
    },
    {
     "id": "a_net",
     "type": "arrow"
    }
   ],
   "link": null,
   "locked": false,
   "roundness": {
    "type": 2
   }
  },
  {
   "type": "text",
   "id": "clients_t",
   "x": 108.12,
   "y": 312.75,
   "width": 123.76,
   "height": 42.5,
   "strokeColor": "#191B26",
   "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,
   "text": "clients ×k\n(02 workload)",
   "originalText": "clients ×k\n(02 workload)",
   "fontSize": 17,
   "fontFamily": 5,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": "clients",
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "arrow",
   "id": "a_net",
   "x": 274,
   "y": 334,
   "width": 72,
   "height": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1098,
   "version": 1,
   "versionNonce": 1101,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "points": [
    [
     0,
     0
    ],
    [
     72,
     0
    ]
   ],
   "roundness": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "elbowed": false,
   "startBinding": {
    "elementId": "clients",
    "focus": 0,
    "gap": 4
   },
   "endBinding": null
  },
  {
   "type": "rectangle",
   "id": "net",
   "x": 350,
   "y": 294,
   "width": 740,
   "height": 84,
   "strokeColor": "#191B26",
   "backgroundColor": "#FFFFFF",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1105,
   "version": 1,
   "versionNonce": 1108,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": [
    {
     "id": "a_seq",
     "type": "arrow"
    }
   ],
   "link": null,
   "locked": false,
   "roundness": {
    "type": 3
   }
  },
  {
   "type": "text",
   "id": "net_n",
   "x": 658.4,
   "y": 304,
   "width": 123.20000000000002,
   "height": 25.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,
   "text": "sim network",
   "originalText": "sim network",
   "fontSize": 20,
   "fontFamily": 5,
   "textAlign": "center",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "text",
   "id": "net_l",
   "x": 480.0,
   "y": 340,
   "width": 480.0,
   "height": 20.0,
   "strokeColor": "#565A6B",
   "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,
   "text": "links: latency dist, loss, dup, reorder, partition",
   "originalText": "links: latency dist, loss, dup, reorder, partition",
   "fontSize": 16,
   "fontFamily": 3,
   "textAlign": "center",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "arrow",
   "id": "a_seq",
   "x": 450,
   "y": 382,
   "width": 0,
   "height": 70,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1126,
   "version": 1,
   "versionNonce": 1129,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "points": [
    [
     0,
     0
    ],
    [
     0,
     70
    ]
   ],
   "roundness": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "elbowed": false,
   "startBinding": {
    "elementId": "net",
    "focus": 0,
    "gap": 4
   },
   "endBinding": null
  },
  {
   "type": "rectangle",
   "id": "seq",
   "x": 64,
   "y": 456,
   "width": 1032,
   "height": 220,
   "strokeColor": "#191B26",
   "backgroundColor": "#F2D447",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1133,
   "version": 1,
   "versionNonce": 1136,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": {
    "type": 3
   }
  },
  {
   "type": "text",
   "id": "seq_t",
   "x": 84,
   "y": 468,
   "width": 140.4,
   "height": 22.5,
   "strokeColor": "#191B26",
   "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,
   "text": "box: vyrn-seq",
   "originalText": "box: vyrn-seq",
   "fontSize": 18,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "rectangle",
   "id": "p_nic",
   "x": 84,
   "y": 510,
   "width": 250,
   "height": 58,
   "strokeColor": "#191B26",
   "backgroundColor": "#FFFFFF",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1147,
   "version": 1,
   "versionNonce": 1150,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": [
    {
     "id": "p_nic_t",
     "type": "text"
    }
   ],
   "link": null,
   "locked": false,
   "roundness": {
    "type": 3
   }
  },
  {
   "type": "text",
   "id": "p_nic_t",
   "x": 114.5,
   "y": 520.25,
   "width": 189.0,
   "height": 37.5,
   "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,
   "text": "vyrn-nic::sim queues,\nPHC model",
   "originalText": "vyrn-nic::sim queues,\nPHC model",
   "fontSize": 15,
   "fontFamily": 3,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": "p_nic",
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "arrow",
   "id": "p1",
   "x": 338,
   "y": 539,
   "width": 32,
   "height": 0,
   "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,
   "points": [
    [
     0,
     0
    ],
    [
     32,
     0
    ]
   ],
   "roundness": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "elbowed": false,
   "startBinding": null,
   "endBinding": null
  },
  {
   "type": "rectangle",
   "id": "p_lanes",
   "x": 374,
   "y": 510,
   "width": 180,
   "height": 58,
   "strokeColor": "#191B26",
   "backgroundColor": "#FFFFFF",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1168,
   "version": 1,
   "versionNonce": 1171,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": [
    {
     "id": "p_lanes_t",
     "type": "text"
    }
   ],
   "link": null,
   "locked": false,
   "roundness": {
    "type": 3
   }
  },
  {
   "type": "text",
   "id": "p_lanes_t",
   "x": 392.6,
   "y": 517.75,
   "width": 142.8,
   "height": 42.5,
   "strokeColor": "#191B26",
   "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,
   "text": "dedicated lanes\n+ pool",
   "originalText": "dedicated lanes\n+ pool",
   "fontSize": 17,
   "fontFamily": 5,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": "p_lanes",
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "arrow",
   "id": "p2",
   "x": 558,
   "y": 539,
   "width": 32,
   "height": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1182,
   "version": 1,
   "versionNonce": 1185,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "points": [
    [
     0,
     0
    ],
    [
     32,
     0
    ]
   ],
   "roundness": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "elbowed": false,
   "startBinding": null,
   "endBinding": null
  },
  {
   "type": "rectangle",
   "id": "p_cut",
   "x": 594,
   "y": 510,
   "width": 110,
   "height": 58,
   "strokeColor": "#191B26",
   "backgroundColor": "#FFFFFF",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1189,
   "version": 1,
   "versionNonce": 1192,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": [
    {
     "id": "p_cut_t",
     "type": "text"
    }
   ],
   "link": null,
   "locked": false,
   "roundness": {
    "type": 3
   }
  },
  {
   "type": "text",
   "id": "p_cut_t",
   "x": 610.6,
   "y": 529.0,
   "width": 76.8,
   "height": 20.0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "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,
   "text": "cut A, B",
   "originalText": "cut A, B",
   "fontSize": 16,
   "fontFamily": 3,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": "p_cut",
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "arrow",
   "id": "p3",
   "x": 708,
   "y": 539,
   "width": 32,
   "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,
   "points": [
    [
     0,
     0
    ],
    [
     32,
     0
    ]
   ],
   "roundness": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "elbowed": false,
   "startBinding": null,
   "endBinding": null
  },
  {
   "type": "rectangle",
   "id": "p_bbo",
   "x": 744,
   "y": 510,
   "width": 90,
   "height": 58,
   "strokeColor": "#191B26",
   "backgroundColor": "#FFFFFF",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1210,
   "version": 1,
   "versionNonce": 1213,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": [
    {
     "id": "p_bbo_t",
     "type": "text"
    }
   ],
   "link": null,
   "locked": false,
   "roundness": {
    "type": 3
   }
  },
  {
   "type": "text",
   "id": "p_bbo_t",
   "x": 773.7,
   "y": 528.375,
   "width": 30.599999999999998,
   "height": 21.25,
   "strokeColor": "#191B26",
   "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,
   "text": "BBO",
   "originalText": "BBO",
   "fontSize": 17,
   "fontFamily": 3,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": "p_bbo",
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "arrow",
   "id": "p4",
   "x": 838,
   "y": 539,
   "width": 32,
   "height": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1224,
   "version": 1,
   "versionNonce": 1227,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "points": [
    [
     0,
     0
    ],
    [
     32,
     0
    ]
   ],
   "roundness": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "elbowed": false,
   "startBinding": null,
   "endBinding": null
  },
  {
   "type": "rectangle",
   "id": "p_tx",
   "x": 874,
   "y": 510,
   "width": 200,
   "height": 58,
   "strokeColor": "#191B26",
   "backgroundColor": "#FFFFFF",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1231,
   "version": 1,
   "versionNonce": 1234,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": [
    {
     "id": "p_tx_t",
     "type": "text"
    }
   ],
   "link": null,
   "locked": false,
   "roundness": {
    "type": 3
   }
  },
  {
   "type": "text",
   "id": "p_tx_t",
   "x": 893.0,
   "y": 520.25,
   "width": 162.0,
   "height": 37.5,
   "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,
   "text": "TX-A, TX-B,\nstream-A, stream-B",
   "originalText": "TX-A, TX-B,\nstream-A, stream-B",
   "fontSize": 15,
   "fontFamily": 3,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": "p_tx",
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "text",
   "id": "p_map",
   "x": 893.0,
   "y": 576,
   "width": 162.0,
   "height": 18.75,
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1245,
   "version": 1,
   "versionNonce": 1248,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "text": "core map of 01 §10",
   "originalText": "core map of 01 §10",
   "fontSize": 15,
   "fontFamily": 3,
   "textAlign": "center",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "text",
   "id": "poll",
   "x": 84,
   "y": 600,
   "width": 384.0,
   "height": 40.0,
   "strokeColor": "#191B26",
   "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,
   "text": "each core = Core::poll() step;\nvyrn-cut Visibility = Sim (seeded delay)",
   "originalText": "each core = Core::poll() step;\nvyrn-cut Visibility = Sim (seeded delay)",
   "fontSize": 16,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "text",
   "id": "n_stale",
   "x": 600,
   "y": 614,
   "width": 282.24,
   "height": 45.0,
   "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,
   "text": "how stale cuts and stale\nsnapshots happen, on purpose",
   "originalText": "how stale cuts and stale\nsnapshots happen, on purpose",
   "fontSize": 18,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "arrow",
   "id": "n_stale_a",
   "x": 596,
   "y": 640,
   "width": 126,
   "height": 16,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1266,
   "version": 1,
   "versionNonce": 1269,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "points": [
    [
     0,
     0
    ],
    [
     -56,
     12
    ],
    [
     -126,
     -4
    ]
   ],
   "roundness": {
    "type": 2
   },
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "elbowed": false,
   "startBinding": null,
   "endBinding": null
  },
  {
   "type": "rectangle",
   "id": "standby",
   "x": 64,
   "y": 700,
   "width": 500,
   "height": 76,
   "strokeColor": "#565A6B",
   "backgroundColor": "#FFFFFF",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "dashed",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1273,
   "version": 1,
   "versionNonce": 1276,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": {
    "type": 3
   }
  },
  {
   "type": "text",
   "id": "standby_t",
   "x": 84,
   "y": 710,
   "width": 265.2,
   "height": 21.25,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1280,
   "version": 1,
   "versionNonce": 1283,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "text": "box: vyrn-seq standby (F2)",
   "originalText": "box: vyrn-seq standby (F2)",
   "fontSize": 17,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "text",
   "id": "standby_d",
   "x": 84,
   "y": 740,
   "width": 371.28000000000003,
   "height": 21.25,
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1287,
   "version": 1,
   "versionNonce": 1290,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "text": "warm, promoted on failover; never votes",
   "originalText": "warm, promoted on failover; never votes",
   "fontSize": 17,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "rectangle",
   "id": "replica",
   "x": 596,
   "y": 700,
   "width": 500,
   "height": 76,
   "strokeColor": "#191B26",
   "backgroundColor": "#F4B7C2",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1294,
   "version": 1,
   "versionNonce": 1297,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": {
    "type": 3
   }
  },
  {
   "type": "text",
   "id": "replica_t",
   "x": 616,
   "y": 710,
   "width": 204.0,
   "height": 21.25,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1301,
   "version": 1,
   "versionNonce": 1304,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "text": "box: vyrn-replica ×n",
   "originalText": "box: vyrn-replica ×n",
   "fontSize": 17,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "text",
   "id": "replica_d",
   "x": 616,
   "y": 740,
   "width": 468.0,
   "height": 18.75,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1308,
   "version": 1,
   "versionNonce": 1311,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "text": "engine = Rust replay, or Vx client through the C ABI",
   "originalText": "engine = Rust replay, or Vx client through the C ABI",
   "fontSize": 15,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "rectangle",
   "id": "data",
   "x": 64,
   "y": 796,
   "width": 500,
   "height": 90,
   "strokeColor": "#191B26",
   "backgroundColor": "#F4B7C2",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1315,
   "version": 1,
   "versionNonce": 1318,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": {
    "type": 3
   }
  },
  {
   "type": "text",
   "id": "data_t",
   "x": 84,
   "y": 806,
   "width": 173.4,
   "height": 21.25,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1322,
   "version": 1,
   "versionNonce": 1325,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "text": "box: vyrn-data ×m",
   "originalText": "box: vyrn-data ×m",
   "fontSize": 17,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "text",
   "id": "data_d",
   "x": 84,
   "y": 836,
   "width": 238.00000000000003,
   "height": 21.25,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1329,
   "version": 1,
   "versionNonce": 1332,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "text": "payload store and fan-out",
   "originalText": "payload store and fan-out",
   "fontSize": 17,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "rectangle",
   "id": "cons",
   "x": 596,
   "y": 796,
   "width": 500,
   "height": 90,
   "strokeColor": "#5A2D91",
   "backgroundColor": "#EDE5F6",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1336,
   "version": 1,
   "versionNonce": 1339,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": {
    "type": 3
   }
  },
  {
   "type": "text",
   "id": "cons_t",
   "x": 616,
   "y": 806,
   "width": 142.79999999999998,
   "height": 21.25,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1343,
   "version": 1,
   "versionNonce": 1346,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "text": "vyrn-consensus",
   "originalText": "vyrn-consensus",
   "fontSize": 17,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "text",
   "id": "cons_d",
   "x": 616,
   "y": 836,
   "width": 333.0,
   "height": 37.5,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1350,
   "version": 1,
   "versionNonce": 1353,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "text": "on commonware-runtime::deterministic,\nsame virtual clock",
   "originalText": "on commonware-runtime::deterministic,\nsame virtual clock",
   "fontSize": 15,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "text",
   "id": "disks",
   "x": 84,
   "y": 906,
   "width": 409.36,
   "height": 21.25,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1357,
   "version": 1,
   "versionNonce": 1360,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "text": "disks: in-memory journal with a fault model",
   "originalText": "disks: in-memory journal with a fault model",
   "fontSize": 17,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "text",
   "id": "clocks",
   "x": 616,
   "y": 906,
   "width": 342.72,
   "height": 21.25,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1364,
   "version": 1,
   "versionNonce": 1367,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "text": "clocks: per-box offset, drift, steps",
   "originalText": "clocks: per-box offset, drift, steps",
   "fontSize": 17,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "rectangle",
   "id": "check",
   "x": 64,
   "y": 962,
   "width": 1032,
   "height": 80,
   "strokeColor": "#191B26",
   "backgroundColor": "#191B26",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1371,
   "version": 1,
   "versionNonce": 1374,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null
  },
  {
   "type": "text",
   "id": "check_t",
   "x": 84,
   "y": 972,
   "width": 86.39999999999999,
   "height": 22.5,
   "strokeColor": "#F2D447",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1378,
   "version": 1,
   "versionNonce": 1381,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "text": "checkers",
   "originalText": "checkers",
   "fontSize": 18,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "text",
   "id": "check_d",
   "x": 84,
   "y": 1002,
   "width": 729.6,
   "height": 20.0,
   "strokeColor": "#ECEAF2",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1385,
   "version": 1,
   "versionNonce": 1388,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "text": "invariants after every event · oracle diff per message · liveness after heal",
   "originalText": "invariants after every event · oracle diff per message · liveness after heal",
   "fontSize": 16,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  }
 ],
 "appState": {
  "viewBackgroundColor": "#ffffff",
  "gridSize": 20
 },
 "files": {}
}