{
 "type": "excalidraw",
 "version": 2,
 "source": "https://excalidraw.com",
 "elements": [
  {
   "type": "rectangle",
   "id": "canvas_bounds",
   "x": 0,
   "y": 0,
   "width": 1140,
   "height": 920,
   "strokeColor": "transparent",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 0,
   "opacity": 100,
   "angle": 0,
   "seed": 14007,
   "version": 1,
   "versionNonce": 42022,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1
  },
  {
   "type": "text",
   "id": "tex1",
   "x": 40,
   "y": 36,
   "width": 931.84,
   "height": 35.0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 14014,
   "version": 1,
   "versionNonce": 42043,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "text": "The lane checks the deadline at dequeue, before it does any work",
   "originalText": "The lane checks the deadline at dequeue, before it does any work",
   "fontSize": 28,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "text",
   "id": "tex2",
   "x": 40,
   "y": 80,
   "width": 702.0,
   "height": 22.5,
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 14021,
   "version": 1,
   "versionNonce": 42064,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "text": "lane L, one packet (01 \u00a714.1, \u00a714.2) \u00b7 980 = LAT_MAX_NS \u2212 DEADLINE_GUARD_NS",
   "originalText": "lane L, one packet (01 \u00a714.1, \u00a714.2) \u00b7 980 = LAT_MAX_NS \u2212 DEADLINE_GUARD_NS",
   "fontSize": 18,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "rectangle",
   "id": "rec3",
   "x": 60,
   "y": 140,
   "width": 140,
   "height": 50,
   "strokeColor": "#191B26",
   "backgroundColor": "#F2D447",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 14028,
   "version": 1,
   "versionNonce": 42085,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": [
    {
     "id": "tex4",
     "type": "text"
    }
   ],
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roundness": {
    "type": 3
   }
  },
  {
   "type": "text",
   "id": "tex4",
   "x": 93.6,
   "y": 152.5,
   "width": 72.8,
   "height": 25.0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 14035,
   "version": 1,
   "versionNonce": 42106,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "text": "dequeue",
   "originalText": "dequeue",
   "fontSize": 20,
   "fontFamily": 5,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": "rec3",
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "text",
   "id": "tex5",
   "x": 226,
   "y": 142,
   "width": 393.59999999999997,
   "height": 40.0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 14042,
   "version": 1,
   "versionNonce": 42127,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "text": "age  = now \u2212 rx_ts (TSC\u2194PHC, 06)\npred = predicted_path_ns(pkt, bbo_lag_ns)",
   "originalText": "age  = now \u2212 rx_ts (TSC\u2194PHC, 06)\npred = predicted_path_ns(pkt, bbo_lag_ns)",
   "fontSize": 16,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "arrow",
   "id": "arr6",
   "x": 130,
   "y": 192,
   "width": 0,
   "height": 30,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 14049,
   "version": 1,
   "versionNonce": 42148,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "points": [
    [
     0,
     0
    ],
    [
     0,
     30
    ]
   ],
   "roundness": null,
   "lastCommittedPoint": null,
   "startBinding": null,
   "endBinding": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "elbowed": false
  },
  {
   "type": "diamond",
   "id": "dia7",
   "x": 50,
   "y": 224,
   "width": 160,
   "height": 100,
   "strokeColor": "#191B26",
   "backgroundColor": "#FFFFFF",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 14056,
   "version": 1,
   "versionNonce": 42169,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1
  },
  {
   "type": "text",
   "id": "tex8",
   "x": 87.88,
   "y": 250,
   "width": 84.24,
   "height": 45.0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 14063,
   "version": 1,
   "versionNonce": 42190,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "text": "deadline\nadmission",
   "originalText": "deadline\nadmission",
   "fontSize": 18,
   "fontFamily": 5,
   "textAlign": "center",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "arrow",
   "id": "arr9",
   "x": 190,
   "y": 262,
   "width": 490,
   "height": 6,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 14070,
   "version": 1,
   "versionNonce": 42211,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "points": [
    [
     0,
     0
    ],
    [
     42,
     -6
    ],
    [
     490,
     -6
    ]
   ],
   "roundness": null,
   "lastCommittedPoint": null,
   "startBinding": null,
   "endBinding": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "elbowed": false
  },
  {
   "type": "text",
   "id": "tex10",
   "x": 305.2,
   "y": 230,
   "width": 249.6,
   "height": 20.0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 14077,
   "version": 1,
   "versionNonce": 42232,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "text": "age > ARC_ADMIT_AGE_MAX_NS",
   "originalText": "age > ARC_ADMIT_AGE_MAX_NS",
   "fontSize": 16,
   "fontFamily": 3,
   "textAlign": "center",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "rectangle",
   "id": "rec11",
   "x": 690,
   "y": 232,
   "width": 410,
   "height": 50,
   "strokeColor": "#565A6B",
   "backgroundColor": "#FFFFFF",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "dashed",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 14084,
   "version": 1,
   "versionNonce": 42253,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": [
    {
     "id": "tex12",
     "type": "text"
    }
   ],
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roundness": {
    "type": 3
   }
  },
  {
   "type": "text",
   "id": "tex12",
   "x": 778.0,
   "y": 234.5,
   "width": 234.0,
   "height": 45.0,
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 14091,
   "version": 1,
   "versionNonce": 42274,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "text": "not accepted: dropped and\ncounted, as a wire loss",
   "originalText": "not accepted: dropped and\ncounted, as a wire loss",
   "fontSize": 18,
   "fontFamily": 5,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": "rec11",
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "arrow",
   "id": "arr13",
   "x": 190,
   "y": 312,
   "width": 490,
   "height": 18,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 14098,
   "version": 1,
   "versionNonce": 42295,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "points": [
    [
     0,
     0
    ],
    [
     60,
     18
    ],
    [
     490,
     18
    ]
   ],
   "roundness": null,
   "lastCommittedPoint": null,
   "startBinding": null,
   "endBinding": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "elbowed": false
  },
  {
   "type": "text",
   "id": "tex14",
   "x": 393.2,
   "y": 304,
   "width": 153.6,
   "height": 20.0,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 14105,
   "version": 1,
   "versionNonce": 42316,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "text": "age + pred > 980",
   "originalText": "age + pred > 980",
   "fontSize": 16,
   "fontFamily": 3,
   "textAlign": "center",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "rectangle",
   "id": "rec15",
   "x": 690,
   "y": 306,
   "width": 410,
   "height": 50,
   "strokeColor": "#191B26",
   "backgroundColor": "#FFFFFF",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 14112,
   "version": 1,
   "versionNonce": 42337,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": [
    {
     "id": "tex16",
     "type": "text"
    }
   ],
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roundness": {
    "type": 3
   }
  },
  {
   "type": "text",
   "id": "tex16",
   "x": 740.56,
   "y": 319.75,
   "width": 308.88,
   "height": 22.5,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 14119,
   "version": 1,
   "versionNonce": 42358,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "text": "Reject BUSY, whole packet (\u00a76.21)",
   "originalText": "Reject BUSY, whole packet (\u00a76.21)",
   "fontSize": 18,
   "fontFamily": 5,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": "rec15",
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "text",
   "id": "tex17",
   "x": 690,
   "y": 140,
   "width": 332.8,
   "height": 60.0,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 14126,
   "version": 1,
   "versionNonce": 42379,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "text": "ARC_ADMIT_AGE_MAX_NS = 500 = 980 \u2212 the\n480 ns BUSY path: any older and not even\nBUSY could leave in time",
   "originalText": "ARC_ADMIT_AGE_MAX_NS = 500 = 980 \u2212 the\n480 ns BUSY path: any older and not even\nBUSY could leave in time",
   "fontSize": 16,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "arrow",
   "id": "arr18",
   "x": 684,
   "y": 170,
   "width": 124,
   "height": 56,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 14133,
   "version": 1,
   "versionNonce": 42400,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "points": [
    [
     0,
     0
    ],
    [
     -64,
     30
    ],
    [
     -124,
     56
    ]
   ],
   "roundness": {
    "type": 2
   },
   "lastCommittedPoint": null,
   "startBinding": null,
   "endBinding": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "elbowed": false
  },
  {
   "type": "arrow",
   "id": "arr19",
   "x": 130,
   "y": 326,
   "width": 0,
   "height": 60,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 14140,
   "version": 1,
   "versionNonce": 42421,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "points": [
    [
     0,
     0
    ],
    [
     0,
     60
    ]
   ],
   "roundness": null,
   "lastCommittedPoint": null,
   "startBinding": null,
   "endBinding": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "elbowed": false
  },
  {
   "type": "text",
   "id": "tex20",
   "x": 142,
   "y": 342,
   "width": 66.56,
   "height": 20.0,
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 14147,
   "version": 1,
   "versionNonce": 42442,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "text": "admitted",
   "originalText": "admitted",
   "fontSize": 16,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "rectangle",
   "id": "rec21",
   "x": 60,
   "y": 390,
   "width": 140,
   "height": 50,
   "strokeColor": "#191B26",
   "backgroundColor": "#F2D447",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 14154,
   "version": 1,
   "versionNonce": 42463,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": [
    {
     "id": "tex22",
     "type": "text"
    }
   ],
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roundness": {
    "type": 3
   }
  },
  {
   "type": "text",
   "id": "tex22",
   "x": 98.8,
   "y": 402.5,
   "width": 62.400000000000006,
   "height": 25.0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 14161,
   "version": 1,
   "versionNonce": 42484,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "text": "pass 1",
   "originalText": "pass 1",
   "fontSize": 20,
   "fontFamily": 5,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": "rec21",
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "text",
   "id": "tex23",
   "x": 226,
   "y": 380,
   "width": 585.6,
   "height": 20.0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 14168,
   "version": 1,
   "versionNonce": 42505,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "text": "header: session \u00b7 bound address \u00b7 epoch16 \u00b7 pkt_seq \u00b7 tag_seq",
   "originalText": "header: session \u00b7 bound address \u00b7 epoch16 \u00b7 pkt_seq \u00b7 tag_seq",
   "fontSize": 16,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "text",
   "id": "tex24",
   "x": 226,
   "y": 410,
   "width": 768.0,
   "height": 20.0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 14175,
   "version": 1,
   "versionNonce": 42526,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "text": "pre-encode PacketRecord \u2192 R_pkt[l]  (before any push or counter release, ARC-D3)",
   "originalText": "pre-encode PacketRecord \u2192 R_pkt[l]  (before any push or counter release, ARC-D3)",
   "fontSize": 16,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "text",
   "id": "tex25",
   "x": 226,
   "y": 446,
   "width": 825.6,
   "height": 20.0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 14182,
   "version": 1,
   "versionNonce": 42547,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "text": "for i in 0..count, in index order: parse \u00b7 risk and reservation \u00b7 classify vs snapshot",
   "originalText": "for i in 0..count, in index order: parse \u00b7 risk and reservation \u00b7 classify vs snapshot",
   "fontSize": 16,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "line",
   "id": "lin26",
   "x": 250,
   "y": 470,
   "width": 0,
   "height": 134,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 14189,
   "version": 1,
   "versionNonce": 42568,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "points": [
    [
     0,
     0
    ],
    [
     0,
     134
    ]
   ],
   "lastCommittedPoint": null,
   "startBinding": null,
   "endBinding": null,
   "startArrowhead": null,
   "endArrowhead": null
  },
  {
   "type": "text",
   "id": "tex27",
   "x": 270,
   "y": 486,
   "width": 489.59999999999997,
   "height": 20.0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 14196,
   "version": 1,
   "versionNonce": 42589,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "text": "improve | cross | IOC | FOK | post-only-would-cross",
   "originalText": "improve | cross | IOC | FOK | post-only-would-cross",
   "fontSize": 16,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "arrow",
   "id": "arr28",
   "x": 250,
   "y": 512,
   "width": 530,
   "height": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 14203,
   "version": 1,
   "versionNonce": 42610,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "points": [
    [
     0,
     0
    ],
    [
     530,
     0
    ]
   ],
   "roundness": null,
   "lastCommittedPoint": null,
   "startBinding": null,
   "endBinding": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "elbowed": false
  },
  {
   "type": "rectangle",
   "id": "rec29",
   "x": 790,
   "y": 488,
   "width": 310,
   "height": 50,
   "strokeColor": "#191B26",
   "backgroundColor": "#F2D447",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 14210,
   "version": 1,
   "versionNonce": 42631,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": [
    {
     "id": "tex30",
     "type": "text"
    }
   ],
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roundness": {
    "type": 3
   }
  },
  {
   "type": "text",
   "id": "tex30",
   "x": 832.68,
   "y": 501.75,
   "width": 224.64000000000001,
   "height": 22.5,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 14217,
   "version": 1,
   "versionNonce": 42652,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "text": "push to the BBO ring NOW",
   "originalText": "push to the BBO ring NOW",
   "fontSize": 18,
   "fontFamily": 5,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": "rec29",
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "text",
   "id": "tex31",
   "x": 270,
   "y": 520,
   "width": 349.44,
   "height": 40.0,
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 14224,
   "version": 1,
   "versionNonce": 42673,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "text": "with the in-packet dependency list and\npre-assigned slot handles (early dispatch)",
   "originalText": "with the in-packet dependency list and\npre-assigned slot handles (early dispatch)",
   "fontSize": 16,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "text",
   "id": "tex32",
   "x": 270,
   "y": 578,
   "width": 508.79999999999995,
   "height": 20.0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 14231,
   "version": 1,
   "versionNonce": 42694,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "text": "join | cancel | reduce | the cancel part of a replace",
   "originalText": "join | cancel | reduce | the cancel part of a replace",
   "fontSize": 16,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "arrow",
   "id": "arr33",
   "x": 250,
   "y": 604,
   "width": 530,
   "height": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 14238,
   "version": 1,
   "versionNonce": 42715,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "points": [
    [
     0,
     0
    ],
    [
     530,
     0
    ]
   ],
   "roundness": null,
   "lastCommittedPoint": null,
   "startBinding": null,
   "endBinding": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "elbowed": false
  },
  {
   "type": "rectangle",
   "id": "rec34",
   "x": 790,
   "y": 580,
   "width": 310,
   "height": 50,
   "strokeColor": "#191B26",
   "backgroundColor": "#FFFFFF",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 14245,
   "version": 1,
   "versionNonce": 42736,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": [
    {
     "id": "tex35",
     "type": "text"
    }
   ],
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roundness": {
    "type": 3
   }
  },
  {
   "type": "text",
   "id": "tex35",
   "x": 865.44,
   "y": 593.75,
   "width": 159.12,
   "height": 22.5,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 14252,
   "version": 1,
   "versionNonce": 42757,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "text": "staged for pass 2",
   "originalText": "staged for pass 2",
   "fontSize": 18,
   "fontFamily": 5,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": "rec34",
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "text",
   "id": "tex36",
   "x": 800,
   "y": 640,
   "width": 243.35999999999999,
   "height": 45.0,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 14259,
   "version": 1,
   "versionNonce": 42778,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "text": "early dispatch: routed ops\nleave before pass 2 starts",
   "originalText": "early dispatch: routed ops\nleave before pass 2 starts",
   "fontSize": 18,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "arrow",
   "id": "arr37",
   "x": 1066,
   "y": 660,
   "width": 40,
   "height": 116,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 14266,
   "version": 1,
   "versionNonce": 42799,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "points": [
    [
     0,
     0
    ],
    [
     40,
     -40
    ],
    [
     40,
     -92
    ],
    [
     26,
     -116
    ]
   ],
   "roundness": {
    "type": 2
   },
   "lastCommittedPoint": null,
   "startBinding": null,
   "endBinding": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "elbowed": false
  },
  {
   "type": "arrow",
   "id": "arr38",
   "x": 130,
   "y": 442,
   "width": 0,
   "height": 254,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 14273,
   "version": 1,
   "versionNonce": 42820,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "points": [
    [
     0,
     0
    ],
    [
     0,
     254
    ]
   ],
   "roundness": null,
   "lastCommittedPoint": null,
   "startBinding": null,
   "endBinding": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "elbowed": false
  },
  {
   "type": "rectangle",
   "id": "rec39",
   "x": 60,
   "y": 700,
   "width": 140,
   "height": 50,
   "strokeColor": "#191B26",
   "backgroundColor": "#F2D447",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 14280,
   "version": 1,
   "versionNonce": 42841,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": [
    {
     "id": "tex40",
     "type": "text"
    }
   ],
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roundness": {
    "type": 3
   }
  },
  {
   "type": "text",
   "id": "tex40",
   "x": 98.8,
   "y": 712.5,
   "width": 62.400000000000006,
   "height": 25.0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 14287,
   "version": 1,
   "versionNonce": 42862,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "text": "pass 2",
   "originalText": "pass 2",
   "fontSize": 20,
   "fontFamily": 5,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": "rec39",
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "text",
   "id": "tex41",
   "x": 226,
   "y": 714,
   "width": 720.0,
   "height": 20.0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 14294,
   "version": 1,
   "versionNonce": 42883,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "text": "each staged op in index order: apply \u00b7 counter.store(Release) after each op",
   "originalText": "each staged op in index order: apply \u00b7 counter.store(Release) after each op",
   "fontSize": 16,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "arrow",
   "id": "arr42",
   "x": 130,
   "y": 752,
   "width": 0,
   "height": 44,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 14301,
   "version": 1,
   "versionNonce": 42904,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "points": [
    [
     0,
     0
    ],
    [
     0,
     44
    ]
   ],
   "roundness": null,
   "lastCommittedPoint": null,
   "startBinding": null,
   "endBinding": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "elbowed": false
  },
  {
   "type": "rectangle",
   "id": "rec43",
   "x": 60,
   "y": 800,
   "width": 140,
   "height": 50,
   "strokeColor": "#191B26",
   "backgroundColor": "#F2D447",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 14308,
   "version": 1,
   "versionNonce": 42925,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": [
    {
     "id": "tex44",
     "type": "text"
    }
   ],
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roundness": {
    "type": 3
   }
  },
  {
   "type": "text",
   "id": "tex44",
   "x": 93.6,
   "y": 812.5,
   "width": 72.8,
   "height": 25.0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 14315,
   "version": 1,
   "versionNonce": 42946,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "text": "respond",
   "originalText": "respond",
   "fontSize": 20,
   "fontFamily": 5,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": "rec43",
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "text",
   "id": "tex45",
   "x": 226,
   "y": 782,
   "width": 518.4,
   "height": 80.0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 14322,
   "version": 1,
   "versionNonce": 42967,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "text": "when LaneCut[l] covers the op (ARC-D5, poll 20),\nfill ring drained \u2264 s \u2212 1, released \u2265 s:\nAck / CancelAck / Reject, built and tagged with K_out,\nCTPIO on the lane's own VI",
   "originalText": "when LaneCut[l] covers the op (ARC-D5, poll 20),\nfill ring drained \u2264 s \u2212 1, released \u2265 s:\nAck / CancelAck / Reject, built and tagged with K_out,\nCTPIO on the lane's own VI",
   "fontSize": 16,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  }
 ],
 "appState": {
  "viewBackgroundColor": "#ffffff",
  "gridSize": 20
 },
 "files": {}
}