{
 "type": "excalidraw",
 "version": 2,
 "source": "https://excalidraw.com",
 "elements": [
  {
   "type": "rectangle",
   "id": "canvas_frame",
   "x": 0,
   "y": 0,
   "width": 1140,
   "height": 770,
   "strokeColor": "transparent",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 0,
   "opacity": 100,
   "angle": 0,
   "seed": 1055002771,
   "version": 1,
   "versionNonce": 1795383220,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null
  },
  {
   "type": "text",
   "id": "title",
   "x": 40,
   "y": 36,
   "width": 742.5600000000001,
   "height": 35.0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 724990060,
   "version": 1,
   "versionNonce": 555222682,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "text": "Every hop of a local ack is bounded by construction",
   "originalText": "Every hop of a local ack is bounded by construction",
   "fontSize": 28,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25
  },
  {
   "type": "text",
   "id": "sub",
   "x": 40,
   "y": 80,
   "width": 530.4,
   "height": 21.25,
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1476559581,
   "version": 1,
   "versionNonce": 1623114449,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "text": "latency of a local ack, a maximum; bars drawn to scale in ns",
   "originalText": "latency of a local ack, a maximum; bars drawn to scale in ns",
   "fontSize": 17,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25
  },
  {
   "type": "line",
   "id": "grid0",
   "x": 300.0,
   "y": 150,
   "width": 0.0,
   "height": 470,
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "dotted",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1279810296,
   "version": 1,
   "versionNonce": 697099542,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "points": [
    [
     0.0,
     0
    ],
    [
     0.0,
     470
    ]
   ],
   "lastCommittedPoint": null,
   "startArrowhead": null,
   "endArrowhead": null
  },
  {
   "type": "text",
   "id": "tick0",
   "x": 295.8,
   "y": 628,
   "width": 8.4,
   "height": 17.5,
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1713372707,
   "version": 1,
   "versionNonce": 75012586,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "text": "0",
   "originalText": "0",
   "fontSize": 14,
   "fontFamily": 3,
   "textAlign": "center",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25
  },
  {
   "type": "line",
   "id": "grid50",
   "x": 450.0,
   "y": 150,
   "width": 0.0,
   "height": 470,
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "dotted",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 855863426,
   "version": 1,
   "versionNonce": 1694830056,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "points": [
    [
     0.0,
     0
    ],
    [
     0.0,
     470
    ]
   ],
   "lastCommittedPoint": null,
   "startArrowhead": null,
   "endArrowhead": null
  },
  {
   "type": "text",
   "id": "tick50",
   "x": 441.6,
   "y": 628,
   "width": 16.8,
   "height": 17.5,
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1554675071,
   "version": 1,
   "versionNonce": 1746725805,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "text": "50",
   "originalText": "50",
   "fontSize": 14,
   "fontFamily": 3,
   "textAlign": "center",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25
  },
  {
   "type": "line",
   "id": "grid100",
   "x": 600.0,
   "y": 150,
   "width": 0.0,
   "height": 470,
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "dotted",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1774714192,
   "version": 1,
   "versionNonce": 1294127714,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "points": [
    [
     0.0,
     0
    ],
    [
     0.0,
     470
    ]
   ],
   "lastCommittedPoint": null,
   "startArrowhead": null,
   "endArrowhead": null
  },
  {
   "type": "text",
   "id": "tick100",
   "x": 587.4,
   "y": 628,
   "width": 25.2,
   "height": 17.5,
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1144226228,
   "version": 1,
   "versionNonce": 895670324,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "text": "100",
   "originalText": "100",
   "fontSize": 14,
   "fontFamily": 3,
   "textAlign": "center",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25
  },
  {
   "type": "line",
   "id": "grid150",
   "x": 750.0,
   "y": 150,
   "width": 0.0,
   "height": 470,
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "dotted",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 347080971,
   "version": 1,
   "versionNonce": 63344212,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "points": [
    [
     0.0,
     0
    ],
    [
     0.0,
     470
    ]
   ],
   "lastCommittedPoint": null,
   "startArrowhead": null,
   "endArrowhead": null
  },
  {
   "type": "text",
   "id": "tick150",
   "x": 737.4,
   "y": 628,
   "width": 25.2,
   "height": 17.5,
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 960787959,
   "version": 1,
   "versionNonce": 605095938,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "text": "150",
   "originalText": "150",
   "fontSize": 14,
   "fontFamily": 3,
   "textAlign": "center",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25
  },
  {
   "type": "line",
   "id": "grid200",
   "x": 900.0,
   "y": 150,
   "width": 0.0,
   "height": 470,
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "dotted",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1803633431,
   "version": 1,
   "versionNonce": 176335026,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "points": [
    [
     0.0,
     0
    ],
    [
     0.0,
     470
    ]
   ],
   "lastCommittedPoint": null,
   "startArrowhead": null,
   "endArrowhead": null
  },
  {
   "type": "text",
   "id": "tick200",
   "x": 887.4,
   "y": 628,
   "width": 25.2,
   "height": 17.5,
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1182089195,
   "version": 1,
   "versionNonce": 1946321636,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "text": "200",
   "originalText": "200",
   "fontSize": 14,
   "fontFamily": 3,
   "textAlign": "center",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25
  },
  {
   "type": "line",
   "id": "axis",
   "x": 300,
   "y": 620,
   "width": 680.0,
   "height": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1.5,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 232387323,
   "version": 1,
   "versionNonce": 323472609,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "points": [
    [
     0,
     0
    ],
    [
     680.0,
     0
    ]
   ],
   "lastCommittedPoint": null,
   "startArrowhead": null,
   "endArrowhead": null
  },
  {
   "type": "text",
   "id": "axis_u",
   "x": 988.0,
   "y": 610,
   "width": 16.8,
   "height": 17.5,
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1055385851,
   "version": 1,
   "versionNonce": 1311761649,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "text": "ns",
   "originalText": "ns",
   "fontSize": 14,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25
  },
  {
   "type": "text",
   "id": "h0_l",
   "x": 40,
   "y": 130,
   "width": 468.52000000000004,
   "height": 21.25,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 191165833,
   "version": 1,
   "versionNonce": 666646929,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "text": "op applied, counter published → its cut core reads it",
   "originalText": "op applied, counter published → its cut core reads it",
   "fontSize": 17,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25
  },
  {
   "type": "rectangle",
   "id": "h0_b0",
   "x": 300.0,
   "y": 158,
   "width": 300.0,
   "height": 22,
   "strokeColor": "#191B26",
   "backgroundColor": "#F2D447",
   "fillStyle": "solid",
   "strokeWidth": 1.5,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 310628149,
   "version": 1,
   "versionNonce": 522754146,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null
  },
  {
   "type": "text",
   "id": "h0_t",
   "x": 612.0,
   "y": 159,
   "width": 225.0,
   "height": 18.75,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 448822751,
   "version": 1,
   "versionNonce": 361671513,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "text": "≤ 100 ns (CUT_REFRESH_NS)",
   "originalText": "≤ 100 ns (CUT_REFRESH_NS)",
   "fontSize": 15,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25
  },
  {
   "type": "text",
   "id": "h1_l",
   "x": 40,
   "y": 210,
   "width": 371.28000000000003,
   "height": 21.25,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 203640768,
   "version": 1,
   "versionNonce": 744247329,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "text": "the BBO core finishes the step in progress",
   "originalText": "the BBO core finishes the step in progress",
   "fontSize": 17,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25
  },
  {
   "type": "arrow",
   "id": "h1_a",
   "x": 600.0,
   "y": 182,
   "width": 0.0,
   "height": 54,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1.5,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 259946243,
   "version": 1,
   "versionNonce": 873718644,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "points": [
    [
     0.0,
     0
    ],
    [
     0.0,
     54
    ]
   ],
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "startBinding": null,
   "endBinding": null,
   "lastCommittedPoint": null,
   "elbowed": false
  },
  {
   "type": "rectangle",
   "id": "h1_b0",
   "x": 600.0,
   "y": 238,
   "width": 45.0,
   "height": 22,
   "strokeColor": "#191B26",
   "backgroundColor": "#F2D447",
   "fillStyle": "solid",
   "strokeWidth": 1.5,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 822412370,
   "version": 1,
   "versionNonce": 1560477637,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null
  },
  {
   "type": "text",
   "id": "h1_t",
   "x": 657.0,
   "y": 239,
   "width": 198.0,
   "height": 18.75,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 419358698,
   "version": 1,
   "versionNonce": 980321001,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "text": "≤ ENG_STEP_MAX_NS = 15",
   "originalText": "≤ ENG_STEP_MAX_NS = 15",
   "fontSize": 15,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25
  },
  {
   "type": "text",
   "id": "h2_l",
   "x": 40,
   "y": 290,
   "width": 406.64,
   "height": 21.25,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 166250983,
   "version": 1,
   "versionNonce": 1828457201,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "text": "the next step takes that half-cut and finishes",
   "originalText": "the next step takes that half-cut and finishes",
   "fontSize": 17,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25
  },
  {
   "type": "arrow",
   "id": "h2_a",
   "x": 645.0,
   "y": 262,
   "width": 0.0,
   "height": 54,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1.5,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 289667420,
   "version": 1,
   "versionNonce": 1974696356,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "points": [
    [
     0.0,
     0
    ],
    [
     0.0,
     54
    ]
   ],
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "startBinding": null,
   "endBinding": null,
   "lastCommittedPoint": null,
   "elbowed": false
  },
  {
   "type": "rectangle",
   "id": "h2_b0",
   "x": 645.0,
   "y": 318,
   "width": 45.0,
   "height": 22,
   "strokeColor": "#191B26",
   "backgroundColor": "#F2D447",
   "fillStyle": "solid",
   "strokeWidth": 1.5,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 598780864,
   "version": 1,
   "versionNonce": 1684076907,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null
  },
  {
   "type": "text",
   "id": "h2_t",
   "x": 702.0,
   "y": 319,
   "width": 36.0,
   "height": 18.75,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 456995249,
   "version": 1,
   "versionNonce": 127484985,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "text": "≤ 15",
   "originalText": "≤ 15",
   "fontSize": 15,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25
  },
  {
   "type": "text",
   "id": "h3_l",
   "x": 40,
   "y": 370,
   "width": 530.4,
   "height": 21.25,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 161915858,
   "version": 1,
   "versionNonce": 1646011201,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "text": "order-stream core queues the step's frame, writes LaneCut[l]",
   "originalText": "order-stream core queues the step's frame, writes LaneCut[l]",
   "fontSize": 17,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25
  },
  {
   "type": "arrow",
   "id": "h3_a",
   "x": 690.0,
   "y": 342,
   "width": 0.0,
   "height": 54,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1.5,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 268575597,
   "version": 1,
   "versionNonce": 1515425812,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "points": [
    [
     0.0,
     0
    ],
    [
     0.0,
     54
    ]
   ],
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "startBinding": null,
   "endBinding": null,
   "lastCommittedPoint": null,
   "elbowed": false
  },
  {
   "type": "rectangle",
   "id": "h3_b0",
   "x": 690.0,
   "y": 398,
   "width": 120.0,
   "height": 22,
   "strokeColor": "#191B26",
   "backgroundColor": "#F2D447",
   "fillStyle": "solid",
   "strokeWidth": 1.5,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 601307355,
   "version": 1,
   "versionNonce": 281698000,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null
  },
  {
   "type": "text",
   "id": "h3_t",
   "x": 822.0,
   "y": 399,
   "width": 36.0,
   "height": 18.75,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 477830024,
   "version": 1,
   "versionNonce": 1412346249,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "text": "≤ 40",
   "originalText": "≤ 40",
   "fontSize": 15,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25
  },
  {
   "type": "text",
   "id": "h4_l",
   "x": 40,
   "y": 450,
   "width": 636.48,
   "height": 21.25,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 241012053,
   "version": 1,
   "versionNonce": 1802595153,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "text": "lane polls LaneCut within ENG_UNIT_NS, even inside another packet (§6.1)",
   "originalText": "lane polls LaneCut within ENG_UNIT_NS, even inside another packet (§6.1)",
   "fontSize": 17,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25
  },
  {
   "type": "arrow",
   "id": "h4_a",
   "x": 810.0,
   "y": 422,
   "width": 0.0,
   "height": 54,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1.5,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 213333482,
   "version": 1,
   "versionNonce": 1672083460,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "points": [
    [
     0.0,
     0
    ],
    [
     0.0,
     54
    ]
   ],
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "startBinding": null,
   "endBinding": null,
   "lastCommittedPoint": null,
   "elbowed": false
  },
  {
   "type": "rectangle",
   "id": "h4_b0",
   "x": 810.0,
   "y": 478,
   "width": 60.0,
   "height": 22,
   "strokeColor": "#191B26",
   "backgroundColor": "#F2D447",
   "fillStyle": "solid",
   "strokeWidth": 1.5,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 115078244,
   "version": 1,
   "versionNonce": 231698040,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null
  },
  {
   "type": "text",
   "id": "h4_t",
   "x": 882.0,
   "y": 479,
   "width": 36.0,
   "height": 18.75,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 533341443,
   "version": 1,
   "versionNonce": 34538905,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "text": "≤ 20",
   "originalText": "≤ 20",
   "fontSize": 15,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25
  },
  {
   "type": "text",
   "id": "h5_l",
   "x": 40,
   "y": 530,
   "width": 609.96,
   "height": 21.25,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 219920228,
   "version": 1,
   "versionNonce": 1443971809,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "text": "frame-gate check, B1–B3 with the pre-built response, lane TX doorbell",
   "originalText": "frame-gate check, B1–B3 with the pre-built response, lane TX doorbell",
   "fontSize": 17,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25
  },
  {
   "type": "arrow",
   "id": "h5_a",
   "x": 870.0,
   "y": 502,
   "width": 0.0,
   "height": 54,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1.5,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 208998367,
   "version": 1,
   "versionNonce": 1590284724,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "points": [
    [
     0.0,
     0
    ],
    [
     0.0,
     54
    ]
   ],
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "startBinding": null,
   "endBinding": null,
   "lastCommittedPoint": null,
   "elbowed": false
  },
  {
   "type": "rectangle",
   "id": "h5_b0",
   "x": 870.0,
   "y": 558,
   "width": 30.0,
   "height": 22,
   "strokeColor": "#191B26",
   "backgroundColor": "#F2D447",
   "fillStyle": "solid",
   "strokeWidth": 1.5,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1194458887,
   "version": 1,
   "versionNonce": 1331571155,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null
  },
  {
   "type": "rectangle",
   "id": "h5_b1",
   "x": 900.0,
   "y": 558,
   "width": 60.0,
   "height": 22,
   "strokeColor": "#191B26",
   "backgroundColor": "#F2D447",
   "fillStyle": "solid",
   "strokeWidth": 1.5,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1378553745,
   "version": 1,
   "versionNonce": 1344029670,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null
  },
  {
   "type": "text",
   "id": "h5_t",
   "x": 972.0,
   "y": 559,
   "width": 81.0,
   "height": 18.75,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 537411382,
   "version": 1,
   "versionNonce": 1143255081,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "text": "≤ 10 + 20",
   "originalText": "≤ 10 + 20",
   "fontSize": 15,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25
  },
  {
   "type": "line",
   "id": "brk",
   "x": 300,
   "y": 660,
   "width": 510.0,
   "height": 10,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1937466873,
   "version": 1,
   "versionNonce": 410184661,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "points": [
    [
     0,
     0
    ],
    [
     0,
     10
    ],
    [
     510.0,
     10
    ],
    [
     510.0,
     0
    ]
   ],
   "lastCommittedPoint": null,
   "startArrowhead": null,
   "endArrowhead": null
  },
  {
   "type": "text",
   "id": "brk_t",
   "x": 300,
   "y": 680,
   "width": 380.12,
   "height": 42.5,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1392105305,
   "version": 1,
   "versionNonce": 1372439407,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "text": "first four arrows: ≤ 170 ns worst case,\n≤ 160 ns when the BBO core is between steps",
   "originalText": "first four arrows: ≤ 170 ns worst case,\n≤ 160 ns when the BBO core is between steps",
   "fontSize": 17,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25
  },
  {
   "type": "text",
   "id": "n1",
   "x": 910,
   "y": 296,
   "width": 208.0,
   "height": 60.0,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1950597357,
   "version": 1,
   "versionNonce": 1728226490,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "text": "every step kind is capped\nat 15 ns: a 70 ns step\nwould make it 280 ns",
   "originalText": "every step kind is capped\nat 15 ns: a 70 ns step\nwould make it 280 ns",
   "fontSize": 16,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25
  },
  {
   "type": "arrow",
   "id": "n1_a",
   "x": 906,
   "y": 330,
   "width": 206,
   "height": 42,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1.5,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1632447711,
   "version": 1,
   "versionNonce": 98238575,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": {
    "type": 2
   },
   "points": [
    [
     0,
     0
    ],
    [
     -96,
     42
    ],
    [
     -206,
     18
    ]
   ],
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "startBinding": null,
   "endBinding": null,
   "lastCommittedPoint": null,
   "elbowed": false
  }
 ],
 "appState": {
  "viewBackgroundColor": "#ffffff",
  "gridSize": 20
 },
 "files": {}
}