{
 "type": "excalidraw",
 "version": 2,
 "source": "https://excalidraw.com",
 "elements": [
  {
   "angle": 0,
   "opacity": 100,
   "seed": 12007,
   "version": 1,
   "versionNonce": 36022,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "rectangle",
   "id": "canvas",
   "x": 0,
   "y": 0,
   "width": 1180,
   "height": 760,
   "strokeColor": "transparent",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roundness": null
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 12014,
   "version": 1,
   "versionNonce": 36043,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "title",
   "x": 40,
   "y": 40,
   "width": 740.9,
   "height": 70.0,
   "text": "The data box checks, keeps and re-sends the copy;\nit never orders it and never changes a byte",
   "originalText": "The data box checks, keeps and re-sends the copy;\nit never orders it and never changes a byte",
   "fontSize": 28,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 12021,
   "version": 1,
   "versionNonce": 36064,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "sub",
   "x": 40,
   "y": 120,
   "width": 403.2,
   "height": 20.0,
   "text": "03 §4.6 · data box (vyrn-data), one lane l",
   "originalText": "03 §4.6 · data box (vyrn-data), one lane l",
   "fontSize": 16,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 12028,
   "version": 1,
   "versionNonce": 36085,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": [
    {
     "id": "copy_t",
     "type": "text"
    },
    {
     "id": "in0",
     "type": "arrow"
    }
   ],
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 1,
   "type": "rectangle",
   "id": "copy",
   "x": 40,
   "y": 190,
   "width": 150,
   "height": 70,
   "strokeColor": "#191B26",
   "backgroundColor": "#FFFFFF",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roundness": {
    "type": 3
   }
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 12035,
   "version": 1,
   "versionNonce": 36106,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "copy_t",
   "x": 61.5,
   "y": 213.8,
   "width": 106.9,
   "height": 22.5,
   "text": "client copy",
   "originalText": "client copy",
   "fontSize": 18,
   "fontFamily": 5,
   "textAlign": "center",
   "verticalAlign": "middle",
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": "copy",
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 12042,
   "version": 1,
   "versionNonce": 36127,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": [
    {
     "id": "leaf_t",
     "type": "text"
    },
    {
     "id": "in0",
     "type": "arrow"
    },
    {
     "id": "in1",
     "type": "arrow"
    }
   ],
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 1,
   "type": "rectangle",
   "id": "leaf",
   "x": 250,
   "y": 190,
   "width": 130,
   "height": 70,
   "strokeColor": "#191B26",
   "backgroundColor": "#FFFFFF",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roundness": {
    "type": 3
   }
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 12049,
   "version": 1,
   "versionNonce": 36148,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "leaf_t",
   "x": 291.0,
   "y": 215.0,
   "width": 48.0,
   "height": 20.0,
   "text": "CA/CB",
   "originalText": "CA/CB",
   "fontSize": 16,
   "fontFamily": 3,
   "textAlign": "center",
   "verticalAlign": "middle",
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": "leaf",
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 12056,
   "version": 1,
   "versionNonce": 36169,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": [
    {
     "id": "port_t",
     "type": "text"
    },
    {
     "id": "in1",
     "type": "arrow"
    },
    {
     "id": "in2",
     "type": "arrow"
    }
   ],
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 1,
   "type": "rectangle",
   "id": "port",
   "x": 440,
   "y": 190,
   "width": 160,
   "height": 70,
   "strokeColor": "#191B26",
   "backgroundColor": "#F4B7C2",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roundness": {
    "type": 3
   }
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 12063,
   "version": 1,
   "versionNonce": 36190,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "port_t",
   "x": 466.6,
   "y": 213.8,
   "width": 106.9,
   "height": 22.5,
   "text": "ingest port",
   "originalText": "ingest port",
   "fontSize": 18,
   "fontFamily": 5,
   "textAlign": "center",
   "verticalAlign": "middle",
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": "port",
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 12070,
   "version": 1,
   "versionNonce": 36211,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": [
    {
     "id": "rxq_t",
     "type": "text"
    },
    {
     "id": "in2",
     "type": "arrow"
    },
    {
     "id": "in3",
     "type": "arrow"
    }
   ],
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 1,
   "type": "rectangle",
   "id": "rxq",
   "x": 660,
   "y": 190,
   "width": 180,
   "height": 70,
   "strokeColor": "#191B26",
   "backgroundColor": "#F4B7C2",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roundness": {
    "type": 3
   }
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 12077,
   "version": 1,
   "versionNonce": 36232,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "rxq_t",
   "x": 677.1,
   "y": 213.8,
   "width": 145.8,
   "height": 22.5,
   "text": "lane-l RX queue",
   "originalText": "lane-l RX queue",
   "fontSize": 18,
   "fontFamily": 5,
   "textAlign": "center",
   "verticalAlign": "middle",
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": "rxq",
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 12084,
   "version": 1,
   "versionNonce": 36253,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": [
    {
     "id": "core_t",
     "type": "text"
    },
    {
     "id": "in3",
     "type": "arrow"
    },
    {
     "id": "a_ring",
     "type": "arrow"
    },
    {
     "id": "a_tx",
     "type": "arrow"
    }
   ],
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 1,
   "type": "rectangle",
   "id": "core",
   "x": 900,
   "y": 180,
   "width": 240,
   "height": 90,
   "strokeColor": "#191B26",
   "backgroundColor": "#F4B7C2",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roundness": {
    "type": 3
   }
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 12091,
   "version": 1,
   "versionNonce": 36274,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "core_t",
   "x": 948.6,
   "y": 198.8,
   "width": 142.8,
   "height": 52.5,
   "text": "c(1 + l mod 16)\nheader check ·\nsource rate limit",
   "originalText": "c(1 + l mod 16)\nheader check ·\nsource rate limit",
   "fontSize": 14,
   "fontFamily": 3,
   "textAlign": "center",
   "verticalAlign": "middle",
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": "core",
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 12098,
   "version": 1,
   "versionNonce": 36295,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 1,
   "type": "arrow",
   "id": "in0",
   "x": 192,
   "y": 225,
   "width": 56,
   "height": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "dashed",
   "points": [
    [
     0,
     0
    ],
    [
     56,
     0
    ]
   ],
   "roundness": null,
   "lastCommittedPoint": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "startBinding": {
    "elementId": "copy",
    "focus": 0,
    "gap": 4
   },
   "endBinding": {
    "elementId": "leaf",
    "focus": 0,
    "gap": 4
   }
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 12105,
   "version": 1,
   "versionNonce": 36316,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 1,
   "type": "arrow",
   "id": "in1",
   "x": 382,
   "y": 225,
   "width": 56,
   "height": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "points": [
    [
     0,
     0
    ],
    [
     56,
     0
    ]
   ],
   "roundness": null,
   "lastCommittedPoint": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "startBinding": {
    "elementId": "leaf",
    "focus": 0,
    "gap": 4
   },
   "endBinding": {
    "elementId": "port",
    "focus": 0,
    "gap": 4
   }
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 12112,
   "version": 1,
   "versionNonce": 36337,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 1,
   "type": "arrow",
   "id": "in2",
   "x": 602,
   "y": 225,
   "width": 56,
   "height": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "points": [
    [
     0,
     0
    ],
    [
     56,
     0
    ]
   ],
   "roundness": null,
   "lastCommittedPoint": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "startBinding": {
    "elementId": "port",
    "focus": 0,
    "gap": 4
   },
   "endBinding": {
    "elementId": "rxq",
    "focus": 0,
    "gap": 4
   }
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 12119,
   "version": 1,
   "versionNonce": 36358,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 1,
   "type": "arrow",
   "id": "in3",
   "x": 842,
   "y": 225,
   "width": 56,
   "height": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "points": [
    [
     0,
     0
    ],
    [
     56,
     0
    ]
   ],
   "roundness": null,
   "lastCommittedPoint": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "startBinding": {
    "elementId": "rxq",
    "focus": 0,
    "gap": 4
   },
   "endBinding": {
    "elementId": "core",
    "focus": 0,
    "gap": 4
   }
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 12126,
   "version": 1,
   "versionNonce": 36379,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": [
    {
     "id": "ring_t",
     "type": "text"
    },
    {
     "id": "a_ring",
     "type": "arrow"
    },
    {
     "id": "a_fs",
     "type": "arrow"
    }
   ],
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 1,
   "type": "ellipse",
   "id": "ring",
   "x": 380,
   "y": 350,
   "width": 270,
   "height": 110,
   "strokeColor": "#191B26",
   "backgroundColor": "#F4B7C2",
   "fillStyle": "hachure",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roundness": {
    "type": 2
   }
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 12133,
   "version": 1,
   "versionNonce": 36400,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "ring_t",
   "x": 446.9,
   "y": 382.5,
   "width": 136.1,
   "height": 45.0,
   "text": "retention ring\n(5 s)",
   "originalText": "retention ring\n(5 s)",
   "fontSize": 18,
   "fontFamily": 5,
   "textAlign": "center",
   "verticalAlign": "middle",
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": "ring",
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 12140,
   "version": 1,
   "versionNonce": 36421,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": [
    {
     "id": "fetchsrv_t",
     "type": "text"
    },
    {
     "id": "a_fs",
     "type": "arrow"
    },
    {
     "id": "a_fetch",
     "type": "arrow"
    }
   ],
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 1,
   "type": "rectangle",
   "id": "fetchsrv",
   "x": 720,
   "y": 370,
   "width": 180,
   "height": 70,
   "strokeColor": "#191B26",
   "backgroundColor": "#F4B7C2",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roundness": {
    "type": 3
   }
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 12147,
   "version": 1,
   "versionNonce": 36442,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "fetchsrv_t",
   "x": 733.2,
   "y": 395.0,
   "width": 153.6,
   "height": 20.0,
   "text": "c17 fetch server",
   "originalText": "c17 fetch server",
   "fontSize": 16,
   "fontFamily": 3,
   "textAlign": "center",
   "verticalAlign": "middle",
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": "fetchsrv",
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 12154,
   "version": 1,
   "versionNonce": 36463,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 1,
   "type": "arrow",
   "id": "a_ring",
   "x": 950,
   "y": 272,
   "width": 390,
   "height": 78,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "points": [
    [
     0,
     0
    ],
    [
     -390,
     78
    ]
   ],
   "roundness": null,
   "lastCommittedPoint": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "startBinding": {
    "elementId": "core",
    "focus": 0,
    "gap": 4
   },
   "endBinding": {
    "elementId": "ring",
    "focus": 0,
    "gap": 4
   }
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 12161,
   "version": 1,
   "versionNonce": 36484,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 1,
   "type": "arrow",
   "id": "a_fs",
   "x": 718,
   "y": 405,
   "width": 66,
   "height": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "points": [
    [
     0,
     0
    ],
    [
     -66,
     0
    ]
   ],
   "roundness": null,
   "lastCommittedPoint": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "startBinding": {
    "elementId": "fetchsrv",
    "focus": 0,
    "gap": 4
   },
   "endBinding": {
    "elementId": "ring",
    "focus": 0,
    "gap": 4
   }
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 12168,
   "version": 1,
   "versionNonce": 36505,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 1,
   "type": "arrow",
   "id": "a_fetch",
   "x": 1010,
   "y": 405,
   "width": 108,
   "height": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "points": [
    [
     0,
     0
    ],
    [
     -108,
     0
    ]
   ],
   "roundness": null,
   "lastCommittedPoint": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "startBinding": null,
   "endBinding": {
    "elementId": "fetchsrv",
    "focus": 0,
    "gap": 4
   }
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 12175,
   "version": 1,
   "versionNonce": 36526,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "l_fetch",
   "x": 930,
   "y": 378,
   "width": 43.2,
   "height": 20.0,
   "text": "fetch",
   "originalText": "fetch",
   "fontSize": 16,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 12182,
   "version": 1,
   "versionNonce": 36547,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": [
    {
     "id": "tx_t",
     "type": "text"
    },
    {
     "id": "a_tx",
     "type": "arrow"
    },
    {
     "id": "a_dx",
     "type": "arrow"
    }
   ],
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 1,
   "type": "rectangle",
   "id": "tx",
   "x": 700,
   "y": 520,
   "width": 440,
   "height": 70,
   "strokeColor": "#191B26",
   "backgroundColor": "#F4B7C2",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roundness": {
    "type": 3
   }
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 12189,
   "version": 1,
   "versionNonce": 36568,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "tx_t",
   "x": 790.4,
   "y": 535.0,
   "width": 259.2,
   "height": 40.0,
   "text": "TX: group 239.H.U.3,\nport ARC_DATA_PORT_BASE + l",
   "originalText": "TX: group 239.H.U.3,\nport ARC_DATA_PORT_BASE + l",
   "fontSize": 16,
   "fontFamily": 3,
   "textAlign": "center",
   "verticalAlign": "middle",
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": "tx",
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 12196,
   "version": 1,
   "versionNonce": 36589,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 1,
   "type": "arrow",
   "id": "a_tx",
   "x": 1080,
   "y": 272,
   "width": 0,
   "height": 246,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "dashed",
   "points": [
    [
     0,
     0
    ],
    [
     0,
     246
    ]
   ],
   "roundness": null,
   "lastCommittedPoint": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "startBinding": {
    "elementId": "core",
    "focus": 0,
    "gap": 4
   },
   "endBinding": {
    "elementId": "tx",
    "focus": 0,
    "gap": 4
   }
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 12203,
   "version": 1,
   "versionNonce": 36610,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": [
    {
     "id": "dx_t",
     "type": "text"
    },
    {
     "id": "a_dx",
     "type": "arrow"
    },
    {
     "id": "a_reps",
     "type": "arrow"
    }
   ],
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 1,
   "type": "rectangle",
   "id": "dx",
   "x": 470,
   "y": 520,
   "width": 150,
   "height": 70,
   "strokeColor": "#191B26",
   "backgroundColor": "#F4B7C2",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roundness": {
    "type": 3
   }
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 12210,
   "version": 1,
   "versionNonce": 36631,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "dx_t",
   "x": 534.2,
   "y": 543.8,
   "width": 21.6,
   "height": 22.5,
   "text": "DX",
   "originalText": "DX",
   "fontSize": 18,
   "fontFamily": 3,
   "textAlign": "center",
   "verticalAlign": "middle",
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": "dx",
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 12217,
   "version": 1,
   "versionNonce": 36652,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 1,
   "type": "arrow",
   "id": "a_dx",
   "x": 698,
   "y": 555,
   "width": 76,
   "height": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "dashed",
   "points": [
    [
     0,
     0
    ],
    [
     -76,
     0
    ]
   ],
   "roundness": null,
   "lastCommittedPoint": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "startBinding": {
    "elementId": "tx",
    "focus": 0,
    "gap": 4
   },
   "endBinding": {
    "elementId": "dx",
    "focus": 0,
    "gap": 4
   }
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 12224,
   "version": 1,
   "versionNonce": 36673,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": [
    {
     "id": "reps_t",
     "type": "text"
    },
    {
     "id": "a_reps",
     "type": "arrow"
    }
   ],
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 1,
   "type": "rectangle",
   "id": "reps",
   "x": 40,
   "y": 510,
   "width": 360,
   "height": 90,
   "strokeColor": "#191B26",
   "backgroundColor": "#F4B7C2",
   "fillStyle": "hachure",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roundness": {
    "type": 3
   }
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 12231,
   "version": 1,
   "versionNonce": 36694,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "reps_t",
   "x": 113.1,
   "y": 532.5,
   "width": 213.8,
   "height": 45.0,
   "text": "every replica's D port\nof unit U",
   "originalText": "every replica's D port\nof unit U",
   "fontSize": 18,
   "fontFamily": 5,
   "textAlign": "center",
   "verticalAlign": "middle",
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": "reps",
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 12238,
   "version": 1,
   "versionNonce": 36715,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 1,
   "type": "arrow",
   "id": "a_reps",
   "x": 468,
   "y": 555,
   "width": 66,
   "height": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "dashed",
   "points": [
    [
     0,
     0
    ],
    [
     -66,
     0
    ]
   ],
   "roundness": null,
   "lastCommittedPoint": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "startBinding": {
    "elementId": "dx",
    "focus": 0,
    "gap": 4
   },
   "endBinding": {
    "elementId": "reps",
    "focus": 0,
    "gap": 4
   }
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 12245,
   "version": 1,
   "versionNonce": 36736,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "n_ret",
   "x": 40,
   "y": 360,
   "width": 233.3,
   "height": 45.0,
   "text": "5 s at ~94 Gbps per box:\n59 GB of DRAM",
   "originalText": "5 s at ~94 Gbps per box:\n59 GB of DRAM",
   "fontSize": 18,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 12252,
   "version": 1,
   "versionNonce": 36757,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 1,
   "type": "arrow",
   "id": "na_ret",
   "x": 276,
   "y": 384,
   "width": 102,
   "height": 16,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "points": [
    [
     0,
     0
    ],
    [
     54,
     8
    ],
    [
     102,
     16
    ]
   ],
   "roundness": {
    "type": 2
   },
   "lastCommittedPoint": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "startBinding": null,
   "endBinding": null
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 12259,
   "version": 1,
   "versionNonce": 36778,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "n_bytes",
   "x": 560,
   "y": 650,
   "width": 486.0,
   "height": 45.0,
   "text": "no MAC check (the box holds no keys), no ordering:\npayload bytes go out unchanged",
   "originalText": "no MAC check (the box holds no keys), no ordering:\npayload bytes go out unchanged",
   "fontSize": 18,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 12266,
   "version": 1,
   "versionNonce": 36799,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 1,
   "type": "arrow",
   "id": "na_bytes",
   "x": 1052,
   "y": 664,
   "width": 48,
   "height": 70,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "points": [
    [
     0,
     0
    ],
    [
     48,
     -24
    ],
    [
     38,
     -70
    ]
   ],
   "roundness": {
    "type": 2
   },
   "lastCommittedPoint": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "startBinding": null,
   "endBinding": null
  }
 ],
 "appState": {
  "viewBackgroundColor": "#ffffff",
  "gridSize": 20
 },
 "files": {}
}